Médecine traditionnelleSelon la définition officielle de l'OMS, la médecine traditionnelle « se rapporte aux pratiques, méthodes, savoirs et croyances en matière de santé qui impliquent l’usage à des fins médicales de plantes, de parties d’animaux et de minéraux, de thérapies spirituelles, de techniques et d’exercices manuels – séparément ou en association – pour soigner, diagnostiquer et prévenir les maladies ou préserver la santé ».
Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
RisqueLe risque est la possibilité de survenue d'un événement indésirable, la probabilité d’occurrence d'un péril probable ou d'un aléa. Le risque est une notion complexe, de définitions multiples car d'usage multidisciplinaire. Néanmoins, il est un concept très usité depuis le , par exemple sous la forme de l'expression , notamment pour qualifier, dans le sens commun, un événement, un inconvénient qu'il est raisonnable de prévenir ou de redouter l'éventualité.
Expression culturelleLes expressions culturelles constituent des manifestations créatives des identités culturelles de leurs auteurs. Elles font l'objet d'un traitement dans le système juridique international en matière de droits culturels, de droit de la propriété intellectuelle et du commerce international. La Convention sur la protection et la promotion de la diversité des expressions culturelles de 2005 a pour objectif, comme son titre le mentionne, de protéger et de promouvoir la diversité des expressions culturelles.
Global Forecast Systemvignette|Exemple de carte produite par le GFS, prévision des isohypses de géopotentiel et des isothermes de température à la pression de dans l'atmosphère, le tout valide 96 heures après le moment d’initialisation Le Global Forecast System (GFS) est un modèle de prévision numérique du temps du National Weather Service des États-Unis. Comme son nom l'indique, il fait ses calculs en utilisant les données météorologiques sur une grille qui recouvre toute la Terre. Ce modèle numérique est initialisé quatre fois par jour : 5h30, 11h30, 17h30 et 23h30.
Légitimité (sciences sociales)Selon le sociologue Max Weber, la domination est toujours légitime. Le concept de légitimité se rapporte ici à la notion de reconnaissance sociale. C'est socialement que se définit la légitimité. Dans un exemple simple, le voleur démontre qu'il légitime le droit et la justice dans son action de se cacher des policiers. Weber définit le pouvoir (Macht) comme la potentialité que la volonté d'un individu ou d'un groupe l'emporte sur un autre, lors des relations sociales : « la puissance (le pouvoir) a toute chance de faire triompher, dans une relation sociale, sa propre volonté, même contre des résistances ; peu importe sur quoi repose cette chance » .
Atmospheric modelIn atmospheric science, an atmospheric model is a mathematical model constructed around the full set of primitive, dynamical equations which govern atmospheric motions. It can supplement these equations with parameterizations for turbulent diffusion, radiation, moist processes (clouds and precipitation), heat exchange, soil, vegetation, surface water, the kinematic effects of terrain, and convection. Most atmospheric models are numerical, i.e. they discretize equations of motion.
É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.
Perception du risqueLa est la condition de son appréciation et de la possibilité de concilier ce risque avec l'action envisagée par une prise de décision rationnelle : une fois les possibilités mises en balance, un choix tenant quelque part du pari est fait en connaissance de cause. Une difficulté de la maîtrise du risque tient au fait que l'événement concerné, le dommage, est éloigné dans le temps, se situe dans l’avenir. De cette notion d’avenir dérivent les notions de possible, de probable, de potentiel et parfois de risque émergent.
Exactitude et précisionvignette|Schéma de l'exactitude et la précision appliquée à des lancers de fléchettes. Dans la mesure d'un ensemble, l'exactitude est la proximité des mesures à une valeur spécifique, tandis que la précision est la proximité des mesures les unes par rapport aux autres. L'exactitude a deux définitions : Plus communément, il s'agit d'une description des erreurs systématiques, une mesure du biais statistique ; une faible précision entraîne une différence entre un résultat et une valeur « vraie ».
Système formelUn système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
