Results 131 to 140 of about 294,052 (285)

Strong Backdoors for Linear Temporal Logic

, 2016
In the present paper we introduce the notion of strong backdoors into the field of temporal logic for the CNF-fragment of linear temporal logic introduced by Fisher. We study the parameterised complexity of the satisfiability problem parameterised by the size of the backdoor.
Meier, Arne, Ordyniak, Sebastian, Ramanujan, M. S., Schindler, Irena   +3 more
openaire   +2 more sources

Postsynaptic Complexin Mediates Constitutive Exocytosis of Nicotinic Acetylcholine Receptor

Advanced Science, EarlyView.
Beyond its established presynaptic role, complexin is identified as a postsynaptic regulator of neurotransmitter receptor trafficking. By promoting constitutive and activity‐dependent exocytosis of nicotinic acetylcholine receptors, complexin controls spontaneous synaptic signaling at the C.
Ya Wang, Yixiang Deng, Nan Xia, Shuzo Sugita, Shangbang Gao   +4 more
wiley   +1 more source

Plant Genetic Engineering: Technological Pathways, Application Scenarios, and Future Directions

Advanced Science, EarlyView.
This review maps the fast‐evolving landscape of plant genetic engineering, linking enabling platforms with trait‐focused applications in architecture optimization, stress resilience, yield improvement, and quality enhancement. It highlights how genome editing, transgenic strategies, and emerging multi‐gene approaches reshape breeding pipelines, while ...
Peilin Wang, Wenzhi Wang, Dongjiao Wang, Qibin Wu, Youxiong Que   +4 more
wiley   +1 more source

Cascade‐Responsive MXene@Cu‐MOF Heterostructure Integrates Antioxidant Activity, Infection Control, and Vascularization for Tracheal Repair

Advanced Science, EarlyView.
A cascade‐responsive MXene@Cu‐MOF/GelMA hydrogel is engineered as a “skeleton–backpack” platform for extensive tracheal repair. The MXene framework scavenges postoperative ROS and converts NIR light into mild hyperthermia, while the Cu‐MOF component provides pH/NIR‐responsive Cu2+ dosing for infection control, angiogenesis, and chondrogenesis.
Liang Guo, Yingran Shen, Jiaoyu Yi, Juanjuan Li, Ziming Wang, Erji Gao, Siqiang Zheng, Zhe‐Sheng Chen, Bo Tao   +8 more
wiley   +1 more source

Dose‐Dependent Reprogramming of Chromatin Accessibility by SOX4 Drives the Transcriptional Response to Iron Overload

Advanced Science, EarlyView.
This study demonstrates that iron overload triggers widespread chromatin compaction and transcriptional repression in human granulosa cells, recapitulating features of endometriosis. The epigenetic reprogramming is orchestrated by a TFEB‐SOX4‐SWI/SNF axis, with SOX4 acting as a central, dosage‐sensitive regulator.
Feifei Li, Yaoqiu Wu, Guangyu Yang, Jingyi Lai, Xiaoyue Sun, Liyan Wang, Xiaoli Li, Jing Zhang, Qingxue Zhang, Hui Chen, Haiyan Lin, Bingxiang Xu, Junfeng Zhang, Hailong Wang, Anming Meng, Chunwei Cao   +15 more
wiley   +1 more source

Leveraging Artificial Intelligence and Large Language Models for Cancer Immunotherapy

Advanced Science, EarlyView.
Cancer immunotherapy faces challenges in predicting treatment responses and understanding resistance mechanisms. Artificial intelligence (AI) and machine learning (ML) offer powerful solutions for cancer immunotherapy in patient stratification, biomarker discovery, treatment strategy optimization, and foundation model development.
Xinchao Wu, Mengtao Sun, Lusheng Li, Jieqiong Wang, Shibiao Wan   +4 more
wiley   +1 more source

Mapping the “Supply–Demand–Flow” of Ecosystem Services for Ecosystem Management in China

Advanced Science, EarlyView.
This study develops a “supply–demand–flow” framework clarifies how ecosystem services move between regions by distinguishing potential and actual supply and demand. Using integrated biophysical–socioeconomic modeling, nine services in China were mapped.
Yikun Zhang, Yadong Yang, Yongsheng Wang, Guirui Yu   +3 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

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

Linear Temporal Logic (LTL) Based Monitoring of Smart Manufacturing Systems. [PDF]

Proc Annu Conf Progn Health Manag Soc, 2015
Heddy G, Huzaifa U, Beling P, Haimes Y, Marvel J, Weiss B, LaViers A.   +6 more
europepmc   +1 more source