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.

6702 Publications


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 | Book Chapter | IST-REx-ID: 61 | OA
There is no strongly regular graph with parameters (460; 153; 32; 60)
A. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, M. Viazovska, in:, Contemporary Computational Mathematics, Springer, 2018, pp. 131–134.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6109 | OA
Genetic dissection of neuropeptide cell biology at high and low activity in a defined sensory neuron
P. Laurent, Q. Ch’ng, M. Jospin, C. Chen, R. Lorenzo, M. de Bono, Proceedings of the National Academy of Sciences 115 (2018) E6890–E6899.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 6111 | OA View | Files available | DOI | PubMed | Europe PMC
 

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 | Conference Paper | IST-REx-ID: 6164
Sphere construction on the FCC grid interpreted as layered hexagonal grids in 3D
G. Koshti, R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, P. Bhowmick, in:, Lecture Notes in Computer Science, Springer, Cham, 2018, pp. 82–96.
View | 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: 6368 | OA
Harnessing electro-optic correlations in an efficient mechanical converter
A.P. Higginbotham, P.S. Burns, M.D. Urmey, R.W. Peterson, N.S. Kampel, B.M. Brubaker, G. Smith, K.W. Lehnert, C.A. Regal, Nature Physics 14 (2018) 1038–1042.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6369 | OA
Topological phase transition measured in a dissipative metamaterial
E.I. Rosenthal, N.K. Ehrlich, M.S. Rudner, A.P. Higginbotham, K.W. Lehnert, Physical Review B 97 (2018).
View | DOI | Download Preprint (ext.) | 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
 

2018 | Conference Paper | IST-REx-ID: 6558 | OA
Byzantine Stochastic Gradient Descent
D.-A. Alistarh, Z. Allen-Zhu, J. Li, in:, S. Bengio, H. Wallach, H. Larochelle, K. Grauman, N. Cesa-Bianchi, R. Garnett (Eds.), Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2018, pp. 4613–4623.
View | Download Published Version (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6589 | OA
The convergence of sparsified gradient methods
D.-A. Alistarh, T. Hoefler, M. Johansson, N.H. Konstantinov, S. Khirirat, C. Renggli, in:, Advances in Neural Information Processing Systems 31, Neural information processing systems, 2018, pp. 5973–5983.
View | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6664 | OA
Decoding Reed-Muller and polar codes by successive factor graph permutations
S.A. Hashemi, N. Doan, M. Mondelli, W. Gross, in:, 2018 IEEE 10th International Symposium on Turbo Codes & Iterative Information Processing, IEEE, 2018, pp. 1–5.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6665 | OA
Binary linear codes with optimal scaling: Polar codes with large kernels
A. Fazeli, H. Hassani, M. Mondelli, A. Vardy, in:, 2018 IEEE Information Theory Workshop, IEEE, 2018, pp. 1–5.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6674
Decoder partitioning: Towards practical list decoding of polar codes
S.A. Hashemi, M. Mondelli, S.H. Hassani, C. Condo, R.L. Urbanke, W.J. Gross, IEEE Transactions on Communications 66 (2018) 3749–3759.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 6675 | OA
A new coding paradigm for the primitive relay channel
M. Mondelli, H. Hassani, R. Urbanke, in:, 2018 IEEE International Symposium on Information Theory, IEEE, 2018, pp. 351–355.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6678 | OA
How to achieve the capacity of asymmetric channels
M. Mondelli, H. Hassani, R. Urbanke, IEEE Transactions on Information Theory 64 (2018) 3371–3393.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6728 | OA
On the decoding of polar codes on permuted factor graphs
N. Doan, S.A. Hashemi, M. Mondelli, W.J. Gross, in:, 2018 IEEE Global Communications Conference , IEEE, 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6774 | OA
Computing simplicial representatives of homotopy group elements
M. Filakovský, P. Franek, U. Wagner, S.Y. Zhechev, Journal of Applied and Computational Topology 2 (2018) 177–231.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 68 | OA
Learning from dependent data
A. Zimin, Learning from Dependent Data, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 69 | OA
Charge sensing and spin relaxation times of holes in Ge hut wires
L. Vukušić, Charge Sensing and Spin Relaxation Times of Holes in Ge Hut Wires, IST Austria, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 690 | OA
Local law and Tracy–Widom limit for sparse random matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 171 (2018).
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 691 | OA
A homozygous founder mutation in TRAPPC6B associates with a neurodevelopmental disorder characterised by microcephaly epilepsy and autistic features
I. Marin Valencia, G. Novarino, A. Johansen, B. Rosti, M. Issa, D. Musaev, G. Bhat, E. Scott, J. Silhavy, V. Stanley, R. Rosti, J. Gleeson, F. Imam, M. Zaki, J. Gleeson, Journal of Medical Genetics 55 (2018) 48–54.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 692 | OA
3-Webs generated by confocal conics and circles
A. Akopyan, Geometriae Dedicata 194 (2018) 55–64.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 6941 | OA
SpaceMint: A cryptocurrency based on proofs of space
S. Park, A. Kwon, G. Fuchsbauer, P. Gazi, J.F. Alwen, K.Z. Pietrzak, in:, 22nd International Conference on Financial Cryptography and Data Security, Springer Nature, 2018, pp. 480–499.
View | DOI | Download Submitted Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 7 | OA
Social network plasticity decreases disease transmission in a eusocial insect
N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, Science 362 (2018) 941–945.
View | Files available | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 70 | OA
Transition to shocks in TASEP and decoupling of last passage times
P. Nejjar, Latin American Journal of Probability and Mathematical Statistics 15 (2018) 1311–1334.
View | Files available | DOI | arXiv
 

2018 | Journal Article | IST-REx-ID: 703 | OA
Maximum persistency via iterative relaxed inference with graphical models
A. Shekhovtsov, P. Swoboda, B. Savchynskyy, IEEE Transactions on Pattern Analysis and Machine Intelligence 40 (2018) 1668–1682.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 705
Super resolution microscopical localization of dopamine receptors 1 and 2 in rat hippocampal synaptosomes
A. Miklosi, G. Del Favero, T. Bulat, H. Höger, R. Shigemoto, D. Marko, G. Lubec, Molecular Neurobiology 55 (2018) 4857 – 4869.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 7058 | OA
Chiral spin order in some purported Kitaev spin-liquid compounds
K.A. Modic, B.J. Ramshaw, A. Shekhter, C.M. Varma, Physical Review B 98 (2018).
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 7059 | OA
Resonant torsion magnetometry in anisotropic quantum materials
K.A. Modic, M.D. Bachmann, B.J. Ramshaw, F. Arnold, K.R. Shirer, A. Estry, J.B. Betts, N.J. Ghimire, E.D. Bauer, M. Schmidt, M. Baenitz, E. Svanidze, R.D. McDonald, A. Shekhter, P.J.W. Moll, Nature Communications 9 (2018) 3975.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7060
Scale-invariant magnetoresistance in a cuprate superconductor
P. Giraldo-Gallo, J.A. Galvis, Z. Stegen, K.A. Modic, F.F. Balakirev, J.B. Betts, X. Lian, C. Moir, S.C. Riggs, J. Wu, A.T. Bollinger, X. He, I. Božović, B.J. Ramshaw, R.D. McDonald, G.S. Boebinger, A. Shekhter, Science 361 (2018) 479–481.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 7062 | OA
Quantum limit transport and destruction of the Weyl nodes in TaAs
B.J. Ramshaw, K.A. Modic, A. Shekhter, Y. Zhang, E.-A. Kim, P.J.W. Moll, M.D. Bachmann, M.K. Chan, J.B. Betts, F. Balakirev, A. Migliori, N.J. Ghimire, E.D. Bauer, F. Ronning, R.D. McDonald, Nature Communications 9 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7063 | OA
Sr2Pt8−xAs: A layered incommensurately modulated metal with saturated resistivity
E. Martino, A. Arakcheeva, G. Autès, A. Pisoni, M.D. Bachmann, K.A. Modic, T. Helm, O.V. Yazyev, P.J.W. Moll, L. Forró, S. Katrych, IUCrJ 5 (2018) 470–477.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 7116 | OA
Synchronous multi-GPU training for deep learning with low-precision communications: An empirical study
D. Grubic, L. Tam, D.-A. Alistarh, C. Zhang, in:, Proceedings of the 21st International Conference on Extending Database Technology, OpenProceedings, 2018, pp. 145–156.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 7123 | OA
Space-optimal majority in population protocols
D.-A. Alistarh, J. Aspnes, R. Gelashvili, in:, Proceedings of the 29th Annual ACM-SIAM Symposium on Discrete Algorithms, ACM, 2018, pp. 2221–2239.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 7126 | OA
Minimum description length codes are critical
R.J. Cubero, M. Marsili, Y. Roudi, Entropy 20 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 127
Clicks for doughnuts
S.R. Waitukaitis, Nature Physics 14 (2018) 777–778.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 13 | OA
Metamolds: Computational design of silicone molds
T. Alderighi, L. Malomo, D. Giorgi, N. Pietroni, B. Bickel, P. Cignoni, ACM Trans. Graph. 37 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 132 | OA
Defining lineage potential and fate behavior of precursors during pancreas development
M. Sznurkowska, E.B. Hannezo, R. Azzarelli, S. Rulands, S. Nestorowa, C. Hindley, J. Nichols, B. Göttgens, M. Huch, A. Philpott, B. Simons, Developmental Cell 46 (2018) 360–375.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 133 | OA
Synchronizing the asynchronous
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 134 | OA
Water surface wavelets
S. Jeschke, T. Skrivan, M. Mueller Fischer, N. Chentanez, M. Macklin, C.J. Wojtan, ACM Transactions on Graphics 37 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 135 | OA
Extended narrow band FLIP for liquid simulations
T. Sato, C.J. Wojtan, N. Thuerey, T. Igarashi, R. Ando, Computer Graphics Forum 37 (2018) 169–177.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 136 | OA
Unstable equilibria and invariant manifolds in quasi-two-dimensional Kolmogorov-like flow
B. Suri, J. Tithof, R. Grigoriev, M. Schatz, Physical Review E 98 (2018).
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 137 | OA
Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS
W. Zhang, M. Herde, J. Mitchell, J. Whitfield, A. Wulff, V. Vongsouthi, I. Sanchez-Romero, P. Gulakova, D. Minge, B. Breithausen, S. Schoch, H.L. Janovjak, C. Jackson, C. Henneberger, Nature Chemical Biology 14 (2018) 861–869.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 139 | OA View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 14 | OA
Relative contribution of PIN-containing secretory vesicles and plasma membrane PINs to the directed auxin transport: Theoretical estimation
S. Hille, M. Akhmanova, M. Glanc, A.J. Johnson, J. Friml, International Journal of Molecular Sciences 19 (2018).
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 141 | OA
Symbolic algorithms for graphs and Markov decision processes with fairness objectives
K. Chatterjee, M. Henzinger, V. Loitzenbauer, S. Oraee, V. Toman, in:, Springer, 2018, pp. 178–197.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 142 | OA
Reachable set over-approximation for nonlinear systems using piecewise barrier tubes
H. Kong, E. Bartocci, T.A. Henzinger, in:, Springer, 2018, pp. 449–467.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 143 | OA
Efficient algorithms for asymptotic bounds on termination time in VASS
T. Brázdil, K. Chatterjee, A. Kučera, P. Novotný, D. Velan, F. Zuleger, in:, IEEE, 2018, pp. 185–194.
View | DOI | Download Preprint (ext.)
 

2018 | Conference Paper | IST-REx-ID: 144
A theory of register monitors
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 145 | OA
Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission
S.M. Truckenbrodt, A. Viplav, S. Jähne, A. Vogts, A. Denker, H. Wildhagen, E. Fornasiero, S. Rizzoli, EMBO Journal 37 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 146 | OA
The dynamics of root cap sloughing in Arabidopsis is regulated by peptide signalling
C.L. Shi, D. von Wangenheim, U. Herrmann, M. Wildhagen, I. Kulik, A. Kopf, T. Ishida, V. Olsson, M.K. Anker, M. Albert, M.A. Butenko, G. Felix, S. Sawa, M. Claassen, J. Friml, R.B. Aalen, Nature Plants 4 (2018) 596–604.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 147 | OA
The inhibitor Endosidin 4 targets SEC7 domain-type ARF GTPase exchange factors and interferes with sub cellular trafficking in eukaryotes
U. Kania, T. Nodzyński, Q. Lu, G.R. Hicks, W. Nerinckx, K. Mishev, F. Peurois, J. Cherfils, R.R.M. De, P. Grones, S. Robert, E. Russinova, J. Friml, The Plant Cell 30 (2018) 2553–2572.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 148 | OA
The Chara genome: Secondary complexity and implications for plant terrestrialization
Nishiyama T, Sakayama H, De Vries J, Buschmann H, Saint Marcoux D, Ullrich K, Haas F, Vanderstraeten L, Becker D, Lang D, Vosolsobě S, Rombauts S, Wilhelmsson P, Janitza P, Kern R, Heyl A, Rümpler F, Calderón Villalobos L, Clay J, Skokan R, Toyoda A, Suzuki Y, Kagoshima H, Schijlen E, Tajeshwar N, Catarino B, Hetherington A, Saltykova A, Bonnot C, Breuninger H, Symeonidi A, Radhakrishnan G, Van Nieuwerburgh F, Deforce D, Chang C, Karol K, Hedrich R, Ulvskov P, Glöckner G, Delwiche C, Petrášek J, Van De Peer Y, Friml J, Beilby M, Dolan L, Kohara Y, Sugano S, Fujiyama A, Delaux PM, Quint M, Theissen G, Hagemann M, Harholt J, Dunand C, Zachgo S, Langdale J, Maumus F, Van Der Straeten D, Gould SB, Rensing S. 2018. The Chara genome: Secondary complexity and implications for plant terrestrialization. Cell. 174(2), 448–464.e24.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Thesis | IST-REx-ID: 149 | OA
Dyson equation and eigenvalue statistics of random matrices
J. Alt, Dyson Equation and Eigenvalue Statistics of Random Matrices, IST Austria, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 150 | OA
Inositol phosphates are assembly co-factors for HIV-1
R. Dick, K.K. Zadrozny, C. Xu, F.K. Schur, T.D. Lyddon, C.L. Ricana, J.M. Wagner, J.R. Perilla, P.B.K. Ganser, M.C. Johnson, O. Pornillos, V. Vogt, Nature 560 (2018) 509–512.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 152 | OA
Mammalian mitochondrial complex I structure and disease causing mutations
K. Fiedorczuk, L.A. Sazanov, Trends in Cell Biology 28 (2018) 835–867.
View | Files available | DOI
 

2018 | Book Chapter | IST-REx-ID: 153
Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments
J. Renkawitz, A. REVERSAT, A.F. Leithner, J. Merrin, M.K. Sixt, in:, Methods in Cell Biology, Academic Press, 2018, pp. 79–91.
View | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 154 | OA
Stability of the 2+2 fermionic system with point interactions
T. Moser, R. Seiringer, Mathematical Physics Analysis and Geometry 21 (2018).
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 155 | OA
Routing thermal noise through quantum networks
A. Xuereb, M. Aquilina, S. Barzanjeh, in:, D.L. Andrews, A. Ostendorf, A.J. Bain, J.M. Nunzi (Eds.), SPIE, 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 156 | OA
The compound interest in relaxing punctuality
T. Ferrere, in:, Springer, 2018, pp. 147–164.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 157 | OA
Evolution of cooperation in stochastic games
C. Hilbe, Š. Šimsa, K. Chatterjee, M. Nowak, Nature 559 (2018) 246–249.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 158 | OA
Maternal auxin supply contributes to early embryo patterning in Arabidopsis
H. Robert, C. Park, C. Gutièrrez, B. Wójcikowska, A. Pěnčík, O. Novák, J. Chen, W. Grunewald, T. Dresselhaus, J. Friml, T. Laux, Nature Plants 4 (2018) 548–553.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 159 | OA
Optical control of L-type Ca2+ channels using a diltiazem photoswitch
T. Fehrentz, F. Huber, N. Hartrampf, T. Bruegmann, J. Frank, N. Fine, D. Malan, J.G. Danzl, D. Tikhonov, M. Sumser, P. Sasse, D. Hodson, B. Zhorov, N. Klocker, D. Trauner, Nature Chemical Biology 14 (2018) 764–767.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 16 | OA
Mixing layer instability and vorticity amplification in a creeping viscoelastic flow
A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018).
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 160 | OA
Layered Concurrent Programs
B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 161 | OA
Statistical mechanics for metabolic networks during steady state growth
D. De Martino, A.A. Mc, T. Bergmiller, C.C. Guet, G. Tkačik, Nature Communications 9 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 163 | OA
Agitation modules: Flexible means to accelerate automated freeze substitution
S. Reipert, H. Goldammer, C. Richardson, M. Goldberg, T. Hawkins, E. Hollergschwandtner, W. Kaufmann, S. Antreich, Y. Stierhof, Journal of Histochemistry and Cytochemistry 66 (2018) 903–921.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications