DARPA Grand ChallengeLe DARPA Grand Challenge est une compétition organisée par la DARPA, la Defense Advanced Research Projects Agency (agence américaine responsable des projets en recherche avancée pour la Défense), mettant en jeu des véhicules terrestres sans pilote et autonomes. Les deux premières années (2004 et 2005) les véhicules devaient parcourir un circuit dans le désert des Mojaves, et la troisième année (2007) un circuit en milieu urbain . La compétition fut renommée à cette occasion DARPA Urban Challenge.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Codeur rotatifvignette|ROD 420 Un codeur rotatif ou capteur rotatif est un type de capteur permettant de fournir une information d'angle, en mesurant la rotation effectuée autour d'un axe. L'information de vitesse peut alors être déduite de la variation de la position par rapport au temps. Plus le codeur rotatif tourne lentement, plus la déduction de vitesse perd en précision. Il existe deux principaux types de codeurs : le codeur rotatif incrémental, qui ajoute ou soustrait (selon le sens de rotation) une unité à un compteur à chaque rotation supérieure à la résolution du capteur.
Marginal stabilityIn the theory of dynamical systems and control theory, a linear time-invariant system is marginally stable if it is neither asymptotically stable nor unstable. Roughly speaking, a system is stable if it always returns to and stays near a particular state (called the steady state), and is unstable if it goes farther and farther away from any state, without being bounded. A marginal system, sometimes referred to as having neutral stability, is between these two types: when displaced, it does not return to near a common steady state, nor does it go away from where it started without limit.
Big.LITTLEbig.LITTLE (de l'anglais big signifiant « grand » et little signifiant « petit ») est une technologie de microprocesseur multi-cœur conçue par ARM, utilisant simultanément un cœur à très faible consommation (LITTLE) comme cœur principal et plusieurs cœurs plus puissants (big), s'activant en cas de demande importante en puissance de calcul. Cela permet d'économiser davantage d'énergie que lorsque plusieurs processeurs de même puissance sont mis en parallèle, tout en conservant une forte capacité de calcul.
Scikit-learnScikit-learn est une bibliothèque libre Python destinée à l'apprentissage automatique. Elle est développée par de nombreux contributeurs notamment dans le monde académique par des instituts français d'enseignement supérieur et de recherche comme Inria. Elle propose dans son framework de nombreuses bibliothèques d’algorithmes à implémenter, clé en main. Ces bibliothèques sont à disposition notamment des data scientists. Elle comprend notamment des fonctions pour estimer des forêts aléatoires, des régressions logistiques, des algorithmes de classification, et les machines à vecteurs de support.
21st century skills21st century skills comprise skills, abilities, and learning dispositions that have been identified as being required for success in 21st century society and workplaces by educators, business leaders, academics, and governmental agencies. This is part of a growing international movement focusing on the skills required for students to master in preparation for success in a rapidly changing, digital society. Many of these skills are also associated with deeper learning, which is based on mastering skills such as analytic reasoning, complex problem solving, and teamwork.
