Nano-argentvignette|Nanoparticules d'argent, vues au microscope électronique. Le est un nanomatériau à base d'atomes d'argent, produit sous forme de nanoparticules par des nanotechnologies. En solution, il porte le nom d'. En 2008, selon les producteurs, environ /an de nano-argent auraient déjà été produites dans le monde, sous forme d'ions argent, de particules d’argent protéinées (silver proteins) ou de colloïdes utilisés comme biocide.
ArgentL'argent est l'élément chimique de numéro atomique 47, de symbole Ag. Le corps simple argent est un métal précieux dont le nom désigne aussi en français dans le langage courant les pièces et billets de monnaie, voire par extension une certaine somme « d'argent ». Cependant, les économistes distinguent, à la différence du langage courant, l’argent métal ou réserve métallique de la monnaie comme outil de régulation des échanges économiques. Le faible niveau des réserves de ce métal en fait une matière première minérale critique.
NanoparticuleUne nanoparticule est selon la norme ISO TS/27687 un nano-objet dont les trois dimensions sont à l'échelle nanométrique, c'est-à-dire une particule dont le diamètre nominal est inférieur à environ. D'autres définitions évoquent un assemblage d'atomes dont au moins une des dimensions se situe à l'échelle nanométrique (ce qui correspond au « nano-objet » tel que défini par la norme ISO précitée) ou insistent sur leurs propriétés nouvelles (dues au confinement quantique et à leur surface spécifique) qui n'apparaissent que pour des tailles de moins d'une centaine de nanomètres.
Temps (météorologie)Le temps ou la météo est l'ensemble des conditions physiques des basses couches de l'atmosphère à un moment précis et en un point précis. Sont communément associées au temps les conditions météorologiques dont les effets peuvent être directement ressentis : ennuagement ou rayonnement solaire, température, vent, précipitations et également visibilité. L'étude et la prévision du temps s'appellent la météorologie.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Prévision météorologiqueLa prévision météorologique est une application des connaissances en météorologie et des techniques modernes de prises de données et d’informatique pour prévoir l’état de l’atmosphère à un temps ultérieur. L’histoire de la prévision du temps remonte aux temps immémoriaux avec les oracles et devins mais la science moderne date vraiment de la fin du et du début du . Elle s’est cependant affirmée depuis la Seconde Guerre mondiale alors que les moyens techniques comme le radar et les communications modernes ont rendu l’accès aux données plus rapide et plus nombreuses.
AlgueLes algues sont des organismes vivants capables de produire de la photosynthèse oxygénique et dont le cycle de vie se déroule généralement en milieu aquatique. Elles constituent une part très importante de la biodiversité et la base principale des chaînes alimentaires des eaux douces, saumâtres et marines. Diverses espèces sont utilisées pour l'alimentation humaine, l'agriculture et l'industrie. Les algues ne constituent pas un groupe évolutif unique, mais rassemblent toute une série d'organismes pouvant appartenir à des groupes phylogénétiques très différents.
National Weather ServiceLe National Weather Service (NWS ; « Service météorologique national ») est le service météorologique des États-Unis. C'est un des six services scientifiques qui composent le National Oceanic and Atmospheric Administration (NOAA), l'agence gouvernementale chargée de la recherche et la surveillance de l'atmosphère et des océans sur tout le territoire américain. Le NWS est plus spécifiquement chargé de la recherche sur les phénomènes atmosphériques, la prévision du temps, les études climatologiques et hydrologiques.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
RhodophytaLes algues rouges, ou Rhodophytes (division des Rhodophyta), sont un grand taxon d'algues pour la plupart marines et pour la plupart multicellulaires (la plupart sont sessiles, c'est-à-dire qu'elles se développent fixées sur un substrat quelconque). Elles sont caractérisées par une composition pigmentaire avec un seul type de chlorophylle, la chlorophylle a, des caroténoïdes et des pigments caractéristiques, les phycobiliprotéines.
