Classe de complexitéEn informatique théorique, et plus précisément en théorie de la complexité, une classe de complexité est un ensemble de problèmes algorithmiques dont la résolution nécessite la même quantité d'une certaine ressource. Une classe est souvent définie comme l'ensemble de tous les problèmes qui peuvent être résolus sur un modèle de calcul M, utilisant une quantité de ressources du type R, où n, est la taille de l'entrée. Les classes les plus usuelles sont celles définies sur des machines de Turing, avec des contraintes de temps de calcul ou d'espace.
Faisceau de HisLe faisceau de His ou faisceau atrioventriculaire est un faisceau de cellules musculaires cardiaques spécialisées dans la conduction électrique. Il transmet les impulsions électriques des atria (oreillettes) aux ventricules, induisant la contraction des muscles cardiaques des ventricules. Il fait suite au nœud atrioventriculaire. Ces fibres musculaires spécialisées du cœur doivent leur nom au cardiologue suisse Wilhelm His Jr., qui les a découvertes en 1893, aidé par les travaux de Walter Gaskell.
Radeau lipidiqueUn radeau lipidique (en anglais, lipid raft) ou raft lipidique est un microdomaine de la membrane plasmique, riche en cholestérol, en sphingolipides et en DHA (Acide DocosaHexaénoïque). Il se caractérise par sa faible densité (flottabilité sur un gradient de densité) et son insolubilité dans des détergents doux, d'où l'autre nom technique parfois utilisé : detergent-resistant membrane. Ce sont des structures rigides dans la membrane et constituent des zones privilégiées pour l'activité de certaines protéines qui y sont intégrées.
Calcul hétérogèneHeterogeneous computing refers to systems that use more than one kind of processor or core. These systems gain performance or energy efficiency not just by adding the same type of processors, but by adding dissimilar coprocessors, usually incorporating specialized processing capabilities to handle particular tasks. Usually heterogeneity in the context of computing referred to different instruction-set architectures (ISA), where the main processor has one and other processors have another - usually a very different - architecture (maybe more than one), not just a different microarchitecture (floating point number processing is a special case of this - not usually referred to as heterogeneous).
Numerical methods for ordinary differential equationsNumerical methods for ordinary differential equations are methods used to find numerical approximations to the solutions of ordinary differential equations (ODEs). Their use is also known as "numerical integration", although this term can also refer to the computation of integrals. Many differential equations cannot be solved exactly. For practical purposes, however – such as in engineering – a numeric approximation to the solution is often sufficient. The algorithms studied here can be used to compute such an approximation.
Architecture de type HarvardL’architecture de type Harvard est une conception des processeurs qui sépare physiquement la mémoire de données et la mémoire programme. L’accès à chacune des deux mémoires s’effectue via deux bus distincts. Le nom de cette structure vient du nom de l’université Harvard où une telle architecture a été mise en pratique pour la première fois avec le Mark I en 1944. Avec deux bus distincts, l’architecture dite de Harvard permet de transférer simultanément les données et les instructions à exécuter.
Jonction communicanteLes jonctions communicantes, aussi appelées jonctions gap ou macula communicans ou nexus ou jonctions lacunaires ou encore jonctions perméables, sont des jonctions intercellulaires mettant en relation le cytoplasme de deux cellules voisines. Chez l'être humain, les jonctions communicantes se situent principalement dans le système nerveux central (SNC), le cœur, le foie, la rétine, les vaisseaux sanguins et les muscles lisses.
Gentzen's consistency proofGentzen's consistency proof is a result of proof theory in mathematical logic, published by Gerhard Gentzen in 1936. It shows that the Peano axioms of first-order arithmetic do not contain a contradiction (i.e. are "consistent"), as long as a certain other system used in the proof does not contain any contradictions either. This other system, today called "primitive recursive arithmetic with the additional principle of quantifier-free transfinite induction up to the ordinal ε0", is neither weaker nor stronger than the system of Peano axioms.
Fondements des mathématiquesLes fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science. Le logicisme a été prôné notamment par Gottlob Frege et Bertrand Russell. La mathématique pure présente deux caractéristiques : la généralité de son discours et la déductibilité du discours mathématique . En ce que le discours mathématique ne prétend qu’à une vérité formelle, il est possible de réduire les mathématiques à la logique, les lois logiques étant les lois du « vrai ».
CerveletLe cervelet (du cerebellum, « petit cerveau ») est une structure de l'encéphale des vertébrés qui joue un rôle important dans le contrôle moteur et est impliqué, dans une moindre mesure, dans certaines fonctions cognitives, telles que l'attention, le langage et la régulation des réactions de peur et de plaisir. Le cervelet n'est généralement pas à l'origine du mouvement, il contribue à la coordination et la synchronisation des gestes, et à la précision des mouvements.
Extraction de racine carréeEn algorithmique et en analyse numérique, l'extraction de racine carrée est le processus qui consiste, étant donné un nombre, à en calculer la racine carrée. Il existe de nombreuses méthodes pour effectuer ce calcul. C'est un cas particulier de la recherche de calcul de la racine n-ième. La racine carrée d'un nombre pouvant être un nombre irrationnel, l'extraction de racine carrée est en général approchée. L'extraction de la racine carrée d'un nombre a est identique à la résolution de l'équation x - a = 0.
Larrabee (informatique)thumb|Schéma de l'architecture GPU Larrabee. Le projet Larrabee d'Intel Corporation fut la réaction à l'importance croissante des processeurs graphiques (GPU) dans le domaine du calcul générique. Cette carte fille a été annoncée en 2008, et fut quasiment abandonnée en et définitivement pour le grand public en . Auparavant, les GPU étaient principalement ou uniquement dédiés au calcul graphique, c'est-à-dire à l'affichage d'objets 3D à l'écran sous forme de triangles.
