LIX - PDFSEARCH.IO - Document Search Engine

LIX
Results: 507

#	Item
191	Inner Approximated Reachability Analysis Eric Goubault, Olivier Mullier, Sylvie Putot CEA LIST, CEA Saclay Nano-INNOVGif-sur-Yvette, France Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2014-02-10 03:12:53
192	Computing DOIs00607A generalization of p-boxes to affine arithmetic Olivier Bouissou · Eric Goubault · Jean Goubault-Larrecq · Sylvie Putot Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2012-01-09 04:30:48
193	Static Analysis of Numerical Algorithms Eric Goubault and Sylvie Putot CEA Saclay, F91191 Gif-sur-Yvette Cedex, France {eric.goubault, sylvie.putot}@cea.fr Abstract. We present a new numerical abstract domain for static Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2009-11-24 06:44:27
194	On polynomials attached to curves F. Morain Laboratoire d’Informatique de l’École polytechnique logoUW ECOL E Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-02-22 19:27:27 Mathematical analysis Mathematics Special functions Analytic number theory Elliptic curve Group theory Analytic functions Orthogonal polynomials Barnes G-function
195	CURRICULUM VITAE DETAILLE DETAILED CURRICULUM VITAE Nom/Last Name : Augot Prénom/First Name : Daniel Date et lieu de naissance/Date and place of birth : , Auch (France) Nationalité/Citizenship : Fran,is Add to Reading List Source URL: www.lix.polytechnique.fr Language: French - Date: 2008-02-15 05:27:25
196	Herbrand-Confluence for Cut Elimination in Classical First Order Logic Stefan Hetzl1 and Lutz Straßburger2 1 2 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2012-11-30 05:38:20 Mathematics Logic Proof theory Mathematical logic Deductive reasoning Natural deduction Symbol Differential topology Generalised Whitehead product CurryHoward correspondence
197	Logical Methods in Computer Science Vol. 11(3:7)2015, pp. 1–33 www.lmcs-online.org Submitted May 17, 2014 Published Sep. 3, 2015 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-02-19 10:54:23 Logic Mathematical logic Proof theory Abstraction Non-classical logic Logic in computer science Philosophical logic Model theory Sequent CurryHoward correspondence Intuitionistic logic Cut-elimination theorem
198	ECOL E I LX POLYTECHNIQUE Add to Reading List Source URL: www.lix.polytechnique.fr Language: Vietnamese - Date: 2003-11-13 04:01:45
199	Fast Arithmetics in Artin-Schreier Towers over Finite Fields Luca De Feo Éric Schost LIX, École Polytechnique Add to Reading List Source URL: www.csd.uwo.ca Language: English - Date: 2009-05-20 11:16:34 Mathematical analysis Mathematics Fourier analysis Fourier transform Joseph Fourier XTR Multiplication algorithm Pi
200	Static Analysis of Programs with Imprecise Probabilistic Inputs Assale Adje2 , Olivier Bouissou1 , Jean Goubault-Larrecq2 , Eric Goubault1 , and Sylvie Putot1 1 CEA LIST Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2013-09-17 04:23:07 Probability theory Mathematics Analysis Theoretical computer science Sigma-algebra Symbol Denotational semantics Probability distribution Abstract interpretation Random variable

UPDATE