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.




5473 Publications

2018 | Published | 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.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | 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.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 5999 | OA
The cohomological Hall algebra of a preprojective algebra
Y. Yang, G. Zhao, Proceedings of the London Mathematical Society 116 (2018) 1029–1074.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | 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 141 (2018).
View | DOI | WoS
 
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
 
2018 | Published | 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 | Published | 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.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | 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.
[Submitted Version] View | Files available | DOI | WoS
 
2018 | Published | 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.
[Published Version] View | Files available | DOI
 
2018 | Published | 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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2018 | Published | 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, ML Research Press, 2018, pp. 2815–2824.
[Preprint] View | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | 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, ML Research Press, 2018, pp. 4442–4450.
[Preprint] View | Files available | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | 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 | WoS
 
2018 | Published | 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).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | 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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 607 | OA
Well posedness and maximum entropy approximation for the dynamics of quantitative traits
K. Bodova, J. Haskovec, P. Markowich, Physica D: Nonlinear Phenomena 376–377 (2018) 108–120.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 608 | OA
Synthesis from component libraries with costs
G. Avni, O. Kupferman, Theoretical Computer Science 712 (2018) 50–72.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2018 | Published | 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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2018 | Published | 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).
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | 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.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Export / Embed