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.
5611 Publications
2011 |
Published |
Journal Article |
IST-REx-ID: 2126 |
Maas J. Gradient flows of the entropy for finite Markov chains. Journal of Functional Analysis. 2011;261(8):2250-2292. doi:10.1016/j.jfa.2011.06.009
View
| DOI
| Download (ext.)
2011 |
Published |
Preprint |
IST-REx-ID: 2138 |
Ağanoğlu R, Lemeshko M, Friedrich B, González Férez R, Koch C. Controlling a diatomic shape resonance with non-resonant light. Unknown. 2011.
View
| Download (ext.)
2011 |
Published |
Journal Article |
IST-REx-ID: 2198 |
Lemeshko M. Shaping interactions between polar molecules with far-off-resonant light. Physical Review A - Atomic, Molecular, and Optical Physics. 2011;83(5). doi:10.1103/PhysRevA.83.051402
View
| DOI
| Download (ext.)
2011 |
Published |
Journal Article |
IST-REx-ID: 2199 |
Lemeshko M, Mustafa M, Kais S, Friedrich B. Supersymmetric factorization yields exact solutions to the molecular Stark-effect problem for "stretched" states. Physical Review A - Atomic, Molecular, and Optical Physics. 2011;83(4). doi:10.1103/PhysRevA.83.043415
View
| DOI
| Download (ext.)
2011 |
Published |
Journal Article |
IST-REx-ID: 2200 |
Lemeshko M, Mustafa M, Kais S, Friedrich B. Supersymmetry identifies molecular Stark states whose eigenproperties can be obtained analytically. New Journal of Physics. 2011;13. doi:10.1088/1367-2630/13/6/063036
View
| DOI
| Download (ext.)
2011 |
Published |
Conference Paper |
IST-REx-ID: 2320 |
Frank R, Lieb É, Seiringer R, Thomas L. Binding, stability, and non-binding of multi-polaron systems. In: World Scientific Publishing; 2011:21-32. doi:10.1142/9789814350365_0002
View
| DOI
| Download (ext.)
2011 |
Published |
Conference Paper |
IST-REx-ID: 2321 |
Frank R, Laptev A, Seiringer R. A sharp bound on eigenvalues of Schrödinger operators on the halfline with complex-valued potentials. In: Vol 214. Springer; 2011:39-44. doi:10.1007/978-3-7643-9994-8_3
View
| DOI
| Download (ext.)
2011 |
Published |
Journal Article |
IST-REx-ID: 2390 |
Frank R, Lieb É, Seiringer R, Thomas L. Stability and absence of binding for multi-polaron systems. Publications Mathematiques de l Institut des Hautes Etudes Scientifiques. 2011;113(1):39-67. doi:10.1007/s10240-011-0031-5
View
| DOI
| Download (ext.)
2011 |
Published |
Journal Article |
IST-REx-ID: 2391 |
Frank R, Lewin M, Lieb É, Seiringer R. Energy cost to make a hole in the fermi sea. Physical Review Letters. 2011;106(15). doi:10.1103/PhysRevLett.106.150402
View
| DOI
| Download (ext.)
2011 |
Published |
Journal Article |
IST-REx-ID: 2393 |
Seiringer R. The excitation spectrum for weakly interacting Bosons. Communications in Mathematical Physics. 2011;306(2):565-578. doi:10.1007/s00220-011-1261-6
View
| DOI
| Download (ext.)
2011 |
Published |
Journal Article |
IST-REx-ID: 6749 |
Mondelli M, Ciomaga A. Finite difference schemes for MCM and AMSS. Image Processing On Line. 2011;1:127-177. doi:10.5201/ipol.2011.cm_fds
[Published Version]
View
| Files available
| DOI
2011 |
Published |
Journal Article |
IST-REx-ID: 469 |
Vyleta N, Smith S. Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor. European Journal of Neuroscience. 2011;31(12):4593-4606. doi:10.1523/JNEUROSCI.6398-10.2011
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |
Published |
Journal Article |
IST-REx-ID: 490 |
Schlögl A, Vidaurre C, Sander T. BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience. 2011;2011. doi:10.1155/2011/935364
[Published Version]
View
| Files available
| DOI
2011 |
Published |
Journal Article |
IST-REx-ID: 518 |
Schraivogel D, Weinmann L, Beier D, et al. CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. 2011;30(20):4309-4322. doi:10.1038/emboj.2011.301
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 |
Published |
Journal Article |
IST-REx-ID: 531 |
Guerraoui R, Henzinger TA, Singh V. Verification of STM on relaxed memory models. Formal Methods in System Design. 2011;39(3):297-331. doi:10.1007/s10703-011-0131-3
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 |
Published |
Technical Report |
IST-REx-ID: 5379 |
Chatterjee K, Henzinger MH. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0009
[Published Version]
View
| Files available
| DOI
2011 |
Published |
Technical Report |
IST-REx-ID: 5380 |
Chatterjee K. Bounded Rationality in Concurrent Parity Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0008
[Published Version]
View
| Files available
| DOI
2011 |
Published |
Technical Report |
IST-REx-ID: 5381 |
Chatterjee K, Doyen L. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria; 2011. doi:10.15479/AT:IST-2011-0007
[Published Version]
View
| Files available
| DOI
2011 |
Published |
Technical Report |
IST-REx-ID: 5382 |
Chatterjee K. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0006
[Published Version]
View
| Files available
| DOI
2011 |
Published |
Technical Report |
IST-REx-ID: 5383 |
Wies T, Muñiz M, Kuncak V. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria; 2011. doi:10.15479/AT:IST-2011-0005
[Published Version]
View
| Files available
| DOI