Amas stellaireUn amas stellaire est une concentration locale d'étoiles d'origine commune et liées entre elles par la gravitation, dans un espace dont les dimensions peuvent atteindre 200 pc. Ces objets sont classés en plusieurs familles selon leur aspect ; ce sont, par compacité croissante : les associations stellaires, les amas ouverts et les amas globulaires. Les amas stellaires se maintiennent par l'attraction gravitationnelle mutuelle de leurs membres.
Amas ouvertEn astronomie, un amas ouvert est un amas stellaire groupant environ de 100 à étoiles de même âge liées entre elles par la gravitation, et dont le diamètre varie de 1,5 à 15 pc, avec une moyenne de 4 à 5 pc. Les amas ouverts sont peu lumineux et s’observent essentiellement dans notre Galaxie, où ils se situent dans le plan galactique, et dans les galaxies proches : les deux Nuages de Magellan et la galaxie d’Andromède. On pense qu'ils se forment au sein des nuages moléculaires, les grands nuages de gaz et de poussières qui constituent les nébuleuses diffuses.
Amas globulaireEn astronomie, un amas globulaire est un amas stellaire très dense, contenant typiquement une centaine de milliers d'étoiles distribuées dans une sphère dont la taille varie d'une vingtaine à quelques centaines d'années-lumière. Leur densité est ainsi nettement plus élevée que celle des amas ouverts. Les étoiles de ces amas sont généralement des géantes rouges. On compte globulaires dans notre galaxie, la Voie lactée. Mais il en existe sans doute d'autres, qui restent indétectables parce que masqués par le disque galactique.
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).
Amas de galaxiesUn amas de galaxies, ou amas galactique, est l'association de plus d'une centaine de galaxies liées entre elles par la gravitation. En dessous de 100, on parle plutôt de groupe de galaxies, même si la frontière entre groupe et amas n'est pas clairement définie. Ces amas se caractérisent par leur forme spécifique (sphérique, symétrique ou quelconque), ainsi que par la répartition et leurs nombres de galaxies (jusqu'à plusieurs milliers). Ils se sont formés il y a 10 milliards d'années et plus.
Nuage moléculaireEn astronomie, les nuages moléculaires sont des nébuleuses interstellaires qui ont une densité et une taille suffisante pour permettre la formation d'hydrogène moléculaire, H2. Cependant, il est difficile de le détecter et le moyen le plus employée pour tracer les molécules de H2 est l'utilisation du monoxyde de carbone CO. En effet, le rapport entre la luminosité du CO et la masse de H2 est presque constant.
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.
Nuage d'OrionLe nuage moléculaire d'Orion (appelé parfois également le complexe d'Orion) est une grande nébuleuse située dans la constellation d'Orion. Le nuage lui-même est situé entre de la Terre et est large de plusieurs centaines d'années-lumière. Plusieurs parties de la nébuleuse sont visibles avec des jumelles ou de petits télescopes, certaines parties (telles que la nébuleuse d'Orion) étant même visibles à l'œil nu. La nébuleuse est importante à cause de sa taille car elle s'étend sur plusieurs degrés de la ceinture d'Orion jusqu'à son épée.
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.
IntégrineLes intégrines sont des récepteurs d'adhésion cellulaire, c'est-à-dire des protéines transmembranaires dont l'une des extrémités interagit en général avec des protéines de la matrice extracellulaire situées à l'extérieur de la cellule (quelques intégrines peuvent interagir avec des protéines transmembranaires de cellules voisines), l'autre extrémité interagissant avec des constituants intracellulaires, notamment des molécules de signalisation contrôlant la migration, la survie, la prolifération et la différ
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.
Naissance des étoilesLa naissance des étoiles ou formation stellaire, voire stellogénèse ou stellogonie, est un domaine de recherche en astrophysique, qui consiste en l'étude des modes de formation des étoiles et des systèmes planétaires. Les étoiles en formation sont fréquemment appelées « étoiles jeunes ». Selon le scénario actuellement admis, confirmé par l'observation, les étoiles se forment en groupe à partir de la contraction gravitationnelle d'une nébuleuse, un nuage de gaz et de poussière, qui se fragmente en plusieurs cœurs protostellaires.
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 « ∃! ».
Adhésion cellulaireL'adhésion cellulaire, ou adhérence cellulaire, est l'ensemble des mécanismes cellulaires et moléculaires mis en œuvre pour faire adhérer les cellules entre elles ou avec le milieu qui les entoure. En 2012, la plupart des mécanismes moléculaires déclencheurs de l'activation et régulant le comportement des sites d'adhésion sont encore incompris. L'adhésion cellulaire est indispensable à la formation, au maintien et au fonctionnement des tissus. Au niveau de la cellule elle-même, elle régule la croissance, la migration, la prolifération et la mort de la cellule.
Galaxy groups and clustersGalaxy groups and clusters are the largest known gravitationally bound objects to have arisen thus far in the process of cosmic structure formation. They form the densest part of the large-scale structure of the Universe. In models for the gravitational formation of structure with cold dark matter, the smallest structures collapse first and eventually build the largest structures, clusters of galaxies. Clusters are then formed relatively recently between 10 billion years ago and now.
Protéine d'adhésion cellulaireLes protéines d'adhésion cellulaire (ou CAM, acronyme de l'anglais cell adhesion molecule, signifiant « molécule d'adhésion cellulaire ») sont des protéines intervenant dans les mécanismes de liaison cellulaire. Elles font partie de la superfamille des immunoglobulines. Elles possèdent un domaine cytosolique (intracellulaire), un domaine transmembranaire et un domaine extracellulaire constitué de domaine C2 (constant) répétitifs reliés entre eux par des ponts disulfures.
Protein complexA protein complex or multiprotein complex is a group of two or more associated polypeptide chains. Protein complexes are distinct from multidomain enzymes, in which multiple catalytic domains are found in a single polypeptide chain. Protein complexes are a form of quaternary structure. Proteins in a protein complex are linked by non-covalent protein–protein interactions. These complexes are a cornerstone of many (if not most) biological processes.
Focal adhesionIn cell biology, focal adhesions (also cell–matrix adhesions or FAs) are large macromolecular assemblies through which mechanical force and regulatory signals are transmitted between the extracellular matrix (ECM) and an interacting cell. More precisely, focal adhesions are the sub-cellular structures that mediate the regulatory effects (i.e., signaling events) of a cell in response to ECM adhesion. Focal adhesions serve as the mechanical linkages to the ECM, and as a biochemical signaling hub to concentrate and direct numerous signaling proteins at sites of integrin binding and clustering.
IllustrisIllustris est un projet de simulation numérique astrophysique géré par une équipe internationale de chercheurs. L'objectif est d'étudier les processus de formation des galaxies et de l'évolution de l'univers avec un modèle physique complet. Le modèle d'Illustris présente un morceau de l'univers sous la forme d'un cube dont chaque côté mesure 350 millions d'années-lumière. Il contient 41 416 galaxies, chacune très détaillée. Le modèle contient 12 milliards d'éléments visuels, à partir desquels des images peuvent être générées pour être comparées aux données réelles de l'univers.
Domaine protéiqueredresse=1.15|vignette|Exemples de structures de protéines organisées en domaines distincts. Le domaine de couleur brique, appelé domaine PH, est commun aux deux protéines,. Sa fonction est de fixer le phosphatidylinositol-3,4,5-trisphosphate (PIP3) Un domaine protéique est une partie d'une protéine capable d'adopter une structure de manière autonome ou partiellement autonome du reste de la molécule. C'est un élément modulaire de la structure des protéines qui peuvent ainsi être composées de l'assemblage de plusieurs de ces domaines.
