Sound Blasterthumb|Carte ISA Sound Blaster AWE64. Sound Blaster est une marque déposée de Creative Labs apparue en 1989. C'est une gamme de cartes son qui a été pendant de nombreuses années le standard de fait sur PC. Ces cartes son doivent actuellement lutter contre l'apparition de contrôleurs audio embarqués sur les cartes mères. Les drivers des cartes Creative sont peu ouverts : pas de support du dolby digital live concurrent de l'EAX, driver digne de leur DSP que pour les produits E-mu.
Littéral (programmation)En informatique, un littéral est une notation pour représenter une valeur fixe. Presque tous les langages de programmation ont des notations pour les valeurs atomiques telles que les entiers, les nombres à virgule flottante et les chaînes de caractères, et généralement pour les booléens et les caractères ; certains ont également des notations pour les éléments de types énumérés et les valeurs composées telles que les tableaux, les enregistrements et les objets. Une fonction anonyme est un littéral pour le type de fonction.
Structural proof theoryIn mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof, a kind of proof whose semantic properties are exposed. When all the theorems of a logic formalised in a structural proof theory have analytic proofs, then the proof theory can be used to demonstrate such things as consistency, provide decision procedures, and allow mathematical or computational witnesses to be extracted as counterparts to theorems, the kind of task that is more often given to model theory.
Analyse de la complexité des algorithmesvignette|Représentation d'une recherche linéaire (en violet) face à une recherche binaire (en vert). La complexité algorithmique de la seconde est logarithmique alors que celle de la première est linéaire. L'analyse de la complexité d'un algorithme consiste en l'étude formelle de la quantité de ressources (par exemple de temps ou d'espace) nécessaire à l'exécution de cet algorithme. Celle-ci ne doit pas être confondue avec la théorie de la complexité, qui elle étudie la difficulté intrinsèque des problèmes, et ne se focalise pas sur un algorithme en particulier.
Carte sonUne carte son est une carte d'extension permettant d'augmenter les capacités sonores d'un ordinateur. La principale fonction de cette carte est de générer des sons à l'aide d'un générateur de son programmable ou d'un convertisseur numérique-analogique, pour l'envoyer vers différents types de sorties (RCA, jack, TOSLINK). Un casque, des haut-parleurs ou tout autre élément d'une chaîne sonore pourra alors y être relié. Une carte son fournit généralement une ou plusieurs entrées permettant de brancher une source, telle qu'un microphone ou une entrée ligne.
Règle du produitEn analyse mathématique, la règle du produit, aussi appelée règle de Leibniz, est une formule utilisée afin de trouver les dérivées de produits de fonctions. Sous sa forme la plus simple, elle s'énonce ainsi : En notation de Leibniz, cette formule s'écrit : Une application importante de la règle du produit est la méthode d'intégration par parties. Soit la fonction définie par : Pour trouver sa dérivée avec la règle du produit, on pose et . Les fonctions , et sont partout dérivables car polynomiales.
Théorème de dérivation des fonctions composéesEn mathématiques, dans le domaine de l'analyse, le théorème de dérivation des fonctions composées (parfois appelé règle de dérivation en chaîne ou règle de la chaîne, selon l'appellation anglaise) est une formule explicitant la dérivée d'une fonction composée pour deux fonctions dérivables. Elle permet de connaître la j-ème dérivée partielle de la i-ème application partielle de la composée de deux fonctions de plusieurs variables chacune.
String interpolationIn computer programming, string interpolation (or variable interpolation, variable substitution, or variable expansion) is the process of evaluating a string literal containing one or more placeholders, yielding a result in which the placeholders are replaced with their corresponding values. It is a form of simple template processing or, in formal terms, a form of quasi-quotation (or logic substitution interpretation). The placeholder may be a variable name, or in some languages an arbitrary expression, in either case evaluated in the current context.
ParticipeEn grammaire, le participe est un mode du verbe qui lui donne les caractéristiques d'un adjectif. De ce fait, il « participe » à la fois d'une nature verbale et d'une nature de qualificatif. Dans les langues flexionnelles, il ne se conjugue pas mais peut se fléchir comme un adjectif, d'autant plus quand il accompagne un nom, avec lequel il peut s'accorder. En français, le participe passé s'accorde orthographiquement (par exemple chanté, -ée ; -és, -ées = « qui est chanté, -ée ; qui sont chantés, -ées ») mais pas le participe présent (chantant = qui chante).
Russian grammarRussian grammar employs an Indo-European inflexional structure, with considerable adaptation. Russian has a highly inflectional morphology, particularly in nominals (nouns, pronouns, adjectives and numerals). Russian literary syntax is a combination of a Church Slavonic heritage, a variety of loaned and adopted constructs, and a standardized vernacular foundation. The spoken language has been influenced by the literary one, with some additional characteristic forms.
Catégorie dérivéeLa catégorie dérivée d'une catégorie est une construction, originellement introduite par Jean-Louis Verdier dans sa thèse et reprise dans SGA 41⁄2, qui permet notamment de raffiner et simplifier la théorie des foncteurs dérivés. Elle a amené à plusieurs développements importants, ainsi que des reformulations élégantes par exemple de la théorie des D-modules et des preuves de la qui généralise le vingt-et-unième problème de Hilbert. En particulier, le langage des catégories dérivées permet de simplifier des problèmes exprimés en termes de suites spectrales.
Formule 1La Formule 1, communément abrégée en F1, est une discipline de sport automobile considérée comme la catégorie reine de ce sport. Elle a pris au fil des ans une dimension mondiale et elle est, avec les Jeux olympiques et la Coupe du monde de football, l'un des événements sportifs les plus médiatisés. Chaque année depuis , un championnat mondial des pilotes est organisé, complété depuis par un championnat mondial des constructeurs automobiles.
