Results 131 to 140 of about 547,797 (285)

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

A Metric for Linear Temporal Logic

, 2018
We propose a measure and a metric on the sets of infinite traces generated by a set of atomic propositions. To compute these quantities, we first map properties to subsets of the real numbers and then take the Lebesgue measure of the resulting sets.
Iannopollo, Antonio, Lee, Edward A., Lohstroh, Marten, Romeo, Íñigo Íncer, Sangiovanni-Vincentelli, Alberto   +4 more
core  

Minimal Temporal Epistemic Logic

Notre Dame Journal of Formal Logic, 1996
The dynamics of (nonmonotonic) reasoning processes is studied. The presented approach is based on two components: Epistemic logic is used as a formalization of information states. Temporal logic is used as a formalization of a dynamics of information states.
openaire   +2 more sources

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

A leader‐follower communication protocol for motion planning in partially known environments under temporal logic specifications

IET Control Theory & Applications
This paper considers the problem of communication protocols between leaders and its followers for motion planning in an initially partially known environment.
Xiaohong Yan, Yingying Liu, Renwen Chen, Wei Duan   +3 more
doaj   +1 more source

Integration of Interval Temporal Logic in an Expression Evaluator

Applied Sciences
This paper presents NAXE, an expression evaluator framework for concurrent, resilient, and temporally aware applications, particularly in IoT domains. The key contribution is the principled integration of Interval Temporal Logic as a first-class feature ...
Francisco Morero-Peyrona, Javier Gutiérrez-Rodríguez, Manuel Mejías-Risoto   +2 more
doaj   +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

Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems

Computers
Today, various applications in different domains increasingly rely on high-performance computing (HPC) to accomplish computations swiftly. Integrating one or more programming models alongside the used programming language enhances system parallelism ...
Salwa Saad, Etimad Fadel, Ohoud Alzamzami, Fathy Eassa, Ahmed M. Alghamdi   +4 more
doaj   +1 more source

Deep Brain Stimulation Induces Antidepressant Effects by Restoring High‐Fidelity Communication in the BNST‐NAc Circuit

Advanced Science, EarlyView.
This cross‐species study reveals that pathological hyperactivity of BNST neurons in depressive states disrupts inhibitory period and isolated spikes in the BNST‐NAc circuit. DBS achieves its antidepressant effects by precisely restoring network inhibitory periods and high‐fidelity signal transmission.
Xin Lv, Yu Cao, Yuhan Wang, Yunhao Wu, Yingying Zhang, Kuanghao Ye, Xian Qiu, Qingfang Sun, Liuguan Bian, Halimureti Paerhati, Valerie Voon, Shikun Zhan, Bomin Sun   +12 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