Saclay

Results: 649



#Item
91Mathematics / Affine geometry / Affine arithmetic / Affine space / Lambda calculus / Abstract interpretation / Function

Modular Static Analysis with Zonotopes Eric Goubault, Sylvie Putot, and Franck V´edrine CEA Saclay Nano-INNOV, CEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point Courrier 174, 91191 Gif su

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2013-01-29 06:03:28
92Algebra / Mathematics / Abstract algebra / Field theory / Quadratic forms / Algebraic number theory / Equation solving / Equations / Algebraic number field / Fundamental theorem of algebra / Z-transform

Brauer–Manin obstruction and integral points : a survey Jean-Louis Colliot-Th´el`ene (CNRS et Universit´e Paris-Sud, Paris-Saclay) Indo-French conference Chennai, January 2016

Add to Reading List

Source URL: www.math.u-psud.fr

Language: English - Date: 2016-01-19 12:59:02
93Game theory / Finite model theory / Parity game / Determinacy / Retract / Strategy

A Retraction Theorem for Distributed Synthesis Dietmar Berwanger1 , Anup Basil Mathew1,2 , and R. Ramanujam2 1 2 LSV, CNRS & Université Paris-Saclay, France

Add to Reading List

Source URL: www.lsv.fr

Language: English - Date: 2016-04-22 17:31:27
94Algebra / Abstract algebra / Mathematics / Algebraic geometry / Cohomology theories / Homological algebra / Cohomology / Chow group / Sheaf / Brauer group / tale morphism / tale cohomology

A survey on unramified cohomology (with special attention to degree 3) Jean-Louis Colliot-Th´el`ene (CNRS et Universit´e Paris-Sud ⊂ Paris-Saclay) Simons Symposium Schloß Elmau

Add to Reading List

Source URL: www.math.u-psud.fr

Language: English - Date: 2016-04-22 02:59:54
95Web services / Mashup / Web 2.0 / Semantic Web / End-user development / Web Services Discovery / Semantic HTML / Datalog / Open Mashup Alliance / Enterprise Mashup Markup Language

Modeling the Mashup Space Serge Abiteboul INRIA Saclay Paris, France .@inria.fr

Add to Reading List

Source URL: www.cs.tau.ac.il

Language: English - Date: 2008-09-14 01:48:48
96Antineoplastic drugs / Drugs / Targeted therapy / Clinical research / Phases of clinical research

Statistical methods for phase I/II trials of molecularly targeted agents in oncology Maria-Athina Altzerinakou1 Xavier Paoletti2 1. CESP OncoStat, INSERM, Université Paris-Saclay, Université Paris-Sud, UVSQ, Institut G

Add to Reading List

Source URL: www.ideas-itn.eu

Language: English - Date: 2016-06-27 05:49:50
97

Microsoft PowerPoint - AMC_Update_Saclay_Arno_Gadola_100310.ppt

Add to Reading List

Source URL: cta.physik.uzh.ch

Language: English - Date: 2012-01-19 05:09:21
    98Paris-Saclay / ParisTech / Bate / Claude-Louis Navier

    4095751143000Geotechnical Engineering Seminar Series Fall 2012 Wednesdays @ 12:00 noon (Room 216 Butler Carlton Hall)

    Add to Reading List

    Source URL: geotech.mst.edu

    Language: English - Date: 2014-01-22 04:03:24
    99French Institute for Research in Computer Science and Automation / Theoretical computer science / Pierre and Marie Curie University / cole Polytechnique

    Daniel Augot’s one page curriculum vitæ (as of October, 3rd 2013) • Contact address: INRIA Saclay–ˆIle-de-France & LIX Bˆ atiment Alan Turing 1 rue Honor´e d’Estienne d’Orves

    Add to Reading List

    Source URL: pages.saclay.inria.fr

    Language: English - Date: 2013-10-03 04:36:34
    100Mesons / Particle physics / Elementary particles / Quarks / Symmetry / CP violation / Kaon / BaBar experiment / Pion / Asymmetry / Weak interaction / Hyperon

    ,fe-a Testing discrete symmetries in Kdecays P. DEBU - (EA Saclay - France February 7,2000

    Add to Reading List

    Source URL: www.europhysicsnews.org

    Language: English
    UPDATE