Chatterjee, Krishnendu, Hongfei Fu, Petr Novotný, and Rouzbeh Hasheminezhad. “Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs.”https://doi.org/10.1145/3174800__ACM Transactions on Programming Languages and Systems. Association for Computing Machinery (ACM), 2018.https://doi.org/10.1145/3174800 .

Yang, Yaping, and Gufang Zhao. “The Cohomological Hall Algebra of a Preprojective Algebra.”https://doi.org/10.1112/plms.12111__Proceedings of the London Mathematical Society. Oxford University Press, 2018.https://doi.org/10.1112/plms.12111 .

Kincaid-Smith, Julien, Marion A L Picard, Céline Cosseau, Jérôme Boissier, Dany Severac, Christoph Grunau, and Eve Toulza. “Parent-of-Origin-Dependent Gene Expression in Male and Female Schistosome Parasites.”https://doi.org/10.1093/gbe/evy037__Genome Biology and Evolution. Oxford University Press, 2018.https://doi.org/10.1093/gbe/evy037 .

Stojanov, Alen, Tyler Michael Smith, Dan-Adrian Alistarh, and Markus Puschel. “Fast Quantized Arithmetic on : Trading Compute for Data Movement.”https://doi.org/10.1109/SiPS.2018.8598402__In 2018 IEEE International Workshop on Signal Processing Systems, Vol. 2018–October. IEEE, 2018.https://doi.org/10.1109/SiPS.2018.8598402 .

Horák, Karel, Branislav Bosanský, and Krishnendu Chatterjee. “Goal-HSVI: Heuristic Search Value Iteration for Goal-POMDPs.”https://doi.org/10.24963/ijcai.2018/662__In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018–July:4764–70. IJCAI, 2018.https://doi.org/10.24963/ijcai.2018/662 .

Chatterjee, Krishnendu, Adrian Elgyütt, Petr Novotný, and Owen Rouillé. “Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives,”https://doi.org/10.24963/ijcai.2018/652__2018:4692–99. IJCAI, 2018.https://doi.org/10.24963/ijcai.2018/652 .

Chatterjee, Krishnendu, Martin Chemlík, and Ufuk Topcu. “Sensor Synthesis for POMDPs with Reachability Objectives,” 2018:47–55. AAAI Press, 2018.

Kolmogorov, Vladimir, and Michal Rolinek. “Superconcentrators of Density 25.3.” Ars Combinatoria. Charles Babbage Research Centre, 2018.

Akopyan, Arseniy, and Sergey Avvakumov. “Any Cyclic Quadrilateral Can Be Inscribed in Any Closed Convex Smooth Curve.”https://doi.org/10.1017/fms.2018.7__Forum of Mathematics, Sigma. Cambridge University Press, 2018.https://doi.org/10.1017/fms.2018.7 .

Pozzi, Maria, Eder Miguel Villalba, Raphael Deimel, Monica Malvezzi, Bernd Bickel, Oliver Brock, and Domenico Prattichizzo. “Efficient FEM-Based Simulation of Soft Robots Modeled as Kinematic Chains.”https://doi.org/10.1109/icra.2018.8461106__IEEE, 2018.https://doi.org/10.1109/icra.2018.8461106 .

Park, Sunoo, Albert Kwon, Georg Fuchsbauer, Peter Gazi, Joel F Alwen, and Krzysztof Z Pietrzak. “SpaceMint: A Cryptocurrency Based on Proofs of Space.”https://doi.org/10.1007/978-3-662-58387-6_26__In 22nd International Conference on Financial Cryptography and Data Security, 10957:480–99. Springer Nature, 2018.https://doi.org/10.1007/978-3-662-58387-6_26 .

Moalli, Federica, Xenia Ficht, Philipp Germann, Mykhailo Vladymyrov, Bettina Stolp, Ingrid de Vries, Ruth Lyck, et al. “The Rho Regulator Myosin IXb Enables Nonlymphoid Tissue Seeding of Protective C+T Cells.”https://doi.org/10.1084/jem.20170896__The Journal of Experimental Medicine. Rockefeller University Press, 2018.https://doi.org/10.1084/jem.20170896 .

Truckenbrodt, Sven M, Manuel Maidorn, Dagmar Crzan, Hanna Wildhagen, Selda Kabatas, and Silvio O Rizzoli. “Expansion Microscopy Enables 25nm Resolution on Conventional Microscopes.”https://doi.org/10.15252/embr.201845836__EMBO Reports. EMBO, 2018.https://doi.org/10.15252/embr.201845836 .

Alistarh, Dan-Adrian, James Aspnes, and Rati Gelashvili. “Space-Optimal Majority in Population Protocols.”https://doi.org/10.1137/1.9781611975031.144__In Proceedings of the 29th Annual ACM-SIAM Symposium on Discrete Algorithms, 2221–39. ACM, 2018.https://doi.org/10.1137/1.9781611975031.144 .

Westram, Anja M, Marina Rafajlovi, Pragya Chaube, Rui Faria, Tomas Larsson, Marina Panova, Mark Ravinet, et al. “Clines on the Seashore: The Genomic Architecture Underlying Rapid Divergence in the Face of Gene Flow.”https://doi.org/10.1002/evl3.74__Evolution Letters. Wiley, 2018.https://doi.org/10.1002/evl3.74 .

Hollander, Johan, Mauricio Montaño-Rendón, Giuseppe Bianco, Xi Yang, Anja M Westram, Ludovic Duvaux, David G. Reid, and Roger K. Butlin. “Are Assortative Mating and Genital Divergence Driven by Reinforcement?”https://doi.org/10.1002/evl3.85__Evolution Letters. Wiley, 2018.https://doi.org/10.1002/evl3.85 .

Gregor, Carola, Sven C. Sidenstein, Martin Andresen, Steffen J. Sahl, Johann G Danzl, and Stefan W. Hell. “Novel Reversibly Switchable Fluorescent Proteins for RESOLFT and STED Nanoscopy Engineered from the Bacterial Photoreceptor YtvA.”https://doi.org/10.1038/s41598-018-19947-1__Scientific Reports. Springer Nature, 2018.https://doi.org/10.1038/s41598-018-19947-1 .

Moturu, Taraka Ramji, Sravankumar Thula, Ravi Kumar Singh, Tomasz Nodzyski, Radka Svobodová Vaeková, Jií Friml, and Sibu Simon. “Molecular Evolution and Diversification of the SMXL Gene Family.”https://doi.org/10.1093/jxb/ery097__Journal of Experimental Botany. Oxford University Press, 2018.https://doi.org/10.1093/jxb/ery097 .

Yuuta, Moriyama, and Kazuko Koshiba-Takeuchi. “Significance of Whole-Genome Duplications on the Emergence of Evolutionary Novelties.”https://doi.org/10.1093/bfgp/ely007__Briefings in Functional Genomics. Oxford University Press, 2018.https://doi.org/10.1093/bfgp/ely007 .

Westram, Anja M, Marina Rafajlovi, Pragya Chaube, Rui Faria, Tomas Larsson, Marina Panova, Mark Ravinet, et al. “Data from: Clines on the Seashore: The Genomic Architecture Underlying Rapid Divergence in the Face of Gene Flow.”https://doi.org/10.5061/dryad.bp25b65__Dryad, 2018.https://doi.org/10.5061/dryad.bp25b65 .

Hollander, Johan, Mauricio Montaño-Rendón, Giuseppe Bianco, Xi Yang, Anja M Westram, Ludovic Duvaux, David G. Reid, and Roger K. Butlin. “Data from: Are Assortative Mating and Genital Divergence Driven by Reinforcement?”https://doi.org/10.5061/dryad.51sd2p5__Dryad, 2018.https://doi.org/10.5061/dryad.51sd2p5 .

Uijlings, Jasper, Ksenia Konyushkova, Christoph Lampert, and Vittorio Ferrari. “Learning Intelligent Dialogs for Bounding Box Annotation.”https://doi.org/10.1109/cvpr.2018.00956__In 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 9175–84. IEEE, 2018.https://doi.org/10.1109/cvpr.2018.00956 .

Alistarh, Dan-Adrian, Zeyuan Allen-Zhu, and Jerry Li. “Byzantine Stochastic Gradient Descent.” In Advances in Neural Information Processing Systems, 2018:4613–23. Neural Information Processing Systems Foundation, 2018.

Kazda, Alexandr, Vladimir Kolmogorov, and Michal Rolinek. “Even Delta-Matroids and the Complexity of Planar Boolean CSPs.”https://doi.org/10.1145/3230649__ACM Transactions on Algorithms. ACM, 2018.https://doi.org/10.1145/3230649 .

Ringbauer, Harald. “Inferring Recent Demography from Spatial Genetic Structure.”https://doi.org/10.15479/AT:ISTA:th_963__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th_963 .

Akopyan, Arseniy, Alexey Balitskiy, and Mikhail Grigorev. “On the Circle Covering Theorem by A.W. Goodman and R.E. Goodman.”https://doi.org/10.1007/s00454-017-9883-x__Discrete &; Computational Geometry. Springer, 2018.https://doi.org/10.1007/s00454-017-9883-x .

Gschaider-Reichhart, Eva. “Optical and Optogenetic Control of Proliferation and Survival .”https://doi.org/10.15479/AT:ISTA:th_913__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th_913 .

Erdös, László, and Dominik J Schröder. “Fluctuations of Rectangular Young Diagrams of Interlacing Wigner Eigenvalues.”https://doi.org/10.1093/imrn/rnw330__International Mathematics Research Notices. Oxford University Press, 2018.https://doi.org/10.1093/imrn/rnw330 .

Avni, Guy, Shibashis Guha, and Orna Kupferman. “An Abstraction-Refinement Methodology for Reasoning about Network Games.”https://doi.org/10.3390/g9030039__Games. MDPI AG, 2018.https://doi.org/10.3390/g9030039 .

Chatterjee, Krishnendu, Wolfgang Dvorák, Monika H Henzinger, and Alexander Svozil. “Algorithms and Conditional Lower Bounds for Planning Problems.” In 28th International Conference on Automated Planning and Scheduling . AAAI Press, 2018.

Chatterjee, Krishnendu, Andreas Pavlogiannis, Alexander Kößler, and Ulrich Schmid. “Automated Competitive Analysis of Real Time Scheduling with Graph Games.”https://doi.org/10.1007/s11241-017-9293-4__Real-Time Systems. Springer, 2018.https://doi.org/10.1007/s11241-017-9293-4 .

Moser, Thomas. “Point Interactions in Systems of Fermions.”https://doi.org/10.15479/AT:ISTA:th_1043__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th_1043 .

Tejos, Ricardo, Cecilia Rodríguez Furlán, Maciek Adamowski, Michael Sauer, Lorena Norambuena, and Jií Friml. “PATELLINS Are Regulators of Auxin Mediated PIN1 Relocation and Plant Development in Arabidopsis Thaliana.”https://doi.org/10.1242/jcs.204198__Journal of Cell Science. Company of Biologists, 2018.https://doi.org/10.1242/jcs.204198 .

Vukusi, Lada. “Charge Sensing and Spin Relaxation Times of Holes in Ge Hut Wires.”https://doi.org/10.15479/AT:ISTA:TH_1047__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:TH_1047 .

Chen, Chong. “Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release.”https://doi.org/10.15479/AT:ISTA:th_997__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th_997 .

Dotterrer, Dominic, Tali Kaufman, and Uli Wagner. “On Expansion and Topological Overlap.”https://doi.org/10.1007/s10711-017-0291-4__Geometriae Dedicata. Springer, 2018.https://doi.org/10.1007/s10711-017-0291-4 .

Nejjar, Peter. “Transition to Shocks in TASEP and Decoupling of Last Passage Times.”https://doi.org/10.30757/ALEA.v15-49__Latin American Journal of Probability and Mathematical Statistics. Instituto Nacional de Matematica Pura e Aplicada, 2018.https://doi.org/10.30757/ALEA.v15-49 .

Turner, C J, Alexios Michailidis, D A Abanin, Maksym Serbyn, and Z Papi. “Quantum Scarred Eigenstates in a Rydberg Atom Chain: Entanglement, Breakdown of Thermalization, and Stability to Perturbations.”https://doi.org/10.1103/PhysRevB.98.155134__Physical Review B. American Physical Society, 2018.https://doi.org/10.1103/PhysRevB.98.155134 .

Choueiri, George H, Jose M Lopez Alonso, and Björn Hof. “Exceeding the Asymptotic Limit of Polymer Drag Reduction.”https://doi.org/10.1103/PhysRevLett.120.124501__Physical Review Letters. American Physical Society, 2018.https://doi.org/10.1103/PhysRevLett.120.124501 .

Suri, Balachandra, Jeffrey Tithof, Roman Grigoriev, and Michael Schatz. “Unstable Equilibria and Invariant Manifolds in Quasi-Two-Dimensional Kolmogorov-like Flow.”https://doi.org/10.1103/PhysRevE.98.023105__Physical Review E. American Physical Society, 2018.https://doi.org/10.1103/PhysRevE.98.023105 .

Marin Valencia, Isaac, Gaia Novarino, Anide Johansen, Bafak Rosti, Mahmoud Issa, Damir Musaev, Gifty Bhat, et al. “A Homozygous Founder Mutation in TRAPPB Associates with a Neurodevelopmental Disorder Characterised by Microcephaly Epilepsy and Autistic Features.”https://doi.org/10.1136/jmedgenet-2017-104627__Journal of Medical Genetics. BMJ Publishing Group, 2018.https://doi.org/10.1136/jmedgenet-2017-104627 .

Virosztek, Daniel. “Maps on Probability Measures Preserving Certain Distances - a Survey and Some New Results.”https://doi.org/10.14232/actasm-018-753-y__Acta Scientiarum Mathematicarum. Springer Nature, 2018.https://doi.org/10.14232/actasm-018-753-y .

Lewi, Mathieu, Élliott Lieb, and Robert Seiringer. “Statistical Mechanics of the Uniform Electron Gas.”https://doi.org/10.5802/jep.64__Journal de l’Ecole Polytechnique - Mathematiques. Ecole Polytechnique, 2018.https://doi.org/10.5802/jep.64 .

Reipert, Siegfried, Helmuth Goldammer, Christine Richardson, Martin Goldberg, Timothy Hawkins, Elena Saeckl, Walter Kaufmann, Sebastian Antreich, and York Stierhof. “Agitation Modules: Flexible Means to Accelerate Automated Freeze Substitution.”https://doi.org/10.1369/0022155418786698__Journal of Histochemistry and Cytochemistry. SAGE Publications, 2018.https://doi.org/10.1369/0022155418786698 .

Sahoo, Subham, Christoph Lampert, and Georg S Martius. “Learning Equations for Extrapolation and Control.” In Proceedings of the 35th International Conference on Machine Learning, 80:4442–50. ML Research Press, 2018.

Kuzborskij, Ilja, and Christoph Lampert. “Data-Dependent Stability of Stochastic Gradient Descent.” In Proceedings of the 35 Th International Conference on Machine Learning, 80:2815–24. ML Research Press, 2018.

Alistarh, Dan-Adrian, Torsten Hoefler, Mikael Johansson, Nikola H Konstantinov, Sarit Khirirat, and Cedric Renggli. “The Convergence of Sparsified Gradient Methods.” In Advances in Neural Information Processing Systems 31, Volume 2018:5973–83. Neural Information Processing Systems Foundation, 2018.

Stroeymeyt, Nathalie, Anna V Grasse, Alessandro Crespi, Danielle Mersch, Sylvia Cremer, and Laurent Keller. “Social Network Plasticity Decreases Disease Transmission in a Eusocial Insect.”https://doi.org/10.1126/science.aat4793__Science. AAAS, 2018.https://doi.org/10.1126/science.aat4793 .

Palmer, Adam, Remy P Chait, and Roy Kishony. “Nonoptimal Gene Expression Creates Latent Potential for Antibiotic Resistance.”https://doi.org/10.1093/molbev/msy163__Molecular Biology and Evolution. Oxford University Press, 2018.https://doi.org/10.1093/molbev/msy163 .

Masís, Javier, David Mankus, Steffen Wolff, Grigori Guitchounts, Maximilian A Jösch, and David Cox. “A Micro-CT-Based Method for Characterising Lesions and Locating Electrodes in Small Animal Brains.”https://doi.org/10.3791/58585__Journal of Visualized Experiments. MyJove Corporation, 2018.https://doi.org/10.3791/58585 .