نتایج جستجو برای: soit dans le cadre universitaire enseignement formel
تعداد نتایج: 158986 فیلتر نتایج به سال:
We investigate the problem of dynamic discovery of e-services, important in the loosely coupled vision of e-commerce. We show that it can be viewed as a new important reasoning technique in Description Logics: it can be viewed as a new instance of the problem of rewriting concepts using terminologies which generalizes problems such as rewriting queries using views or minimal rewriting using ter...
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
L'infarctus rénal post-traumatique est une complication rarement décrite dans la littérature. Jeune patient de 38 ans sans antécédents pathologiques notables, admis au service des urgences pour prise en charge d'un traumatisme grave suite à un accident de la voie publique par choc direct contre le tableau de bord de voiture avec mécanisme de décélération brutale dans le plan horizontal. A l'adm...
Les arbres sont principalement la structure de donnée utilisés pour stocker des données ordonnées et d’après Knuth la plus importante structure non-linéaire intervenant dans l’informatique. Ils sont très utilisés dans tous les domaines, parce que bien adaptés à la représentation naturelle d’information organisée homogène, et d’une grande rapidité et commodité de manipulation. On trouve cette st...
Soit $k$ un corps ultrametrique complet, $L$ une extension galoisienne finie moderement ramifiee de et $X$ espace $k$-analytique. Nous montrons que est isomorphe a $k$-polydisque ferme (resp. $k$-dentelle) si seulement $X_L$ $L$-polydisque $L$-dentelle) sur lequel l'action $\Gal(L/k)$ raisonnable. $k$-bidisque $L$-bidisque ferme. Dans le cadre l'algebre graduee: on calcule premier ensemble poin...
Résumé. Cet article présente deux modes de représentation de l’information dans le cadre d’une problématique en sciences du vivant. Le premier, appliqué à la microbiologie prévisionnelle, s’appuie sur deux formalismes, le modèle relationnel et les graphes conceptuels, interrogés uniformément via une même interface. Le second, appliqué aux technologies des céréales, utilise le seul modèle relati...
1. Pendant quatre ans le groupe de recherche linguistique du C N U C E a produit un dictionnaire automatique de la langue italienne, c'est-fi-dire tree liste de toutes les formes, lemmatis~es et enregistr~es sur m~moire p6riphdrique. Pour cette production on a employS: a) une liste d'entr~es d6crites soit sous raspect lexical, soit sous l'aspect .morphologique; b) des programmes de flexion port...
Résumé. Nous présentons dans cet article un algorithme inductif semi-supervisé pour la tâche d’ordonnancement bipartite. Les algorithmes semi–supervisés proposés jusqu’à maintenant ont été étudiés dans le cadre strict de la classification. Récemment des travaux ont été réalisés dans le cadre transductif pour étendre les modèles existants en classification au cadre d’ordonnancement. L’originalit...
henri-alban fournier (dit alain-fournier) est né le 3 octobre 1886 à la chapelle- dangillon dans le cher. il a passé son enfance en sologne et en bas-berry où ses parents étaient instituteurs. il a poursuivi des études secondaires au lycée lakanal, à sceaux, près de paris, où il a préparé sans succès le concours d’entrée à l’ecole normale supérieure. mobilisé dès la déclaration de guerre, en ao...
Résumé. Dans cet article, nous montrons comment les techniques de fouilles de données peuvent résoudre efficacement le problème de la réécriture de requêtes en termes de vues en présence de contraintes de valeurs. A partir d’une formalisation du problème de la réécriture dans le cadre de la logique de description ALN (Ov), nous montrons comment ce problème se rattache à un cadre de découverte d...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید