Please note that IST 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.

6502 Publications


2021 | Journal Article | IST-REx-ID: 9412 | OA
Fluctuation around the circular law for random matrices with real entries
G. Cipolloni, L. Erdös, D.J. Schröder, Electronic Journal of Probability 26 (2021).
View | Files available | DOI | arXiv
 

2021 | Journal Article | IST-REx-ID: 9411 | OA
Regimes of motion of magnetocapillary swimmers
A. Sukhov, M. Hubert, G.M. Grosjean, O. Trosman, S. Ziegler, Y. Collard, N. Vandewalle, A.S. Smith, J. Harting, European Physical Journal E 44 (2021).
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9414
Spatial variation of microtubule depolymerization in large asters
K. Ishihara, F. Decker, P.R. Dos Santos Caldas, J.F. Pelletier, M. Loose, J. Brugués, T.J. Mitchison, Molecular Biology of the Cell 32 (2021) 869–879.
View | DOI
 

2021 | Journal Article | IST-REx-ID: 9408 | OA
Computational design of skinned Quad-Robots
X. Feng, J. Liu, H. Wang, Y. Yang, H. Bao, B. Bickel, W. Xu, IEEE Transactions on Visualization and Computer Graphics 27 (2021).
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9410 | OA
Adaptation at different points along antibiotic concentration gradients
M. Lagator, H. Uecker, P. Neve, Biology Letters 17 (2021).
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9376 | OA
Computational design of planar multistable compliant structures
R. Zhang, T. Auzinger, B. Bickel, ACM Transactions on Graphics (n.d.).
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 7901 | OA
Correlation energy of a weakly interacting Fermi gas
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, Inventiones Mathematicae (2021).
View | DOI | Download Published Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9439 | OA
Efficient and adaptive sensory codes
W.F. Mlynarski, A.M. Hermundstad, Nature Neuroscience (2021).
View | DOI | Download Preprint (ext.)
 

2021 | Preprint | IST-REx-ID: 9435 | OA
Non co-preservation of the 1/2 and 1/(2l+1)-rational caustics along deformations of circles
V. Kaloshin, E. Koudjinan, (2021).
View | Files available
 

2021 | Journal Article | IST-REx-ID: 9316 | OA
Rigidity percolation uncovers a structural basis for embryonic tissue phase transitions
N. Petridou, B. Corominas-Murtra, C.-P.J. Heisenberg, E.B. Hannezo, Cell 184 (2021) 1914–1928.e19.
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9257 | OA
Designing self-assembling kinetics with differentiable statistical physics models
C.P. Goodrich, E.M. King, S.S. Schoenholz, E.D. Cubuk, M.P. Brenner, Proceedings of the National Academy of Sciences 118 (2021).
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9301 | OA
In situ small-angle X-ray scattering reveals solution phase discharge of Li–O2 batteries with weakly solvating electrolytes
C. Prehal, A. Samojlov, M. Nachtnebel, L. Lovicar, M. Kriechbaum, H. Amenitsch, S.A. Freunberger, Proceedings of the National Academy of Sciences 118 (2021).
View | DOI | Download Preprint (ext.)
 

2021 | Journal Article | IST-REx-ID: 9443 | OA
Synaptotagmins at the endoplasmic reticulum-plasma membrane contact sites maintain diacylglycerol homeostasis during abiotic stress
N. Ruiz-Lopez, J. Pérez-Sancho, A. Esteban Del Valle, R. Haslam, S. Vanneste, R. Catalá, C. Perea-Resa, D. Van Damme, S. García-Hernández, A. Albert, J. Vallarino, J. Lin, J. Friml, A. Macho, J. Salinas, A. Rosado, J. Napier, V. Amorim-Silva, M. Botella, Plant Cell (2021).
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9447
Investigation of electrochemical and chemical processes occurring at positive potentials in “Water-in-Salt” electrolytes
M. Maffre, R. Bouchal, S.A. Freunberger, N. Lindahl, P. Johansson, F. Favier, O. Fontaine, D. Bélanger, Journal of The Electrochemical Society 168 (2021).
View | DOI
 

2021 | Journal Article | IST-REx-ID: 9465 | OA
A step in the Delaunay mosaic of order k
H. Edelsbrunner, A. Nikitenko, G.F. Osang, Journal of Geometry 112 (2021).
View | Files available | DOI
 

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: 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 | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9468 | OA
Extending drawings of complete graphs into arrangements of pseudocircles
A.M. Arroyo Guevara, R.B. Richter, M. Sunohara, SIAM Journal on Discrete Mathematics 35 (2021) 1050–1076.
View | DOI | Download Submitted Version (ext.) | arXiv
 

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: 9548 | OA
Functional Löwner ellipsoids
G. Ivanov, I. Tsiutsiurupa, Journal of Geometric Analysis (2021).
View | DOI | Download Preprint (ext.) | 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: 9431 | OA
Structure of the mature Rous sarcoma virus lattice reveals a role for IP6 in the formation of the capsid hexamer
M. Obr, C.L. Ricana, N. Nikulin, J.-P.R. Feathers, M. Klanschnig, A. Thader, M.C. Johnson, V.M. Vogt, F.K. Schur, R.A. Dick, Nature Communications 12 (2021).
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9540 | OA
Structural basis for inhibition of the AAA-ATPase Drg1 by diazaborine
M. Prattes, I. Grishkovskaya, V.-V. Hodirnau, I. Rössler, I. Klein, C. Hetzmannseder, G. Zisser, C.C. Gruber, K. Gruber, D. Haselbach, H. Bergler, Nature Communications 12 (2021).
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9407 | OA
Discontinuous epidemic transition due to limited testing
D. Scarselli, N.B. Budanur, M. Timme, B. Hof, 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: 9428 | OA
Quantum many-body scars and weak breaking of ergodicity
M. Serbyn, D.A. Abanin, Z. Papić, Nature Physics 17 (2021) 675–685.
View | DOI | Download Preprint (ext.) | arXiv
 

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: 9572 | OA
Acyclic subgraphs of tournaments with high chromatic number
J. Fox, M.A. Kwan, B. Sudakov, Bulletin of the London Mathematical Society 53 (2021) 619–630.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9558 | OA
Coarse graining the state space of a turbulent flow using periodic orbits
G. Yalniz, B. Hof, N.B. Budanur, Physical Review Letters 126 (2021).
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9570 | OA
Closing of the induced gap in a hybrid superconductor-semiconductor nanowire
D. Puglia, E.A. Martinez, G.C. Ménard, A. Pöschl, S. Gronin, G.C. Gardner, R. Kallaher, M.J. Manfra, C.M. Marcus, A.P. Higginbotham, L. Casparis, Physical Review B 103 (2021).
View | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9607 | OA
Introduction to the EQIPD quality system
Bespalov A, Bernard R, Gilis A, Gerlach B, Guillén J, Castagné V, Lefevre IA, Ducrey F, Monk L, Bongiovanni S, Altevogt B, Arroyo-Araujo M, Bikovski L, De Bruin N, Castaños-Vélez E, Dityatev A, Emmerich CH, Fares R, Ferland-Beckham C, Froger-Colléaux C, Gailus-Durner V, Hölter SM, Hofmann MC, Kabitzke P, Kas MJ, Kurreck C, Moser P, Pietraszek M, Popik P, Potschka H, Prado Montes De Oca E, Restivo L, Riedel G, Ritskes-Hoitinga M, Samardzic J, Schunn M, Stöger C, Voikar V, Vollert J, Wever KE, Wuyts K, Macleod MR, Dirnagl U, Steckler T. 2021. Introduction to the EQIPD quality system. eLife. 10.
View | Files available | DOI | PubMed | Europe PMC
 

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 | Journal Article | IST-REx-ID: 9606 | OA
Propagation of first and second sound in a two-dimensional Fermi superfluid
A. Tononi, A. Cappellaro, G. Bighin, L. Salasnich, Physical Review A 103 (2021).
View | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9603 | OA
A genome-wide library of MADM mice for single-cell genetic mosaic analysis
X. Contreras, N. Amberg, A. Davaatseren, A.H. Hansen, J. Sonntag, L. Andersen, T. Bernthaler, C. Streicher, A.-M. Heger, R.L. Johnson, L.A. Schwarz, L. Luo, T. Rülicke, S. Hippenmeyer, Cell Reports 35 (2021).
View | Files available | DOI
 

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 | 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 | Journal Article | IST-REx-ID: 8909 | OA
A singlet triplet hole spin qubit in planar Ge
D. Jirovec, A.C. Hofmann, A. Ballabio, P.M. Mutter, G. Tavani, M. Botifoll, A. Crippa, J. Kukucka, O. Sagi, F. Martins, J. Saez Mollejo, I. Prieto Gonzalez, M. Borovkov, J. Arbiol, D. Chrastina, G. Isella, G. Katsaros, Nature Materials (2021).
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Research Data | IST-REx-ID: 9323 | OA
Research data for "A singlet-triplet hole spin qubit planar Ge"
D. Jirovec, (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 | Conference Paper | IST-REx-ID: 9592 | OA
Massively winning configurations in the convex grabbing game on the plane
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, 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: 9618 | OA
Controlling quantum many-body dynamics in driven Rydberg atom arrays
D. Bluvstein, A. Omran, H. Levine, A. Keesling, G. Semeghini, S. Ebadi, T.T. Wang, A. Michailidis, N. Maskara, W.W. Ho, S. Choi, M. Serbyn, M. Greiner, V. Vuletić, M.D. Lukin, Science 371 (2021) 1355–1359.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | 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: 9669 | OA
Quantum-mechanical exploration of the phase diagram of water
A. Reinhardt, B. Cheng, Nature Communications 12 (2021).
View | Files available | DOI | PubMed | Europe PMC | arXiv
 

2021 | Journal Article | IST-REx-ID: 9642 | OA
Microglia enable mature perineuronal nets disassembly upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain
A. Venturino, R. Schulz, H. De Jesús-Cortés, M.E. Maes, B. Nagy, F. Reilly-Andújar, G. Colombo, R.J. Cubero, F.E. Schoot Uiterkamp, M.F. Bear, S. Siegert, Cell Reports 36 (2021).
View | Files available | 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: 9657 | OA
GmPIN-dependent polar auxin transport is involved in soybean nodule development
Gao Z, Chen Z, Cui Y, Ke M, Xu H, Xu Q, Chen J, Li Y, Huang L, Zhao H, Huang D, Mai S, Xu T, Liu X, Li S, Guan Y, Yang W, Friml J, Petrášek J, Zhang J, Chen X. 2021. GmPIN-dependent polar auxin transport is involved in soybean nodule development. Plant Cell., koab18.
View | Files available | DOI | PubMed | Europe PMC
 

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 | Preprint | IST-REx-ID: 9695 | OA
Ranking the information content of distance measures
A. Glielmo, C. Zeni, B. Cheng, G. Csanyi, A. Laio, ArXiv (n.d.).
View | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 8910 | OA
Nontopological zero-bias peaks in full-shell nanowires induced by flux-tunable Andreev states
M. Valentini, F. Peñaranda, A.C. Hofmann, M. Brauns, R. Hauschild, P. Krogstrup, P. San-Jose, E. Prada, R. Aguado, G. Katsaros, Science 373 (2021).
View | DOI | Download Submitted Version (ext.) | arXiv
 

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 | Preprint | IST-REx-ID: 9651 | OA
Divergence of separated nets with respect to displacement equivalence
M. Dymond, V. Kaluza, ArXiv (n.d.).
View | Download Submitted Version (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 9696 | OA
Predicting the phase behaviors of superionic water at planetary conditions
B. Cheng, M. Bethkenhagen, C.J. Pickard, S. Hamel, ArXiv (n.d.).
View | Download Preprint (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 | Preprint | IST-REx-ID: 9698 | OA
Combining machine learning and computational chemistry for predictive insights into chemical systems
J.A. Keith, V. Valentin Vassilev-Galindo, B. Cheng, S. Chmiela, M. Gastegger, K.-R. Müller, A. Tkatchenko, ArXiv (n.d.).
View | Download Submitted Version (ext.) | arXiv
 

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: 9225 | OA
Persistence of the spectral gap for the Landau–Pekar equations
D. Feliciangeli, S.A.E. Rademacher, R. Seiringer, Letters in Mathematical Physics 111 (2021).
View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 8934 | OA
Parameterized and algebro-geometric advances in static program analysis
A.K. Goharshady, Parameterized and Algebro-Geometric Advances in Static Program Analysis, IST Austria, 2021.
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9006
Cytoplasm's got moves
S. Shamipour, S. Caballero Mancebo, C.-P.J. Heisenberg, Developmental Cell 56 (2021) P213-226.
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9437 | OA
GABAB receptor auxiliary subunits modulate Cav2.3-mediated release from medial habenula terminals
P. Bhandari, D.H. Vandael, D. Fernández-Fernández, T. Fritzius, D. Kleindienst, H.C. Önal, J.-C. Montanaro-Punzengruber, M. Gassmann, P.M. Jonas, A. Kulik, B. Bettler, R. Shigemoto, P. Koppensteiner, ELife 10 (2021).
View | Files available | DOI
 

2021 | Book Chapter | IST-REx-ID: 9756
High-Resolution localization and quantitation of membrane proteins by SDS-digested freeze-fracture replica labeling (SDS-FRL)
W. Kaufmann, D. Kleindienst, H. Harada, R. Shigemoto, in:, Receptor and Ion Channel Detection in the Brain, Humana, New York, 2021, pp. 267–283.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7956 | OA
Shear-induced ordering in systems with competing interactions: A machine learning study
J. Pȩkalski, W. Rzadkowski, A.Z. Panagiotopoulos, The Journal of Chemical Physics 152 (2020).
View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7957 | OA
Neurodevelopmental disorders: From genetics to functional pathways
I. Parenti, L.E. Garcia Rabaneda, H. Schön, G. Novarino, Trends in Neurosciences 43 (2020) 608–621.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7960 | OA
Intersection patterns of planar sets
G. Kalai, Z. Patakova, Discrete and Computational Geometry 64 (2020) 304–323.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7962 | OA
Almost all string graphs are intersection graphs of plane convex sets
J. Pach, B. Reed, Y. Yuditsky, Discrete and Computational Geometry 63 (2020) 888–917.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7966 | OA
Everybody’s a target: Scalability in public-key encryption
B. Auerbach, F. Giacon, E. Kiltz, in:, Advances in Cryptology – EUROCRYPT 2020, Springer Nature, 2020, pp. 475–506.
View | DOI | Download Submitted Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7968 | OA
Analytic model of chiral-induced spin selectivity
A. Ghazaryan, Y. Paltiel, M. Lemeshko, The Journal of Physical Chemistry C 124 (2020) 11716–11721.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7971 | OA
Gully quantum Hall ferromagnetism in biased trilayer graphene
P. Rao, M. Serbyn, Physical Review B 101 (2020).
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7985 | OA
Lithium-oxygen batteries and related systems: Potential, status, and future
W. Kwak, D. Sharon, C. Xia, H. Kim, L. Johnson, P. Bruce, L. Nazar, Y. Sun, A. Frimer, M. Noked, S.A. Freunberger, D. Aurbach, Chemical Reviews 120 (2020) 6626–6683.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 7989 | OA
Bounding radon number via Betti numbers
Z. Patakova, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7990 | OA
Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips)
U. Wagner, E. Welzl, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7991 | OA
Homotopic curve shortening and the affine curve-shortening flow
S. Avvakumov, G. Nivasch, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View | Files available | DOI | arXiv
 

Search

Filter Publications