Common valuations of division polynomials
B. Naskrcki, M. Verzobio, Proceedings of the Royal Society of Edinburgh Section A: Mathematics (2024).
LibreCat: https://research-explorer.ista.ac.at/record/12311
DOI: 10.1017/prm.2024.7
arXiv: 2203.02015

Diverse pathways to speciation revealed by marine snails
K. Johannesson, R. Faria, A. Le Moan, M. Rafajlovi, A.M. Westram, R.K. Butlin, S. Stankowski, Trends in Genetics (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15099
DOI: 10.1016/j.tig.2024.01.002
PMID: 38395682

Global well-posedness and interior regularity of 2D Navier-Stokes equations with stochastic boundary conditions
A. Agresti, E. Luongo, Mathematische Annalen (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15098
DOI: 10.1007/s00208-024-02812-0
arXiv: 2306.11081

Large-scale quantum approximate optimization on nonplanar graphs with machine learning noise mitigation
S. Sack, D.J. Egger, Physical Review Research 6 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15122
DOI: 10.1103/PhysRevResearch.6.013223
arXiv: 2307.14427

Proteins containing photosynthetic reaction centre domains modulate FtsZ-based archaeal cell division
P. Nußbaum, D. Kureisaite-Ciziene, D. Bellini, C. Van Der Does, M. Kojic, N. Taib, A. Yeates, M. Tourte, S. Gribaldo, M. Loose, J. Löwe, S.V. Albers, Nature Microbiology 9 (2024) 698–711.
LibreCat: https://research-explorer.ista.ac.at/record/15118
DOI: 10.1038/s41564-024-01600-5
PMID: 38443575

Stochastic maximal Lp(Lq)-regularity for second order systems with periodic boundary conditions
A. Agresti, M. Veraar, Annales de l’institut Henri Poincare Probability and Statistics 60 (2024) 413–430.
LibreCat: https://research-explorer.ista.ac.at/record/15119
DOI: 10.1214/22-AIHP1333
arXiv: 2106.01274

Frequent horizontal chromosome transfer between asexual fungal insect pathogens
M. Habig, A.V. Grasse, J. Müller, E.H. Stukenbrock, H. Leitner, S. Cremer, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/14478
DOI: 10.1073/pnas.2316284121
PMID: 38442176

Generalized minimum 0-extension problem and discrete convexity
M. Dvorak, V. Kolmogorov, Mathematical Programming (2024).
LibreCat: https://research-explorer.ista.ac.at/record/10045
DOI: 10.1007/s10107-024-02064-5
arXiv: 2109.10203

Multiplicative auction algorithm for approximate maximum weight bipartite matching
D.W. Zheng, M.H. Henzinger, Mathematical Programming (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15121
DOI: 10.1007/s10107-024-02066-3
arXiv: 2301.09217

Unravelling the reaction mechanism for  production via formic acid decomposition over Pd: Coverage-dependent microkinetic modeling
Z. Yao, X. Liu, R. Bunting, J. Wang, Chemical Engineering Science 291 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15114
DOI: 10.1016/j.ces.2024.119959

Elucidating the role of water in collagen self-assembly by isotopically modulating collagen hydration
G. Giubertoni, L. Feng, K. Klein, G. Giannetti, L. Rutten, Y. Choi, A. Van Der Net, G. Castro-Linares, F. Caporaletti, D. Micha, J. Hunger, A. Deblais, D. Bonn, N. Sommerdijk, A. Sari, I.M. Ilie, G.H. Koenderink, S. Woutersen, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15116
DOI: 10.1073/pnas.2313162121
PMID: 38451946

Structure, biophysics, and circuit function of a "giant" cortical presynaptic terminal
D.H. Vandael, P.M. Jonas, Science 383 (2024) ead57.
LibreCat: https://research-explorer.ista.ac.at/record/15117
DOI: 10.1126/science.adg6757
PMID: 38452088

Persistence and Morse theory for discrete geometric structures
S. Cultrera di Montesano, Persistence and Morse Theory for Discrete Geometric Structures, Institute of Science and Technology Austria, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15094
DOI: 10.15479/at:ista:15094

Dynamically maintaining the persistent homology of time series
S. Cultrera di Montesano, H. Edelsbrunner, M.H. Henzinger, L. Ost, in:, D.P. Woodruff (Ed.), Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Society for Industrial and Applied Mathematics, 2024, pp. 243–295.
LibreCat: https://research-explorer.ista.ac.at/record/15093
DOI: 10.1137/1.9781611977912.11
arXiv: 2311.01115

Chromatic alpha complexes
S. Cultrera di Montesano, O. Draganov, H. Edelsbrunner, M. Saghafian, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/15091
arXiv: 2212.03128

Co-dependent excitatory and inhibitory plasticity accounts for quick, stable and long-lasting memories in biological networks
E.J. Agnes, T.P. Vogels, Nature Neuroscience (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15171
DOI: 10.1038/s41593-024-01597-4

Concentration without independence via information measures
A.R. Esposito, M. Mondelli, IEEE Transactions on Information Theory (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/15172
DOI: 10.1109/TIT.2024.3367767
arXiv: 2303.07245

UNCOVER spectroscopy confirms the surprising ubiquity of active galactic nuclei in red sources at z > 5
J.E. Greene, I. Labbe, A.D. Goulding, L.J. Furtak, I. Chemerynska, V. Kokorev, P. Dayal, M. Volonteri, C.C. Williams, B. Wang, D.J. Setton, A.J. Burgasser, R. Bezanson, H. Atek, G. Brammer, S.E. Cutler, R. Feldmann, S. Fujimoto, K. Glazebrook, A. De Graaff, G. Khullar, J. Leja, D. Marchesini, M.V. Maseda, J.J. Matthee, T.B. Miller, R.P. Naidu, T. Nanayakkara, P.A. Oesch, R. Pan, C. Papovich, S.H. Price, P. Van Dokkum, J.R. Weaver, K.E. Whitaker, A. Zitrin, Astrophysical Journal 964 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15170
DOI: 10.3847/1538-4357/ad1e5f
arXiv: 2309.05714

Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs
M. Filakovský, T.V. Nakajima, J. Oprsal, G. Tasinato, U. Wagner, in:, 41st International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15168
DOI: 10.4230/LIPIcs.STACS.2024.34
arXiv: 2312.12981

kCSD-python, reliable current source density estimation with quality control
C. Chintaluri, M. Bejtka, W. Sredniawa, M. Czerwinski, J.M. Dzik, J. Jedrzejewska-Szmek, D.K. Wojciki, PLoS Computational Biology 20 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15169
DOI: 10.1371/journal.pcbi.1011941

Exploring beyond-mean-field logarithmic divergences in Fermi-polaron energy
R. Al Hyder, F. Chevy, X. Leyronas, Physical Review A 109 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15167
DOI: 10.1103/PhysRevA.109.033315
arXiv: 2311.14536

Decompositions into two linear forests of bounded lengths
R. Campbell, F. Hörsch, B. Moore, Discrete Mathematics 347 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15163
DOI: 10.1016/j.disc.2024.113962
arXiv: 2301.11615

Little Red Dots: An abundant population of faint active galactic nuclei at z c 5 revealed by the EIGER and FRESCO JWST surveys
J.J. Matthee, R.P. Naidu, G. Brammer, J. Chisholm, A.-C. Eilers, A. Goulding, J. Greene, D. Kashino, I. Labbe, S.J. Lilly, R. Mackenzie, P.A. Oesch, A. Weibel, S. Wuyts, M. Xiao, R. Bordoloi, R. Bouwens, P. van Dokkum, G. Illingworth, I. Kramarenko, M.V. Maseda, C. Mason, R.A. Meyer, E.J. Nelson, N.A. Reddy, I. Shivaei, R.A. Simcoe, M. Yue, The Astrophysical Journal 963 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15180
DOI: 10.3847/1538-4357/ad2345

A hybrid pathway for self-sustained luminescence
K.A. Palkina, T.A. Karataeva, M.M. Perfilov, L.I. Fakhranurova, N.M. Markina, L. Gonzalez Somermeyer, E. Garcia-Perez, M. Vazquez-Vilar, M. Rodriguez-Rodriguez, V. Vazquez-Vilriales, E.S. Shakhova, T. Mitiouchkina, O.A. Belozerova, S.I. Kovalchuk, A. Alekberova, A.K. Malyshevskaia, E.N. Bugaeva, E.B. Guglya, A. Balakireva, N. Sytov, A. Bezlikhotnova, D.I. Boldyreva, V.V. Babenko, F. Kondrashov, V.V. Choob, D. Orzaez, I.V. Yampolsky, A.S. Mishin, K.S. Sarkisyan, Science Advances 10 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15179
DOI: 10.1126/sciadv.adk1992

The unreasonable efficiency of total rain evaporation removal in triggering convective selfaggregation
Y.-L. Hwong, C.J. Muller, Geophysical Research Letters 51 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15186
DOI: 10.1029/2023gl106523

Synthetic dimension-induced pseudo Jahn-Teller effect in one-dimensional confined fermions
A. Becker, G. Koutentakis, P. Schmelcher, Physical Review Research 6 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15181
DOI: 10.1103/physrevresearch.6.013257
arXiv: 2310.17995

A route to high thermoelectric performance: Solutionbased control of microstructure and composition in ASe
T. Kleinhanns, F. Milillo, M. Calcabrini, C. Fiedler, S. Horta, D. Balazs, M.J. Strumolo, R. Hasler, J. Llorca, M. Tkadletz, R.L. Brutchey, M. Ibáñez, Advanced Energy Materials (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15182
DOI: 10.1002/aenm.202400408

A pre-monsoon signal of false alarms of Indian monsoon droughts
B.B. GOSWAMI, Geophysical Research Letters 51 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15165
DOI: 10.1029/2023GL106569

Electron highways are cooler
N. Jakhar, M. Ibáñez, Science 383 (2024) 1184.
LibreCat: https://research-explorer.ista.ac.at/record/15166
DOI: 10.1126/science.ado4077

Lift-out cryo-FIBSEM and cryo-ET reveal the ultrastructural landscape of extracellular matrix
B. Zens, F. Fäßler, J. Hansen, R. Hauschild, J. Datler, V.-V. Hodirnau, V. Zheden, J.H. Alanko, M.K. Sixt, F.K. Schur, Journal of Cell Biology 223 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15146
DOI: 10.1083/jcb.202309125
PMID: 38506714

Ground state energy of the dilute spin-polarized Fermi gas: Upper bound via cluster expansion
A.B. Lauritsen, R. Seiringer, Journal of Functional Analysis 286 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/14931
DOI: 10.1016/j.jfa.2024.110320
arXiv: 2301.04894

A unifying framework for differentially private sums under continual observation
M.H. Henzinger, J. Upadhyay, S. Upadhyay, in:, Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2024, pp. 995–1018.
LibreCat: https://research-explorer.ista.ac.at/record/15253
DOI: 10.1137/1.9781611977912.38
arXiv: 2307.08970

Large-scale excess H I absorption around z  4 galaxies detected in a background galaxy spectrum in the MUSE eXtremely deep field
J.J. Matthee, C. Golling, R. Mackenzie, G. Pezzulli, S. Lilly, J. Schaye, R. Bacon, H. Kusakabe, T. Urrutia, L. Boogaard, J. Brinchmann, M.V. Maseda, T. Garel, N.F. Bouché, L. Wisotzki, Monthly Notices of the Royal Astronomical Society 529 (2024) 2794–2806.
LibreCat: https://research-explorer.ista.ac.at/record/15249
DOI: 10.1093/mnras/stae673
arXiv: 2305.15346

Orphan lysosomal solute carrier MFS facilitates highly selective dipeptide transport
D. Boytsov, G.M. Madej, G. Horn, N. Blaha, T. Köcher, H.H. Sitte, D.E. Siekhaus, C. Ziegler, W. Sandtner, M. Roblek, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15250
DOI: 10.1073/pnas.2319686121
PMID: 38507452

Structure and function of the Arabidopsis ABC transporter ABC in brassinosteroid export
W. Ying, Y. Wang, H. Wei, Y. Luo, Q. Ma, H. Zhu, H. Janssens, N. Vukasinovi, M. Kvasnica, J.M. Winne, Y. Gao, S. Tan, J. Friml, X. Liu, E. Russinova, L. Sun, Science 383 (2024) eadj4591.
LibreCat: https://research-explorer.ista.ac.at/record/15251
DOI: 10.1126/science.adj4591
PMID: 38513023

Mirror symmetry for parabolic Higgs bundles via p-adic integration
S. Shen, Advances in Mathematics 443 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15248
DOI: 10.1016/j.aim.2024.109616

Odd-sunflowers
P. Frankl, J. Pach, D. Pálvölgyi, Journal of Combinatorial Theory, Series A 206 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15247
DOI: 10.1016/j.jcta.2024.105889
arXiv: 2310.16701

A characterization of maps of bounded compression
L. Dello Schiavo, Mathematical Communications 29 (2024) 137–142.
LibreCat: https://research-explorer.ista.ac.at/record/15252
arXiv: 2304.11348

Rapid translocation of NGR proteins driving polarization of PIN-activating  protein kinase during root gravitropism
I. Kulich, J. Schmid, A. Teplova, L. Qi, J. Friml, ELife 12 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15257
DOI: 10.7554/elife.91523.3

Ten simple rules for pushing boundaries of inclusion at academic events
S.M. Hall, D. Kochin, C. Carne, P. Herterich, K.L. Lewers, M. Abdelhack, A. Ramasubramanian, J.F. Michael Alphonse, V. Ung, S. El-Gebali, C. Currin, E. Plomp, R. Thompson, M. Sharan, PLOS Computational Biology 20 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15258
DOI: 10.1371/journal.pcbi.1011797
PMID: 38427633

Land surface modeling informed by earth observation data: Toward understanding blue–green–white water fluxes in High Mountain Asia
P. Buri, S. Fatichi, T. Shaw, C.L. Fyffe, E.S. Miles, M. McCarthy, M. Kneib, S. Ren, A. Jouberton, S. Fugger, L. Jia, J. Zhang, C. Shen, C. Zheng, M. Menenti, F. Pellicciotti, Geo-Spatial Information Science (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/15298
DOI: 10.1080/10095020.2024.2330546

Meta-analysis of the comparative efficacy of benzodiazepines and antidepressants for psychic versus somatic symptoms of generalized anxiety disorder
C. Beyer, C. Currin, T. Williams, D.J. Stein, Comprehensive Psychiatry 132 (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/15295
DOI: 10.1016/j.comppsych.2024.152479
PMID: 38564872

A constructive algorithm for building rectifiable curves in weakly convex sets
M. Lopushanski, G. Ivanov, in:, AIP Conference Proceedings, AIP Publishing, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15296
DOI: 10.1063/5.0195908

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).
LibreCat: https://research-explorer.ista.ac.at/record/15297
DOI: 10.1371/journal.pcbi.1012008
arXiv: 2401.14914

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, Dev Cell (2024) 34-5807(24)00177–1.
LibreCat: https://research-explorer.ista.ac.at/record/15301
DOI: 10.1016/j.devcel.2024.03.009
PMID: 38579717

Local adaptation, genetic load and extinction in metapopulations
O.O. Olusanya, Local Adaptation, Genetic Load and Extinction in Metapopulations, Institute of Science and Technology Austria, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/14711
DOI: 10.15479/at:ista:14711

Multiple charge carrier species as a possible cause for triboelectric cycles
J.C.A. Sobarzo Ponce, S.R. Waitukaitis, Physical Review E 109 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15322
DOI: 10.1103/PhysRevE.109.L032108

A note on the binding energy for Bosons in the mean-field limit
L. Bossmann, N.K. Leopold, D.J. Mitrouskas, S.P. Petrat, Journal of Statistical Physics 191 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15318
DOI: 10.1007/s10955-024-03260-5
arXiv: 2307.13115

Scaling limits of random walks, harmonic profiles, and stationary nonequilibrium states in Lipschitz domains
L. Dello Schiavo, L. Portinale, F. Sau, Annals of Applied Probability 34 (2024) 1789–1845.
LibreCat: https://research-explorer.ista.ac.at/record/15317
DOI: 10.1214/23-AAP2007
arXiv: 2112.14196

SCA drives the compositional diversity of mammalian respirasomes
I. Vercellino, L.A. Sazanov, Nature Structural and Molecular Biology (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15323
DOI: 10.1038/s41594-024-01255-0
PMID: 38575788

Interplay of EXO70 and MLO proteins modulates trichome cell wall composition and susceptibility to powdery mildew
J.W. Huebbers, G.A. Caldarescu, Z. Kubátová, P. Sabol, S.C.J. Levecque, H. Kuhn, I. Kulich, A. Reinstädler, K. Büttgen, A. Manga-Robles, H. Mélida, M. Pauly, R. Panstruga, V. dárský, Plant Cell 36 (2024) 1007–1035.
LibreCat: https://research-explorer.ista.ac.at/record/15319
DOI: 10.1093/plcell/koad319
PMID: 38124479

Tuning the Josephson diode response with an ac current
R. Seoane Souto, M. Leijnse, C. Schrade, M. Valentini, G. Katsaros, J. Danon, Physical Review Research 6 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15320
DOI: 10.1103/PhysRevResearch.6.L022002

Learning dynamical models of single and collective cell migration: a review
D. Brückner, C.P. Broedersz, Reports on Progress in Physics 87 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15315
DOI: 10.1088/1361-6633/ad36d2

Dynamics and scaling of internally cooled convection
L.N. Agasthya, C.J. Muller, Communications in Nonlinear Science and Numerical Simulation 134 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15313
DOI: 10.1016/j.cnsns.2024.108011
arXiv: 2311.04114

Polycrystalline phases engineered in-situ in polyaniline-graphene composite evoluting an exceptional stability and high charge storage capacity: An EIS investigative approach to evaluate material's stability
N. Mahato, S. Singh, T.V.M. Sreekanth, K. Yoo, J. Kim, Journal of Energy Storage 88 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/15314
DOI: 10.1016/j.est.2024.111464

Scalable enumeration of trap spaces in boolean networks via answer set programming
G. Trinh, B. Benhamou, S. Pastva, S. Soliman, in:, Proceedings of the 38th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2024, pp. 10714–10722.
LibreCat: https://research-explorer.ista.ac.at/record/15321
DOI: 10.1609/aaai.v38i9.28943

Lifelong persistence of nuclear RNAs in the mouse brain
S. Zocher, A. Mccloskey, A. Karasinsky, R. Schulte, U. Friedrich, M. Lesche, N. Rund, F.H. Gage, M. Hetzer, T. Toda, Science 384 (2024) 53–59.
LibreCat: https://research-explorer.ista.ac.at/record/15316
DOI: 10.1126/science.adf3481
PMID: 38574132

Developmental transformation of nanodomain coupling between C+ channels and release sensors at a central GABAergic synapse
J. Chen, Developmental Transformation of Nanodomain Coupling between C+ Channels and Release Sensors at a Central GABAergic Synapse, Institute of Science and Technology Austria, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15101
DOI: 10.15479/at:ista:15101

Developmental transformation of C+ channel-vesicle nanotopography at a central GABAergic synapse
J. Chen, W. Kaufmann, C. Chen,  itaru Arai, O. Kim, R. Shigemoto, P.M. Jonas, Neuron (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/14843
DOI: 10.1016/j.neuron.2023.12.002
PMID: 38215739

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.
LibreCat: https://research-explorer.ista.ac.at/record/12428
DOI: 10.1007/978-1-0716-2887-4_12
PMID: 36653709

Dissipative dynamics of an impurity with spin-orbit coupling
A. Ghazaryan, A. Cappellaro, M. Lemeshko, A. Volosniev, Physical Review Research 5 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12534
DOI: 10.1103/physrevresearch.5.013029

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.
LibreCat: https://research-explorer.ista.ac.at/record/12676
DOI: 10.1137/1.9781611977554.ch173

Molecular Cloning Using In Vivo DNA Assembly
S. Arroyo-Urea, J. Watson, J. García-Nafría, in:, G. Scarlett (Ed.), DNA Manipulation and Analysis, Springer Nature, New York, NY, United States, 2023, pp. 33–44.
LibreCat: https://research-explorer.ista.ac.at/record/12720
DOI: 10.1007/978-1-0716-3004-4_3
PMID: 36853454

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.
LibreCat: https://research-explorer.ista.ac.at/record/12735
DOI: 10.1145/3572848.3577481
arXiv: 2211.04986

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.
LibreCat: https://research-explorer.ista.ac.at/record/12736
DOI: 10.1145/3572848.3577512

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.
LibreCat: https://research-explorer.ista.ac.at/record/12760
DOI: 10.4230/LIPIcs.STACS.2023.36
arXiv: 2301.01744

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.
LibreCat: https://research-explorer.ista.ac.at/record/12716
DOI: 10.15479/at:ista:12716

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.
LibreCat: https://research-explorer.ista.ac.at/record/12854
DOI: 10.1007/978-3-031-30820-8_32

Area formula for spherical polygons via prequantization
A. Chern, S. Ishida, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/12846
DOI: 10.48550/arXiv.2303.14555
arXiv: 2303.14555

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.
LibreCat: https://research-explorer.ista.ac.at/record/12856
DOI: 10.1007/978-3-031-30826-0_15

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.
LibreCat: https://research-explorer.ista.ac.at/record/12407
DOI: 10.15479/AT:ISTA:12407

Altered childhood brain development in autism and epilepsy
C. Currin, C. Beyer, in:, B. Halpern-Felsher (Ed.), Encyclopedia of Child and Adolescent Health, 1st ed., Elsevier, 2023, pp. 86–98.
LibreCat: https://research-explorer.ista.ac.at/record/12866
DOI: 10.1016/b978-0-12-818872-9.00129-1

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).
LibreCat: https://research-explorer.ista.ac.at/record/12668
DOI: 10.1186/s13059-022-02844-2
PMID: 36639687

Hausdorff and Gromov-Hausdorff stable subsets of the medial axis
A. Lieutier, M. Wintraecken, in:, Proceedings of the 55th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2023, pp. 1768–1776.
LibreCat: https://research-explorer.ista.ac.at/record/13048
DOI: 10.1145/3564246.3585113
arXiv: 2303.04014

CrAM: A Compression-Aware Minimizer
E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , n.d.
LibreCat: https://research-explorer.ista.ac.at/record/13053
arXiv: 2207.14200

Certifying giant nonprimes
C. Hoffmann, P. Hubádek, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.
LibreCat: https://research-explorer.ista.ac.at/record/13143
DOI: 10.1007/978-3-031-31368-4_19

A learner-verifier framework for neural network controllers and certificates of stochastic systems
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
LibreCat: https://research-explorer.ista.ac.at/record/13142
DOI: 10.1007/978-3-031-30823-9_1

Computing adequately permissive assumptions for synthesis
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
LibreCat: https://research-explorer.ista.ac.at/record/13141
DOI: 10.1007/978-3-031-30820-8_15

Neural control of optic flow-based navigation in Drosophila melanogaster
V. Pokusaeva, Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12826
DOI: 10.15479/at:ista:12826

A simple algorithm for higher-order Delaunay mosaics and alpha shapes
H. Edelsbrunner, G.F. Osang, Algorithmica 85 (2023) 277–295.
LibreCat: https://research-explorer.ista.ac.at/record/12086
DOI: 10.1007/s00453-022-01027-6
WoS: 000846967100001

Ergodic decompositions of Dirichlet forms under order isomorphisms
L. Dello Schiavo, M. Wirth, Journal of Evolution Equations 23 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12104
DOI: 10.1007/s00028-022-00859-7
WoS: 000906214600004

Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend
B.B. GOSWAMI, Climate Dynamics 60 (2023) 427–442.
LibreCat: https://research-explorer.ista.ac.at/record/11434
DOI: 10.1007/s00382-022-06337-7
WoS: 000803119400002

Quantitative safety and liveness
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.
LibreCat: https://research-explorer.ista.ac.at/record/12467
DOI: 10.1007/978-3-031-30829-1_17
arXiv: 2301.11175

CQS: A formally-verified framework for fair and abortable synchronization
N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13179
DOI: 10.1145/3591230

Local solubility for a family of quadrics over a split quadric surface
T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.
LibreCat: https://research-explorer.ista.ac.at/record/13180
DOI: 10.2140/involve.2023.16.331
arXiv: 2203.06881

Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites
Y. Wei, A. Volosniev, D. Lorenc, A.A. Zhumekenov, O.M. Bakr, M. Lemeshko, Z. Alpichshev, The Journal of Physical Chemistry Letters 14 (2023) 6309–6314.
LibreCat: https://research-explorer.ista.ac.at/record/13251
DOI: 10.1021/acs.jpclett.3c01158
WoS: 001022811500001
arXiv: 2304.14198

Regular methods for operator precedence languages
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.
LibreCat: https://research-explorer.ista.ac.at/record/13292
DOI: 10.4230/LIPIcs.ICALP.2023.129
arXiv: 2305.03447

Stochastic representation of the quantum quartic oscillator
G. Tucci, S. De Nicola, S. Wald, A. Gambassi, SciPost Physics Core 6 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13277
DOI: 10.21468/scipostphyscore.6.2.029
arXiv: 2211.01923

A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D
L. Rammelmüller, D. Huber, A. Volosniev, SciPost Physics Codebases (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13276
DOI: 10.21468/scipostphyscodeb.12
arXiv: 2202.04603

Codebase release 1.0 for FermiFCI
L. Rammelmüller, D. Huber, A. Volosniev, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13275
DOI: 10.21468/scipostphyscodeb.12-r1.0

Ten years of demographic modelling of divergence and speciation in the sea
A. De Jode, A. Le Moan, K. Johannesson, R. Faria, S. Stankowski, A.M. Westram, R.K. Butlin, M. Rafajlovi, C. Fraisse, Evolutionary Applications 16 (2023) 542–559.
LibreCat: https://research-explorer.ista.ac.at/record/11479
DOI: 10.1111/eva.13428
WoS: 000815663700001

New approaches to epidemic modeling on networks
A. Gómez, G. Oliveira, Scientific Reports 13 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12329
DOI: 10.1038/s41598-022-19827-9
WoS: 001003345000051

Integral points of bounded height on a log Fano threefold
F.A. Wilsch, International Mathematics Research Notices 2023 (2023) 6780–6808.
LibreCat: https://research-explorer.ista.ac.at/record/9034
DOI: 10.1093/imrn/rnac048
WoS: 000773116000001
arXiv: 1901.08503

Antiviral immune response reveals host-specific virus infections in natural ant populations
L. Viljakainen, M. Fürst, A.V. Grasse, J. Jurvansuu, J. Oh, L. Tolonen, T. Eder, T. Rattei, S. Cremer, Frontiers in Microbiology 14 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12469
DOI: 10.3389/fmicb.2023.1119002
WoS: 000961542100001
PMID: PPR559293 

Local criteria for triangulating general manifolds
J.-D. Boissonnat, R. Dyer, A. Ghosh, M. Wintraecken, Discrete &; Computational Geometry 69 (2023) 156–191.
LibreCat: https://research-explorer.ista.ac.at/record/12287
DOI: 10.1007/s00454-022-00431-7
WoS: 000862193600001

Directed percolation and the transition to turbulence
B. Hof, Nature Reviews Physics 5 (2023) 62–72.
LibreCat: https://research-explorer.ista.ac.at/record/12165
DOI: 10.1038/s42254-022-00539-y
WoS: 000890148700002

Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM
F. Fäßler, M. Javoor, F.K. Schur, Biochemical Society Transactions 51 (2023) 87–99.
LibreCat: https://research-explorer.ista.ac.at/record/12421
DOI: 10.1042/bst20220221
WoS: 000926043100001

Symmetry-reduced dynamic mode decomposition of near-wall turbulence
E. Marensi, G. Yalniz, B. Hof, N.B. Budanur, Journal of Fluid Mechanics 954 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12105
DOI: 10.1017/jfm.2022.1001
WoS: 000903336600001
arXiv: 2101.07516

A multivariate view of the speciation continuum
D.I. Bolnick, A.K. Hund, P. Nosil, F. Peng, M. Ravinet, S. Stankowski, S. Subramanian, J.B.W. Wolf, R. Yukilevich, Evolution: International Journal of Organic Evolution 77 (2023) 318–328.
LibreCat: https://research-explorer.ista.ac.at/record/12514
DOI: 10.1093/evolut/qpac004
WoS: 001021686300024
PMID: 36622661

Visual analytics of mobility network changes observed using mobile phone data during COVID-19 pandemic
M. Forghani, C. Claramunt, F. Karimipour, G. Heiler, in:, 2022 IEEE International Conference on Data Mining Workshops, Institute of Electrical and Electronics Engineers, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12548
DOI: 10.1109/icdmw58026.2022.00093
WoS: 000971492200145