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.

6092 Publications


2024 |Published| Journal Article | IST-REx-ID: 17410 | OA
Remote sensing of a levitated superconductor with a flux-tunable microwave cavity
P. Schmidt, R. Claessen, G. Higgins, J. Hofer, J.J. Hansen, P. Asenbaum, M. Zemlicka, K. Uhl, R. Kleiner, R. Gross, H. Huebl, M. Trupke, M. Aspelmeyer, Physical Review Applied 22 (2024).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 17326 | OA
Detectability of axisymmetric magnetic fields from the core to the surface of oscillating post-main-sequence stars
S. Bhattacharya, S.B. Das, L.A. Bugnet, S. Panda, S.M. Hanasoge, Astrophysical Journal 970 (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 |Published| Conference Paper | IST-REx-ID: 17402 | OA
Playing games with your PET: Extending the Partial Exploration Tool to stochastic games
T. Meggendorfer, M. Weininger, in:, 36th International Conference on Computer Aided Verification, Springer Nature, 2024, pp. 359–372.
[Published Version] View | Files available | DOI | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 17396 | OA
Wildfires impact on PM2.5 concentration in galicia Spain
C. Quishpe-Vásquez, P. Oliva, E.A. López-Barrera, A. Casallas Garcia, Journal of Environmental Management 367 (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 |Published| Journal Article | IST-REx-ID: 17408 | OA
Highly regenerative species-specific genes improve age-associated features in the adult Drosophila midgut
H. NAGAI, Y. Adachi, T. Nakasugi, E. Takigawa, J. Ui, T. Makino, M. Miura, Y.I. Nakajima, BMC Biology 22 (2024).
[Published Version] View | Files available | DOI
 

2024 |Published| Journal Article | IST-REx-ID: 17409 | OA
All-visible-light-driven salicylidene schiff-base-functionalized artificial molecular motors
S. Van Vliet, J. Sheng, C.N. Stindt, B.L. Feringa, Nature Communications 15 (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 |Published| Conference Paper | IST-REx-ID: 17411 | OA
PEFLL: Personalized federated learning by learning to learn
J.A. Scott, H. Zakerinia, C. Lampert, in:, 12th International Conference on Learning Representations, OpenReview, 2024.
[Published Version] View | Files available | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 17407 | OA
Designing athermal disordered solids with automatic differentiation
M. Zu, C.P. Goodrich, Communications Materials 5 (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17412 | OA
Influence of the catalyst surface chemistry on the electrochemical self-coupling of biomass-derived benzaldehyde into hydrobenzoin
L. Gong, S. Zhao, J. Yu, J. Li, J. Arbiol, T. Kallio, M. Calcabrini, P.R. Martínez-Alanis, M. Ibáñez, A. Cabot, Energy Advances (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 |Published| Conference Paper | IST-REx-ID: 17214 | OA
Primal-dual non-smooth friction for rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, in:, Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24, Association for Computing Machinery, 2024.
[Published Version] View | Files available | DOI
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17437 | OA
Rational singularities for moment maps of totally negative quivers
T. Vernet, Transformation Groups (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 |Published| Journal Article | IST-REx-ID: 17435 | OA
Regimes of precipitation change over Europe and the Mediterranean
J. André, F. D’Andrea, P. Drobinski, C.J. Muller, Journal of Geophysical Research: Atmospheres 129 (2024).
[Published Version] View | Files available | DOI
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17436 | OA
Quantitative imaging reveals the role of MpARF proteasomal degradation during gemma germination
S. Das, M. De Roij, S. Bellows, M.D. Alvarez, S. Mutte, W. Kohlen, E. Farcot, D. Weijers, J.W. Borst, Plant Communications (2024).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 |Published| Journal Article | IST-REx-ID: 15315 | OA
Learning dynamical models of single and collective cell migration: a review
D. Brückner, C.P. Broedersz, Reports on Progress in Physics 87 (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 15297 | OA
Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating
J. Svoboda, S.S. Joshi, J. Tkadlec, K. Chatterjee, PLoS Computational Biology 20 (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 15301 | OA
Mechanical forces in plant tissue matrix orient cell divisions via microtubule stabilization
L. Hörmayer, J.C. Montesinos López, N. Trozzi, L. Spona, S. Yoshida, P. Marhavá, S. Caballero Mancebo, E. Benková, C.-P.J. Heisenberg, Y. Dagdas, M. Majda, J. Friml, Developmental Cell 59 (2024) 1333–1344.e4.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 |Published| Journal Article | IST-REx-ID: 15172 | OA
Concentration without independence via information measures
A.R. Esposito, M. Mondelli, IEEE Transactions on Information Theory 70 (2024) 3823–3839.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 15338 | OA
Generalised quadratic forms over totally real number fields
T.D. Browning, L.B. Pierce, D. Schindler, Journal of the Institute of Mathematics of Jussieu (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 15339 | OA
Hitchin map on even very stable upward flows
M. González, T. Hausel, International Journal of Mathematics 35 (2024).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 15163 | OA
Decompositions into two linear forests of bounded lengths
R. Campbell, F. Hörsch, B. Moore, Discrete Mathematics 347 (2024).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 17127 | OA
Paucity phenomena for polynomial products
V. Wang, M.W. Xu, Bulletin of the London Mathematical Society 56 (2024) 2718–2726.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 17447 | OA
Special cubic zeros and the dual variety
V. Wang, Journal of the London Mathematical Society 110 (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 17449 | OA
Partial sums of typical multiplicative functions over short moving intervals
M. Pandey, V. Wang, M.W. Xu, Algebra & Number Theory 18 (2024) 389–408.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2024 |Published| Thesis | IST-REx-ID: 17336 | OA
Functional inequalities and convergence of stochastic processes
F. Pedrotti, Functional Inequalities and Convergence of Stochastic Processes, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 |Published| Journal Article | IST-REx-ID: 17143 | OA
Local conditions for global convergence of gradient flows and proximal point sequences in metric spaces
L. Dello Schiavo, J. Maas, F. Pedrotti, Transactions of the American Mathematical Society 377 (2024) 3779–3804.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 |Submitted| Preprint | IST-REx-ID: 17350 | OA
Improved convergence of score-based diffusion models via prediction-correction
F. Pedrotti, J. Maas, M. Mondelli, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 |Submitted| Preprint | IST-REx-ID: 17352 | OA
L∞-optimal transport of anisotropic log-concave measures and exponential convergence in Fisher's infinitesimal model
K. Khudiakova, J. Maas, F. Pedrotti, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 |Submitted| Preprint | IST-REx-ID: 17353 | OA
Heat flow, log-concavity, and Lipschitz transport maps
G. Brigati, F. Pedrotti, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17462 | OA
Artificial boundary conditions for random elliptic systems with correlated coefficient field
N. Clozeau, L. Wang, Multiscale Modeling and Simulation 22 (2024) 973–1029.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 |Submitted| Preprint | IST-REx-ID: 17468 | OA
Individual Marcus-type kinetics controls singlet and triplet oxygen evolution from superoxide
S. Mondal, H.T.K. Nguyen, R. Hauschild, S.A. Freunberger, ChemRxiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.)
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17460 | OA
Self-organization of mortal filaments and its role in bacterial division ring formation
C.E. Vanhille-Campos, K.D. Whitley, P. Radler, M. Loose, S. Holden, A. Šarić, Nature Physics (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 |Published| Journal Article | IST-REx-ID: 17493 | OA
Many-body entropies and entanglement from polynomially many local measurements
B. Vermersch, M. Ljubotina, J.I. Cirac, P. Zoller, M. Serbyn, L. Piroli, Physical Review X 14 (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17480 | OA
Bolometric detection of Josephson radiation
B. Karimi, G.O. Steffensen, A.P. Higginbotham, C.M. Marcus, A. Levy Yeyati, J.P. Pekola, Nature Nanotechnology (2024).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 17477 | OA
Bilayer crystals of trapped ions for quantum information processing
S. Hawaldar, P. Shahi, A.L. Carter, A.M. Rey, J.J. Bollinger, A. Shankar, Physical Review X 14 (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17478 | OA
The Fröhlich polaron at strong coupling: Part II — Energy-momentum relation and effective mass
M. Brooks, R. Seiringer, Publications Mathematiques de l’Institut Des Hautes Etudes Scientifiques (2024).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 17481 | OA
Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow
J.L. Fischer, A. Marveggio, Annales de l’Institut Henri Poincare C 41 (2024) 1117–1178.
[Published Version] View | Files available | DOI
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17474 | OA
Entropic risk for turn-based stochastic games
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, Information and Computation 301 (2024).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17884 | OA
Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice
M. Obr, M. Percipalle, D. Chernikova, H. Yang, A. Thader, G. Pinke, D.J. Porley, L.M. Mansky, R.A. Dick, F.K. Schur, Nature Structural & Molecular Biology (2024).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17886 | OA
The vitals for steady nucleation maps of spontaneous spiking coherence in autonomous two-dimensional neuronal networks
D. Zendrikov, A. Paraskevov, Neural Networks 180 (2024).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 |Published| Journal Article | IST-REx-ID: 17887 | OA
Approximation of classical two-phase flows of viscous incompressible fluids by a Navier–Stokes/Allen–Cahn system
H. Abels, J.L. Fischer, M. Moser, Archive for Rational Mechanics and Analysis 248 (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 17885 | OA
The novel ribosome biogenesis inhibitor usnic acid blocks nucleolar pre-60S maturation
L. Kofler, L. Grundmann, M. Gerhalter, M. Prattes, J. Merl-Pham, G. Zisser, I. Grishkovskaya, V.-V. Hodirnau, M. Vareka, R. Breinbauer, S.M. Hauck, D. Haselbach, H. Bergler, Nature Communications 15 (2024).
[Published Version] View | Files available | DOI
 

2024 |Published| Journal Article | IST-REx-ID: 17891 | OA
Understanding higher-order interactions in information space
H. Edelsbrunner, K. Ölsböck, H. Wagner, Entropy 26 (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 |Published| Journal Article | IST-REx-ID: 17463 | OA
De novo design of allosterically switchable protein assemblies
A. Pillai, A. Idris, A. Philomin, C. Weidle, R. Skotheim, P.J.Y. Leung, A. Broerman, C. Demakis, A.J. Borst, F.M. Praetorius, D. Baker, Nature 632 (2024) 911–920.
[Published Version] View | Files available | DOI
 

2024 |Published| Journal Article | IST-REx-ID: 17458 | OA
Compensation of gene dosage on the mammalian X
D. Cecalev, B. Vicoso, R. Galupa, Development 151 (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17457 | OA
LGI1 autoantibodies enhance synaptic transmission by presynaptic Kv1 loss and increased action potential broadening
A. Ritzau-Jost, F. Gsell, J. Sell, S. Sachs, J.-C. Montanaro-Punzengruber, T. Kirmann, S. Maaß, S.R. Irani, C. Werner, C. Geis, M. Sauer, R. Shigemoto, S. Hallermann, Neurology, Neuroimmunology and Neuroinflammation 11 (2024) e200284.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17459 | OA
Langerhans cells: Central players in the pathophysiology of atopic dermatitis
Y. Pan, M. Hochgerner, M.A. Cichon, T. Benezeder, T. Bieber, P. Wolf, Journal of the European Academy of Dermatology and Venereology (2024).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17461 | OA
Unconditional versus condition-dependent social immunity
S. Cremer, C. Pull, Trends in Parasitology (2024).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 |Published| Journal Article | IST-REx-ID: 17475 | OA
Exponentially many graphs are determined by their spectrum
I. Koval, M.A. Kwan, Quarterly Journal of Mathematics 75 (2024) 869–899.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Research Data | IST-REx-ID: 17488 | OA
Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies
R.K. Satapathy, M.A. Jösch, O. Symonova, V. Pokusaeva, (2024).
View | Files available | DOI
 

2024 |Published| Journal Article | IST-REx-ID: 17495 | OA
RefinedRust: A type system for high-assurance verification of rust programs
L. Gäher, M.J. Sammler, R. Jung, R. Krebbers, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 1115–1139.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 |Published| Journal Article | IST-REx-ID: 17497 | OA
Quiver: Guided abductive inference of separation logic specifications in coq
S. Spies, L. Gäher, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 889–913.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 |Published| Journal Article | IST-REx-ID: 17517 | OA
NuSTAR observations of candidate subparsec binary supermassive black holes
M.L. Saade, M. Brightman, D. Stern, T. Connor, S.G. Djorgovski, D.J. D’Orazio, K.E.S. Ford, M.J. Graham, Z. Haiman, H.D. Jun, E. Kammoun, R.P. Kraft, B. McKernan, A. Vikhlinin, D.J. Walton, The Astrophysical Journal 966 (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 |Submitted| Preprint | IST-REx-ID: 17634 | OA
QuAK: Quantitative Automata Kit
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 17889 | OA
Anatomy of an ionized bubble: NIRCam grism spectroscopy of the z = 6.6 double-peaked Lyman- α emitter COLA1 and its environment
A. Torralba-Torregrosa, J.J. Matthee, R.P. Naidu, R. Mackenzie, G. Pezzulli, A. Hutter, P. Arnalte-Mur, S. Gurung-López, S. Tacchella, P. Oesch, D. Kashino, C. Conroy, D. Sobral, Astronomy and Astrophysics 689 (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 17888 | OA
Multiscale spatial analysis of two plant–insect interactions: Effects of landscape, resource distribution, and other insects
G. Pocull Belles, C. Baskett, N.H. Barton, Landscape Ecology 39 (2024).
[Published Version] View | Files available | DOI
 

2024 |Published| Journal Article | IST-REx-ID: 17892 | OA
Field theory of enzyme-substrate systems with restricted long-range interactions
F. Olmeda, S. Rulands, Physical Review E 110 (2024).
[Published Version] View | Files available | DOI
 

2024 |Published| Conference Paper | IST-REx-ID: 17893 | OA
Properties of the strong data processing constant for Rényi divergence
L. Jin, A.R. Esposito, M. Gastpar, in:, Proceedings of the 2024 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2024, pp. 3178–3183.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Research Data | IST-REx-ID: 17362 | OA
Data for: "Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome"
M.N. Elkrewi, B. Vicoso, (2024).
[Published Version] View | Files available | DOI
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17890 | OA
Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome
M.N. Elkrewi, B. Vicoso, PLoS Genetics (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 |Published| Journal Article | IST-REx-ID: 17531 | OA
Shock cooling and breakout emission for optical flares associated with gravitational-wave events
H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical Journal 966 (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 |Published| Journal Article | IST-REx-ID: 17535 | OA
Diagnosing the massive-seed pathway to high-redshift black holes: statistics of the evolving black hole to host galaxy mass ratio
M.T. Scoggins, Z. Haiman, Monthly Notices of the Royal Astronomical Society 531 (2024) 4584–4597.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 |Published| Conference Paper | IST-REx-ID: 17469 | OA
Compression of structured data with autoencoders: Provable benefit of nonlinearities and depth
K. Kögler, A. Shevchenko, H. Hassani, M. Mondelli, in:, Proceedings of the 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 24964–25015.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2024 |Published| Thesis | IST-REx-ID: 17490 | OA
Communication-efficient distributed training of deep neural networks: An algorithms and systems perspective
I. Markov, Communication-Efficient Distributed Training of Deep Neural Networks: An Algorithms and Systems Perspective, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 |Published| Conference Paper | IST-REx-ID: 17456 | OA
L-GreCo: Layerwise-adaptive gradient compression for efficient data-parallel deep learning
I. Markov, K. Alimohammadi, E. Frantar, D.-A. Alistarh, in:, P. Gibbons, G. Pekhimenko, C. De Sa (Eds.), Proceedings of Machine Learning and Systems , Association for Computing Machinery, 2024.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 18073 | OA
Disordered regions in the IRE1α ER lumenal domain mediate its stress-induced clustering
P. Kettel, L. Marosits, E. Spinetti, M. Rechberger, C. Giannini, P. Radler, I. Niedermoser, I. Fischer, G.A. Versteeg, M. Loose, R. Covino, G.E. Karagöz, EMBO Journal (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 18074 | OA
Aharonov–Casher theorems for Dirac operators on manifolds with boundary and APS boundary condition
M. Fialova, Annales Henri Poincare (2024).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 18072 | OA
A liquid-like coat mediates chromosome clustering during mitotic exit
A. Hernandez-Armendariz, V. Sorichetti, Y. Hayashi, Z. Koskova, A. Brunner, J. Ellenberg, A. Šarić, S. Cuylen-Haering, Molecular Cell 84 (2024) P3254–3270.E9.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 |Published| Conference Paper | IST-REx-ID: 18071 | OA
HammerHead: Leader reputation for dynamic scheduling
G. Tsimos, A. Kichidis, A. Sonnino, E. Kokoris Kogias, in:, Proceedings - International Conference on Distributed Computing Systems, IEEE, 2024, pp. 1377–1387.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 |Published| Conference Paper | IST-REx-ID: 18066 | OA
Bidding games with charging
G. Avni, E.K. Goharshady, T.A. Henzinger, K. Mallik, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI | arXiv
 

2024 |Published| Conference Paper | IST-REx-ID: 18067 | OA
History-determinism vs fair simulation
U. Boker, T.A. Henzinger, K. Lehtinen, A. Prakash, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 18063 | OA
Polarly localized Bro1 domain proteins regulate PIN-FORMED abundance and root gravitropic growth in Arabidopsis
Y. Peng, K. Ji, Y. Mao, Y. Wang, B. Korbei, C. Luschnig, J. Shen, E. Benková, J. Friml, S. Tan, Communications Biology 7 (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 |Published| Journal Article | IST-REx-ID: 18069 | OA
FRESCO: The Paschen-α star-forming sequence at cosmic noon
C. Neufeld, P. Van Dokkum, Y. Asali, A. Covelo-Paz, J. Leja, J. Lin, J.J. Matthee, P.A. Oesch, N.A. Reddy, I. Shivaei, K.E. Whitaker, S. Wuyts, G. Brammer, D. Marchesini, M.V. Maseda, R.P. Naidu, E.J. Nelson, A. Velichko, A. Weibel, M. Xiao, Astrophysical Journal 972 (2024).
[Published Version] View | Files available | DOI
 

2024 |Published| Conference Paper | IST-REx-ID: 18068 | OA
Strategic dominance: A new preorder for nondeterministic processes
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI | arXiv
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 18065 | OA
Dynamical classification of analytic one-frequency quasi-periodic SO(3,R)-cocycles
X. Hou, Y. Pan, Q. Zhou, Advances in Mathematics 457 (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 18064 | OA
The average number of integral points on the congruent number curves
S. Chan, Advances in Mathematics 457 (2024).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 17545 | OA
Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations
L.M. Krauth, J. Davelaar, Z. Haiman, J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Physical Review D 109 (2024).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 17546 | OA
Eccentric minidisks in accreting binaries
J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Z. Haiman, The Astrophysical Journal 962 (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 |Published| Conference Paper | IST-REx-ID: 18097 | OA
The ultimate frontier: An optimality construction for homotopy inference (media exposition)
D. Attali, H. Kourimska, C.D. Fillmore, I. Ghosh, A. Lieutier, E.R. Stephenson, M. Wintraecken, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI
 

2024 |Published| Journal Article | IST-REx-ID: 17590 | OA
“Tidal Peeling Events”: Low-eccentricity tidal disruption of a star by a stellar-mass black hole
C. Xin, Z. Haiman, R. Perna, Y. Wang, T. Ryu, The Astrophysical Journal 961 (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 |Published| Journal Article | IST-REx-ID: 17202 | OA
A gate tunable transmon qubit in planar Ge
O. Sagi, A. Crippa, M. Valentini, M. Janik, L. Baghumyan, G. Fabris, L. Kapoor, F. Hassani, J.M. Fink, S. Calcaterra, D. Chrastina, G. Isella, G. Katsaros, Nature Communications 15 (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 |Submitted| Preprint | IST-REx-ID: 18057 | OA
Dual relaxation oscillations in a Josephson junction array
S. Mukhopadhyay, D.A. Lancheros Naranjo, J.L. Senior, A.P. Higginbotham, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 |Published| Thesis | IST-REx-ID: 17485 | OA
Compressing large neural networks : Algorithms, systems and scaling laws
E. Frantar, Compressing Large Neural Networks : Algorithms, Systems and Scaling Laws, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 |Published| Conference Paper | IST-REx-ID: 18061 | OA
QMoE: Sub-1-bit compression of trillion parameter models
E. Frantar, D.-A. Alistarh, in:, P. Gibbons, G. Pekhimenko, C. De Sa (Eds.), Proceedings of Machine Learning and Systems, 2024.
[Published Version] View | Files available | Download Published Version (ext.)
 

2024 |Published| Conference Paper | IST-REx-ID: 18062 | OA
Scaling laws for sparsely-connected foundation models
E. Frantar, C.R. Ruiz, N. Houlsby, D.-A. Alistarh, U. Evci, in:, The Twelfth International Conference on Learning Representations, 2024.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2024 |Published| Thesis | IST-REx-ID: 15101 | OA
Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse
J. Chen, Developmental Transformation of Nanodomain Coupling between Ca2+ Channels and Release Sensors at a Central GABAergic Synapse, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2023 |Published| Book Chapter | IST-REx-ID: 12428 | OA
A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland
E.B. Hannezo, C.L.G.J. Scheele, in:, C. Margadant (Ed.), Cell Migration in Three Dimensions, Springer Nature, 2023, pp. 183–205.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 |Published| Journal Article | IST-REx-ID: 12534 | OA
Dissipative dynamics of an impurity with spin-orbit coupling
A. Ghazaryan, A. Cappellaro, M. Lemeshko, A. Volosniev, Physical Review Research 5 (2023).
[Published Version] View | Files available | DOI
 

2023 |Published| Journal Article | IST-REx-ID: 12158 | OA
Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis
P. Zeller, J. Yeung, H. Viñas Gaza, B.A. de Barbanson, V. Bhardwaj, M. Florescu, R. van der Linden, A. van Oudenaarden, Nature Genetics 55 (2023) 333–345.
[Published Version] View | Files available | DOI
 

2023 |Published| Conference Paper | IST-REx-ID: 12676 | OA
Faster algorithm for turn-based stochastic games with bounded treewidth
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Conference Paper | IST-REx-ID: 12735 | OA
Fast and scalable channels in Kotlin Coroutines
N. Koval, D.-A. Alistarh, R. Elizarov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 107–118.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 |Published| Conference Poster | IST-REx-ID: 12736 | OA
Unexpected scaling in path copying trees
V. Aksenov, T.A. Brown, A. Fedorov, I. Kokorin, Unexpected Scaling in Path Copying Trees, Association for Computing Machinery, 2023.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Conference Paper | IST-REx-ID: 12760 | OA
Dynamic maintenance of monotone dynamic programs and applications
M.H. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 40th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version] View | Files available | DOI | arXiv
 

2023 |Published| Thesis | IST-REx-ID: 12716 | OA
To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism
L. Burnett, To Flee, or Not to Flee? Using Innate Defensive Behaviours to Investigate Rapid Perceptual Decision-Making through Subcortical Circuits in Mouse Models of Autism, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 |Published| Conference Paper | IST-REx-ID: 12854 | OA
Bubaak: Runtime monitoring of program verifiers
M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 535–540.
[Published Version] View | Files available | DOI
 

2023 |Submitted| Preprint | IST-REx-ID: 12846 | OA
Area formula for spherical polygons via prequantization
A. Chern, S. Ishida, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 |Published| Conference Paper | IST-REx-ID: 12856 | OA
Vamos: Middleware for best-effort third-party monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2023, pp. 260–281.
[Published Version] View | Files available | DOI
 

2023 |Published| Technical Report | IST-REx-ID: 12407 | OA
VAMOS: Middleware for Best-Effort Third-Party Monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 |Published| Journal Article | IST-REx-ID: 12668 | OA
Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat
L. Zhao, Y. Yang, J. Chen, X. Lin, H. Zhang, H. Wang, H. Wang, X. Bie, J. Jiang, X. Feng, X. Fu, X. Zhang, Z. Du, J. Xiao, Genome Biology 24 (2023).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 |Published| Journal Article | IST-REx-ID: 12920 | OA
Programmable photocatalytic activity of multicomponent covalent organic frameworks used as metallaphotocatalysts
M. Traxler, S. Reischauer, S. Vogl, J. Roeser, J. Rabeah, C. Penschke, P. Saalfrank, B. Pieber, A. Thomas, Chemistry – A European Journal 29 (2023).
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Journal Article | IST-REx-ID: 12921 | OA
In situ reaction monitoring in photocatalytic organic synthesis
A. Madani, B. Pieber, ChemCatChem 15 (2023).
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications