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.




5046 Publications

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 | WoS
 
2018 | Conference Paper | IST-REx-ID: 25 | OA
Goal-HSVI: Heuristic search value iteration for goal-POMDPs
K. Horák, B. Bošanský, K. Chatterjee, in:, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, 2018, pp. 4764–4770.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2018 | Conference Paper | IST-REx-ID: 24 | OA
Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives
K. Chatterjee, A. Elgyütt, P. Novotný, O. Rouillé, in:, IJCAI, 2018, pp. 4692–4699.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Conference Paper | IST-REx-ID: 34 | OA
Sensor synthesis for POMDPs with reachability objectives
K. Chatterjee, M. Chemlík, U. Topcu, in:, AAAI Press, 2018, pp. 47–55.
[Preprint] View | Download Preprint (ext.) | WoS | arXiv
 
2018 | Journal Article | IST-REx-ID: 18 | OA
Superconcentrators of density 25.3
V. Kolmogorov, M. Rolinek, Ars Combinatoria 141 (2018) 269–304.
[Preprint] View | Download Preprint (ext.) | WoS | arXiv
 
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).
[Published Version] View | Files available | DOI | WoS | 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 | WoS
 
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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
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.
[Published Version] View | Files available | DOI | WoS
 
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).
[Published Version] View | Files available | DOI | WoS
 
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.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Journal Article | IST-REx-ID: 9917 | OA
Clines on the seashore: The genomic architecture underlying rapid divergence in the face of gene flow
A.M. Westram, M. Rafajlović, P. Chaube, R. Faria, T. Larsson, M. Panova, M. Ravinet, A. Blomberg, B. Mehlig, K. Johannesson, R. Butlin, Evolution Letters 2 (2018) 297–309.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 9915 | OA
Are assortative mating and genital divergence driven by reinforcement?
J. Hollander, M. Montaño-Rendón, G. Bianco, X. Yang, A.M. Westram, L. Duvaux, D.G. Reid, R.K. Butlin, Evolution Letters 2 (2018) 557–566.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 8618 | OA
Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from the bacterial photoreceptor YtvA
C. Gregor, S.C. Sidenstein, M. Andresen, S.J. Sahl, J.G. Danzl, S.W. Hell, Scientific Reports 8 (2018).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 10881
Molecular evolution and diversification of the SMXL gene family
T.R. Moturu, S. Thula, R.K. Singh, T. Nodzyński, R.S. Vařeková, J. Friml, S. Simon, Journal of Experimental Botany 69 (2018) 2367–2378.
View | DOI | WoS | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 10880 | OA
Significance of whole-genome duplications on the emergence of evolutionary novelties
M. Yuuta, K. Koshiba-Takeuchi, Briefings in Functional Genomics 17 (2018) 329–338.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2018 | Research Data Reference | IST-REx-ID: 9930 | OA
Data from: Clines on the seashore: the genomic architecture underlying rapid divergence in the face of gene flow
A.M. Westram, M. Rafajlović, P. Chaube, R. Faria, T. Larsson, M. Panova, M. Ravinet, A. Blomberg, B. Mehlig, K. Johannesson, R. Butlin, (2018).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2018 | Research Data Reference | IST-REx-ID: 9929 | OA
Data from: Are assortative mating and genital divergence driven by reinforcement?
J. Hollander, M. Montaño-Rendón, G. Bianco, X. Yang, A.M. Westram, L. Duvaux, D.G. Reid, R.K. Butlin, (2018).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2018 | Conference Paper | IST-REx-ID: 10882 | OA
Learning intelligent dialogs for bounding box annotation
J. Uijlings, K. Konyushkova, C. Lampert, V. Ferrari, in:, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2018, pp. 9175–9184.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Conference Paper | IST-REx-ID: 6558 | OA
Byzantine stochastic gradient descent
D.-A. Alistarh, Z. Allen-Zhu, J. Li, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2018, pp. 4613–4623.
[Published Version] View | Download Published Version (ext.) | WoS | arXiv
 

Search

Filter Publications