Results 121 to 130 of about 92,710 (270)

The Temporal Logic Sugar [PDF]

, 2001
Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh   +5 more
openalex   +1 more source

A graph-based spatial temporal logic for knowledge representation and automated reasoning in cognitive robots [PDF]

, 2020
Zhiyu Liu, Meng Jiang, Hai Lin
openalex   +1 more source

PD‐1 Inhibits CD4+ TRM‐Mediated cDC1 Mobilization via Suppressing JAML in Human NSCLC

Advanced Science, EarlyView.
CD4+ tissue‐resident memory T cells (TRMs) in non‐small cell lung cancer recruit conventional type 1 dendritic cells via XCL1‐XCR1 signaling, orchestrating antitumor immunity. The costimulatory molecule JAML is essential for this process. PD‐1 blockade restores JAML expression and cDC1 mobilization, while JAML agonists synergize with anti‐PD‐1 therapy,
Zheyu Shao, Qinyuan Liu, Zhongwei Xin, Zhiyao Zhou, Mingjie Lin, Di Chen, Zhixing Hao, Yongyuan Chen, Wenxuan Wu, Shuyang Zhang, Xiaoke Chen, Xia Xu, Jinfan Li, Wei Lin, Yuhao Lu, Dang Wu, Pin Wu   +16 more
wiley   +1 more source

Robotic Materials With Bioinspired Microstructures for High Sensitivity and Fast Actuation

Advanced Science, EarlyView.
In the review paper, design rationale and approaches for bioinspired sensors and actuators in robotics applications are presented. These bioinspired microstructure strategies implemented in both can improve the performance in several ways. Also, recent ideas and innovations that embed robotic materials with logic and computation with it are part of the
Sakshi Sakshi, Rohit Pratyush Behera, Hongyu Zhou, Yifan Wang, Hortense Le Ferrand   +4 more
wiley   +1 more source

Human in the Loop Least Violating Robot Control Synthesis under Metric Interval Temporal Logic Specifications

, 2018
Sofie Andersson, Dimos V. Dimarogonas
openalex   +2 more sources

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

Implementation of Propositional Temporal Logics Using BDDs

, 1998
Geert Janssen
openalex   +2 more sources

A Microfluidic Digital Shutter of Liquid–Liquid Interface for Fabrication of Multifaceted Hydrogel Microfiber Structure

Advanced Science, EarlyView.
A programmable passive digital shutter based on multiphase liquid–liquid interface dynamics is introduced for precise fabrication of hydrogel microfibers. By modulating the shutter operation, microfibers with tunable geometry—including linear, helical, tadpole‐like, and spherical forms—are produced.
Dongrui Zhang, Jiangyue Liu, Hao Ye, Yu Shen, Haoran Su, Zhuqing Liang, Kexin Li, Xing Zhang, Shiyi Yang, Yunfei Lu, Zhexi Zhang, Sihang Liu, Yi Huang, Xiao Liu, Yubo Fan   +14 more
wiley   +1 more source

Syntaxin 3B Mediates Light‐Dependent Interactions with STXBP1 and Arrestin 4: Distinct Roles in Rods and Cones

Advanced Science, EarlyView.
The present study investigates a cone‐specific STX3 knockout model, displaying a complete loss of cone function, a later onset reduction in rod function, and photoreceptor cell death. A cone‐specific depletion of STXBP1 and ARR4 could be observed in this model.
Lars Tebbe, Larissa Ikelle, Mustafa S. Makia, Mashal Kakakhel, Muayyad R. Al‐Ubaidi, Muna I. Naash   +5 more
wiley   +1 more source

Decision Procedure for Temporal Logic of Belief and Actions [PDF]

, 2004
Regimantas Pliuškevičius, Aida Pliuškevičienė   +1 more
openalex   +1 more source