Results 11 to 20 of about 78,943 (189)
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
A linear logic framework for multimodal logics
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 ...
Xavier, Bruno +2 more
openaire +4 more sources
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 +1 more source
Interpreting Reo Circuits as PDL models
Reo is a coordination-based language with the proposal of connecting different systems and interfaces. It aims to develop communication between different systems with a high level of abstraction and without many restrictions.
Erick Grilo +2 more
doaj +1 more source
Multimodal Sarcasm Detection via Hybrid Classifier with Optimistic Logic
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 +1 more source
Quantified Multimodal Logics in Simple Type Theory [PDF]
ii + 22 ...
Benzmüller, Christoph +1 more
openaire +3 more sources
A haptic-enabled multimodal interface for the planning of hip arthroplasty [PDF]
Multimodal environments help fuse a diverse range of sensory modalities, which is particularly important when integrating the complex data involved in surgical preoperative planning.
Caldwell, DG +6 more
core +1 more source
Collaborative Beamforming (CBF) is an essential tool towards increasing transmission range in Wireless Sensor Networks (WSNs). Owing to the random and complex nature of WSNs, development and use of improved metaheuristic algorithms in CBF is of essence ...
Robert Macharia Maina +2 more
doaj +1 more source
Image Captioning Optimization Strategy Based on Deep Learning [PDF]
Image captioning aims to describe image content with grammatically correct sentences and automatically generate text.Image captioning involves computer vision and natural language processing,which is a classic task in multimodal field.In recent years,a ...
ZHOU Ziyi, XIONG Hailing
doaj +1 more source
Clausal Resolution for Modal Logics of Confluence [PDF]
We present a clausal resolution-based method for normal multimodal logics of confluence, whose Kripke semantics are based on frames characterised by appropriate instances of the Church-Rosser property. Here we restrict attention to eight families of such
Dixon, Clare +2 more
core +2 more sources

