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.
5872 Publications
2020 | Published | Journal Article | IST-REx-ID: 7650 | 
Deuchert A, Seiringer R. Gross-Pitaevskii limit of a homogeneous Bose gas at positive temperature. Archive for Rational Mechanics and Analysis. 2020;236(6):1217-1271. doi:10.1007/s00205-020-01489-4
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8091 |
Seiringer, Robert, Emergence of Haldane pseudo-potentials in systems with short-range interactions. Journal of Statistical Physics 181. 2020
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7235 |
Lieb EH, Seiringer R. Divergence of the effective mass of a polaron in the strong coupling limit. Journal of Statistical Physics. 2020;180:23-33. doi:10.1007/s10955-019-02322-3
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 15077 |
Alistarh, Dan-Adrian, Dynamic averaging load balancing on cycles. 47th International Colloquium on Automata, Languages, and Programming 168. 2020
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Thesis | IST-REx-ID: 7944 |
Masárová Z. Reconfiguration problems. 2020. doi:10.15479/AT:ISTA:7944
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 6952 |
Henderson PM, Ferrari V. Learning single-image 3D reconstruction by generative modelling of shape, pose and shading. International Journal of Computer Vision. 2020;128:835-854. doi:10.1007/s11263-019-01219-8
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7489 |
Fischer, Julian L, Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension. Archive for Rational Mechanics and Analysis 236. 2020
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8705 |
Mysliwy K, Seiringer R. Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit. Annales Henri Poincare. 2020;21(12):4003-4025. doi:10.1007/s00023-020-00969-3
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7508 |
Bossmann L, Pavlović N, Pickl P, Soffer A. Higher order corrections to the mean-field description of the dynamics of interacting bosons. Journal of Statistical Physics. 2020;178:1362-1396. doi:10.1007/s10955-020-02500-8
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8130 |
Bossmann L. Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d Bosons. Archive for Rational Mechanics and Analysis. 2020;238(11):541-606. doi:10.1007/s00205-020-01548-w
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7638 |
De Nicola S, Doyon B, Bhaseen MJ. Non-equilibrium quantum spin dynamics from classical stochastic processes. Journal of Statistical Mechanics: Theory and Experiment. 2020;2020(1). doi:10.1088/1742-5468/ab6093
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7611 |
Rademacher SAE. Central limit theorem for Bose gases interacting through singular potentials. Letters in Mathematical Physics. 2020;110:2143-2174. doi:10.1007/s11005-020-01286-w
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7567 |
Choudhary A, Kachanovich S, Wintraecken M. Coxeter triangulations have good quality. Mathematics in Computer Science. 2020;14:141-176. doi:10.1007/s11786-020-00461-5
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8699 |
Paris, Eugenio, Strain engineering of the charge and spin-orbital interactions in Sr2IrO4. Proceedings of the National Academy of Sciences of the United States of America 117 (40). 2020
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 7994 |
Arroyo Guevara, Alan M, Extending drawings of graphs to arrangements of pseudolines. 36th International Symposium on Computational Geometry 164. 2020
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8670 |
Zhang, Haonan, Equality conditions of data processing inequality for α-z Rényi relative entropies. Journal of Mathematical Physics 61 (10). 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8534 |
Jecker, Ismael R, Unary prime languages. 45th International Symposium on Mathematical Foundations of Computer Science 170. 2020
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 7213 |
Bhatia, Sumit, A persistent homology perspective to the link prediction problem. Complex Networks and their applications VIII 881. 2020
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8955 |
Rizzo R, Zhang X, Wang JWJL, Lombardi F, Ivanov PC. Network physiology of cortico–muscular interactions. Frontiers in Physiology. 2020;11. doi:10.3389/fphys.2020.558070
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8726 |
Gotfryd D, Paerschke E, Wohlfeld K, Oleś AM. Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling. Condensed Matter. 2020;5(3). doi:10.3390/condmat5030053
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8973 |
Redig F, Saada E, Sau F. Symmetric simple exclusion process in dynamic environment: Hydrodynamics. Electronic Journal of Probability. 2020;25. doi:10.1214/20-EJP536
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8732
Arroyo Guevara AM, Klute F, Parada I, Seidel R, Vogtenhuber B, Wiedera T. Inserting one edge into a simple drawing is hard. In: Graph-Theoretic Concepts in Computer Science. Vol 12301. Springer Nature; 2020:325-338. doi:10.1007/978-3-030-60440-0_26
View
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8747
Zhang Y, Liu Y, Calcabrini M, et al. Bismuth telluride-copper telluride nanocomposites from heterostructured building blocks. Journal of Materials Chemistry C. 2020;8(40):14092-14099. doi:10.1039/D0TC02182B
View
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7369 |
Cubero RJ, Marsili M, Roudi Y. Multiscale relevance and informative encoding in neuronal spike trains. Journal of Computational Neuroscience. 2020;48:85-102. doi:10.1007/s10827-020-00740-x
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7467 |
Cadavid D, Ortega S, Illera S, et al. Influence of the ligand stripping on the transport properties of nanoparticle-based PbSe nanomaterials. ACS Applied Energy Materials. 2020;3(3):2120-2129. doi:10.1021/acsaem.9b02137
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 7803 |
Czumaj A, Davies P, Parter M. Simple, deterministic, constant-round coloring in the congested clique. In: Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery; 2020:309-318. doi:10.1145/3382734.3405751
[Submitted Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 7802 |
Czumaj A, Davies P, Parter M. Graph sparsification for derandomizing massively parallel computation with low space. In: Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020). Association for Computing Machinery; 2020:175-185. doi:10.1145/3350755.3400282
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7594 |
Gotfryd D, Paerschke E, Chaloupka J, Oles AM, Wohlfeld K. How spin-orbital entanglement depends on the spin-orbit coupling in a Mott insulator. Physical Review Research. 2020;2(1). doi:10.1103/PhysRevResearch.2.013353
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 7882 |
Armstrong JR, Jensen AS, Volosniev A, Zinner NT. Clusters in separated tubes of tilted dipoles. Mathematics. 2020;8(4). doi:10.3390/math8040484
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7919 |
Mistakidis SI, Volosniev A, Schmelcher P. Induced correlations between impurities in a one-dimensional quenched Bose gas. Physical Review Research. 2020;2. doi:10.1103/physrevresearch.2.023154
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 7509 |
Zhang H. From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture. Advances in Mathematics. 2020;365. doi:10.1016/j.aim.2020.107053
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8084 |
Lombardi F, Gómez-Extremera M, Bernaola-Galván P, et al. Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake. Journal of Neuroscience. 2020;40(1):171-190. doi:10.1523/jneurosci.1278-19.2019
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8199 |
Gulden T, Berg E, Rudner MS, Lindner N. Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. SciPost Physics. 2020;9. doi:10.21468/scipostphys.9.1.015
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8036 |
Collard Y, Grosjean GM, Vandewalle N. Magnetically powered metachronal waves induce locomotion in self-assemblies. Communications Physics. 2020;3. doi:10.1038/s42005-020-0380-9
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7236 |
Baskett C, Schroeder L, Weber MG, Schemske DW. Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair. Ecological Monographs. 2020;90(1). doi:10.1002/ecm.1397
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8769 |
Yakaboylu E, Ghazaryan A, Lundholm D, Rougerie N, Lemeshko M, Seiringer R. Quantum impurity model for anyons. Physical Review B. 2020;102(14). doi:10.1103/physrevb.102.144109
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8533 |
Chatterjee, Krishnendu, Simplified game of life: Algorithms and complexity. 45th International Symposium on Mathematical Foundations of Computer Science 170. 2020
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8789 |
Kleshnina M, Streipert S, Filar J, Chatterjee K. Prioritised learning in snowdrift-type games. Mathematics. 2020;8(11). doi:10.3390/math8111945
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8750 |
Forets M, Freire D, Schilling C. Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. In: 18th ACM-IEEE International Conference on Formal Methods and Models for System Design. IEEE; 2020. doi:10.1109/MEMOCODE51338.2020.9314994
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8571 |
Geretti L, Alexandre Dit Sandretto J, Althoff M, et al. ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. In: EPiC Series in Computing. Vol 74. EasyChair; 2020:49-75. doi:10.29007/zkf6
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Published | Journal Article | IST-REx-ID: 8127 |
Gonçalves PJ, Lueckmann J-M, Deistler M, et al. Training deep neural density estimators to identify mechanistic models of neural dynamics. eLife. 2020;9. doi:10.7554/eLife.56261
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Thesis | IST-REx-ID: 8390 |
Royer A. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. 2020. doi:10.15479/AT:ISTA:8390
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 7936 |
Royer A, Lampert C. Localizing grouped instances for efficient detection in low-resource scenarios. In: IEEE Winter Conference on Applications of Computer Vision. IEEE; 2020. doi:10.1109/WACV45572.2020.9093288
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 7937 |
Royer A, Lampert C. A flexible selection scheme for minimum-effort transfer learning. In: 2020 IEEE Winter Conference on Applications of Computer Vision. IEEE; 2020. doi:10.1109/WACV45572.2020.9093635
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Book Chapter | IST-REx-ID: 8092 |
Royer A, Bousmalis K, Gouws S, et al. XGAN: Unsupervised image-to-image translation for many-to-many mappings. In: Singh R, Vatsa M, Patel VM, Ratha N, eds. Domain Adaptation for Visual Understanding. Springer Nature; 2020:33-49. doi:10.1007/978-3-030-30671-7_3
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 6944 |
Sun R, Lampert C. KS(conf): A light-weight test if a multiclass classifier operates outside of its specifications. International Journal of Computer Vision. 2020;128(4):970-995. doi:10.1007/s11263-019-01232-x
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8766
Jeschke S, Hafner C, Chentanez N, Macklin M, Müller-Fischer M, Wojtan C. Making procedural water waves boundary-aware. Computer Graphics forum. 2020;39(8):47-54. doi:10.1111/cgf.14100
View
| DOI
| WoS
2020 | Research Data | IST-REx-ID: 8761 |
Guseinov R. Supplementary data for “Computational design of cold bent glass façades.” 2020. doi:10.15479/AT:ISTA:8761
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 8386 |
Zhang R. Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. 2020. doi:10.15479/AT:ISTA:8386
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8562 |
Gavriil K, Guseinov R, Perez Rodriguez J, et al. Computational design of cold bent glass façades. ACM Transactions on Graphics. 2020;39(6). doi:10.1145/3414685.3417843
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv