Results 101 to 110 of about 48,451 (258)

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

Connexin43 Deficiency Leads to Ventricular Arrhythmias by Reprogramming Proline Metabolism

Advanced Science, EarlyView.
The study demonstrated that connexin43 (Cx43) knockout caused arrhythmic phenotype and decreased proline content in vitro and in vivo. Mechanistically, Cx43 interacts with the amino acid transporter SNAT2 (sodium‐dependent neutral amino acid transporter), and its deficiency disrupts proline transport and metabolism.
Hangying Ying, Hangping Fan, Yunhe Wang, Ruhong Jiang, Dongsheng Cai, Hui Cheng, Hao Wang, Chenyang Jiang, Ping Liang   +8 more
wiley   +1 more source

REASONING ABOUT THE GAME „CLUE“ BY USING OTTER

Journal of Information and Organizational Sciences, 2006
In this article the possibilities of reasoning about the card version of the game Clue by using OTTER - system for automatic theorem proving have been presented.
Marko Maliković
doaj  

Conversion of Transplanted Mature Hepatocytes into Afp+ Reprogrammed Cells for Liver Regeneration After Injury

Advanced Science, EarlyView.
Donor‐derived tdTomato+ mature hepatocytes were FACS‐isolated and transplanted into Fah−/− host mice. During regeneration, these cells convert into proliferative, unipotent Afp+ rHeps. Their plasticity is governed by a PPARγ/AFP‐dependent metabolic switch, segregating into pro‐proliferative Afplow and pro‐survival Afphigh subpopulations.
Ting Fang, Chao Yang, Hua Qiu, Yuan Du, Xicheng Wang, Yuting Li, Mingyang Xu, Changcheng Liu, Xiuhua Li, Na Guo, Jun Shi, Wencheng Zhang, Zhiying He   +12 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

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

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

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

Recent Advances and Perspectives on Field‐Effect Transistors for Artificial Visual Neuromorphic Systems

Advanced Science, EarlyView.
This review presents a comprehensive overview of FET‐based visual neuromorphic systems, covering their semiconductor materials, core device architectures, and operating mechanisms. It further reviews their implementation in emulating biological visual functions, addresses current technological challenges, and outlines future development directions. The
Liu Yaqian, Lang Menghua, Xu Yihang, Zhang Manyu, Lei Chunkang, Lu Xiaozhou, Dou Yi, Wang Lingli, Jiang Liying, Hu Yuanyuan, Chen Huipeng, Jiang Lang   +11 more
wiley   +1 more source

Pan2‐Pan3 Complex‐Mediated Deadenylation Enforces mRNA Quality Control for Infection of the Rice Blast Fungus

Advanced Science, EarlyView.
Discovery that deadenylation, rather than transcription, acts as the rate‐limiting step for developmental timing in a plant pathogen. Evidence that P‐body integrity and mRNA decay are mechanistically coupled to rapid cellular differentiation under environmental stress. Identification of Pan2‐Pan3 as a pathogen‐specific “meta‐virulence factor” absent in
Ziwei Lv, Junting Feng, Shenxian Zhou, Zhiguang Qu, Jun Peng, Xiao‐Lin Chen, Deng Chen   +6 more
wiley   +1 more source