Recherche

Voici les résultats de votre recherche. Si vous n'avez pas trouvé ce que vous cherchiez, vous pouvez créer ou modifier la page correspondante à votre requête en cliquant sur le bouton approprié.

Résultats


Création de Types: 19 Occurrences trouvées
samedi : jour | dimanche : jour. Inductive fonction : Set := fid: fonction |fconst: R -> fonction |fsin: fonction |fcos: fonction |fexp: fonction |fplus: fonction -> fonction -> fonction |fmoins: fonction -> fonction -> fonction |fmult: fonction -> fonction -> fonction |fcomp: fonction -> fonction -> fonction . Ensuite, pour concretiser (interpréter) les fonctions, on interprèt
Méthodes Statistiques de Recherche de Motifs Biologiques: 15 Occurrences trouvées
séquences, en particulier les motifs à trous. La fonction de corrélation donne la probabilité qu'un motif a... pectre de puissance (transformée de Fourier de la fonction de corrélation) - transformation en ondelettes ==== Définition classique de la fonction de corrélation ==== Soit un mot //w// formé de n lettres ... I<sub>0</sub>I<sub>1</sub>...I<sub>n-1</sub>. La fonction de corrélation <jsm>A_{l,l\prime}\left(i\right)</
Structures de données: 10 Occurrences trouvées
nom de mois est un constructeur. Pour définir une fonction, il faut traiter chaque constructeur. Voici un exemple de définition d'une fonction par filtrage. Par convention commune avec langages, etc., %%|%% s... cembre => Janvier end. Pour "exécuter" cette fonction, on utilise ''eval compute in'': eval comput i... is_suivant Mars). Pour revoir le code de cette fonction, ''Print mois_suivant.''. Définissons une autre
Fondements de la programmation: 9 Occurrences trouvées
tive) l'énoncé prend la forme d'une définition de fonction récursive (le résultat est fonction des données).... priété. On peut en construire une en utilisant la fonction qui, à toute indice ''i'' associe le nombre d'élé... '' et d'indice inférieur ou égale à ''i''. Cette fonction, que l'on nommera //décale// est quasiment la mêm... le (i) | 0 | 1 | 1 | 1 | 1 | 2 | 2 | Ensuite, la fonction g() est définie à partir de la différence ''i - d
Fonctions numériques: 8 Occurrences trouvées
hbb{N}^k \rightarrow \mathbb{N} \$ * et une fonction \$ f: \mathbb{N}^k \rightarrow \mathbb{N} \$ ... ation === Ce type de définition convient pour la fonction modulo, le reste de la division euclidienne de m ... calculable * f<sub>k</sub> : k<sup>ième</sup> fonction primitive récursive ==== Proposition ==== Il ex... ==== Minimisation ==== Définition : Soit g une fonction \$\mathbb{N}^{k+1} \rightarrow \mathbb{N} \$. La
TPMovie (Projet): 7 Occurrences trouvées
ncts notés par U1 ou U2) * a) Implémenter la fonction Sim en java. * **__Solution__** : ajouter l... ote=1, alors on ignore F. //non inclus dans notre fonction.// ===== Question 4) Calcul d'une recommandation... s, mais pas encore noté par U. * Implémenter la fonction top5 en java. ==== Réponses ==== On veut recomm... rtinence des CentSimilaires qui l'avaient noté en fonction de la concordance ou pas des notes, éventuellemen
Tondeuse Robotique: 6 Occurrences trouvées
e meilleur algorithme par évolution artificielle. Fonction d'évaluation : % tondu (ou nb de cases restantes)... mutation, et ça influence le fonctionnement de la fonction d'évaluation (fitness). Notre choix est porté su... sition vers eux se révèlent désavantageuse. ==== Fonction de Fitness ==== La fonction de fitness "exécute"... s pour évaluer une génération: Trois voir Cinq en fonction du temps d'exécution (un n'étant pas suffisant),
5. Modèles Probabilistes de l'évolution des gènes et des génomes: 6 Occurrences trouvées
du modèle. - Déterminer la probabilité P(t) en fonction de la constante d'intégration c. - Calculer (exprimer) c en fonction de P(0). - Déterminer (exprimer) la probabilité P(t) en fonction de P(0) [au... + c</jsm> === Déterminer la probabilité P(t) en fonction de la constante d'intégration c. === * <jsm>P\... ^{-n\alpha t}</jsm> === Calculer (exprimer) c en fonction de P(0) === * <jsm>P\left(0\right) = \frac{1}{
II. Indécidabilité: 6 Occurrences trouvées
es. === Thèse === Un __algorithme__ traduit une fonction qu'on sait implanter avec une machine de Turing q... 1, **,** , (, ) \right\} </jsm> par sa table (ou fonction) de transition exprimée sous la forme d'une liste... l'état courant de M | ^ . \\ ^ > | codage de la fonction de transitions de M | On suit ces étapes : * ... ce avec "M" _ "w" sur le premier ruban (programme=fonction de transitions, blanc, données) * on recopie
Sémantique des Programmes Récursifs: 5 Occurrences trouvées
des programmes récursifs. Un programme récursif (fonction ou procédure) est récursivement associé à un nom.... limite comme le point fixe de F, c'est à dire une fonction x qui vérifie x = F(x). L'existence de cette limi... de E admet un plus petit majorant. Si F est une fonction croissante sur E (∀ x,y ∈ E, x ≤ y => F(x)≤F(y)) ... si n=i \\ non-déf. si n>i | Cette limite est la fonction définie pour tout i ∈ **//N//** par f(i) = i!. =
Les projets SI: 5 Occurrences trouvées
che de construction et de validation possible, en fonction des enjeux et impacts du système. Cette démarche... rticulières) Les besoins peuvent être révisés en fonction de l'avancement de la conception: par exemple pou... tème) Les documents de conception sont également fonction des "documentations intégrées" des différents dév... * pourrait être réalisée par le fournisseur : en fonction de ce que l'on en connait et de la maintenance vo
II. Sémantique d'un langage de programmation: 5 Occurrences trouvées
e point de vu, la sémantique d'un langage est une fonction de l'ensemble des énoncés sémantiquement corrects... ambiguë. La sémantique d'un langage est donc une fonction notée : FIXME : faut trouver les symboles dans ... <jsm>\left\{0, 1\right\} \in \mathbb{N}</jsm> Sa fonction sémantique est définie par (on notera) : * <jsm... domaine sémantique est <jsm>\mathbb{N}</jsm>. Sa fonction sémantique est définie par * <jsm>\left[\!| b |
Automates de Localisation: 5 Occurrences trouvées
du dictionnaire X ⊆ A<sup>*</sup> on introduit la fonction * h : A<sup>*</sup> -> Préf(X) définie par * ... e la forme (u, a, h(ua)) === Proposition === La fonction h satisfait les propriétés suivantes : - u ∈ A<... (X) étant complet, il est possible d'implanter sa fonction de transition par sa matrice de transition (algorithme non donné). ===== Automate avec fonction de suppléance ===== ===== Automate avec optimisatio
III. Preuves de correction des programmes: 4 Occurrences trouvées
programme trivial ''x:=1''. Sa sémantique est la fonction qui à tout état mémoire ''s'' associe (s|x->1). ... es. * l'énoncé P est interprété par * une fonction de transition notée δ(P) entre les états mémoire d'une machine abstraite. Cette fonction de transition est définie de la manière suivante. On not... sont identiques. Dans le cas de l'itération, la fonction de transition n'est pas toujours définie. Cette
V. Gestion de la table des symboles: 4 Occurrences trouvées
Réseaux de Neurones: 4 Occurrences trouvées
Tutoriel d'exploration de données: 4 Occurrences trouvées
TD Preuves : Types: 3 Occurrences trouvées
Currification: 3 Occurrences trouvées
Fonctions Récursives: 2 Occurrences trouvées
TD 2 : Analyse Syntaxique Descendante: 2 Occurrences trouvées
Rappels Coq: 2 Occurrences trouvées
Arbres de Décision: 2 Occurrences trouvées
II.4 Problèmes Indécidables: 2 Occurrences trouvées
Qu'est une Image: 2 Occurrences trouvées
Classification non-supervisé: 2 Occurrences trouvées
Election (1/2): 2 Occurrences trouvées
Définition: 1 Occurrences trouvées
c_et_c_def_7: 1 Occurrences trouvées
Ingénierie de la preuve: 1 Occurrences trouvées
charset: 1 Occurrences trouvées
Close by One: 1 Occurrences trouvées
I. Machines de Turing: 1 Occurrences trouvées
Les Systèmes en Production: 1 Occurrences trouvées
Échelonnement Multidimensionnel: 1 Occurrences trouvées
Algorithmes de recherche: 1 Occurrences trouvées
Oracle-based Lattice Construction: 1 Occurrences trouvées
Machine de Turing: 1 Occurrences trouvées
TD2 Remplissage: 1 Occurrences trouvées
FAIN TD 1: 1 Occurrences trouvées
Compilation: 1 Occurrences trouvées
III. Complexité: 1 Occurrences trouvées
Applications: 1 Occurrences trouvées
comment_debug: 1 Occurrences trouvées
Génération de code intermédiaire: 1 Occurrences trouvées
Analyse Lexicale: 1 Occurrences trouvées
Automate (ou machine) à états finis: 1 Occurrences trouvées
Introduction: 1 Occurrences trouvées
Motifs Biologiques: 1 Occurrences trouvées