Mars Polar LanderMars Polar Lander (Mars Surveyor '98 Lander) est une des deux sondes spatiales de l'agence spatiale américaine, la NASA, lancée en 1998 pour étudier la planète Mars. Cet atterrisseur (engin ne disposant d'aucune mobilité) doit se poser près du pôle sud martien en bordure de la calotte constituée essentiellement de glace de dioxyde de carbone.
Mars Reconnaissance Orbitervignette|Image en fausses couleurs, prise le par l'instrument HiRISE de la sonde MRO, d'un glissement de terrain dans le cratère Zunil. vignette|Le cratère Victoria photographié en . Le rover Opportunity est visible au bord du cratère à 10 h. Mars Reconnaissance Orbiter (MRO) est une mission spatiale américaine de la NASA en orbite autour de Mars. La sonde spatiale MRO a été lancée le par une fusée Atlas V-401 depuis la base de lancement de Cap Canaveral et s'est insérée en orbite martienne le .
Colonisation de Marsalt=Une conception d'artiste d'un habitat martien, avec un dôme imprimé en 3D fait de glace d'eau, de sas et d'un rover pressurisé sur Mars.|vignette|Une conception d'artiste d'un habitat martien, avec un dôme imprimé en 3D fait de glace d'eau, de sas et d'un rover pressurisé sur Mars. La colonisation de Mars par l'être humain, c'est-à-dire l'installation d'une communauté humaine autonome sur cette planète est un thème classique de science-fiction et constitue un projet qui connait dans les années 2010 un engouement populaire important.
Jet Propulsion LaboratoryLe Jet Propulsion Laboratory (« Laboratoire de recherche sur la propulsion par réaction »), plus connu sous son sigle JPL, est un centre de recherche spatiale de la NASA géré par le California Institute of Technology, créé en 1936 et situé à Pasadena (Californie) aux États-Unis. Il dispose d'une expertise sans équivalent dans le domaine des missions spatiales robotiques. Au sein de l'agence spatiale américaine, le JPL développe les missions d'exploration du Système solaire, en particulier à destination de Mars (missions mars Exploration Rover, Mars Science Laboratory, InSight, Mars 2020.
Hilbert schemeIn algebraic geometry, a branch of mathematics, a Hilbert scheme is a scheme that is the parameter space for the closed subschemes of some projective space (or a more general projective scheme), refining the Chow variety. The Hilbert scheme is a disjoint union of projective subschemes corresponding to Hilbert polynomials. The basic theory of Hilbert schemes was developed by . Hironaka's example shows that non-projective varieties need not have Hilbert schemes.
Quot schemeIn algebraic geometry, the Quot scheme is a scheme parametrizing sheaves on a projective scheme. More specifically, if X is a projective scheme over a Noetherian scheme S and if F is a coherent sheaf on X, then there is a scheme whose set of T-points is the set of isomorphism classes of the quotients of that are flat over T. The notion was introduced by Alexander Grothendieck. It is typically used to construct another scheme parametrizing geometric objects that are of interest such as a Hilbert scheme.
Railway signallingRailway signalling ( ()), also called railroad signaling ( ()), is a system used to control the movement of railway traffic. Trains move on fixed rails, making them uniquely susceptible to collision. This susceptibility is exacerbated by the enormous weight and inertia of a train, which makes it difficult to quickly stop when encountering an obstacle. In the UK, the Regulation of Railways Act 1889 introduced a series of requirements on matters such as the implementation of interlocked block signalling and other safety measures as a direct result of the Armagh rail disaster in that year.
Analyse prédictiveL'analyse (ou logique) prédictive englobe une variété de techniques issues des statistiques, d'extraction de connaissances à partir de données et de la théorie des jeux qui analysent des faits présents et passés pour faire des hypothèses prédictives sur des événements futurs. Dans le monde des affaires, des modèles prédictifs exploitent des schémas découverts à l'intérieur des ensembles de données historiques et transactionnelles pour identifier les risques et les opportunités.
Predictive modellingPredictive modelling uses statistics to predict outcomes. Most often the event one wants to predict is in the future, but predictive modelling can be applied to any type of unknown event, regardless of when it occurred. For example, predictive models are often used to detect crimes and identify suspects, after the crime has taken place. In many cases, the model is chosen on the basis of detection theory to try to guess the probability of an outcome given a set amount of input data, for example given an email determining how likely that it is spam.
Signalisation ferroviairevignette|Nouvelle signalisation allemande de passage à niveau, en 1928 La signalisation ferroviaire est un système d'informations destiné à renseigner le conducteur d'une circulation ferroviaire lui donnant, sous forme de codes réalisés par des signaux de forme, de combinaisons, ou de couleur diverses, dont la signification est prédéfinie, disposés le long des voies ou en cabine, toutes les informations qui lui sont nécessaires afin de régler la marche de son convoi et rouler en toute sécurité.
