Results 121 to 130 of about 48,451 (258)

Backdoors for Linear Temporal Logic. [PDF]

Algorithmica, 2019
Meier A, Ordyniak S, Ramanujan MS, Schindler I.   +3 more
europepmc   +1 more source

Multimodal Wearable Biosensing Meets Multidomain AI: A Pathway to Decentralized Healthcare

Advanced Science, EarlyView.
Multimodal biosensing meets multidomain AI. Wearable biosensors capture complementary biochemical and physiological signals, while cross‐device, population‐aware learning aligns noisy, heterogeneous streams. This Review distills key sensing modalities, fusion and calibration strategies, and privacy‐preserving deployment pathways that transform ...
Chenshu Liu, Haolin Fan, Minwoo Kim, Tong Zhou, Pinyi Yang, Lingdi Zhao, Yiran Wang, Ziyuan Che, Chia‐Wei Liu, Bingbing Li, Yangzhi Zhu   +10 more
wiley   +1 more source

Polyelectrolyte Design Principles for Electrophoretic Drug Delivery

Advanced Science, EarlyView.
Structure–property–function mapping of polyelectrolytes reveals how composition and nanoscale order control on‐demand electrophoretic drug transport. Charge density quantified under implant‐relevant conditions shows that encapsulation limits swelling, enabling high effective charge density.
Helena Saarela Unemo, Iwona Bernacka‐Wojcik, Lingkai Zhu, Marle E. J. Vleugels, Moa E. Hörberg, Caroline Lindholm, Magnus Berggren, Daniel T. Simon, Theresia Arbring Sjöström   +8 more
wiley   +1 more source

Transfer of Temporal Logic Formulas in Reinforcement Learning. [PDF]

IJCAI (U S), 2019
Xu Z, Topcu U.
europepmc   +1 more source

Infrared Machine Vision System Based on Te NWs‐Au NPs Plasmonic Optoelectronic Memristor for Motion Detection

Advanced Science, EarlyView.
A plasmonic optoelectronic memristor based on Te nanowires‐Au nanoparticles/ι‐carrageenan enables IR‐programmed and visiblelight‐erased non‐volatile conductance. The all‐photonic write/erase scheme supports in‐sensor logic and real‐time motion detection in darkness.
Jingyao Bian, Yongxing Zhu, Ye Tao, Zhongqiang Wang, Xiaoning Zhao, Ya Lin, Haiyang Xu, Yichun Liu   +7 more
wiley   +1 more source

Pareto-Optimal Interventions in Gene Regulatory Networks using Signal Temporal Logic. [PDF]

Proc Am Control Conf
Hosseini SH, Aksaray D, Imani M.
europepmc   +1 more source

Synthesizing adaptive test strategies from temporal logic specifications. [PDF]

Form Methods Syst Des, 2019
Bloem R, Fey G, Greif F, Könighofer R, Pill I, Riener H, Röck F.   +6 more
europepmc   +1 more source

Current‐Driven Nonreciprocal Response of Nonequilibrium Skyrmions

Advanced Science, EarlyView.
A skyrmion holds great promise for spintronic applications owing to its intrinsic topological stability and high mobility under ultra‐low current excitation. Here, by means of in situ electron microscopy, we demonstrate a skyrmion diode effect and the associated current‐driven nonreciprocal skyrmion dynamics in a designed FeGe‐based microdevice.
Xiuzhen Yu, Soju Furuta, Xichao Zhang, Yi‐Ling Chiew, Kiyomi Nakajima, Kosuke Karube, Naoya Kanazawa, Yasujiro Taguchi, Yoshinori Tokura, Masahito Mochizuki, Fumitaka Kagawa   +10 more
wiley   +1 more source

Model Predictive Control with Variational Autoencoders for Signal Temporal Logic Specifications. [PDF]

Sensors (Basel)
Im E, Choi M, Cho K.
europepmc   +1 more source

Model Checking Temporal Logic Formulas Using Sticker Automata. [PDF]

Biomed Res Int, 2017
Zhu W, Feng C, Wu H.
europepmc   +1 more source