Jean-Christophe Cavallin, Chateaubriand cryptique ou Les Confessions mal faites
نویسندگان
چکیده
منابع مشابه
Découverte d'abstractions dans les modèles, les programmes ou les architectures
— MOTS-CLÉS : Découverte d’abstractions, Analyse Formelle de Concepts, Analyse Relationnelle de Concepts, ingénierie des modèles, diagrammes de classes, composants, architectures
متن کاملRéutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne
D’années en années, le succès des approches basées sur SAT dans de nombreux domaines a contribué à la création de solveurs SAT robustes, efficaces, et pensés pour être réutilisables dans des applications tierces. Dans de nombreux cas, ces applications utilisent l’interface incrémentale des prouveurs SAT proposée par Minisat, qui leur permet d’utiliser les solveurs SAT comme des boites noires, c...
متن کاملClassification multi-labels graduée: Apprendre les relations entre les labels ou limiter la propagation derreur ?
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملUsages prescrits ou annoncés, usages observés. Réflexions sur les usages scolaires du numérique par les enseignants
The use of ICT for Education is an extremely complex issue that can and should be analyzed from different perspectives. This article does not intend to cover all of them but, instead, try to address only some of them by developing a high level view showing the contradictions that characterize different official statements and stressing some educational paradoxes. The article describes the Frenc...
متن کاملSUR LES TYPES D'HOMOTOPIE MODÉLISÉS PAR LES ∞-GROUPOÏDES STRICTS À la mémoire de Jean-Louis Loday
Résumé. L'objet de ce texte est l'étude de la classe des types d'homotopie qui sont modélisés par les ∞-groupoïdes stricts. Nous démontrons que la catégorie homotopique des ∞-groupoïdes stricts simplement connexes est équivalente à la catégorie dérivée en degré homologique d ≥ 2 des groupes abéliens. Nous en déduisons que les types d'homotopie simplement connexes modélisés par les ∞-groupoïdes ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studi Francesi
سال: 2005
ISSN: 0039-2944,2421-5856
DOI: 10.4000/studifrancesi.36332