Structural alignmentStructural alignment attempts to establish homology between two or more polymer structures based on their shape and three-dimensional conformation. This process is usually applied to protein tertiary structures but can also be used for large RNA molecules. In contrast to simple structural superposition, where at least some equivalent residues of the two structures are known, structural alignment requires no a priori knowledge of equivalent positions.
Patrimoine culturelthumb|La cathédrale de Reims.Exemple de patrimoine culturel à l'échelle mondiale. La cathédrale Notre-Dame est très directement liée à l'histoire de la monarchie française, et donc plus généralement à l'histoire de la France selon le site de l'UNESCO. Elle est inscrite au patrimoine mondial de l'UNESCO depuis 1991. Le patrimoine culturel se définit comme l'ensemble des biens, matériels ou immatériels, ayant une importance artistique et/ou historique certaine, et qui appartiennent soit à une entité privée (personne, entreprise, association, etc.
DuctilitéLa ductilité est la capacité d'un matériau à se déformer plastiquement sans se rompre. La rupture se fait lorsqu'un défaut (fissure ou cavité) devient critique et se propage. Un matériau qui présente une grande déformation plastique à rupture est dit ductile, sinon il est dit fragile. C'est une propriété dite « purement géométrique » : elle ne caractérise qu'un allongement à la rupture (sans unité, ou l'allongement en mètre si la longueur pour l'essai de ductilité est normalisée), indépendamment de l'énergie ou de la contrainte nécessaire à cette rupture.
Catenary archA catenary arch is a type of architectural arch that follows an inverted catenary curve. The catenary curve has been employed in buildings since ancient times. It forms an underlying principle to the overall system of vaults and buttresses in stone vaulted Gothic cathedrals and in Renaissance domes. It is not a parabolic arch. The 17th-century scientist Robert Hooke wrote: "Ut pendet continuum flexile, sic stabit contiguum rigidum inversum", or, "As hangs a flexible cable so, inverted, stand the touching pieces of an arch.
Hypothèse des marchés financiers efficientsL’hypothèse des marchés financiers efficients est une hypothèse utilisée en économie selon laquelle les marchés financiers sont efficients, c'est-à-dire que les prix des actifs reflètent toute l'information disponible au sujet du prix. Si les marchés sont efficients, alors il est impossible de faire mieux que le marché. Les marchés financiers ont fait l'objet d'études académiques visant à déterminer leur caractère efficient ou non.
StructuralismeLe structuralisme est un ensemble de courants de pensée holistes apparus principalement en sciences humaines et sociales au milieu du , ayant en commun l'utilisation du terme de structure entendue comme modèle théorique (inconscient, ou non empiriquement perceptible) organisant la forme de l'objet étudié pris comme un système, l'accent étant mis moins sur les unités élémentaires de ce système que sur les relations qui les unissent.
Pollution plastiquethumb|Déchets plastiques au jardin botanique de Bogor en Indonésie (2018). La pollution par le plastique (ou « pollution plastique ») est une pollution engendrée par l'accumulation de déchets en matière plastique dans l'environnement. Il existe plusieurs formes et types de pollution plastique. Le système mondial de production, d'utilisation et d'élimination des matières plastique est un système défaillant. La pollution plastique est corrélée au faible coût du plastique, qui entraîne une utilisation massive et jetable de ce dernier.
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.
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).
Type classIn computer science, a type class is a type system construct that supports ad hoc polymorphism. This is achieved by adding constraints to type variables in parametrically polymorphic types. Such a constraint typically involves a type class T and a type variable a, and means that a can only be instantiated to a type whose members support the overloaded operations associated with T.
