Please note that IST 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.

381 Publications


2015 | Journal Article | IST-REx-ID: 832
Marhavý P, Benková E. 2015. Real time analysis of lateral root organogenesis in arabidopsis. Bio-protocol. 5(8).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8456
Ma P, Xue Y, Coquelle N, Haller JD, Yuwen T, Ayala I, Mikhailovskii O, Willbold D, Colletier J-P, Skrynnikov NR, Schanda P. 2015. Observing the overall rocking motion of a protein in a crystal. Nature Communications. 6, 8361.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8457
Ma P, Schanda P. 2015. Conformational exchange processes in biological systems: Detection by solid-state NMR. eMagRes. 4(3), 699–708.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 848
Usmanova D, Ferretti L, Povolotskaya I, Vlasov P, Kondrashov F. 2015. A model of substitution trajectories in sequence space and long-term protein evolution. Molecular Biology and Evolution. 32(2), 542–554.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8495
Bounemoura A, Kaloshin V. 2015. A note on micro-instability for Hamiltonian systems close to integrable. Proceedings of the American Mathematical Society. 144(4), 1553–1560.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8498
Kaloshin V, Zhang K. 2015. Arnold diffusion for smooth convex systems of two and a half degrees of freedom. Nonlinearity. 28(8), 2699–2720.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8499
Guardia M, Kaloshin V. 2015. Growth of Sobolev norms in the cubic defocusing nonlinear Schrödinger equation. Journal of the European Mathematical Society. 17(1), 71–149.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 866
Kretz C, Dai M, Soylemez O, Yee A, Desch K, Siemieniak D, Tomberg K, Kondrashov F, Meng F, Ginsburg D. 2015. Massively parallel enzyme kinetics reveals the substrate recognition landscape of the metalloprotease ADAMTS13. PNAS. 112(30), 9328–9333.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1686
Kiermaier E, Sixt MK. 2015. Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection. Science. 349(6252), 1055–1056.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1687 | OA
Sarris M, Sixt MK. 2015. Navigating in tissue mazes: Chemoattractant interpretation in complex environments. Current Opinion in Cell Biology. 36(10), 93–102.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1688 | OA
Karasev R, Kynčl J, Paták P, Patakova Z, Tancer M. 2015. Bounds for Pach’s selection theorem and for the minimum solid angle in a simplex. Discrete & Computational Geometry. 54(3), 610–636.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1689 | OA
Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. 2015. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, 259–268.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1690
Bak S, Bogomolov S, Johnson T. 2015. HYST: A source transformation and translation tool for hybrid automaton models. HSCC: Hybrid Systems - Computation and Control, 128–133.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1691
Svoreňová M, Chmelik M, Leahy K, Eniser H, Chatterjee K, Cěrná I, Belta C. 2015. Temporal logic motion planning using POMDPs with parity objectives: Case study paper. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, 233–238.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1692
Frehse G, Bogomolov S, Greitschus M, Strump T, Podelski A. 2015. Eliminating spurious transitions in reachability with support functions. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, 149–158.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1693 | OA
Amaro P, Franke B, Krauth J, Diepold M, Fratini F, Safari L, Machado J, Antognini A, Kottmann F, Indelicato P, Pohl R, Santos J. 2015. Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3. Physical Review A. 92(2), 022514.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1694
Chatterjee K, Prabhu V. 2015. Quantitative temporal simulation and refinement distances for timed systems. IEEE Transactions on Automatic Control. 60(9), 2291–2306.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1695 | OA
Kaczmarczyk J, Schickling T, Bünemann J. 2015. Evaluation techniques for Gutzwiller wave functions in finite dimensions. Physica Status Solidi (B): Basic Solid State Physics. 252(9), 2059–2071.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1696 | OA
Wysokiński M, Kaczmarczyk J, Spałek J. 2015. Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states. Physical Review B. 92(12), 125135.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1697 | OA
Marre O, Botella Soler V, Simmons K, Mora T, Tkačik G, Berry M. 2015. High accuracy decoding of dynamical motion from a large retinal population. PLoS Computational Biology. 11(7), e1004304.
View | Files available | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications