Partial evaluationIn computing, partial evaluation is a technique for several different types of program optimization by specialization. The most straightforward application is to produce new programs that run faster than the originals while being guaranteed to behave in the same way. A computer program prog is seen as a mapping of input data into output data: where , the static data, is the part of the input data known at compile time. The partial evaluator transforms into by precomputing all static input at compile time.
Test suiteIn software development, a test suite, less commonly known as a validation suite, is a collection of test cases that are intended to be used to test a software program to show that it has some specified set of behaviors. A test suite often contains detailed instructions or goals for each collection of test cases and information on the system configuration to be used during testing. A group of test cases may also contain prerequisite states or steps, and descriptions of the following tests.
Pivignette|Si le diamètre du cercle est 1, sa circonférence est π. π (pi), appelé parfois constante d’Archimède, est un nombre représenté par la lettre grecque du même nom en minuscule (π). C’est le rapport constant de la circonférence d’un cercle à son diamètre dans un plan euclidien. On peut également le définir comme le rapport de l'aire d'un disque au carré de son rayon. Sa valeur approchée par défaut à moins de 0,5×10 près est en écriture décimale.
Professeur (titre)right|thumb|Classe à l'université vers 1350, qui illustre le Professeur exécutant la lectio (lecture) sur sa chaire universitaire. Professeur ou professeure, souvent noté Pr ou Prof., est un terme utilisé comme un titre académique lié à l'histoire des universités. Il trouve ses origines dans les titulaires d'une chaire universitaire, ainsi amené à professer leurs savoirs à la manière des archevêques qui professaient depuis leur chaire ecclésiastique. Il qualifie un expert qui étudie, professe et débat de connaissances dans un art ou une science.
Pression statiqueLa pression statique, dans un fluide en mouvement, est la pression que mesure un capteur qui se déplace à la même vitesse que le fluide. Il s'agit de la pression thermodynamique, c.-à-d. la mesure du déplacement purement aléatoire des molécules du fluide. C'est de cette pression statique que découle les propriétés de densité du fluide pour une température donnée, et vice versa (voir loi des gaz parfaits). La pression statique ne doit pas être confondue avec la pression dynamique exercée sur un objet par un fluide en mouvement et qui est due au mouvement de ce fluide autour de cet objet.
Équation aux dérivées partielles elliptiqueEn mathématiques, une équation aux dérivées partielles linéaire du second ordre, dont la forme générale est donnée par : est dite elliptique en un point donné x de l'ouvert U si la matrice carrée symétrique des coefficients du second ordre admet des valeurs propres non nulles et de même signe. En physique, les équations de Laplace, et de Poisson pour le potentiel électrostatique respectivement dans le vide et pour la distribution de charges sont de type elliptique.
NVM Expressthumb|Logo de NVM Express thumb|Carte NVMe de NVM Express (de l'anglais Non-Volatile Memory, on le trouve aussi de façon abrégée NVMe) est une spécification d'interface permettant à un ordinateur d'accéder à un périphérique de stockage permanent à travers un bus PCI Express. Il s'agit de donner l'accès de façon performante à la mémoire flash sans passer par le protocole disque SCSI et donc avec un temps d'accès réduit et une charge moindre pour le processeur.
Conditions normales de température et de pressionLes conditions normales de température et de pression (parfois abrégé CNTP) sont des conditions pratiques, en partie arbitraires, d'expérimentation et de mesure en laboratoire en physique et en chimie. Elles permettent des comparaisons commodes entre résultats expérimentaux. Les conditions les plus usuelles fixent la température normale à () et la pression normale à ( = ), soit la pression atmosphérique moyenne au niveau de la mer. D'autres définitions sont toutefois aussi usitées.
Équation de Pell-Fermatthumb|Pierre de Fermat (1601-1665) affirme que l'équation de Pell-Fermat possède toujours une infinité de solutions si m = ±1, sans savoir que Bhāskara II (1114-1185) avait fait de même. En mathématiques et plus précisément en arithmétique, l'équation de Pell-Fermat est une équation diophantienne polynomiale quadratique. Si n est un entier positif qui n'est pas un carré parfait et m un entier non nul, l'équation prend la forme suivante : Les solutions recherchées sont les solutions telles que x et y soient des valeurs entières.
Fraction continue généraliséeEn mathématiques, une fraction continue généralisée est une expression de la forme : comportant un nombre fini ou infini d'étages. C'est donc une généralisation des fractions continues simples puisque dans ces dernières, tous les a sont égaux à 1. Une fraction continue généralisée est une généralisation des fractions continues où les numérateurs et dénominateurs partiels peuvent être des complexes quelconques : où an (n > 0) sont les numérateurs partiels et les bn les dénominateurs partiels.
