Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Spectrométrie de fluorescence des rayons Xthumb|Analyseur portatif (Olympus Delta Professional XRF donnant la quantité de contaminants métalliques ou métalloïdes dans le sol. contaminants préoccupants recherchés sont ici le plomb, le mercure, le cadmium et l'arsenic. La spectrométrie de fluorescence des rayons X (SFX ou FX, ou en anglais XRF pour X-ray fluorescence) est une technique d'analyse chimique utilisant une propriété physique de la matière, la fluorescence de rayons X.
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.
Spectroscopie des rayons XLa spectroscopie des rayons X rassemble plusieurs techniques de caractérisation spectroscopique de matériaux par excitation par rayons X. Trois familles de techniques sont le plus souvent utilisées. Selon les phénomènes mis en jeu, on distingue trois classes : L'analyse se fait par l'une des deux méthodes suivantes : analyse dispersive en énergie (Energy-dispersive x-ray analysis (EDXA) en anglais) ; analyse dispersive en longueur d'onde (Wavelength dispersive x-ray analysis (WDXA) en anglais).
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.
Matrix decompositionIn the mathematical discipline of linear algebra, a matrix decomposition or matrix factorization is a factorization of a matrix into a product of matrices. There are many different matrix decompositions; each finds use among a particular class of problems. In numerical analysis, different decompositions are used to implement efficient matrix algorithms. For instance, when solving a system of linear equations , the matrix A can be decomposed via the LU decomposition.
Factorisation de CholeskyLa factorisation de Cholesky, nommée d'après André-Louis Cholesky, consiste, pour une matrice symétrique définie positive , à déterminer une matrice triangulaire inférieure telle que : . La matrice est en quelque sorte une « racine carrée » de . Cette décomposition permet notamment de calculer la matrice inverse , de calculer le déterminant de A (égal au carré du produit des éléments diagonaux de ) ou encore de simuler une loi multinormale. Elle est aussi utilisée en chimie quantique pour accélérer les calculs (voir Décomposition de Cholesky (chimie quantique)).
Spectrométrie photoélectronique Xvignette|upright=1.4|Machine XPS avec un analyseur de masse (A), des lentilles électromagnétiques (B), une chambre d'ultra-vide (C), une source de rayon X (D) et une pompe à vide (E) La spectrométrie photoélectronique X, ou spectrométrie de photoélectrons induits par rayons X (en anglais, X-Ray photoelectron spectrometry : XPS) est une méthode de spectrométrie photoélectronique qui implique la mesure des spectres de photoélectrons induits par des photons de rayon X.
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 « ∃! ».
Rayon X caractéristiqueUn rayons X caractéristique est émis chaque fois qu'un électron placé sur une couche externe d'un atome comblent un vide d'une couche interne. Les rayons X ainsi libérés sont « caractéristiques » de chaque élément. Les rayons X caractéristiques ont été découverts par Charles Glover Barkla en 1909. Il a ensuite remporté le prix Nobel de physique pour sa découverte en 1917. Les rayons X caractéristiques sont produits lorsqu'un élément est bombardé par des particules de haute énergie, qui peuvent être des photons, des électrons ou des ions (par exemple des protons).
Cellule souchevignette|Cellules souches embryonnaires de souris en culture. En biologie cellulaire, une cellule souche est une cellule indifférenciée capable, à la fois, de générer des cellules spécialisées par différenciation cellulaire et de se maintenir dans l'organisme par division symétrique ou division asymétrique. Les cellules souches sont présentes chez tous les êtres vivants multicellulaires. Elles jouent un rôle central dans le développement des organismes ainsi que dans le maintien de leur intégrité au cours de la vie.
SpectroscopieLa spectroscopie, ou spectrométrie, est l'étude expérimentale du spectre d'un phénomène physique, c'est-à-dire de sa décomposition sur une échelle d'énergie, ou toute autre grandeur se ramenant à une énergie (fréquence, longueur d'onde). Historiquement, ce terme s'appliquait à la décomposition, par exemple par un prisme, de la lumière visible émise (spectrométrie d'émission) ou absorbée (spectrométrie d'absorption) par l'objet à étudier.
Optimisation de codeEn programmation informatique, l'optimisation de code est la pratique consistant à améliorer l'efficacité du code informatique d'un programme ou d'une bibliothèque logicielle. Ces améliorations permettent généralement au programme résultant de s'exécuter plus rapidement, de prendre moins de place en mémoire, de limiter sa consommation de ressources (par exemple les fichiers), ou de consommer moins d'énergie électrique. La règle numéro un de l'optimisation est qu'elle ne doit intervenir qu'une fois que le programme fonctionne et répond aux spécifications fonctionnelles.
Matrice symétriquevignette|Matrice 5x5 symétrique. Les coefficients égaux sont représentés par la même couleur. En algèbre linéaire et multilinéaire, une matrice symétrique est une matrice carrée qui est égale à sa propre transposée, c'est-à-dire telle que a = a pour tous i et j compris entre 1 et n, où les a sont les coefficients de la matrice et n est son ordre. Les coefficients d'une matrice symétrique sont symétriques par rapport à la diagonale principale (du coin en haut à gauche jusqu'à celui en bas à droite).
Racine carrée d'une matriceEn mathématiques, la notion de racine carrée d'une matrice particularise aux anneaux de matrices carrées la notion générale de racine carrée dans un anneau. Soient un entier naturel n non nul et M une matrice carrée d'ordre n à coefficients dans un anneau A. Un élément R de M(A) est une racine carrée de M si R = M. Une matrice donnée peut n'admettre aucune racine carrée, comme un nombre fini voire infini de racine carrées. Dans M(R) : est une racine carrée de les (pour tout réel x) sont des racines carrées de n'a pas de racine carrée R, car cela imposerait (mais elle en a dans M(C)).
Décomposition polaireLa décomposition polaire est un outil mathématique fondamental pour comprendre les propriétés topologiques des groupes linéaires réels et complexes. Les applications suivantes sont des homéomorphismes, et même des difféomorphismes. En particulier, toute matrice inversible réelle se décompose de façon unique en produit d'une matrice orthogonale et d'une matrice symétrique définie positive. Les applications suivantes sont surjectives mais non injectives : En particulier, toute matrice réelle se décompose en produit d'une matrice orthogonale et d'une unique matrice symétrique positive (mais pas nécessairement de façon unique).
Cellule souche (médecine)Les cellules souches sont des cellules indifférenciées capables de s’autorenouveler et de se différencier en cellules spécialisées. Leur potentiel de différenciation dépend de leur capacité (cellules souches unipotentes, multipotentes ou pluripotentes) et de leur origine (cellules souches fœtales, embryonnaires ou adultes). Les cellules souches ont été décrites dans les années 60 notamment par les chercheurs James Till et Ernest McCulloch.
Adult stem cellAdult stem cells are undifferentiated cells, found throughout the body after development, that multiply by cell division to replenish dying cells and regenerate damaged tissues. Also known as somatic stem cells (from Greek σωματικóς, meaning of the body), they can be found in juvenile, adult animals, and humans, unlike embryonic stem cells. Scientific interest in adult stem cells is centered around two main characteristics.
Microscopie électronique en transmissionvignette|upright=1.5|Principe de fonctionnement du microscope électronique en transmission. vignette|Un microscope électronique en transmission (1976). La microscopie électronique en transmission (MET, ou TEM pour l'anglais transmission electron microscopy) est une technique de microscopie où un faisceau d'électrons est « transmis » à travers un échantillon très mince. Les effets d'interaction entre les électrons et l'échantillon donnent naissance à une image, dont la résolution peut atteindre 0,08 nanomètre (voire ).
