Résultats de la recherche

...s robots mobiles, grâce à des [[capteur]]s embarqués permettant de mesurer le déplacement du [[robot]] (de ses roues). ...se sur la mesure individuelle des déplacements des roues pour reconstituer le mouvement global du robot. En partant d'une position initiale connue et en ...

...elch''' est un [[algorithme]] utilisé pour réestimer les paramètres d'un [[modèle de Markov caché]]. Il utilise l'[[algorithme forward-backward]] et porte le ...m-Welch est un algorithme itératif, qui permet d'estimer les paramètres du modèle qui maximisent la probabilité d'une séquence d'observables. ...

...de = Schéma représentant la différence entre un modèle discriminatif et un modèle génératif. ...nce.com/generative-vs-2528de43a836 |site=Medium |date=2020-04-05 |consulté le=2020-08-04}}</ref>. ...

...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>. ...

...ul, tout comme les [[Machine de Turing|machines de Turing]] et le [[lambda-calcul]]. Une URM est [[turing-complet|Turing-complète]]. Un programme pour cette machine est représenté par toute suite de la forme : ...

Les méthodes d'estimation spectrale paramétriques utilisent un modèle pour obtenir une estimation du spectre. Ces modèles reposent sur une connaissanc # Choisir un modèle décrivant le processus de manière appropriée. ...

[[Fichier:DiaramRicker.png|vignette|Diagramme de bifurcation du modèle de Ricker avec une [[capacité biotique]] de 1000.]] ...lation. Il est nommé d'après [[Bill Ricker]] et a été formulé en 1954 dans le cadre de l'étude de la dynamique des stocks de poissons et la gestion des [ ...

...Le calcul se base sur les ''observations'', qui sont des informations sur le comportement. ...''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 : ...es calculs (on considère que les [[Électron de cœur|électrons de cœur]] et le [[Noyau atomique|noyau]] forment un noyau effectif) ...

...é principalement dans les sciences halieutiques et la gestion des pêches. Le concept peut aussi être rendu par '''production maximale équilibrée''', ''' ...[[modèle de Verhulst]]. Le rendement équilibré maximal est atteint lorsque le taux d’exploitation équivaut au surplus de biomasse au moment où la taille ...

...oiement universel consiste à s’appuyer sur l’existence d’une telle machine pour démontrer des propriétés en [[théorie de la calculabilité]]<ref name=":0">{ ...ation des autres machines. Le schéma classique pour régler ce problème est le suivant<ref name=":0" /> : ...

La modélisation la plus simple est de considérer que <math> \nu_t=cte</math>. Le domaine d'application de cette loi est limité à certains écoulements en can ...ide, <math>Re</math> est le [[nombre de Reynolds]] et <math>f_D</math> est le coefficient de [[perte de charge]] de Darcy de l'[[équation de Darcy-Weisba ...

...métrique''' est une technique de l'[[automatique]] consistant à obtenir un modèle mathématique d'un système à partir de mesures. ...une réalité physique dans ce cas. L'identification peut se faire soit dans le temps (espace temporel), soit en fréquence ([[Transformée de Laplace|espace ...

En [[logique classique|logique]], le '''théorème de Herbrand''', publié en 1930 par [[Jacques Herbrand]], établi ...a formule donnée est prouvable (pour certaines formules non prouvables, le calcul ne s'arrête pas). ...

En [[Calcul des prédicats|logique du premier ordre]], une '''Structure de Herbrand''' ' L''<nowiki/>'Univers de Herbrand'' sert d'univers pour les ''Structures de Herbrand''. ...

...jonction de l'adjectif ''classique'' au terme ''logique''. À cette époque, le terme de ''logique classique'' fait référence à la [[logique aristotélicien ...nniste, exprimés dans le formalisme du [[calcul des propositions]] ou du [[calcul des prédicats]] : ...

...ttp://www.sciencedirect.com/science/article/pii/S0378475400002706|consulté le=2016-10-21|pages=271–280}}</ref>. ...{{ind|''i''}}, ''i''∈⟦1,''n''⟧}} la variable aléatoire {{Formule|''Y''}} . Le {{Formule|''i''}}{{exp|ème}} {{terme défini|indice de sensibilité de premie ...

Une '''régression non linéaire''' consiste à ajuster un modèle, en général non linéaire, pour un ensemble de valeurs (''x_i'', ''y_i'')<sub>1 ≤ ''i'' ...

...hamp électrique <math>\vec E </math> utilisé est suffisamment faible ou si le diélectrique en question est [[isotrope]], la polarisation <math>\vec P </m ...il s'agit d'une relation de [[proportionnalité]]. Il permet d'interpréter le phénomène de [[réfraction]] : en effet, la susceptibilité est reliée, d'apr ...