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é.
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éessé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éesnom 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éestive) 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éeshbb{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éesncts 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éese 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éeses.
=== 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éesdes 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éesche 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éese 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éesdu 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éesprogramme 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