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.
4941 Publications
2016 | Journal Article | IST-REx-ID: 1282 | 
Gundert A, Wagner U. 2016. On eigenvalues of random complexes. Israel Journal of Mathematics. 216(2), 545–582.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1280 |
Bourgade P, Erdös L, Yau H, Yin J. 2016. Fixed energy universality for generalized wigner matrices. Communications on Pure and Applied Mathematics. 69(10), 1815–1881.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1283
Zhu Q, Benková E. 2016. Seedlings’ strategy to overcome a soil barrier. Trends in Plant Science. 21(10), 809–811.
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1286 |
Midya B, Tomza M, Schmidt R, Lemeshko M. 2016. Rotation of cold molecular ions inside a Bose-Einstein condensate. Physical Review A - Atomic, Molecular, and Optical Physics. 94(4), 041601.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1291 |
Giuliani A, Seiringer R. 2016. Periodic striped ground states in Ising models with competing interactions. Communications in Mathematical Physics. 347(3), 983–1007.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1293 |
Solus LT, Uhler C, Yoshida R. 2016. Extremal positive semidefinite matrices whose sparsity pattern is given by graphs without K5 minors. Linear Algebra and Its Applications. 509, 247–275.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1290 |
Stone L, Baym M, Lieberman T, Chait RP, Clardy J, Kishony R. 2016. Compounds that select against the tetracycline-resistance efflux pump. Nature Chemical Biology. 12(11), 902–904.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1292 |
Durst S, Kegel M, Klukas MD. 2016. Computing the Thurston–Bennequin invariant in open books. Acta Mathematica Hungarica. 150(2), 441–455.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1323 |
Vyleta N, Borges Merjane C, Jonas PM. 2016. Plasticity-dependent, full detonation at hippocampal mossy fiber–CA3 pyramidal neuron synapses. eLife. 5, e17977.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1325 |
Brázdil T, Forejt V, Kučera A, Novotný P. 2016. Stability in graphs and games. CONCUR: Concurrency Theory, LIPIcs, vol. 59, 10.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1320
Lang M, Sontag E. 2016. Scale-invariant systems realize nonlinear differential operators. ACC: American Control Conference vol. 2016–July, 7526722.
[Preprint]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1324
Chatterjee K, Chmelik M. 2016. Indefinite-horizon reachability in Goal-DEC-POMDPs. Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling. ICAPS: International Conference on Automated Planning and Scheduling vol. 2016–January, 88–96.
View
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 1329 |
Huylmans AK, López Ezquerra A, Parsch J, Cordellier M. 2016. De novo transcriptome assembly and sex-biased gene expression in the cyclical parthenogenetic Daphnia galeata. Genome Biology and Evolution. 8(10), 3120–3139.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1327 |
Brázdil T, Chatterjee K, Chmelik M, Gupta A, Novotný P. 2016. Stochastic shortest path with energy constraints in POMDPs. Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems. AAMAS: Autonomous Agents & Multiagent Systems, 1465–1466.
[Preprint]
View
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1326 |
Brázdil T, Kučera A, Novotný P. 2016. Optimizing the expected mean payoff in Energy Markov Decision Processes. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 9938, 32–49.
[Preprint]
View
| DOI
| Download Preprint (ext.)