Résultats de la recherche

...[[capteur]]s embarqués permettant de mesurer le déplacement du [[robot]] (de ses roues). === Modèle de déplacement === ...

...ov caché]]. Il utilise l'[[algorithme forward-backward]] et porte les noms de Leonard E. Baum et {{Lien|Lloyd Welch}}. L'algorithme de Baum-Welch est un cas particulier d'une généralisation de l'[[algorithme espérance-maximisation]] (GEM). ...

...de = Schéma représentant la différence entre un modèle discriminatif et un modèle génératif. ...obabilité <math>P(Y)</math> puis d'utiliser la [[Théorème de Bayes|formule de Bayes]] pour calculer la probabilité <math>P(Y|X)</math><ref>{{Lien web |la ...

...quantifiée. Il existe deux façons de valider une formule <math>P</math> du calcul des propositions : *ou bien on montre que cette formule est vraie dans tout modèle (voir ci-dessous). On dit alors que <math>P</math> est une '''[[Tautologie ...

...n œuvre|intégrées]] dans des [[logiciel]]s de [[Méthode des éléments finis|calcul par éléments finis]] traitant la viscoélasticité. ...comportement mécanique purement élastique ; loi de [[Robert Hooke|Hooke]] (modèle mathématique) <math>\sigma = E \ \varepsilon</math>. ...

...fonctions et aux relations dont on dispose sur <math>\mathbb{R}</math>. Ce modèle a été proposé par [[Stephen Smale]], [[Michael Shub]] et [[Lenore Blum]] en En pratique, on ne munit pas les machines BSS de toutes les opérations possibles sur les réels. Au contraire, on s'intéresse ...

...ul, tout comme les [[Machine de Turing|machines de Turing]] et le [[lambda-calcul]]. Une URM est [[turing-complet|Turing-complète]]. Les [[registre (informatique)|registres]] de la machine sont représentés par : ...

...e''' regroupe toutes les techniques d'estimation de la [[densité spectrale de puissance]] (DSP). Les méthodes d'estimation spectrale paramétriques utilisent un modèle pour obtenir une estimation du spectre. Ces modèles reposent sur une connai ...

...iagramme de bifurcation du modèle de Ricker avec une [[capacité biotique]] de 1000.]] ...a été formulé en 1954 dans le cadre de l'étude de la dynamique des stocks de poissons et la gestion des [[Pêcherie|pêcheries]]. ...

...sont fautives et de quels types de dysfonctionnements elles souffrent. Le calcul se base sur les ''observations'', qui sont des informations sur le comporte ...''diagnostic'' fait également référence au calcul ainsi qu'au résultat du calcul. Ce terme vient du domaine médical où un [[Diagnostic (médecine)|diagnostic ...

...s de manière à réduire ce nombre d'intégrales et ainsi alléger le temps de calcul. Ces approximations sont les suivantes : ...tement dans les calculs (on considère que les [[Électron de cœur|électrons de cœur]] et le [[Noyau atomique|noyau]] forment un noyau effectif) ...

...taux d’exploitation équivaut au surplus de biomasse au moment où la taille de la population est à un niveau où sa croissance est maximale. == Calcul du rendement équilibré maximal == ...

...l’existence d’une telle machine pour démontrer des propriétés en [[théorie de la calculabilité]]<ref name=":0">{{Ouvrage|langue=français|prénom1=Akim|nom ...nes qui [[boucle infinie|bouclent indéfiniment]] et empêchent le déployeur de passer à la simulation des autres machines. Le schéma classique pour régler ...

...r-Stokes]] moyennée fait apparaître un terme supplémentaire appelé tenseur de Reynolds. Sa valeur est homogène à une contrainte et l'on peut écrire ...newtonien]], [[Joseph Boussinesq]] a proposé en 1877 de relier ce tenseur de Reynolds au champ moyen des vitesses avec la relation suivante : ...

...atique]] consistant à obtenir un modèle mathématique d'un système à partir de mesures. ...emps (espace temporel), soit en fréquence ([[Transformée de Laplace|espace de Laplace]]). ...

{{confusion|Théorème de Herbrand-Ribet}} ...premier ordre se ramène à la validité (ou prouvabilité) d'un ensemble fini de [[Formule propositionnelle|formules propositionnelles]]. ...

...u à des [[Prédicat (logique mathématique)|prédicats]]. Elles étendent le [[calcul des prédicats]]. ...es fonctions ou prédicats. On peut doter le système formel d'un mécanisme de [[typage]] qui restreint la nature des objets donnés en argument d'un prédi ...

...iquement par les propriétés syntaxiques de σ. L'idée étant de se contenter de prendre les symboles des [[Terme (logique)|termes]] comme leurs valeurs. Ai Les structures de Herbrand jouent un rôle important dans les fondations de la [[programmation logique]]<ref>{{Lien web |titre=Herbrand Semantics |url= ...

...sation mathématique | année = 1911 | périodique = Revue de métaphysique et de morale | lire en ligne = https://gallica.bnf.fr/ark:/12148/bpt6k11123b/f70} ...nniste, exprimés dans le formalisme du [[calcul des propositions]] ou du [[calcul des prédicats]] : ...

...es, et aujourd'hui est vue comme une généralisation de la [[correspondance de Curry-Howard]]. ...mmes qui étant donné une entrée de type <math>A</math> rendent un résultat de type <math>A</math>. ...