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.
LibreCat: https://research-explorer.ista.ac.at/record/24
DOI: 10.24963/ijcai.2018/652
WoS: 000764175404117
arXiv: 1804.10601

Sensor synthesis for POMDPs with reachability objectives
K. Chatterjee, M. Chemlík, U. Topcu, in:, AAAI Press, 2018, pp. 47–55.
LibreCat: https://research-explorer.ista.ac.at/record/34
WoS: 000492986200006
arXiv: 1710.00675

Superconcentrators of density 25.3
V. Kolmogorov, M. Rolinek, Ars Combinatoria 141 (2018) 269–304.
LibreCat: https://research-explorer.ista.ac.at/record/18
WoS: 000446809500022
arXiv: 1405.7828

Any cyclic quadrilateral can be inscribed in any closed convex smooth curve
A. Akopyan, S. Avvakumov, Forum of Mathematics, Sigma 6 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/6355
DOI: 10.1017/fms.2018.7
WoS: 000433915500001
arXiv: 1712.10205

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.
LibreCat: https://research-explorer.ista.ac.at/record/6941
DOI: 10.1007/978-3-662-58387-6_26
WoS: 000540656400026

The Rho regulator Myosin IXb enables nonlymphoid tissue seeding of protective C+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.
LibreCat: https://research-explorer.ista.ac.at/record/6497
DOI: 10.1084/jem.20170896
WoS: 000440822900011

 expansion microscopy enables 25nm resolution on conventional microscopes
S.M. Truckenbrodt, M. Maidorn, D. Crzan, H. Wildhagen, S. Kabatas, S.O. Rizzoli, EMBO Reports 19 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/6499
DOI: 10.15252/embr.201845836
WoS: 000443682200009

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.
LibreCat: https://research-explorer.ista.ac.at/record/7123
DOI: 10.1137/1.9781611975031.144
WoS: 000483921200145
arXiv: 1704.04947

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.
LibreCat: https://research-explorer.ista.ac.at/record/9917
DOI: 10.1002/evl3.74
WoS: 000446774400004
PMID: 30283683

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.
LibreCat: https://research-explorer.ista.ac.at/record/9915
DOI: 10.1002/evl3.85
WoS: 000452990000002
PMID: 30564439

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).
LibreCat: https://research-explorer.ista.ac.at/record/8618
DOI: 10.1038/s41598-018-19947-1
WoS: 000424630400037
PMID: 29426833

Significance of whole-genome duplications on the emergence of evolutionary novelties
M. Yuuta, K. Koshiba-Takeuchi, Briefings in Functional Genomics 17 (2018) 329–338.
LibreCat: https://research-explorer.ista.ac.at/record/10880
DOI: 10.1093/bfgp/ely007
WoS: 000456054400004
PMID: 29579140

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).
LibreCat: https://research-explorer.ista.ac.at/record/9930
DOI: 10.5061/dryad.bp25b65

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).
LibreCat: https://research-explorer.ista.ac.at/record/9929
DOI: 10.5061/dryad.51sd2p5

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.
LibreCat: https://research-explorer.ista.ac.at/record/10882
DOI: 10.1109/cvpr.2018.00956
WoS: 000457843609036
arXiv: 1712.08087

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.
LibreCat: https://research-explorer.ista.ac.at/record/6558
WoS: 000461823304061
arXiv: 1803.08917

Even delta-matroids and the complexity of planar boolean CSPs
A. Kazda, V. Kolmogorov, M. Rolinek, ACM Transactions on Algorithms 15 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/6032
DOI: 10.1145/3230649
WoS: 000468036500007
arXiv: 1602.03124

Inferring recent demography from spatial genetic structure
H. Ringbauer, Inferring Recent Demography from Spatial Genetic Structure, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/200
DOI: 10.15479/AT:ISTA:th_963

On the circle covering theorem by A.W. Goodman and R.E. Goodman
A. Akopyan, A. Balitskiy, M. Grigorev, Discrete &; Computational Geometry 59 (2018) 1001–1009.
LibreCat: https://research-explorer.ista.ac.at/record/1064
DOI: 10.1007/s00454-017-9883-x
WoS: 000432205500011

Optical and optogenetic control of proliferation and survival 
E. Gschaider-Reichhart, Optical and Optogenetic Control of Proliferation and Survival , Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/418
DOI: 10.15479/AT:ISTA:th_913