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.

4530 Publications


2023 | Research Data | IST-REx-ID: 12869 | OA View | Files available | DOI
 

2023 | Preprint | IST-REx-ID: 12890 | OA
A stochastic cellular automaton model of culture formation
F.R. Klausen, A.B. Lauritsen, ArXiv (n.d.).
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 12916 | OA
Uniform bounds for rational points on hyperelliptic fibrations
D. Bonolis, T.D. Browning, Annali Della Scuola Normale Superiore Di Pisa - Classe Di Scienze 24 (2023) 173–204.
View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 12961 View | DOI | PubMed | Europe PMC
 

2023 | Research Data | IST-REx-ID: 12949 | OA View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13044 | OA
Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes
S. Mondal, R.B. Jethwa, B. Pant, R. Hauschild, S.A. Freunberger, Faraday Discussions (2023).
View | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 12984 | OA
Skin-Screen: A computational fabrication framework for color tattoos
M. Piovarci, A. Chapiro, B. Bickel, Transactions on Graphics 42 (2023).
View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 12979 | OA
Gloss-aware color correction for 3D printing
J. Condor, M. Piovarci, B. Bickel, P. Didyk, in:, SIGGRAPH ’23 Conference Proceedings, ACM, n.d.
View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 12976 | OA
Learning deposition policies for fused multi-material 3D printing
K. Liao, T. Tricard, M. Piovarci, H.-P. Seidel, V. Babaei, in:, 2023 IEEE International Conference on Robotics and Automation, IEEE, 2023.
View | Files available
 

2023 | Conference Paper | IST-REx-ID: 13048 | OA
Hausdorff and Gromov-Hausdorff stable subsets of the medial axis
A. Lieutier, M. Wintraecken, in:, Proceedings of the 55th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2023, pp. 1768–1776.
View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 13053 | OA
CrAM: A Compression-Aware Minimizer
E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , n.d.
View | Files available | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 13139 | OA
Correct approximation of stationary distributions
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.
View | Files available | DOI | arXiv
 

2023 | Conference Paper | IST-REx-ID: 13143 | OA
Certifying giant nonprimes
C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.
View | DOI | Download Submitted Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 13142 | OA
A learner-verifier framework for neural network controllers and certificates of stochastic systems
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13141 | OA
Computing adequately permissive assumptions for synthesis
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13145 | OA
A Mecke-type characterization of the Dirichlet–Ferguson measure
L. Dello Schiavo, E. Lytvynov, Electronic Communications in Probability 28 (2023) 1–12.
View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13049 | OA
PCBend: Light up your 3D shapes with foldable circuit boards
M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, S. Lefebvre, Transactions on Graphics 42 (n.d.).
View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12826 | OA
Neural control of optic flow-based navigation in Drosophila melanogaster
V. Pokusaeva, Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster, Institute of Science and Technology Austria, 2023.
View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13168 | OA
Effects of urban living environments on mental health in adults
Xu J, Liu N, Polemiti E, Garcia-Mondragon L, Tang J, Liu X, Lett T, Yu L, Nöthen MM, Feng J, Yu C, Marquand A, Schumann G, Walter H, Heinz A, Ralser M, Twardziok S, Vaidya N, Serin E, Jentsch M, Hitchen E, Eils R, Taron UH, Schütz T, Schepanski K, Banks J, Banaschewski T, Jansone K, Christmann N, Meyer-Lindenberg A, Tost H, Holz N, Schwarz E, Stringaris A, Neidhart M, Nees F, Siehl S, A. Andreassen O, T. Westlye L, Van Der Meer D, Fernandez S, Kjelkenes R, Ask H, Rapp M, Tschorn M, Böttger SJ, Novarino G, Marr L, Slater M, Viapiana GF, Orosa FE, Gallego J, Pastor A, Forstner A, Hoffmann P, M. Nöthen M, J. Forstner A, Claus I, Miller A, Heilmann-Heimbach S, Sommer P, Boye M, Wilbertz J, Schmitt K, Jirsa V, Petkoski S, Pitel S, Otten L, Athanasiadis AP, Pearmund C, Spanlang B, Alvarez E, Sanchez M, Giner A, Hese S, Renner P, Jia T, Gong Y, Xia Y, Chang X, Calhoun V, Liu J, Thompson P, Clinton N, Desrivieres S, H. Young A, Stahl B, Ogoh G. 2023. Effects of urban living environments on mental health in adults. Nature Medicine. 29, 1456–1467.
View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13164 | OA
Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries
K.R.B. Gert, K. Panser, J. Surm, B.S. Steinmetz, A. Schleiffer, L. Jovine, Y. Moran, F. Kondrashov, A. Pauli, Nature Communications 14 (2023).
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications