Results 161 to 170 of about 6,826 (311)

Temporal Ensemble Logic

CoRR
We introduce Temporal Ensemble Logic (TEL), a monadic, first-order modal logic for linear-time temporal reasoning. TEL includes primitive temporal constructs such as ``always up to $t$ time later'' ($\Box_t$), ``sometimes before $t$ time in the future'' ($\Diamond_t$), and ``$t$-time later'' $φ_t$.
openaire   +2 more sources

TopCas: Topology‐Gated Cas12a via DNA‐RNA Chimeric Circular crRNA for Amplification‐Free Nucleic Acid Detection and Conditional Gene Editing

Advanced Science, EarlyView.
The TopCas platform utilizes an engineered DNA‐RNA chimeric circular crRNA to establish topology‐gated control over CRISPR‐Cas12a activity, enabling target‐triggered self‐catalytic amplification (preamplification‐free). This system seamlessly integrates highly sensitive molecular diagnostics with conditionally controlled gene editing, demonstrating ...
Shun Zhang, Wen Sun, Ting Xiao, Yali Wang, Xianlan Wu, Huiyou Chen, Ming Chen, Jun Zhang   +7 more
wiley   +1 more source

Sono‐Mechanogenetics: Linking Ultrasound Physics With Cellular Mechanobiology

Advanced Science, EarlyView.
Sono‐mechanogenetics links ultrasound physics with cellular mechanotransduction to enable noninvasive control of engineered biological systems. Acoustic forces generate distinct deformation modes that activate intracellular signaling pathways, which can be coupled to synthetic gene circuits to regulate diverse cellular functions, including gene ...
Yunjia Qu, Fan Wei, Chi Woo Yoon, Qifa Zhou, Yingxiao Wang   +4 more
wiley   +1 more source

Ambipolar Organic–Inorganic Heterostructure Transistor Array for Integrated Visual Information Processing

Advanced Science, EarlyView.
We present an organic–inorganic heterostructure transistor array for neuromorphic computing, achieving 95.6% MNIST accuracy and 1.2 fJ per operation, with dynamic spatiotemporal encoding and precise vehicle direction detection under combined optical and electrical stimulation.
Wen‐Min Zhong, Wenbin Zhang, Yu‐Xiang Zeng, JiYu Zhao, Ziqi Jia, Loganathan Veeramuthu, Guanglong Ding, Yan Yan, Meng Zhang, Su‐Ting Han, Vellaisamy A. L. Roy, Fengyun Wang, Chi‐Ching Kuo, Ye Zhou   +13 more
wiley   +1 more source

DNA Nanoarray for Multiplexed RNA Detection With Single‐Molecule Readout

Advanced Science, EarlyView.
A carrier‐based DNA nanoarray integrates programmable nucleic acid hybridization with solid‐state nanopore readout for direct RNA detection at single‐molecule resolution. A ternary encoding system enables 27 carriers with 81 addressable sensing sites, allowing the simultaneous identification of targets spanning a wide size range, from short microRNAs ...
Yunxuan Li, Yesheng Wang, Chunmiao Yu, Siyu Hou, Elli Mylona, Plamena Naydenova, Jingyuan Zhao, Hong Yuan, Jingsong Duan, Hendrik F. P. Runge, Stephen Baker, Jinbo Zhu, Ulrich F. Keyser   +12 more
wiley   +1 more source

Controlling Photochromism of Donor‐Acceptor Stenhouse Adducts on Micro‐Dot Arrays Beyond Human‐Eyes Resolution for Dynamic Light Encryption

Advanced Science, EarlyView.
This study presents a micro‐dot array strategy for dynamic light encryption, utilizing DASA‐based photochromism with resolution beyond human‐eye capacity. By precisely controlling isomerization kinetics, the method reveals multi‐layered encrypted information under specific light irradiation, enhancing information security and anti‐counterfeiting ...
Hongtao Hu, Fanxi Sun, Hanjun Zhang, Xiao Wang, Gaolu Zhu, Jiayu Li, Mengyao Yang, Xu Deng, Yonghao Zheng, Chen Wei, Dongsheng Wang   +10 more
wiley   +1 more source

Self‐Powered Bearing Sensing and Real‐Time Fault Diagnosis Enabled by Non‐Invasive Triboelectric Sensors and Edge AI Acceleration

Advanced Science, EarlyView.
This study achieves the synergistic integration of self‐powered sensing and edge AI acceleration to establish a real‐time fault diagnosis system. The proposed TENG‐based self‐powered bearing sensor (NSE‐TBS) and FPGA‐accelerated edge AI framework fundamentally break through the inherent limitations of conventional monitoring systems, including complex ...
Kehui Zhu, Zhongheng Liu, Xinming Li, Jinrui Zhang, Meng Li, Yiming Guo, Lihua Han, Yanxue Wang   +7 more
wiley   +1 more source

EXPTIME Tableaux for the Coalgebraic Mu-Calculus

, 2009
The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic.
Pattinson, Dirk, Cirstea, Corina, Kupke, Clemens   +2 more
core  

Programming and Editing as Alternative Logics of Music Radio Production

International Journal of Communication, 2013
The disparity between structural and phenomenological perspectives in media studies informs an unacknowledged distinction between two alternative logics of music radio production: programming and editing.
Danny Kaplan
doaj  

Thermoelectric Gating Organic Electrochemical Transistors Enabled by Printable Ionogels With n‐p Convertible Thermopower

Advanced Science, EarlyView.
A type of thermoelectric ionogels with convertible n‐p thermopowers are demonstrated with Seebeck coefficients ranging from ‐3.61 to +9.74 mV K−1. Thus, thermoelectric gating organic electrochemical transistor is achieved by employing ionogel as thermoelectric modules and ionic dielectrics simultaneously, paving the road to self‐powered, highly ...
Xingyu Hu, Xinwen Yan, Ling Huang, Xiaohang Zhang, Xuan Cao, Cong Zhang, Qingqing Sun, Hanyu Jia, Xuying Liu   +8 more
wiley   +1 more source