A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy
J.M. Michalska, A Versatile Toolbox for the Comprehensive Analysis of Nervous Tissue Organization with Light Microscopy, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12470
DOI: 10.15479/at:ista:12470

Existence and density problems in Diophantine geometry: From norm forms to Campana points
A.L. Shute, Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/12072
DOI: 10.15479/at:ista:12072

Algorithms and hardness results for computing cores of Markov chains
A. Ahmadi, K. Chatterjee, A.K. Goharshady, T. Meggendorfer, R. Safavi Hemami, D. Zikelic, in:, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/12102
DOI: 10.4230/LIPIcs.FSTTCS.2022.29

Tangible topology through the lens of limits
B.A. Shipman, E.R. Stephenson, PRIMUS 32 (2022) 593–609.
LibreCat: https://research-explorer.ista.ac.at/record/12307
DOI: 10.1080/10511970.2021.1872750

Repeated prophet inequality with near-optimal bounds
K. Chatterjee, M. Mohammadi, R.J. Saona Urmeneta, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/12677
DOI: 10.48550/ARXIV.2209.14368
arXiv: 2209.14368

Towards differential relational privacy and its use in question answering
S. Bombari, A. Achille, Z. Wang, Y.-X. Wang, Y. Xie, K.Y. Singh, S. Appalaraju, V. Mahadevan, S. Soatto, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/12860
DOI: 10.48550/arXiv.2203.16701
arXiv: 2203.16701

Almost-orthogonal layers for efficient general-purpose Lipschitz networks
B. Prach, C. Lampert, in:, Computer Vision – ECCV 2022, Springer Nature, 2022, pp. 350–365.
LibreCat: https://research-explorer.ista.ac.at/record/11839
DOI: 10.1007/978-3-031-19803-8_21
arXiv: 2208.03160

High-dimensional expansion and crossing numbers of simplicial complexes
P. Wild, High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes, Institute of Science and Technology, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11777
DOI: 10.15479/at:ista:11777

Genetic basis of flower colour as a model for adaptive evolution
L. Matejovicova, Genetic Basis of Flower Colour as a Model for Adaptive Evolution, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11128
DOI: 10.15479/at:ista:11128

Adiabatic theorem in the thermodynamic limit: Systems with a uniform gap
S.J. Henheik, S. Teufel, Journal of Mathematical Physics 63 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/10600
DOI: 10.1063/5.0051632
WoS: 000739446000009
arXiv: 2012.15238

Local stability of ground states in locally gapped and weakly interacting quantum spin systems
S.J. Henheik, S. Teufel, T. Wessel, Letters in Mathematical Physics 112 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/10642
DOI: 10.1007/s11005-021-01494-y
WoS: 000744930400001
arXiv: 2106.13780

Adiabatic theorem in the thermodynamic limit: Systems with a gap in the bulk
S.J. Henheik, S. Teufel, Forum of Mathematics, Sigma 10 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/10643
DOI: 10.1017/fms.2021.80
WoS: 000743615000001
arXiv: 2012.15239

The BCS critical temperature at high density
S.J. Henheik, Mathematical Physics, Analysis and Geometry 25 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/10623
DOI: 10.1007/s11040-021-09415-0
WoS: 000741387600001
arXiv: 2106.02015

Dynamics of hole singlet-triplet qubits with large g-factor differences
D. Jirovec, P.M. Mutter, A.C. Hofmann, A. Crippa, M. Rychetsky, D.L. Craig, J. Kukucka, F. Martins, A. Ballabio, N. Ares, D. Chrastina, G. Isella, G. Burkard, G. Katsaros, Physical Review Letters 128 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/10920
DOI: 10.1103/PhysRevLett.128.126803
WoS: 000786542500004
arXiv: 2111.05130

On the wavenumber-frequency spectrum of the wall pressure fluctuations in turbulent channel flow
B. Yang, Z. Yang, Journal of Fluid Mechanics 937 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/10925
DOI: 10.1017/jfm.2022.137
WoS: 000763547000001
arXiv: 2201.04702

On the operator norm of a Hermitian random matrix with correlated entries
J. Reker, Random Matrices: Theory and Applications 11 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11135
DOI: 10.1142/s2010326322500368
WoS: 000848873800001
arXiv: 2103.03906

Differential cost analysis with simultaneous potentials and anti-potentials
D. Zikelic, B.-Y.E. Chang, P. Bolignano, F. Raimondi, in:, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2022, pp. 442–457.
LibreCat: https://research-explorer.ista.ac.at/record/11459
DOI: 10.1145/3519939.3523435
WoS: 000850435600030
arXiv: 2204.00870

Heterogeneity of the GFP fitness landscape and data-driven protein design
L. Gonzalez Somermeyer, A. Fleiss, A.S. Mishin, N.G. Bozhanova, A.A. Igolkina, J. Meiler, M.-E. Alaball Pujol, E.V. Putintseva, K.S. Sarkisyan, F. Kondrashov, ELife 11 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11448
DOI: 10.7554/elife.75842
WoS: 000799197200001

Relation between the number of peaks and the number of reciprocal sign epistatic interactions
R.J. Saona Urmeneta, F. Kondrashov, K. Khudiakova, Bulletin of Mathematical Biology 84 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11447
DOI: 10.1007/s11538-022-01029-z
WoS: 000812509800001

Laser frequency-offset locking at 10-Hz-level instability using hybrid electronic filters
V. Li, F.R. Diorico, O. Hosten, Physical Review Applied 17 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11438
DOI: 10.1103/physrevapplied.17.054031
WoS: 000880670300001
arXiv: 2111.13194

CoCoA: Concurrent continuous group key agreement
J. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, in:, Advances in Cryptology – EUROCRYPT 2022, Springer Nature, Cham, 2022, pp. 815–844.
LibreCat: https://research-explorer.ista.ac.at/record/11476
DOI: 10.1007/978-3-031-07085-3_28
WoS: 000832305300028

Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics
A. Kalinov, A.I. Osinskiy, S.A. Matveev, W. Otieno, N.V. Brilliantov, Journal of Computational Physics 467 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11556
DOI: 10.1016/j.jcp.2022.111439
WoS: 000917225500013
arXiv: 2103.09481

RAL peptide triggers biphasic root growth inhibition upstream of auxin biosynthesis
L. Li, H. Chen, S.S. Alotaibi, A. Pbndík, M. Adamowski, O. Novák, J. Friml, Proceedings of the National Academy of Sciences 119 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11723
DOI: 10.1073/pnas.2121058119
WoS: 000881496900002
PMID: 35878023

Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function
R. Schulz, Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11945
DOI: 10.15479/at:ista:11945

Abstract monitors for quantitative specifications
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220.
LibreCat: https://research-explorer.ista.ac.at/record/11775
DOI: 10.1007/978-3-031-17196-3_11
WoS: 000866539700011

Translation-invariant quantum systems with effectively broken symmetry
M. Brooks, Translation-Invariant Quantum Systems with Effectively Broken Symmetry, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/12390
DOI: 10.15479/at:ista:12390

Learning verifiable representations
M. Lechner, Learning Verifiable Representations, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11362
DOI: 10.15479/at:ista:11362

Finite-memory strategies in POMDPs with long-run average objectives
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
LibreCat: https://research-explorer.ista.ac.at/record/9311
DOI: 10.1287/moor.2020.1116
WoS: 000731918100001
arXiv: 1904.13360

The BCS energy gap at high density
S.J. Henheik, A.B. Lauritsen, Journal of Statistical Physics 189 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11732
DOI: 10.1007/s10955-022-02965-9
WoS: 000833007200002

Factorization of some polynomials over finite local commutative rings and applications to certain self-dual and LCD codes
S. Köse, F. Özbudak, Cryptography and Communications 14 (2022) 933–948.
LibreCat: https://research-explorer.ista.ac.at/record/10842
DOI: 10.1007/s12095-022-00557-8
WoS: 000766422000002

Polarons in Bose gases and polar crystals: Some rigorous energy estimates
K. Mysliwy, Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11473
DOI: 10.15479/at:ista:11473

Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models
P. Brighi, M. Ljubotina, M. Serbyn, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/12750
DOI: 10.48550/arXiv.2210.15607
arXiv: 2210.15607

A homozygous ME C-terminal variant causes a lethal neurodegenerative disease
E. Cali, S.-J. Lin, C. Rocca, Y. Sahin, A. Al Shamsi, S. El Chehadeh, M. Chaabouni, K. Mankad, E. Galanaki, S. Efthymiou, S. Sudhakar, A. Athanasiou-Fragkouli, T. Celik, N. Narli, S. Bianca, D. Murphy, F.M.D.C. Moreira, A. Accogli, C. Petree, K. Huang, K. Monastiri, M. Edizadeh, R. Nardello, M. Ognibene, P. De Marco, M. Ruggieri, F. Zara, P. Striano, Y. Sahin, L. Al-Gazali, M.T.A. Warde, B. Gerard, G. Zifarelli, C. Beetz, S. Fortuna, M. Soler, E.M. Valente, G. Varshney, R. Maroofian, V. Salpietro, H. Houlden, Syn.S. Grp, Genetics in Medicine 24 (2022) 2194–2203.
LibreCat: https://research-explorer.ista.ac.at/record/14355
DOI: 10.1016/j.gim.2022.07.013

Combining of synthetic VHH and immune scFv libraries for pregnancy-associated glycoproteins ELISA development
D. Dormeshkin, M. Shapira, A. Karputs, A. Kavaleuski, I. Kuzminski, E. Stepanova, A. Gilep, Applied Microbiology and Biotechnology 106 (2022) 5093–5103.
LibreCat: https://research-explorer.ista.ac.at/record/11462
DOI: 10.1007/s00253-022-12022-w
WoS: 000813677500001
PMID: 35723693

Robustness and fairness in machine learning
N.H. Konstantinov, Robustness and Fairness in Machine Learning, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/10799
DOI: 10.15479/at:ista:10799

Two-particle bound states at interfaces and corners
B. Roos, R. Seiringer, Journal of Functional Analysis 282 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/10850
DOI: 10.1016/j.jfa.2022.109455
WoS: 000795160200009
arXiv: 2105.04874

Assessing human iPSC-derived microglia identity and function by immunostaining, phagocytosis, calcium activity, and inflammation assay
V. Hübschmann, M. Korkut, S. Siegert, STAR Protocols 3 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/12117
DOI: 10.1016/j.xpro.2022.101866

AB–TMK auxin perception for global phosphorylation and auxin canalization
J. Friml, M.C. Gallei, Z. Gelová, A.J. Johnson, E. Mazur, A. Monzer, L. Rodriguez Solovey, M. Roosjen, I. Verstraeten, B.D. divanovi, M. Zou, L. Fiedler, C. Giannini, P. Grones, M. Hrtyan, W. Kaufmann, A. Kuhn, M. Narasimhan, M. Randuch, N. Rýdza, K. Takahashi, S. Tan, A. Teplova, T. Kinoshita, D. Weijers, H. Rakusová, Nature 609 (2022) 575–581.
LibreCat: https://research-explorer.ista.ac.at/record/12291
DOI: 10.1038/s41586-022-05187-x
WoS: 000851357500002
PMID: 36071161

Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana
M.C. Gallei, Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11626
DOI: 10.15479/at:ista:11626

Measuring airborne nanoplastics using aerosol physics
A. Stöllner, Nature Reviews Earth and Environment 3 (2022) 360.
LibreCat: https://research-explorer.ista.ac.at/record/11403
DOI: 10.1038/s43017-022-00302-y
WoS: 000791125600002

In vitro reconstitution of Escherichia coli divisome activation
P. Radler, (2022).
LibreCat: https://research-explorer.ista.ac.at/record/10934
DOI: 10.15479/AT:ISTA:10934

Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses)
R. Schulz, (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11542
DOI: 10.15479/AT:ISTA:11542

Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus
P. Surendranadh, L.S. Arathoon, C. Baskett, D. Field, M. Pickup, N.H. Barton, Genetics 221 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11411
DOI: 10.1093/genetics/iyac083
WoS: 000803735800001
PMID: 35639938

Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus
P. Surendranadh, L.S. Arathoon, C. Baskett, D. Field, M. Pickup, N.H. Barton, (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11321
DOI: 10.15479/at:ista:11321

Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting
G. Sperl, Homogenizing Yarn Simulations: Large-Scale Mechanics, Small-Scale Detail, and Quantitative Fitting, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/12358
DOI: 10.15479/at:ista:12103

Analytic and machine learning approaches to composite quantum impurities
W. Rzadkowski, Analytic and Machine Learning Approaches to Composite Quantum Impurities, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/10759
DOI: 10.15479/at:ista:10759

A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, LIPIcs (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/11660

Depth in arrangements: Dehn–Sommerville–Euler relations with applications
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Leibniz International Proceedings on Mathematics (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/11658

The response of a metapopulation to a changing environment
N.H. Barton, O.O. Olusanya, Philosophical Transactions of the Royal Society B: Biological Sciences 377 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/10787
DOI: 10.1098/rstb.2021.0009
WoS: 000758140300001
PMID: 35184588

Genetic load and extinction in peripheral populations: The roles of migration, drift and demographic stochasticity
H. Sachdeva, O.O. Olusanya, N.H. Barton, Philosophical Transactions of the Royal Society B 377 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/10658
DOI: 10.1098/rstb.2021.0010
WoS: 000745854300008
PMID: 35067097

Remodeling of E-cadherin-mediated contacts via cortical  flows
F.N. Arslan, Remodeling of E-Cadherin-Mediated Contacts via Cortical  Flows, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/12368
DOI: 10.15479/at:ista:12153

Nanoarchitecture of hippocampal mossy fiber-C pyramidal neuron synapses
O. Kim, Nanoarchitecture of Hippocampal Mossy Fiber-C Pyramidal Neuron Synapses, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11196
DOI: 10.15479/at:ista:11196

Pathogen-mediated sexual selection and immunization in ant colonies
S. Metzler, Pathogen-Mediated Sexual Selection and Immunization in Ant Colonies, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/10727
DOI: 10.15479/AT:ISTA:10727

Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature
C. Artner, Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11879
DOI: 10.15479/at:ista:11879

Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus
M. Jevtic, Contextual Fear Learning Induced Changes in AMPA Receptor Subtypes along the Proximodistal Axis in Dorsal Hippocampus, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11393
DOI: 10.15479/at:ista:11393

Controllable states of superconducting Qubit ensembles
E. Redchenko, Controllable States of Superconducting Qubit Ensembles, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/12366
DOI: 10.15479/at:ista:12132

On the encoding, transfer, and consolidation of spatial memories
M. Nardin, On the Encoding, Transfer, and Consolidation of Spatial Memories, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11932
DOI: 10.15479/at:ista:11932

MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes
G. Colombo, MorphOMICs, a Tool for Mapping Microglial Morphology, Reveals Brain Region- and Sex-Dependent Phenotypes, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/12378
DOI: 10.15479/at:ista:12378

The genetic basis of complex traits studied via analysis of evolve and resequence experiments
S. Belohlavy, The Genetic Basis of Complex Traits Studied via Analysis of Evolve and Resequence Experiments, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11388
DOI: 10.15479/at:ista:11388

Role of microenvironment heterogeneity in cancer cell invasion
S. Tasciyan, Role of Microenvironment Heterogeneity in Cancer Cell Invasion, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/12401
DOI: 10.15479/at:ista:12401

Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells
S. Wachner, Transcriptional Regulation by Dfos and BMP-Signaling Support Tissue Invasion of Drosophila Immune Cells, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11193
DOI: 10.15479/at:ista:11193

Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder
C. Dotter, Transcriptional Consequences of Mutations in Genes Associated with Autism Spectrum Disorder, Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/12364
DOI: 10.15479/at:ista:12094

Data from Elkrewi, Khauratovich, Toups et al. 2022, "ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp"
M.N. Elkrewi, (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11653
DOI: 10.15479/AT:ISTA:11653

The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus
M. Nardin, K. Käfer, J.L. Csicsvari, BioRxiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/10080
DOI: 10.1101/2021.09.30.462269

Nonlinear computations in spiking neural networks through multiplicative synapses
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, Peer Community Journal 1 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/10635
DOI: 10.24072/pcjournal.69
arXiv: 2009.03857

On the verification of neural ODEs with stochastic guarantees
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
LibreCat: https://research-explorer.ista.ac.at/record/10669
arXiv: 2012.08863

Liquid time-constant networks
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
LibreCat: https://research-explorer.ista.ac.at/record/10671
arXiv: 2006.04439

On-off center-surround receptive fields for accurate and robust image classification
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.
LibreCat: https://research-explorer.ista.ac.at/record/10668

Causal navigation by continuous-time neural networks
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10670
arXiv: 2106.08314

Infinite-duration all-pay bidding games
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
LibreCat: https://research-explorer.ista.ac.at/record/10694
DOI: 10.1137/1.9781611976465.38
arXiv: 2005.06636

The evolution of strategic ignorance in strategic interaction
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
LibreCat: https://research-explorer.ista.ac.at/record/9403

Massively winning configurations in the convex grabbing game on the plane
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, n.d.
LibreCat: https://research-explorer.ista.ac.at/record/9592
arXiv: 2106.11247

Inverse-Sybil attacks in automated contact tracing
B. Auerbach, S. Chakraborty, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, M.X. Yeo, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 399–421.
LibreCat: https://research-explorer.ista.ac.at/record/9826
DOI: 10.1007/978-3-030-75539-3_17

AC/DC: Alternating Compressed/DeCompressed training of deep neural networks
E.-A. Peste, E.B. Iofinova, A. Vladu, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 8557–8570.
LibreCat: https://research-explorer.ista.ac.at/record/11458
arXiv: 2106.12379

Scalable verification of quantized neural networks
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
LibreCat: https://research-explorer.ista.ac.at/record/10665
arXiv: 2012.08185

Infinite time horizon safety of Bayesian neural networks
M. Lechner, Ð. dikeli, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10667
DOI: 10.48550/arXiv.2111.03165
arXiv: 2111.03165

Identification of neural oscillations and epileptiform changes in human brain organoids
R.A. Samarasinghe, O. Miranda, J.E. Buth, S. Mitchell, I. Ferando, M. Watanabe, A. Kurdian, P. Golshani, K. Plath, W.E. Lowry, J.M. Parent, I. Mody, B.G. Novitch, Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids, Springer Nature, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/6995
DOI: 10.1038/s41593-021-00906-5
WoS: 000687516300001
PMID: 34426698 

Two linked loci under mutation-selection balance and Muller’s ratchet
K. Khudiakova, T.Y. Neretina, A.S. Kondrashov, Journal of Theoretical Biology 524 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9387
DOI: 10.1016/j.jtbi.2021.110729
WoS: 000659161500002

Quantitative and approximate monitoring
T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/9356
DOI: 10.1109/LICS52264.2021.9470547
WoS: 000947350400021
arXiv: 2105.08353

Coarse graining the state space of a turbulent flow using periodic orbits
G. Yalniz, B. Hof, N.B. Budanur, Physical Review Letters 126 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9558
DOI: 10.1103/PhysRevLett.126.244502
WoS: 000663310100008
arXiv: 2007.02584

Mechanics-aware deformation of yarn pattern geometry
G. Sperl, R. Narain, C. Wojtan, ACM Transactions on Graphics 40 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9818
DOI: 10.1145/3450626.3459816
WoS: 000674930900132

Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data)
G. Sperl, R. Narain, C. Wojtan, (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9327
DOI: 10.15479/AT:ISTA:9327

Floating Wigner crystal and periodic jellium configurations
A.B. Lauritsen, Journal of Mathematical Physics 62 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9891
DOI: 10.1063/5.0053494
WoS: 000683960800003
arXiv: 2103.07975

Area-law entangled eigenstates from nullspaces of local Hamiltonians
V. Karle, M. Serbyn, A. Michailidis, Physical Review Letters 127 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9903
DOI: 10.1103/physrevlett.127.060602
WoS: 000684276000002
arXiv: 2102.13633

Adversarial training is not ready for robot learning
M. Lechner, R. Hasani, R. Grosu, D. Rus, T.A. Henzinger, in:, 2021 IEEE International Conference on Robotics and Automation, 2021, pp. 4140–4147.
LibreCat: https://research-explorer.ista.ac.at/record/10666
DOI: 10.1109/ICRA48506.2021.9561036
WoS: 000765738803040
arXiv: 2103.08187

The BCS energy gap at low density
A.B. Lauritsen, Letters in Mathematical Physics 111 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9121
DOI: 10.1007/s11005-021-01358-5
WoS: 000617531900001

Multi-cover persistence and Delaunay mosaics
G.F. Osang, Multi-Cover Persistence and Delaunay Mosaics, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/9056
DOI: 10.15479/AT:ISTA:9056

Fluctuations in the spectrum of random matrices
G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/9022
DOI: 10.15479/AT:ISTA:9022

The inductive bias of ReLU networks on orthogonally separable data
M. Phuong, C. Lampert, in:, 9th International Conference on Learning Representations, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/9416

Curvature driven interface evolution: Uniqueness properties of weak solution concepts
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10007
DOI: 10.15479/at:ista:10007

The reads-from equivalence for the TSO and PSO memory models
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/10191
DOI: 10.1145/3485541
arXiv: 2011.11763

Discrete-to-continuum limits of transport problems and gradient flows in the space of measures
L. Portinale, Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10030
DOI: 10.15479/at:ista:10030

Geometric superinductors and their applications in circuit quantum electrodynamics
M. Peruzzo, Geometric Superinductors and Their Applications in Circuit Quantum Electrodynamics, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/9920
DOI: 10.15479/at:ista:9920

Towards designer materials using customizable particle shape
A. Piankov, Towards Designer Materials Using Customizable Particle Shape, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10422
DOI: 10.15479/at:ista:10422

Underspecification in deep learning
M. Phuong, Underspecification in Deep Learning, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/9418
DOI: 10.15479/AT:ISTA:9418

Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse
I. Koval, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/14278
DOI: 10.48550/ARXIV.2111.12171
arXiv: 2111.12171

Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10199
DOI: 10.15479/at:ista:10199

On the adaptive security of graph-based games
K. Klein, On the Adaptive Security of Graph-Based Games, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10035
DOI: 10.15479/at:ista:10035

On achieving scalability through relaxation
G. Nadiradze, On Achieving Scalability through Relaxation, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10429
DOI: 10.15479/at:ista:10429

Quantum annealing initialization of the quantum approximate optimization algorithm
S. Sack, M. Serbyn, Quantum 5 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9760
DOI: 10.22331/Q-2021-07-01-491
WoS: 000669830600001
arXiv: 2101.05742