Champ magnétiqueEn physique, dans le domaine de l'électromagnétisme, le champ magnétique est une grandeur ayant le caractère d'un champ vectoriel, c'est-à-dire caractérisée par la donnée d'une norme, d’une direction et d’un sens, définie en tout point de l'espace et permettant de modéliser et quantifier les effets magnétiques du courant électrique ou des matériaux magnétiques comme les aimants permanents.
Champ électromagnétiqueUn champ électromagnétique ou Champ EM (en anglais, electromagnetic field ou EMF) est la représentation dans l'espace de la force électromagnétique qu'exercent des particules chargées. Concept important de l'électromagnétisme, ce champ représente l'ensemble des composantes de la force électromagnétique s'appliquant sur une particule chargée se déplaçant dans un référentiel galiléen. Une particule de charge q et de vecteur vitesse subit une force qui s'exprime par : où est le champ électrique et est le champ magnétique.
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.
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.
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.
NepalbhashaLe nepalbhasha (नेपाल भाषा), également appelé newari ou néwar, était la langue officielle du Népal sous la dynastie des Malla jusqu'au , lorsque les Gurkhas dirigés par Prithivi Narayan Shah ont conquis la vallée de Katmandou. C'est une langue tibéto-birmane, dont la parenté avec les autres langues de la famille est controversée. Elle est écrite depuis le . L'alphabet le plus communément utilisé actuellement pour cette langue est le devanagari. Les Néwars sont originaires de la vallée de Katmandou (en népalais Kathmandu, en néwar Yem).
Corps commutatifvignette|Corps commutatif (pour n premier) En mathématiques, un corps commutatif (parfois simplement appelé corps, voir plus bas, ou parfois appelé champ) est une des structures algébriques fondamentales de l'algèbre générale. C'est un ensemble muni de deux opérations binaires rendant possibles les additions, soustractions, multiplications et divisions. Plus précisément, un corps commutatif est un anneau commutatif dans lequel l'ensemble des éléments non nuls est un groupe commutatif pour la multiplication.
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.
Équation des ondesL' ou est une équation aux dérivées partielles en physique qui régit la propagation d'une onde. C'est une équation vérifiée par de nombreux phénomènes ondulatoires de la vie courante comme le son ou la lumière. avec : l'opérateur laplacien ; l'onde vectorielle; une constante, vitesse de propagation de dans le milieu considéré ; L'utilisation du laplacien permet de s'affranchir du choix d'un système de coordonnées. avec : l'opérateur de dérivée partielle seconde en appliqué sur ; , les trois variables cartésiennes de l'espace, et celle du temps.
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).
Mila (institut de recherche)Le Mila est l'Institut québécois d’intelligence artificielle – Quebec Artificial Intelligence Institute (anciennement Montreal Institute for Learning Algorithms), un organisme qui rassemble des chercheurs spécialisés dans le domaine de l’apprentissage profond. Fondé en 1993 au sein de l'Université de Montréal par le professeur et directeur scientifique Yoshua Bengio, l'institut a pour vocation la recherche fondamentale, l'application des technologies en intelligence artificielle et la création de jeunes pousses, dont la moitié sont des entreprises étudiantes.
Champ électriquethumb|Champ électrique associé à son propagateur qu'est le photon. right|thumb|Michael Faraday introduisit la notion de champ électrique. En physique, le champ électrique est le champ vectoriel créé par des particules électriquement chargées. Plus précisément, des particules chargées modifient les propriétés locales de l'espace, ce que traduit justement la notion de champ. Si une autre charge se trouve dans ce champ, elle subira l'action de la force électrique exercée à distance par la particule : le champ électrique est en quelque sorte le "médiateur" de cette action à distance.
Renaixençavignette|Couverture de La Renaixensa, magazine publié par Pere Aldavert de 1881 à 1905. La Renaixença, mouvement culturel inscrit dans le courant du romantisme européen, a vu le jour en Catalogne au cours du , à partir de 1833 et principalement dans la seconde moitié du siècle, jusqu'en 1890. Son nom, qui signifie renaissance reflète la volonté de faire renaître la culture et la langue catalane comme langue littéraire de prestige.
Aleix ClapésAlex Clapés (Vilassar de Dalt, September 10, 1850 – Barcelona, 1920) was a Catalan modernisme artist. He was one of the less known painters in the late 19th century and early 20th century in Catalonia, Spain. He was born in Vilassar de Dalt on September 10, 1850. He died in Barcelona in 1920. He is most known for performing some commissions for the Güell family, thanks to his friend and colleague, Antoni Gaudí. Clapés was born in Vilassar de Dalt, Catalonia, in 1850. Very little information is known about his personal life.
Relations de réciprocité d'OnsagerEn thermodynamique hors équilibre, les relations de réciprocité d'Onsager ou relations de réciprocité d'Onsager-Casimir caractérisent les coefficients phénoménologiques qui apparaissent dans les relations qui relient les flux de variables extensives caractérisant le système considéré aux affinités thermodynamiques correspondantes. Elles ont été établies par Lars Onsager en 1931 et précisées par Hendrik Casimir en 1945. Comme d'autres relations de ce type, par exemple le principe de Curie, elles sont l'expression des propriétés d'invariance ou de symétrie de ces systèmes.
Champ (physique)En physique, un champ est la donnée, pour chaque point de l'espace-temps, de la valeur d'une grandeur physique. Cette grandeur physique peut être scalaire (température, pression...), vectorielle (vitesse des particules d'un fluide, champ électrique...) ou tensorielle (comme le tenseur de Ricci en relativité générale). Un exemple de champ scalaire est donné par la carte des températures d'un bulletin météorologique télévisé : la température atmosphérique prend, en chaque point, une valeur particulière.
Équation différentielleEn mathématiques, une équation différentielle est une équation dont la ou les « inconnue(s) » sont des fonctions ; elle se présente sous la forme d'une relation entre ces fonctions inconnues et leurs dérivées successives. C'est un cas particulier d'équation fonctionnelle. On distingue généralement deux types d'équations différentielles : les équations différentielles ordinaires (EDO) où la ou les fonctions inconnues recherchées ne dépendent que d'une seule variable ; les équations différentielles partielles, plutôt appelées équations aux dérivées partielles (EDP), où la ou les fonctions inconnues recherchées peuvent dépendre de plusieurs variables indépendantes.
