Dynamique moléculaireLa dynamique moléculaire est une technique de simulation numérique permettant de modéliser l'évolution d'un système de particules au cours du temps. Elle est particulièrement utilisée en sciences des matériaux et pour l'étude des molécules organiques, des protéines, de la matière molle et des macromolécules. En pratique, la dynamique moléculaire consiste à simuler le mouvement d'un ensemble de quelques dizaines à quelques milliers de particules dans un certain environnement (température, pression, champ électromagnétique, conditions aux limites.
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
Sel (chimie)En chimie, un sel est un composé ionique de cations et d'anions formant un produit neutre et sans charge électrique nette. Ces ions peuvent être aussi bien minéraux (chlorure Cl−) qu'organiques (acétate CH3-COO−) et monoatomiques (fluorure F−) aussi bien que polyatomiques (sulfate SO42−). Les anions porteurs de deux charges négatives ou plus peuvent former des sels doubles ou triples ; par exemple, ces deux sels qui sont très présents dans la croûte terrestre : les feldspaths, des silicates [Si3O84-] doubles de potassium [K+] et d'aluminium [Al3+] ; la dolomite, un carbonate double de calcium et magnésium [CaMg(CO3)2].
Rayon atomiqueLe rayon atomique d'un élément chimique est une mesure de la taille de ses atomes, d'habitude la distance moyenne entre le noyau et la frontière du nuage électronique qui l'entoure. Comme cette frontière n'est pas une entité physique bien définie, il y a plusieurs définitions non équivalentes du rayon atomique. Selon la définition, le terme peut s'appliquer seulement sur des atomes isolés, ou aussi sur des atomes dans de la matière condensée, une liaison covalente dans une molécule ou dans des états ionisés et excités.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Unicité (mathématiques)En mathématiques, l'unicité d'un objet satisfaisant certaines propriétés est le fait que tout objet satisfaisant les mêmes propriétés lui est égal. Autrement dit, il ne peut exister deux objets différents satisfaisant ces mêmes propriétés. Cependant, une démonstration de l'unicité ne suffit pas a priori pour en déduire l'existence de l'objet. La conjonction de l'existence et de l'unicité est usuellement notée à l'aide du quantificateur « ∃! ».
Amazon Kindlevignette|Logo du Kindle d'Amazon L'Amazon Kindle (API : ) est une gamme de liseuse commercialisée par Amazon.com qui permet aux utilisateurs d’acheter et de lire des livres électroniques, mais aussi des journaux, des magazines et d’autres médias numériques depuis le Kindle Store. Le premier modèle a été lancé le par Jeff Bezos. Aujourd'hui, la marque est devenue la référence du marché, possède une vaste gamme de produits et est déclinée en applications pour système Android et IOS.
Rayon ioniquevignette|Cationi-anioni Le concept de rayon ionique est utilisé pour exprimer la taille des ions. Il est déterminé à partir de la distance entre cations et anions voisins dans un cristal ionique, en supposant que la distance internucléaire est égale à la somme des rayons de ces ions. En réalité, le rayon ionique n'est pas vraiment une constante car il dépend de la valence, de la coordinence et de l'état de spin de l'ion considéré. Il influence les propriétés physiques et chimiques des composés ioniques.
Hybridation (chimie)En chimie quantique, l'hybridation des orbitales atomiques est le mélange des orbitales atomiques d'un atome appartenant à la même couche électronique de manière à former de nouvelles orbitales qui permettent de mieux décrire qualitativement les liaisons entre atomes. Les orbitales hybrides sont très utiles pour expliquer la forme des orbitales moléculaires. Bien que parfois enseignées avec la théorie VSEPR (Valence Shell Electron Pair Repulsion), liaison de valence et hybridation sont en fait indépendantes du VSEPR.
Orbitale antilianteUne orbitale antiliante désigne un type de liaison chimique qui s'oppose à la stabilité de la molécule. Cela survient lorsque les phases d'électron et des orbitales atomiques à l'origine d'une orbitale moléculaire sont de signe opposé, c'est-à-dire que ces orbitales atomiques sont en opposition de phase : si des électrons occupent de telles orbitales antiliantes, ils se repoussent et tendent à dissocier la molécule. L'effet d'une orbitale antiliante est plus sensible que celui d'une orbitale liante, la différence s'expliquant par la répulsion entre les noyaux atomiques.
Interaction protéine-protéinethumb|upright=1.2|L'inhibiteur de la ribonucléase en forme de fer à cheval (en représentation « fil de fer ») forme une interaction protéine–protéine avec la protéine de la ribonucléase. Les contacts entre les deux protéines sont représentés sous forme de taches colorées. Une Interaction protéine–protéine apparait lorsque deux ou plusieurs protéines se lient entre elles, le plus souvent pour mener à bien leur fonction biologique.
Théorie de l'orbitale moléculaireLa théorie de l'orbitale moléculaire (TOM) est un des socles de la chimie théorique du . Jusqu'alors les chimistes théoriciens étaient prisonniers des succès du modèle de la liaison covalente de Lewis. Les méthodes spectroscopiques du montrent les limites de l'idée de liaisons localisées en résolvant des structures chimiques jusque-là inédites. Par exemple la mésomérie ou résonance était vue, à tort, comme le passage rapide d'une conformation à une autre (résonance de Kekulé), ce qui n'était pas vérifié ni dans le spectre infrarouge ni dans la réactivité de molécules comme le benzène.
