GenèveGenève est une ville suisse située à l'extrémité sud-ouest du Léman. Elle est la deuxième ville la plus peuplée de Suisse après Zurich, et le chef-lieu de la République et canton de Genève (GE). Au , la ville comptait dans , mais à la même date, son aire métropolitaine transfrontalière, définie par Eurostat et l'OFS suivant la méthodologie des zones urbaines fonctionnelles, c'est-à-dire l'agglomération et la couronne périurbaine, comptait dans à cheval sur la Suisse et la France.
Analyseur différentielUn analyseur différentiel était un calculateur analogique conçu pour résoudre des équations différentielles par intégration, en utilisant des systèmes de roues et de volants. Il a été l'un des premiers appareils de calcul évolué à être utilisé de façon opérationnelle. La première description d'une machine à intégrer les équations différentielles d'ordre quelconque est celle publiée en 1876 par James Thomson. Il faut toutefois noter que, dès 1836, Coriolis avait proposé un intégrateur mécanique applicable aux équations différentielles du premier ordre.
QuébecLe Québec ( ) est une province du Canada dont les frontières correspondent au territoire de la nation québécoise. Vivent également au sein du territoire québécois onze nations autochtones. La capitale du Québec est la ville de Québec, et sa métropole est Montréal. La langue officielle du Québec est le français. Situé dans la région centrale du pays, entre l'Ontario à l'ouest, Terre-Neuve-et-Labrador au nord-est et le Nouveau-Brunswick à l'est, il partage également une frontière sud-est avec les États-Unis.
La RéunionLa Réunion est une île située dans l'ouest de l'océan Indien, à l'est de l'Afrique, dans l'hémisphère sud. Elle constitue à la fois un département et une région d'outre-mer français (DROM). D'une superficie de , l'île de La Réunion est située dans l'archipel des Mascareignes à à l'ouest-sud-ouest de l'île Maurice et à à l'est-sud-est de Madagascar. Il s'agit d'une île volcanique créée par un point chaud. Le point culminant est à une altitude de au piton des Neiges. L'île présente un relief escarpé travaillé par une érosion très marquée.
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.
Sine and cosineIn mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side that is opposite that angle to the length of the longest side of the triangle (the hypotenuse), and the cosine is the ratio of the length of the adjacent leg to that of the hypotenuse. For an angle , the sine and cosine functions are denoted simply as and .
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.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Système international d'unitésLe Système international d'unités (abrégé en SI), inspiré du système métrique, est le système d'unités le plus largement employé au monde ; il n'est pas officiellement utilisé aux États-Unis, au Liberia et en Birmanie. Il s’agit d’un système décimal (on passe d’une unité à ses multiples ou sous-multiples à l’aide de puissances de 10) sauf pour la mesure du temps et des angles. C’est la Conférence générale des poids et mesures, rassemblant des délégués des États membres de la Convention du Mètre, qui décide de son évolution, tous les quatre ans, à Paris.
Unité dérivée du Système internationalLes unités dérivées du Système International se déduisent des sept unités de base du Système international, et font elles-mêmes partie de ce système d'unités. Les unités de base sont : le mètre (m), unité de longueur (x, l) ; le kilogramme (kg), unité de masse (m) ; la seconde (s), unité de temps (t) ; l'ampère (A), unité de courant électrique (I, i) ; le kelvin (K), unité de température (T) ; la mole (mol), unité de quantité de matière (n) ; la candela (cd), unité d'intensité lumineuse (I).
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
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.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
DevanagariLa devanagari, du sanskrit sa, est une écriture alphasyllabaire utilisée pour le sanskrit, le prâkrit, le hindi, le népalais, le marathi et plusieurs autres langues indiennes. C’est une des écritures les plus employées en Inde du Nord et au Népal. Comme la quasi-totalité des écritures indiennes, la devanagari descend de l'écriture brahmi, plus précisément de l'écriture gupta. On retrace les origines de la devanagari autour du , vraisemblablement comme une modification du siddham.
Lithographie extrême ultravioletvignette|La technologie EUV. vignette|Outil de lithographie EUV. La lithographie extrême ultraviolet ou lithographie EUV est un procédé de photolithographie assez semblable aux procédés de lithographie classiques actuels. Il utilise un rayonnement ultraviolet (UV) d'une longueur d'onde de l'ordre de dix à quinze nanomètres (le rayonnement EUV avoisine donc la gamme des rayons X-mous), en remplaçant les objectifs (ou masques dits « en transmission ») par une série de miroirs de précision (exemple des masques dits « en réflexion »).
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).
Arbitrary waveform generatorAn arbitrary waveform generator (AWG) is a piece of electronic test equipment used to generate electrical waveforms. These waveforms can be either repetitive or single-shot (once only) in which case some kind of triggering source is required (internal or external). The resulting waveforms can be injected into a device under test and analyzed as they progress through it, confirming the proper operation of the device or pinpointing a fault in it. Unlike function generators, AWGs can generate any arbitrarily defined waveshape as their output.
Sputter depositionSputter deposition is a physical vapor deposition (PVD) method of thin film deposition by the phenomenon of sputtering. This involves ejecting material from a "target" that is a source onto a "substrate" such as a silicon wafer. Resputtering is re-emission of the deposited material during the deposition process by ion or atom bombardment. Sputtered atoms ejected from the target have a wide energy distribution, typically up to tens of eV (100,000 K).
Alphasyllabaire gujaratiL’alphabet gujarātī (gujarātī : ગુજરાતી) est utilisé pour écrire le gujarati, langue indienne parlée entre autres au Gujarat, un État de l’ouest de l’Inde. Il s’agit d’un alphasyllabaire très similaire à la devanāgarī utilisée pour écrire le hindi, mais sans la ligne supérieure caractéristique de cette écriture et qui diffère par quelques caractères. Comme la quasi-totalité des écritures indiennes, le gujarati descend de l’écriture brahmi, plus précisément de l’écriture gupta.
Liaison pendanteUne liaison pendante (dangling bond en anglais) est une valence non satisfaite sur un atome d'une substance à l'état solide. On observe de telles liaisons pendantes notamment à l'interface entre phases différentes, typiquement sur les surfaces des matériaux ainsi que dans des phases amorphes, comme dans le silicium amorphe, mais elles existent également sous forme de défauts ponctuels au sein de phases cristallines.
