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

Gloss-aware color correction for 3D printing
J. Condor, M. Piovarci, B. Bickel, P. Didyk, in:, SIGGRAPH ’23 Conference Proceedings, Association for Computing Machinery, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12979
DOI: 10.1145/3588432.3591546
WoS: 001117690500021

Skin-Screen: A computational fabrication framework for color tattoos
M. Piovarci, A. Chapiro, B. Bickel, ACM Transactions on Graphics 42 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/12984
DOI: 10.1145/3592432
WoS: 001044671300033

Nanoparticle-based semiconductor solids: From synthesis to consolidation
M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12885
DOI: 10.15479/at:ista:12885

Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography
B. Zens, Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12491
DOI: 10.15479/at:ista:12491

Mechanochemical pattern formation across biological scales
D.R. Boocock, Mechanochemical Pattern Formation across Biological Scales, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12964
DOI: 10.15479/at:ista:12964

Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning
C. Alcarva, Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12809
DOI: 10.15479/at:ista:12809

Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog
V. Kravchuk, Structural and Mechanistic Study of Bacterial Complex I and Its Cyanobacterial Ortholog, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12781
DOI: 10.15479/at:ista:12781

Mechanism of clathrin-coated vesicle  formation during endocytosis in plants
N. Gnyliukh, Mechanism of Clathrin-Coated Vesicle  Formation during Endocytosis in Plants, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14510
DOI: 10.15479/at:ista:14510

Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models
C. Hafner, Inverse Shape Design with Parametric Representations: Kirchhoff Rods and Parametric Surface Models, Institute of Science and Technology Austria, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12897
DOI: 10.15479/at:ista:12897

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

Flavors of sequential information flow
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2022, pp. 1–19.
LibreCat: https://research-explorer.ista.ac.at/record/10774
DOI: 10.1007/978-3-030-94583-1_1
arXiv: 2105.02013

Quantifying the probing and selection of microenvironmental pores by motile immune cells
J. Kroll, M.J.A. Ruiz-Fernandez, M.B. Braun, J. Merrin, J. Renkawitz, Current Protocols 2 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11182
DOI: 10.1002/cpz1.407
PMID: 35384410

A cautionary tale: Burning the medial axis is unstable
E. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, in:, X. Goaoc, M. Kerber (Eds.), 38th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 66:1-66:9.
LibreCat: https://research-explorer.ista.ac.at/record/11428
DOI: 10.4230/LIPIcs.SoCG.2022.66

Web and Wireless Geographical Information Systems
F. Karimipour, S. Storandt, eds., Web and Wireless Geographical Information Systems, 1st ed., Springer Nature, Cham, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11429
DOI: 10.1007/978-3-031-06245-2

The persistent homology of dual digital image constructions
B. Bleile, A. Garin, T. Heiss, K. Maggs, V. Robins, in:, E. Gasparovic, V. Robins, K. Turner (Eds.), Research in Computational Topology 2, 1st ed., Springer Nature, Cham, 2022, pp. 1–26.
LibreCat: https://research-explorer.ista.ac.at/record/11440
DOI: 10.1007/978-3-030-95519-9_1
arXiv: 2102.11397

The MUSE eXtremely Deep Field: Individual detections of Ly<i>;1</i> haloes around rest-frame UV-selected galaxies at <i>z</i>  2.9–4.4
H. Kusakabe, A. Verhamme, J. Blaizot, T. Garel, L. Wisotzki, F. Leclercq, R. Bacon, J. Schaye, S.G. Gallego, J. Kerutt, J.J. Matthee, M. Maseda, T. Nanayakkara, R. Pelló, J. Richard, L. Tresse, T. Urrutia, E. Vitte, Astronomy &; Astrophysics 660 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11488
DOI: 10.1051/0004-6361/202142302
arXiv: 2201.07257

Deciphering stellar metallicities in the early universe: Case study of a young galaxy at z = 4.77 in the MUSE eXtremely Deep Field
J.J. Matthee, A. Feltre, M. Maseda, T. Nanayakkara, L. Boogaard, R. Bacon, A. Verhamme, F. Leclercq, H. Kusakabe, T. Urrutia, L. Wisotzki, Astronomy &; Astrophysics 660 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11490
DOI: 10.1051/0004-6361/202142187
arXiv: 2111.14855

EMPRESS. IV. Extremely metal-poor galaxies including very low-mass primordial systems with M= 10-10 and 2%–3% (O/H): High (Fe/O) suggestive of metal enrichment by hypernovae/pair-instability supernovae
Y. Isobe, M. Ouchi, A. Suzuki, T.J. Moriya, K. Nakajima, K. Nomoto, M. Rauch, Y. Harikane, T. Kojima, Y. Ono, S. Fujimoto, A.K. Inoue, J.H. Kim, Y. Komiyama, H. Kusakabe, C.-H. Lee, M. Maseda, J.J. Matthee, L. Michel-Dansac, T. Nagao, T. Nanayakkara, M. Nishigaki, M. Onodera, Y. Sugahara, Y. Xu, The Astrophysical Journal 925 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11509
DOI: 10.3847/1538-4357/ac3509
arXiv: 2108.03850

(Re)Solving reionization with Ly;1: How bright Ly;1 emitters account for the z  2  8 cosmic ionizing background
J.J. Matthee, R.P. Naidu, G. Pezzulli, M. Gronke, D. Sobral, P.A. Oesch, M. Hayes, D. Erb, D. Schaerer, R. Amorín, S. Tacchella, A.P.-A. Ana Paulino-Afonso, M. Llerena, J. Calhau, H. Röttgering, Monthly Notices of the Royal Astronomical Society 512 (2022) 5960–5977.
LibreCat: https://research-explorer.ista.ac.at/record/11521
DOI: 10.1093/mnras/stac801
arXiv: 2110.11967

The dynamics of complex box mappings
T. Clark, K. Drach, O. Kozlovski, S.V. Strien, Arnold Mathematical Journal 8 (2022) 319–410.
LibreCat: https://research-explorer.ista.ac.at/record/11553
DOI: 10.1007/s40598-022-00200-7

The K2 Galactic Archaeology Program data release 3: Age-abundance patterns in – and 0–8
J.C. Zinn, D. Stello, Y. Elsworth, R.A. García, T. Kallinger, S. Mathur, B. Mosser, M. Hon, L.A. Bugnet, C. Jones, C. Reyes, S. Sharma, R. Schönrich, J.T. Warfield, R. Luger, A. Vanderburg, C. Kobayashi, M.H. Pinsonneault, J.A. Johnson, D. Huber, S. Buder, M. Joyce, J. Bland-Hawthorn, L. Casagrande, G.F. Lewis, A. Miglio, T. Nordlander, G.R. Davies, G.D. Silva, W.J. Chaplin, V. Silva Aguirre, The Astrophysical Journal 926 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11601
DOI: 10.3847/1538-4357/ac2c83
arXiv: 2108.05455

Fully dynamic four-vertex subgraph counting
K. Hanauer, M.H. Henzinger, Q.C. Hua, in:, 1st Symposium on Algorithmic Foundations of Dynamic Networks, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11812
DOI: 10.4230/LIPIcs.SAND.2022.18
arXiv: 2106.15524

The complexity of average-case dynamic subgraph counting
M.H. Henzinger, A. Lincoln, B. Saha, in:, 33rd Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2022, pp. 459–498.
LibreCat: https://research-explorer.ista.ac.at/record/11918
DOI: 10.1137/1.9781611977073.23

List-decodable zero-rate codes for the Z-channel
N. Polyanskii, Y. Zhang, in:, 2022 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2022, pp. 2553–2558.
LibreCat: https://research-explorer.ista.ac.at/record/12019
DOI: 10.1109/ISIT50566.2022.9834829

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

Synthesis of parametric hybrid automata from time series
M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, 20th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2022, pp. 337–353.
LibreCat: https://research-explorer.ista.ac.at/record/12171
DOI: 10.1007/978-3-031-19992-9_22
arXiv: 2208.06383

Practical asynchronous distributed key generation
S. Das, T. Yurek, Z. Xiang, A. Miller, E. Kokoris Kogias, L. Ren, in:, 2022 IEEE Symposium on Security and Privacy, Institute of Electrical and Electronics Engineers, 2022, pp. 2518–2534.
LibreCat: https://research-explorer.ista.ac.at/record/12300
DOI: 10.1109/sp46214.2022.9833584

Loop Grassmannians of Quivers and Affine Quantum Groups
I. Mirkovi, Y. Yang, G. Zhao, in:, V. Baranovskky, N. Guay, T. Schedler (Eds.), Representation Theory and Algebraic Geometry, 1st ed., Springer Nature; Birkhäuser, Cham, 2022, pp. 347–392.
LibreCat: https://research-explorer.ista.ac.at/record/12303
DOI: 10.1007/978-3-030-82007-7_8
arXiv: 1810.10095

A direct symbolic algorithm for solving stochastic rabin games
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, in:, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2022, pp. 81–98.
LibreCat: https://research-explorer.ista.ac.at/record/12529
DOI: 10.1007/978-3-030-99527-0_5

Cross-client Label Propagation for transductive federated learning
J.A. Scott, M.X. Yeo, C. Lampert, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/12660
DOI: 10.48550/arXiv.2210.06434
arXiv: 2210.06434

Generalization in Multi-objective machine learning
P. Súkeník, C. Lampert, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/12662
DOI: 10.48550/arXiv.2208.13499
arXiv: 2208.13499

Intriguing properties of input-dependent randomized smoothing
P. Súkeník, A. Kuvshinov, S. Günnemann, in:, Proceedings of the 39th International Conference on Machine Learning, ML Research Press, 2022, pp. 20697–20743.
LibreCat: https://research-explorer.ista.ac.at/record/12664
arXiv: 2110.05365

Controls on the relative melt rates of debris-covered glacier surfaces
E.S. Miles, J.F. Steiner, P. Buri, W.W. Immerzeel, F. Pellicciotti, Environmental Research Letters 17 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/12582
DOI: 10.1088/1748-9326/ac6966

Sub-seasonal variability of supraglacial ice cliff melt rates and associated processes from time-lapse photogrammetry
M. Kneib, E.S. Miles, P. Buri, S. Fugger, M. McCarthy, T.E. Shaw, Z. Chuanxi, M. Truffer, M.J. Westoby, W. Yang, F. Pellicciotti, The Cryosphere 16 (2022) 4701–4725.
LibreCat: https://research-explorer.ista.ac.at/record/12574
DOI: 10.5194/tc-16-4701-2022

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

Histone B.8 compacts flowering plant sperm through chromatin phase separation
T. Buttress, S. He, L. Wang, S. Zhou, G. Saalbach, M. Vickers, G. Li, P. Li, X. Feng, Nature 611 (2022) 614–622.
LibreCat: https://research-explorer.ista.ac.at/record/12671
DOI: 10.1038/s41586-022-05386-6
PMID: 36323776

Where is the sweet spot? A procurement story of general purpose compute nodes
A. Schlögl, A. Hornoiu, S. Elefante, S. Stadlbauer, in:, ASHP - Austrian-Slovenian HPC Meeting 2022, EuroCC Austria c/o Universität Wien, 2022, p. 7.
LibreCat: https://research-explorer.ista.ac.at/record/12894
DOI: 10.25365/phaidra.337

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

Encapsulation within a coordination cage modulates the reactivity of redox-active dyes
O. Yanshyna, M.J. Biaek, O.V. Chashchikhin, R. Klajn, Communications Chemistry 5 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/13347
DOI: 10.1038/s42004-022-00658-8

Polarization-sensitive optoionic membranes from chiral plasmonic nanoparticles
J. Cai, W. Zhang, L. Xu, C. Hao, W. Ma, M. Sun, X. Wu, X. Qin, F.M. Colombari, A.F. de Moura, J. Xu, M.C. Silva, E.B. Carneiro-Neto, W.R. Gomes, R.A.L. Vallée, E.C. Pereira, X. Liu, C. Xu, R. Klajn, N.A. Kotov, H. Kuang, Nature Nanotechnology 17 (2022) 408–416.
LibreCat: https://research-explorer.ista.ac.at/record/13352
DOI: 10.1038/s41565-022-01079-3
PMID: 35288671

Why did the Wolbachia transinfection cross the road? Drift, deterministic dynamics, and disease control
M. Turelli, N.H. Barton, Evolution Letters 6 (2022) 92–105.
LibreCat: https://research-explorer.ista.ac.at/record/10604
DOI: 10.1002/evl3.270
WoS: 000754412600008

Auxin analog-induced C+ signaling is independent of inhibition of endosomal aggregation in Arabidopsis roots
R. Wang, E. Himschoot, M. Grenzi, J. Chen, A. Safi, M. Krebs, K. Schumacher, M. Nowack, W. Moeder, K. Yoshioka, D. Van Damme, I. De Smet, D. Geelen, T. Beeckman, J. Friml, A. Costa, S. Vanneste, Journal of Experimental Botany 73 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/10717
DOI: 10.1093/jxb/erac019
WoS: 000764220900001
PMID: 35085386

Arithmetic purity of the Hardy-Littlewood property and geometric sieve for affine quadrics
Y. Cao, Z. Huang, Advances in Mathematics 398 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/10765
DOI: 10.1016/j.aim.2022.108236
WoS: 000792517300014
arXiv: 2003.07287

Barycentric cuts through a convex body
Z. Patakova, M. Tancer, U. Wagner, Discrete and Computational Geometry 68 (2022) 1133–1154.
LibreCat: https://research-explorer.ista.ac.at/record/10776
DOI: 10.1007/s00454-021-00364-7
WoS: 000750681500001
arXiv: 2003.13536

Proteomic characterization of isolated Arabidopsis clathrin-coated vesicles reveals evolutionarily conserved and plant-specific components
D. Dahhan, G. Reynolds, J. Cárdenas, D. Eeckhout, A.J. Johnson, K. Yperman, W. Kaufmann, N. Vang, X. Yan, I. Hwang, A. Heese, G. De Jaeger, J. Friml, D. Van Damme, J. Pan, S. Bednarek, Plant Cell 34 (2022) 2150–2173.
LibreCat: https://research-explorer.ista.ac.at/record/10841
DOI: 10.1093/plcell/koac071
WoS: 000767438800001
PMID: 35218346

Proteome-wide cellular thermal shift assay reveals unexpected cross-talk between brassinosteroid and auxin signaling
Q. Lu, Y. Zhang, J. Hellner, C. Giannini, X. Xu, J. Pauwels, Q. Ma, W. Dejonghe, H. Han, B. Van De Cotte, F. Impens, K. Gevaert, I. De Smet, J. Friml, D.M. Molina, E. Russinova, Proceedings of the National Academy of Sciences of the United States of America 119 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/10888
DOI: 10.1073/pnas.2118220119
WoS: 000771756300008
PMID: 35254915

Quantitative monitoring of software
T.A. Henzinger, in:, Software Verification, Springer Nature, 2022, pp. 3–6.
LibreCat: https://research-explorer.ista.ac.at/record/10891
DOI: 10.1007/978-3-030-95561-8_1
WoS: 000771713200001

Exploring high-resolution cryo-ET and subtomogram averaging capabilities of contemporary DEDs
M. Obr, W.J.H. Hagen, R.A. Dick, L. Yu, A. Kotecha, F.K. Schur, Journal of Structural Biology 214 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11155
DOI: 10.1016/j.jsb.2022.107852
WoS: 000790733600001
PMID: 35351542

Nutrient and salt depletion synergistically boosts glucose metabolism in individual Escherichia coli cells
G. Glover, M. Voliotis, U. apiska, B.M. Invergo, D. Soanes, P. O’Neill, K. Moore, N. Nikolic, P. Petrov, D.S. Milner, S. Roy, K. Heesom, T.A. Richards, K. Tsaneva-Atanasova, S. Pagliara, Communications Biology 5 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11339
DOI: 10.1038/s42003-022-03336-6
WoS: 000784143400001
PMID: 35444215

Convergence rate to the Tracy–Widom laws for the largest Eigenvalue of Wigner matrices
K. Schnelli, Y. Xu, Communications in Mathematical Physics 393 (2022) 839–907.
LibreCat: https://research-explorer.ista.ac.at/record/11332
DOI: 10.1007/s00220-022-04377-y
WoS: 000782737200001
arXiv: 2102.04330

Narwhal and Tusk: A DAG-based mempool and efficient BFT consensus
G. Danezis, E. Kokoris Kogias, A. Sonnino, A. Spiegelman, in:, Proceedings of the 17th European Conference on Computer Systems, Association for Computing Machinery, 2022, pp. 34–50.
LibreCat: https://research-explorer.ista.ac.at/record/11331
DOI: 10.1145/3492321.3519594
WoS: 000926506800003
arXiv: 2105.11827

Chromosome-encoded IpaH ubiquitin ligases indicate non-human enteroinvasive Escherichia
N. Dranenko, M. Tutukina, M. Gelfand, F. Kondrashov, O. Bochkareva, Scientific Reports 12 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11344
DOI: 10.1038/s41598-022-10827-3
WoS: 000788639400032
PMID: 35477739

PathCAS: An efficient middle ground for concurrent search data structures
T.A. Brown, W. Sigouin, D.-A. Alistarh, in:, Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2022, pp. 385–399.
LibreCat: https://research-explorer.ista.ac.at/record/11181
DOI: 10.1145/3503221.3508410
WoS: 000883318200027

Large deviations in random latin squares
M.A. Kwan, A. Sah, M. Sawhney, Bulletin of the London Mathematical Society 54 (2022) 1420–1438.
LibreCat: https://research-explorer.ista.ac.at/record/11186
DOI: 10.1112/blms.12638
WoS: 000779920900001
arXiv: 2106.11932

Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
LibreCat: https://research-explorer.ista.ac.at/record/11355
DOI: 10.1007/978-3-030-99429-7_1
WoS: 000782393600001

Emerging qubit systems: Guest editorial
A.J. Sigillito, J.P. Covey, J.M. Fink, K. Petersson, S. Preble, Applied Physics Letters 120 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11417
DOI: 10.1063/5.0097339
WoS: 000796002100002

WDF mutation alters laminar position and morphology of cortical neurons
Z.A. Schaaf, L. Tat, N. Cannizzaro, R. Green, T. Rülicke, S. Hippenmeyer, K.S. Zarbalis, Molecular Autism 13 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11460
DOI: 10.1186/s13229-022-00508-3
WoS: 000814641400001

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

Most mitochondrial dGTP is tightly bound to respiratory complex I through the NDUF subunit
D. Molina-Granada, E. González-Vioque, M.G. Dibley, R. Cabrera-Pérez, A. Vallbona-Garcia, J. Torres-Torronteras, L.A. Sazanov, M.T. Ryan, Y. Cámara, R. Martí, Communications Biology 5 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11551
DOI: 10.1038/s42003-022-03568-6
WoS: 000815098500002
PMID:  35739187

A high-resolution single-molecule sequencing-based Arabidopsis transcriptome using novel methods of Iso-seq analysis
R. Zhang, R. Kuo, M. Coulter, C.P.G. Calixto, J.C. Entizne, W. Guo, Y. Marquez, L. Milne, S. Riegler, A. Matsui, M. Tanaka, S. Harvey, Y. Gao, T. Wießner-Kroh, A. Paniagua, M. Crespi, K. Denby, A.B. Hur, E. Huq, M. Jantsch, A. Jarmolowski, T. Koester, S. Laubinger, Q.Q. Li, L. Gu, M. Seki, D. Staiger, R. Sunkar, Z. Szweykowska-Kulinska, S.L. Tu, A. Wachter, R. Waugh, L. Xiong, X.N. Zhang, A. Conesa, A.S.N. Reddy, A. Barta, M. Kalyna, J.W.S. Brown, Genome Biology 23 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11587
DOI: 10.1186/s13059-022-02711-0
WoS: 000821915500002

Local mending
A. Balliu, J. Hirvonen, D. Melnyk, D. Olivetti, J. Rybicki, J. Suomela, in:, M. Parter (Ed.), International Colloquium on Structural Information and Communication Complexity, Springer Nature, 2022, pp. 1–20.
LibreCat: https://research-explorer.ista.ac.at/record/11707
DOI: 10.1007/978-3-031-09993-9_1
WoS: 000876977400001
arXiv: 2102.08703

The Bertini irreducibility theorem for higher codimensional slices
P. Kmentt, A.L. Shute, Finite Fields and Their Applications 83 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11636
DOI: 10.1016/j.ffa.2022.102085
WoS: 000835490600001
arXiv: 2111.06697

Surface functionalization of surfactant-free particles: A strategy to tailor the properties of nanocomposites for enhanced thermoelectric performance
C. Chang, Y. Liu, S. Lee, M. Spadaro, K.M. Koskela, T. Kleinhanns, T. Costanzo, J. Arbiol, R.L. Brutchey, M. Ibáñez, Angewandte Chemie - International Edition 61 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11705
DOI: 10.1002/anie.202207002
WoS: 000828274200001

Improving GWAS discovery and genomic prediction accuracy in biobank data
E.J. Orliac, D. Trejo Banos, S.E. Ojavee, K. Läll, R. Mägi, P.M. Visscher, M.R. Robinson, Proceedings of the National Academy of Sciences of the United States of America 119 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11733
DOI: 10.1073/pnas.2121279119
WoS: 000881496900003

Phase transition in cohomology groups of non-uniform random simplicial complexes
O. Cooley, N. Del Giudice, M. Kang, P. Sprüssel, Electronic Journal of Combinatorics 29 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11740
DOI: 10.37236/10607
WoS: 000836200300001
arXiv: 2005.07103

Nonlinear parabolic stochastic evolution equations in critical spaces part II
A. Agresti, M. Veraar, Journal of Evolution Equations 22 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11858
DOI: 10.1007/s00028-022-00786-7
WoS: 000809108500001

Effects of streaky structures on the instability of supersonic boundary layers
J. Liu, E. Marensi, X. Wu, in:, S. Sherwin, P. Schmid, X. Wu (Eds.), IUTAM Laminar-Turbulent Transition, 1st ed., Springer Nature, Cham, 2022, pp. 587–598.
LibreCat: https://research-explorer.ista.ac.at/record/10820
DOI: 10.1007/978-3-030-67902-6_51
WoS: 000709087600051

Improving genome-wide association discovery and genomic prediction accuracy in biobank data
E. Orliac, D. Trejo Banos, S. Ojavee, K. Läll, R. Mägi, P. Visscher, M.R. Robinson, (2022).
LibreCat: https://research-explorer.ista.ac.at/record/13064
DOI: 10.5061/DRYAD.GTHT76HMZ

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

WAVY GROWTH Arabidopsis  ubiquitin ligases affect apical PIN sorting decisions
N. Konstantinova, L. Hörmayer, M. Glanc, R. Keshkeih, S. Tan, M. Di Donato, K. Retzer, J. Moulinier-Anzola, M. Schwihla, B. Korbei, M. Geisler, J. Friml, C. Luschnig, Nature Communications 13 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/12052
DOI: 10.1038/s41467-022-32888-8
WoS: 000848744900004
PMID: 36050482

Convergence rates for the Allen–Cahn equation with boundary contact energy: The non-perturbative regime
S. Hensel, M. Moser, Calculus of Variations and Partial Differential Equations 61 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/12079
DOI: 10.1007/s00526-022-02307-3
WoS: 000844247300008

Structural insights into auxin recognition and efflux by Arabidopsis PIN1
Z. Yang, J. Xia, J. Hong, C. Zhang, H. Wei, W. Ying, C. Sun, L. Sun, Y. Mao, Y. Gao, S. Tan, J. Friml, D. Li, X. Liu, L. Sun, Nature 609 (2022) 611–615.
LibreCat: https://research-explorer.ista.ac.at/record/12054
DOI: 10.1038/s41586-022-05143-9
WoS: 000848082900002
PMID: 35917925

Interior-boundary conditions for the Dirac equation at point sources in three dimensions
S.J. Henheik, R. Tumulka, Journal of Mathematical Physics 63 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/12110
DOI: 10.1063/5.0104675
WoS: 000900748900002

Precipitating fraction, not intensity, explains extreme coarse-grained precipitation Clausius-Clapeyron scaling with sea surface temperature over tropical oceans
R. Roca, V. De Meyer, C.J. Muller, Geophysical Research Letters 49 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/12107
DOI: 10.1029/2022GL100624
WoS: 000924587900001

Connectivity of triangulation flip graphs in the plane
U. Wagner, E. Welzl, Discrete &; Computational Geometry 68 (2022) 1227–1284.
LibreCat: https://research-explorer.ista.ac.at/record/12129
DOI: 10.1007/s00454-022-00436-2
WoS: 000883222200003

Specification of female germline by microRNA orchestrated auxin signaling in Arabidopsis
J. Huang, L. Zhao, S. Malik, B.R. Gentile, V. Xiong, T. Arazi, H.A. Owen, J. Friml, D. Zhao, Nature Communications 13 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/12130
DOI: 10.1038/s41467-022-34723-6
WoS: 000884426700001
PMID: 36379956

Liability-scale heritability estimation for biobank studies of low-prevalence disease
S.E. Ojavee, Z. Kutalik, M.R. Robinson, The American Journal of Human Genetics 109 (2022) 2009–2017.
LibreCat: https://research-explorer.ista.ac.at/record/12142
DOI: 10.1016/j.ajhg.2022.09.011
WoS: 000898683500006

On a question of Vera T. Sós about size forcing of graphons
O. Cooley, M. Kang, O. Pikhurko, Acta Mathematica Hungarica 168 (2022) 1–26.
LibreCat: https://research-explorer.ista.ac.at/record/12151
DOI: 10.1007/s10474-022-01265-8
WoS: 000886839900006
arXiv: 2103.09114

Phenotypic and genetic spectrum of ATA encephalopathy: A disorder of lysosomal homeostasis
R. Guerrini, D. Mei, M.K. Szigeti, S. Pepe, M.K. Koenig, G. Von Allmen, M.T. Cho, K. McDonald, J. Baker, V. Bhambhani, Z. Powis, L. Rodan, R. Nabbout, G. Barcia, J.A. Rosenfeld, C.A. Bacino, C. Mignot, L.H. Power, C.J. Harris, D. Marjanovic, R.S. Møller, T.B. Hammer, R. Keski Filppula, P. Vieira, C. Hildebrandt, S. Sacharow, L. Maragliano, F. Benfenati, K. Lachlan, A. Benneche, F. Petit, J.M. de Sainte Agathe, B. Hallinan, Y. Si, I.M. Wentzensen, F. Zou, V. Narayanan, N. Matsumoto, A. Boncristiano, G. la Marca, M. Kato, K. Anderson, C. Barba, L. Sturiale, D. Garozzo, R. Bei, L. Masuelli, V. Conti, G. Novarino, A. Fassio, Brain 145 (2022) 2687–2703.
LibreCat: https://research-explorer.ista.ac.at/record/12174
DOI: 10.1093/brain/awac145
WoS: 000807770000001

Morphogen gradient orchestrates pattern-preserving tissue morphogenesis via motility-driven unjamming
D.C. Nunes Pinheiro, R. Kardos, E.B. Hannezo, C.-P.J. Heisenberg, Nature Physics 18 (2022) 1482–1493.
LibreCat: https://research-explorer.ista.ac.at/record/12209
DOI: 10.1038/s41567-022-01787-6
WoS: 000871319900002

Carbon foams via ring-opening metathesis polymerization of emulsion templates: A facile method to make carbon current collectors for battery applications
S. Kovadid, B. Schafzahl, N.B. Matsko, K. Gruber, M. Schmuck, S. Koller, S.A. Freunberger, C. Slugovc, ACS Applied Energy Materials 5 (2022) 14381–14390.
LibreCat: https://research-explorer.ista.ac.at/record/12227
DOI: 10.1021/acsaem.2c02787
WoS: 000875635900001

Strand asymmetry influences mismatch resolution during single-strand annealing
V. Pokusaeva, A.R. Diez, L. Espinar, A.T. Pérez, G.J. Filion, Genome Biology 23 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/12226
DOI: 10.1186/s13059-022-02665-3
WoS: 000781953800001
PMID: 35414014

Decoding Reed-Muller codes with successive codeword permutations
N. Doan, S.A. Hashemi, M. Mondelli, W.J. Gross, IEEE Transactions on Communications 70 (2022) 7134–7145.
LibreCat: https://research-explorer.ista.ac.at/record/12233
DOI: 10.1109/tcomm.2022.3211101
WoS: 000937284600006
arXiv: 2109.02122

Solving the Hamilton cycle problem fast on average
M. Anastos, in:, 63rd Annual IEEE Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2022, pp. 919–930.
LibreCat: https://research-explorer.ista.ac.at/record/12432
DOI: 10.1109/FOCS54457.2022.00091
WoS: 000909382900084

Public-Key Encryption from Homogeneous CLWE
A. Bogdanov, M. Cueto Noval, C. Hoffmann, A. Rosen, in:, Theory of Cryptography, Springer Nature, 2022, pp. 565–592.
LibreCat: https://research-explorer.ista.ac.at/record/12516
DOI: 10.1007/978-3-031-22365-5_20
WoS: 000921318200020

The stochastic primitive equations with transport noise and turbulent pressure
A. Agresti, M. Hieber, A. Hussein, M. Saal, Stochastics and Partial Differential Equations: Analysis and Computations (2022).
LibreCat: https://research-explorer.ista.ac.at/record/12178
DOI: 10.1007/s40072-022-00277-3
WoS: 000874389000001

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

The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at Solar, LMC, and SMC metallicities
Z. Keszthelyi, A. de Koter, Y.L.L. Götberg, G. Meynet, S.A. Brands, V. Petit, M. Carrington, A. David-Uraz, S.T. Geen, C. Georgy, R. Hirschi, J. Puls, K.J. Ramalatswa, M.E. Shultz, A. ud-Doula, Monthly Notices of the Royal Astronomical Society 517 (2022) 2028–2055.
LibreCat: https://research-explorer.ista.ac.at/record/13452
DOI: 10.1093/mnras/stac2598
arXiv: 2209.06350

The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at solar, LMC, and SMC metallicities
Z. Keszthelyi, A. de Koter, Y.L.L. Götberg, G. Meynet, S.A. Brands, V. Petit, M. Carrington, A.D.-U. A. David-Uraz, S.T. Geen, C. Georgy, R. Hirschi, J. Puls, K.J. Ramalatswa, M.E. Shultz, A. ud-Doula A. ud-Doula, Monthly Notices of the Royal Astronomical Society 517 (2022) 2028–2055.
LibreCat: https://research-explorer.ista.ac.at/record/14098
DOI: 10.1093/mnras/stac2598
arXiv: 2209.06350

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

Hide & Seek: Privacy-preserving rebalancing on payment channel networks
G. Avarikioti, K.Z. Pietrzak, I. Salem, S. Schmid, S. Tiwari, M.X. Yeo, in:, Financial Cryptography and Data Security, Springer Nature, 2022, pp. 358–373.
LibreCat: https://research-explorer.ista.ac.at/record/12167
DOI: 10.1007/978-3-031-18283-9_17
arXiv: 2110.08848

FORQ-based language inclusion formal testing
K. Doveri, P. Ganty, N.A. Mazzocchi, in:, Computer Aided Verification, Springer Nature, 2022, pp. 109–129.
LibreCat: https://research-explorer.ista.ac.at/record/12302
DOI: 10.1007/978-3-031-13188-2_6
WoS: 000870310500006
arXiv: 2207.13549

Practical statistically-sound proofs of exponentiation in any group
C. Hoffmann, P. Hubádek, C. Kamath, K. Klein, K.Z. Pietrzak, in:, Advances in Cryptology – CRYPTO 2022, Springer Nature, 2022, pp. 370–399.
LibreCat: https://research-explorer.ista.ac.at/record/12176
DOI: 10.1007/978-3-031-15979-4_13
WoS: 000886792700013

Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback
R. Gelashvili, E. Kokoris Kogias, A. Sonnino, A. Spiegelman, Z. Xiang, in:, Financial Cryptography and Data Security, Springer Nature, 2022, pp. 296–315.
LibreCat: https://research-explorer.ista.ac.at/record/12298
DOI: 10.1007/978-3-031-18283-9_14
arXiv: 2106.10362

Be aware of your leaders
S. Cohen, R. Gelashvili, E. Kokoris Kogias, Z. Li, D. Malkhi, A. Sonnino, A. Spiegelman, in:, International Conference on Financial Cryptography and Data Security, Springer Nature, 2022, pp. 279–295.
LibreCat: https://research-explorer.ista.ac.at/record/12168
DOI: 10.1007/978-3-031-18283-9_13
arXiv: 2110.00960

PET – A partial exploration tool for probabilistic verification
T. Meggendorfer, in:, 20th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2022, pp. 320–326.
LibreCat: https://research-explorer.ista.ac.at/record/12170
DOI: 10.1007/978-3-031-19992-9_20

History-deterministic timed automata are not determinizable
S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, in:, 16th International Conference on Reachability Problems, Springer Nature, 2022, pp. 67–76.
LibreCat: https://research-explorer.ista.ac.at/record/12175
DOI: 10.1007/978-3-031-19135-0_5

Neural attentive circuits
N. Rahaman, M. Weiss, F. Locatello, C. Pal, Y. Bengio, B. Schölkopf, L.E. Li, N. Ballas, in:, 36th Conference on Neural Information Processing Systems, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/14168
arXiv: 2210.08031