cShephers crookd 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) 15–23.
LibreCat: https://research-explorer.ista.ac.at/record/6010
DOI: 10.1073/pnas.1804517115
WoS: 000440982000020
PMID: 30026198

State of the art on stylized fabrication
B. Bickel, P. Cignoni, L. Malomo, N. Pietroni, Computer Graphics Forum 37 (2018) 325–342.
LibreCat: https://research-explorer.ista.ac.at/record/6003
DOI: 10.1111/cgf.13327
WoS: 000437272800019

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.
LibreCat: https://research-explorer.ista.ac.at/record/6002
DOI: 10.1007/s00205-018-1232-6
WoS: 000435367300003
arXiv: 1511.05935

The critical point of the transition to turbulence in pipe flow
M. Vasudevan, B. Hof, Journal of Fluid Mechanics 839 (2018) 76–94.
LibreCat: https://research-explorer.ista.ac.at/record/5996
DOI: 10.1017/jfm.2017.923
WoS: 000437858300003
arXiv: 1709.06372

Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, ACM Transactions on Programming Languages and Systems 40 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/5993
DOI: 10.1145/3174800
WoS: 000434634500003
arXiv: 1510.08517

The cohomological Hall algebra of a preprojective algebra
Y. Yang, G. Zhao, Proceedings of the London Mathematical Society 116 (2018) 1029–1074.
LibreCat: https://research-explorer.ista.ac.at/record/5999
DOI: 10.1112/plms.12111
WoS: 000431506400001
arXiv: 1407.7994

Parent-of-Origin-Dependent Gene Expression in Male and Female Schistosome Parasites
J. Kincaid-Smith, M.A.L. Picard, C. Cosseau, J. Boissier, D. Severac, C. Grunau, E. Toulza, Genome Biology and Evolution 10 (2018) 840–856.
LibreCat: https://research-explorer.ista.ac.at/record/5989
DOI: 10.1093/gbe/evy037
WoS: 000429483700013

Fast quantized arithmetic on : 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.
LibreCat: https://research-explorer.ista.ac.at/record/6031
DOI: 10.1109/SiPS.2018.8598402
WoS: 000465106800060

Goal-HSVI: Heuristic search value iteration for goal-POMDPs
K. Horák, B. Bosanský, K. Chatterjee, in:, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, 2018, pp. 4764–4770.
LibreCat: https://research-explorer.ista.ac.at/record/25
DOI: 10.24963/ijcai.2018/662
WoS: 000764175404127

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

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.
LibreCat: https://research-explorer.ista.ac.at/record/6195
DOI: 10.1109/icra.2018.8461106
WoS: 000446394503031

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