Please note that IST 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.

3268 Publications


2018 | Journal Article | IST-REx-ID: 556 | OA
The free boundary Schur process and applications I
D. Betea, J. Bouttier, P. Nejjar, M. Vuletic, Annales Henri Poincare 19 (2018) 3663–3742.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5569 | OA
Time-lapse microscopy data
T. Bergmiller, N. Nikolic, (2018).
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5573 | OA
Graph matching problems for GraphFlow – 6D Large Displacement Scene Flow
H. Alhaija, A. Sellent, D. Kondermann, C. Rother, (2018).
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5574 | OA
Data Check IOP Scopus vs. Publisher
M. Villányi, (2018).
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5575 | OA
Data Check RSC Scopus vs. FWF
M. Villányi, (2018).
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5576 | OA
Data Check T&F Scopus vs. FWF
M. Villányi, (2018).
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5577 | OA View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5578 | OA
IOP Austrian Publications 2012-2015
M. Villányi, (2018).
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5579 | OA
RSC Austrian Publications 2013-2017
M. Villányi, (2018).
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5580 | OA
SAGE Austrian Publications 2013-2017
M. Villányi, (2018).
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5581 | OA View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5582 | OA View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5583 | OA View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5584 | OA
Nonlinear decoding of a complex movie from the mammalian retina
S. Deny, O. Marre, V. Botella-Soler, G.S. Martius, G. Tkačik, (2018).
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5587 | OA View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5588 | OA View | Files available | DOI
 

2018 | Book Chapter | IST-REx-ID: 562 | OA
Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses
D. Dimitrov, L. Guillaud, K. Eguchi, T. Takahashi, in:, S.D. Skaper (Ed.), Neurotrophic Factors, Springer, 2018, pp. 201–215.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 563 | OA
Estimating barriers to gene flow from distorted isolation-by-distance patterns
H. Ringbauer, A. Kolesnikov, D. Field, N.H. Barton, Genetics 208 (2018) 1231–1245.
View | Files available | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 564 | OA
Establishment in a new habitat by polygenic adaptation
N.H. Barton, A. Etheridge, Theoretical Population Biology 122 (2018) 110–127.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 565 | OA
The spread of an inversion with migration and selection
B. Charlesworth, N.H. Barton, Genetics 208 (2018) 377–382.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 566 | OA
Local inhomogeneous circular law
J. Alt, L. Erdös, T.H. Krüger, Annals Applied Probability 28 (2018) 148–203.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5672 | OA
IgM's exit route
A. REVERSAT, M.K. Sixt, Journal of Experimental Medicine 215 (2018) 2959–2961.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5673 | OA
Mechanistic framework for cell-intrinsic re-establishment of PIN2 polarity after cell division
M. Glanc, M. Fendrych, J. Friml, Nature Plants 4 (2018) 1082–1088.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 5675 | OA
Erratum to: Flexible Learning-Free Segmentation and Reconstruction of Neural Volumes
A. Shahbazi, J. Kinnison, R. Vescovi, M. Du, R. Hill, M.A. Jösch, M. Takeno, H. Zeng, N.M. Da Costa, J. Grutzendler, N. Kasthuri, W.J. Scheirer, Scientific Reports 8 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5676 | OA
Occluding junctions as novel regulators of tissue mechanics during wound repair
L. Carvalho, P. Patricio, S. Ponte, C.-P.J. Heisenberg, L. Almeida, A.S. Nunes, N.A.M. Araújo, A. Jacinto, Journal of Cell Biology 217 (2018) 4267–4283.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 5677 | OA
Contracts for system design
A. Benveniste, D. Nickovic, B. Caillaud, R. Passerone, J.B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T.A. Henzinger, K.G. Larsen, Foundations and Trends in Electronic Design Automation 12 (2018) 124–400.
View | DOI | Download Submitted Version (ext.)
 

2018 | Conference Paper | IST-REx-ID: 5679 | OA
New approaches for almost-sure termination of probabilistic programs
M. Huang, H. Fu, K. Chatterjee, in:, S. Ryu (Ed.), Springer, 2018, pp. 181–201.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Working Paper | IST-REx-ID: 5686 | OA
An Austrian proposal for the Classification of Open Access Tuples (COAT) - Distinguish different Open Access types beyond colors
P. Danowski, An Austrian Proposal for the Classification of Open Access Tuples (COAT) - Distinguish Different Open Access Types beyond Colors, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5751 | OA
Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M.A. Nowak, Communications Biology 1 (2018).
View | Files available | DOI
 
 

2018 | Journal Article | IST-REx-ID: 5767 | OA
Revealing hidden spin-momentum locking in a high-temperature cuprate superconductor
K. Gotlieb, C.-Y. Lin, M. Serbyn, W. Zhang, C.L. Smallwood, C. Jozwiak, H. Eisaki, Z. Hussain, A. Vishwanath, A. Lanzara, Science 362 (2018) 1271–1275.
View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 5770 | OA
Structure and architecture of immature and mature murine leukemia virus capsids
K. Qu, B. Glass, M. Doležal, F.K. Schur, B. Murciano, A. Rein, M. Rumlová, T. Ruml, H.-G. Kräusslich, J.A.G. Briggs, Proceedings of the National Academy of Sciences 115 (2018) E11751–E11760.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 5780 | OA
Genetically encodable bioluminescent system from fungi
Kotlobay AA, Sarkisyan K, Mokrushina YA, Marcet-Houben M, Serebrovskaya EO, Markina NM, Gonzalez Somermeyer L, Gorokhovatsky AY, Vvedensky A, Purtov KV, Petushkov VN, Rodionova NS, Chepurnyh TV, Fakhranurova L, Guglya EB, Ziganshin R, Tsarkova AS, Kaskova ZM, Shender V, Abakumov M, Abakumova TO, Povolotskaya IS, Eroshkin FM, Zaraisky AG, Mishin AS, Dolgov SV, Mitiouchkina TY, Kopantzev EP, Waldenmaier HE, Oliveira AG, Oba Y, Barsova E, Bogdanova EA, Gabaldón T, Stevani CV, Lukyanov S, Smirnov IV, Gitelson JI, Kondrashov F, Yampolsky IV. 2018. Genetically encodable bioluminescent system from fungi. Proceedings of the National Academy of Sciences of the United States of America. 115(50), 12728–12732.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5787 | OA
Statistical theory of branching morphogenesis
E.B. Hannezo, B.D. Simons, Development Growth and Differentiation 60 (2018) 512–521.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 5788 | OA
Infinite-duration poorman-bidding games
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, Springer, 2018, pp. 21–36.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 5791 | OA
Crossing minimization in perturbed drawings
R. Fulek, C.D. Tóth, in:, Springer, 2018, pp. 229–241.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5794 | OA
Quantum groups as hidden symmetries of quantum impurities
E. Yakaboylu, M. Shkolnikov, M. Lemeshko, Physical Review Letters 121 (2018).
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 58 | OA
Counting blanks in polygonal arrangements
A. Akopyan, E. Segal Halevi, SIAM Journal on Discrete Mathematics 32 (2018) 2242–2257.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5816 | OA
30 GHz-voltage controlled oscillator operating at 4 K
A. Hollmann, D. Jirovec, M. Kucharski, D. Kissinger, G. Fischer, L.R. Schreiber, Review of Scientific Instruments 89 (2018).
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5830 | OA
CLE9 peptide-induced stomatal closure is mediated by abscisic acid, hydrogen peroxide, and nitric oxide in arabidopsis thaliana
Zhang L, Shi X, Zhang Y, Wang J, Yang J, Ishida T, Jiang W, Han X, Kang J, Wang X, Pan L, Lv S, Cao B, Zhang Y, Wu J, Han H, Hu Z, Cui L, Sawa S, He J, Wang G. 2018. CLE9 peptide-induced stomatal closure is mediated by abscisic acid, hydrogen peroxide, and nitric oxide in arabidopsis thaliana. Plant Cell and Environment.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 5858 | OA
Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data
S. Hross, F.J. Theis, M.K. Sixt, J. Hasenauer, Journal of the Royal Society Interface 15 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5859 | OA
Chromatic transitions in the emergence of syntax networks
B. Corominas-Murtra, M.S. Fibla, S. Valverde, R. Solé, Royal Society Open Science 5 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5860 | OA
Zipf's Law, unbounded complexity and open-ended evolution
B. Corominas-Murtra, L.F. Seoane, R. Solé, Journal of the Royal Society Interface 15 (2018).
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5861 | OA
The cell sets the tone
J.H. Alanko, M.K. Sixt, ELife 7 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5888 | OA
Genomics in neurodevelopmental disorders: an avenue to personalized medicine
D.-C. Tarlungeanu, G. Novarino, Experimental & Molecular Medicine 50 (2018).
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Book Chapter | IST-REx-ID: 59
Graph games and reactive synthesis
R. Bloem, K. Chatterjee, B. Jobstmann, in:, T.A. Henzinger, E.M. Clarke, H. Veith, R. Bloem (Eds.), Handbook of Model Checking, 1st ed., Springer, 2018, pp. 921–962.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 5959 | OA
Keynote: The first-order logic of signals
A. Bakhirkin, T. Ferrere, T.A. Henzinger, D. Nickovicl, in:, 2018 International Conference on Embedded Software, IEEE, 2018, pp. 1–10.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5960 | OA
Proving the existence of loops in robot trajectories
S. Rohou, P. Franek, C. Aubry, L. Jaulin, The International Journal of Robotics Research 37 (2018) 1500–1516.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 5961
A brief tutorial on distributed and concurrent machine learning
D.-A. Alistarh, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18, ACM Press, 2018, pp. 487–488.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 5962 | OA
The convergence of stochastic gradient descent in asynchronous shared memory
D.-A. Alistarh, C. De Sa, N.H. Konstantinov, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18, ACM Press, 2018, pp. 169–178.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 5963 | OA
Relaxed schedulers can efficiently parallelize iterative algorithms
D.-A. Alistarh, T.A. Brown, J. Kopinsky, G. Nadiradze, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18, ACM Press, 2018, pp. 377–386.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 5964 | OA
Brief Announcement: Performance prediction for coarse-grained locking
V. Aksenov, D.-A. Alistarh, P. Kuznetsov, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18, ACM Press, 2018, pp. 411–413.
View | DOI | Download Submitted Version (ext.)
 

2018 | Conference Paper | IST-REx-ID: 5965 | OA
Distributionally linearizable data structures
D.-A. Alistarh, T.A. Brown, J. Kopinsky, J.Z. Li, G. Nadiradze, in:, Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures  - SPAA ’18, ACM Press, 2018, pp. 133–142.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 5966 | OA
The transactional conflict problem
D.-A. Alistarh, S.K. Haider, R. Kübler, G. Nadiradze, in:, Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures  - SPAA ’18, ACM Press, 2018, pp. 383–392.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 5967 | OA
The Big Match with a clock and a bit of memory
K.A. Hansen, R. Ibsen-Jensen, A. Neyman, in:, Proceedings of the 2018 ACM Conference on Economics and Computation  - EC ’18, ACM Press, 2018, pp. 149–150.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5971 | OA
Bounds on the norm of Wigner-type random matrices
L. Erdös, P. Mühlbacher, Random Matrices: Theory and Applications (2018).
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5975 | OA
Commutativity in the algorithmic Lovász local lemma
V. Kolmogorov, SIAM Journal on Computing 47 (2018) 2029–2056.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5976 | OA
FlexMaps: Computational design of flat flexible shells for shaping 3D objects
L. Malomo, J. Perez Rodriguez, E. Iarussi, N. Pietroni, E. Miguel, P. Cignoni, B. Bickel, ACM Transactions on Graphics 37 (2018).
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 5978 | OA
Exact MAP-inference by confining combinatorial search with LP relaxation
S. Haller, P. Swoboda, B. Savchynskyy, in:, Proceedings of the 32st AAAI Conference on Artificial Intelligence, AAAI, 2018, pp. 6581–6588.
View | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5980
Private set-intersection with common set-up
S. Chatterjee, C. Kamath Hosdurg, V. Kumar, American Institute of Mathematical Sciences 12 (2018) 17–47.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 5982 | OA
Tin diselenide molecular precursor for solution-processable thermoelectric materials
Y. Zhang, Y. Liu, K.H. Lim, C. Xing, M. Li, T. Zhang, P. Tang, J. Arbiol, J. Llorca, K.M. Ng, M. Ibáñez, P. Guardia, M. Prato, D. Cadavid, A. Cabot, Angewandte Chemie International Edition 57 (2018) 17063–17068.
View | DOI | Download Submitted Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 5983 | OA
Theory of the rotating polaron: Spectrum and self-localization
E. Yakaboylu, B. Midya, A. Deuchert, N.K. Leopold, M. Lemeshko, Physical Review B 98 (2018).
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5984 | OA
Optical functionalization of human class A orphan G-protein-coupled receptors
M. Morri, I. Sanchez-Romero, A.-M. Tichy, S. Kainrath, E.J. Gerrard, P. Hirschfeld, J. Schwarz, H.L. Janovjak, Nature Communications 9 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5989 | OA
Parent-of-Origin-Dependent Gene Expression in Male and Female Schistosome Parasites
J. Kincaid-Smith, M.A.L. Picard, C. Cosseau, J. Boissier, D. Severac, C. Grunau, E. Toulza, Genome Biology and Evolution 10 (2018) 840–856.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5990 | OA
Josephson effect in a few-hole quantum dot
J. Ridderbos, M. Brauns, J. Shen, F.K. de Vries, A. Li, E.P.A.M. Bakkers, A. Brinkman, F.A. Zwanenburg, Advanced Materials 30 (2018).
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5992 | OA
On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility
S. Dolati, F. Kage, J. Mueller, M. Müsken, M. Kirchner, G. Dittmar, M.K. Sixt, K. Rottner, M. Falcke, Molecular Biology of the Cell 29 (2018) 2674–2686.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 5993 | OA
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, ACM Transactions on Programming Languages and Systems 40 (2018).
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5995 | OA
Self-consistency test reveals systematic bias in programs for prediction change of stability upon mutation
D.R. Usmanova, N.S. Bogatyreva, J. Ariño Bernad, A.A. Eremina, A.A. Gorshkova, G.M. Kanevskiy, L.R. Lonishin, A.V. Meister, A.G. Yakupova, F. Kondrashov, D. Ivankov, Bioinformatics 34 (2018) 3653–3658.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 5996 | OA
The critical point of the transition to turbulence in pipe flow
M. Vasudevan, B. Hof, Journal of Fluid Mechanics 839 (2018) 76–94.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5998 | OA
Genome amplification and cellular senescence are hallmarks of human placenta development
Velicky P, Meinhardt G, Plessl K, Vondra S, Weiss T, Haslinger P, Lendl T, Aumayr K, Mairhofer M, Zhu X, Schütz B, Hannibal RL, Lindau R, Weil B, Ernerudh J, Neesen J, Egger G, Mikula M, Röhrl C, Urban AE, Baker J, Knöfler M, Pollheimer J. 2018. Genome amplification and cellular senescence are hallmarks of human placenta development. PLOS Genetics. 14(10), e1007698.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6
A micro-CT-based method for characterising lesions and locating electrodes in small animal brains
J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Journal of Visualized Experiments (JoVE) 141 (2018).
View | DOI
 

2018 | Book Chapter | IST-REx-ID: 60
Introduction to model checking
E. Clarke, T.A. Henzinger, H. Veith, in:, T.A. Henzinger (Ed.), Handbook of Model Checking, Springer, 2018, pp. 1–26.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 6001
ThreadScan: Automatic and scalable memory reclamation
D.-A. Alistarh, W. Leiserson, A. Matveev, N. Shavit, ACM Transactions on Parallel Computing 4 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6002 | OA
The Bogoliubov free energy functional I: Existence of minimizers and phase diagram
M.M. Napiórkowski, R. Reuvers, J.P. Solovej, Archive for Rational Mechanics and Analysis 229 (2018) 1037–1090.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6003 | OA
State of the art on stylized fabrication
B. Bickel, P. Cignoni, L. Malomo, N. Pietroni, Computer Graphics Forum 37 (2018) 325–342.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 6005 | OA
Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6006 | OA
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, Games 9 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6010 | OA
“Shepherd’s crook” neurons drive and synchronize the enhancing and suppressive mechanisms of the midbrain stimulus selection network
F. Garrido-Charad, T.A. Vega Zuniga, C. Gutiérrez-Ibáñez, P. Fernandez, L. López-Jury, C. González-Cabrera, H.J. Karten, H. Luksch, G.J. Marín, Proceedings of the National Academy of Sciences 115 (2018) E7615–E7623.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Conference Paper | IST-REx-ID: 6011 | OA
Data-dependent stability of stochastic gradient descent
I. Kuzborskij, C. Lampert, in:, Proceedings of the 35 Th International Conference on Machine Learning, International Machine Learning Society, 2018, pp. 2815–2824.
View | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6012 | OA
Learning equations for extrapolation and control
S. Sahoo, C. Lampert, G.S. Martius, in:, Proceedings of the 35th International Conference on Machine Learning, International Machine Learning Society, 2018, pp. 4442–4450.
View | Files available | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6031
Fast quantized arithmetic on x86: Trading compute for data movement
A. Stojanov, T.M. Smith, D.-A. Alistarh, M. Puschel, in:, 2018 IEEE International Workshop on Signal Processing Systems, IEEE, 2018.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 6032 | OA
Even delta-matroids and the complexity of planar boolean CSPs
A. Kazda, V. Kolmogorov, M. Rolinek, ACM Transactions on Algorithms 15 (2018).
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 606 | OA
Well-posedness for mean-field evolutions arising in superconductivity
M. Duerinckx, J.L. Fischer, Annales de l’Institut Henri Poincare (C) Non Linear Analysis 35 (2018) 1267–1319.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 607 | OA
Well posedness and maximum entropy approximation for the dynamics of quantitative traits
K. Bod’ová, J. Haskovec, P. Markowich, Physica D: Nonlinear Phenomena 376–377 (2018) 108–120.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 608 | OA
Synthesis from component libraries with costs
G. Avni, O. Kupferman, Theoretical Computer Science 712 (2018) 50–72.
View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 616 | OA
Destructive disinfection of infected brood prevents systemic disease spread in ant colonies
C. Pull, L.V. Ugelvig, F. Wiesenhofer, A.V. Grasse, S. Tragust, T. Schmitt, M. Brown, S. Cremer, ELife 7 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 617 | OA
Genotype and diet affect resistance, survival, and fecundity but not fecundity tolerance
M. Kutzer, J. Kurtz, S. Armitage, Journal of Evolutionary Biology 31 (2018) 159–171.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Preprint | IST-REx-ID: 6183 | OA View | Files available | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6195
Efficient FEM-based simulation of soft robots modeled as kinematic chains
M. Pozzi, E. Miguel Villalba, R. Deimel, M. Malvezzi, B. Bickel, O. Brock, D. Prattichizzo, in:, IEEE, 2018.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 62 | OA
Flexible learning-free segmentation and reconstruction of neural volumes
A. Shabazi, J. Kinnison, R. Vescovi, M. Du, R. Hill, M.A. Jösch, M. Takeno, H. Zeng, N. Da Costa, J. Grutzendler, N. Kasthuri, W. Scheirer, Scientific Reports 8 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 620 | OA
Distinct roles for plasma membrane PtdIns 4 P and PtdIns 4 5 P2 during yeast receptor mediated endocytosis
W. Yamamoto, S. Wada, M. Nagano, K. Aoshima, D.E. Siekhaus, J. Toshima, J. Toshima, Journal of Cell Science 131 (2018).
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 63 | OA
Unusual diversity of sex chromosomes in African cichlid fishes
W.J. Gammerdinger, T. Kocher, Genes 9 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6339 | OA
Diagrammatic Monte Carlo approach to angular momentum in quantum many-particle systems
G. Bighin, T. Tscherbul, M. Lemeshko, Physical Review Letters 121 (2018).
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6354 | OA
Platelet migration and bacterial trapping assay under flow
S. Fan, M. Lorenz, S. Massberg, F.R. Gärtner, Bio-Protocol 8 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6355 | OA
Any cyclic quadrilateral can be inscribed in any closed convex smooth curve
A. Akopyan, S. Avvakumov, Forum of Mathematics, Sigma 6 (2018).
View | Files available | DOI | arXiv
 

2018 | Journal Article | IST-REx-ID: 64 | OA
Self-organized criticality and pattern emergence through the lens of tropical geometry
N. Kalinin, A. Guzmán Sáenz, Y. Prieto, M. Shkolnikov, V. Kalinina, E. Lupercio, PNAS: Proceedings of the National Academy of Sciences of the United States of America 115 (2018) E8135–E8142.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Poster | IST-REx-ID: 6459 | OA
Open Access at IST Austria 2009-2017
B. Petritsch, Open Access at IST Austria 2009-2017, IST Austria, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6497 | OA
The Rho regulator Myosin IXb enables nonlymphoid tissue seeding of protective CD8+T cells
F. Moalli, X. Ficht, P. Germann, M. Vladymyrov, B. Stolp, I. de Vries, R. Lyck, J. Balmer, A. Fiocchi, M. Kreutzfeldt, D. Merkler, M. Iannacone, A. Ariga, M.H. Stoffel, J. Sharpe, M. Bähler, M.K. Sixt, A. Diz-Muñoz, J.V. Stein, The Journal of Experimental Medicine 2015 (2018) 1869–1890.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6499 | OA
X10 expansion microscopy enables 25‐nm resolution on conventional microscopes
S.M. Truckenbrodt, M. Maidorn, D. Crzan, H. Wildhagen, S. Kabatas, S.O. Rizzoli, EMBO Reports 19 (2018).
View | Files available | DOI
 

2018 | Book Chapter | IST-REx-ID: 6525
Mirror symmetry with branes by equivariant verlinde formulas
T. Hausel, A. Mellit, D. Pei, in:, Geometry and Physics: Volume I, Oxford University Press, 2018, pp. 189–218.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications