Results 181 to 190 of about 344 (214)

Multimode excitations for complex multifunctional logic device

Journal of Micromechanics and Microengineering, 2019
The simplicity and prospect of energy efficiency of MEMS resonator-based computing devices have captivated considerable research interest in recent years. Hence, they are being explored for ultra-low power computing machines, which are currently needed for internet-of-things (IoT) applications.
S A Tella, M I Younis
openaire   +2 more sources

Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection

2015
We present a satisfiability-preserving embedding of coalition logic into a normal modal logic. An advantage of standard, normal, and modal logics is a well-understood theoretical foundation and the availability of tools for automated verification and reasoning.
Thomas Ågotnes, Natasha Alechina
openaire   +1 more source

Multimodal and intuitionistic logics in simple type theory

Logic Journal of IGPL, 2010
We study straightforward embeddings of propositional normal multimodal logic and propositional intuitionistic logic in simple type theory. The correctness of these embeddings is easily shown. We give examples to demonstrate that these embeddings provide an effective framework for computational investigations of various non-classical logics.
C. Benzmueller, L. C. Paulson
openaire   +1 more source

Multimodal Logic for Syntax

1998
N.A.
openaire   +2 more sources

Towards Fuzzy Logic Based Multimodal Speech Filtering

2015
After an investigation of state-of-the-art research in Chap. 3, Chap. 4 proposed a new two-stage audiovisual speech enhancement system that makes use of both audio and visual information to filter speech. The results of comprehensive testing in Chap. 5, identified a number of key strengths and weaknesses.
Andrew Abel, Amir Hussain
openaire   +1 more source

Modified Tableaux for Some Kinds of Multimodal Logics

2016
A multimodal logic is a logic where a certain number of different modal operators appear. In some of these logics we can have at our disposal a labeled tableaux method whereby different modal operators give rise to different labels. The properties of the accessibility relations, in the semantic view, may be treated by means of what we call inheritance ...
Emilio Gómez-Caminero, Ángel Nepomuceno   +1 more
openaire   +1 more source

Multimodal Logics for Reasoning about Interaction

2009
In this paper, we report some of the activities carried on in the last years by the research group leaded by Alberto Martelli. In particular, it presents a research line that encompasses the specification, the development and the verification of interaction protocols.
BALDONI, Matteo, BAROGLIO, Cristina, PATTI, Viviana   +2 more
openaire   +1 more source

Co-opting signalling molecules enables logic-gated control of CAR T cells

Nature, 2023
Aidan Tousley, Won-Ju Kim, Caleb A Lareau   +2 more
exaly  

Logic-in-memory based on an atomically thin semiconductor

Nature, 2020
Guilherme Migliato Marega, Ahmet Avsar, Zhenyu Wang   +2 more
exaly  

Logically at the Constraint 2022: Multimodal role labelling

Proceedings of the Workshop on Combating Online Hostile Posts in Regional Languages during Emergency Situations, 2022
Ludovic Kun, Jayesh Bankoti, David Kiskovski   +2 more
openaire   +1 more source