Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5199 Publications
2018 |Published| Conference Paper | IST-REx-ID: 188 |
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.
[Published Version]
View
| Files available
| DOI
H. Edelsbrunner, Z. Virk, H. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 35:1-35:13.
2018 |Published| Journal Article | IST-REx-ID: 306 |
An introduction to the maximum entropy approach and its application to inference problems in biology
A. De Martino, D. De Martino, Heliyon 4 (2018).
[Published Version]
View
| Files available
| DOI
A. De Martino, D. De Martino, Heliyon 4 (2018).
2018 |Published| Book | IST-REx-ID: 3300
Handbook of Model Checking
E.M. Clarke, T.A. Henzinger, H. Veith, R. Bloem, Handbook of Model Checking, 1st ed., Springer Nature, Cham, 2018.
View
| DOI
E.M. Clarke, T.A. Henzinger, H. Veith, R. Bloem, Handbook of Model Checking, 1st ed., Springer Nature, Cham, 2018.
2018 |Published| Book Chapter | IST-REx-ID: 37 |
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.
[Submitted Version]
View
| Files available
| DOI
M.P. Zagórski, A. Kicheva, in:, Morphogen Gradients , Springer Nature, 2018, pp. 47–63.
2018 |Published| Journal Article | IST-REx-ID: 305
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.
View
| DOI
P. Misun, A. Birchler, M. Lang, A. Hierlemann, O. Frey, Methods in Molecular Biology 1771 (2018) 183–202.
2018 |Published| Conference Paper | IST-REx-ID: 325 |
Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs
S. Agrawal, K. Chatterjee, P. Novotný, in:, ACM, 2018.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Agrawal, K. Chatterjee, P. Novotný, in:, ACM, 2018.
2018 |Published| Book Chapter | IST-REx-ID: 408
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.
View
| DOI
| PubMed | Europe PMC
H. Trinh, I. Verstraeten, D. Geelen, in:, Root Development , Springer Nature, 2018, pp. 95–102.
2018 |Published| Book Chapter | IST-REx-ID: 411
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.
View
| DOI
M. Karampelias, R. Tejos, J. Friml, S. Vanneste, in:, D. Ristova, E. Barbez (Eds.), Root Development. Methods and Protocols, Springer, 2018, pp. 131–143.
2018 |Published| Journal Article | IST-REx-ID: 456
Zika-associated microcephaly: Reduce the stress and race for the treatment
G. Novarino, Science Translational Medicine 10 (2018).
View
| DOI
G. Novarino, Science Translational Medicine 10 (2018).
2018 |Published| Journal Article | IST-REx-ID: 536 |
Communication-efficient randomized consensus
D.-A. Alistarh, J. Aspnes, V. King, J. Saia, Distributed Computing 31 (2018) 489–501.
[Published Version]
View
| Files available
| DOI
D.-A. Alistarh, J. Aspnes, V. King, J. Saia, Distributed Computing 31 (2018) 489–501.
2018 |Published| Journal Article | IST-REx-ID: 554 |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
M.M. Napiórkowski, R. Reuvers, J. Solovej, Communications in Mathematical Physics 360 (2018) 347–403.
2018 |Published| Book Chapter | IST-REx-ID: 562 |
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.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D. Dimitrov, L. Guillaud, K. Eguchi, T. Takahashi, in:, S.D. Skaper (Ed.), Neurotrophic Factors, Springer, 2018, pp. 201–215.
2018 |Published| 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
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.
2018 |Published| 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
E. Clarke, T.A. Henzinger, H. Veith, in:, T.A. Henzinger (Ed.), Handbook of Model Checking, Springer, 2018, pp. 1–26.
2018 |Published| Book Chapter | IST-REx-ID: 61 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, M. Viazovska, in:, Contemporary Computational Mathematics, Springer, 2018, pp. 131–134.
2018 |Published| Journal Article | IST-REx-ID: 6354 |
Platelet migration and bacterial trapping assay under flow
S. Fan, M. Lorenz, S. Massberg, F.R. Gärtner, Bio-Protocol 8 (2018).
[Published Version]
View
| Files available
| DOI
S. Fan, M. Lorenz, S. Massberg, F.R. Gärtner, Bio-Protocol 8 (2018).
2018 |Published| 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
T. Hausel, A. Mellit, D. Pei, in:, Geometry and Physics: Volume I, Oxford University Press, 2018, pp. 189–218.
2018 |Published| Journal Article | IST-REx-ID: 690 |
Local law and Tracy–Widom limit for sparse random matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 171 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Lee, K. Schnelli, Probability Theory and Related Fields 171 (2018).
2018 |Published| Journal Article | IST-REx-ID: 703 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Shekhovtsov, P. Swoboda, B. Savchynskyy, IEEE Transactions on Pattern Analysis and Machine Intelligence 40 (2018) 1668–1682.
2018 |Published| Conference Paper | IST-REx-ID: 7116 |
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.
[Published Version]
View
| Files available
| DOI
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.