Rocquencourt - PDFSEARCH.IO - Document Search Engine

Rocquencourt
Results: 247

#	Item
131	Ceci n’est pas une urne: On the Internet vote for the Assembl´ee des Franc¸ais de l’´etranger Andrew W. Appel∗ June 14, 2006, Rocquencourt, France Executive Summary Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2006-06-14 05:19:11 Government Absentee ballot Electronic voting Secret ballot Ballot Voting system Elections in France Elections in the United States Voter-verified paper audit trail Elections Politics Voting
132	Computing with Relational Machines G´erard Huet and Benoˆıt Razet INRIA Paris-Rocquencourt ICON’2008 Tutorial, Pune, DecemberAbstract. We give a quick presentation of the X-machines of Eilenberg, a generalisa Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-12-14 19:37:35 Computer science Formal methods Deterministic finite automaton Nondeterministic finite automaton Finite-state machine X-machine Non-deterministic Turing machine Ω-automaton Finite state transducer Models of computation Automata theory Theoretical computer science
133	How to Count with Randomness? Comment compter avec le hasard? Philippe Flajolet, INRIA, Rocquencourt http://algo.inria.fr/flajolet Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2007-09-23 13:19:52 Cardinal number Set Mathematics Cardinality Counting
134	ANALCO-2004, New Orleans, JAN 2004 Theory and Practice of Probabilistic Counting Algorithms Philippe Flajolet, INRIA, Rocquencourt Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2004-01-04 12:09:36 Extendible hashing Logarithm Ordinal number Artificial intelligence Search algorithms Hashing Mathematics
135	The state of OCaml, 2012 Xavier Leroy INRIA Paris-Rocquencourt OCaml Users and Developers Workshop, Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-26 17:35:59 Functional languages OCaml Control flow Procedural programming languages Caml Generalized algebraic data type Eval ML Expr Computing Software engineering Computer programming
136	January 20, 2003 Analytic Urns Philippe Flajolet, INRIA Rocquencourt, F. With Kim Gabarro and Helmut Pekari, Barcelona Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2003-01-20 13:16:08 Stochastic processes Urn problem Partial differential equations Ordinary differential equation Stochastic differential equation Calculus Mathematical analysis Differential equations
137	On Buffon Machines & Numbers Philippe FLAJOLET, INRIA-Rocquencourt, France Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2009-10-23 07:03:36 Combinatorics Mathematical analysis Simulation Buffon Algorithm Philippe Flajolet Academia Mathematics Theoretical computer science Analytic combinatorics
138	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD student, Gallium (INRIA Paris-Rocquencourt) 1 Research Background Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-23 11:30:06 Type theory Functional languages Dependent type Type system Type inference Coq Programming language Agda Type safety Programming language theory Software engineering Computing
139	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Project-Team Gallium Programming languages, types, compilation and proofs Paris - Rocquencourt Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2011-02-28 06:23:38 Functional languages Type theory Procedural programming languages Logic in computer science Cross-platform software Type system OCaml Coq ML Software engineering Computing Programming language theory
140	Unicity of type inhabitants; a Work in Progress Gabriel Scherer Gallium (INRIA Paris-Rocquencourt) May 30, 2013 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-05-30 11:35:47 Map Matter Gallium Chemistry

UPDATE