Intensification mechanisms of tropical cyclones
A. Polesello, C.J. Muller, C. Pasquero, A.N. Meroni, in:, EGU General Assembly 2023, European Geosciences Union, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14863
DOI: 10.5194/egusphere-egu23-6157

PCBend: Light up your 3D shapes with foldable circuit boards
M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, S. Lefebvre, Transactions on Graphics 42 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13049
DOI: 10.1145/3592411
WoS: 001044671300108

Distinct functions of TI and AF receptors in auxin signalling.
H. Chen, L. Li, M. Zou, L. Qi, J. Friml, Molecular Plant 16 (2023) 1117–1119.
LibreCat: https://research-explorer.ista.ac.at/record/13212
DOI: 10.1016/j.molp.2023.06.007
WoS: 001044410900001
PMID: 37393433

douglastome/dynamic-engrams: Dynamic and selective engrams emerge with memory consolidation
D. Feitosa Tomé, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14892
DOI: 10.5281/ZENODO.10251087

Superconductivity from a melted insulator in Josephson junction arrays
S. Mukhopadhyay, J.L. Senior, J. Saez Mollejo, D. Puglia, M. Zemlicka, J.M. Fink, A.P. Higginbotham, Nature Physics 19 (2023) 1630–1635.
LibreCat: https://research-explorer.ista.ac.at/record/14032
DOI: 10.1038/s41567-023-02161-w
WoS: 001054563800006

Tale of cAMP as a second messenger in auxin signaling and beyond
L. Qi, J. Friml, New Phytologist 240 (2023) 489–495.
LibreCat: https://research-explorer.ista.ac.at/record/13266
DOI: 10.1111/nph.19123
WoS: 001026321500001
PMID: 37434303

Control of tissue dimensions in the developing neural tube and somites
T. Minchington, S. Rus, A. Kicheva, Current Opinion in Systems Biology 35 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13136
DOI: 10.1016/j.coisb.2023.100459

Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity
A. Agresti, M. Veraar, Journal of Differential Equations 368 (2023) 247–300.
LibreCat: https://research-explorer.ista.ac.at/record/13135
DOI: 10.1016/j.jde.2023.05.038
WoS: 001019018700001

Iterated medial triangle subdivision in surfaces of constant curvature
F.R. Brunck, Discrete and Computational Geometry 70 (2023) 1059–1089.
LibreCat: https://research-explorer.ista.ac.at/record/13270
DOI: 10.1007/s00454-023-00500-5
WoS: 001023742800003
arXiv: 2107.04112

Codes for the Z-channel
N. Polyanskii, Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 6340–6357.
LibreCat: https://research-explorer.ista.ac.at/record/13269
DOI: 10.1109/TIT.2023.3292219
WoS: 001069680100011
arXiv: 2105.01427

An energy decomposition theorem for matrices and related questions
A. Mohammadi, T. Pham, Y. Wang, Canadian Mathematical Bulletin 66 (2023) 1280–1295.
LibreCat: https://research-explorer.ista.ac.at/record/13128
DOI: 10.4153/S000843952300036X
WoS: 001011963000001
arXiv: 2106.07328

Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen
J. Xia, M. Kong, Z. Yang, L. Sun, Y. Peng, Y. Mao, H. Wei, W. Ying, Y. Gao, J. Friml, J. Weng, X. Liu, L. Sun, S. Tan, Plant Communications 4 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13209
DOI: 10.1016/j.xplc.2023.100632
WoS: 001113003000001
PMID: 37254481

Unconventional colloidal aggregation in chiral bacterial baths
D. Grober, I. Palaia, M.C. Ucar, E.B. Hannezo, A. Sari, J.A. Palacci, Nature Physics 19 (2023) 1680–1688.
LibreCat: https://research-explorer.ista.ac.at/record/13971
DOI: 10.1038/s41567-023-02136-x
WoS: 001037346400005

The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles
F. Cornalba, J.L. Fischer, Archive for Rational Mechanics and Analysis 247 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/10551
DOI: 10.1007/s00205-023-01903-7
WoS: 001043086800001
arXiv: 2109.06500

Into the unknown: Active monitoring of neural networks (extended version)
K. Kueffner, A. Lukina, C. Schilling, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 25 (2023) 575–592.
LibreCat: https://research-explorer.ista.ac.at/record/13234
DOI: 10.1007/s10009-023-00711-4
WoS: 001020160000001
arXiv: 2009.06429

Protein dynamics detected by magic-angle spinning relaxation dispersion NMR
F. Napoli, L.M. Becker, P. Schanda, Current Opinion in Structural Biology 82 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14036
DOI: 10.1016/j.sbi.2023.102660
WoS: 001053616200001
PMID: 37536064

A combinatorial cut-toggling algorithm for solving Laplacian linear systems
M.H. Henzinger, B. Jin, R. Peng, D.P. Williamson, Algorithmica 85 (2023) 2680–3716.
LibreCat: https://research-explorer.ista.ac.at/record/14043
DOI: 10.1007/s00453-023-01154-8
WoS: 001041254900002
arXiv: 2010.16316

Spontaneous flows and dynamics of full-integer topological defects in polar active matter
J. Rønning, J.B. Renaud, A. Doostmohammadi, L. Angheluta, Soft Matter 39 (2023) 7513–7527.
LibreCat: https://research-explorer.ista.ac.at/record/14087
DOI: 10.1039/d3sm00316g
WoS: 001035766100001
arXiv: 2303.07063

Derivations and KMS-symmetric quantum Markov semigroups
M. Vernooij, M. Wirth, Communications in Mathematical Physics 403 (2023) 381–416.
LibreCat: https://research-explorer.ista.ac.at/record/13319
DOI: 10.1007/s00220-023-04795-6
WoS: 001033655400002
arXiv: 2303.15949

Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state
F. Lombardi, H.J. Herrmann, L. Parrino, D. Plenz, S. Scarpetta, A.E. Vaudano, L. De Arcangelis, O. Shriki, Cell Reports 42 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14402
DOI: 10.1016/j.celrep.2023.113162
WoS: 001086695500001
PMID: 37777965

Genetic insights into the age-specific biological mechanisms governing human ovarian aging
S.E. Ojavee, L. Darrous, M. Patxot, K. Läll, K. Fischer, R. Mägi, Z. Kutalik, M.R. Robinson, American Journal of Human Genetics 110 (2023) 1549–1563.
LibreCat: https://research-explorer.ista.ac.at/record/14258
DOI: 10.1016/j.ajhg.2023.07.006
PMID: 37543033

Arithmetic and metric aspects of open de Rham spaces
T. Hausel, M.L. Wong, D. Wyss, Proceedings of the London Mathematical Society 127 (2023) 958–1027.
LibreCat: https://research-explorer.ista.ac.at/record/14244
DOI: 10.1112/plms.12555
WoS: 001049312700001
arXiv: 1807.04057

Stretching the limits of extracellular signal-related kinase (ERK) signaling — Cell mechanosensing to ERK activation
T. Hirashima, N. Hino, K. Aoki, M. Matsuda, Current Opinion in Cell Biology 84 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14080
DOI: 10.1016/j.ceb.2023.102217
WoS: 001054692200001
PMID: 37574635

Successive vertex orderings of fully regular graphs
L. Fang, H. Huang, J. Pach, G. Tardos, J. Zuo, Journal of Combinatorial Theory. Series A 199 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13165
DOI: 10.1016/j.jcta.2023.105776
arXiv: 2206.13592

Formal radical deoxyfluorination of oxalate-activated alcohols triggered by the selectfluor-DMAP charge-transfer complex
H. Baunis, B. Pieber, European Journal of Organic Chemistry 26 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14409
DOI: 10.1002/ejoc.202300769
WoS: 001072666500001

A simple approach to Lieb-Thirring type inequalities
R. Seiringer, J.P. Solovej, Journal of Functional Analysis 285 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14254
DOI: 10.1016/j.jfa.2023.110129
WoS: 001071552300001
arXiv: 2303.04504

Polycrystalline phases grown in-situ engendering unique mechanism of charge storage in polyaniline-graphite composite
N. Mahato, S. Singh, M. Faisal, T.V.M. Sreekanth, S. Majumder, K. Yoo, J. Kim, Synthetic Metals 299 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14379
DOI: 10.1016/j.synthmet.2023.117463
WoS: 001083568900001

Weakly weighted generalised quasi-metric spaces and semilattices
I. Castellano, A. Giordano Bruno, N. Zava, Theoretical Computer Science 977 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14362
DOI: 10.1016/j.tcs.2023.114129
WoS: 001076934000001
arXiv: 2212.08424

BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps
M.E. Maes, R.J. Donahue, C.L. Schlamp, O.J. Marola, R.T. Libby, R.W. Nickells, Molecular Neurodegeneration 18 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14401
DOI: 10.1186/s13024-023-00659-8
WoS: 001071403800001
PMID: 37292963

Microwave-optics entanglement via cavity optomagnomechanics
Z.Y. Fan, L. Qiu, S. Gröblacher, J. Li, Laser and Photonics Reviews 17 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14489
DOI: 10.1002/lpor.202200866
arXiv: 2208.10703

Spinal cords: Symphonies of interneurons across species
A.C. Wilson, L.B. Sweeney, Frontiers in Neural Circuits 17 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13097
DOI: 10.3389/fncir.2023.1146449
WoS: 000984606200001
PMID: 37180760

Evaluating memory properties in convection schemes using idealised tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S. Sherwood, in:, EGU General Assembly 2023, European Geosciences Union, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14865
DOI: 10.5194/egusphere-egu23-4968

Extreme precipitation in tropical squall lines
S. Abramian, C.J. Muller, C. Risi, in:, EGU General Assembly 2023, European Geosciences Union, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14866
DOI: 10.5194/egusphere-egu23-15870

Fast symbolic algorithms for mega-regular games under strong transition fairness
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, TheoretiCS 2 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14920
DOI: 10.46298/theoretics.23.4
arXiv: 2202.07480

Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels
S. Bombari, S. Kiyani, M. Mondelli, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 2738–2776.
LibreCat: https://research-explorer.ista.ac.at/record/12859
arXiv: 2302.01629

Deep neural collapse is provably optimal for the deep unconstrained features model
P. Súkeník, M. Mondelli, C. Lampert, in:, 37th Annual Conference on Neural Information Processing Systems, n.d.
LibreCat: https://research-explorer.ista.ac.at/record/14921
arXiv: 2305.13165

Mean-field analysis for heavy ball methods: Dropout-stability, connectivity, and global convergence
D. Wu, V. Kungurtsev, M. Mondelli, in:, Transactions on Machine Learning Research, ML Research Press, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14924
arXiv: 2210.06819

Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer
T. Shaw, P. Buri, M. McCarthy, E. Miles, F. Pellicciotti, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14919
DOI: 10.5281/ZENODO.8277285

The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival
L. Knaus, The Metabolism of the Developing Brainf: How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13107
DOI: 10.15479/at:ista:13107

Large neutral amino acid levels tune perinatal neuronal excitability and survival
L. Knaus, B. Basilico, D. Malzl, M. Gerykova Bujalkova, M. Smogavec, L.A. Schwarz, S. Gorkiewicz, N. Amberg, F. Pauler, C. Knittl-Frank, M. Tassinari, N. Maulide, T. Rülicke, J. Menche, S. Hippenmeyer, G. Novarino, Cell 186 (2023) 1950–1967.e25.
LibreCat: https://research-explorer.ista.ac.at/record/12802
DOI: 10.1016/j.cell.2023.02.037
WoS: 000991468700001

Radio frequency driven superconducting diode and parity conserving  Cooper pair transport in a two-dimensional germanium hole gas
M. Valentini, O. Sagi, L. Baghumyan, T. de Gijsel, J. Jung, S. Calcaterra, A. Ballabio, J.A. Servin, K. Aggarwal, M. Janik, T. Adletzberger, R.S. Souto, M. Leijnse, J. Danon, C. Schrade, E. Bakkers, D. Chrastina, G. Isella, G. Katsaros, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/13312
DOI: 10.48550/arXiv.2306.07109
arXiv: 2306.07109

Image retrieval outperforms diffusion models on data augmentation
M. Burg, F. Wenzel, D. Zietlow, M. Horn, O. Makansi, F. Locatello, C. Russell, Journal of Machine Learning Research (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14949

Multi-view causal representation learning with partial observability
D. Yao, D. Xu, S. Lachapelle, S. Magliacane, P. Taslakian, G. Martius, J. von Kügelgen, F. Locatello, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/14946
DOI: 10.48550/arXiv.2311.04056
arXiv: 2311.04056

Latent space translation via semantic alignment
V. Maiorca, L. Moschella, A. Norelli, M. Fumero, F. Locatello, E. Rodolà, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/14952
DOI: 10.48550/arXiv.2311.00664
arXiv: 2311.00664

Grounded object centric learning
A. Kori, F. Locatello, F.D.S. Ribeiro, F. Toni, B. Glocker, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/14948
DOI: 10.48550/arXiv.2307.09437
arXiv: 2307.09437

Sample complexity bounds for score-matching: Causal discovery and generative modeling
Z. Zhu, F. Locatello, V. Cevher, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/14953
DOI: 10.48550/arXiv.2310.18123
arXiv: 2310.18123

Assumption violations in causal discovery and the robustness of score matching
F. Montagna, A.A. Mastakouri, E. Eulig, N. Noceti, L. Rosasco, D. Janzing, B. Aragam, F. Locatello, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/14954
DOI: 10.48550/arXiv.2310.13387
arXiv: 2310.13387

Leveraging sparse and shared feature activations for disentangled representation learning
M. Fumero, F. Wenzel, L. Zancato, A. Achille, E. Rodolà, S. Soatto, B. Schölkopf, F. Locatello, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/14210
DOI: 10.48550/arXiv.2304.07939
arXiv: 2304.07939

Rotating features for object discovery
S. Löwe, P. Lippe, F. Locatello, M. Welling, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/14207
DOI: 10.48550/arXiv.2306.00600
arXiv: 2306.00600

Object-centric multiple object tracking
Z. Zhao, J. Wang, M. Horn, Y. Ding, T. He, Z. Bai, D. Zietlow, C.-J.S.-G. Carl-Johann Simon-Gabriel, B. Shuai, Z. Tu, T. Brox, B. Schiele, Y. Fu, F. Locatello, Z. Zhang, T. Xiao, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/14963
DOI: 10.48550/arXiv.2309.00233
arXiv: 2309.00233

Shortcuts for causal discovery of nonlinear models by score matching
F. Montagna, N. Noceti, L. Rosasco, F. Locatello, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/14961
DOI: 10.48550/arXiv.2310.14246
arXiv: 2310.14246

Unsupervised open-vocabulary object localization in videos
K. Fan, Z. Bai, T. Xiao, D. Zietlow, M. Horn, Z. Zhao, C.-J.S.-G. Carl-Johann Simon-Gabriel, M.Z. Shou, F. Locatello, B. Schiele, T. Brox, Z. Zhang, Y. Fu, T. He, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/14962
DOI: 10.48550/arXiv.2309.09858
arXiv: 2309.09858

A sparsity principle for partially observable causal representation learning
D. Xu, D. Yao, S. Lachapelle, P. Taslakian, J. von Kügelgen, F. Locatello, S. Magliacane, in:, Causal Representation Learning Workshop at NeurIPS 2023, OpenReview, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14958

Mismatched estimation of non-symmetric rank-one matrices corrupted by structured noise
T. Fu, Y. Liu, J. Barbier, M. Mondelli, S. Liang, T. Hou, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, n.d.
LibreCat: https://research-explorer.ista.ac.at/record/14923
DOI: 10.1109/isit54713.2023.10206671
arXiv: 2302.03306

Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows
E. Marensi, G. Yalniz, B. Hof, Journal of Fluid Mechanics 974 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14466
DOI: 10.1017/jfm.2023.780
WoS: 001088363700001
arXiv: 2212.12406

To DISP or not? The farreaching reaction mechanisms underpinning Lithiumair batteries
R.B. Jethwa, S. Mondal, B. Pant, S.A. Freunberger, Angewandte Chemie International Edition (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14687
DOI: 10.1002/anie.202316476

Lattice expansion enables interstitial doping to achieve a high average ZT in ntype PbS
Z. Liu, T. Hong, L. Xu, S. Wang, X. Gao, C. Chang, X. Ding, Y. Xiao, L. Zhao, Interdisciplinary Materials 2 (2023) 161–170.
LibreCat: https://research-explorer.ista.ac.at/record/14985
DOI: 10.1002/idm2.12056

Parakeet: Practical key transparency for end-to-end eEncrypted messaging
H. Malvai, E. Kokoris Kogias, A. Sonnino, E. Ghosh, E. Oztürk, K. Lewi, S. Lawlor, in:, Proceedings of the 2023 Network and Distributed System Security Symposium, Internet Society, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14989
DOI: 10.14722/ndss.2023.24545

Phenotype control of partially specified boolean networks
N. Benes, L. Brim, S. Pastva, D. Safránek, E. Smijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.
LibreCat: https://research-explorer.ista.ac.at/record/14411
DOI: 10.1007/978-3-031-42697-1_2

Universal Functionals in Density Functional Theory
M. Lewin, E.H. Lieb, R. Seiringer, in:, E. Cances, G. Friesecke (Eds.), Density Functional Theory, 1st ed., Springer, 2023, pp. 115–182.
LibreCat: https://research-explorer.ista.ac.at/record/14992
DOI: 10.1007/978-3-031-22340-2_3
arXiv: 1912.10424

The rigid core and flexible surface of amyloid fibrils probed by MagicAngle Spinning NMR of aromatic residues
L.M. Becker, M. Berbon, A. Vallet, A. Grelard, E. Morvan, B. Bardiaux, R. Lichtenecker, M. Ernst, A. Loquet, P. Schanda, Angewandte Chemie International Edition 62 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12675
DOI: 10.1002/anie.202219314
WoS: 000956919900001
PMID: 36738230

Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues
L.M. Becker, P. Schanda, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12497
DOI: 10.15479/AT:ISTA:12497

Research data for the publication "Imaging brain tissue architecture across millimeter to nanometer scales"
J.G. Danzl, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13126
DOI: 10.15479/AT:ISTA:13126

Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13116
DOI: 10.15479/AT:ISTA:13116

Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023) 1916–1926.
LibreCat: https://research-explorer.ista.ac.at/record/13314
DOI: 10.1038/s41567-023-02218-w
PMID: 38075437

Imaging brain tissue architecture across millimeter to nanometer scales
J.M. Michalska, J. Lyudchik, P. Velicky, H. Korinkova, J. Watson, A. Cenameri, C.M. Sommer, N. Amberg, A. Venturino, K. Roessler, T. Czech, R. Höftberger, S. Siegert, G. Novarino, P.M. Jonas, J.G. Danzl, Nature Biotechnology (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14257
DOI: 10.1038/s41587-023-01911-8
WoS: 001065254200001

Spatiotemporal signaling during assembly of the bacterial divisome
P. Radler, Spatiotemporal Signaling during Assembly of the Bacterial Divisome, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14280
DOI: 10.15479/at:ista:14280

Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium
M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevicesf: From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13286
DOI: 10.15479/at:ista:13286

aggregation_data
S. Curk, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/15027

A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
LibreCat: https://research-explorer.ista.ac.at/record/14758
DOI: 10.1007/978-3-031-37709-9_1

Assessing memory in convection schemes using idealized tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, Journal of Advances in Modeling Earth Systems 15 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14654
DOI: 10.1029/2023MS003726

Correct approximation of stationary distributions
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.
LibreCat: https://research-explorer.ista.ac.at/record/13139
DOI: 10.1007/978-3-031-30823-9_25
arXiv: 2301.08137

Data-assessing memory in convection schemes using idealized tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14991
DOI: 10.5281/ZENODO.7757041

Artefact for: Correct Approximation of Stationary Distributions
T. Meggendorfer, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14990
DOI: 10.5281/ZENODO.7548214

Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.
LibreCat: https://research-explorer.ista.ac.at/record/14260
DOI: 10.1007/978-3-031-37706-8_8

Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14995
DOI: 10.5281/ZENODO.7877757

A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14994
DOI: 10.5281/ZENODO.7877790

Compositional policy learning in stochastic control systems with formal guarantees
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/15023
arXiv: 2312.01456

A framework for grassroots research collaboration in machine learning and global health
C. Currin, M.N. Asiedu , C. Fourie, B. Rosman, H. Turki, A. Lambebo Tonja, J. Abbott, M. Ajala, S.A. Adedayo, C.C. Emezue, D. Machangara, in:, 1st Workshop on Machine Learning &; Global Health, OpenReview, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14993

Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, in:, 23nd International Conference on Runtime Verification, Springer Nature, 2023, pp. 168–190.
LibreCat: https://research-explorer.ista.ac.at/record/14076
DOI: 10.1007/978-3-031-44267-4_9

QuePaxa: Escaping the tyranny of timeouts in consensus
P. Tennage, C. Basescu, E. Kokoris Kogias, E. Syta, P. Jovanovic, V. Estrada-Galinanes, B. Ford, in:, Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–297.
LibreCat: https://research-explorer.ista.ac.at/record/14743
DOI: 10.1145/3600006.3613150

Unified treatment of contact, friction and shock-propagation in rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Association for Computing Machinery, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14748
DOI: 10.1145/3606037.3606836

Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/15035
DOI: 10.5281/ZENODO.8191723

Individual and social immunity against viral infections in ants
A. Franschitz, Individual and Social Immunity against Viral Infections in Ants, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/13984
DOI: 10.15479/at:ista:13984

1-Lipschitz neural networks are more expressive with N-activations
B. Prach, C. Lampert, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/15039
DOI: 10.48550/ARXIV.2311.06103
arXiv: 2311.06103

Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails
S. Stankowski, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14812
DOI: 10.5281/ZENODO.8318995

Nitrate, auxin and cytokinin - a trio to tango
R. Abualia, S. Riegler, E. Benková, Cells 12 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13214
DOI: 10.3390/cells12121613
WoS: 001017033600001
PMID: 37371083

Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord
K. Kuzmicz-Kowalska, Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14323
DOI: 10.15479/at:ista:14323

Causality in the time of LLMs: Round table discussion results of CLeaR 2023
C. Zhang, D. Janzing, M. van der Schaar, F. Locatello, P. Spirtes, K. Zhang, B. Schölkopf, C. Uhler, in:, 2nd Conference on Causal Learning and Reasoning, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14974

Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals
R. Shigemoto, (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13173
DOI: 10.15479/AT:ISTA:13173

Multiplicative auction algorithm for approximate maximum weight bipartite matching
D.W. Zheng, M.H. Henzinger, in:, International Conference on Integer Programming and Combinatorial Optimization, Springer Nature, 2023, pp. 453–465.
LibreCat: https://research-explorer.ista.ac.at/record/13236
DOI: 10.1007/978-3-031-32726-1_32
arXiv: 2301.09217

Geometric characterization of the persistence of 1D maps
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Journal of Applied and Computational Topology (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13182
DOI: 10.1007/s41468-023-00126-9

Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes
S. Mondal, R.B. Jethwa, B. Pant, R. Hauschild, S.A. Freunberger, Faraday Discussions (2023).
LibreCat: https://research-explorer.ista.ac.at/record/13044
DOI: 10.1039/d3fd00088e
WoS: 001070423500001

Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences
A. Marveggio, Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14587
DOI: 10.15479/at:ista:14587

Concentration without independence via information measures
A.R. Esposito, M. Mondelli, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 400–405.
LibreCat: https://research-explorer.ista.ac.at/record/14922
DOI: 10.1109/isit54713.2023.10206899
arXiv: 2303.07245

Enumerating matroids and linear spaces
M.A. Kwan, A. Sah, M. Sawhney, Comptes Rendus Mathematique 361 (2023) 565–575.
LibreCat: https://research-explorer.ista.ac.at/record/15173
DOI: 10.5802/crmath.423
arXiv: 2112.03788

Maximal Lp-regularity and He-calculus for block operator matrices and applications
A. Agresti, A. Hussein, Journal of Functional Analysis 285 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14772
DOI: 10.1016/j.jfa.2023.110146
WoS: 001081809000001
arXiv: 2108.01962

Mesoscopic eigenvalue statistics for Wigner-type matrices
V. Riabov, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/15128
DOI: 10.48550/arXiv.2301.01712
arXiv: 2301.01712

Genetic load, eco-evolutionary feedback and extinction in a metapopulation
O.O. Olusanya, K. Khudiakova, H. Sachdeva, BioRxiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/14732
DOI: 10.1101/2023.12.02.569702

Provably-efficient and internally-deterministic parallel Union-Find
A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271.
LibreCat: https://research-explorer.ista.ac.at/record/13262
DOI: 10.1145/3558481.3591082
arXiv: 2304.09331