Chimie supramoléculaireLa chimie supramoléculaire est une des branches de la chimie qui repose sur les interactions non-covalentes ou faibles entre atomes au sein d'une molécule ou entre molécules, au sein d'un ensemble moléculaire. Son objectif est de comprendre ou de construire des édifices de taille nanométrique. Le principe est d'utiliser des briques moléculaires qui, une fois mélangées en solution, dans des conditions contrôlées, s'autoassemblent pour donner des édifices plus complexes.
Supramolecular assemblyIn chemistry, a supramolecular assembly is a complex of molecules held together by noncovalent bonds. While a supramolecular assembly can be simply composed of two molecules (e.g., a DNA double helix or an inclusion compound), or a defined number of stoichiometrically interacting molecules within a quaternary complex, it is more often used to denote larger complexes composed of indefinite numbers of molecules that form sphere-, rod-, or sheet-like species.
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).
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.
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.
Cation–π interactionCation–π interaction is a noncovalent molecular interaction between the face of an electron-rich π system (e.g. benzene, ethylene, acetylene) and an adjacent cation (e.g. Li+, Na+). This interaction is an example of noncovalent bonding between a monopole (cation) and a quadrupole (π system). Bonding energies are significant, with solution-phase values falling within the same order of magnitude as hydrogen bonds and salt bridges.
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).
Crystal engineeringCrystal engineering studies the design and synthesis of solid-state structures with desired properties through deliberate control of intermolecular interactions. It is an interdisciplinary academic field, bridging solid-state and supramolecular chemistry. The main engineering strategies currently in use are hydrogen- and halogen bonding and coordination bonding. These may be understood with key concepts such as the supramolecular synthon and the secondary building unit. The term 'crystal engineering' was first used in 1955 by R.
BiomatériauUn biomatériau (dit matériau biocompatible, à ne pas confondre avec les biomatériaux utilisés dans la construction, dit matériaux biosourcés) a été défini, selon la Société Européenne des Biomatériaux, comme « matériau conçu pour interagir avec les systèmes biologiques, qu'il participe à la constitution d'un dispositif à visée diagnostique ou à celle d'un substitut de tissu ou d'organe ou encore à celle d'un dispositif de suppléance (ou d'assistance) fonctionnelle » (Conférences de Chester (Royaume-Uni), 19
Naturevignette| en Alaska. vignette|Les grandes forces du monde physique sont habituellement considérées comme « naturelles » ; l'Homme n'a pas ou très peu de prise sur elles. vignette|Cellules cycloniques. Les phénomènes météorologiques et le climat peuvent aujourd'hui être affectés par les activités humaines. vignette|Pediastrum boryanum. Les processus naturels dépendent d'interactions complexes entre les espèces et les milieux, à toutes les échelles, de l'infiniment petit à la biosphère.
Purification des protéinesLa purification des protéines est une série de processus divers destinés à isoler une ou plusieurs protéines à partir d'un mélange complexe (cellules, autres particules ou matrices). C'est une étape importante en recherche fondamentale pour la caractérisation de la fonction (études des propriétés), de la structure, sa composition en acide aminé et des interactions d'une protéine d'intérêt, mais aussi en recherche appliquée et industrie pour préparer des matières et réactifs.
Fibre synthétiquethumb|Bobines de fils de polyester. Dans le textile, la fibre synthétique est une fibre (ou un fil) produite à partir de matière(s) synthétique(s). Une matière synthétique est une matière obtenue par synthèse de composés chimiques. Ces derniers viennent presque exclusivement d'hydrocarbures ou plus récemment d'amidon. thumb|Fabrication de Perlon, une fibre polyamide, en Allemagne de l'Est en 1959. L'idée de fabriquer des fibres synthétiques date de Robert Hooke en 1664.
Protéineredresse=1.36|vignette|Représentation d'une protéine, ici deux sous-unités d'une molécule d'hémoglobine. On observe les représentées en couleur, ainsi que deux des quatre molécules d'hème, qui sont les groupes prosthétiques caractéristiques de cette protéine. redresse=1.36|vignette|Liaison peptidique –CO–NH– au sein d'un polypeptide. Le motif constitue le squelette de la protéine, tandis que les groupes liés aux sont les chaînes latérales des résidus d'acides aminés.
Article de revueUn article de revue (ou « article de synthèse » ou « article de revue de littérature ») est un type particulier d'article publié dans une revue scientifique dont le principe est de dresser un état des lieux dans un domaine particulier de la recherche et de dégager les directions particulières prises dans ce domaine. Le contenu principal d'un article de revue est une revue de littérature (ou revue de la littérature), c'est-à-dire une méthode de recherche d'information scientifique structurée, réplicable et ciblée sur un sujet de recherche spécifique.
Biologie de synthèseLa biologie de synthèse, ou biologie synthétique, est un domaine scientifique et biotechnologique émergeant qui combine biologie et principes d'ingénierie, dans le but de concevoir et construire (« synthétiser ») de nouveaux systèmes et fonctions biologiques, avec des applications notamment développées par les secteurs agropharmaceutique, chimique, agricole et énergétique. Les objectifs de la biologie de synthèse sont de deux types : Tester et améliorer notre compréhension des principes gouvernant la biologie (apprendre en construisant).
Revue systématiquethumb|Ce diagramme illustre ce que font les auteurs d'une revue systématique. Une revue systématique est un travail de collecte, d'évaluation critique et de synthèse des connaissances existantes sur une question donnée. Cette question bien définie est issue de l'étude d'une problématique posée par un commanditaire, un gestionnaire, un praticien, un chercheur... Il s'agit, contrairement à une revue narrative et non systématique de la littérature, de minimiser les biais pouvant être inhérents soit à la matière première (données, connaissances) soit à la conduite de la revue elle-même, afin d'atteindre la plus grande objectivité possible.
Human natureHuman nature is a concept that denotes the fundamental dispositions and characteristics—including ways of thinking, feeling, and acting—that humans are said to have naturally. The term is often used to denote the essence of humankind, or what it 'means' to be human. This usage has proven to be controversial in that there is dispute as to whether or not such an essence actually exists. Arguments about human nature have been a central focus of philosophy for centuries and the concept continues to provoke lively philosophical debate.
Revue de la littératureLes notions de « revue de la littérature » (ou « revue de littérature » ou d’« analyse de la littérature ») désignent à la fois une méthode de recherche de documentation scientifique et une « catégorie » d’études scientifiques. Le produit de cette méthode de recherche est un souvent un article dit « article de synthèse » ou « article de revue » ou « article de revue de littérature » par les francophones (traduction de l'anglais Review article).
