http: campus.sophiatech.fr meddaysJohan Montagnat, labex UCN@Sophia director Campus SophiaTech - Sophia University - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-02-18 06:14:15 Informatics Technology Ethology Télécom ParisTech University of Nice Sophia Antipolis Antibes Sophia Antipolis Science		http://campus.sophiatech.fr/meddaysJohan Montagnat, labex UCN@Sophia director Campus SophiaTech Add to Reading List Source URL: leat.unice.fr Download Document from Source Website File Size: 3,93 MB Share Document on Facebook

	LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games DocID: 1xW2u - View Document
	Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign DocID: 1xW0Y - View Document
	Extended Abstract: Risk-Sensitive Planning with Dynamic Uncertainty Liana Marinescu Department of Informatics, King’s College London DocID: 1xVZm - View Document
	Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella DocID: 1xVWA - View Document
	INFORMATICS DEVELOPMEN T AGENCY Digitally signed by INFORMATICS DocID: 1xVRX - View Document