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.




3390 Publications

2021 | Conference Paper | IST-REx-ID: 9464
Ge/Si quantum wires for quantum computing
F. Gao, J.Y. Zhang, J.H. Wang, M. Ming, T. Wang, J.J. Zhang, H. Watzinger, J. Kukucka, L. Vukušić, G. Katsaros, K. Wang, G. Xu, H.O. Li, G.P. Guo, in:, 2021 5th IEEE Electron Devices Technology and Manufacturing Conference, EDTM 2021, IEEE, 2021.
View | DOI
 
2021 | Journal Article | IST-REx-ID: 9469
Reflected three-operator splitting method for monotone inclusion problem
O.S. Iyiola, C.D. Enyi, Y. Shehu, Optimization Methods and Software (2021).
View | DOI
 
2021 | Journal Article | IST-REx-ID: 9470 | OA
Unboxing mutations: Connecting mutation types with evolutionary consequences
E.L. Berdan, A. Blanckaert, T. Slotte, A. Suh, A.M. Westram, I. Fragata, Molecular Ecology 30 (2021) 2710–2723.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 8546 | OA
Generation of excitatory and inhibitory neurons from common progenitors via Notch signaling in the cerebellum
T. Zhang, T. Liu, N. Mora, J. Guegan, M. Bertrand, X. Contreras, A.H. Hansen, C. Streicher, M. Anderle, N. Danda, L. Tiberi, S. Hippenmeyer, B.A. Hassan, Cell Reports 35 (2021).
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9550 | OA
Equipartition principle for Wigner matrices
Z. Bao, L. Erdös, K. Schnelli, Forum of Mathematics, Sigma 9 (2021).
View | Files available | DOI | arXiv
 
2021 | Journal Article | IST-REx-ID: 9429 | OA
Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development
J. Morandell, L.A. Schwarz, B. Basilico, S. Tasciyan, G.A. Dimchev, A. Nicolas, C.M. Sommer, C. Kreuzinger, C. Dotter, L. Knaus, Z. Dobler, E. Cacci, F.K. Schur, J.G. Danzl, G. Novarino, Nature Communications 12 (2021).
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 9549
Gating and modulation of a hetero-octameric AMPA glutamate receptor
D. Zhang, J. Watson, P.M. Matthews, O. Cais, I.H. Greger, Nature (2021).
View | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9462 | OA
Semiclassical approximation and critical temperature shift for weakly interacting trapped bosons
A. Deuchert, R. Seiringer, Journal of Functional Analysis 281 (2021).
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9547 | OA
Neural acceleration of scattering-aware color 3D printing
T. Rittig, D. Sumin, V. Babaei, P. Didyk, A. Voloboy, A. Wilkie, B. Bickel, K. Myszkowski, T. Weyrich, J. Křivánek, Computer Graphics Forum 40 (2021) 205–219.
View | DOI | Download Published Version (ext.)
 
2021 | Journal Article | IST-REx-ID: 9541 | OA
Graph sparsification for derandomizing massively parallel computation with low space
A. Czumaj, P. Davies, M. Parter, ACM Transactions on Algorithms 17 (2021).
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9569 | OA
Heat induction in two-dimensional graphene–Fe3O4 nanohybrids for magnetic hyperthermia applications with artificial neural network modeling
M.S. Dar, K.B. Akram, A. Sohail, F. Arif, F. Zabihi, S. Yang, S. Munir, M. Zhu, M. Abid, M. Nauman, RSC Advances 11 (2021) 21702–21715.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9604 | OA
Counting cells of order-k voronoi tessellations in ℝ3 with morse theory
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9356 | OA
Quantitative and approximate monitoring
T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Association for Computing Machinery, n.d.
View | Files available | arXiv
 
2021 | Journal Article | IST-REx-ID: 8198 | OA
Impact of drive harmonics on the stability of Floquet many-body localization
A.A. Diringer, T. Gulden, Physical Review B 103 (2021).
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 8317 | OA
Folding polyominoes with holes into a cube
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, Computational Geometry: Theory and Applications 93 (2021).
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 7463 | OA
Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches
F. Lombardi, O. Shriki, H.J. Herrmann, L. de Arcangelis, Neurocomputing (n.d.).
View | DOI | Download Preprint (ext.)
 
2021 | Journal Article | IST-REx-ID: 9626
Realizing high doping efficiency and thermoelectric performance in n-type SnSe polycrystals via bandgap engineering and vacancy compensation
L. Su, T. Hong, D. Wang, S. Wang, B. Qin, M. Zhang, X. Gao, C. Chang, L.D. Zhao, Materials Today Physics 20 (2021).
View | DOI
 
2021 | Journal Article | IST-REx-ID: 9438
Subcellular patch-clamp techniques for single-bouton stimulation and simultaneous pre- and postsynaptic recording at cortical synapses
D.H. Vandael, Y. Okamoto, C. Borges Merjane, V.M. Vargas Barroso, B. Suter, P.M. Jonas, Nature Protocols 16 (2021) 2947–2967.
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Conference Paper | IST-REx-ID: 9605 | OA
Computing the multicover bifiltration
R. Corbet, M. Kerber, M. Lesnick, G.F. Osang, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
View | Files available | DOI | arXiv
 
2021 | Journal Article | IST-REx-ID: 9571 | OA
NUQSGD: Provably communication-efficient data-parallel SGD via nonuniform quantization
A. Ramezani-Kebrya, F. Faghri, I. Markov, V. Aksenov, D.-A. Alistarh, D.M. Roy, Journal of Machine Learning Research 22 (2021) 1−43.
View | Files available | arXiv
 
2021 | Journal Article | IST-REx-ID: 9629
Cell fate coordinates mechano-osmotic forces in intestinal crypt formation
Q. Yang, S. Xue, C.J. Chan, M. Rempfler, D. Vischi, F. Maurer-Gutierrez, T. Hiiragi, E.B. Hannezo, P. Liberali, Nature Cell Biology (2021).
View | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9641 | OA
The role of hippocampal mossy cells in novelty detection
F. Fredes, R. Shigemoto, Neurobiology of Learning and Memory 183 (2021).
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9679 | OA
Morphology of three-body quantum states from machine learning
D. Huber, O.V. Marchukov, H.W. Hammer, A. Volosniev, New Journal of Physics 23 (2021).
View | Files available | DOI | arXiv
 
2021 | Journal Article | IST-REx-ID: 9656
PIN-mediated polar auxin transport regulations in plant tropic responses
H. Han, M. Adamowski, L. Qi, S. Alotaibi, J. Friml, New Phytologist (2021).
View | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9627 | OA
Self-adjoint extensions of bipartite Hamiltonians
D. Lenz, T. Weinmann, M. Wirth, Proceedings of the Edinburgh Mathematical Society (2021) 1–15.
View | DOI | Download Published Version (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9647 | OA
Long lived transients in gene regulation
T. Petrov, C. Igler, A. Sezgin, T.A. Henzinger, C.C. Guet, Theoretical Computer Science (n.d.).
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9646 | OA
Quantitative analysis of assertion violations in probabilistic programs
J. Wang, Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1171–1186.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 9645 | OA
Polynomial reachability witnesses via Stellensätze
A. Asadi, K. Chatterjee, H. Fu, A.K. Goharshady, M. Mahdavi, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 772–787.
View | DOI | Download Submitted Version (ext.)
 
2021 | Conference Paper | IST-REx-ID: 9644 | OA
Proving non-termination by program reversal
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–1048.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9649 | OA
The topological correctness of PL approximations of isomanifolds
J.-D. Boissonnat, M. Wintraecken, Foundations of Computational Mathematics (2021).
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9678 | OA
Efficient load-balancing through distributed token dropping
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2021, pp. 129–139.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 9441 | OA
Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations
J.-D. Boissonnat, S. Kachanovich, M. Wintraecken, in:, 37th International Symposium on Computational Geometry (SoCG 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2021, p. 17:1-17:16.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9620 | OA
Collecting coupons is faster with friends
D.-A. Alistarh, P. Davies, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 3–12.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9200 | OA
Synthesis of hybrid automata with affine dynamics from time-series data
M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, Association for Computing Machinery, n.d., p. 2102.12734.
View | Files available | DOI | arXiv
 
2021 | Conference Paper | IST-REx-ID: 9345 | OA
The density fingerprint of a periodic point set
H. Edelsbrunner, T. Heiss, V. Kurlin , P. Smith, M. Wintraecken, in:, 37th International Symposium on Computational Geometry (SoCG 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 32:1-32:16.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9296 | OA
On compatible matchings
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, in:, 15th International Conference on Algorithms and Computation, Springer Nature, 2021, pp. 221–233.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 9466
The convergence of slide-type reductions
M. Walter, in:, Public-Key Cryptography – PKC 2021, Springer Nature, 2021, pp. 45–67.
View | DOI
 
2021 | Conference Paper | IST-REx-ID: 9210
Does SGD implicitly optimize for smoothness?
V. Volhejn, C. Lampert, in:, 42nd German Conference on Pattern Recognition , Springer, 2021, pp. 246–259.
View | DOI
 
2021 | Journal Article | IST-REx-ID: 9640 | OA
Fast and strong amplifiers of natural selection
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, Nature Communications 12 (2021).
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Thesis | IST-REx-ID: 9418 | OA
Underspecification in Deep Learning
M. Phuong, Underspecification in Deep Learning, IST Austria, 2021.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9543 | OA
New bounds for distributed mean estimation and variance reduction
P. Davies, V. Gurunanthan, N. Moshrefi, S. Ashkboos, D.-A. Alistarh, in:, 9th International Conference on Learning Representations, 2021.
View | Download Published Version (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 9416 | OA
The inductive bias of ReLU networks on orthogonally separable data
M. Phuong, C. Lampert, in:, 9th International Conference on Learning Representations, 2021.
View | Files available | Download Published Version (ext.)
 
2021 | Journal Article | IST-REx-ID: 9467 | OA
Suppression of turbulence and travelling waves in a vertical heated pipe
E. Marensi, S. He, A.P. Willis, Journal of Fluid Mechanics 919 (2021).
View | Files available | DOI | arXiv
 
2021 | Thesis | IST-REx-ID: 9728
Transition to turbulence and drag reduction in particle-laden pipe flows
N. Agrawal, Transition to Turbulence and Drag Reduction in Particle-Laden Pipe Flows, IST Austria, 2021.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 9761 | OA
The influence of mitochondrial dynamics and function on retinal ganglion cell susceptibility in optic nerve disease
N.A. Muench, S. Patel, M.E. Maes, R.J. Donahue, A. Ikeda, R.W. Nickells, Cells 10 (2021).
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9601 | OA
Genomic imprinting in mouse blastocysts is predominantly associated with H3K27me3
L. Santini, F. Halbritter, F. Titz-Teixeira, T. Suzuki, M. Asami, X. Ma, J. Ramesmayer, A. Lackner, N. Warr, F. Pauler, S. Hippenmeyer, E. Laue, M. Farlik, C. Bock, A. Beyer, A.C.F. Perry, M. Leeb, Nature Communications 12 (2021).
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 9602 | OA
Erdős-Hajnal-type results for monotone paths
J. Pach, I. Tomon, Journal of Combinatorial Theory. Series B 151 (2021) 21–37.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 9759 | OA
Ten simple rules to improve academic work- life balance
M.J. Bartlett, F.N. Arslan, A. Bankston, S. Sarabipour, PLoS Computational Biology 17 (2021).
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9760 | OA View | Files available | DOI | arXiv
 
2021 | Journal Article | IST-REx-ID: 7553 | OA
Statistical analysis and optimality of neural systems
W.F. Mlynarski, M. Hledik, T.R. Sokolowski, G. Tkačik, Neuron 109 (2021) 1227–1241.e5.
View | Files available | DOI | Download Preprint (ext.)
 

Search

Filter Publications