Exposant critiqueLors d'une transition de phase de deuxième ordre, au voisinage du point critique, les systèmes physiques ont des comportements universels en lois de puissances caractérisées par des exposants critiques. Au point critique, un fluide est caractérisé par une température critique et une densité critique . Pour une température légèrement supérieure à (à nombre de particules et volume constants), le système est homogène avec une densité . Pour une température légèrement inférieure à , il y a une séparation de phase entre une phase liquide (de densité ) et une phase gazeuse (de densité ).
Heyting arithmeticIn mathematical logic, Heyting arithmetic is an axiomatization of arithmetic in accordance with the philosophy of intuitionism. It is named after Arend Heyting, who first proposed it. Heyting arithmetic can be characterized just like the first-order theory of Peano arithmetic , except that it uses the intuitionistic predicate calculus for inference. In particular, this means that the double-negation elimination principle, as well as the principle of the excluded middle , do not hold.
VivisectionLa vivisection est une dissection opérée sur un animal vertébré vivant, à titre d'expérience scientifique, en particulier dans le but d'établir ou de démontrer certains faits en physiologie ou en pathologie. Selon les cas, le mot « vivisection » désigne l’une des méthodes de l’expérimentation animale ou l’expérimentation animale dans son entier. Le terme de vivisection est apparu vers 1820 dans les dictionnaires.
ExciteExcite est une collection de sites et services Web, lancée en décembre 1993. excite est un service en ligne offrant une variété de contenu, y compris un portail Internet montrant des nouvelles, la météo, un moteur de recherche, un webmail, une messagerie instantanée, des cotations boursières, et une page d'accueil personnalisable. Le contenu est assemblé à partir de plus de 100 sources différentes. Le portail et les services excite sont la propriété de Excite Networks, mais aux États-Unis, excite est un portail personnalisable, appelé My Excite, qui est exploité par Mindspark et détenu par IAC Search and Media.
Fichier objetEn informatique (développement), un fichier objet est un fichier intermédiaire intervenant dans le processus de compilation. Un fichier assembleur est assemblé en un fichier objet lors du processus d'assemblage : Un fichier objet n'est autre que le produit obtenu à la sortie de ce processus. Un fichier objet est lié à d'autres fichiers lors du processus d'édition des liens pour obtenir un exécutable. Le fichier objet est donc la matière première nécessaire à l'édition des liens.
Démarrage d'un ordinateurLe démarrage d'un ordinateur (en anglais, boot, initial program load ou IPL) est la procédure de démarrage d’un ordinateur et comporte notamment le chargement du programme initial (l’amorçage ou bootstrap en anglais). On distingue : le « démarrage à froid » (cold boot), obtenu en allumant la machine, ou en l’éteignant puis en la rallumant ; du « démarrage à chaud » (warm boot), « réamorçage » ou « redémarrage » (reboot), obtenu en rechargeant le programme initial ; il ne s’agit pas d’un redémarrage au sens strict (coupure puis remise de l’alimentation électrique) ; l’option est présente au niveau de certains systèmes d’exploitation, notamment Windows et macOS.
