Bakhirkin A, Ferrere T, Maler O. Efficient parametric identification for STL. In: Proceedings of the 21st International Conference on Hybrid Systems. ACM; 2018:177-186. doi:10.1145/3178126.3178132
LibreCat: https://research-explorer.ista.ac.at/record/182
DOI: 10.1145/3178126.3178132
WoS: 000474781600020

Brázdil T, Chatterjee K, Kudera A, Novotný P, Velan D, Zuleger F. Efficient algorithms for asymptotic bounds on termination time in VASS. In: Vol 8033. IEEE; 2018:185-194. doi:10.1145/3209108.3209191
LibreCat: https://research-explorer.ista.ac.at/record/143
DOI: 10.1145/3209108.3209191
WoS: 000545262800020

Mohapatra P, Rolinek M, Jawahar CV, Kolmogorov V, Kumar MP. Efficient optimization for rank-based loss functions. In: 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition. IEEE; 2018:3693-3701. doi:10.1109/cvpr.2018.00389
LibreCat: https://research-explorer.ista.ac.at/record/273
DOI: 10.1109/cvpr.2018.00389
WoS: 000457843603087
arXiv: 1604.08269

Zibrov A, Rao P, Kometter C, et al. Emergent dirac gullies and gully-symmetry-breaking quantum hall states in ABA trilayer graphene. Physical Review Letters. 2018;121(16). doi:10.1103/PhysRevLett.121.167601
LibreCat: https://research-explorer.ista.ac.at/record/289
DOI: 10.1103/PhysRevLett.121.167601
WoS: 000447307500007
arXiv: 1805.01038

Salari V, Barzanjeh S, Cifra M, et al. Electromagnetic fields and optomechanics In cancer diagnostics and treatment. Frontiers in Bioscience - Landmark. 2018;23(8):1391-1406. doi:10.2741/4651
LibreCat: https://research-explorer.ista.ac.at/record/287
DOI: 10.2741/4651
WoS: 000439042800001
PMID: 29293441

Matousek J, Sedgwick E, Tancer M, Wagner U. Embeddability in the 3-Sphere is decidable. Journal of the ACM. 2018;65(1). doi:10.1145/3078632
LibreCat: https://research-explorer.ista.ac.at/record/425
DOI: 10.1145/3078632
WoS: 000425685900006
arXiv: 1402.0815

Barton NH, Etheridge A. Establishment in a new habitat by polygenic adaptation. Theoretical Population Biology. 2018;122(7):110-127. doi:10.1016/j.tpb.2017.11.007
LibreCat: https://research-explorer.ista.ac.at/record/564
DOI: 10.1016/j.tpb.2017.11.007
WoS: 000440392900014

Hilbe C, Simsa S, Chatterjee K, Nowak M. Evolution of cooperation in stochastic games. Nature. 2018;559(7713):246-249. doi:10.1038/s41586-018-0277-x
LibreCat: https://research-explorer.ista.ac.at/record/157
DOI: 10.1038/s41586-018-0277-x
WoS: 000438240900054

Hönigschmid P, Bykova N, Schneider R, Ivankov D, Frishman D. Evolutionary interplay between symbiotic relationships and patterns of signal peptide gain and loss. Genome Biology and Evolution. 2018;10(3):928-938. doi:10.1093/gbe/evy049
LibreCat: https://research-explorer.ista.ac.at/record/384
DOI: 10.1093/gbe/evy049
WoS: 000429483700022

Ringbauer H, Kolesnikov A, Field D, Barton NH. Estimating barriers to gene flow from distorted isolation-by-distance patterns. Genetics. 2018;208(3):1231-1245. doi:10.1534/genetics.117.300638
LibreCat: https://research-explorer.ista.ac.at/record/563
DOI: 10.1534/genetics.117.300638
WoS: 000426219600025

Sato T, Wojtan C, Thuerey N, Igarashi T, Ando R. Extended narrow band FLIP for liquid simulations. Computer Graphics Forum. 2018;37(2):169-177. doi:10.1111/cgf.13351
LibreCat: https://research-explorer.ista.ac.at/record/135
DOI: 10.1111/cgf.13351
WoS: 000434085600016

Bodova K, Priklopil T, Field D, Barton NH, Pickup M. Evolutionary pathways for the generation of new self-incompatibility haplotypes in a non-self recognition system. Genetics. 2018;209(3):861-883. doi:10.1534/genetics.118.300748
LibreCat: https://research-explorer.ista.ac.at/record/316
DOI: 10.1534/genetics.118.300748
WoS: 000437171700017

Harrison M, Arning N, Kremer L, et al. Expansions of key protein families in the German cockroach highlight the molecular basis of its remarkable success as a global indoor pest. Journal of Experimental Zoology Part B: Molecular and Developmental Evolution. 2018;330:254-264. doi:10.1002/jez.b.22824
LibreCat: https://research-explorer.ista.ac.at/record/190
DOI: 10.1002/jez.b.22824
WoS: 000443231000002
PMID: 29998472

Fischer JL, Grün G. Existence of positive solutions to stochastic thin-film equations. SIAM Journal on Mathematical Analysis. 2018;50(1):411-455. doi:10.1137/16M1098796
LibreCat: https://research-explorer.ista.ac.at/record/404
DOI: 10.1137/16M1098796
WoS: 000426630900015

Bodova K, Priklopil T, Field D, Barton NH, Pickup M. Supplemental material for Bodova et al., 2018. 2018. doi:10.25386/genetics.6148304.v1
LibreCat: https://research-explorer.ista.ac.at/record/9813
DOI: 10.25386/genetics.6148304.v1

Kotlobay AA, Sarkisyan K, Mokrushina YA, et al. Genetically encodable bioluminescent system from fungi. Proceedings of the National Academy of Sciences of the United States of America. 2018;115(50):12728-12732. doi:10.1073/pnas.1803615115
LibreCat: https://research-explorer.ista.ac.at/record/5780
DOI: 10.1073/pnas.1803615115
WoS: 000452866000068

Salanenka Y, Verstraeten I, Löfke C, et al. Gibberellin DELLA signaling targets the retromer complex to redirect protein trafficking to the plasma membrane. PNAS. 2018;115(14):3716-3721. doi:10.1073/pnas.1721760115
LibreCat: https://research-explorer.ista.ac.at/record/428
DOI: 10.1073/pnas.1721760115
WoS: 000429012500073

Shabazi A, Kinnison J, Vescovi R, et al. Flexible learning-free segmentation and reconstruction of neural volumes. Scientific Reports. 2018;8(1). doi:10.1038/s41598-018-32628-3
LibreCat: https://research-explorer.ista.ac.at/record/62
DOI: 10.1038/s41598-018-32628-3
WoS: 000445336600015

Leithner AF, Renkawitz J, de Vries I, Hauschild R, Haecker H, Sixt MK. Fast and efficient genetic engineering of hematopoietic precursor cells for the study of dendritic cell migration. European Journal of Immunology. 2018;48(6):1074-1077. doi:10.1002/eji.201747358
LibreCat: https://research-explorer.ista.ac.at/record/437
DOI: 10.1002/eji.201747358
WoS: 000434963700016

Kutzer M, Kurtz J, Armitage S. Genotype and diet affect resistance, survival, and fecundity but not fecundity tolerance. Journal of Evolutionary Biology. 2018;31(1):159-171. doi:10.1111/jeb.13211
LibreCat: https://research-explorer.ista.ac.at/record/617
DOI: 10.1111/jeb.13211
WoS: 000419307000014
PMID: 29150962

Tarlungeanu D-C, Novarino G. Genomics in neurodevelopmental disorders: an avenue to personalized medicine. Experimental &; Molecular Medicine. 2018;50(8). doi:10.1038/s12276-018-0129-7
LibreCat: https://research-explorer.ista.ac.at/record/5888
DOI: 10.1038/s12276-018-0129-7
WoS: 000441266700006
PMID: 30089840

Lundholm D, Seiringer R. Fermionic behavior of ideal anyons. Letters in Mathematical Physics. 2018;108(11):2523-2541. doi:10.1007/s11005-018-1091-y
LibreCat: https://research-explorer.ista.ac.at/record/295
DOI: 10.1007/s11005-018-1091-y
WoS: 000446491500008
arXiv: 1712.06218

Richter R, Baranova NS, Day A, Kwok J. Glycosaminoglycans in extracellular matrix organisation: Are concepts from soft matter physics key to understanding the formation of perineuronal nets? Current Opinion in Structural Biology. 2018;50:65-74. doi:10.1016/j.sbi.2017.12.002
LibreCat: https://research-explorer.ista.ac.at/record/555
DOI: 10.1016/j.sbi.2017.12.002
WoS: 000443661300011

Harrison M, Jongepier E, Robertson H, et al. Hemimetabolous genomes reveal molecular basis of termite eusociality. Nature Ecology and Evolution. 2018;2(3):557-566. doi:10.1038/s41559-017-0459-1
LibreCat: https://research-explorer.ista.ac.at/record/448
DOI: 10.1038/s41559-017-0459-1
WoS: 000426559600026

Oliveto P, Paixao T, Pérez Heredia J, Sudholt D, Trubenova B. How to escape local optima in black box optimisation when non elitism outperforms elitism. Algorithmica. 2018;80(5):1604-1633. doi:10.1007/s00453-017-0369-2
LibreCat: https://research-explorer.ista.ac.at/record/723
DOI: 10.1007/s00453-017-0369-2
WoS: 000428239300010

Darrell T, Lampert C, Sebe N, Wu Y, Yan Y. Guest editors’ introduction to the special section on learning with Shared information for computer vision and multimedia analysis. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2018;40(5):1029-1031. doi:10.1109/TPAMI.2018.2804998
LibreCat: https://research-explorer.ista.ac.at/record/321
DOI: 10.1109/TPAMI.2018.2804998
WoS: 000428901200001

Harrison MC, Jongepier E, Robertson HM, et al. Data from: Hemimetabolous genomes reveal molecular basis of termite eusociality. 2018. doi:10.5061/dryad.51d4r
LibreCat: https://research-explorer.ista.ac.at/record/9841
DOI: 10.5061/dryad.51d4r

Arbel Raviv M, Brown TA. Harnessing epoch-based reclamation for efficient range queries. In: Vol 53. ACM; 2018:14-27. doi:10.1145/3178487.3178489
LibreCat: https://research-explorer.ista.ac.at/record/397
DOI: 10.1145/3178487.3178489
WoS: 000446161100002

Chen T, Kula B, Nagy B, et al. In Vivo regulation of Oligodendrocyte processor cell proliferation and differentiation by the AMPA-receptor Subunit Glu. Cell Reports. 2018;25(4):852-861.e7. doi:10.1016/j.celrep.2018.09.066
LibreCat: https://research-explorer.ista.ac.at/record/32
DOI: 10.1016/j.celrep.2018.09.066
WoS: 000448219500005

Reversat A, Sixt MK. IgM’s exit route. Journal of Experimental Medicine. 2018;215(12):2959-2961. doi:10.1084/jem.20181934
LibreCat: https://research-explorer.ista.ac.at/record/5672
DOI: 10.1084/jem.20181934
WoS: 000451920600002

Dodier P, Frischer J, Wang W, et al. Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device. World Neurosurgery. 2018;13:e568-e578. doi:10.1016/j.wneu.2018.02.096
LibreCat: https://research-explorer.ista.ac.at/record/398
DOI: 10.1016/j.wneu.2018.02.096
WoS: 000432942700070

Akopyan A, Bobenko A. Incircular nets and confocal conics. Transactions of the American Mathematical Society. 2018;370(4):2825-2854. doi:10.1090/tran/7292
LibreCat: https://research-explorer.ista.ac.at/record/458
DOI: 10.1090/tran/7292
WoS: 000423197800019

Metzler S, Schrempf A, Heinze J. Individual- and ejaculate-specific sperm traits in ant males. Journal of Insect Physiology. 2018;107:284-290. doi:10.1016/j.jinsphys.2017.12.003
LibreCat: https://research-explorer.ista.ac.at/record/426
DOI: 10.1016/j.jinsphys.2017.12.003
WoS: 000434751100034

Avni G, Henzinger TA, Ibsen-Jensen R. Infinite-duration poorman-bidding games. In: Vol 11316. Springer; 2018:21-36. doi:10.1007/978-3-030-04612-5_2
LibreCat: https://research-explorer.ista.ac.at/record/5788
DOI: 10.1007/978-3-030-04612-5_2
WoS: 000865933000002
arXiv: 1804.04372

Dick R, Zadrozny KK, Xu C, et al. Inositol phosphates are assembly co-factors for HIV-1. Nature. 2018;560(7719):509–512. doi:10.1038/s41586-018-0396-4
LibreCat: https://research-explorer.ista.ac.at/record/150
DOI: 10.1038/s41586-018-0396-4
WoS: 000442483400046
PMID: 30158708

Kalinin N, Shkolnikov M. Introduction to tropical series and wave dynamic on them. Discrete and Continuous Dynamical Systems- Series A. 2018;38(6):2827-2849. doi:10.3934/dcds.2018120
LibreCat: https://research-explorer.ista.ac.at/record/303
DOI: 10.3934/dcds.2018120
WoS: 000438818400007
arXiv: 1706.03062

Locatello F, Dresdner G, Khanna R, Valera I, Rätsch G. Boosting black box variational inference. In: Advances in Neural Information Processing Systems. Vol 31. Neural Information Processing Systems Foundation; 2018.
LibreCat: https://research-explorer.ista.ac.at/record/14202
arXiv: 1806.02185

Locatello F, Khanna R, Ghosh J, Rätsch G. Boosting variational inference: An optimization perspective. In: Proceedings of the 21st International Conference on Artificial Intelligence and Statistics. Vol 84. ML Research Press; 2018:464-472.
LibreCat: https://research-explorer.ista.ac.at/record/14201
arXiv: 1708.01733

Fortuin V, Hüser M, Locatello F, Strathmann H, Rätsch G. SOM-VAE: Interpretable discrete representation learning on time series. In: International Conference on Learning Representations. ; 2018.
LibreCat: https://research-explorer.ista.ac.at/record/14198
arXiv: 1806.02199

Yurtsever A, Fercoq O, Locatello F, Cevher V. A conditional gradient framework for composite convex minimization with applications to semidefinite programming. In: Proceedings of the 35th International Conference on Machine Learning. Vol 80. ML Research Press; 2018:5727-5736.
LibreCat: https://research-explorer.ista.ac.at/record/14203
arXiv: 1804.08544

Sachdeva H, Barton NH. Introgression of a block of genome under infinitesimal selection. Genetics. 2018;209(4):1279-1303. doi:10.1534/genetics.118.301018
LibreCat: https://research-explorer.ista.ac.at/record/282
DOI: 10.1534/genetics.118.301018
WoS: 000440014100020

Obremski M, Skórski M. Inverted leftover hash lemma. In: Vol 2018. IEEE; 2018. doi:10.1109/ISIT.2018.8437654
LibreCat: https://research-explorer.ista.ac.at/record/108
DOI: 10.1109/ISIT.2018.8437654
WoS: 000448139300368

Locatello F, Raj A, Karimireddy SP, et al. On matching pursuit and coordinate descent. In: Proceedings of the 35th International Conference on Machine Learning. Vol 80. ML Research Press; 2018:3198-3207.
LibreCat: https://research-explorer.ista.ac.at/record/14204
arXiv: 1803.09539

Kragl B, Qadeer S. Layered Concurrent Programs. In: Vol 10981. Springer; 2018:79-102. doi:10.1007/978-3-319-96145-3_5
LibreCat: https://research-explorer.ista.ac.at/record/160
DOI: 10.1007/978-3-319-96145-3_5
WoS: 000491481600005

Gao Z, Daneva A, Salanenka Y, et al. KIR and ORESAR terminate flower receptivity by promoting cell death in the stigma of Arabidopsis. Nature Plants. 2018;4(6):365-375. doi:10.1038/s41477-018-0160-7
LibreCat: https://research-explorer.ista.ac.at/record/280
DOI: 10.1038/s41477-018-0160-7
WoS: 000435571000017

Tomasek K, Bergmiller T, Guet CC. Lack of cations in flow cytometry buffers affect fluorescence signals by reducing membrane stability and viability of Escherichia coli strains. Journal of Biotechnology. 2018;268:40-52. doi:10.1016/j.jbiotec.2018.01.008
LibreCat: https://research-explorer.ista.ac.at/record/503
DOI: 10.1016/j.jbiotec.2018.01.008
WoS: 000425715100006

Chaudhry W, Pleska M, Shah N, et al. Leaky resistance and the conditions for the existence of lytic bacteriophage. PLoS Biology. 2018;16(8). doi:10.1371/journal.pbio.2005971
LibreCat: https://research-explorer.ista.ac.at/record/82
DOI: 10.1371/journal.pbio.2005971
WoS: 000443383300024

Umetani N, Bickel B. Learning three-dimensional flow for interactive aerodynamic design. ACM Trans Graph. 2018;37(4). doi:10.1145/3197517.3201325
LibreCat: https://research-explorer.ista.ac.at/record/4
DOI: 10.1145/3197517.3201325
WoS: 000448185000050

Bartocci E, Ferrere T, Manjunath N, Nickovic D. Localizing faults in simulink/stateflow models with STL. In: Association for Computing Machinery, Inc; 2018:197-206. doi:10.1145/3178126.3178131
LibreCat: https://research-explorer.ista.ac.at/record/183
DOI: 10.1145/3178126.3178131
WoS: 000474781600022

Alt J, Erdös L, Krüger TH. Local inhomogeneous circular law. Annals Applied Probability . 2018;28(1):148-203. doi:10.1214/17-AAP1302
LibreCat: https://research-explorer.ista.ac.at/record/566
DOI: 10.1214/17-AAP1302
WoS: 000431721800005
arXiv: 1612.07776