Bisimulations for Kripke models of Fuzzy Multimodal Logics
The main objective of the dissertation is to provide a detailed study of several different types of simulations and bisimulations for Kripke models of fuzzy multimodal logics. Two types of simulations (forward and backward) and five types of bisimulations (forward, backward, forward-backward, backward-forward and regular) are presented hereby. For each
openaire +1 more source
Multimodal interaction enhancement of digital cultural heritage system: user behavior analysis and interface reconstruction of the heritage scanning library of the palace museum. [PDF]
Ke L, Qin H, Long J, Xiao P.
europepmc +1 more source
Context-Aware Multi-Agent Architecture for Wildfire Insights. [PDF]
Sandeep A +5 more
europepmc +1 more source
Intelligent educational decision-making system driven by multimodal data fusion and knowledge graphs. [PDF]
Wang Y.
europepmc +1 more source
Federated TriNet-AQ: Explainable english proficiency classification in augmented and virtual reality learning. [PDF]
Zhang C, Liu Z.
europepmc +1 more source
Quantum-entangled neuro-symbolic swarm federation for privacy-preserving IoMT-driven multimodal healthcare. [PDF]
Ben Othman S, Ali O.
europepmc +1 more source
A scoping review of models to identify transgender patients in electronic health records. [PDF]
Becker RA, Kolli JUL, Walsh CG.
europepmc +1 more source
PhyGeo-KG: Physics-Regularized Distant Supervision for Multimodal Geometric Knowledge Graph Construction in Catenary Maintenance. [PDF]
Jin T, Chen X, Zhang D, Zeng B.
europepmc +1 more source
Integrated Radiology-Biochemistry Diagnostic Flow Framework for Emergency Clinical Decision Support: A Simulation-Based Educational Model. [PDF]
Tiryaki Baştuğ B, Güney T.
europepmc +1 more source
Diagnostic performance of large language models on the NEJM image challenge: a comparative study with human evaluators and the impact of prompt engineering. [PDF]
Zhou Y, Wang W, Wang P, Hu K.
europepmc +1 more source

