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.




4949 Publications

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.
[Published Version] View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 7407 | OA
Proofs of catalytic space
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science  Conference (ITCS 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 59:1-59:25.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
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 | Conference Paper | IST-REx-ID: 7812 | OA
Model compression via distillation and quantization
A. Polino, R. Pascanu, D.-A. Alistarh, in:, 6th International Conference on Learning Representations, 2018.
[Published Version] View | Files available | arXiv
 
2018 | Preprint | IST-REx-ID: 8547 | OA
Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture
A. Llorca, G. Ciceri, R.J. Beattie, F.K. Wong, G. Diana, E. Serafeimidou, M. Fernández-Otero, C. Streicher, S.J. Arnold, M. Meyer, S. Hippenmeyer, M. Maravall, O. Marín, BioRxiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.)
 
2018 | Book Chapter | IST-REx-ID: 86 | OA
Computing average response time
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
[Submitted Version] View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 9229 | OA
Diffraction-unlimited optical imaging for synaptic physiology
J.G. Danzl, Opera Medica et Physiologica 4 (2018) 11.
[Published Version] View | DOI | Download Published Version (ext.)
 
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.
[Published Version] View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 315 | OA
Is the sky the limit? On the expansion threshold of a species’ range
J. Polechova, PLoS Biology 16 (2018).
[Published Version] View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 9471 | OA
FACT complex is required for DNA demethylation at heterochromatin during reproduction in Arabidopsis
J.M. Frost, M.Y. Kim, G.T. Park, P.-H. Hsieh, M. Nakamura, S.J.H. Lin, H. Yoo, J. Choi, Y. Ikeda, T. Kinoshita, Y. Choi, D. Zilberman, R.L. Fischer, Proceedings of the National Academy of Sciences 115 (2018) E4720–E4729.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2018 | Conference Paper | IST-REx-ID: 186 | OA
The ℤ2-Genus of Kuratowski minors
R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 40.1-40.14.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 433 | OA
Thrackles: An improved upper bound
R. Fulek, J. Pach, in:, Springer, 2018, pp. 160–166.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2018 | Research Data Reference | IST-REx-ID: 9837 | OA
Data from: Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes
R. Faria, P. Chaube, H.E. Morales, T. Larsson, A.R. Lemmon, E.M. Lemmon, M. Rafajlović, M. Panova, M. Ravinet, K. Johannesson, A.M. Westram, R.K. Butlin, (2018).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2018 | Book Chapter | IST-REx-ID: 10864 | OA
Absorption and directed Jónsson terms
A. Kazda, M. Kozik, R. McKenzie, M. Moore, in:, J. Czelakowski (Ed.), Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, Springer Nature, Cham, 2018, pp. 203–220.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 184 | OA
Shellability is NP-complete
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 41:1-41:16.
[Published Version] View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 285 | OA
On the treewidth of triangulated 3-manifolds
K. Huszár, J. Spreer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Submitted Version] View | Files available | DOI | arXiv
 
2018 | Research Data Reference | IST-REx-ID: 13059 | OA
Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method
E. Garriga, P. di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, (2018).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2018 | Thesis | IST-REx-ID: 49 | OA
Ge hut wires - from growth to hole spin resonance
H. Watzinger, Ge Hut Wires - from Growth to Hole Spin Resonance, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 
2018 | Thesis | IST-REx-ID: 201 | OA
Multiple covers with balls
M. Iglesias Ham, Multiple Covers with Balls, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 
2018 | Thesis | IST-REx-ID: 68 | OA
Learning from dependent data
A. Zimin, Learning from Dependent Data, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

type<>research_data

Search

Filter Publications