Results 1 to 10 of about 1,079,877 (335)
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 +7 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
semanticscholar +7 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 +3 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
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
semanticscholar +7 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 +4 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
semanticscholar +6 more sources
Acta Pharmaceutica Sinica B, 2023 Recent innovations in nanomaterials inspire abundant novel tumor-targeting CRISPR-based gene therapies. However, the therapeutic efficiency of traditional targeted nanotherapeutic strategies is limited by that the biomarkers vary in a spatiotemporal ...
Yongchun Pan +11 more
doaj +3 more sources
Theoretical Computer Science, 2006 AbstractWe give a framework for developing the least model semantics, fixpoint semantics, and SLD-resolution calculi for logic programs in multimodal logics whose frame restrictions consist of the conditions of seriality (i.e. ∀x∃yRi(x,y)) and some classical first-order Horn clauses.
Linh Anh Nguyen
semanticscholar +4 more sources
Interpretable Multimodal Out-of-Context Detection with Soft Logic Regularization
ICASSP 2024 - 2024 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)ICASSP 2024 lecture ...
Huanhuan Ma +4 more
semanticscholar +4 more sources