Smallest enclosing spheres and Chernoff points in Bregman geometry
H. Edelsbrunner, Z. Virk, H. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 35:1-35:13.
LibreCat: https://research-explorer.ista.ac.at/record/188
DOI: 10.4230/LIPIcs.SoCG.2018.35

Learning directed acyclic graphs based on sparsest permutations
G. Raskutti, C. Uhler, STAT 7 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/2015
DOI: 10.1002/sta4.183
arXiv: 1307.0366

An introduction to the maximum entropy approach and its application to inference problems in biology
A. De Martino, D. De Martino, Heliyon 4 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/306
DOI: 10.1016/j.heliyon.2018.e00596

Handbook of Model Checking
E.M. Clarke, T.A. Henzinger, H. Veith, R. Bloem, Handbook of Model Checking, 1st ed., Springer Nature, Cham, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/3300
DOI: 10.1007/978-3-319-10575-8

Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube
M.P. Zagórski, A. Kicheva, in:, Morphogen Gradients , Springer Nature, 2018, pp. 47–63.
LibreCat: https://research-explorer.ista.ac.at/record/37
DOI: 10.1007/978-1-4939-8772-6_4

Fabrication and operation of microfluidic hanging drop networks
P. Misun, A. Birchler, M. Lang, A. Hierlemann, O. Frey, Methods in Molecular Biology 1771 (2018) 183–202.
LibreCat: https://research-explorer.ista.ac.at/record/305
DOI: 10.1007/978-1-4939-7792-5_15

Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs
S. Agrawal, K. Chatterjee, P. Novotný, in:, ACM, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/325
DOI: 10.1145/3158122
arXiv: 1709.04037

Observation of exciton-exciton interaction mediated valley Depolarization in Monolayer MoSe2
F. Mahmood, Z. Alpichshev, Y. Lee, J. Kong, N. Gedik, Nano Letters 18 (2018) 223–228.
LibreCat: https://research-explorer.ista.ac.at/record/394
DOI: 10.1021/acs.nanolett.7b03953
arXiv: 1712.07925

In vitro assay for induction of adventitious rooting on intact arabidopsis hypocotyls
H. Trinh, I. Verstraeten, D. Geelen, in:, Root Development , Springer Nature, 2018, pp. 95–102.
LibreCat: https://research-explorer.ista.ac.at/record/408
DOI: 10.1007/978-1-4939-7747-5_7
PMID: 29525951

Optimized whole mount in situ immunolocalization for Arabidopsis thaliana  root meristems and lateral root primordia
M. Karampelias, R. Tejos, J. Friml, S. Vanneste, in:, D. Ristova, E. Barbez (Eds.), Root Development. Methods and Protocols, Springer, 2018, pp. 131–143.
LibreCat: https://research-explorer.ista.ac.at/record/411
DOI: 10.1007/978-1-4939-7747-5_10

Zika-associated microcephaly: Reduce the stress and race for the treatment
G. Novarino, Science Translational Medicine 10 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/456
DOI: 10.1126/scitranslmed.aar7514

IST PubRep and IST DataRep: the institutional repositories at IST Austria
B. Petritsch, J. Porsche, VÖB Mitteilungen 71 (2018) 199–206.
LibreCat: https://research-explorer.ista.ac.at/record/53
DOI: 10.31263/voebm.v71i1.1993

Communication-efficient randomized consensus
D.-A. Alistarh, J. Aspnes, V. King, J. Saia, Distributed Computing 31 (2018) 489–501.
LibreCat: https://research-explorer.ista.ac.at/record/536
DOI: 10.1007/s00446-017-0315-1

The Bogoliubov free energy functional II: The dilute Limit
M.M. Napiórkowski, R. Reuvers, J. Solovej, Communications in Mathematical Physics 360 (2018) 347–403.
LibreCat: https://research-explorer.ista.ac.at/record/554
DOI: 10.1007/s00220-017-3064-x
arXiv: 1511.05953

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.
LibreCat: https://research-explorer.ista.ac.at/record/562
DOI: 10.1007/978-1-4939-7571-6_15
PMID: 29222783

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.
LibreCat: https://research-explorer.ista.ac.at/record/59
DOI: 10.1007/978-3-319-10575-8_27

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.
LibreCat: https://research-explorer.ista.ac.at/record/60
DOI: 10.1007/978-3-319-10575-8_1

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.
LibreCat: https://research-explorer.ista.ac.at/record/61
DOI: 10.1007/978-3-319-72456-0_7
arXiv: 1509.06286

A neuronal MAP kinase constrains growth of a Caenorhabditis elegans sensory dendrite throughout the life of the organism
I.G. McLachlan, I. Beets, M. de Bono, M.G. Heiman, PLOS Genetics 14 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/6111
DOI: 10.1371/journal.pgen.1007435
PMID: 29879119

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) 90–99.
LibreCat: https://research-explorer.ista.ac.at/record/6109
DOI: 10.1073/pnas.1714610115
PMID: 29959203