Results 81 to 90 of about 189,135 (277)
Donor‐derived tdTomato+ mature hepatocytes were FACS‐isolated and transplanted into Fah−/− host mice. During regeneration, these cells convert into proliferative, unipotent Afp+ rHeps. Their plasticity is governed by a PPARγ/AFP‐dependent metabolic switch, segregating into pro‐proliferative Afplow and pro‐survival Afphigh subpopulations.
Ting Fang +12 more
wiley +1 more source
On the Expressive Power of Multiple Heads in CHR
Constraint Handling Rules (CHR) is a committed-choice declarative language which has been originally designed for writing constraint solvers and which is nowadays a general purpose language.
Di Giusto, Cinzia +2 more
core +3 more sources
Spectral Decomposition of Chemical Semantics for Activity Cliffs‐Aware Molecular Property Prediction
PrismNet mimics chemical intuition by functioning as a computational prism, refracting molecular graphs into complementary semantic views and spectral frequencies. This dual‐decomposition strategy effectively captures both global topologies and subtle “activity cliff” perturbations.
Chaoyang Xie +9 more
wiley +1 more source
A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems [PDF]
In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p system, which allows for local inconsistency handling. We then characterise the
Franconi, Enrico +3 more
core +3 more sources
CACLENS: A Multitask Deep Learning System for Enzyme Discovery
CACLENS, a multimodal and multi‐task deep learning framework integrating cross‐attention, contrastive learning, and customized gate control, enables reaction type classification, EC number prediction, and reaction feasibility assessment. CACLENS accelerates functional enzyme discovery and identifies efficient Zearalenone (ZEN)‐degrading enzymes.
Xilong Yi +5 more
wiley +1 more source
RegGAIN is a novel and powerful deep learning framework for inferring gene regulatory networks (GRNs) from single‐cell RNA sequencing data. By integrating self‐supervised contrastive learning with dual‐role gene representations, it consistently outperforms existing methods in both accuracy and robustness.
Qiyuan Guan +9 more
wiley +1 more source
The semantics of Chemical Markup Language (CML) for computational chemistry : CompChem
This paper introduces a subdomain chemistry format for storing computational chemistry data called CompChem. It has been developed based on the design, concepts and methodologies of Chemical Markup Language (CML) by adding computational chemistry ...
Phadungsukanan Weerapong +3 more
doaj +1 more source
Context Semantics, Linear Logic and Computational Complexity
We show that context semantics can be fruitfully applied to the quantitative analysis of proof normalization in linear logic. In particular, context semantics lets us define the weight of a proof-net as a measure of its inherent complexity: it is both an
Lago, Ugo Dal
core +3 more sources
Scalability using effects [PDF]
This note is about using computational effects for scalability. With this method, the specification gets more and more complex while its semantics gets more and more correct.
Duval, Dominique
core +1 more source
Biomechanics‐Driven 3D Architecture Inference from Histology Using CellSqueeze3D
CellSqueeze3D reconstructs 3D cellular architecture from standard 2D histology images using biomechanical constraints and optimization. Validated on clinical datasets, it enables accurate tissue phenotyping, predicts gene mutations, and reveals significant correlations between nuclear‐cytoplasmic ratio entropy and tumor progression.
Yan Kong, Hui Lu
wiley +1 more source

