Results 331 to 335 of about 1,079,877 (335)

Complex cellular logic computation using ribocomputing devices

Nature, 2017
Alexander A Green, Jongmin Kim, Pamela A Silver   +2 more
exaly  

Multimodal logic as a base of algorithmic logic

This paper considers propositional modal logics with a bundle of modalities. Each modality is intended intuitively to be the input-output relationship of a program, yielding a binary relation of the so-called Kripke sort formally. After claiming the completeness theorem, the author considers within this framework how we should characterize program ...
openaire   +1 more source

Small footprint transistor architecture for photoswitching logic and in situ memory

Nature Nanotechnology, 2019
Chunsen liu, Xiang Hou, Peng Zhou
exaly  

Vision-driven Automated Mobile GUI Testing via Multimodal Large Language Model

arXiv.org
Zhe Liu, Cheng Li, Chunyang Chen, Junjie Wang, Boyu Wu, Yawen Wang, Jun Hu, Qing Wang   +7 more
semanticscholar   +1 more source

Multimodal logics

2008
openaire   +1 more source