Informatique théoriquevignette|Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. C'est une branche de la science informatique et la science formelle. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique.
Expérimentation animaleL’expérimentation animale consiste à utiliser des animaux comme substituts ou « modèles » pour mieux comprendre la physiologie d'un organisme et ses réponses à divers facteurs (alimentation, environnement, agents pathogènes) ou substances (pour en tester, vérifier ou évaluer l'efficacité, l'innocuité ou la toxicité). Il s'agit généralement de tenter de prévoir ce qui se passe chez l'espèce humaine sans exposer de personnes humaines aux risques, aux contraintes et aux souffrances (douleurs et/ou stress) susceptibles d'être générées par les expérimentations.
Problème de satisfaction de contraintesLes problèmes de satisfaction de contraintes ou CSP (Constraint Satisfaction Problem) sont des problèmes mathématiques où l'on cherche des états ou des objets satisfaisant un certain nombre de contraintes ou de critères. Les CSP font l'objet de recherches intenses à la fois en intelligence artificielle et en recherche opérationnelle. De nombreux CSP nécessitent la combinaison d'heuristiques et de méthodes d'optimisation combinatoire pour être résolus en un temps raisonnable.
Équation aux dérivées partiellesEn mathématiques, plus précisément en calcul différentiel, une équation aux dérivées partielles (parfois appelée équation différentielle partielle et abrégée en EDP) est une équation différentielle dont les solutions sont les fonctions inconnues dépendant de plusieurs variables vérifiant certaines conditions concernant leurs dérivées partielles. Une EDP a souvent de très nombreuses solutions, les conditions étant moins strictes que dans le cas d'une équation différentielle ordinaire à une seule variable ; les problèmes comportent souvent des conditions aux limites qui restreignent l'ensemble des solutions.
Force (physique)Une force modélise, en physique classique, une action mécanique exercée sur un objet ou une partie d'un objet par un autre objet ou partie d'objet. L'ensemble des forces appliquées à un objet a pour effet de lui communiquer une accélération ou de le déformer. Introduit antérieurement , le concept de force a été précisé en 1684 par Isaac Newton, qui en a fait l'un des fondements de la mécanique newtonienne. Le concept de force est ancien, mais il a mis longtemps à obtenir une nouvelle définition utilisable.
Fonction partiellevignette|Exemple d'une fonction partielle En mathématiques, une fonction partielle (quelquefois appelée simplement fonction) sur un ensemble donné E est une application définie sur une partie de celui-ci, appelé ensemble de définition (ou domaine de définition) de la fonction partielle.
Ichnitevignette|redresse=1.8|Les ichnites sont répertoriées, dessinées, mesurées et orientées. La longueur totale de ces empreintes tridactyles avec griffes, l'écartement entre les extrémités des doigts, le dépassement d'un doigt, différents rapports entre ces longueurs, l'analyse de la piste liée à la posture de l'animal, permettent de déterminer, en l'absence de fossile osseux sur le site et après comparaison statistique à des bases de données d'empreintes, l'ichnotaxon représenté par les traces.
Force de CoriolisLa force de Coriolis est une force inertielle agissant perpendiculairement à la direction du mouvement d'un corps en déplacement dans un milieu (un référentiel) lui-même en rotation uniforme, tel que vu par un observateur partageant le même référentiel. Cette « force » est nommée ainsi en l'honneur de l'ingénieur français Gaspard-Gustave Coriolis. Elle n'est pas une « force » au sens strict, soit l'action d'un corps sur un autre, mais plutôt une force fictive résultant du mouvement non linéaire du référentiel lui-même.
PrimatesLes Primates () – du latin la, signifiant – constituent un ordre de mammifères placentaires. Ce clade regroupe les petits singes et les grands anthropoïdes, ainsi que les espèces de Strepsirrhiniens comme les lémuriens. Selon la classification phylogénétique actuelle, ils sont regroupés dans le clade intermédiaire des Euarchontoglires avec les lapins, Tupaiidae ou Dermoptera.
Équation aux dérivées partielles hyperboliqueEn mathématiques, un problème hyperbolique ou équation aux dérivées partielles hyperbolique est une classe d'équations aux dérivées partielles (EDP) modélisant des phénomènes de propagation, émergeant par exemple naturellement en mécanique. Un archétype d'équation aux dérivées partielles hyperbolique est l'équation des ondes : Les solutions des problèmes hyperboliques possèdent des propriétés ondulatoires. Si une perturbation localisée est faite sur la donnée initiale d'un problème hyperbolique, alors les points de l'espace éloignés du support de la perturbation ne ressentiront pas ses effets immédiatement.
Feasible regionIn mathematical optimization, a feasible region, feasible set, search space, or solution space is the set of all possible points (sets of values of the choice variables) of an optimization problem that satisfy the problem's constraints, potentially including inequalities, equalities, and integer constraints. This is the initial set of candidate solutions to the problem, before the set of candidates has been narrowed down.
ExternalitéL'externalité caractérise le fait qu'un agent économique crée, par son activité, un effet externe en procurant à autrui, sans contrepartie monétaire, une utilité ou un avantage de façon gratuite, ou au contraire une nuisance, un dommage sans compensation (coût social, coût écosystémique, pertes de ressources pas, peu, difficilement, lentement ou coûteusement renouvelables...).
