Industrie des semi-conducteursL'industrie des semi-conducteurs est un secteur industriel qui regroupe les activités de conception, de fabrication et de commercialisation des semi-conducteurs. Ces activités participent de manière fondamentale à la production de biens et de services des technologies de l'information et de la communication dans la mesure où elles fournissent le composant de base de ces technologies : le circuit intégré. Par exemple, ce composant est au cœur des serveurs informatiques, des routeurs de réseaux de transport de données et des terminaux téléphoniques.
Analyse séquentielleEn statistique, l'analyse séquentielle, ou test d'hypothèse séquentiel, est une analyse statistique où la taille de l'échantillon n'est pas fixée à l'avance. Plutôt, les données sont évaluées au fur et à mesure qu'elles sont recueillies, et l'échantillonnage est arrêté selon une règle d'arrêt prédéfinie, dès que des résultats significatifs sont observés. Une conclusion peut ainsi parfois être atteinte à un stade beaucoup plus précoce que ce qui serait possible avec des tests d'hypothèse ou des estimations plus classiques, à un coût financier ou humain par conséquent inférieur.
Jeux d'entrainement, de validation et de testEn apprentissage automatique, une tâche courante est l'étude et la construction d'algorithmes qui peuvent apprendre et faire des prédictions sur les données. De tels algorithmes fonctionnent en faisant des prédictions ou des décisions basées sur les données, en construisant un modèle mathématique à partir des données d'entrée. Ces données d'entrée utilisées pour construire le modèle sont généralement divisées en plusieurs jeux de données .
Statistiques non paramétriquesLa statistique non paramétrique est un domaine de la statistique qui ne repose pas sur des familles de loi de probabilité paramétriques. Les méthodes non paramétriques pour la régression comprennent les histogrammes, les méthodes d'estimation par noyau, les splines et les décompositions dans des dictionnaires de filtres (par exemple décomposition en ondelettes). Bien que le nom de non paramétriques soit donné à ces méthodes, elles reposent en vérité sur l'estimation de paramètres.
Lindström quantifierIn mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. They were introduced by Per Lindström in 1966. They were later studied for their applications in logic in computer science and database query languages. In order to facilitate discussion, some notational conventions need explaining.
Software verification and validationIn software project management, software testing, and software engineering, verification and validation (V&V) is the process of checking that a software system meets specifications and requirements so that it fulfills its intended purpose. It may also be referred to as software quality control. It is normally the responsibility of software testers as part of the software development lifecycle.
Émission par effet de champL'émission par effet de champ, ou, sous forme abrégée, lʼémission de champ, est l'émission d'électrons induits par des champs électromagnétiques externes. Elle peut avoir lieu à partir d'une surface solide ou liquide, ou bien directement au niveau d'un atome en milieu gazeux. La théorie d'émission par effet de champ à partir des métaux a été décrite la première fois par Fowler et Nordheim en 1928. Le courant d'émission électronique se calcule au moyen de l'équation dite de Fowler-Nordheim : avec Canon à éle
Propagation des ondes radioLes ondes radioélectriques ou ondes hertziennes sont des ondes électromagnétiques qui se propagent de deux façons : dans l'espace libre (propagation rayonnée, autour de la Terre par exemple) dans des lignes (propagation guidée, dans un câble coaxial ou un guide d'ondes) Le domaine des fréquences des ondes radio s'étend de à . Pour la partie théorique, on se reportera à l'article Établissement de l'équation de propagation à partir des équations de Maxwell .
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
Carrier generation and recombinationIn the solid-state physics of semiconductors, carrier generation and carrier recombination are processes by which mobile charge carriers (electrons and electron holes) are created and eliminated. Carrier generation and recombination processes are fundamental to the operation of many optoelectronic semiconductor devices, such as photodiodes, light-emitting diodes and laser diodes. They are also critical to a full analysis of p-n junction devices such as bipolar junction transistors and p-n junction diodes.
Analyse de la varianceEn statistique, lanalyse de la variance (terme souvent abrégé par le terme anglais ANOVA : analysis of variance) est un ensemble de modèles statistiques utilisés pour vérifier si les moyennes des groupes proviennent d'une même population. Les groupes correspondent aux modalités d'une variable qualitative (p. ex. variable : traitement; modalités : programme d'entrainement sportif, suppléments alimentaires; placebo) et les moyennes sont calculés à partir d'une variable continue (p. ex. gain musculaire).
Rayonnement électromagnétiquethumb|Répartition du rayonnement électromagnétique par longueur d'onde. Le rayonnement électromagnétique est une forme de transfert d'énergie linéaire. La lumière visible est un rayonnement électromagnétique, mais ne constitue qu'une petite tranche du large spectre électromagnétique. La propagation de ce rayonnement, d'une ou plusieurs particules, donne lieu à de nombreux phénomènes comme l'atténuation, l'absorption, la diffraction et la réfraction, le décalage vers le rouge, les interférences, les échos, les parasites électromagnétiques et les effets biologiques.
