Results 141 to 150 of about 283,349 (325)

A kinematically Bifurcated Metamaterial for Integrated Logic Operation and Computing

Advanced Science, EarlyView.
A family of 2n‐side kinematic polygonal modules with n decoupled inputs and 2n extreme configurations via kinematic bifurcation is proposed. It allows integrating seven basic logic gates on a quadrilateral module. Moreover, a minimized Parallel Computing Sum of Products function is developed, enabling all 2‐bit arithmetic (including division ...
Kaili Xi, Jingsong Wei, Xiao Zhang, Jiayao Ma, Zhong You, Changqing Chen, Yan Chen   +6 more
wiley   +1 more source

Non-transitive linear temporal logic and logical knowledge operations [PDF]

, 2015
Vladimir V. Rybakov
openalex   +1 more source

Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version)

, 2011
This paper relates the well-known Linear Temporal Logic with the logic of propositional schemata introduced by the authors. We prove that LTL is equivalent to a class of schemata in the sense that polynomial-time reductions exist from one logic to the ...
Aravantinos, Vincent, Caferra, Ricardo, Peltier, Nicolas   +2 more
core   +1 more source

Wearable and Implantable Devices for Continuous Monitoring of Muscle Physiological Activity: A Review

Advanced Science, EarlyView.
Recent advances in materials and device engineering enable continuous, real‐time monitoring of muscle activity via wearable and implantable systems. This review critically summarizes emerging technologies for tracking electrophysiological, biomechanical, and oxygenation signals, outlines fundamental principles, and highlights key challenges and ...
Zhengwei Liao, Ata Golparvar, Mohammad Javad Bathaei, Filipe Arroyo Cardoso, Clementine M. Boutry   +4 more
wiley   +1 more source

Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL [PDF]

, 2015
Martín Zimmermann
openalex   +1 more source

From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata [PDF]

, 2022
Javier Esparza, Jan Křetínský, Jean-François Raskin, Salomon Sickert   +3 more
openalex   +1 more source

A Floating‐Gate Photoelectric Synaptic Transistor Utilizing BP/POx/WSe2 Heterostructure for Neuromorphic Visual Processing

Advanced Science, EarlyView.
In this paper, a novel floating gate transistor (BP/POx/WSe2) is developed, which enables rich synaptic functionality under optoelectronic conditions and can mimic human visual memory. By introducing a two‐path convolutional neural network that synergistically fuses optical and electronic inputs, it can achieve efficient feature extraction and weight ...
Yuxuan Zeng, Wenxing Lv, Zehai Hou, Weihua Huang, Zhipeng Yu, Zishuo Han, Rongbin Zhan, Tianle Zeng, Yawen Luo, Yu Lin, Weiming Lv, Bin Fang, Zhongming Zeng, Lianbo Guo   +13 more
wiley   +1 more source

Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting [PDF]

, 2015
Christopher Hampson, Agi Kurucz
openalex   +1 more source

A Simple Rewrite System for the Normalization of Linear Temporal Logic [PDF]

, 2022
Javier Esparza, Rubén Rubio, Salomon Sickert   +2 more
openalex   +1 more source

Thermosensory TRPV Heterotetramers Drive Seasonal Polyphenism: Molecular Basis of CcIav/CcNan‐PKCα‐AKH/AKHR Signaling in Pear Psyllid Morph Transition

Advanced Science, EarlyView.
At 2 5 °C, thermal activation initiates: i) CcIav/CcNan heterotetramer assembly → Ca2⁺ influx; ii) CcPKCα phosphorylation → AKH signaling potentiation; iii) CcAKH1 binding to membrane‐localized CcAKHR → energy mobilization (lipid catabolism/glycogenolysis) and vitellogenin transport via follicular patency; iv) Oocyte maturation → summer‐form nymph ...
Jianying Li, Zhixian Zhang, Yilin Wang, Yue Yang, Jiarui Wang, Xueyi Ruan, Songdou Zhang   +6 more
wiley   +1 more source