Diviser pour régner (informatique)thumb|652x652px|Trois étapes (diviser, régner, combiner) illustrées avec l'algorithme du tri fusion En informatique, diviser pour régner (du latin , divide and conquer en anglais) est une technique algorithmique consistant à : Diviser : découper un problème initial en sous-problèmes ; Régner : résoudre les sous-problèmes (récursivement ou directement s'ils sont assez petits) ; Combiner : calculer une solution au problème initial à partir des solutions des sous-problèmes.
Algorithme de ShorEn arithmétique modulaire et en informatique quantique, l’algorithme de Shor est un algorithme quantique conçu par Peter Shor en 1994, qui factorise un entier naturel N en temps O et en espace . Beaucoup de cryptosystèmes à clé publique, tels que le RSA, deviendraient vulnérables si l'algorithme de Shor était un jour implanté dans un calculateur quantique pratique. Un message chiffré avec RSA peut être déchiffré par factorisation de sa clé publique N, qui est le produit de deux nombres premiers.
Processeur basé sur la pileCertains processeurs utilisent non pas des registres pour conserver les données, mais une ou plusieurs piles. Les instructions prennent alors pour opérandes les premiers éléments de la pile. Dans un tel processeur, les instructions (addition, multiplication, chargement d'une valeur en mémoire...) utilisent généralement les deux premiers éléments de la pile. On trouve aussi des instructions de manipulation de pile, par exemple permettant de supprimer un élément, ou d'inverser certains d'entre eux.
Approches fonctionnelles de la grammaireLes approches fonctionnelles de grammaire sont les approches relatives à l’étude du langage qui estiment que les fonctions linguistiques et leurs éléments sont indispensables à la compréhension du processus et de la structure d’une langue. Les approches fonctionnelles linguistiques existent puisqu’une langue est fondamentalement un outil de communication. Il semble donc évident de déduire que ces différentes structures sont mieux étudiées et comprises selon les fonctions qu’elles exercent.
Isolation thermiquethumb|Isolation thermique effectuée par l'extérieur afin de limiter les ponts thermiques. L’isolation thermique est l'ensemble des techniques mises en œuvre pour limiter les transferts de chaleur entre un milieu chaud et un milieu froid. L'isolation thermique est utilisée dans de nombreux domaines, notamment le bâtiment, l'industrie, l'automobile, la chaîne du froid, la cuisine et le textile. Elle permet de réduire la consommation énergétique, donc les coûts et les émissions de gaz à effet de serre.
Résistance thermiqueLa résistance thermique quantifie l'opposition à un flux thermique entre deux isothermes entre lesquels s'effectue un transfert thermique de sorte que : où est le flux thermique en watts (W) et est la différence de température en kelvins (K). La résistance thermique s'exprime en kelvins par watt (K/W). La résistance thermique surfacique (en mètres carrés-kelvins par watt, K·m·W-1, est son équivalent rapporté à la densité de flux thermique (en watts par mètre carré, W/m) : Cette dernière est davantage utilisée dans le cas des surfaces planes notamment dans le domaine de la thermique du bâtiment.
Optimal stoppingIn mathematics, the theory of optimal stopping or early stopping is concerned with the problem of choosing a time to take a particular action, in order to maximise an expected reward or minimise an expected cost. Optimal stopping problems can be found in areas of statistics, economics, and mathematical finance (related to the pricing of American options). A key example of an optimal stopping problem is the secretary problem. Optimal stopping problems can often be written in the form of a Bellman equation, and are therefore often solved using dynamic programming.
D-WaveD-Wave (D-Wave Systems) se présente comme première entreprise d'informatique quantique au monde, fondée en 1999 et basée en Colombie-Britannique (Canada). Elle annonce en 2007 avoir construit le prototype d'un processeur de 28 qubits permettant de faire du recuit simulé quantique. Le , elle annonce son système D-Wave One comme le premier calculateur quantique commercial. C'est un processeur de 128 qubits basé sur la méthode du recuit simulé quantique. En , elle communique sur sa prochaine génération de processeurs contenant 2000 qubits.
Sciences numériquesLes sciences numériques (traduction de l'anglais computational sciences), autrement dénommées calcul scientifique ou informatique scientifique, ont pour objet la construction de modèles mathématiques et de méthodes d'analyse quantitative, en se basant sur l'utilisation des sciences du numérique, pour analyser et résoudre des problèmes scientifiques. Cette approche scientifique basée sur un recours massif aux modélisations informatiques et mathématiques et à la simulation se décline en : médecine numérique, biologie numérique, archéologie numérique, mécanique numérique, par exemple.
Systemic functional linguisticsSystemic functional linguistics (SFL) is an approach to linguistics, among functional linguistics, that considers language as a social semiotic system. It was devised by Michael Halliday, who took the notion of system from J. R. Firth, his teacher (Halliday, 1961). Firth proposed that systems refer to possibilities subordinated to structure; Halliday "liberated" choice from structure and made it the central organising dimension of SFL.
Algorithme de multiplication d'entiersLes algorithmes de multiplication permettent de calculer le résultat d'une multiplication. Graphiquement, il s'agit de transformer un rectangle multiplicateur × multiplicande en une ligne, en conservant le nombre d'éléments. Ce type de multiplication n'utilise que des additions et des multiplications ou des divisions par 2. Elle ne nécessite pas de connaître de table de multiplication (autre que la multiplication par 2).
