Circulation thermohalinevignette|300px|La circulation thermohaline mondiale correspond au couplage de plusieurs cellules de convection océaniques et participe à la redistribution de la chaleur. vignette|Animation de la circulation thermohaline. La circulation thermohaline, appelée aussi circulation océanique profonde, est la circulation océanique engendrée par les différences de densité (masse volumique) de l'eau de mer, à l'origine de courants marins de profondeur. Ces différences de densité proviennent des écarts de température et de salinité des masses d'eau, d'où le terme de thermo et halin .
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.
Crible d'ÉratosthèneLe crible d'Ératosthène est un procédé qui permet de trouver tous les nombres premiers inférieurs à un certain entier naturel donné N. Le crible d'Atkin est plus rapide mais plus complexe. L'algorithme procède par élimination : il s'agit de supprimer d'une table des entiers de 2 à N tous les multiples d'un entier (autres que lui-même). En supprimant tous ces multiples, à la fin il ne restera que les entiers qui ne sont multiples d'aucun entier à part 1 et eux-mêmes, et qui sont donc les nombres premiers.
Cadmium telluride photovoltaicsCadmium telluride (CdTe) photovoltaics is a photovoltaic (PV) technology based on the use of cadmium telluride in a thin semiconductor layer designed to absorb and convert sunlight into electricity. Cadmium telluride PV is the only thin film technology with lower costs than conventional solar cells made of crystalline silicon in multi-kilowatt systems. On a lifecycle basis, CdTe PV has the smallest carbon footprint, lowest water use and shortest energy payback time of any current photovoltaic technology.
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.
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.
Crible d'AtkinLe crible d'Atkin est un procédé qui permet de trouver tous les nombres premiers inférieurs à un certain entier naturel donné N. C'est une version améliorée du crible d'Ératosthène, il fut créé en 1999 par A. O. L. Atkin et Daniel J. Bernstein. Le crible d'Ératosthène consiste à trouver les valeurs pouvant se réduire à la forme quadratique binaire réduite x⋅y (produit de deux entiers strictement supérieurs à 1). Le crible d'Atkin consiste lui à dénombrer les valeurs d'une forme quadratique binaire non-réduite.
Crible quadratiqueL'algorithme du crible quadratique est un algorithme de factorisation fondé sur l'arithmétique modulaire. C'est en pratique le plus rapide après le crible général des corps de nombres, lequel est cependant bien plus compliqué, et n'est plus performant que pour factoriser un nombre entier d'au moins cent chiffres. Le crible quadratique est un algorithme de factorisation non spécialisé, c'est-à-dire que son temps d'exécution dépend uniquement de la taille de l'entier à factoriser, et non de propriétés particulières de celui-ci.
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).
Panneau solaireLe terme « panneau solaire » peut faire référence à plusieurs concepts liés à l'énergie solaire : capteur solaire photovoltaïque : aussi appelé panneau solaire photovoltaïque, convertit le rayonnement solaire en électricité par effet photovoltaïque ; capteur solaire thermique : aussi appelé panneaux solaire thermique, convertit le rayonnement solaire en chaleur et la transfère à un fluide caloporteur ; panneau photovoltaïque thermique : combinaison des deux précédents ; panneau solaire aérothermique : métho
Console de mixagethumb|Console API 48 canaux dans un studio d'enregistrement. Une console de mixage est un appareil de traitement du signal audio se présentant sous la forme d'une console sur la face supérieure de laquelle sont disposés des organes de contrôle, servant à mélanger, dans des proportions déterminées par l'opérateur, plusieurs vers plusieurs . On en trouve dans la plupart des applications audio professionnelles (par ordre chronologique d'apparition) : radiodiffusion, cinéma sonore (souvent en prise de son et toujours en postproduction) sonorisation, enregistrement musical et télévision.
Mixing engineerA mixing engineer (or simply mix engineer) is responsible for combining ("mixing") different sonic elements of an auditory piece into a complete rendition (also known as "final mix" or "mixdown"), whether in music, film, or any other content of auditory nature. The finished piece, recorded or live, must achieve a good balance of properties, such as volume, pan positioning, and other effects, while resolving any arising frequency conflicts from various sound sources.
