Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5736 Publications
2020 | Published | Conference Paper | IST-REx-ID: 8324 | 
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time
P. Wang, H. Fu, K. Chatterjee, Y. Deng, M. Xu, in:, Proceedings of the ACM on Programming Languages, ACM, 2020.
[Published Version]
View
| Files available
| DOI
| arXiv
P. Wang, H. Fu, K. Chatterjee, Y. Deng, M. Xu, in:, Proceedings of the ACM on Programming Languages, ACM, 2020.
2020 | Published | Conference Paper | IST-REx-ID: 8193
Multiple-environment Markov decision processes: Efficient analysis and applications
Chatterjee, Krishnendu, Multiple-environment Markov decision processes: Efficient analysis and applications. Proceedings of the 30th International Conference on Automated Planning and Scheduling 30. 2020
View
| Files available
Chatterjee, Krishnendu, Multiple-environment Markov decision processes: Efficient analysis and applications. Proceedings of the 30th International Conference on Automated Planning and Scheduling 30. 2020
2020 | Published | Journal Article | IST-REx-ID: 7389 |
Isometric study of Wasserstein spaces - the real line
Geher, Gyorgy Pal, Isometric study of Wasserstein spaces - the real line. Transactions of the American Mathematical Society 373 (8). 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Geher, Gyorgy Pal, Isometric study of Wasserstein spaces - the real line. Transactions of the American Mathematical Society 373 (8). 2020
2020 | Published | Journal Article | IST-REx-ID: 6808 |
Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens
W. Jahr, P. Velicky, J.G. Danzl, Methods 174 (2020) 27–41.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
W. Jahr, P. Velicky, J.G. Danzl, Methods 174 (2020) 27–41.
2020 | Published | Journal Article | IST-REx-ID: 7207 |
Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer's disease
Martín-Belmonte, Alejandro, Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer's disease. Brain Pathology 30 (3). 2020
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Martín-Belmonte, Alejandro, Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer's disease. Brain Pathology 30 (3). 2020
2020 | Published | Journal Article | IST-REx-ID: 8535 |
Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces
T. Skrivan, A. Soderstrom, J. Johansson, C. Sprenger, K. Museth, C. Wojtan, ACM Transactions on Graphics 39 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
T. Skrivan, A. Soderstrom, J. Johansson, C. Sprenger, K. Museth, C. Wojtan, ACM Transactions on Graphics 39 (2020).
2020 | Draft | Preprint | IST-REx-ID: 10012 |
The local structure of the energy landscape in multiphase mean curvature flow: weak-strong uniqueness and stability of evolutions
J.L. Fischer, S. Hensel, T. Laux, T. Simon, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J.L. Fischer, S. Hensel, T. Laux, T. Simon, ArXiv (n.d.).
2020 | Published | Journal Article | IST-REx-ID: 7472 |
Replay of behavioral sequences in the medial prefrontal cortex during rule switching
K. Käfer, M. Nardin, K. Blahna, J.L. Csicsvari, Neuron 106 (2020) P154–165.e6.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
K. Käfer, M. Nardin, K. Blahna, J.L. Csicsvari, Neuron 106 (2020) P154–165.e6.
2020 | Published | Book Chapter | IST-REx-ID: 7227
Zebrafish gastrulation: Putting fate in motion
Nunes Pinheiro, Diana C, Zebrafish gastrulation: Putting fate in motion. Gastrulation: From Embryonic Pattern to Form 136. 2020
View
| DOI
| WoS
| PubMed | Europe PMC
Nunes Pinheiro, Diana C, Zebrafish gastrulation: Putting fate in motion. Gastrulation: From Embryonic Pattern to Form 136. 2020
2020 | Published | Journal Article | IST-REx-ID: 8737 |
The coupling mechanism of mammalian respiratory complex I
D. Kampjut, L.A. Sazanov, Science 370 (2020).
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D. Kampjut, L.A. Sazanov, Science 370 (2020).
2020 | Published | Journal Article | IST-REx-ID: 9039 |
Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies
Fischer, Julian L, Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. SIAM Journal on Mathematical Analysis 52 (6). 2020
[Published Version]
View
| Files available
| DOI
| WoS
Fischer, Julian L, Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. SIAM Journal on Mathematical Analysis 52 (6). 2020
2020 | Published | Journal Article | IST-REx-ID: 8644 |
Detecting composite orders in layered models via machine learning
Rzadkowski, Wojciech, Detecting composite orders in layered models via machine learning. New Journal of Physics 22 (9). 2020
[Published Version]
View
| Files available
| DOI
| WoS
Rzadkowski, Wojciech, Detecting composite orders in layered models via machine learning. New Journal of Physics 22 (9). 2020
2020 | Published | Journal Article | IST-REx-ID: 8634 |
Capturing turbulent dynamics and statistics in experiments with unstable periodic orbits
B. Suri, L. Kageorge, R.O. Grigoriev, M.F. Schatz, Physical Review Letters 125 (2020).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
B. Suri, L. Kageorge, R.O. Grigoriev, M.F. Schatz, Physical Review Letters 125 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8325 |
Sandpile solitons via smoothing of superharmonic functions
Kalinin, Nikita, Sandpile solitons via smoothing of superharmonic functions. Communications in Mathematical Physics 378 (9). 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Kalinin, Nikita, Sandpile solitons via smoothing of superharmonic functions. Communications in Mathematical Physics 378 (9). 2020
2020 | Research Data Reference | IST-REx-ID: 9798 |
Simulation code for Fig S2 from the distribution of epistasis on simple fitness landscapes
C. Fraisse, J.J. Welch, (2020).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
C. Fraisse, J.J. Welch, (2020).
2020 | Research Data Reference | IST-REx-ID: 9799 |
Simulation code for Fig S1 from the distribution of epistasis on simple fitness landscapes
C. Fraisse, J.J. Welch, (2020).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
C. Fraisse, J.J. Welch, (2020).
2020 | Published | Journal Article | IST-REx-ID: 7618 |
Quantum Hellinger distances revisited
J. Pitrik, D. Virosztek, Letters in Mathematical Physics 110 (2020) 2039–2052.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Pitrik, D. Virosztek, Letters in Mathematical Physics 110 (2020) 2039–2052.
2020 | Published | Journal Article | IST-REx-ID: 7805 |
Synergistic on Auxin and Cytokinin 1 positively regulates growth and attenuates soil pathogen resistance
Hurny A, Cuesta C, Cavallari N, Ötvös K, Duclercq J, Dokládal L, Montesinos López JC, Gallemi M, Semerádová H, Rauter T, Stenzel I, Persiau G, Benade F, Bhalearo R, Sýkorová E, Gorzsás A, Sechet J, Mouille G, Heilmann I, De Jaeger G, Ludwig-Müller J, Benková E. 2020. Synergistic on Auxin and Cytokinin 1 positively regulates growth and attenuates soil pathogen resistance. Nature Communications. 11, 2170.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Hurny A, Cuesta C, Cavallari N, Ötvös K, Duclercq J, Dokládal L, Montesinos López JC, Gallemi M, Semerádová H, Rauter T, Stenzel I, Persiau G, Benade F, Bhalearo R, Sýkorová E, Gorzsás A, Sechet J, Mouille G, Heilmann I, De Jaeger G, Ludwig-Müller J, Benková E. 2020. Synergistic on Auxin and Cytokinin 1 positively regulates growth and attenuates soil pathogen resistance. Nature Communications. 11, 2170.
2020 | Published | Journal Article | IST-REx-ID: 8740 |
Optogenetic inhibition-mediated activity-dependent modification of CA1 pyramidal-interneuron connections during behavior
I. Gridchyn, P. Schönenberger, J. O’Neill, J.L. Csicsvari, ELife 9 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
I. Gridchyn, P. Schönenberger, J. O’Neill, J.L. Csicsvari, ELife 9 (2020).
2020 | Research Data | IST-REx-ID: 8563 |
Optogenetic alteration of hippocampal network activity
J.L. Csicsvari, I. Gridchyn, P. Schönenberger, (2020).
[Published Version]
View
| Files available
| DOI
J.L. Csicsvari, I. Gridchyn, P. Schönenberger, (2020).