Výsledky vyhledávání

Analyse formelle de concepts incertains pour l'analyse d'un questionnaire d'évaluation des enseignements

Autor: Petiot, G.

Publikováno v: Conférence Nationale en Intelligence Artificielle
Conférence Nationale en Intelligence Artificielle, Jul 2019, Toulouse, France

International audience; Mots Clef Analyse formelle de concepts, théorie des possibilités, trai-tement du langage naturel, réseaux de neurones, fouille de données. Abstract Formal Concept Analysis is an approach of data analysis. Several studies h

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1db9dd4d38b85fc65c3190b409935c68
https://hal.archives-ouvertes.fr/hal-02328765/file/cnia5.pdf

Zobrazit plný text záznamu

Par l’écriture

Autor: Conte-Marty, Natalie, Danon-Boileau, Laurent, Delefosse, J.M.O., Fauvin, Marie Santiago, Morel, M.A., Petiot, G., Pommier-Seintignan, M.A.

Réapprendre à lire et à produire des écrits est-il possible ? à quelles conditions ? De nombreux adolescents et adultes ont besoin d'apprendre à lire-écrire ou de réactiver ces activités mal apprises ou oubliées. Ce nouveau public d'apprena

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=openedition_::fa6a3492f2064143660ee34b7ff7bf0a
http://books.openedition.org/psn/830

Zobrazit plný text záznamu

Syntaxe, vocabulaire et écriture

Autor: Petiot, G.

L'objectif de la démarche présentée est de donner des moyens explicites, fondés sur le fonctionnement de la langue, de facilitation à l'écriture. 0 Cadre théorique On a choisi de rappeler et expliciter la grammaire de phrase, élément de la c

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=openedition_::26b58c43c48ad09013a8cf38f72f4e67
http://books.openedition.org/psn/856

Zobrazit plný text záznamu

Akademický článek

QUELQUES PROGRAMMES DE LINGUISTIQUE FRANÇAISE DANS LES UNIVERSITÉS

Autor: Meunier, A., Authier, J., Baumgartner, E., Caput, J.-P., Cottez, H., Duyé, A., Petiot, G., Arrivé, M., Delas, D., Dubois, J.

Publikováno v: Langue Française, 1972 May 01(14), 117-136.

Externí odkaz: https://www.jstor.org/stable/41557590

Zobrazit plný text záznamu

Your proof fails? Testing helps to find the reason

Autor: Petiot , G., Kosmatov , N., Botella , B., Giorgetti , A., Julliand , J.

Publikováno v: Lecture Notes in Computer Science
Lecture Notes in Computer Science, Springer, 2016, 9762, pp.130-150. ⟨10.1007/978-3-319-41135-4_8⟩
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9762, pp.130-150. 〈10.1007/978-3-319-41135-4_8〉
Lecture Notes in Computer Science, 2016, 9762, pp.130-150. ⟨10.1007/978-3-319-41135-4_8⟩

Applying deductive verification to formally prove that a program respects its formal specification is a very complex and time-consuming task due in particular to the lack of feedback in case of proof failures. Along with a non-compliance between the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f0434c1561744e04115ff588fa90fb91
https://hal-cea.archives-ouvertes.fr/cea-01808892

Zobrazit plný text záznamu