Results 101 to 110 of about 37,011 (230)

(In)consistency of extensions of Higher Order Logic and Type Theory

, 2008
. It is well-known, due to the work of Girard and Coquand, that adding polymorphic domains to higher order logic, HOL, or its type theoretic variant λHOL, renders the logic inconsistent. This is known as Girard’s paradox, see [7].
Herman Geuvers
core  

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

Designer Dynamic DNA Nanoaggregate in Living Cell for Mitochondrial Energy Restriction

Advanced Science, EarlyView.
This study presents the Tech‐tetrahedron, a designer dynamic DNA nanoaggregate engineered for precise mitochondrial energy restriction. Its trinity‐functionalized design integrates navigable unit, telomerase‐activated latch, and self‐assembly module.
Ruijia Deng, Jing Sheng, Ben Niu, Wenjuan Fu, Yingjie Yang, Zuowei Xie, Shuang Xie, Yunxuan He, Meilin Gong, Jue Wang, Yan Pi, Ming Chen, Kai Chang   +12 more
wiley   +1 more source

Interacting Parallel Fluidic Hysterons

Advanced Science, EarlyView.
The parallel coupling of fluidic hysterons is introduced, establishing advanced functionalities in inflatable soft systems. A pressure–volume framework reveals how preset volumes Δv∗${\Delta }v^*$ tune nonlinear interactions between hysterons and actuation sequences without changing architecture. Experiments validate the predictions, opening new routes
Katrien Stinissen, Franco Nicolas Piñan Basualdo, Benjamin Gorissen   +2 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

Tools and techniques for formalising structural proof theory

, 2010
Whilst results from Structural Proof Theory can be couched in many formalisms, it is the sequent calculus which is the most amenable of the formalisms to metamathematical treatment.
Chapman, Peter
core  

An Integrative Strategy Delineates Modular Metabolic Remodeling and Potential Therapeutic Targets Across Metabolic Diseases

Advanced Science, EarlyView.
An integrative single‐cell atlas across multiple metabolic diseases reveals coordinated metabolic modules and disease‐shared versus disease‐specific pathway activities. By systematically comparing scoring strategies, a robust RankAve framework is established. Coupled with network analysis and drug‐target prediction, this resource uncovers cross‐disease
Kuan Yang, Congxue Hu, Hang Zhao, Xiao Peng, Yiming Yan, Jiasi Wang, Wenqi Jiang, Depeng Mu, Yan Cao, Xia Li, Yunpeng Zhang   +10 more
wiley   +1 more source

Molecularly Engineered Wing‐Shaped Azobenzene Memristors for Logic‐in‐Memory and Edge Visual Intelligence

Advanced Science, EarlyView.
Rational engineering of terminal substituents in symmetric azobenzene‐based molecules enables precise control over conformationally coupled charge‐transfer processes. This design yields tunable nonvolatile resistive memory behaviors, ranging from write‐once‐read‐many‐times (WORM) to rewritable switching.
Yanze Liu, Tao Han, Jiahui Ding, Hong Lian, Lingling Yao, Zhaoxin Xu, Xingyu Zhang, Shuanglong Wang, Jiangnan Xia, Tianchi Zhang, Weiwei Kang, Qingchen Dong   +11 more
wiley   +1 more source

Terahertz Channel Modeling, Estimation and Localization in RIS‐Assisted Systems

Advanced Electronic Materials, EarlyView.
Reconfigurable intelligent surfaces have become a recent intensive research focus. Based on practical applications, channel strategies for RIS‐assisted terahertz wireless communication systems are categorized into three different types: channel modeling, channel estimation, and channel localization.
Hongjing Wang, Weipeng Wang, Xuan Cong, Shiyu Wang, Gao Li, Sen Gong, Lin Huang, Hongxin Zeng, Yaxin Zhang, Ziqiang Yang   +9 more
wiley   +1 more source

Polymorphic Types in Higher-Order Logic Programming

, 1993
This paper analyses the requirements to the notion of type correctness in logic programming and proposes several "adequacy" criteria for such a system.
Michael Kifer, Weidong Chen
core