Zobrazeno 1 - 10
of 2 368
pro vyhledávání: '"Jacques, D"'
Autor:
DeLong, Lauren Nicole, Gadiya, Yojana, Galdi, Paola, Fleuriot, Jacques D., Domingo-Fernández, Daniel
Neurosymbolic (NeSy) artificial intelligence describes the combination of logic or rule-based techniques with neural networks. Compared to neural approaches, NeSy methods often possess enhanced interpretability, which is particularly promising for bi
Externí odkaz:
http://arxiv.org/abs/2410.05289
This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that are composable, invertible and differentiable. They are pervasive as m
Externí odkaz:
http://arxiv.org/abs/2407.19211
Autor:
DeLong, Lauren Nicole, Mir, Ramon Fernández, Ji, Zonglin, Smith, Fiona Niamh Coulter, Fleuriot, Jacques D.
Biomedical datasets are often modeled as knowledge graphs (KGs) because they capture the multi-relational, heterogeneous, and dynamic natures of biomedical systems. KG completion (KGC), can, therefore, help researchers make predictions to inform task
Externí odkaz:
http://arxiv.org/abs/2307.08411
Neurosymbolic AI is an increasingly active area of research that combines symbolic reasoning methods with deep learning to leverage their complementary benefits. As knowledge graphs are becoming a popular way to represent heterogeneous and multi-rela
Externí odkaz:
http://arxiv.org/abs/2302.07200
Conformance checking techniques allow us to evaluate how well some exhibited behaviour, represented by a trace of monitored events, conforms to a specified process model. Modern monitoring and activity recognition technologies, such as those relying
Externí odkaz:
http://arxiv.org/abs/2209.04309
We introduce a theorem proving approach to the specification and generation of temporal logical constraints for training neural networks. We formalise a deep embedding of linear temporal logic over finite traces (LTL$_f$) and an associated evaluation
Externí odkaz:
http://arxiv.org/abs/2207.03880
Autor:
Gustave L. Nyamangombe, Blanchard M. Mayele, Helmont L. Nkasa, Joseph D. Tshidibi, Esther M. Mpiana, Fiston B. Masikini, Gracias I. Mbokolo, Blaise M. Mbembo, Jean Jacques D. Amogu, Armandine Mubwele
Publikováno v:
Orapuh Journal, Vol 5, Iss 4 (2024)
Introduction The fragility and sensitivity of the skin in people with albinism (PWA) have necessitated extensive research across molecular genetics, dermatology, and cosmetology. These efforts aim to address the increased susceptibility of albino
Externí odkaz:
https://doaj.org/article/1a0cb2e6e5474d95a05e742c6a17c456
Autor:
Odette N Kabena, Jean Jacques D Amogu, Anicet I Kuabayina, Lyz N Makwela, Didier L Dianzuangani
Publikováno v:
International Journal of Agricultural Research, Innovation and Technology, Vol 13, Iss 2, Pp 49-54 (2023)
Preventing, reducing, and improving infection control have been struggles that have preoccupied the World Health Organization for many years. The present study aims to evaluate the efficacy of Bactigel hydro-alcoholic gel on the cutaneous flora of ha
Externí odkaz:
https://doaj.org/article/2325afc65f4c419db036fa88f57247aa