Reports
2022
- auteur
- Christophe Garion, Gautier Hattenberger, Baptiste Pollien, Pierre Roux, Xavier Thirioux
- titre
- A gentle introduction to C code verification using the Frama-C platform
- article
- [Research Report] ISAE-SUPAERO; ONERA -- The French Aerospace Lab; ENAC. 2022
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- auteur
- Christophe Garion, Gautier Hattenberger, Baptiste Pollien, Pierre Roux, Xavier Thirioux
- titre
- Formal Verification for Autopilot - Preliminary state of the art
- article
- [Technical Report] ISAE-SUPAERO; ONERA -- The French Aerospace Lab; ENAC. 2022
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2021
- auteur
- Geoffrey Scozzaro, Clara Buire, Eric Féron, Daniel Delahaye
- titre
- A new visualization of Paris accessibility
- article
- [University works] ENAC. 2021
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2018
- auteur
- Torbjørn Cunis, Laurent Burlion, Jean-Philippe Condomines
- titre
- Piecewise Polynomial Model of the Aerodynamic Coefficients of the Generic Transport Model and its Equations of Motion
- article
- [Technical Report] Third corrected version, ONERA -- The French Aerospace Lab; École Nationale de l'Aviation Civile. 2018
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- auteur
- Ahmed Khassiba, Fabian Bastin, Bernard Gendron, Sonia Cafieri, Marcel Mongeau
- titre
- Extended Aircraft Arrival Management under Uncertainty: A Computational Study
- article
- [Research Report] CIRRELT. 2018
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- auteur
- Ruohao Zhang, Jean-Philippe Condomines, Riad Chemali, Nicolas Larrieu
- titre
- Network intrusion detection system for drone fleet using both spectral analysis and robust controller / observer
- article
- [Research Report] RR-ENAC-2018-01, ENAC. 2018
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2017
- auteur
- Jean-Philippe Condomines
- titre
- Estimation non linéaire basée sur la théorie des observateurs invariants
- article
- [Rapport de recherche] RR-ENAC-2017-001, ENAC. 2017
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2016
- auteur
- Stergos Afantenos, Nicolas Couellan, Aurélien Garivier, Sébastien Gerchinovitz, Jean-Michel Loubes, François Malgouyres, Josiane Mothe, Sandrine Mouysset, Edouard Pauwels, Mathieu Serrurier, Tim van de Cruys
- titre
- Report on CIMI Thematic Trimester: Machine Learning
- article
- [Rapport de recherche] IRIT : Institut de Recherche en Informatique de Toulouse. 2016
- typdoc
- Reports
- Accès au bibtex
-
2014
- auteur
- Alexandre Gondran
- titre
- Recherche tabou générique pour problèmes à contraintes binaires
- article
- [Rapport de recherche] ENAC. 2014
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- auteur
- Thibault Lehouillier, Jérémy Omer, François Soumis, Cyril Allignol
- titre
- Measuring the interactions between air traffic control and flow management using a simulation-based framework
- article
- 2014
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2011
- auteur
- Olivier Planchon, Abdelkrim Bensaïd, Valérie Bonnardot, Bonnefoy Cyril, Olivier Cantat, Daniel Delahaye, Johnny Douvinet, Vincent Dubreuil, Nadia Dupont, Lamarre Denis, Lamy Chloe, Rémi Lecerf, Patrick Le Gouée, Hervé Quénol, Edwige Savouret
- titre
- Les risques climatiques liés aux changements en cours dans la dynamique des masses d'air sur l'Europe Occidentale
- article
- 2011
- typdoc
- Reports
- Accès au bibtex
-
2006
- auteur
- David Gianazza
- titre
- Réseaux de neurones appliqués aux indicateurs de complexité et aux regroupements de secteurs aériens
- article
- 2006
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2005
- auteur
- Kevin Guittet, David Gianazza
- titre
- Analyse descriptive des indicateurs de complexité du trafic aérien à partir des données IMAGE et COURAGE
- article
- [Research Report] Ecole Nationale de l'Aviation Civile. 2005
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2001
- auteur
- Alexandre Gondran
- titre
- Fentes de Young : trajectoires d'électrons ?
- article
- 2001
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
1992
- auteur
- A.R. Conn, Marcel Mongeau
- titre
- Discontinuous piecewise differentiable optimization I : theory
- article
- [Research Report] RR-1694, INRIA. 1992
- typdoc
- Reports
- Accès au texte intégral et bibtex
-