Results 121 to 130 of about 294,052 (285)

Optimal Control of Mixed Logical Dynamical Systems with Long-Term Temporal Logic Specifications [PDF]

, 2013
We present a mathematical programming-based method for control of large a class of nonlinear systems subject to temporal logic task specifications. We consider Mixed Logical Dynamical (MLD) systems, which include linear hybrid automata, constrained ...
Murray, Richard M., Wolff, Eric M.
core  

Understanding and Overcoming Antibody‐Drug Conjugate Resistance: Biological Mechanisms and Emerging Analytical Frameworks in Breast Cancer

Advanced Science, EarlyView.
Antibody–drug conjugates (ADCs) transform breast cancer therapy, yet resistance limits their durability. Emerging evidence reveals that ADC failure is not solely tumor‐intrinsic but shaped by dynamic tumor–microenvironment interactions that alter drug delivery, processing, and response.
Minji Seo, Jangsoon Lee, Naoto T. Ueno
wiley   +1 more source

Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics

Bulletin of the Section of Logic
A unified Gentzen-style proof-theoretic framework for until-free propositional linear-time temporal logic and its intuitionistic variant is introduced.
Norihiro Kamide, Sara Negri
doaj   +1 more source

Spatial‐Wavelength Multiplexing Error‐Controlled Photonic Analog Computing System

Advanced Science, EarlyView.
A novel photonic integrated circuit prototype implementing the concept of general‐purpose analog computing and demonstrate its capability in radio frequency applications. The chip features a multichannel architecture and performs fully optical analog computation with frequency‐domain parallel processing. An FPGA‐based error‐correction algorithm aims to
Tao Zhu, Bowen Zhu, Shicheng Zhang, Keren Li, Xianchen Wu, Yazhi Pi, Jie Yan, Daigao Chen, Bingli Guo, Xi Xiao, Lei Wang, Xiaochuan Xu, Xuwei Xue, Shanguo Huang, Zizheng Cao, Shaohua Yu   +15 more
wiley   +1 more source

GPCRs in CAR‐T Cell Immunotherapy: Expanding the Target Landscape and Enhancing Therapeutic Efficacy

Advanced Science, EarlyView.
Chimeric antigen receptor T cell therapy faces dual challenges of target scarcity and an immunosuppressive microenvironment in solid tumors. This review highlights how G protein‐coupled receptors can serve as both novel targets to expand the therapeutic scope and functional modules to enhance CAR‐T cell efficacy.
Zhuoqun Liu, Yuchen Xiao, Yamin Zhao, Lihe Dai, David J.H. Shih, Shikang Liang, Honglei Tian, Liu Liu, Feng Tian, Bing Liu, Lei Chang, Chao Zhang   +11 more
wiley   +1 more source

Organ‐Specific and Conserved Regulatory Logic Orchestrates Gene Expression in the Embryonic Mesothelium

Advanced Science, EarlyView.
Integrated multi‐omic profiling maps the gene‐regulatory landscape of the coelomic mesothelium across heart, lung, and pancreas. A cardiac‐restricted regulatory program is uncovered in which TBX20 activates heart mesothelial (epicardial) cis‐regulatory elements, while MAF emerges as a conserved regulator of mesothelial identity.
Quang Minh Dang, Nicola Smart, Andia Nicole Redpath, Joaquim Miguel Vieira   +3 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

Climate Action Impacts on Steelmaking Emissions of Persistent Organic Pollutants Highlight a Gap Between the Paris Agreement and the Stockholm Convention

Advanced Science, EarlyView.
Emissions of unintentionally produced persistent organic pollutants (UPOPs) and global warming are two major environmental challenges. But their governance has largely evolved in parallel, leaving the toxicity implications of climate‐driven industrial transitions poorly understood.
Yuxiang Sun, Qiuting Yang, Jianghui Yun, Yujue Yang, Junhao Tang, Qian Liu, Minghui Zheng, Guorui Liu   +7 more
wiley   +1 more source

An On‐Demand Neuromorphic Vision System Enabled by a Multi‐Paradigm Neuromorphic Device and Hierarchical Reconfigurability Designed from Device to System Level

Advanced Science, EarlyView.
An on‐demand ultra‐reconfigurable intelligent vision system with hierarchical reconfigurability from device to system levels is demonstrated. Through co‐design of a multi‐paradigm device, reconfigurable circuits, and adaptive system architecture/algorithms, the system enables seamless switching among spiking, non‐spiking, neuromorphic imaging (NI), and
Biyi Jiang, Jiayi Xu, Liang Ran, Xinhe Feng, Khalil Harrabi, Yida Li, Longyang Lin, Feichi Zhou   +7 more
wiley   +1 more source

T Cell Exhaustion in Cancer Immunotherapy: Heterogeneity, Mechanisms, and Therapeutic Opportunities

Advanced Science, EarlyView.
T cell exhaustion limits immunotherapy efficacy. This article delineates its progression from stem‐like to terminally exhausted states, governed by persistent antigen, transcription factors, epigenetics, and metabolism. It maps the exhaustion landscape in the TME and proposes integrated reversal strategies, providing a translational roadmap to overcome
Yang Yu, Xiaoyu Yao, Qingyang Wang, Mengrui Yang, Runze Li, Jiangjiang Qin, Jing Zhuang, Changgang Sun   +7 more
wiley   +1 more source