Induction électriqueEn électromagnétisme, l’induction électrique, notée , représente en quelque sorte la densité de charge par unité d'aire (en ) ressentie en un certain point : par exemple, une sphère de rayon entourant une charge subit à cause d'elle en chacun de ses points un certain champ électrique, identique à celui qu'engendrerait la même charge uniformément répartie sur l'aire de la sphère. La densité de charge surfacique ainsi obtenue est alors l'intensité de l'induction électrique.
Force (physique)Une force modélise, en physique classique, une action mécanique exercée sur un objet ou une partie d'un objet par un autre objet ou partie d'objet. L'ensemble des forces appliquées à un objet a pour effet de lui communiquer une accélération ou de le déformer. Introduit antérieurement , le concept de force a été précisé en 1684 par Isaac Newton, qui en a fait l'un des fondements de la mécanique newtonienne. Le concept de force est ancien, mais il a mis longtemps à obtenir une nouvelle définition utilisable.
Courant de déplacementEn électromagnétisme, le courant de déplacement est un terme introduit par Maxwell pour étendre aux régimes variables dans le temps le théorème d'Ampère valide en magnétostatique. Vers 1865, Maxwell a réalisé une synthèse harmonieuse des diverses lois expérimentales découvertes par ses prédécesseurs (lois de l'électrostatique, du magnétisme, de l'induction...). Mais cette synthèse n'a été possible que parce que Maxwell a su dépasser les travaux de ses devanciers, en introduisant dans une équation un « chaînon manquant », appelé le courant de déplacement, dont la présence assure la cohérence de l'édifice unifié.
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.
Force électromagnétiquevignette|Force de Lorentz agissant sur des particules chargées se déplaçant rapidement dans une chambre à bulles. Les trajectoires de charge positive et négative se courbent dans des directions opposées.La force électromagnétique ou force de Lorentz est la force subie par une particule chargée dans un champ électromagnétique. C'est la principale manifestation de l'interaction électromagnétique. Cette force, appliquée dans diverses situations, induit l'ensemble des interactions électriques et magnétiques observées ; elle est de ce fait principalement étudiée en physique et en chimie.
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.
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.
Champ gravitationnelEn physique classique, le champ gravitationnel ou champ de gravitation est un champ réparti dans l'espace et dû à la présence d'une masse susceptible d'exercer une influence gravitationnelle sur tout autre corps présent à proximité (immédiate ou pas). L'introduction de cette grandeur permet de s'affranchir du problème de la médiation de l'action à distance apparaissant dans l'expression de la force de gravitation universelle.
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.
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).
Portance (aérodynamique)La portance aérodynamique est la composante de la force subie par un corps en mouvement dans un fluide qui s'exerce perpendiculairement à la direction du mouvement (au vent relatif). Cela concerne les aérodynes (engins plus denses que l'air). lang=fr |vignette |304x171px Un corps placé dans un écoulement d'air (ou d'eau) subit une force aérodynamique (ou hydrodynamique). Pour l'analyse, on décompose cette force en une composante parallèle au vent relatif : la traînée (voir aussi Aérodynamique), et une composante perpendiculaire au vent relatif : la portance.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
IPhoneL'iPhone est une gamme de smartphone créée par Apple comprenant plusieurs générations, opérant sur le Système d'exploitation mobile iOS, développé également par Apple. Steve Jobs dévoile le premier , l'IPhone 2G, le . Chaque année, la firme américaine publie de nouveaux modèles ainsi que des mises à jour du système d'exploitation. Au , plus de d' ont été vendus. Son interface utilisateur est constituée d'un écran multi-touch.
Yahoo! SearchYahoo! Search is a Yahoo! internet search provider that uses Microsoft's Bing search engine to power results, since 2009, apart from four years with Google from 2015 until the end of 2018. Originally, "Yahoo! Search" referred to a Yahoo!-provided interface that sent queries to a searchable index of pages supplemented with its directory of websites. The results were presented to the user under the Yahoo! brand. Originally, none of the actual web crawling and data housing was done by Yahoo! itself.
IPhone XL'iPhone X (prononcé iPhone 10 pour le chiffre romain ) est un smartphone, modèle de la d'iPhone d'Apple. Il est disponible en pré-commande le et est commercialisé le . Il est destiné à présenter ce qu'Apple considère comme la technologie du futur. Il utilise un boîtier en verre et en acier inoxydable et une conception sans contour, ce qui permet de réduire les cadres. C'est le premier iPhone à utiliser un écran OLED.
PapierLe papier est un matériau en feuilles minces fabriqué à partir de fibres végétales. C'est un support d'écriture et de dessin avec de nombreuses autres applications. On appelle carton un papier épais et rigide. L'usage du papier est attesté il y a en Chine. Il s'y fabrique à partir de plantes riches en cellulose. L'invention de la xylographie au en augmente l'usage et la fabrication. À la même époque, il se diffuse dans le monde musulman, où les fabricants utilisent le chiffon, puis en Occident où on lui ajoute de la colle pour l'adapter à l'écriture à la plume.
