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.
Composition isotopiqueLa composition isotopique d'un échantillon indique les proportions des divers isotopes d'un élément chimique particulier (ou de plusieurs éléments) dans cet échantillon. Les noyaux de tous les atomes d'un même élément chimique comportent le même nombre de protons (ce nombre est aussi celui des électrons présents dans le cortège électronique qui enveloppe le noyau de l'atome neutre) mais peuvent comporter différents nombres de neutrons. Les atomes qui ne diffèrent que par le nombre de neutrons sont des isotopes d'un même élément chimique.
CyanobacteriotaLes Cyanobacteriota sont des bactéries photosynthétiques. Longtemps appelées Cyanobacteria, ce nom n'a jamais été officiellement validé malgré son usage très courant. Le nom validé Cyanobacteriota a été officialisé début 2023 par l'ICN et l'ICSP (International Committee on Systematics of Prokaryotes). Plus communément appelées cyanobactéries, elles forment un phylum de bactéries qui contient la classe validée des Cyanophyceae et non-validée des Candidatus Melainabacteria (le mot Candidatus signifie que ces bactéries n'ont pas été cultivées en laboratoire).
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).
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
CoccosphaeralesLes Coccosphaerales ou Coccolithophorales (du grec κοκκος «pépin», λίθος «pierre», φορος «porter» ) sont un ordre d'algues unicellulaires microscopiques appartenant à la classe des Prymnesiophyceae au sein du groupe des Haptophytes. L'accumulation de leur squelette fossilisé est le composant majoritaire de la craie. Elles font partie des Coccolithophoridés. Ce sont des organismes exclusivement marins, que l'on rencontre en milieu pélagique. Ces algues protègent leur unique cellule sous une couche de plaques de calcite généralement discoïdes appelées coccolithes.
ProtistaLes protistes, sont des microorganismes eucaryotes à organisation cellulaire dite simple, unicellulaire le plus souvent, multicellulaire parfois mais sans tissus spécialisés. Ce sont des Eucaryotes autres qu'un animal (Animalia), un champignon (Fungi) ou une plante (Plantae). Ce groupe est très hétérogène, tant du point de vue anatomique que physiologique. Certains protistes sont des organismes autotrophes (on parlait de protophytes), d'autres sont hétérotrophes (appelés protozoaires) et d'autres encore sont mixotrophes comme certains dinoflagellés.
Stable isotope labeling by amino acids in cell cultureStable Isotope Labeling by/with Amino acids in Cell culture (SILAC) is a technique based on mass spectrometry that detects differences in protein abundance among samples using non-radioactive isotopic labeling. It is a popular method for quantitative proteomics. Two populations of cells are cultivated in cell culture. One of the cell populations is fed with growth medium containing normal amino acids. In contrast, the second population is fed with growth medium containing amino acids labeled with stable (non-radioactive) heavy isotopes.
Fixation du carboneLa fixation du carbone est un processus à l'œuvre chez les organismes dits autotrophes, qui convertissent le carbone inorganique — typiquement, le dioxyde de carbone — en composés organiques tels que des glucides. La photosynthèse en est l'exemple le plus emblématique, caractérisant les organismes dits photoautotrophes ; la chimiosynthèse est une autre forme de fixation du carbone susceptible d'avoir lieu même en l'absence de lumière — on parle alors de lithotrophie pour qualifier les organismes qui utilisent l'énergie des oxydations inorganiques pour produire leur matière vivante.
Aquarium récifalthumb|upright=1.5|droite|Aquarium récifal privé de . vignette|alt=Aquarium récifal privé de 750 litres|Aquarium récifal privé de 750 litres L'aquarium récifal est un bac marin principalement destiné à héberger des coraux. Il est à mettre en opposition avec un bac fish only, destiné à n'accueillir que des poissons. Héberger des coraux implique un investissement spécifique eu égard à cette forme de vie particulière. Corail Aquarium du palais de la Porte Dorée Anna Thynne, connue pour avoir réalisé le premier
Riftia pachyptilaLe ver tubicole géant (Riftia pachyptila) est l'une des espèces extrêmophiles de vers vestimentifères tubicoles vivant dans les grands fonds marins, en colonies pouvant atteindre 100 à 200 individus par m2. C'est une espèce à symbiose obligatoire (avec des bactéries chimioautotrophes). Elle est utilisée comme espèce modèle pour l'étude de ces symbioses, notamment en France à la station de biologie marine de Roscoff. Il s'agit d'un ver souple, de couleur brunâtre, qui peut mesurer jusqu’à 2 mètres de long.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
