Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions Son Ho1 , Oskar Abrahamsson2 , Ramana Kumar3 , Magnus O. Myreen2 , Yong Kiam Tan4 , and Michael Norrish5 1

Source URL: cakeml.org

• Software engineering
• Computer programming
• Computing
• Functional programming
• Subroutines
• Programming idioms
• Theoretical computer science
• Functional languages
• Monad
• Standard ML
• Eval
• Algorithm

Freenet: A Distributed Anonymous Information Storage and Retrieval System Ian Clarke1 , Oskar Sandberg2 , Brandon Wiley3 , and Theodore W. Hong4? 1 4

Source URL: ericw.us

• Distributed data storage
• Computing
• Concurrent computing
• Distributed computing
• File sharing networks
• File sharing
• Beta software
• Cross-platform software
• Freenet
• Peer-to-peer
• Gnutella
• Trie

Presseinformation Neuerscheinung: Erika Rosenberg Oskar Schindler Seine unbekannten Helfer und Gegner

Source URL: www.lit-verlag.at

Failure Modes of Tearing and a Novel Robust Approach Ali Baharev Arnold Neumaier Hermann Schichl Faculty of Mathematics, University of Vienna, Oskar-Morgenstern-Platz 1, 1090 Vienna, Austria

Source URL: reliablecomputing.eu

Astronomy Domine The Anthropological – Cosmological Squeeze in Katie Paterson’s Work by Lars Bang Larsen 1. The human being is a Mangelmutant, a “deficient mutant”, in Oskar Negt and Alexander

Source URL: 2017.katiepaterson.org

Introduction to coherent spaces Arnold Neumaier Fakult¨at f¨ ur Mathematik, Universit¨at Wien Oskar-Morgenstern-Platz 1, A-1090 Wien, Austria email:

Source URL: www.mat.univie.ac.at

Freenet: A Distributed Anonymous Information Storage and Retrieval System Ian Clarke1 , Oskar Sandberg2 , Brandon Wiley3 , and Theodore W. Hong4? 1 3

Source URL: www.hatswitch.org

Failure Modes of Tearing and a Novel Robust Approach Ali Baharev Arnold Neumaier Hermann Schichl Faculty of Mathematics, University of Vienna, Oskar-Morgenstern-Platz 1, 1090 Vienna, Austria

Source URL: www.mat.univie.ac.at

COLLOQUIUM IN THEORETICAL PHYSICS–HIGH ENERGY PHYSICS Dark Matter - A Status Report Lars Bergstrm The Oskar Klein Centre Department of Physics

Source URL: home.thep.lu.se

Real-Time Online Adaptive Feedforward Velocity Control for Unmanned Ground Vehicles Nicolai Ommer, Alexander Stumpf, and Oskar von Stryk Department of Computer Science, TU Darmstadt, Germany Abstract. Online adaptation

Source URL: www.robocup2017.org