Libéralisation économiqueEn économie, la libéralisation (ou l'ouverture à la concurrence) est le processus de transformation d'un secteur économique dont la finalité est de permettre l'exercice d'une activité économique à différents agents économiques, privés ou publics. Elle signifie la fin du monopole d'une administration ou d'une entreprise (publique ou privée) sur une activité définie par l'autorité publique. La possibilité offerte à d'autres acteurs d'intervenir sur le marché est un moyen de stimuler la concurrence.
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.
Système économiqueUn système économique est le mode d’organisation de l'activité économique, qui détermine la production, la consommation, l'utilisation des ressources et la distribution des ressources d’une société ou d'une aire géographique donnée. Il comprend la combinaison des diverses institutions, agences, entités, processus décisionnels et modes de consommation qui composent la structure économique d'une communauté donnée. Il peut être également compris comme l'organisation sociale induite par le système.
Théorie de la firmeLa théorie de la firme consiste en un certain nombre de théories économiques qui décrivent, expliquent et prédisent la nature de la firme, compagnie, ou corporation sa vie, sa conduite, sa structure, et son rapport au marché. En termes simplifiés, la théorie de la firme a pour but de répondre à ces questions : L'existence. Pourquoi les firmes apparaissent, pourquoi toutes les transactions en économie ne sont pas mises sur le marché ? Les frontières. Pourquoi la frontière entre les firmes et le marché est s
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.
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
Union économiqueAn economic union is a type of trade bloc which is composed of a common market with a customs union. The participant countries have both common policies on product regulation, freedom of movement of goods, services and the factors of production (capital and labour) as well as a common external trade policy. When an economic union involves unifying currency, it becomes an economic and monetary union. The purposes for establishing an economic union normally include increasing economic efficiency and establishing closer political and cultural ties between the member countries.
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.
Effet de réseauL'effet de réseau (ou rarement effet-club) est le phénomène par lequel l'utilité réelle d'une technique ou d'un produit dépend de la quantité de ses utilisateurs. Un effet de réseau est donc un mécanisme d'externalité économique. Il peut être aussi bien positif que négatif, bien que le terme soit plutôt appliqué au premier cas, surtout dans les techniques de pointe. Le terme effet de réseau exprime le fait que l'usage de telles techniques passe par des mouvements ou échanges en réseau, et ce phénomène est la source du mécanisme qui cause ce type d'effet.
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).
