Results 1 to 10 of about 69,515 (313)
Fluorescence-Based Multimodal DNA Logic Gates [PDF]
NanomaterialsThe use of DNA structures in creating multimodal logic gates bears high potential for building molecular devices and computation systems. However, due to the complex designs or complicated working principles, the implementation of DNA logic gates within ...
Chamika Harshani Algama +3 more
doaj +6 more sources
Efficient loop-check for multimodal KD45n logic
Lietuvos Matematikos Rinkinys, 2021 We introduce sequent calculus for multi-modal logic KD45n which uses efficient loop-check. Efficiency of the used loop-check is obtained by using marked modal operator squarei which is used as an alternative to sequent with histories ([2,3]).We use ...
Adomas Birštunas
doaj +4 more sources
Cattle welfare assessment based on adaptive fuzzy logic and multimodal data fusion [PDF]
Frontiers in Veterinary ScienceThis study proposes a cattle welfare evaluation method based on multi-modal data fusion, which integrates various data dimensions, such as cattle behavior characteristics, feeding management conditions, and environmental parameters, to achieve a ...
Lei Tong +10 more
doaj +3 more sources
Multimodal fuzzy logic-based gait evaluation system for assessing children with cerebral palsy [PDF]
Scientific ReportsGait analysis is crucial for identifying functional deviations from the normal gait cycle and is essential for the individualized treatment of motor disorders such as cerebral palsy (CP).
Saleh Massoud +4 more
doaj +3 more sources
Interpretable Multimodal Misinformation Detection with Logic Reasoning [PDF]
Findings of the Association for Computational Linguistics: ACL 2023, 2023 Accepted by Findings of ACL 23.
Hui Liu, Wenya Wang, Haoliang Li
+6 more sources
Integrating probabilistic logic and multimodal spatial concepts for efficient robotic object search in home environments [PDF]
SICE Journal of Control, Measurement, and System Integration, 2023 Our study introduces a novel approach that combined probabilistic logic and multimodal spatial concepts to enable a robot to efficiently acquire place–object relationships in a new home environment with few learning iterations.
Shoichi Hasegawa +4 more
doaj +2 more sources
A linear logic framework for multimodal logics [PDF]
Mathematical Structures in Computer Science, 2022 AbstractOne of the most fundamental properties of a proof system is analyticity, expressing the fact that a proof of a given formula F only uses subformulas of F. In sequent calculus, this property is usually proved by showing that the $\mathsf{cut}$ rule is admissible, i.e., the introduction of the auxiliary lemma H in the reasoning “if H follows ...
Bruno Xavier +2 more
openalex +5 more sources
Multimodal Sarcasm Detection via Hybrid Classifier with Optimistic Logic
Journal of Telecommunications and Information Technology, 2022 This work aims to provide a novel multimodal sarcasm detection model that includes four stages: pre-processing, feature extraction, feature level fusion, and classification.
Dnyaneshwar Madhukar Bavkar +2 more
doaj +3 more sources
UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC [PDF]
The Bulletin of Symbolic Logic, 2023 AbstractWe present a proof system for a multimode and multimodal logic, which is based on our previous work on modal Martin-Löf type theory. The specification of modes, modalities, and implications between them is given as a mode theory, i.e., a small 2-category. The logic is extended to a lambda calculus, establishing a Curry–Howard correspondence.
G. A. Kavvos, Daniel Gratzer
openalex +5 more sources
Lattice-Based Graded Logic: A Multimodal Approach [PDF]
, 1992 Experts do not always feel very, comfortable when they have to give precise numerical estimations of certainty degrees. In this paper we present a qualitative approach which allows for attaching partially ordered symbolic grades to logical formulas. Uncertain information is expressed by means of parameterized modal operators. We propose a semantics for
Philippe Chatalic, Christine Froidevaux
openalex +5 more sources