The ultramassive white dwarfs of the Alpha Persei cluster
D.R. Miller, I. Caiazzo, J. Heyl, H.B. Richer, P.-E. Tremblay, The Astrophysical Journal Letters 926 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/15213
DOI: 10.3847/2041-8213/ac50a5
arXiv: 2110.09668

Reconstructing the Pleiades with Gaia ED
J. Heyl, I. Caiazzo, H.B. Richer, The Astrophysical Journal 926 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/15214
DOI: 10.3847/1538-4357/ac45fc
arXiv: 2110.03837

SuperFi-Ca exceeds fidelity, matches speed of original Ca
J.P.K. Bravo, Genetic Engineering &; Biotechnology News 42 (2022) 12.
LibreCat: https://research-explorer.ista.ac.at/record/15144
DOI: 10.1089/gen.42.04.03

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

A universal coupling mechanism of respiratory complex I
V. Kravchuk, O. Petrova, D. Kampjut, A. Wojciechowska-Bason, Z. Breese, L.A. Sazanov, Nature 609 (2022) 808–814.
LibreCat: https://research-explorer.ista.ac.at/record/12138
DOI: 10.1038/s41586-022-05199-7
WoS: 000854788200001
PMID: 36104567

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

A tool for mapping microglial morphology, morphOMICs, reveals brain-region and sex-dependent phenotypes
G. Colombo, R.J. Cubero, L. Kanari, A. Venturino, R. Schulz, M. Scolamiero, J. Agerberg, H. Mathys, L.-H. Tsai, W. Chachólski, K. Hess, S. Siegert, Nature Neuroscience 25 (2022) 1379–1393.
LibreCat: https://research-explorer.ista.ac.at/record/12244
DOI: 10.1038/s41593-022-01167-6
WoS: 000862214700001
PMID: 36180790

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

A context-aware dimension reduction framework for trajectory and health signal analyses
S. Goudarzi, M. Sharif, F. Karimipour, Journal of Ambient Intelligence and Humanized Computing 13 (2022) 2621–2635.
LibreCat: https://research-explorer.ista.ac.at/record/10208
DOI: 10.1007/s12652-021-03569-z
WoS: 000712198000001

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

WASp triggers mechanosensitive actin patches to facilitate immune cell migration in dense tissues
F. Gaertner, P. Reis-Rodrigues, I. de Vries, M. Hons, J. Aguilera, M. Riedl, A.F. Leithner, S. Tasciyan, A. Kopf, J. Merrin, V. Zheden, W. Kaufmann, R. Hauschild, M.K. Sixt, Developmental Cell 57 (2022) 47–62.e9.
LibreCat: https://research-explorer.ista.ac.at/record/10703
DOI: 10.1016/j.devcel.2021.11.024
WoS: 000768933800005
PMID: 34919802

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

Ep/Pan1p is a master regulator of the late stages of the endocytic pathway
M. Enshoji, Y. Miyano, N. Yoshida, M. Nagano, M. Watanabe, M. Kunihiro, D.E. Siekhaus, J.Y. Toshima, J. Toshima, Journal of Cell Biology 221 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/12080
DOI: 10.1083/jcb.202112138
WoS: 000932770500001
PMID: 35984332

Fos regulates macrophage infiltration against surrounding tissue resistance by a cortical actin-based mechanism in Drosophila
V. Belyaeva, S. Wachner, A. György, S. Emtenani, I. Gridchyn, M. Akhmanova, M. Linder, M. Roblek, M. Sibilia, D.E. Siekhaus, PLoS Biology 20 (2022) e3001494.
LibreCat: https://research-explorer.ista.ac.at/record/10614
DOI: 10.1371/journal.pbio.3001494
WoS: 000971223700001
PMID: 34990456

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

CH haploinsufficiency links autism to transient alterations in excitatory and inhibitory trajectories
C.E. Villa, C. Cheroni, C. Dotter, A. López-Tóbon, B. Oliveira, R. Sacco, A.Ç. Yahya, J. Morandell, M. Gabriele, M. Tavakoli, J. Lyudchik, C.M. Sommer, M. Gabitto, J.G. Danzl, G. Testa, G. Novarino, Cell Reports 39 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11160
DOI: 10.1016/j.celrep.2022.110615
WoS: 000785983900003
PMID: 35385734

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

ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp
M.N. Elkrewi, U. Khauratovich, M.A. Toups, V.K. Bett, A. Mrnjavac, A. Macon, C. Fraisse, L. Sax, A.K. Huylmans, F. Hontoria, B. Vicoso, Genetics 222 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/12248
DOI: 10.1093/genetics/iyac123
WoS: 000850270300001
PMID: 35977389

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

Weak convergence for variational inequalities with inertial-type method
Y. Shehu, O.S. Iyiola, Applicable Analysis 101 (2022) 192–216.
LibreCat: https://research-explorer.ista.ac.at/record/7577
DOI: 10.1080/00036811.2020.1736287
WoS: 000518364100001
arXiv: 2101.08057

Saturated reconstruction of living brain tissue
P. Velicky, E. Miguel Villalba, J.M. Michalska, D. Wei, Z. Lin, J. Watson, J. Troidl, J. Beyer, Y. Ben Simon, C.M. Sommer, W. Jahr, A. Cenameri, J. Broichhagen, S.G.N. Grant, P.M. Jonas, G. Novarino, H. Pfister, B. Bickel, J.G. Danzl, BioRxiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/11943
DOI: 10.1101/2022.03.16.484431

Uncovering brain tissue architecture across scales with super-resolution light microscopy
J.M. Michalska, J. Lyudchik, P. Velicky, H. Korinkova, J. Watson, A. Cenameri, C.M. Sommer, A. Venturino, K. Roessler, T. Czech, S. Siegert, G. Novarino, P.M. Jonas, J.G. Danzl, BioRxiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/11950
DOI: 10.1101/2022.08.17.504272

Evolutionary and structural constraints influencing apolipoprotein AI amyloid behavior
R.A. Gisonno, T. Masson, N.A. Ramella, E.E. Barrera, V. Romanowski, M.A. Tricerri, Proteins: Structure, Function, and Bioinformatics 90 (2022) 258–269.
LibreCat: https://research-explorer.ista.ac.at/record/15268
DOI: 10.1002/prot.26217
PMID: 34414600

Trajectorial dissipation and gradient flow for the relative entropy in Markov chains
I. Karatzas, J. Maas, W. Schachermayer, Communications in Information and Systems 21 (2021) 481–536.
LibreCat: https://research-explorer.ista.ac.at/record/10023
DOI: 10.4310/CIS.2021.v21.n4.a1
arXiv: 2005.14177

Decomposing permutation automata
I.R. Jecker, N. Mazzocchi, P. Wolf, in:, 32nd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10052
DOI: 10.4230/LIPIcs.CONCUR.2021.18
arXiv: 2107.04683

Faster algorithms for bounded liveness in graphs and game graphs
K. Chatterjee, M.H. Henzinger, S.S. Kale, A. Svozil, in:, 48th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10054
DOI: 10.4230/LIPIcs.ICALP.2021.124

How to tutorial-a-thon
H. Adams, H. Kourimska, T. Heiss, S. Percival, L. Ziegelmeier, Notices of the American Mathematical Society 68 (2021) 1511–1514.
LibreCat: https://research-explorer.ista.ac.at/record/10071
DOI: 10.1090/noti2349

A new notion of commutativity for the algorithmic Lovász Local Lemma
D.G. Harris, F. Iliopoulos, V. Kolmogorov, in:, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10072
DOI: 10.4230/LIPIcs.APPROX/RANDOM.2021.31
arXiv: 2008.05569

A bit of nondeterminism makes pushdown automata expressive and succinct
S. Guha, I.R. Jecker, K. Lehtinen, M. Zimmermann, in:, 46th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10075
DOI: 10.4230/LIPIcs.MFCS.2021.53
arXiv: 2105.02611

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

Durotaxis of passive nanoparticles on elastic membranes
I. Palaia, A. Paraschiv, V. Debets, C. Storm, A. Sari, ACS Nano (2021).
LibreCat: https://research-explorer.ista.ac.at/record/10124
DOI: 10.1021/acsnano.1c02777 
PMID: 34550677 

Physical mechanisms of ESCRT-III-driven cell division in archaea
L. Harker-Kirschneck, A.E. Hafner, T. Yao, A. Pulschen, F. Hurtig, C. Vanhille-Campos, D. Hryniuk, S. Culley, R. Henriques, B. Baum, A. Sari, BioRxiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/10125
DOI: 10.1101/2021.03.23.436559

Acute and chronic effects of a light-activated FGF receptor in keratinocytes in vitro and in mice
T. Rauschendorfer, S. Gurri, I. Heggli, L. Maddaluno, M. Meyer, Á. Inglés Prieto, H.L. Janovjak, S. Werner, Life Science Alliance 4 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/10144
DOI: 10.26508/lsa.202101100
PMID: 34548382

Transitioning from structural to nominal code with efficient gradual typing
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/10153
DOI: 10.1145/3485504

Capturing tactile properties of real surfaces for haptic reproduction
D. Degraen, M. Piovarci, B. Bickel, A. Kruger, in:, 34th Annual ACM Symposium, Association for Computing Machinery, 2021, pp. 954–971.
LibreCat: https://research-explorer.ista.ac.at/record/10148
DOI: 10.1145/3472749.3474798

Quantitative nonlinear homogenization: control of oscillations
N. Clozeau, A. Gloria, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/10174
arXiv: 2104.04263

Sparsity in deep learning: Pruning and growth for efficient inference and training in neural networks
T. Hoefler, D.-A. Alistarh, T. Ben-Nun, N. Dryden, E.-A. Peste, Journal of Machine Learning Research 22 (2021) 1–124.
LibreCat: https://research-explorer.ista.ac.at/record/10180
arXiv: 2102.00554

Brief announcement: Fast graphical population protocols
D.-A. Alistarh, R. Gelashvili, J. Rybicki, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10218
DOI: 10.4230/LIPIcs.DISC.2021.43
arXiv: 2102.08808

Lower bounds for shared-memory leader election under bounded write contention
D.-A. Alistarh, R. Gelashvili, G. Nadiradze, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10217
DOI: 10.4230/LIPIcs.DISC.2021.4

Brief announcement: Non-blocking dynamic unbounded graphs with worst-case amortized bounds
B. Chatterjee, S. Peri, M. Sa, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10216
DOI: 10.4230/LIPIcs.DISC.2021.52
arXiv: 2003.01697

Brief announcement: Sinkless orientation is hard also in the supported LOCAL model
J. Korhonen, A. Paz, J. Rybicki, S. Schmid, J. Suomela, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10219
DOI: 10.4230/LIPIcs.DISC.2021.58
arXiv: 2108.02655

Evaluation of gravitropism in non-seed plants
Y. Zhang, L. Li, J. Friml, in:, E.B. Blancaflor (Ed.), Plant Gravitropism, Springer Nature, 2021, pp. 43–51.
LibreCat: https://research-explorer.ista.ac.at/record/10267
DOI: 10.1007/978-1-0716-1677-2_2
PMID: 34647246

Automated time-lapse imaging and manipulation of cell divisions in Arabidopsis roots by vertical-stage confocal microscopy
L. Hörmayer, J. Friml, M. Glanc, in:, Plant Cell Division, Humana Press, 2021, pp. 105–114.
LibreCat: https://research-explorer.ista.ac.at/record/10268
DOI: 10.1007/978-1-0716-1744-1_6
PMID: 34705235

On eigenvector statistics in the spherical and truncated unitary ensembles
G. Dubach, Electronic Journal of Probability 26 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/10285
DOI: 10.1214/21-EJP686

Influence of membrane-cortex linkers on the extrusion of membrane tubes
A. Paraschiv, T.J. Lagny, C.V. Campos, E. Coudrier, P. Bassereau, A. Sari, Biophysical Journal 120 (2021) 598–606.
LibreCat: https://research-explorer.ista.ac.at/record/10340
DOI: 10.1016/j.bpj.2020.12.028
PMID: 33460596

Physical modeling of multivalent interactions in the nuclear pore complex
L.K. Davis, A. Sari, B.W. Hoogenboom, A. Zilman, Biophysical Journal 120 (2021) 1565–1577.
LibreCat: https://research-explorer.ista.ac.at/record/10338
DOI: 10.1016/j.bpj.2021.01.039
PMID: 33617830

PLC;31 promotes phase separation of T cell signaling components
L. Zeng, I. Palaia, A. Sari, X. Su, Journal of Cell Biology 220 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/10337
DOI: 10.1083/jcb.202009154
PMID: 33929486

Modelling the dynamics of vesicle reshaping and scission under osmotic shocks
C. Vanhille-Campos, A. Sari, Soft Matter 17 (2021) 3798–3806.
LibreCat: https://research-explorer.ista.ac.at/record/10339
DOI: 10.1039/d0sm02012e
PMID: 33629089

Recognizing multimodal entailment
C. Ilharco, A. Shirazi, A. Gopalan, A. Nagrani, B. Bratanid, C. Bregler, C. Liu, F. Ferreira, G. Barcik, G. Ilharco, G.F. Osang, J. Bulian, J. Frank, L. Smaira, Q. Cao, R. Marino, R. Patel, T. Leung, V. Imbrasaite, in:, 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts, Association for Computational Linguistics, 2021, pp. 29–30.
LibreCat: https://research-explorer.ista.ac.at/record/10367
DOI: 10.18653/v1/2021.acl-tutorials.6

Cubic Forms and the Circle Method
T.D. Browning, Cubic Forms and the Circle Method, Springer Nature, Cham, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10415
DOI: 10.1007/978-3-030-86872-7

Dynamic maximum entropy provides accurate approximation of structured population dynamics
K. Bodova, E. Szep, N.H. Barton, PLoS Computational Biology 17 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/10535
DOI: 10.1371/journal.pcbi.1009661
PMID: 34851948
arXiv: 2102.03669

One-sided Frank-Wolfe algorithms for saddle problems
V. Kolmogorov, T. Pock, in:, 38th International Conference on Machine Learning, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10552
arXiv: 2101.12617

Tight bounds on the smallest eigenvalue of the neural tangent kernel for deep ReLU networks
Q. Nguyen, M. Mondelli, G.F. Montufar, in:, M. Meila, T. Zhang (Eds.), Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.
LibreCat: https://research-explorer.ista.ac.at/record/10595
arXiv: 2012.11654

Successive syndrome-check decoding of polar codes
S.A. Hashemi, M. Mondelli, J. Cioffi, A. Goldsmith, in:, Proceedings of the 55th Asilomar Conference on Signals, Systems, and Computers, Institute of Electrical and Electronics Engineers, 2021, pp. 943–947.
LibreCat: https://research-explorer.ista.ac.at/record/10599
DOI: 10.1109/IEEECONF53345.2021.9723394
arXiv: 2112.00057

Coarse infinite-dimensionality of hyperspaces of finite subsets
T. Weighill, T. Yamauchi, N. Zava, European Journal of Mathematics (2021).
LibreCat: https://research-explorer.ista.ac.at/record/10608
DOI: 10.1007/s40879-021-00515-3

Higher-order hydrodynamics and equilibrium fluctuations of interacting particle systems
J.P. Chen, F. Sau, Markov Processes And Related Fields 27 (2021) 339–380.
LibreCat: https://research-explorer.ista.ac.at/record/10613
arXiv: 2008.13403

Imaging orbital ferromagnetism in a moiré Chern insulator
C.L. Tschirhart, M. Serlin, H. Polshyn, A. Shragai, Z. Xia, J. Zhu, Y. Zhang, K. Watanabe, T. Taniguchi, M.E. Huber, A.F. Young, Science 372 (2021) 1323–1327.
LibreCat: https://research-explorer.ista.ac.at/record/10616
DOI: 10.1126/science.abd3190
PMID: 34045322
arXiv: 2006.08053

Topological charge density waves at half-integer filling of a moiré superlattice
H. Polshyn, Y. Zhang, M.A. Kumar, T. Soejima, P. Ledwith, K. Watanabe, T. Taniguchi, A. Vishwanath, M.P. Zaletel, A.F. Young, Nature Physics (2021).
LibreCat: https://research-explorer.ista.ac.at/record/10617
DOI: 10.1038/s41567-021-01418-6
arXiv: 2104.01178

On the complexity of intersection non-emptiness for star-free language classes
E. Arrighi, H. Fernau, S. Hoffmann, M. Holzer, I.R. Jecker, M. De Oliveira Oliveira, P. Wolf, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10630
DOI: 10.4230/LIPIcs.FSTTCS.2021.34
arXiv: 2110.01279

Quantitative verification on product graphs of small treewidth
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10629
DOI: 10.4230/LIPIcs.FSTTCS.2021.42

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

Probing orbital Chern ferromagnet phase in twisted bilayer graphene
C. Tschirhart, M. Serlin, H. Polshyn, A.G. Shragai, Z. Xia, J. Zhu, Y. Zhang, K. Watanabe, T. Taniguchi, M.E. Huber, A. Young, in:, APS March Meeting 2021, American Physical Society, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10651

Imaging and controlling vortex dynamics in mesoscopic superconductor-normal-metal-superconductor arrays
T.R. Naibert, H. Polshyn, R. Garrido-Menacho, M. Durkin, B. Wolin, V. Chua, I. Mondragon-Shem, T. Hughes, N. Mason, R. Budakian, Physical Review B 103 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/10649
DOI: 10.1103/physrevb.103.224526
arXiv: 1705.08956

Qubit energy-relaxation statistics in the Bluefors quantum measurement system
S. Simbierowicz, C. Shi, M. Collodo, M. Kirste, F. Hassani, J.M. Fink, J. Bylander, D. Perez Lozano, R. Lake, Qubit Energy-Relaxation Statistics in the Bluefors Quantum Measurement System, Bluefors Oy, Helsinki, Finland, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10645

The Bluefors dilution refrigerator as an integrated quantum measurement system
R. Lake, S. Simbierowicz, P. Krantz, F. Hassani, J.M. Fink, The Bluefors Dilution Refrigerator as an Integrated Quantum Measurement System, Bluefors Oy, Helsinki, Finland, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10644

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

The Civl verifier
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
LibreCat: https://research-explorer.ista.ac.at/record/10688
DOI: 10.34727/2021/isbn.978-3-85448-046-4_23

Orbital Chern insulator states in twisted monolayer-bilayer graphene and electrical switching of topological and magnetic order
H. Polshyn, J. Zhu, M. Kumar, Y. Zhang, F. Yang, C. Tschirhart, M. Serlin, K. Watanabe, T. Tanaguchi, A. MacDonald, A. Young, in:, APS March Meeting 2021, American Physical Society, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10692

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

Solving partially observable stochastic shortest-path games
P. Tomásek, K. Horák, A. Aradhye, B. Bosanský, K. Chatterjee, in:, 30th International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2021, pp. 4182–4189.
LibreCat: https://research-explorer.ista.ac.at/record/10847
DOI: 10.24963/ijcai.2021/575

A scalable concurrent algorithm for dynamic connectivity
A. Fedorov, N. Koval, D.-A. Alistarh, in:, Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2021, pp. 208–220.
LibreCat: https://research-explorer.ista.ac.at/record/10853
DOI: 10.1145/3409964.3461810
arXiv: 2105.08098

Quantifying the coexistence of neuronal oscillations and avalanches
F. Lombardi, S. Pepic, O. Shriki, G. Tkadik, D. De Martino, (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/10912
DOI: 10.48550/ARXIV.2108.06686
arXiv: 2108.06686

The San Diego Nathan Shock Center: Tackling the heterogeneity of aging
G.S. Shadel, P.D. Adams, W.T. Berggren, J.K. Diedrich, K.E. Diffenderfer, F.H. Gage, N. Hah, M. Hansen, M. Hetzer, A.J.A. Molina, U. Manor, K. Marek, D.D. O’Keefe, A.F.M. Pinto, A. Sacco, T.O. Sharpee, M.N. Shokriev, S. Zambetti, GeroScience 43 (2021) 2139–2148.
LibreCat: https://research-explorer.ista.ac.at/record/11053
DOI: 10.1007/s11357-021-00426-x
PMID: 34370163

Identification of long-lived proteins in the mitochondria reveals increased stability of the electron transport chain
S. Krishna, R. Arrojo e Drigo, J.S. Capitanio, R. Ramachandra, M. Ellisman, M. Hetzer, Developmental Cell 56 (2021) 52–2965.e9.
LibreCat: https://research-explorer.ista.ac.at/record/11052
DOI: 10.1016/j.devcel.2021.10.008
PMID: 34715012

Asynchronous optimization methods for efficient training of deep neural networks with guarantees
V. Kungurtsev, M. Egan, B. Chatterjee, D.-A. Alistarh, in:, 35th AAAI Conference on Artificial Intelligence, AAAI 2021, AAAI Press, 2021, pp. 8209–8216.
LibreCat: https://research-explorer.ista.ac.at/record/11436
arXiv: 1905.11845

Online learning of neural computations from sparse temporal feedback
L. Braun, T.P. Vogels, in:, Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 16437–16450.
LibreCat: https://research-explorer.ista.ac.at/record/11453

Distributed principal component analysis with limited communication
F. Alimisis, P. Davies, B. Vandereycken, D.-A. Alistarh, in:, Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 2823–2834.
LibreCat: https://research-explorer.ista.ac.at/record/11452
arXiv: 2110.14391

M-FAC: Efficient matrix-free approximations of second-order information
E. Frantar, E. Kurtic, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 14873–14886.
LibreCat: https://research-explorer.ista.ac.at/record/11463
arXiv: 2010.08222

Towards tight communication lower bounds for distributed optimisation
D.-A. Alistarh, J. Korhonen, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 7254–7266.
LibreCat: https://research-explorer.ista.ac.at/record/11464
arXiv: 2010.08222

Recovery and analysis of rest-frame UV emission lines in 2052 galaxies observed with MUSE at 1.5 < z < 6.4
K.B. Schmidt, J. Kerutt, L. Wisotzki, T. Urrutia, A. Feltre, M.V. Maseda, T. Nanayakkara, R. Bacon, L.A. Boogaard, S. Conseil, T. Contini, E.C. Herenz, W. Kollatschny, M. Krumpe, F. Leclercq, G. Mahler, J.J. Matthee, V. Mauerhofer, J. Richard, J. Schaye, Astronomy &; Astrophysics 654 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/11498
DOI: 10.1051/0004-6361/202140876
arXiv: 2108.01713

The MUSE Extremely Deep Field: The cosmic web in emission at high redshift
R. Bacon, D. Mary, T. Garel, J. Blaizot, M. Maseda, J. Schaye, L. Wisotzki, S. Conseil, J. Brinchmann, F. Leclercq, V. Abril-Melgarejo, L. Boogaard, N.F. Bouché, T. Contini, A. Feltre, B. Guiderdoni, C. Herenz, W. Kollatschny, H. Kusakabe, J.J. Matthee, L. Michel-Dansac, T. Nanayakkara, J. Richard, M. Roth, K.B. Schmidt, M. Steinmetz, L. Tresse, T. Urrutia, A. Verhamme, P.M. Weilbacher, J. Zabl, S.L. Zoutendijk, Astronomy &; Astrophysics 647 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/11500
DOI: 10.1051/0004-6361/202039887
arXiv: 2102.05516

Measuring the average molecular gas content of star-forming galaxies at z = 3–4
L.A. Boogaard, R.J. Bouwens, D. Riechers, P. van der Werf, R. Bacon, J.J. Matthee, M. Stefanon, A. Feltre, M. Maseda, H. Inami, M. Aravena, J. Brinchmann, C. Carilli, T. Contini, R. Decarli, J. González-López, T. Nanayakkara, F. Walter, The Astrophysical Journal 916 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/11512
DOI: 10.3847/1538-4357/ac01d7
arXiv: 2105.12489

The X-SHOOTER Lyman ;1 survey at z = 2 (XLS-z2) I: What makes a galaxy a Lyman ;1 emitter?
J.J. Matthee, D. Sobral, M. Hayes, G. Pezzulli, M. Gronke, D. Schaerer, R.P. Naidu, H. Röttgering, J. Calhau, A. Paulino-Afonso, S. Santos, R. Amorín, Monthly Notices of the Royal Astronomical Society 505 (2021) 1382–1412.
LibreCat: https://research-explorer.ista.ac.at/record/11523
DOI: 10.1093/mnras/stab1304
arXiv: 2102.07779

Constraining the cosmic UV background at z > 3 with MUSE Lyman-;1 emission observations
S.G. Gallego, S. Cantalupo, S. Sarpas, B. Duboeuf, S. Lilly, G. Pezzulli, R.A. Marino, J.J. Matthee, L. Wisotzki, J. Schaye, J. Richard, H. Kusakabe, V. Mauerhofer, Monthly Notices of the Royal Astronomical Society 504 (2021) 16–32.
LibreCat: https://research-explorer.ista.ac.at/record/11525
DOI: 10.1093/mnras/stab796
arXiv: 2103.09250

Lyman-;1 transmission properties of the intergalactic medium in the CoDaII simulation
M. Gronke, P. Ocvirk, C. Mason, J.J. Matthee, S.E.I. Bosman, J.G. Sorce, J. Lewis, K. Ahn, D. Aubert, T. Dawoodbhoy, I.T. Iliev, P.R. Shapiro, G. Yepes, Monthly Notices of the Royal Astronomical Society 508 (2021) 3697–3709.
LibreCat: https://research-explorer.ista.ac.at/record/11522
DOI: 10.1093/mnras/stab2762
arXiv: 2004.14496

Revealing the impact of quasar luminosity on giant Ly;1 nebulae
R. Mackenzie, G. Pezzulli, S. Cantalupo, R.A. Marino, S. Lilly, S. Muzahid, J.J. Matthee, J. Schaye, L. Wisotzki, Monthly Notices of the Royal Astronomical Society 502 (2021) 494–509.
LibreCat: https://research-explorer.ista.ac.at/record/11526
DOI: 10.1093/mnras/staa3277
arXiv: 2010.12589

The evolution of the UV luminosity and stellar mass functions of Lyman-;1 emitters from z c 2 to z c 6
S. Santos, D. Sobral, J. Butterworth, A. Paulino-Afonso, B. Ribeiro, E. da Cunha, J. Calhau, A.A. Khostovan, J.J. Matthee, P. Arrabal Haro, Monthly Notices of the Royal Astronomical Society 505 (2021) 1117–1134.
LibreCat: https://research-explorer.ista.ac.at/record/11524
DOI: 10.1093/mnras/stab1218
arXiv: 2105.00007

Differences in galaxy colours are not just about the mass
J.J. Matthee, Nature Astronomy 5 (2021) 984–985.
LibreCat: https://research-explorer.ista.ac.at/record/11585
DOI: 10.1038/s41550-021-01415-y
arXiv: 1802.06786

TESS Data for Asteroseismology (T’DA) stellar variability classification pipeline: Setup and application to the Kepler  data
J. Audenaert, J.S. Kuszlewicz, R. Handberg, A. Tkachenko, D.J. Armstrong, M. Hon, R. Kgoadi, M.N. Lund, K.J. Bell, L.A. Bugnet, D.M. Bowman, C. Johnston, R.A. García, D. Stello, L. Molnár, E. Plachy, D. Buzasi, C. Aerts, The Astronomical Journal 162 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/11604
DOI: 10.3847/1538-3881/ac166a
arXiv: 2107.06301

ROOSTER: A machine-learning analysis tool for Kepler stellar rotation periods
S.N. Breton, A.R.G. Santos, L.A. Bugnet, S. Mathur, R.A. García, P.L. Pallé, Astronomy &; Astrophysics 647 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/11608
DOI: 10.1051/0004-6361/202039947
arXiv: 2101.10152