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.
Exploration du système martienvignette|Le sol de Mars photographié par Viking 1 en 1975. vignette|Burns Cliff, affleurement rocheux à l'intérieur du cratère Endurance photographié par le rover MER Opportunity en 2004. vignette|Selfie de Curiosity pris en 2012dans le cratère Gale. L’exploration du système martien, qui comprend la planète Mars et ses deux satellites, tient une place particulièrement importante dans les programmes scientifiques d'exploration du Système solaire des principales puissances spatiales.
Mars roverA Mars rover is a motor vehicle designed to travel on the surface of Mars. Rovers have several advantages over stationary landers: they examine more territory, they can be directed to interesting features, they can place themselves in sunny positions to weather winter months, and they can advance the knowledge of how to perform very remote robotic vehicle control. They serve a different purpose than orbital spacecraft like Mars Reconnaissance Orbiter. A more recent development is the Mars helicopter.
Déplacement QU-Dans le domaine de la linguistique, le déplacement QU- est une transformation syntaxique qui concerne le mouvement des syntagmes interrogatifs. Cette opération est appelée « déplacement QU- » parce que plusieurs mots interrogatifs français commencent par les lettres « qu- », tels que qui, que, quoi, quel(le)(s) et quand. Les mots interrogatifs qui ne commencent pas « qu- », mais sont toujours assujettis au deplacement QU-, incluent pourquoi, comment, combien, et où.
Liberté asymptotiqueEn théorie quantique des champs, la liberté asymptotique est la propriété que possèdent certaines théories basées sur un groupe de jauge non abélien de voir leur constante de couplage décroître lorsque les distances deviennent petites (par rapport à l'échelle de la théorie) ou réciproquement lorsque les énergies mises en jeu deviennent importantes par rapport à une certaine échelle caractéristique . Le premier exemple de théorie asymptotiquement libre est celui de la chromodynamique quantique (ou en abrégé QCD) servant à décrire les quarks ainsi que leurs interactions, qui est appelée l'interaction forte.
Classification des groupes simples finisEn mathématiques, et plus précisément en théorie des groupes, la classification des groupes simples finis, aussi appelée le théorème énorme, est un ensemble de travaux, principalement publiés entre environ 1955 et 1983, qui a pour but de classer tous les groupes finis simples. En tout, cet ensemble comprend des dizaines de milliers de pages publiées dans 500 articles par plus de 100 auteurs.
Théorie critiqueLa théorie critique est une approche de la philosophie sociale qui vise à analyser la société et la culture en mobilisant les sciences sociales et les humanités afin de révéler et mettre en question les structures de pouvoir. Elle considère que les problèmes sociaux sont créés et influencés davantage par des structures sociétales et des présupposés culturels que par des facteurs individuels ou psychologiques. La théorie critique a été établie comme une école de pensée soutenant que l'idéologie est le principal obstacle à la libération humaine.
Filtre à réponse impulsionnelle finieEn traitement du signal, un filtre à réponse impulsionnelle finie ou filtre RIF (en anglais Finite Impulse Response filter ou FIR filter) est un filtre dont la réponse impulsionnelle est de durée finie. On parle le plus souvent de filtre RIF pour des filtres à temps discret. Un filtre numérique RIF est caractérisé par une réponse uniquement basée sur un nombre fini de valeurs du signal d'entrée. Par conséquent, quel que soit le filtre, sa réponse impulsionnelle sera stable et de durée finie, dépendante du nombre de coefficients du filtre.
Proposition (grammaire)En grammaire scolaire, une proposition est un syntagme articulé autour d'un verbe (qui peut être sous-entendu : proposition elliptique). Les propositions indépendantes fonctionnent en autonomie, et ne dépendent donc d'aucune autre proposition, c'est-à-dire qu'elles ont un sens même si l'on ne lit pas le reste de la phrase. Il en existe deux types : la juxtaposition et la coordination. Juxtaposition La juxtaposition est une coordination sans l'emploi d'un coordonnant.
Application linéaireEn mathématiques, une application linéaire (aussi appelée opérateur linéaire ou transformation linéaire) est une application entre deux espaces vectoriels qui respecte l'addition des vecteurs et la multiplication scalaire, et préserve ainsi plus généralement les combinaisons linéaires. L’expression peut s’utiliser aussi pour un morphisme entre deux modules sur un anneau, avec une présentation semblable en dehors des notions de base et de dimension. Cette notion étend celle de fonction linéaire en analyse réelle à des espaces vectoriels plus généraux.
Filtre à réponse impulsionnelle infinieUn filtre à réponse impulsionnelle infinie ou filtre RII (en anglais infinite impulse response filter ou IIR filter) est un type de filtre électronique caractérisé par une réponse fondée sur les valeurs du signal d'entrée ainsi que les valeurs antérieures de cette même réponse. Il est nommé ainsi parce que dans la majorité des cas, la réponse impulsionnelle de ce type de filtre est de durée théoriquement infinie. Il est aussi désigné par l'appellation de filtre récursif. Ce filtre est l'un des deux types de filtre numérique linéaire.
Asymptotic computational complexityIn computational complexity theory, asymptotic computational complexity is the usage of asymptotic analysis for the estimation of computational complexity of algorithms and computational problems, commonly associated with the usage of the big O notation. With respect to computational resources, asymptotic time complexity and asymptotic space complexity are commonly estimated. Other asymptotically estimated behavior include circuit complexity and various measures of parallel computation, such as the number of (parallel) processors.
