Results 151 to 160 of about 7,596,236 (250)

Formalization of Mathematics in Type Theory. Generic tools of Modelisation and Demonstration. Application to Category Theory

, 1999
Outils Génériques de Modélisation et de Démonstration pour la Formalisation des Mathématiques en Théorie des Types. Application à la Théorie des Catégories.
openaire   +1 more source

Blue Light Receptor PHR2‐Mediated Spectrum Antiviral Immunity

Advanced Science, EarlyView.
Blue light suppresses RBSDV through the blue‐light receptor ZmPHR2, which interacts with ZmISP in chloroplasts to trigger ROS burst and antiviral defense. The viral effector P6 enhances ZmPHR2–ZmISP interaction, alters their distribution, and suppresses ROS.
Runyi Chen, Yuxin Tai, Xinyu Wang, Chunhua Mu, Xia Liu, Gongjian Li, Jiayi Liu, Xin Lu, Duo Shi, Zhiqiang Zhou, Jienan Han, Zhuanfang Hao, Mingshun Li, Degui Zhang, Hongjun Yong, Zhennan Xu, Jianfeng Weng, Xinhai Li   +17 more
wiley   +1 more source

Genealogies of organizational closure: from logical paradox to mind in life. [PDF]

Front Artif Intell
Rubin S, Roli A, Stano P, Damiano L.
europepmc   +1 more source

Decoding Biomolecular Phase Separation: From Physiological Roles to Pathological Mechanisms and Therapeutic Biomaterials Design

Advanced Science, EarlyView.
This review systematically elaborates on the mechanisms underlying physiological regulation and pathological dysregulation of biomolecular phase separation. It also summarizes advances in phase‑separation‑targeted therapeutic strategies and the design of functional biomaterials inspired by this process.
Jiawei Zhu, Jingbo Dong, Qiufang Gong, Xuejiao Song, Zhifa Shen, Chao Liang   +5 more
wiley   +1 more source

Disciplinary trends in spatial concept associations: a multifaceted analysis of student responses. [PDF]

Front Psychol
Özkaya A, Turan S, Uzun A, Akhan O.
europepmc   +1 more source

The Mathematics of Mathematics: A Narrative Review of Category Theory from Natural Equivalences to Higher Toposes

Category theory---the mathematics of mathematics, whose objects are the maps between structures---moved from a reformulation of natural equivalences to the organizing language of algebra, geometry, and logic. This article presents a narrative review of that arc's canonical line: Eilenberg and MacLane's 1945 general theory of natural equivalences ...
Revista, Zen, MATH, 10
openaire   +1 more source

Unraveling the Effects of Depolarization in Ultrathin Barium Titanate

Advanced Science, EarlyView.
This article employs synchrotron‐based spectroscopy, time‐resolved electrical measurements, and phase‐field simulations to establish reverse‐domain formation as the mechanism of polarization loss in ultrathin BaTiO3${\rm BaTiO}_3$ films as a critical obstacle to low‐voltage ferroelectric devices.
Thomas Lee, Prabhat Kumar, Christoph Klewe, Pravin Kavle, Padraic Shafer, Zhi (Jackie) Yao, Lane W. Martin   +6 more
wiley   +1 more source

How do cultural repertoires shape sustainable teacher identity? Confucian striving and Daoist release among Chinese pre-service teachers. [PDF]

Front Psychol
Lin X, Tan Q, Xiong B.
europepmc   +1 more source

An Integrated Artificial Intelligence Framework for Nanomedicine Engineering

Advanced Science, EarlyView.
This review outlines a closed‐loop AI ecosystem for nanomedicine engineering. By synergizing multimodal data harmonization, objective‐driven AI architectures, and automated high‐throughput validation, this “Design‐Make‐Test‐Analyze” (DMTA) workflow transforms traditional heuristic formulation into a predictive, self‐optimizing paradigm, accelerating ...
Meichen Dong, Qin Luo, Xinyi Ding, Chaoqi Lu, Ru Zhang, Qingqing Tan, Zhiqing Pang, Defang Ouyang, Dongsheng Li, Jiaxuan Xia, Jianxin Wang   +10 more
wiley   +1 more source