Cation–π interactionCation–π interaction is a noncovalent molecular interaction between the face of an electron-rich π system (e.g. benzene, ethylene, acetylene) and an adjacent cation (e.g. Li+, Na+). This interaction is an example of noncovalent bonding between a monopole (cation) and a quadrupole (π system). Bonding energies are significant, with solution-phase values falling within the same order of magnitude as hydrogen bonds and salt bridges.
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).
Test caseIn software engineering, a test case is a specification of the inputs, execution conditions, testing procedure, and expected results that define a single test to be executed to achieve a particular software testing objective, such as to exercise a particular program path or to verify compliance with a specific requirement. Test cases underlie testing that is methodical rather than haphazard. A battery of test cases can be built to produce the desired coverage of the software being tested.
Densité surfacique d'énergieLa densité surfacique d'énergie ou énergie surfacique, voire densité énergétique (quand le contexte surfacique est clair), est la quantité d’énergie par une unité de surface. Dans le Système international elle se mesure en J/m (joules par mètre carré). Dans un contexte industriel on l'exprime souvent en kWh/m (kilowatts-heures par mètre carré). Cette grandeur physique est principalement utilisée dans l'étude physique des interfaces entre liquides non miscibles, ou entre liquide et gaz, où elle caractérise l'énergie nécessaire à former une interface d'une certaine surface.
Théorie de Fermi de la désintégration βthumb|360px|La décroissance β− dans un noyau atomique (l'antineutrino associé est omis).En bas à droite est représentée la décroissance bêta du neutron libre.Dans les deux processus, l'émission intermédiaire d'un boson virtuel W- (qui décroit ensuite en un électron et un antineutrino) n'est pas montrée. En physique des particules, l'interaction de Fermi (aussi connue comme la théorie de Fermi de la désintégration β) est une explication de la radioactivité β, proposée par Enrico Fermi en 1933.
Ressort de torsionLe ressort de torsion est un ressort hélicoïdal. À part la forme spécifique de ses extrémités, ce ressort est identique à un ressort hélicoïdal de traction-compression à très faible angle d'hélice, ou même à un ressort de traction à spires jointives si l'on recherche un certain frottement interne, par exemple pour favoriser l'amortissement de vibrations. vignette Nous supposerons que notre ressort a des spires non jointives et très peu inclinées (travaillant en flexion presque pure) et que ses extrémités sont encastrées.
Énergie potentielle gravitationnelleEn physique classique, l'énergie potentielle gravitationnelle ou énergie potentielle de pesanteur est l'énergie que possède un corps du fait de sa position dans un champ gravitationnel. Son interprétation la plus naturelle est liée au travail qu'il faut fournir pour déplacer un objet plongé dans un champ gravitationnel. Comme pour toute énergie, son unité dans le Système international est le joule (J). L'énergie potentielle gravitationnelle est, comme toutes les formes d'énergies potentielles, définie à une constante additive arbitraire près.
Composé à chaîne ouvertevignette|Transition de la forme linéaire en projection de Fischer à la forme cyclique en projection de Haworth du glucose. En chimie, un composé à chaîne ouverte est un composé chimique qui n'est pas cyclique. On dit par conséquent d'un tel composé qu'il est acyclique. Les composés à chaîne ouverte peuvent être à chaîne linéaire s'ils ne possèdent pas de chaîne latérale, ou à chaîne ramifiée dans le cas contraire ; ces différentes géométries moléculaires peuvent être mises à profit pour séparer des composés chimiques aux géométries variées.
Chiralité (chimie)Le concept de la chiralité existe également dans d'autres domaines. En chimie, un composé est dit chiral (du grec χείρ : la main) s'il n'est pas superposable à son image dans un miroir plan. Il existe un certain nombre de raisons pour lesquelles une molécule peut être chirale : la présence d'un ou plusieurs centres asymétriques (sauf certaines conditions particulières de symétrie) ; une forme en hélice ; un plan de chiralité. Énantiomérie Si une molécule est chirale, elle possède au moins deux formes dites énantiomères qui se différencient par une configuration absolue opposée.
ButyleEn chimie organique, le groupement butyle est un groupement alkyle à quatre atomes de carbone, de formule -C4H9. Le groupement butyle est linéaire, mais d'autres groupements comportant le nom butyle et qui ne sont pas linéaires existent. Groupe n-butyle : CH3–CH2–CH2–CH2– (nom systématique : butyle). Groupe ''sec''-butyle : CH3–CH2–CH(CH3)– (nom systématique : 1-méthylpropyle) (le C est pro-chiral). Groupe isobutyle : (CH3)2CH–CH2– (nom systématique : 2-méthylpropyle). Groupe tert-butyle : (CH3)3C– (nom systématique : 1,1-diméthyléthyle).
N-Butyllithiumupright=1.25|vignette|Bouteilles de n-butyllithium dans l'heptane. Le n-butyllithium, abrégé n-BuLi, est un composé chimique de formule , isomère du et du . C'est le plus utilisé des réactifs organolithiens. Il est largement utilisé comme amorceur de polymérisation dans la production d'élastomères tels que le polybutadiène (BR) ou le styrène-butadiène-styrène (SBS), et comme base forte (superbase) en synthèse organique, tant à l'échelle industrielle qu'à celle du laboratoire.
Programmation fonctionnelleLa programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques. Comme le changement d'état et la mutation des données ne peuvent pas être représentés par des évaluations de fonctions la programmation fonctionnelle ne les admet pas, au contraire elle met en avant l'application des fonctions, contrairement au modèle de programmation impérative qui met en avant les changements d'état.
