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).
Atténuation du changement climatiquethumb|Consommation globale d'énergie entre 2000 et 2020. L'atténuation du changement climatique ou « atténuation du réchauffement climatique » (en anglais, climate change mitigation) regroupe les actions visant à atténuer l'ampleur du réchauffement mondial d'origine humaine par la réduction des émissions de gaz à effet de serre ou la capture et séquestration du dioxyde de carbone de l'atmosphère.
Influence socialeL’influence sociale ou la pression sociale est l'influence exercée par un individu, ou par un groupe sur chacun de ses membres, dont le résultat est d'imposer des normes dominantes en matière d'attitude et de comportement. . Cette influence entraîne la modification des comportements, attitudes, croyances, opinions ou sentiments d'un individu ou d'un groupe à la suite du contact avec un autre individu ou groupe. Pour noter un tel effet d’influence, une quelconque relation doit exister entre ces entités.
Advocacy groupAdvocacy groups, also known as interest groups, special interest groups, lobbying groups, pressure groups, or public associations use various forms of advocacy and/or lobbying in order to influence public opinion and ultimately public policy. They play an important role in the development of political and social systems. Motives for action may be based on political, economic, religious, moral, commercial or common good-based positions.
Théorie de la stabilitéEn mathématiques, la théorie de la stabilité traite la stabilité des solutions d'équations différentielles et des trajectoires des systèmes dynamiques sous des petites perturbations des conditions initiales. L'équation de la chaleur, par exemple, est une équation aux dérivées partielles stable parce que des petites perturbations des conditions initiales conduisent à des faibles variations de la température à un temps ultérieur en raison du principe du maximum.
Fixed effects modelIn statistics, a fixed effects model is a statistical model in which the model parameters are fixed or non-random quantities. This is in contrast to random effects models and mixed models in which all or some of the model parameters are random variables. In many applications including econometrics and biostatistics a fixed effects model refers to a regression model in which the group means are fixed (non-random) as opposed to a random effects model in which the group means are a random sample from a population.
Climate change scenarioClimate change scenarios or socioeconomic scenarios are projections of future greenhouse gas (GHG) emissions used by analysts to assess future vulnerability to climate change. Scenarios and pathways are created by scientists to survey any long term routes and explore the effectiveness of mitigation and helps us understand what the future may hold this will allow us to envision the future of human environment system. Producing scenarios requires estimates of future population levels, economic activity, the structure of governance, social values, and patterns of technological change.
IntuitionL'intuition est un mode de connaissance, de pensée ou de jugement, conçu comme immédiat (au sens de direct) ; selon les acceptions, c'est un processus ou une faculté de l'esprit. Définie de plusieurs manières en philosophie ainsi qu'en psychologie, l’intuition serait le fait de pressentir ou comprendre quelque chose sans analyse ni raisonnement. L'intuition peut être supra-rationnelle ou infra-rationnelle. Son domaine est large : il concerne aussi bien la connaissance proprement dite (métaphysique ou représentation du monde) que les sentiments (sur les choses) ou les motivations (à agir).
Normative social influenceNormative social influence is a type of social influence that leads to conformity. It is defined in social psychology as "...the influence of other people that leads us to conform in order to be liked and accepted by them." The power of normative social influence stems from the human identity as a social being, with a need for companionship and association. Normative social influence involves a change in behaviour that is deemed necessary in order to fit in a particular group.
Stabilité de LiapounovEn mathématiques et en automatique, la notion de stabilité de Liapounov (ou, plus correctement, de stabilité au sens de Liapounov) apparaît dans l'étude des systèmes dynamiques. De manière générale, la notion de stabilité joue également un rôle en mécanique, dans les modèles économiques, les algorithmes numériques, la mécanique quantique, la physique nucléaire Un exemple typique de système stable au sens de Liapounov est celui constitué d'une bille roulant sans frottement au fond d'une coupelle ayant la forme d'une demi-sphère creuse : après avoir été écartée de sa position d'équilibre (qui est le fond de la coupelle), la bille oscille autour de cette position, sans s'éloigner davantage : la composante tangentielle de la force de gravité ramène constamment la bille vers sa position d'équilibre.
