Results 91 to 100 of about 25,852,401 (225)

Contributions to the Model Theory of Higher-Order Logic

In this thesis, we develop the model theory of higher-order logic by working in Alonzo, a classical higher-order logic based on Church's formulation of simple type theory that extends first-order logic and that admits undefined expressions. In particular,
Zvigelsky, Dennis Y.
core   +1 more source

Multiferroic‐Centric Materials and Systems Engineering for Battery Applications: An Insight Into Mechanisms, Strategies, and Characterizations

Advanced Science, EarlyView.
Multiferroic order parameters – polarization, magnetization, and ferroelastic strain – are positioned as dynamic design variables for batteries. Their mechanistic roles, practical tuning through fabrication and external fields, and ferroic‐resolved characterization routes are unified into a closed‐loop framework, revealing how coupled ferroic responses
Jiaqi Su, Yanda Zhu, Hao Peng, Manman Li, Xuzihan Zhang, Meixiao Wu, Siyuan Zhang, Yuhan Zeng, Jiwen Liao, Ming Luo, Hetaishan Huang, Yutong Wang, Sean Li, Wenxian Li   +13 more
wiley   +1 more source

Higher-order Logic Learning and lambda-Progol

, 2010
We present our research produced about Higher-order Logic Learning (HOLL), which consists of adapting First-order Logic Learning (FOLL), like Inductive Logic Programming (ILP), within a Higher-order Logic (HOL) context.
Pahlavi, Niels
core   +1 more source

Sliding Ferroelectricity Driven Spin‐Layertronics in Altermagnetic Multilayers

Advanced Science, EarlyView.
Integrating sliding ferroelectricity with altermagnetism enables nonvolatile electrical control of spin and layer degrees of freedom. In bilayer CuF2, interlayer translation reverses layer‐locked spin‐split bands, establishing a multifunctional “spin‐layertronic” platform.
Rui Peng, Guangxu Su, Yangyang Fan, Jiaan Li, Fanxin Liu, Yee Sin Ang   +5 more
wiley   +1 more source

Polarization Dynamics in Ferroelectrics: Insights Enabled by Machine Learning Molecular Dynamics

Advanced Science, EarlyView.
Machine learning molecular dynamics is presented as a route to capture polarization switching, domain wall kinetics, topological polar textures, and polar mechanical coupling beyond the limits of conventional atomistic methods. This Perspective surveys recent progress and identifies key methodological directions, including long‐range electrostatics ...
Dongyu Bai, Ri He, Junxian Liu, Liangzhi Kou   +3 more
wiley   +1 more source

Multiscale Coupling From Mastication to Retronasal Aroma Perception: The PG‐DTCFN Model and Multiphysics Simulation

Advanced Science, EarlyView.
Using grilled lamb skewers as a model system, this work builds a multiscale coupling framework from oral processing to retronasal aroma perception, reveals dual‐kinetic release patterns and Electroencephalogram‐characterized central encoding features, and proposes an interpretable physics‐guided deep learning model validated by multiphysics simulation,
Che Shen, Xiongfeng He, Zihao Li, Zidong Chen, Jiajin Sun, Xinyu Jiang, Yunhui Zhang, Lizhang Wu, Ran Wang, Jingnan Lu, Bo Wang, Kezhou Cai, Baocai Xu   +12 more
wiley   +1 more source

A Pan‐Methylome Framework for Population‐Scale Bacterial Epigenomics

Advanced Science, EarlyView.
A scalable quantitative framework unlocks population‐level comparative epigenomics in bacteria. By transforming site‐level data into standardized traits, this approach reconstructs methylation‐informed phylogenies and defines the core epigenome.
Bin Ma, Huimin Gong, Ran Zhuo, Zaixiao Rao, Yanxi Wan, Mingyang Wang, Zahra Zeinalzadeh, Yuan Gao, Aohan Guan, Xinrun Li, Wanting Chen, Xiliang Wang, Yun Wan, Sihua Zhang, Yuncai Xiao, Qi Huang, Paul R. Langford, Xiangru Wang, Rui Zhou, Rui Luo, Hongbo Zhou, Chengliang Zhu, Hui Jin   +22 more
wiley   +1 more source

A Phosphorylation‐Induced Micellization Switch in the Low‐Complexity Domain of TDP‐43

Advanced Science, EarlyView.
Phosphorylation of TAR DNA‐binding protein's 43 kDa (TDP‐43) low‐complexity domain by casein kinase 1 delta (CK1δ) acts as a molecular switch, redirecting its self‐assembly from macroscopic phase separation toward finite‐sized, spherical block‐copolymer micelles of ∼30 nm.
Rodrigo F. Dillenburg, Anastasia Lopatina, Hao Ruan, Tom Scheidt, Simone Mosna, Emre Pekbilir, Julia Bieber, Frank Schäfer‐Depoix, Katharina Landfester, Carla Schmidt, Martin M. Möckel, Svenja Morsbach, Friederike Schmid, Dorothee Dormann, Lukas Stelzl, Martin Girard, Edward A. Lemke   +16 more
wiley   +1 more source

PolyG Fibrils Coalesce Into Nuclear Ribbons That Engage Proteostasis Machinery in Neuronal Intranuclear Inclusion Disease

Advanced Science, EarlyView.
In NIID, expanded NOTCH2NLC repeats give rise to nuclear polyG inclusions. Tracer‐guided in situ cryo‐electron tomography enables cross‐scale structural analysis from mouse brain to native neuronal nuclei, revealing dense‐core/peripheral‐halo inclusions built from compact polyG ribbons.
Hui Dong, Yongcheng Pan, Zhiyao Tang, Yuxuan Yao, Guicong Zhang, Junpu Wang, Haonan Xiao, Yun Tian, Beisha Tang, Dan Li, Qiang Guo, Ruijun Tian, Qiong Liu, Cong Liu   +13 more
wiley   +1 more source

Chapter 7 Linear Type Theory

, 2007
itives j A B j !A Exponentials We now reconsider the quanti ers, 8x: A and 9x: A. In the rst-order linear logic we developed, the quanti ers range over a single (unspeci ed) domain.
Linear Type Theory, J A (a J A
core