Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5323 Publications


2024 | Published | Conference Paper | IST-REx-ID: 17413 | OA
Certifying phase abstraction
N. Froleyks, E. Yu, A. Biere, K. Heljanko, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 284–303.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Book Chapter | IST-REx-ID: 17425
Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers
O. Miranda, G.T. Cheung, S. Hippenmeyer, in:, K. Toyooka (Ed.), Neuronal Morphogenesis, 1st ed., Springer Nature, New York, NY, 2024, pp. 283–299.
View | DOI | PubMed | Europe PMC
 

2024 | Published | Conference Paper | IST-REx-ID: 17426
1-Lipschitz layers compared: Memory, speed, and certifiable robustness
B. Prach, F. Brau, G. Buttazzo, C. Lampert, in:, Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, Computer Vision Foundation, 2024, pp. 24574–24583.
[Published Version] View | Files available
 

2024 | Published | Journal Article | IST-REx-ID: 17435 | OA
Regimes of precipitation change over Europe and the Mediterranean
J. André, F. D’Andrea, P. Drobinski, C.J. Muller, Journal of Geophysical Research: Atmospheres 129 (2024).
[Published Version] View | Files available | DOI
 

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17436 | OA
Quantitative imaging reveals the role of MpARF proteasomal degradation during gemma germination
S. Das, M. De Roij, S. Bellows, M.D. Alvarez, S. Mutte, W. Kohlen, E. Farcot, D. Weijers, J.W. Borst, Plant Communications (2024).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17437 | OA [Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17442
Plasmid targeting and destruction by the DdmDE bacterial defence system
J.P.K. Bravo, D.A. Ramos, R. Fregoso Ocampo, C. Ingram, D.W. Taylor, Nature 630 (2024) 961–967.
View | DOI | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 17447 | OA
Special cubic zeros and the dual variety
V. Wang, Journal of the London Mathematical Society 110 (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 17456 | OA
L-GreCo: Layerwise-adaptive gradient compression for efficient data-parallel deep learning
I. Markov, K. Alimohammadi, E. Frantar, D.-A. Alistarh, in:, P. Gibbons, G. Pekhimenko, C. De Sa (Eds.), Proceedings of Machine Learning and Systems , Association for Computing Machinery, 2024.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17457 | OA
LGI1 autoantibodies enhance synaptic transmission by presynaptic Kv1 loss and increased action potential broadening
A. Ritzau-Jost, F. Gsell, J. Sell, S. Sachs, J.-C. Montanaro-Punzengruber, T. Kirmann, S. Maaß, S.R. Irani, C. Werner, C. Geis, M. Sauer, R. Shigemoto, S. Hallermann, Neurology, Neuroimmunology and Neuroinflammation 11 (2024) e200284.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 17458 | OA
Compensation of gene dosage on the mammalian X
D. Cecalev, B. Vicoso, R. Galupa, Development 151 (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17459 | OA
Langerhans cells: Central players in the pathophysiology of atopic dermatitis
Y. Pan, M. Hochgerner, M.A. Cichon, T. Benezeder, T. Bieber, P. Wolf, Journal of the European Academy of Dermatology and Venereology (2024).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17460 | OA
Self-organization of mortal filaments and its role in bacterial division ring formation
C.E. Vanhille-Campos, K.D. Whitley, P. Radler, M. Loose, S. Holden, A. Šarić, Nature Physics (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17461 | OA
Unconditional versus condition-dependent social immunity
S. Cremer, C. Pull, Trends in Parasitology (2024).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17462 | OA
Artificial boundary conditions for random elliptic systems with correlated coefficient field
N. Clozeau, L. Wang, Multiscale Modeling and Simulation 22 (2024) 973–1029.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17463 | OA
De novo design of allosterically switchable protein assemblies
A. Pillai, A. Idris, A. Philomin, C. Weidle, R. Skotheim, P.J.Y. Leung, A. Broerman, C. Demakis, A.J. Borst, F.M. Praetorius, D. Baker, Nature 632 (2024) 911–920.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | IST-REx-ID: 17465 | OA
High-dimensional limits in artificial neural networks
A. Shevchenko, High-Dimensional Limits in Artificial Neural Networks, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 | Submitted | Preprint | IST-REx-ID: 17468 | OA
Individual Marcus-type kinetics controls singlet and triplet oxygen evolution from superoxide
S. Mondal, H.T.K. Nguyen, R. Hauschild, S.A. Freunberger, ChemRxiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.)
 

2024 | Published | Conference Paper | IST-REx-ID: 17469 | OA
Compression of structured data with autoencoders: Provable benefit of nonlinearities and depth
K. Kögler, A. Shevchenko, H. Hassani, M. Mondelli, in:, Proceedings of the 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 24964–25015.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2024 | Research Data | IST-REx-ID: 17471 | OA View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed