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.

6514 Publications


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

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

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

2015 | Journal Article | IST-REx-ID: 866
Kretz C, Dai M, Soylemez O, et al. Massively parallel enzyme kinetics reveals the substrate recognition landscape of the metalloprotease ADAMTS13. PNAS. 2015;112(30):9328-9333. doi:10.1073/pnas.1511328112
View | DOI
 

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

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

2015 | Journal Article | IST-REx-ID: 1688 | OA
Karasev R, Kynčl J, Paták P, Patakova Z, Tancer M. Bounds for Pach’s selection theorem and for the minimum solid angle in a simplex. Discrete & Computational Geometry. 2015;54(3):610-636. doi:10.1007/s00454-015-9720-z
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. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. ACM; 2015:259-268. doi:10.1145/2728606.2728608
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1690
Bak S, Bogomolov S, Johnson T. HYST: A source transformation and translation tool for hybrid automaton models. In: Springer; 2015:128-133. doi:10.1145/2728606.2728630
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1691
Svoreňová M, Chmelik M, Leahy K, et al. Temporal logic motion planning using POMDPs with parity objectives: Case study paper. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. ACM; 2015:233-238. doi:10.1145/2728606.2728617
View | DOI
 

Search

Filter Publications