Model-based testingvignette|Diagramme du model-based testing Le model-based testing (MBT) est une activité qui permet de concevoir et de dériver (de manière automatique ou non) des cas de tests à partir d'un modèle abstrait et haut niveau du système sous test (SUT). Le modèle est dit abstrait car il offre bien souvent une vue partielle et discrète des comportements attendus d'un logiciel ou d'un système. Sur la base de modèles abstraits, des cas de test peuvent être dérivées sous la forme de suites de tests.
Énergie interneL’énergie interne d’un système thermodynamique est l'énergie qu'il renferme. C'est une fonction d'état extensive, associée à ce système. Elle est égale à la somme de l’énergie cinétique de chaque entité élémentaire de masse non nulle et de toutes les énergies potentielles d’interaction des entités élémentaires de ce système. En fait, elle correspond à l'énergie intrinsèque du système, définie à l'échelle microscopique, à l'exclusion de l'énergie cinétique ou potentielle d'interaction du système avec son environnement, à l'échelle macroscopique.
PsychochirurgieLa psychochirurgie ou neurochirurgie pour des troubles mentaux est l'ensemble des techniques neurochirurgicales qui ont pour objet de traiter des maladies mentales. Une des techniques les plus connues de psychochirurgie est la lobotomie mais, plus récemment, elle a aussi été utilisée pour des troubles obsessionnels compulsifs (TOC) (stimulation cérébrale profonde) avec des succès discutés. La psychochirurgie a toujours été un domaine médical controversé.
Surface minimaleEn mathématiques et en physique, une surface minimale est une surface minimisant son aire tout en réalisant une contrainte : un ensemble de points, ou le bord de la surface, est d'avance déterminé. Si un cerceau est retiré d'une bassine d'eau savonneuse, un disque de liquide reste fixé. Un souffle dessus déforme légèrement le disque en une calotte sphérique. Si l'étude fait appel à la mécanique des fluides, le traitement mathématique utilise le langage des surfaces minimales.
Carré latinvignette|Example of TAQ algorithm Un carré latin est un tableau carré de n lignes (donc de n colonnes) remplies de n éléments distincts dont chaque ligne et chaque colonne ne contient qu'un seul exemplaire. L'exemple historique du carré latin est le carré Sator ; la construction de telles curiosités combinatoires se transpose facilement à l'arithmétique en substituant un nombre à une lettre : la plupart du temps, les n éléments utilisés sont les entiers compris entre 0 et n-1.
Temps newtonienEn physique, le temps newtonien définit un temps absolu qui est le même en tout point de l'Univers et indifférent au mouvement. Il a été introduit par Isaac Newton en 1687 dans ses Principia Mathematica. En 1905, Albert Einstein démontre que le temps physique n'est pas newtonien. L'idée essentielle est que le temps newtonien n'est plus un paramètre unicursal. Cela signifie que changer d'échelle de grandeur temps par une fonction t' = f(t) ne demande pour la vitesse qu'un changement V' = V/f'(t), ce qui est simplement l'expression naturelle d'un changement d'unités.
Test FEn statistique, un test F est un terme générique désignant tout test statistique dans lequel la statistique de test suit la loi de Fisher sous l'hypothèse nulle. Ce type de tests est souvent utilisé lors de la comparaison de modèles statistiques qui ont été ajustés sur un ensemble de données, afin d'identifier le modèle qui correspond le mieux à la population à partir de laquelle les données ont été échantillonnées. Les tests F dits "exacts" sont ceux pour lesquels les modèles ont été ajustés aux données par la méthode des moindres carrés.
