Constante d'équilibreEn chimie, une constante d'équilibre caractérise l'état d'équilibre d'un système chimique. Elle est donc associée à un état du système qui ne peut pas évoluer de manière spontanée. La valeur de la constante d'équilibre dépend uniquement de la réaction chimique considérée et de la température. Les constantes d'équilibre sont généralement données à . Claude-Louis Berthollet fut le premier, en 1803, à comprendre que toute réaction chimique n'est pas totale.
Équilibre chimiqueUn équilibre chimique est le résultat de deux réactions chimiques simultanées dont les effets s'annulent mutuellement. Une réaction telle que la combustion du propane avec l'oxygène, qui s'arrête lorsque l'un des réactifs est totalement épuisé, est qualifiée de réaction totale, complète ou irréversible. À contrario, une réaction comme l'estérification, aboutissant à un mélange stable dans le temps de réactifs et de produits, sans disparition totale de l'une des espèces chimiques, est qualifiée de réaction partielle, incomplète, réversible ou inversible : ce type de réaction aboutit à un équilibre chimique.
Équilibre économiqueEn économie, le concept d'équilibre économique sur un ou plusieurs marchés désigne un vecteur de variables, généralement des prix qui égalisent l'offre et la demande sur l'ensemble des marchés considérés. Cette désignation d'ensemble recouvre en fait des concepts d'équilibre très différents, qui présentent des propriétés différentes et appartiennent à des cadres d'analyse parfois éloignés. L'équilibre économique n'est jamais l'équilibre comptable. L'équilibre partiel constitue le concept d'équilibre économique le plus fréquent dans la recherche économique.
Ordinateur de bureauUn ordinateur de bureau ou ordinateur fixe (desktop computer en anglais) est un ordinateur personnel destiné à être utilisé sur un bureau ou tout autre endroit fixe à cause de ses dimensions, de sa masse et de son alimentation électrique. L'unité centrale est le plus souvent composé d'un boîtier qui comprend un bloc d'alimentation, une carte-mère (circuit imprimé sur lequel est fixé un micro-processeur en tant qu'unité centrale de traitement, la mémoire de traitement, les bus informatiques et d'autres composants électroniques) ainsi qu'un système d'entrées/sorties.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
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).
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Système d'exploitationEn informatique, un système d'exploitation (souvent appelé OS — de l'anglais operating system — ou parfois SE — en français) est un ensemble de programmes qui dirige l'utilisation des ressources d'un ordinateur par des logiciels applicatifs. Il reçoit des demandes d'utilisation des ressources de l'ordinateur de la part des logiciels applicatifs. Le système d'exploitation gère les demandes ainsi que les ressources nécessaires évitant les interférences entre les logiciels.
LinuxLinux ou GNU/Linux est une famille de systèmes d'exploitation open source de type Unix fondés sur le noyau Linux créé en 1991 par Linus Torvalds. De nombreuses distributions Linux ont depuis vu le jour et constituent un important vecteur de popularisation du mouvement du logiciel libre. Si, à l'origine, Linux a été développé pour les ordinateurs compatibles PC, il n'a jamais équipé qu'une très faible part des ordinateurs personnels.
Équilibre dynamiqueUn équilibre dynamique peut avoir différentes significations : l'équilibre dynamique d'une pièce en rotation est atteint lorsque aucune vibration ne se produit quelle que soit sa vitesse de rotation. équilibre chimique dans lequel une réaction réversible se produit, mais sans modifier globalement le ratio réactif/produit, ces composés étant détruits aussi rapidement qu'ils sont produits, ce qui signifie qu'il n'y a pas de changement net dans la composition du système chimique. C'est un cas particulier d'état stationnaire.
Ubuntu (système d'exploitation)Ubuntu (prononciation : , ʊˈbʊntuː) est un système d’exploitation GNU/Linux fondé sur Debian. Il est développé, commercialisé et maintenu pour les ordinateurs individuels (desktop), les serveurs (Server) et les objets connectés (Core) par la société Canonical. Ubuntu est disponible en deux versions, une qui évolue tous les six mois, et une version LTS, pour qui évolue tous les deux ans. Ubuntu se définit comme « un système d'exploitation utilisé par des millions de PC à travers le monde » et avec une interface « simple, intuitive, et sécurisée ».
Thermodynamique hors équilibreLa thermodynamique hors équilibre est le domaine de recherche étudiant les phénomènes de relaxation et de transport au voisinage de l'équilibre thermodynamique. Il s'agit là de phénomènes dissipatifs donc irréversibles, liés à une augmentation de l'entropie. Les méthodes présentées ici relèvent de la thermodynamique proprement dite, qui permet de donner les lois caractérisant un phénomène.
