LinearizabilityIn concurrent programming, an operation (or set of operations) is linearizable if it consists of an ordered list of invocation and response events, that may be extended by adding response events such that: The extended list can be re-expressed as a sequential history (is serializable). That sequential history is a subset of the original unextended list. Informally, this means that the unmodified list of events is linearizable if and only if its invocations were serializable, but some of the responses of the serial schedule have yet to return.
Noyau atomiquevignette|Noyau atomique de l'hélium.Le noyau atomique est la région située au centre d'un atome, constituée de protons et de neutrons (les nucléons). La taille du noyau (de l'ordre du femtomètre, soit ) est environ plus petite que celle de l'atome () et concentre quasiment toute sa masse. Les forces nucléaires qui s'exercent entre les nucléons sont à peu près un million de fois plus grandes que les forces entre les atomes ou les molécules. Les noyaux instables, dits radioactifs, sont ceux d'où s'échappent des neutrons.
Reconnaissance de formesthumb|Reconnaissance de forme à partir de modélisation en 3D La reconnaissance de formes (ou parfois reconnaissance de motifs) est un ensemble de techniques et méthodes visant à identifier des régularités informatiques à partir de données brutes afin de prendre une décision dépendant de la catégorie attribuée à ce motif. On considère que c'est une branche de l'intelligence artificielle qui fait largement appel aux techniques d'apprentissage automatique et aux statistiques.
Fourier analysisIn mathematics, Fourier analysis (ˈfʊrieɪ,_-iər) is the study of the way general functions may be represented or approximated by sums of simpler trigonometric functions. Fourier analysis grew from the study of Fourier series, and is named after Joseph Fourier, who showed that representing a function as a sum of trigonometric functions greatly simplifies the study of heat transfer. The subject of Fourier analysis encompasses a vast spectrum of mathematics.
Attente activeL’attente active, en génie logiciel, ou polling (parfois appelée aussi « scrutation ») est une technique de programmation que les processus utilisent lorsqu'ils vérifient de façon répétée si une condition est vraie, comme l'attente d'une entrée (clavier ou autre) ou encore la libération d'un verrou. Cette technique peut également être utilisée pour mettre en attente un programme pour une durée déterminée. Cela était nécessaire sur d'anciens systèmes d'exploitation dont le matériel sous-jacent ne proposait pas de méthode spécifique pour suspendre l'exécution du flot d'instruction pendant une période déterminée.
Service economyService economy can refer to one or both of two recent economic developments: The increased importance of the service sector in industrialized economies. The current list of Fortune 500 companies contains more service companies and fewer manufacturers than in previous decades. The relative importance of service in a product offering. The service economy in developing countries is mostly concentrated in financial services, hospitality, retail, health, human services, information technology and education.
Base de donnéesUne base de données permet de stocker et de retrouver des données structurées, semi-structurées ou des données brutes ou de l'information, souvent en rapport avec un thème ou une activité ; celles-ci peuvent être de natures différentes et plus ou moins reliées entre elles. Leurs données peuvent être stockées sous une forme très structurée (base de données relationnelles par exemple), ou bien sous la forme de données brutes peu structurées (avec les bases de données NoSQL par exemple).
Temps moyen entre pannesvignette|Représentation de l'état d'un système alternant entre panne et bon fonctionnement. Un écart entre deux pannes est représenté en bleu. Le temps moyen entre pannes ou durée moyenne entre pannes, souvent désigné par son sigle anglais MTBF (mean time between failures), est une des valeurs qui indiquent la fiabilité d'un composant, d'un produit ou d'un système. C'est la moyenne arithmétique du temps de fonctionnement entre les pannes d'un système réparable.
Early stoppingIn machine learning, early stopping is a form of regularization used to avoid overfitting when training a learner with an iterative method, such as gradient descent. Such methods update the learner so as to make it better fit the training data with each iteration. Up to a point, this improves the learner's performance on data outside of the training set. Past that point, however, improving the learner's fit to the training data comes at the expense of increased generalization error.
Least-squares spectral analysisLeast-squares spectral analysis (LSSA) is a method of estimating a frequency spectrum based on a least-squares fit of sinusoids to data samples, similar to Fourier analysis. Fourier analysis, the most used spectral method in science, generally boosts long-periodic noise in the long and gapped records; LSSA mitigates such problems. Unlike in Fourier analysis, data need not be equally spaced to use LSSA.
