Results 141 to 150 of about 20,179 (255)

A Note on Logic Programming Fixed-Point Semantics

, 1993
In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is characterized by properties of universality.
Sassone, V.
core  

The Human Mind in Dialogue With its Replica AI - a Historical Perspective. [PDF]

Integr Psychol Behav Sci
Klempe SH.
europepmc   +1 more source

Electrocatalytic Coupling Conversion of Methane by Dual‐Site Control in Nickel Oxyhydroxide

Advanced Science, EarlyView.
Electrocatalytic coupling conversion of methane (CH4) is accomplished on the nickel oxyhydroxide (NiOOH), wherein the Ni─O dual‐site is triggered via the proper electronic interaction, synergistically promoting the C─H activation and C─C formation, enabling a selective and efficient C2 product generation route under ambient conditions. ABSTRACT Methane
Kailong Lu, Yangshen Chen, Junhao Wang, Yi Zhang, Sunyang He, Huimin Xu, Hui Liu, Jiao Deng   +7 more
wiley   +1 more source

Evaluating Neural Networks Architectures for Competency Prediction from Process Data Using PISA Computer-Based Mathematics Assessment. [PDF]

J Intell
Kuang H.
europepmc   +1 more source

SPADE: A Deep Learning Framework for Spatial Mapping and Quantitative Cell–Cell Interaction Inference

Advanced Science, EarlyView.
SPADE integrates spatial transcriptomics with single‐cell RNA sequencing by using cell–cell communications (CCC) as a guide for spatial mapping. It improves cell‐type localization, enhances sparse gene‐expression signals, and reveals CCC programs at single‐spot resolution.
Xinyi Li, Ning Zhang, Zijie Jin
wiley   +1 more source

Research on group type theory and its functorial semantic models in category logic. [PDF]

PLoS One
Tang JG, Aishan Y, Liu JY, Peng JY.
europepmc   +1 more source

A Single‐Cell Transcriptomic Atlas of the Ovine Rumen Microbiome Characterizes Lineage‐Specific Metabolic Shifts Associated with Host Heat Tolerance

Advanced Science, EarlyView.
An optimized single‐cell transcriptomic framework profiles over 60 000 cells to map the ovine rumen microbiome, partitioning the ecosystem into seven cross‐species functional clusters. In heat‐resistant hosts, a lineage‐specific metabolic shift in Anaerovibrio lipolyticus toward a highly glycolytic phenotype contributes to a “nutritional sparing ...
Sanbao Zhang, Qinyang Jiang, Junjie Ma, Jianwei Zou, Fan Wang, Feifei Lv, Yanna Huang, Yongcheng Wang, Ziye Xu   +8 more
wiley   +1 more source

The effect of the creative problem-solving approach on creative thinking skills. [PDF]

Front Psychol
Ersoy E, Kara DÖ.
europepmc   +1 more source

Category Theory and Search for New Mathematical Foundations of Physics

, 2010
The article is devoted to the analysis of known attempts to use mathematical category theory as general grounds for mathematics and physics.
openaire   +1 more source

CauFinder: Steering Cell‐State and Phenotype Transitions by Causal Disentanglement Learning

Advanced Science, EarlyView.
CauFinder combines causal disentanglement modeling and network control to prioritize causal drivers of cell‐state transitions from observational transcriptomic data. The framework separates transition‐relevant signals from spurious associations, nominates intervention targets across biological and disease contexts, and identifies DAAM1 as an actionable
Chengming Zhang, Zexi Chen, Yuanxiang Miao, Zuolin Shen, Deyu Cai, Shijie Tang, Yun Xue, Weifeng Guo, Hongbin Ji, Jian Liu, Kazuyuki Aihara, Luonan Chen   +11 more
wiley   +1 more source