Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese
|
Stratégies pour la réduction forteLanco, Antoine2023Sem texto completo |
|
2 |
Material Type: Imagem
|
Design de plan expérimental optimal : vers une approche basée sur la logique floueRousselle, Olivier ; Poli, Jean-Philippe ; Ben Abdallah, NadiaCepaduès 2023Sem texto completo |
|
3 |
Material Type: Tese
|
Corps de classes, formes modulaires, et formalisationNuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo2023Sem texto completo |
|
4 |
Material Type: Recurso Textual
|
Une approche générique à la vérification quantitativeFahrenberg, Uli ; Fahrenberg, Aline2023Sem texto completo |
|
5 |
Material Type: Tese
|
Bibliothèque certifiée en Coq pour la provenance des donnéesZucchini, Rébecca2023Sem texto completo |
|
6 |
Material Type: Recurso Textual
|
Dans l'air du temps : logiciel RBoutry, Sébastien2023Sem texto completo |
|
7 |
Material Type: Artigo
|
Deep Learning and Fuzzy Logic Based Intelligent Technique for the Image Enhancement and Edge Detection FrameworkJawdekar, Anand ; Dixit, ManishTraitement du signal, 2023-02, Vol.40 (1), p.351-359 [Periódico revisado por pares]Edmonton: International Information and Engineering Technology Association (IIETA)Texto completo disponível |
|
8 |
Material Type: Artigo
|
Vers une plateforme sémantique pour l'apprentissage adaptatif et collaboratif en ligneSabeima, Massra ; Lamolle, Myriam ; Anghour, Azziz ; Nanne, Mohamedade FaroukRevue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2023-01, Vol.37 - 2022 [Periódico revisado por pares]African Society in Digital ScienceSem texto completo |
|
9 |
Material Type: Ata de Congresso
|
Vers une traduction de K en DeduktiLedein, Amélie ; Blot, Valentin ; Dubois, CatherineJFLA 2022 - Journées Francophones des Langages Applicatifs, 2023Schloss Dagstuhl - Leibniz-Zentrum für InformatikSem texto completo |
|
10 |
Material Type: Tese
|
La logique des incohérences : un modèle formel pour l'analyse de l'erreur humaineFouillard, Valentin2022Sem texto completo |