Results 181 to 190 of about 201,623 (302)

A HIGHER-ORDER LOGIC AS THE BASIS FOR LOGIC PROGRAMMING

, 1987
The objective of this thesis is to provide a formal basis for higher-order features in the paradigm of logic programming. Towards this end, a non-extensional form of higher-order logic that is based on Church\u27s simple theory of types is used to ...
NADATHUR, GOPALAN
core  

Multi‐Omics Insights Into the Mechanisms of Early Muscle Fiber Difference and Transformation Between Lean‐Type and Chinese Indigenous Pigs

Advanced Science, EarlyView.
Multi‐omics analyses uncover breed‐specific cis‐regulatory landscapes and higher‐order chromatin architectural differences that underlie early postnatal muscle fiber divergence in pigs. A super‐enhancer upstream of PPP3CB recruits MEF2C to activate PPP3CB transcription, while the PPP3CB–MEF2C positive feedback loop promotes oxidative muscle fiber ...
Shuailong Zheng, Hainan Wu, Min Liu, Kunpeng Wu, Shuntao Huang, Zulfiqar Ahmed, Lenox Pius, Mengjin Zhu, Dequan Xu   +8 more
wiley   +1 more source

GPU-accelerated modeling of biological regulatory networks. [PDF]

Sci Rep
Reimer J, Saha P, Chen C, Dhar N, Byrns B, Rayan S, Broderick G.   +6 more
europepmc   +1 more source

Nanozymes for Advanced Hemoglobin‐Based Oxygen Carriers: Applications in Blood Substitution, Wound Healing, Antitumor Therapy, and Beyond

Advanced Science, EarlyView.
This review explores how hemoglobin‐based oxygen carriers (HBOCs) combined with nanozymes create multifunctional materials that deliver oxygen while maintaining redox homeostasis. Beyond artificial blood substitutes, these constructs enable wound healing with light‐triggered oxygen release, cancer therapy through enhanced oxygenation and reactive ...
Despoina Douka, Ana María Pablo‐Sainz‐Ezquerra, Eva Jakljevič, Niki Ktena, Leticia Hosta‐Rigau   +4 more
wiley   +1 more source

Neuro-symbolic NLP: taxonomy, assessment, and directions. [PDF]

Front Artif Intell
Chatzikyriakidis S, Lappin S.
europepmc   +1 more source

Ethical Precision in Nanoscale Brain Interfacing

Advanced Science, EarlyView.
As brain interfaces approach the nanoscale, precision no longer only measures—it knows, predicts, and potentially reshapes the mind. This work argues that traditional ethics fails under such conditions and proposes a shift toward continuous, operation‐based governance using the recovery–discovery framework to track, constrain, and responsibly steer ...
Guilherme Wood
wiley   +1 more source

The Abelian group structure of full factorial designs. [PDF]

Front Psychol
Altieri NA.
europepmc   +1 more source

Schooling Trajectories and the Development of Brain Dynamics: A Comparative Study of Montessori and Traditional Education

Advanced Science, EarlyView.
We investigate whether Montessori and traditional schooling systems shape the developmental trajectory of large‐scale brain dynamics in different ways. We quantify the arrow of time (“non‐reversibility”) in neural activity during resting state and movie‐watching, revealing distinct maturational patterns.
Elvira del Agua, Anira Escrichs, Yonatan Sanz Perl, Morten L. Kringelbach, Adele Diamond, Solange Denervaud, Gustavo Deco   +6 more
wiley   +1 more source

Superconducting artificial neural networks and quantum circuits. [PDF]

Beilstein J Nanotechnol
Sidorenko AS.
europepmc   +1 more source

Two‐Dimensional Triferroics: From Fundamental Couplings to Multifunctional Applications

Advanced Science, EarlyView.
This graphic summarizes the three main types of currently reported 2D triferroic couplings. From the structural perspective, existing systems can be broadly classified into two categories, which exhibit distinct symmetry features and coupling behaviors. Beyond the lattice difference, a third type involves the interplay among ferroelectricity, magnetism,
Yang Li, Jialin Gong, Zhiqing Li
wiley   +1 more source