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).
LibreCat: https://research-explorer.ista.ac.at/record/6
DOI: 10.3791/58585
WoS: 000456469400103

Spectroscopic properties of luminous Ly;1 emitters at z  6–7 and comparison to the Lyman-break population
J.J. Matthee, D. Sobral, B. Darvish, S. Santos, B. Mobasher, A. Paulino-Afonso, H. Röttgering, L. Alegre, Monthly Notices of the Royal Astronomical Society 472 (2017) 772–787.
LibreCat: https://research-explorer.ista.ac.at/record/11572
DOI: 10.1093/mnras/stx2061
arXiv: 1706.06591

Towards unlicensed cellular networks in TV white spaces
G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, L. Qiu, in:, Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14.
LibreCat: https://research-explorer.ista.ac.at/record/487
DOI: 10.1145/3143361.3143367

IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses
C. Chen, E. Itakura, G.M. Nelson, M. Sheng, P. Laurent, L.A. Fenk, R.A. Butcher, R.S. Hegde, M. de Bono, Nature 542 (2017) 43–48.
LibreCat: https://research-explorer.ista.ac.at/record/6117
DOI: 10.1038/nature20818
PMID:     28099418

Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder
J. Schroeder, E. Deliu, G. Novarino, M. Schmeisser, in:, M. Schmeisser, T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder, Springer, 2017, pp. 189–211.
LibreCat: https://research-explorer.ista.ac.at/record/634
DOI: 10.1007/978-3-319-52498-6_10

On the quantitative semantics of regular expressions over real-valued signals
A. Bakhirkin, T. Ferrere, O. Maler, D. Ulus, in:, A. Abate, G. Geeraerts (Eds.), Springer, 2017, pp. 189–206.
LibreCat: https://research-explorer.ista.ac.at/record/636
DOI: 10.1007/978-3-319-65765-3_11

Synchronizing the asynchronous
T.A. Henzinger, B. Kragl, S. Qadeer, Synchronizing the Asynchronous, IST Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6426
DOI: 10.15479/AT:IST-2018-853-v2-2

The complexity of general-valued CSPs
V. Kolmogorov, A. Krokhin, M. Rolinek, SIAM Journal on Computing 46 (2017) 1087–1110.
LibreCat: https://research-explorer.ista.ac.at/record/644
DOI: 10.1137/16M1091836

Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6
J. Schwarz, V. Bierbaum, K. Vaahtomeri, R. Hauschild, M. Brown, I. de Vries, A.F. Leithner, A. Reversat, J. Merrin, T. Tarrant, M.T. Bollenbach, M.K. Sixt, Current Biology 27 (2017) 1314–1325.
LibreCat: https://research-explorer.ista.ac.at/record/674
DOI: 10.1016/j.cub.2017.04.004

Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates
K.A. Modic, B.J. Ramshaw, J.B. Betts, N.P. Breznay, J.G. Analytis, R.D. McDonald, A. Shekhter, Nature Communications 8 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/7064
DOI: 10.1038/s41467-017-00264-6

Predation drives local adaptation of phenotypic plasticity
J. Reger, M.I. Lind, M.R. Robinson, A.P. Beckerman, Nature Ecology &; Evolution 2 (2017) 100–107.
LibreCat: https://research-explorer.ista.ac.at/record/7725
DOI: 10.1038/s41559-017-0373-6

Scalable bias-resistant distributed randomness
E. Syta, P. Jovanovic, E. Kokoris Kogias, N. Gailly, L. Gasser, I. Khoffi, M.J. Fischer, B. Ford, in:, 2017 IEEE Symposium on Security and Privacy, IEEE, 2017, pp. 444–460.
LibreCat: https://research-explorer.ista.ac.at/record/8306
DOI: 10.1109/SP.2017.45

Spin-orbit delays in photoemission
I. Jordan, M. Huppert, S. Pabst, A.S. Kheifets, D.R. Baykusheva, H.J. Wörner, Physical Review A 95 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/14009
DOI: 10.1103/physreva.95.013404

Comment on ‘Time delays in molecular photoionization’
D.R. Baykusheva, H.J. Wörner, Journal of Physics B: Atomic, Molecular and Optical Physics 50 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/14007
DOI: 10.1088/1361-6455/aa62b5
arXiv: 1611.09352

Complexity of constraint satisfaction
M. Rolinek, Complexity of Constraint Satisfaction, Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/992
DOI: 10.15479/AT:ISTA:th_815

Conic abstractions for hybrid systems
S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132.
LibreCat: https://research-explorer.ista.ac.at/record/647
DOI: 10.1007/978-3-319-65765-3_7

Local law of addition of random matrices on optimal scale
Z. Bao, L. Erdös, K. Schnelli, Communications in Mathematical Physics 349 (2017) 947–990.
LibreCat: https://research-explorer.ista.ac.at/record/1207
DOI: 10.1007/s00220-016-2805-6
WoS: 000393696700005

D inf s optimality in copula models
E. Perrone, A. Rappold, W. Müller, Statistical Methods and Applications 26 (2017) 403–418.
LibreCat: https://research-explorer.ista.ac.at/record/1168
DOI: 10.1007/s10260-016-0375-6
WoS: 000407973200004

Algorithmic solvability of the lifting extension problem
M. cadek, M. Krcál, L. Vokínek, Discrete &; Computational Geometry 54 (2017) 915–965.
LibreCat: https://research-explorer.ista.ac.at/record/1073
DOI: 10.1007/s00454-016-9855-6
WoS: 000400072700008

A moving source of matrix components is essential for De Novo basement membrane formation
Y. Matsubayashi, A. Louani, A. Dragu, B. Sanchez Sanchez, E. Serna Morales, L. Yolland, A. György, G. Vizcay, R. Fleck, J. Heddleston, T. Chew, D.E. Siekhaus, B. Stramer, Current Biology 27 (2017) 3526–3534e.4.
LibreCat: https://research-explorer.ista.ac.at/record/751
DOI: 10.1016/j.cub.2017.10.001
WoS: 000415815800031