Rennes - PDFSEARCH.IO - Document Search Engine

Rennes
Results: 1341

#	Item
151	Language-based Construction of Explorable News Graphs for Journalists R´emi Bois and Guillaume Gravier CNRS, IRISA & INRIA Rennes 263 Avenue G´en´eral LeclercRennes, France Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2017-09-07 12:37:45
152	LNCSTransient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2013-09-13 09:23:19
153	師団 SIDAN Software Instrumentation for the Detection of Attacks on Non-control-data Add to Reading List Source URL: www.rennes.supelec.fr Language: English - Date: 2009-10-02 10:35:44
154	Hybrid Information Flow Monitoring Against Web Tracking Frédéric Besson, Nataliia Bielova, and Thomas Jensen Inria Rennes, France Abstract—Motivated by the problem of stateless Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:28
155	Event correlation with boxed pomsets Thomas Gazagnaire1 and Lo¨ıc H´elou¨et2 1 IRISA/ENS Cachan,Campus de Beaulieu, 35042 Rennes Cedex, France 2 Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2016-01-30 18:26:49
156	Playing optimally on Timed Automata with Random Delays Nathalie Bertrand and Sven Schewe Inria Rennes - University of Liverpool Formats 2012 Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2012-09-28 09:53:21
157	Scenario realizability with constraint optimization? Rouwaida Abdallah1 , Arnaud Gotlieb2 , Lo¨ıc H´elou¨et3 ,Claude Jard4 1 ENS Cachan (antenne de Bretagne), 2 SIMULA, Norway, 3 INRIA Rennes, Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2013-07-03 04:01:35
158	Fast Reflexive Arithmetic Tactics the linear case and beyond Fr´ed´eric Besson? Irisa/Inria, Campus de Beaulieu, 35042 Rennes Cedex, France Abstract. When goals fall in decidable logic fragments, users of proofassista Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:19
159	The steady-state control problem for Markov decision processes S. Akshay1,2 , Nathalie Bertrand1 , Serge Haddad3 , and Lo¨ıc H´elou¨et1 1 Inria Rennes, France Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2015-02-28 19:23:04
160	Complexit´e Moyenne Transparents de Lo¨ıc H´elou¨et Pr´epa agreg Add to Reading List Source URL: people.rennes.inria.fr Language: French - Date: 2016-01-26 04:36:13

UPDATE