Étoilevignette|Le Soleil, l’étoile la plus proche de la Terre, vu lors d'une éruption en ultraviolets avec de fausses couleurs. Une étoile est un corps céleste plasmatique qui rayonne sa propre lumière par réactions de fusion nucléaire, ou des corps qui ont été dans cet état à un stade de leur cycle de vie, comme les naines blanches ou les étoiles à neutrons. Cela signifie qu'ils doivent posséder une masse minimale pour que les conditions de température et de pression au sein de la région centrale permettent l'amorce et le maintien de ces réactions nucléaires, seuil en deçà duquel on parle d'objets substellaires.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
Évolution stellaireL'évolution d'une étoile, ou évolution stellaire, désigne l'ensemble des phénomènes allant de la formation à la d'une étoile. Elle peut être décomposée en plusieurs phases principales dont la formation de l'étoile, son séjour sur la séquence principale et sa phase finale. Durant sa vie, une étoile émet des particules et des rayonnements électromagnétiques (dont une partie sous forme de rayonnements visibles) grâce à l'énergie dégagée par les réactions de fusion nucléaire produites dans les zones internes de l'étoile.
Étoile à neutronsthumb|300px|RX J1856.5-3754, une étoile à neutrons isolée proche du Système solaire, dont l'émission de surface est vue par le télescope spatial Hubble. Une étoile à neutrons est un astre principalement composé de neutrons maintenus ensemble par les forces de gravitation. De tels objets sont le résidu compact issu de l'effondrement gravitationnel du cœur de certaines étoiles massives lorsque celles-ci ont épuisé leur combustible nucléaire. Une étoile à neutrons peut présenter différents aspects.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Massive compact halo objectLes MACHO (acronyme de massive astrophysical compact halo object ou de massive compact halo object) sont des objets hypothétiques compacts et sombres pouvant errer dans le halo galactique. Les MACHO apportent une solution possible au problème de la matière noire galactique. Celle-ci serait alors répartie dans un halo d'objets dans la Voie Lactée, qui seraient difficilement détectables. Les candidats possibles seraient des naines brunes, naines blanches ou naines rouges peu lumineuses, des trous noirs (potentiellement primordiaux) ou encore des planètes errantes.
Population stellairevignette|Distribution des populations stellaires dans la voie lactée. Les étoiles de notre galaxie furent classées en deux populations stellaires, dites « Population I » et « Population II » par Walter Baade en 1944. Le critère de classification était la largeur des raies spectrales des étoiles de la partie centrale des galaxies (Population I) comparée à celle des étoiles du bord des galaxies (raies plus fines), la Population II. Il faut attendre les années 1950 pour que cette dichotomie soit reliée à l'abondance chimique de surface des étoiles.
Masse de ChandrasekharLa masse de Chandrasekhar est la masse maximale que la pression de dégénérescence électronique d'un objet peut supporter sans qu'il y ait d'effondrement gravitationnel. Elle intervient lorsque de la matière s'accumule autour d'un objet fait de matière dégénérée, comme une naine blanche ou un cœur d'étoile massive. La limite fut calculée en 1930 par le physicien indien Subrahmanyan Chandrasekhar alors âgé de lors d'un voyage en paquebot de Bombay vers l'Angleterre.
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Champ magnétiqueEn physique, dans le domaine de l'électromagnétisme, le champ magnétique est une grandeur ayant le caractère d'un champ vectoriel, c'est-à-dire caractérisée par la donnée d'une norme, d’une direction et d’un sens, définie en tout point de l'espace et permettant de modéliser et quantifier les effets magnétiques du courant électrique ou des matériaux magnétiques comme les aimants permanents.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Étoile fixeL'étoile fixe est une notion aujourd'hui dépassée, mais qui participe à l'histoire de l'astronomie. Durant l'Antiquité et le Moyen Âge, cette notion servait à désigner les astres qui semblaient fixés à la voûte céleste, par opposition aux étoiles errantes. On désignait par étoile fixe (en latin stella fixa) les astres qui semblaient fixés à la voûte céleste. Il s’agit donc des étoiles au sens moderne à l'exception du Soleil. Les étoiles fixes s’opposaient aux étoiles errantes, ou astres errants, lesquels avaient un mouvement relatif apparent par rapport aux étoiles fixes.
Galaxie activeEn astronomie, une galaxie active est une galaxie abritant un noyau actif (plus précisément noyau actif de galaxie, abrégé NAG, ou , abrégé AGN). Ce noyau est une région compacte au centre de la galaxie, dont la luminosité est beaucoup plus intense que la normale dans au moins un domaine du spectre électromagnétique (ondes radio, infrarouge, lumière visible, ultraviolet, rayons X ou rayons gamma), et qui présente des caractéristiques montrant que cette forte luminosité n'est pas d'origine stellaire.
Champ magnétique terrestreLe champ magnétique terrestre, aussi appelé bouclier terrestre, est un champ magnétique présent dans un vaste espace autour de la Terre (de manière non uniforme du fait de son interaction avec le vent solaire) ainsi que dans la croûte et le manteau. Il a son origine dans le noyau externe, par un mécanisme de dynamo auto-excitée. Dynamo terrestre Selon les études de John Tarduno de l'université de Rochester (États-Unis), la Terre possédait déjà un champ magnétique il y a 3,45 milliards d'années.
BételgeuseBételgeuse (α Orionis) est une étoile variable semi-régulière de type supergéante rouge, dans la constellation d’Orion, située à une distance très difficile à établir. En 2008, un article propose la distance de , mais elle fut définie à 427 années-lumière pendant les décennies précédentes. En 2013, le télescope spatial Herschel estime que Bételgeuse pourrait approcher la distance de 500 années-lumière. Bien qu'étant désignée par la lettre « alpha » dans la désignation de Bayer, elle n'est souvent que la deuxième étoile la plus brillante de la constellation d'Orion, derrière Rigel.
Champ magnétique stellairevignette|Le champ magnétique du Soleil est le moteur de cette éjection massive de plasma. Le champ magnétique stellaire est un champ magnétique généré par le mouvement du plasma à l'intérieur d'une étoile. Le champ magnétique stellaire peut également désigner le champ magnétique entourant un objet compact. Le champ magnétique stellaire engendre la magnétosphère des étoiles. Il est lié à plusieurs phénomènes énergétiques de ces dernières tels la production d'une couronne, d'un vent ou d'éruptions.
FuturLe futur, ou l’avenir, est pour un système, l’ensemble des configurations possibles qui n'existent pas (c-à-d. qui n'ont pas encore eu lieu). Dans la ligne du temps, le futur vient après le présent et le passé. Les membres de l'espèce humaine, à partir d'un certain âge, se distinguent par des capacités élevées cognitives, de conceptualisation et d'imagination qui leur permettent d'envisager le futur proche et de s'y projeter, mais aussi d'imaginer des futurs possibles plus lointains où vivront ce qu'on appelle maintenant les générations futures.
Champ électromagnétiqueUn champ électromagnétique ou Champ EM (en anglais, electromagnetic field ou EMF) est la représentation dans l'espace de la force électromagnétique qu'exercent des particules chargées. Concept important de l'électromagnétisme, ce champ représente l'ensemble des composantes de la force électromagnétique s'appliquant sur une particule chargée se déplaçant dans un référentiel galiléen. Une particule de charge q et de vecteur vitesse subit une force qui s'exprime par : où est le champ électrique et est le champ magnétique.
