Results 171 to 180 of about 71,357 (311)

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

A Simpler formulation of natural deduction calculus for linear-time temporal logic [PDF]

, 2007
The paper continues our studies of natural deduction calculus for the propositional linear-time temporal logic PLTL. We present a new formulation of natural deduction calculus for PLTL. The system is shown to be sound and complete.
Bolotov, A., Grigoriev, O., Shangin, V.
core  

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

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

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

Engineering Neuronal Network Connectivity Through Precise and Scalable Electrical Modulation

Advanced Science, EarlyView.
This study presents a scalable all‐electrical method for precise neuronal‐circuit reconfiguration based on high‐density microelectrode arrays. By employing biologically inspired plasticity rules, targeted connectivity changes were successfully induced and quantified across diverse neuronal preparations.
Sreedhar S. Kumar, Yannaël Bossard, Rachel Sava, Tobias Gänswein, Lorenca Sadiraj, Jean‐Samuel Dupré, Manuel Schröter, J. Gray Camp, Fernando Cardes, Julian Bartram, Andreas Hierlemann   +10 more
wiley   +1 more source

Incorporating the Basic Elements of a First-degree Fuzzy Logic and Certain Elments of Temporal Logic for Dynamic Management Applications [PDF]

The approximate reasoning is perceived as a derivation of new formulas with the corresponding temporal attributes, within a fuzzy theory defined by the fuzzy set of special axioms.
Vasile MAZILESCU
core  

Genetic Code Expanded T Cell for Controllable Immunotherapy

Advanced Science, EarlyView.
Our GCE‐CAR‐T cells enables tight, dose‐dependent, and function‐preserving control of CAR expression at the translational level through amber codon suppression and genetic incorporation of ncAA. ABSTRACT Chimeric antigen receptor (CAR)‐T cell therapy has demonstrated curative potential against hematologic malignancies, but its clinical application ...
Xue Wang, Yingao Gao, Yeyu Su, Yong Wang, Tao Liu   +4 more
wiley   +1 more source

Temporalising OWL 2 QL

, 2013
We design a temporal description logic, TQL, that extends the standard ontology language OWL2QL, provides basic means for temporal conceptual modelling and ensures first-order rewritability of conjunctive queries for suitably defined data instances with ...
Artale, A., Zakharyaschev, Michael, Wolter, F., Kontchakov, Roman   +3 more
core  

Neuromorphic Near‐Sensor and In‐Sensor Computing Enabled by Next‐Generation Material‐Based Sensors

Advanced Science, EarlyView.
This Review presents a structural framework that classifies neuromorphic sensing into near‐sensor and in‐sensor architectures, clarifying physical coupling between sensing and computation. The framework connects neural and synaptic device functions with recent advances in optical, mechanical, and chemical sensing, compares energy consumption and ...
Su Yeon Jung, Gwang Ya Kim, Sejin Kim, Hyunjong Seo, Se Gi Lee, Sang Min Won, Dongjoon Rhee, Joohoon Kang   +7 more
wiley   +1 more source