Clathrate hydratevignette|Bloc d'hydrate de gaz Les clathrates hydrates sont des solides cristallins à base d’eau ressemblant à de la glace, dans lesquels des petites molécules non-polaires (généralement des gaz) ou des molécules comportant une fraction hydrophobe sont encapsulées dans des nano-cages de molécules d’eau impliquant des liaisons hydrogènes intermoléculaires. En d’autres termes, les clathrate hydrates sont des clathrates dans lesquelles la molécule hôte est l’eau et la molécule invitée est un gaz ou un liquide.
Diffraction des électronsLa diffraction des électrons est une technique utilisée pour l'étude de la matière qui consiste à bombarder d'électrons un échantillon et à observer la figure de diffraction résultante. Ce phénomène se produit en raison de la dualité onde-particule, qui fait qu'une particule matérielle (dans le cas de l'électron incident) peut être décrite comme une onde. Ainsi, un électron peut être considéré comme une onde, comme pour le son ou les vagues à la surface de l'eau. Cette technique est similaire à la diffraction X et à la diffraction de neutrons.
Cristalvignette|Cristaux. vignette|Cristaux de sel obtenus par cristallisation lente dans une saumure à température ambiante. Un cristal est un solide dont les constituants (atomes, molécules ou ions) sont assemblés de manière régulière, par opposition au solide amorphe. Par « régulier » on veut généralement dire qu'un même motif est répété à l'identique un grand nombre de fois selon un réseau régulier, la plus petite partie du réseau permettant de recomposer l'empilement étant appelée une « maille ».
Analyse thermodifférentielleL'analyse thermique différentielle (ATD), en anglais Differential Thermal Analysis (DTA), est une technique d'analyse thermique qui consiste à suivre l’évolution de la différence de température entre l’échantillon étudié et un corps témoin inerte, c’est-à-dire dépourvu d’effets thermiques dans le domaine de température étudié. En 1887, Henry Le Chatelier découvre la technique d’analyse thermique différentielle. Douze ans plus tard, Roberts Austen décrit la méthode et les composantes de tous les appareils que l’on utilise de nos jours.
Résistance des matériauxvignette|Essai de compression sur une éprouvette de béton, une pression croissante est appliquée verticalement sur l'échantillon pendant que deux appareils mesurent les déformations longitudinales et transversales de l'éprouvette. vignette|À l'issue du test, l'éprouvette s'est rompue. Notez la cassure longitudinale. La résistance des matériaux (RDM) est une discipline particulière de la mécanique des milieux continus, permettant le calcul des contraintes et déformations dans les structures des différents matériaux (machines, génie mécanique, bâtiment et génie civil).
Program analysisIn computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do.
Matière amorpheUn matériau amorphe est une substance dans laquelle les atomes ne respectent aucun ordre à moyenne et grande distance (comparée au diamètre moléculaire), ce qui la distingue des composés cristallisés. La condition sur la distance est importante car la structure des matériaux amorphes présente très souvent un ordre à courte distance (quelques diamètres moléculaires). Les verres, les élastomères et les liquides sont des substances amorphes. En géosciences, le terme générique de minéraloïde est utilisé pour désigner la classe de ces matériaux non-cristallins.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Droits des ÉtatsDans la politique aux États-Unis, le terme « droits des États » (states' rights) fait référence à la souveraineté individuelle des gouvernements des États américains vis-à-vis de l'État fédéral. La répartition des pouvoirs est déterminée par la Constitution, reflétant notamment les pouvoirs énumérés du Congrès et le Dixième amendement. La question des droits des États fut l'un des principaux arguments négationnistes du mouvement néo-confédéré, qui a cherché à légitimer a posteriori la « Cause perdue » de la Confédération, en niant le fait que l'esclavage fut la cause principale de la guerre de Sécession.
Analyse statique de programmesEn informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue l'analyse statique des analyses dynamiques (comme le débugage ou le profiling) qui s'attachent, elles, au suivi de l’exécution du programme. L’analyse statique est utilisée pour repérer des erreurs formelles de programmation ou de conception et pour déterminer la facilité ou la difficulté à maintenir le code.
