InterLink International Cooperation Future and Emerging ICTs Activities in

First Page		Document Content
Date: 2016-05-30 11:12:18 Metaphysics Artificial intelligence Information Information system Technology Ambient intelligence Computing Information and communications technology Knowledge Informatics		InterLink International Cooperation Future and Emerging ICTs Activities in Add to Reading List Source URL: www.ercim.eu Download Document from Source Website File Size: 2,88 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