FerLe fer est l'élément chimique de numéro atomique 26, de symbole Fe. Le corps simple est le métal et le matériau ferromagnétique le plus courant dans la vie quotidienne, le plus souvent sous forme d'alliages divers. Le fer pur est un métal de transition ductile, mais l'adjonction de très faibles quantités d'éléments additionnels modifie considérablement ses propriétés mécaniques. Allié au carbone et avec d'autres éléments d'addition il forme les aciers, dont la sensibilité aux traitements thermomécaniques permet de diversifier encore plus les propriétés du matériau.
IridiumL'iridium est l'élément chimique de numéro atomique 77, de symbole Ir. L'élément est considéré, du fait de son corps simple, comme un platinoïde, dans la famille des métaux de transition. gauche|vignette|Deux ampoules scellées, l'une en haut contenant le corps simple métal iridium (blanc argenté jaunâtre) et l'autre en bas l'osmium (gris bleuté). L'iridium a été découvert en 1803 par Smithson Tennant à Londres, Angleterre, en même temps que l'osmium dans les résidus (osmiure d'iridium) de la dissolution du platine et des minerais de platine dans de l'eau régale.
RuthéniumLe ruthénium est l'élément chimique de numéro atomique 44, de symbole Ru. Le ruthénium fait partie du groupe du platine, un sous-groupe de métaux de transition. Le corps simple ruthénium est un métal dur et cassant à température ambiante. Le ruthénium a été identifié dans les résidus poudreux noirs de production de platine et isolé en 1844 par le chimiste Carl Ernst Klaus, dit affectueusement en russe Karl Karlovitch (Klaus) ou Karl Karlovic Klaus en ukrainien.
Dichlorure de titanocèneLe dichlorure de titanocène est un composé organotitane de formule chimique , couramment abrégée , où Cp représente un ligand cyclopentadiényle . Ce métallocène est un réactif employé en synthèse organique et organométallique. Il se présente comme une poudre rouge vif qui s'hydrolyse lentement au contact de l'air. Il présente également une activité antitumorale et a été le premier complexe non platine à faire l'objet d'un essai clinique en chimiothérapie.
Raisonnement automatisévignette|Visualisation commune du réseau de neurones artificiels avec puce NOTOC Le raisonnement automatisé est un domaine de l'informatique consacré à la compréhension des différents aspects du raisonnement de manière à permettre la création de logiciels qui permettraient aux ordinateurs de « raisonner » de manière automatique, ou presque. Il est considéré habituellement comme un sous-domaine de l'intelligence artificielle, mais possède aussi de fortes connexions avec l'Informatique théorique et même avec la philosophie.
RhodocèneLe rhodocène ou bis(η-cyclopentadiényl)rhodium(II), est un composé organométallique de la famille des métallocènes. De formule [Rh(C5H5)2], il est constitué d'un atome de rhodium lié par liaisons covalentes (haptiques) rhodium–carbone à deux cycles de cyclopentadiényle entre lesquels il est pris en sandwich. Sa forme radicale est présente au-dessus de ou piégée à des températures de type azote liquide (). À température ambiante, des paires de ces radicaux se combinent pour former un dimère, ou deux des cycles de cyclopentadiényle sont joints, et se présentant sous la forme d'un solide jaune.
Ferrioxalate de potassiumLe ferrioxalate de potassium, ou tris(oxalato)ferrate() de potassium, est un composé chimique de formule , qu'on trouve souvent sous forme de trihydrate . Ces deux substances sont des solides cristallisés de couleur vert citron. Il s'agit d'un sel d'anions ferrioxalate et de cations de potassium . L'anion est lui-même un complexe formé de trois ions oxalate bidentés chélatant un atome de fer à l'état d'oxydation +3. Les cations de potassium agissent comme contre-ions.
Démonstration automatique de théorèmesLa démonstration automatique de théorèmes (DAT) est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet, sans l'aide de l'utilisateur. Les démonstrateurs automatiques de théorème ont résolu des conjectures intéressantes difficiles à établir, certaines ayant échappé aux mathématiciens pendant longtemps ; c'est le cas, par exemple, de la , démontrée en 1996 par le logiciel EQP.
GlutathionLe glutathion est un pseudo-tripeptide formé par la condensation d'acide glutamique, de cystéine et de glycine : . Le glutathion, qui existe sous forme oxydée et réduite, intervient dans le maintien du potentiel redox du cytoplasme de la cellule. Il intervient aussi dans un certain nombre de réactions de détoxication et d'élimination d'espèces réactives de l'oxygène. À noter que le groupement amine de la cystéine se condense avec la fonction acide carboxylique en γ de l'acide glutamique.
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.
