Cachan - PDFSEARCH.IO - Document Search Engine

Cachan
Results: 458

#	Item
331	Channel Systems with Priorities Priority Embedding Computational Power Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-03-20 12:27:57 Turing completeness C1 Amines Turing machine Theory of computation Programming language theory
332	REACHABILITY IN TWO-DIMENSIONAL VECTOR ADDITION SYSTEMS WITH STATES IS PSPACE-COMPLETE arXiv:1412.4259v1 [cs.FL] 13 Dec,‡,§ , CHRISTOPH HAASE2,†,§ , Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-04-13 05:39:26 Petri net Reachability FO Applied mathematics Computer science Theoretical computer science Concurrency Diagrams
333	EuSpRIG 2009 Spreadsheet Gurus Meet in Paris Experts From Europe and North America meet to discuss the role of spreadsheets in organisational excellence at the 10th annual spreadsheet risks conference on July 2-3 in Pari Add to Reading List Source URL: www.eusprig.org Language: English - Date: 2010-01-26 09:52:16 Spreadsheet TED École Normale Supérieure de Cachan
334	The convex hull of a regular set of integer vectors is polyhedral and effectively computable Alain Finkel LSV, CNRS UMR 8643, ENS de Cachan, Cachan, France J´erˆome Leroux DIRO, Universit´e de Montr´eal, Montr´eal, Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2005-10-14 03:40:28 Convex geometry Computational geometry Convex hull Mathematical analysis Convex set Symbol Convex analysis Geometry Mathematics
335	Preliminary System Safety Analysis with Limited Markov Chain Generation P.-A. Brameret ∗ J.-M. Roussel ∗ A. Rauzy ∗∗ ∗ Lurpa, Ens de Cachan, 61 avenue du Pr´esident Wilson, Add to Reading List Source URL: altarica.fr Language: English - Date: 2013-09-13 10:59:47 Stochastic processes Markov chain Probability theory Continuous-time Markov process Ergodicity Statistics Markov processes Markov models
336	Taming Past LTL and Flat Counter Systems Stéphane Demria , Amit Kumar Dharb , Arnaud Sangnierb a b Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-26 04:34:20 Metalogic Proof theory Temporal logic Logic in computer science Linear temporal logic Presburger arithmetic PAT Model checking Satisfiability Mathematical logic Logic Model theory
337	Dossier d’évaluation d’une unité de recherche Vague E : campagne d’évaluation[removed] Évaluation du Laboratoire Spécification & Vérification Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: French - Date: 2013-11-29 09:32:37
338	Les m´ etiers de la recherche R´eunion de rentr´ee 2014 Ann´ees 2, 3 et 4 Paul Gastin Dpt Info, ENS Cachan Add to Reading List Source URL: www.dptinfo.ens-cachan.fr Language: French - Date: 2014-09-08 08:29:29
339	Informatique Mathématique une photographie en 2015 X et Y et Z et ... (Eds.) 3 mars 2015 Table des matières Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: French - Date: 2015-04-02 03:55:14
340	R´ eunion concours MP, MPI et I D´ epartement Informatique ENS Cachan Paul Gastin Add to Reading List Source URL: www.dptinfo.ens-cachan.fr Language: French - Date: 2014-09-08 08:29:36

UPDATE