Effects of climate change on agricultureThe effects of climate change on agriculture can result in lower crop yields and nutritional quality due to drought, heat waves and flooding as well as increases in pests and plant diseases. Climate change impacts are making it harder for agricultural activities to meet human needs. The effects are unevenly distributed across the world and are caused by changes in temperature, precipitation and atmospheric carbon dioxide levels due to global climate change. In 2019, millions were already suffering from food insecurity due to climate change.
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.
Objet potentiellement dangereuxvignette|Astéroïde (4179) Toutatis. Un objet potentiellement dangereux (en abrégé OPD ; en anglais Potentially Hazardous Object, PHO) est, en astronomie, un objet spatial volumineux dont la trajectoire passe suffisamment près de la Terre pour représenter une menace de collision. Ces objets relèvent de la catégorie des géocroiseurs et sont de deux types : les astéroïdes potentiellement dangereux (APD ; en anglais Potentially Hazardous Asteroid, PHA) ; les comètes potentiellement dangereuses (CPD ; en anglais Potentially Hazardous Comet, PHC).
Nonlinear system identificationSystem identification is a method of identifying or measuring the mathematical model of a system from measurements of the system inputs and outputs. The applications of system identification include any system where the inputs and outputs can be measured and include industrial processes, control systems, economic data, biology and the life sciences, medicine, social systems and many more. A nonlinear system is defined as any system that is not linear, that is any system that does not satisfy the superposition principle.
Multilevel modelMultilevel models (also known as hierarchical linear models, linear mixed-effect model, mixed models, nested data models, random coefficient, random-effects models, random parameter models, or split-plot designs) are statistical models of parameters that vary at more than one level. An example could be a model of student performance that contains measures for individual students as well as measures for classrooms within which the students are grouped.
Vibrationthumb Une vibration est un mouvement d'oscillation mécanique autour d'une position d'équilibre stable ou d'une trajectoire moyenne. La vibration d'un système peut être libre ou forcée. Tout mouvement vibratoire peut être défini par les caractéristiques suivantes : un degré de liberté ; deux ou plusieurs degrés de liberté ; Une masse libre dans l'espace a naturellement six degrés de liberté : trois translations (notées Tx, Ty, Tz) ; trois rotations (notées Rx, Ry, Rz).
Équivalence logiqueEn logique classique, deux propositions P et Q sont dites logiquement équivalentes ou simplement équivalentes quand il est possible de déduire Q à partir de P et de déduire P à partir de Q. En calcul des propositions, cela revient à dire que P et Q ont même valeur de vérité : P et Q sont soit toutes les deux vraies, soit toutes les deux fausses. L'équivalence logique s'exprime souvent sous la forme si et seulement si, dans des cadres comme l'enseignement ou la métamathématique pour parler des propriétés de la logique elle-même, et non du connecteur logique qui lie deux propositions.
Identification (statistiques)En statistiques et en économétrie, l'identification (ou identifiabilité) est une propriété d'un modèle statistique. En statistiques, on dit qu'un modèle est identifiable s'il est possible d'apprendre la vraie valeur des paramètres à partir d'un nombre infini d'observations. On considère le modèle statistique : avec : l'espace de réalisation des variables aléatoires l'espace des valeurs possibles pour le paramètre une loi de probabilité de densité On définit alors la fonction de vraisemblance comme : On dit
Model-based testingvignette|Diagramme du model-based testing Le model-based testing (MBT) est une activité qui permet de concevoir et de dériver (de manière automatique ou non) des cas de tests à partir d'un modèle abstrait et haut niveau du système sous test (SUT). Le modèle est dit abstrait car il offre bien souvent une vue partielle et discrète des comportements attendus d'un logiciel ou d'un système. Sur la base de modèles abstraits, des cas de test peuvent être dérivées sous la forme de suites de tests.
Simultaneous equations modelSimultaneous equations models are a type of statistical model in which the dependent variables are functions of other dependent variables, rather than just independent variables. This means some of the explanatory variables are jointly determined with the dependent variable, which in economics usually is the consequence of some underlying equilibrium mechanism. Take the typical supply and demand model: whilst typically one would determine the quantity supplied and demanded to be a function of the price set by the market, it is also possible for the reverse to be true, where producers observe the quantity that consumers demand and then set the price.
