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.
455 Publications
2017 |Published| Conference Paper | IST-REx-ID: 637 | 
Jafargholi Z, Kamath Hosdurg C, Klein K, Komargodski I, Pietrzak KZ, Wichs D. Be adaptive avoid overcommitting. In: Katz J, Shacham H, eds. Vol 10401. Springer; 2017:133-163. doi:10.1007/978-3-319-63688-7_5
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 |Published| Journal Article | IST-REx-ID: 1407 |
Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. 2017;23(2):230-253. doi:10.1016/j.nahs.2016.04.006
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 1208 |
Zwiernik P, Uhler C, Richards D. Maximum likelihood estimation for linear Gaussian covariance models. Journal of the Royal Statistical Society Series B: Statistical Methodology. 2017;79(4):1269-1292. doi:10.1111/rssb.12217
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 1002 |
Zhang R, Auzinger T, Ceylan D, Li W, Bickel B. Functionality-aware retargeting of mechanisms to 3D shapes. In: Vol 36. ACM; 2017. doi:10.1145/3072959.3073710
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 1001 |
Guseinov R, Miguel E, Bickel B. CurveUps: Shaping objects from flat plates with tension-actuated curvature. In: Vol 36. ACM; 2017. doi:10.1145/3072959.3073709
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 995 |
Bighin G, Lemeshko M. Diagrammatic approach to orbital quantum impurities interacting with a many-particle environment. Physical Review B - Condensed Matter and Materials Physics. 2017;96(8). doi:10.1103/PhysRevB.96.085410
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Journal Article | IST-REx-ID: 994 |
Cherepanov I, Lemeshko M. Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules. Physical Review Materials. 2017;1(3). doi:10.1103/PhysRevMaterials.1.035602
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Journal Article | IST-REx-ID: 953 |
Charlesworth D, Barton NH, Charlesworth B. The sources of adaptive evolution. Proceedings of the Royal Society of London Series B Biological Sciences. 2017;284(1855). doi:10.1098/rspb.2016.2864
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2016 |Published| Journal Article | IST-REx-ID: 1088
Uhler C, Shivashankar GV. Geometric control and modeling of genome reprogramming. BioArchitecture. 2016;6(4):76-84. doi:10.1080/19490992.2016.1201620
View
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1099 |
Malomo L, Pietroni N, Bickel B, Cignoni P. FlexMolds: Automatic design of flexible shells for molding. In: Vol 35. ACM; 2016. doi:10.1145/2980179.2982397
[Submitted Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1115 |
Rueda A, Sedlmeir F, Collodo M, et al. Efficient single sideband microwave to optical conversion using a LiNbO₃ WGM-resonator. In: IEEE; 2016. doi:10.1364/CLEO_SI.2016.SF2G.3
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1195 |
Franssen S, Barton NH, Schlötterer C. Reconstruction of haplotype-blocks selected during experimental evolution. Molecular Biology and Evolution. 2016;34(1):174-184. doi:10.1093/molbev/msw210
[Submitted Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1206 |
Redchenko E, Lemeshko M. Libration of strongly oriented polar molecules inside a superfluid. ChemPhysChem. 2016;17(22):3649-3654. doi:10.1002/cphc.201601042
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1237
Krcál M, Pilarczyk P. Computation of cubical Steenrod squares. In: Vol 9667. Springer; 2016:140-151. doi:10.1007/978-3-319-39441-1_13
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1293 |
Solus LT, Uhler C, Yoshida R. Extremal positive semidefinite matrices whose sparsity pattern is given by graphs without K5 minors. Linear Algebra and Its Applications. 2016;509:247-275. doi:10.1016/j.laa.2016.07.026
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1319
Bächer M, Hepp B, Pece F, et al. DefSense: computational design of customized deformable input devices. In: ACM; 2016:3806-3816. doi:10.1145/2858036.2858354
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1410 |
Ugalde J, Rodríguez Furlán C, De Rycke R, et al. Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana pollen development. Plant Science. 2016;250:10-19. doi:10.1016/j.plantsci.2016.05.014
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 |Published| Conference Paper | IST-REx-ID: 1428 |
Könenberg M, Moser T, Seiringer R, Yngvason J. Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential. In: Journal of Physics: Conference Series. Vol 691. IOP Publishing Ltd.; 2016. doi:10.1088/1742-6596/691/1/012016
[Published Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1486 |
Hainzl C, Seiringer R. The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties. Journal of Mathematical Physics. 2016;57(2). doi:10.1063/1.4941723
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1552 |
Qi Q, Toll Riera M, Heilbron K, Preston G, Maclean RC. The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa. Proceedings of the Royal Society of London Series B Biological Sciences. 2016;283(1822). doi:10.1098/rspb.2015.2452
[Published Version]
View
| Files available
| DOI