EvolutionismEvolutionism is a term used (often derogatorily) to denote the theory of evolution. Its exact meaning has changed over time as the study of evolution has progressed. In the 19th century, it was used to describe the belief that organisms deliberately improved themselves through progressive inherited change (orthogenesis). The teleological belief went on to include cultural evolution and social evolution. In the 1970s, the term "Neo-Evolutionism" was used to describe the idea that "human beings sought to preserve a familiar style of life unless change was forced on them by factors that were beyond their control.
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.
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).
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.
HydroxyapatiteL'hydroxyapatite ou hydroxylapatite (HA) est une espèce minérale de la famille des phosphates, de formule Ca5(PO4)3(OH), usuellement écrite Ca10(PO4)6(OH)2 pour souligner le fait que la maille de la structure cristalline comprend deux motifs. L'hydroxyapatite est le membre hydroxylé du groupe apatite. L'ion OH− peut être remplacé par le fluor, le chlore ou le carbonate. L'hydroxyapatite cristallise dans le système hexagonal. La poudre d'hydroxyapatite pure est blanche.
ApatiteL'apatite est un nom générique désignant des phosphates hexagonaux de composition assez variable, Ca5(PO4)3(OH, Cl, F). Trois espèces sont reconnues par l'IMA, nommées selon l'anion prévalent : Chlorapatite Fluorapatite Hydroxyapatite Deux variantes monocliniques précédemment reconnues comme espèces (dont la clinohydroxyapatite) sont maintenant reconnues comme des polytypes. Tous comportent des tétraèdres PO4 isolés, avec des ions Ca2+ en coordination 9. Les carbonate-apatites remplacent un tétraèdre par un groupe ou .
ArchéenL’Archéen est un éon de l’échelle des temps géologiques, subdivisé en quatre ères. Il suit l’Hadéen et précède le Protérozoïque, tous trois étant regroupés sous le vocable de Précambrien (les 86 premiers pour cent de l’existence de la Terre). Son origine, traditionnellement placée à , est aujourd'hui fixée à par la Commission internationale de stratigraphie. L’Archéen commence en fait avec l’apparition certaine de la vie sur Terre : ce point de départ étant imprécis et faisant l’objet de nombreuses recherches par les spécialistes des origines de la vie, le début de l’Archéen restera sans doute une convention encore quelque temps.
Silice pyrogénéevignette|Silice pyrogénée avec surface spécifique de . La silice pyrogénée (numéro CAS , fumed silica en anglais) est une forme de dioxyde de silicium, ou silice, de formule chimique . Elle se présente comme une poudre constituée de gouttelettes de silice fondue refroidies en formant des chaînes tridimensionnelles qui s'organisent en particules de matière amorphe de très faible masse volumique apparente et de surface spécifique très élevée.
Theistic evolutionTheistic evolution (also known as theistic evolutionism or God-guided evolution) is a view that God acts and creates through laws of nature. It posits that the concept of God is compatible with the findings of modern science, including evolution. Theistic evolution is not in itself a scientific theory, but includes a range of views about how science relates to religious beliefs and the extent to which God intervenes. It rejects the strict creationist doctrines of special creation, but can include beliefs such as creation of the human soul.
Diversity indexA diversity index is a quantitative measure that reflects how many different types (such as species) there are in a dataset (a community), and that can simultaneously take into account the phylogenetic relations among the individuals distributed among those types, such as richness, divergence or evenness. These indices are statistical representations of biodiversity in different aspects (richness, evenness, and dominance).
LagerstätteUn Lagerstätte (ou Lagerstaette) (en allemand ; littéralement « lieu de stockage » ; pluriel Lagerstätten) est un dépôt sédimentaire qui contient une grande diversité de fossiles ou des fossiles très complets. Les paléontologues les classent en deux sortes : Les Konzentrat-Lagerstätten (« Lagerstätten de concentration » ou dépôts de fossiles concentrés) sont des dépôts particulièrement riches en fossiles d'éléments organiques désarticulés, par exemple des os.
Évolution socioculturelleL’évolution socioculturelle est une palette de concepts décrivant comment les cultures et les sociétés ont évolué au cours du temps. Ainsi, l'évolution socioculturelle peut être définie comme . De telles théories impliquent la création de modèles pour la compréhension des relations entre les technologies, les structures sociales, les valeurs de la société, et comment/pourquoi elles changent dans le temps, pourquoi elles varient en empruntant des mécanismes spécifiques.
