<--- Back to Details
First PageDocument Content
IFSTTAR / École Polytechnique Fédérale de Lausanne / École centrale de Lyon / Technology / Laboratoire de mécanique de Lille / ENTPE / France / Education / Institut national de recherche sur les transports et leur sécurité / Grandes écoles / Université Lille Nord de France / Centrale Graduate School
Date: 2014-04-07 05:22:32
IFSTTAR
École Polytechnique Fédérale de Lausanne
École centrale de Lyon
Technology
Laboratoire de mécanique de Lille
ENTPE
France
Education
Institut national de recherche sur les transports et leur sécurité
Grandes écoles
Université Lille Nord de France
Centrale Graduate School

TRA2014 - Invited Sessions

Add to Reading List

Source URL: www.traconference.eu

Download Document from Source Website

File Size: 160,00 KB

Share Document on Facebook

Similar Documents

ETHEREUM : UN REGISTRE DE TRANSACTIONS GÉNÉRALISTE, SÉCURISÉ ET DÉCENTRALISÉ RÉVISION EIP-150 DR. GAVIN WOOD FONDATEUR, ETHEREUM & ETHCORE

DocID: 1xVZk - View Document

Model checking / Uppaal Model Checker / Conference on Implementation and Application of Automata

Axel Legay 13 Bis rue des Quatre ChênesBruz (France) Phone : +http://people.irisa.fr/Axel.Legay/

DocID: 1xVXN - View Document

Culture of Paris / Paris / cole des Beaux-Arts / French architecture

Marc Johnson President, ARTPORT_making waves France (association loiWebsite: www.artport-project.org Marc Johnson is a French licensed architect, filmmaker, and visual artist, who graduated from the École Nationa

DocID: 1xVXg - View Document

Theoretical computer science / Computing / Logic in computer science / Electronic design automation / Formal methods / NP-complete problems / Constraint programming / Satisfiability modulo theories / Benchmark / Solver / Lis / Standard Performance Evaluation Corporation

10th International Satisfiability Modulo Theories Competition (SMT-COMP 2015): Rules and Procedures Sylvain Conchon Paris-Sud University France

DocID: 1xVRN - View Document

Algebra / Abstract algebra / Mathematics / Finite fields / Group theory / Logarithms / Algebraic number theory / Numerical linear algebra / XTR / Discrete logarithm / Gaussian elimination / Quadratic field

Algebraic techniques for number field computations (extended abstract) Jean-Fran¸cois Biasse1 , Michael J. Jacobson, Jr.2? , and Alan K. Silvester3 ´ Ecole Polytechnique, 91128 Palaiseau, France

DocID: 1xVMw - View Document