Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
12344 Publications
2013 |
Published |
Journal Article |
IST-REx-ID: 2110
Papas M, Regg C, Jarosz W, et al. Fabricating translucent materials using continuous pigment mixtures. ACM Transactions on Graphics. 2013;32(4). doi:10.1145/2461912.2461974
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 2111
Bermano A, Bruschweiler P, Grundhöfer A, Iwai D, Bickel B, Groß M. Augmenting physical avatars using projector-based illumination. ACM Transactions on Graphics. 2013;32(6). doi:10.1145/2508363.2508416
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 21110
Aggarwal N, Mandal PK, Gautham N, Chadha A. Expression, purification, crystallization and preliminary X-ray diffraction analysis of carbonyl reductase from Candida parapsilosis ATCC 7330. Acta Crystallographica Section F Structural Biology Communications. 2013;69(3):313-315. doi:10.1107/s1744309113003667
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 2112
Miguel E, Tamstorf R, Bradley D, et al. Modeling and estimation of internal friction in cloth. ACM Transactions on Graphics. 2013;32(6). doi:10.1145/2508363.2508389
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 2113
Rouiller O, Bickel B, Kautz J, Matusik W, Alexa M. 3D printing spatially varying BRDFs. IEEE Computer Graphics and Applications. 2013;33(6):48-57. doi:10.1109/MCG.2013.82
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 2114
Bickel B, Alexa M. Computational aspects of fabrication: Modeling, design and 3d printing. IEEE Computer Graphics and Applications. 2013;33(6):24-25. doi:10.1109/MCG.2013.89
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 2117 |
Dirksen S, Maas J, Van Neerven J. Poisson stochastic integration in Banach spaces. Electronic Journal of Probability. 2013;18. doi:10.1214/EJP.v18-2945
View
| DOI
| Download (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 2129 |
Gigli N, Maas J. Gromov-Hausdorff convergence of discrete transportation metrics. SIAM Journal on Mathematical Analysis. 2013;45(2):879-899. doi:10.1137/120886315
View
| DOI
| Download (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 2139 |
Lemeshko M. Manipulating scattering of ultracold atoms with light-induced dissipation. Frontiers Physics. 2013;1(17). doi:10.3389/fphy.2013.00017
View
| DOI
| Download (ext.)
2013 |
Published |
Conference Paper |
IST-REx-ID: 2182
Cerny P, Henzinger TA, Radhakrishna A. Quantitative abstraction refinement. In: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language. ACM; 2013:115-128. doi:10.1145/2429069.2429085
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 13405
Ely T, Das S, Li W, et al. Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol. Synlett. 2013;24(18):2370-2374. doi:10.1055/s-0033-1340087
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 13406
Das S, Ranjan P, Maiti PS, Singh G, Leitus G, Klajn R. Dual-responsive nanoparticles and their self-assembly. Advanced Materials. 2013;25(3):422-426. doi:10.1002/adma.201201734
View
| DOI
| PubMed | Europe PMC
2013 |
Published |
Conference Paper |
IST-REx-ID: 1374 |
Chatterjee K, Fijalkow N. Infinite-state games with finitary conditions. In: 22nd EACSL Annual Conference on Computer Science Logic. Vol 23. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2013:181-196. doi:10.4230/LIPIcs.CSL.2013.181
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Conference Paper |
IST-REx-ID: 1376 |
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. Distributed synthesis for LTL fragments. In: 13th International Conference on Formal Methods in Computer-Aided Design. IEEE; 2013:18-25. doi:10.1109/FMCAD.2013.6679386
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2013 |
Published |
Thesis | PhD |
IST-REx-ID: 1405 |
Zufferey D. Analysis of dynamic message passing programs. 2013. doi:10.15479/at:ista:1405
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 1442 |
Hausel T, Letellier E, Rodríguez Villegas F. Positivity for Kac polynomials and DT-invariants of quivers. Annals of Mathematics. 2013;177(3):1147-1168. doi:10.4007/annals.2013.177.3.8
View
| DOI
| Download (ext.)
2013 |
Published |
Book Chapter |
IST-REx-ID: 1443 |
Hausel T. Global topology of the Hitchin system. In: Handbook of Moduli: Volume II. Vol 25. International Press; 2013:29-70.
View
| Download (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 1469
Hausel T, Letellier E, Rodríguez Villegas F. Arithmetic harmonic analysis on character and quiver varieties II. Advances in Mathematics. 2013;234:85-128. doi:10.1016/j.aim.2012.10.009
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 1470 |
De Cataldo M, Hausel T, Migliorini L. Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces. Journal of Singularities. 2013;7:23-38. doi:10.5427/jsing.2013.7c
View
| DOI
| Download (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 15162
Woehrmann MH, Bray WM, Durbin JK, et al. Large-scale cytological profiling for functional analysis of bioactive compounds. Molecular BioSystems. 2013;9(11). doi:10.1039/c3mb70245f
View
| DOI