Zobrazeno 1 - 10
of 140
pro vyhledávání: '"Programmation logique"'
Autor:
Popineau, Fabrice
Publikováno v:
Environnements Informatiques pour l'Apprentissage Humain. Université Paris-Saclay, 2023. Français. ⟨NNT : 2023UPASG001⟩
We present here a body of works dealing with learner adaptation in Technology Enhanced Learning (TLE) platforms. These works are based on a classical approach of artificial intelligence, essentially grounded on logic and an agent approach. We develop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::b7e5004f9b79cdd1cfb16f17755b840a
https://theses.hal.science/tel-04047319/document
https://theses.hal.science/tel-04047319/document
Autor:
Jedwabny, Martin
Publikováno v:
Artificial Intelligence [cs.AI]. Université de Montpellier, 2022. English. ⟨NNT : 2022UMONS059⟩
Machine ethics is an uprising sub-field of artificial intelligence fueled by the interest and concerns about the deployment of automated agents in our everyday life. As these agents gain independence from human intervention and make decisions with po
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c38549984d1cadead99e81b4384c4e43
https://hal.science/tel-03923321
https://hal.science/tel-03923321
Autor:
Iovene, Valentin
Publikováno v:
Bioinformatics [q-bio.QM]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG099⟩
This thesis contributes to the development of a probabilistic logic programming language specific to the domain of cognitive neuroscience, coined NeuroLang, and presents some of its applications to the meta-analysis of the functional brain mapping li
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::e60beef9c1e47a9c8d0e62efe0f3e36c
https://theses.hal.science/tel-03653150/document
https://theses.hal.science/tel-03653150/document
Autor:
Razzaq, Misbah
Les voies de signalisation canoniques traditionnelles aident à comprendre l'ensemble des processus de signalisation à l'intérieur de la cellule. Les données phosphoprotéomiques à grande échelle donnent un aperçu des altérations entre différ
Externí odkaz:
http://www.theses.fr/2018ECDN0048/document
Autor:
Razzaq, Misbah
Publikováno v:
Bioinformatics [q-bio.QM]. École centrale de Nantes, 2018. English. ⟨NNT : 2018ECDN0048⟩
Traditional canonical signaling pathways help to understand overall signaling processes inside the cell. Large scale phosphoproteomic data provide insight into alterations among different proteins under different experimental settings. Our goal is to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::f8f144889e8ad434fe4ada84d64e8090
https://tel.archives-ouvertes.fr/tel-02021019/document
https://tel.archives-ouvertes.fr/tel-02021019/document
Autor:
Frioux, Clémence
La biologie des systèmes intègre données et connaissances par des méthodes bioinformatiques, afin de mieux appréhender la physiologie des organismes. Une problématique est l’applicabilité de ces techniques aux organismes non modèles, au cen
Externí odkaz:
http://www.theses.fr/2018REN1S058/document
Apport des ontologies de domaine pour l'extraction de connaissances à partir de données biomédicales
Autor:
Personeni, Gabin
Le Web sémantique propose un ensemble de standards et d'outils pour la formalisation et l'interopérabilité de connaissances partagées sur le Web, sous la forme d'ontologies. Les ontologies biomédicales et les données associées constituent de n
Externí odkaz:
http://www.theses.fr/2018LORR0235/document
Autor:
Anne Toulet, Roux, Emmanuel, Laques, Anne-Elisabeth, Delaitre, Eric, Demagistri, Laurent, Mougenot, Isabelle
Publikováno v:
17ème conférence Extraction et Gestion des Connaissances
EGC: Extraction et Gestion des Connaissances
EGC: Extraction et Gestion des Connaissances, Jan 2017, Grenoble, France
HAL
EGC 2017. Revue des Nouvelles Technologies de l'Information vol.RNTI-E-33
Revue des Nouvelles Technologies de l'Information
CIRAD
EGC: Extraction et Gestion des Connaissances
EGC: Extraction et Gestion des Connaissances, Jan 2017, Grenoble, France
HAL
EGC 2017. Revue des Nouvelles Technologies de l'Information vol.RNTI-E-33
Revue des Nouvelles Technologies de l'Information
CIRAD
National audience; Nous présentons ici une méthode originale pour l’automatisation de la détection de paysages dans une image satellite. Deux enjeux majeurs apparaissent dans ce processus. Le premier réside dans la faculté à prendre en compte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::36a552b9f86c27e8c8115f6f9daaab4a
https://hal.archives-ouvertes.fr/hal-01464947/file/EGC-paper85.pdf
https://hal.archives-ouvertes.fr/hal-01464947/file/EGC-paper85.pdf
Autor:
Tsouanas, Athanasios
Cette thèse s’intéresse à la sémantique dénotationnelle (en théorie desmodèles et en théorie des jeux) de quatre langages de programmation logique: - LP, le plus restrictif de tous, - DLP, une extension de LP aux disjonctions, - LPN, une ex
Externí odkaz:
http://www.theses.fr/2014ENSL0919
Autor:
Tka, Mouna
Ce travail de thèse, effectué dans la cadre du projet FUI Minalogic Bluesky, porte sur le test fonctionnel automatisé d'une classe particulière de contrôleurs logiques programmables (em4) produite par InnoVista Sensors. Ce sont des systèmes syn
Externí odkaz:
http://www.theses.fr/2016GREAM020/document