Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
Gestion des risquesLa gestion des risques, ou l'anglicisme, management du risque (de l'risk management), est la discipline visant à identifier, évaluer et hiérarchiser les risques liés aux activités d'une organisation, quelles que soient la nature ou l'origine de ces risques, puis à les traiter méthodiquement, de manière coordonnée et économique, afin de réduire et contrôler la probabilité des événements redoutés, et leur impact éventuel.
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.
Catastrophe naturellethumb|Éruption du Pinatubo aux Philippines (12 juin 1991). Une catastrophe naturelle est une catastrophe qui résulte d’un événement naturel : séisme, éruption volcanique, tsunami, mouvements de terrain, inondation, tempête, cyclone tropical, orages. Le Bureau des Nations unies pour la réduction des risques de catastrophe souligne que le changement climatique est le principal responsable du doublement des catastrophes naturelles en 20 ans. Les inondations et les tempêtes ont été les catastrophes les plus fréquentes au cours des décennies 2000 et 2010.
Disaster responseDisaster response refers to the actions taken directly before, during or in the immediate aftermath of a disaster. The objective is to save lives, ensure health and safety and to meet the subsistence needs of the people affected. This includes warning/evacuation, search and rescue, providing immediate assistance, assessing damage, continuing assistance and the immediate restoration or construction of infrastructure (i.e. provisional storm drains or diversion dams).
Évaluation des risquesDans le domaine de la gestion des risques, l'évaluation des risques est l'ensemble des méthodes consistant à calculer la criticité (pertinence et gravité) des dangers. Elle vise outre à les quantifier, à qualifier les dangers (qui doivent donc préalablement avoir été identifiés). Elle se base sur . Dans ce domaine, on se restreint à l'étude du risque aryétique, c'est-à-dire en ne considérant que les événements à conséquences négatives.
Technologie environnementaleLa technologie environnementale (encore appelée technologie de l'environnement ou technologie verte ou écotechnie) est une des applications des sciences environnementales visant à développer des outils pour : la biosurveillance (bioindication) et la mesure des teneurs en certains polluants de différents milieux (air, eau, sol...) ou d'un réseau trophique (bioconcentration...) ; la réhabilitation ou l'assainissement (ex : bioremédiation, phytoremédiation..
Nouvelles technologiesvignette|Nouvelles technologies - intelligence artificielle Les désignent des domaines très évolutifs et des techniques diverses, pouvant rendre plus accessible les rapports entre les humains et les machines : au sens large, toute la « haute technologie » ; au sens étroit, les nouvelles techniques de l'information et de la communication (TIC) (Internet, Smartphone, protocole Bluetooth...)..
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.
Plan d'urgenceUn plan d'urgence ou plan catastrophe est un dispositif prévoyant l'organisation des secours en cas de catastrophes ou d'événements de grande ampleur ou à risque majeur, mettant en péril la santé des personnes, d'animaux (sauvages ou d'élevage), de plantes ou d'autres organismes vivants, ou l'intégrité des biens. Un plan d'urgence est élaboré par une ou plusieurs des entités distinctes ayant à mener en urgence des actions, lorsque l'événement catastrophique survient : secours publics, collectivités territoriales, industriels, etc.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
