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.
Ionvignette| Tableau périodique avec quelques atomes en lien avec leur forme ionique la plus répandue. La charge des ions indiqués (sauf H) a comme logique d'avoir la même structure électronique que le gaz noble (cadre rouge) le plus proche. Un ion est un atome ou un groupe d'atomes portant une charge électrique, parce que son nombre d'électrons est différent de son nombre de protons. On distingue deux grandes catégories d'ions : les cations, chargés positivement, et les anions, chargés négativement.
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.
Dielectric heatingDielectric heating, also known as electronic heating, radio frequency heating, and high-frequency heating, is the process in which a radio frequency (RF) alternating electric field, or radio wave or microwave electromagnetic radiation heats a dielectric material. At higher frequencies, this heating is caused by molecular dipole rotation within the dielectric. Molecular rotation occurs in materials containing polar molecules having an electrical dipole moment, with the consequence that they will align themselves in an electromagnetic field.
Variété abélienneEn mathématiques, et en particulier, en géométrie algébrique et géométrie complexe, une variété abélienne A est une variété algébrique projective qui est un groupe algébrique. La condition de est l'équivalent de la compacité pour les variétés différentielles ou analytiques, et donne une certaine rigidité à la structure. C'est un objet central en géométrie arithmétique. Une variété abélienne sur un corps k est un groupe algébrique A sur k, dont la variété algébrique sous-jacente est projective, connexe et géométriquement réduite.
Liquide ioniqueLes liquides ioniques sont des sels possédant une température de fusion inférieure à et souvent même inférieurs à la température ambiante. Les liquides ioniques fondus à la température ambiante présentent de nombreux avantages pratiques et sont donc très utilisés. Le terme générique "liquide ionique" (en anglais : ionic liquid) a été introduit en 1943. L'ioliomique est en chimie (biologie ou médecine) l'étude du comportement des ions dans les liquides. La liste des liquides ioniques ne cesse d’augmenter.
Variété algébriqueUne variété algébrique est, de manière informelle, l'ensemble des racines communes d'un nombre fini de polynômes en plusieurs indéterminées. C'est l'objet d'étude de la géométrie algébrique. Les schémas sont des généralisations des variétés algébriques. Il y a deux points de vue (essentiellement équivalents) sur les variétés algébriques : elles peuvent être définies comme des schémas de type fini sur un corps (langage de Grothendieck), ou bien comme la restriction d'un tel schéma au sous-ensemble des points fermés.
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).
Système d'atterrissage aux instrumentsLe système d'atterrissage aux instruments ou ILS (acronyme de l'anglais instrument landing system) est un moyen de radio-navigation utilisé pour l'approche de précision d'aéronefs en régime de vol aux instruments. La procédure correspondante est appelée approche ILS. thumb|Indicateur : (de gauche à droite) trop à droite, bien centré, trop à gauche Il comprend deux éléments : un localizer (LOC) qui fournit l'écart de l'avion par rapport à l'axe de la piste ; un glide path qui fournit l'écart de l'avion par rapport à la pente nominale d'approche (le plus souvent 3 degrés).
Réducteur (chimie)En chimie, un réducteur est un corps simple, un composé ou un ion qui cède au moins un électron à une autre espèce chimique lors d'une réaction d'oxydoréduction. Le réducteur ayant perdu au moins un électron au cours de cette réaction est dit oxydé, tandis que l'espèce chimique qui a reçu au moins un électron est dite réduite. Un réducteur est généralement proche de son état d'oxydation le plus faible — historiquement, la réduction correspondait à l'élimination de l'oxygène d'une substance — et se comporte par conséquent comme un donneur d'électron.
Structure de donnéesEn informatique, une structure de données est une manière d'organiser les données pour les traiter plus facilement. Une structure de données est une mise en œuvre concrète d'un type abstrait. Pour prendre un exemple de la vie quotidienne, on peut présenter des numéros de téléphone par département, par nom, par profession (comme les Pages jaunes), par numéro téléphonique (comme les annuaires destinés au télémarketing), par rue et/ou une combinaison quelconque de ces classements.
Paramètre (programmation informatique)En programmation informatique, un paramètre est une donnée manipulée par une section de code (voir : sous-programme, fonction, méthode) et connue du code appelant cette section. On distingue deux types de paramètres. Un paramètre d'entrée est une donnée fournie par le code appelant au code appelé. Cette donnée peut être transmise de deux façons : passage par copie (aussi appelé par valeur) : le code appelé dispose d'une copie de la valeur qu'il peut modifier sans affecter l'information initiale dans le code appelant ; passage par adresse (aussi appelé par référence) : le code appelé dispose d'une information lui permettant d'accéder en mémoire à la valeur que le code appelant cherche à lui transmettre.
Variété rationnelleEn géométrie algébrique, une variété rationnelle est une variété algébrique (intègre) V sur un corps K qui est birationnelle à un espace projectif sur K, c'est-à-dire qu'un certain ouvert dense de V est isomorphe à un ouvert d'un espace projectif. De façon équivalente, cela signifie que son corps de fonctions est isomorphe au corps des fractions rationnelles à d indéterminées K(U, ... , U), l'entier d étant alors égal à la dimension de la variété. Soit V une variété algébrique affine de dimension d définie par un idéal premier ⟨f, .
Four à micro-ondesUn four à micro-ondes, ou plus simplement un micro-ondes ou même un microonde, est un appareil électroménager utilisé principalement pour le chauffage et la cuisson rapide d'aliments, par l'agitation des molécules d'eau qu'ils contiennent, sous l'effet d'un rayonnement micro-onde. Contrairement à ce qu'affirment certaines croyances populaires, cuire ou chauffer sa nourriture au micro-ondes n'est pas nocif pour la santé et ne retire pas de nutriments aux aliments. vignette|Intérieur d’un four à micro-ondes.
Variété complèteEn mathématiques, en particulier en géométrie algébrique, une variété algébrique complète est une variété algébrique X, telle que pour toute variété Y le morphisme de projection est une application fermée (c'est-à-dire qu'elle envoie les fermés sur des fermés). Cela peut être vu comme un analogue de la compacité en géométrie algébrique : en effet, un espace topologique X est compact si et seulement si l'application de projection ci-dessus est fermée par rapport aux produits topologiques.
RhodocèneLe rhodocène ou bis(η-cyclopentadiényl)rhodium(II), est un composé organométallique de la famille des métallocènes. De formule [Rh(C5H5)2], il est constitué d'un atome de rhodium lié par liaisons covalentes (haptiques) rhodium–carbone à deux cycles de cyclopentadiényle entre lesquels il est pris en sandwich. Sa forme radicale est présente au-dessus de ou piégée à des températures de type azote liquide (). À température ambiante, des paires de ces radicaux se combinent pour former un dimère, ou deux des cycles de cyclopentadiényle sont joints, et se présentant sous la forme d'un solide jaune.
FerrocèneLe ferrocène est un composé organométallique de formule . Il fait partie de la famille des métallocènes, un type de composé sandwich dans lequel le centre métallique est entouré de deux cycles cyclopentadiényles. La découverte d'un tel composé et de ses analogues a précipité la croissance dans le domaine de la chimie organométallique donnant suite à un prix Nobel. Comme pour beaucoup de produits, la première synthèse du ferrocène fut accidentelle.
