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.

7452 Publications


2022 | Published | Journal Article | IST-REx-ID: 11842 | OA
Weak-strong uniqueness for the Navier–Stokes equation for two fluids with ninety degree contact angle and same viscosities
S. Hensel, A. Marveggio, Journal of Mathematical Fluid Mechanics 24 (2022).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 18876 | OA
The unreasonable effectiveness of fully-connected layers for low-data regimes
P. Kocsis, P. Súkeník, G. Brasó, M. Niessner, L. Leal-Taixé, I. Elezi, in:, 36th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2022, pp. 1896–1908.
[Published Version] View | Files available | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 19491 | OA
The 8-rank of the narrow class group and the negative Pell equation
S. Chan, P. Koymans, D. Milovic, C. Pagano, Forum of Mathematics, Sigma 10 (2022).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 19490 | OA
Integral points on the congruent number curve
S. Chan, Transactions of the American Mathematical Society 375 (2022) 6675–6700.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 11402 | OA
Graph planning with expected finite horizon
K. Chatterjee, L. Doyen, Journal of Computer and System Sciences 129 (2022) 1–21.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12129 | OA
Connectivity of triangulation flip graphs in the plane
U. Wagner, E. Welzl, Discrete & Computational Geometry 68 (2022) 1227–1284.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 8286 | OA
Dynamic averaging load balancing on cycles
D.-A. Alistarh, G. Nadiradze, A. Sabour, Algorithmica 84 (2022) 1007–1029.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Thesis | IST-REx-ID: 10759 | OA
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.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 11478 | OA
A systematic characterization of microglia-like cell occurrence during retinal organoid differentiation
K. Bartalska, V. Hübschmann, M. Korkut, R.J. Cubero, A. Venturino, K. Rössler, T. Czech, S. Siegert, IScience 25 (2022).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Conference Paper | IST-REx-ID: 12101 | OA
Complexity of spatial games
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 12257 | OA
Social balance on networks: Local minima and best-edge dynamics
K. Chatterjee, J. Svoboda, D. Zikelic, A. Pavlogiannis, J. Tkadlec, Physical Review E 106 (2022).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 9311 | OA
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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12109 | OA
Quantifying nanoscale charge density features of contact-charged surfaces with an FEM/KPFM-hybrid approach
F. Pertl, J.C.A. Sobarzo Ponce, L.B. Shafeek, T. Cramer, S.R. Waitukaitis, Physical Review Materials 6 (2022).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Draft | Preprint | IST-REx-ID: 14597 | OA
Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow
J.L. Fischer, A. Marveggio, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12508 | OA
History-deterministic timed automata
T.A. Henzinger, K. Lehtinen, P. Totzke, in:, 33rd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 14:1-14:21.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 11336 | OA
Tissue-wide genetic and cellular landscape shapes the execution of sequential PRC2 functions in neural stem cell lineage progression
N. Amberg, F. Pauler, C. Streicher, S. Hippenmeyer, Science Advances 8 (2022).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10939 | OA
Parameter inference for stochastic biochemical models from perturbation experiments parallelised at the single cell level
A. Davidović, R.P. Chait, G. Batt, J. Ruess, PLoS Computational Biology 18 (2022).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Conference Paper | IST-REx-ID: 10774 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 11775 | OA
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.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 11442 | OA | PlanS
Closed-loop control of direct ink writing via reinforcement learning
M. Piovarci, M. Foshey, J. Xu, T. Erps, V. Babaei, P. Didyk, S. Rusinkiewicz, W. Matusik, B. Bickel, ACM Transactions on Graphics 41 (2022).
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed