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.

5687 Publications


2020 | Thesis | IST-REx-ID: 8332 | OA
Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 14326 | OA
Object-centric learning with slot attention
F. Locatello, D. Weissenborn, T. Unterthiner, A. Mahendran, G. Heigold, J. Uszkoreit, A. Dosovitskiy, T. Kipf, in:, Advances in Neural Information Processing Systems, Curran Associates, 2020, pp. 11525–11538.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 71 | OA
Scaling limits of discrete optimal transport
P. Gladbach, E. Kopfer, J. Maas, SIAM Journal on Mathematical Analysis 52 (2020) 2759–2802.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 5681 | OA
Simulating liquids on dynamically warping grids
I. Hikaru, C. Wojtan, N. Thuerey, T. Igarashi, R. Ando, IEEE Transactions on Visualization and Computer Graphics 26 (2020) 2288–2302.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 8958 | OA
Rotation of coupled cold molecules in the presence of a many-body environment
X. Li, Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8386 | OA
Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7996 | OA
Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing
J. Kukucka, Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8272 | OA
Stochastic games with lexicographic reachability-safety objectives
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Book Chapter | IST-REx-ID: 7572 | OA
Computational analysis of filament polymerization dynamics in cytoskeletal networks
P.R. Dos Santos Caldas, P. Radler, C.M. Sommer, M. Loose, in:, P. Tran (Ed.), Methods in Cell Biology, Elsevier, 2020, pp. 145–161.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2020 | Journal Article | IST-REx-ID: 7387 | OA
Diffusion and capture permits dynamic coupling between treadmilling FtsZ filaments and cell division proteins
N.S. Baranova, P. Radler, V.M. Hernández-Rocamora, C. Alfonso, M.D. Lopez Pelegrin, G. Rivas, W. Vollmer, M. Loose, Nature Microbiology 5 (2020) 407–417.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8163 | OA
Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes
G. Vegter, M. Wintraecken, Studia Scientiarum Mathematicarum Hungarica 57 (2020) 193–199.
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8671 | OA
A note on belief structures and s-approximation spaces
A. Shakiba, A.K. Goharshady, M.R. Hooshmandasl, M. Alambardar Meybodi, Iranian Journal of Mathematical Sciences and Informatics 15 (2020) 117–128.
[Submitted Version] View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 6359 | OA
On the regularisation of the noise for the Euler-Maruyama scheme with irregular drift
K. Dareiotis, M. Gerencser, Electronic Journal of Probability 25 (2020).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Thesis | IST-REx-ID: 8390 | OA
Leveraging structure in Computer Vision tasks for flexible Deep Learning models
A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8186 | OA
Leveraging 2D data to learn textured 3D mesh generation
P.M. Henderson, V. Tsiminaki, C. Lampert, in:, Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2020, pp. 7498–7507.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7416 | OA [Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7464 | OA
Structures of immature EIAV Gag lattices reveal a conserved role for IP6 in lentivirus assembly
R.A. Dick, C. Xu, D.R. Morado, V. Kravchuk, C.L. Ricana, T.D. Lyddon, A.M. Broad, J.R. Feathers, M.C. Johnson, V.M. Vogt, J.R. Perilla, J.A.G. Briggs, F.K. Schur, PLOS Pathogens 16 (2020).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7212 | OA
Limits on amplifiers of natural selection under death-Birth updating
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, PLoS Computational Biology 16 (2020).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Thesis | IST-REx-ID: 7196 | OA
A role of graphs in evolutionary processes
J. Tkadlec, A Role of Graphs in Evolutionary Processes, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 9198 | OA
Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks
A. Shevchenko, M. Mondelli, in:, Proceedings of the 37th International Conference on Machine Learning, ML Research Press, 2020, pp. 8773–8784.
[Published Version] View | Files available | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications