Cachan - PDFSEARCH.IO - Document Search Engine

Cachan
Results: 458

#	Item
291	Rare Event Handling in Signalling Cascades Benoˆıt Barbot, Serge Haddad and Claudine Picaronny Monika Heiner Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-05-05 05:20:50 Importance sampling Variance reduction Petri net Central limit theorem Extracellular signal-regulated kinases Markov chain Estimation theory Binomial distribution MAPK/ERK pathway Statistics Signal transduction Statistical inference
292	Symposium on continuous damage and fracture Cachan, October 23–27, 2000 Revisiting brittle fracture as an energy minimization problem : Comparisons of Griffith and Barenblatt surface energy models Add to Reading List Source URL: hera.polytechnique.fr Language: English - Date: 2011-05-26 06:13:12
293	PDF Document Add to Reading List Source URL: 138.195.9.77 Language: English - Date: 2011-12-15 05:35:50 Supélec UniverSud Paris École centrale Paris Centrale Graduate School École Normale Supérieure de Cachan École centrale de Lyon Pierre and Marie Curie University Grandes écoles France Education
294	AN ANALYSIS OF SCALE-SPACE SAMPLING IN SIFT Ives Rey-Otero† , Jean-Michel Morel† , Mauricio Delbracio†,§ † CMLA, ENS-Cachan, France ECE, Duke University, USA Add to Reading List Source URL: dev.ipol.im Language: English - Date: 2015-03-20 10:24:45 Imaging Optics Scale-invariant feature transform Gaussian blur Scale space Object recognition Feature detection Gaussian function Difference of Gaussians Computer vision Image processing Vision
295	Thibaut Gensollen Electrical and Computer Science Engineering 70 rue Camille DesmoulinsCachan, FRANCE H +50 Add to Reading List Source URL: www.interferences-studio.com Language: English - Date: 2014-12-12 04:29:57 Cachan France École Normale Supérieure Paris Grandes écoles Écoles Normales Supérieures École Normale Supérieure de Cachan
296	Synthesis for Regular Specifications over Unbounded Domains Jad Hamza∗, Barbara Jobstmann†, Viktor Kuncak‡ ∗ ENS Cachan, France † CNRS/Verimag, France, ‡ EPFL, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-08-02 10:05:45 Mathematics Formal methods Nondeterministic finite automaton Linear temporal logic Finite-state machine Function Symbol Büchi automaton Automata theory Models of computation Theoretical computer science
297	PDF Document Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-11-01 10:18:07 OSI protocols XPath Proof theory Modal logic Mathematical logic EXist Computing XML Logic
298	Research internship proposal (M2) Location : LSV (http://www.lsv.ens-cachan.fr) L2S (http://www.lss.supelec.fr) Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-12-15 06:53:26 Graph theory Economics Game theory Determinacy Conceptual model Bouyer Decidability Graph Logic Cryptographic protocols Mathematics Formal sciences
299	Research internship (Master M2) Title Verification of concurrent systems with data structures Description Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2013-11-20 05:22:25 Verification Finite-state machine Models of computation Automata theory Systems engineering
300	Master internship Petri net unfolding of biological networks Topic: Logic and Verification, Computational Biology Location: MExICo project team, LSV, École Normale Supérieure de Cachan, Cachan, France (Head of LSV: Lau Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-11 13:14:14 Diagrams Petri net Gene regulatory network Model checking Petri Attractor Actor model Chaos theory Computer science Concurrency Networks Systems biology

UPDATE