Compétition (biologie)Dans le domaine de la biologie, la relation de compétition est une interaction caractérisée par la rivalité entre les espèces vivantes pour l'accès aux ressources limitées du milieu. Elle fait partie de facteurs biotiques et donc des relations entre les êtres-vivants. Elle peut être interspécifique (entre membres d'espèces différentes) ou intraspécifique (entre membres de la même espèce). La compétition en écologie et biologie, est la « rivalité » entre espèces vivantes pour l'accès aux ressources du milieu.
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.
Intégration économiquevignette|250px|Carte des États membres de l'Organisation mondiale du commerce (OMC). En vert foncé : États membres, en vert clair : États membres de l'OMC et de l'Union européenne, en bleu : pays observateurs, en gris : pays non-membres. L’intégration économique est le processus de mise en réseau et d'unification de systèmes économiques nationaux et des politiques économiques entre différents États. L'intégration passe par l'abolition partielle ou totale des restrictions tarifaires (taxes, droits de douane) et non tarifaires sur le commerce.
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.
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).
Union économiqueUne union économique est un ensemble de pays dont les membres ont harmonisé leurs différentes politiques économiques et fiscales. L'ensemble forme un marché commun.
L’Union européenne a mis en place une union économique et monétaire, et donc le marché commun européen.
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.
Réglementation bancaireLa réglementation bancaire est la règlementation qui concerne les activités du secteur bancaire. Elle vise à soutenir la solidité et l'intégrité des établissements de crédit. Le Comité de Bâle Les missions du Comité de Bâle sont : le renforcement de la sécurité et de la fiabilité du système financier ; l’établissement de standards minimaux en matière de contrôle prudentiel ; la diffusion et la promotion des meilleures pratiques bancaires et de surveillance ; la promotion de la coopération internationale en matière de contrôle prudentiel.
Ingérence humanitaireEn politique internationale, l'idée d'ingérence humanitaire est apparue durant la guerre du Biafra (1967-1970). Le conflit a entraîné une famine, largement couverte par les médias occidentaux mais totalement ignorée par les chefs d'État et de gouvernement au nom de la neutralité et de la non-ingérence. Cette situation a entraîné la création d'ONG comme Médecins sans frontières qui défendent l'idée que certaines situations sanitaires exceptionnelles peuvent justifier à titre extraordinaire la remise en cause de la souveraineté des États.
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).
Cis-regulatory elementCis-regulatory elements (CREs) or Cis''-regulatory modules (CRMs) are regions of non-coding DNA which regulate the transcription of neighboring genes. CREs are vital components of genetic regulatory networks, which in turn control morphogenesis, the development of anatomy, and other aspects of embryonic development, studied in evolutionary developmental biology. CREs are found in the vicinity of the genes that they regulate. CREs typically regulate gene transcription by binding to transcription factors.
Réseaux de régulation géniquedroite|vignette|360x360px| Structure d'un réseau de régulation génique droite|vignette|360x360px| Processus de contrôle d'un réseau de régulation génique Un réseau de régulation génique (ou génétique ) ( RRG ), réseau de régulation des gènes ou réseaux de régulation transcriptionnelle est un ensemble de régulateurs moléculaires qui interagissent entre eux et avec d'autres substances dans une cellule pour moduler l'expression génique de l'ARNm et des protéines qui, à leur tour, déterminent la fonction de la c
