Results 171 to 180 of about 430,787 (365)

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

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

Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic

, 2017
Alessandro Cimatti, Andrea Micheli, Marco Roveri   +2 more
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

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

Convergent and Divergent Connectivity Patterns of the Arcuate Fasciculus in Macaques and Humans

Advanced Science, EarlyView.
This study employs viral‐based single‐neuron tracing and dMRI‐based whole‐brain tractography to investigate arcuate fasciculus (AF) trajectories in macaque monkeys, and compares with the human AF connectome using spectral embedding. Results demonstrate conserved AF topography spanning temporoparietal‐auditory‐frontal pathways across primates, with ...
Jiahao Huang, Ruifeng Li, Wenwen Yu, Anan Li, Xiangning Li, Mingchao Yan, Lei Xie, Qingrun Zeng, Xueyan Jia, Shuxin Wang, Ronghui Ju, Feng Chen, Qingming Luo, Hui Gong, Andrew Zalesky, Xiaoquan Yang, Yuanjing Feng, Zheng Wang   +17 more
wiley   +1 more source

Logic‐Gated HSV‐TK/GCV Suicide Gene Circuit for Triple‐Negative Breast Cancer

Advanced Science, EarlyView.
The BRAS comprises two modular genetic components driven by distinct tumor‐specific promoters and a failsafe layer with the NOT gate. This multi‐input logic gate circuit enables precise, specific expression of HSV‐TK in breast cancer cells with hardly expression in normal cell and effectively inhibits tumor growth in a triple‐negative breast cancer ...
Shasha Tang, Yuan Fang, Lingli Jin, Dongyang Liu, Yicheng Liu, Ruijia Zheng, Liyun Yong, Xin Wu, Longliang Qiao, Meiyan Wang, Fengfeng Cai   +10 more
wiley   +1 more source

Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability. [PDF]

Softw Syst Model, 2019
Czepa C, Amiri A, Ntentos E, Zdun U.
europepmc   +1 more source

ACTIVE MONITORING USING REAL-TIME METRIC LINEAR TEMPORAL LOGIC SPECIFICATIONS

, 2012
Gabor Simko, János Sztipanovits
openalex   +1 more source