Regulation of Drones Australia • Canada • China • France • Germany • Israel Japan • New Zealand • Poland • South Africa Sweden • Ukraine • United Kingdom European Union

Source URL: www.loc.gov

• Unmanned aerial vehicles
• Robotics
• Avionics
• Pilot licensing and certification
• Aviation
• Technology
• Control engineering
• Regulation of unmanned aerial vehicles
• Unmanned aircraft in Singapore

The Semantics of a Simple Language for Parallel Programming Gilles KAHN IRIA-Laboria, Domaine de Voluceau, 78150 Rocquencourt, France and Commissariat à l’Energie Atomique, France

Source URL: perso.ensta-paristech.fr

• Mathematics
• Computability theory
• Computer programming
• Theoretical computer science
• Software engineering
• Subroutines
• Recursion
• Continuous function
• Recurrence relation
• Computable topology

Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods? Olivier Bouissou1 , Alexandre Chapoutot2 and Adel Djoudi2 1 CEA Saclay Nano-INNOV Institut CARNOT, Gif-sur-Yvette, France

Source URL: perso.ensta-paristech.fr

• RungeKutta methods
• Mathematical analysis
• Numerical analysis
• Mathematics
• Differential calculus
• Euler method
• Stiff equation
• Numerical integration
• Truncation error
• BogackiShampine method
• Affine arithmetic
• Integral

Acceleration of the Abstract Fixpoint Computation in Numerical Program Analysis Olivier Bouissou CEA LIST, Laboratory for the Modeling and Analysis of Interacting SystemsGif-sur-Yvette, France

Source URL: perso.ensta-paristech.fr

• Mathematics
• Metaphysics
• Fixed point
• Game theory
• Abstract interpretation
• Sequence
• Structure
• Dynamical system
• Model theory
• Series
• KnasterTarski theorem
• operator

Third International Workshop on Numerical Software Verification Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France

Source URL: www.lix.polytechnique.fr

• Theoretical computer science
• Formal methods
• French Institute for Research in Computer Science and Automation
• Computer science
• Verification
• Formal verification
• Software verification
• Mathematics
• Cognitive science

Practical improvements to class group and regulator computation of real quadratic fields Jean-Fran¸cois Biasse1 and Michael J. Jacobson, Jr.2? ´ Ecole Polytechnique, 91128 Palaiseau, France

Source URL: www.lix.polytechnique.fr

• Algebra
• Mathematics
• Abstract algebra
• Algebraic number theory
• Integer factorization algorithms
• Quadratic forms
• Field theory
• Numerical linear algebra
• Quadratic sieve
• Factorization
• Factor base
• Ideal class group

PDF Document

Source URL: www.college-culinaire-de-france.fr

PDF Document

Source URL: www.societe-informatique-de-france.fr

PDF Document

Source URL: www.krishnamurti-france.org

PDF Document

Source URL: www.college-de-france.fr