Results 121 to 130 of about 1,341,656 (346)
Advanced Science, EarlyView.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
Biomechanics‐Driven 3D Architecture Inference from Histology Using CellSqueeze3D
Advanced Science, EarlyView.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
Coinductive Big-Step Operational Semantics [PDF]
, 2006 This paper illustrates the use of co-inductive definitions and proofs in big-step operational semantics, enabling the latter to describe diverging evaluations in addition to terminating evaluations. We show applications to proofs of type soundness and to proofs of semantic preservation for compilers.
openaire +2 more sources
Advanced Science, EarlyView.This work presents a dispersive full‐channel Jones matrix modulation strategy using single‐layer metasurface. By synergizing wavelength dispersion engineering with elliptical polarization bases, independent control of four Jones matrix channels is achieved across multiple wavelengths.
Hairong He +10 more
wiley +1 more source
A Rule-based Operational Semantics of Graph Query Languages [PDF]
, 2022 Dominique Duval +2 more
openalex +1 more source
Generative Artificial Intelligence Shaping the Future of Agri‐Food Innovation
AgriFood: Journal of Agricultural Products for Food, EarlyView.Emerging use cases of generative artificial intelligence in agri‐food innovation. ABSTRACT The recent surge in generative artificial intelligence (AI), typified by models such as GPT, diffusion models, and large vision‐language architectures, has begun to influence the agri‐food sector.
Jun‐Li Xu +2 more
wiley +1 more source
Typical Examples of Atoment Language Using
Моделирование и анализ информационных систем, 2011 Atoment is a domain-specific language of executable specifications, used to describe methods and techniques of program verification. In this paper a collection of typical examples of the use of the Atoment language, covering topics such as program models,
I. S. Anureev
doaj
Coinductive big-step operational semantics [PDF]
, 2008 Xavier Leroy, Grall, Hervé
openalex +1 more source
Agribusiness, EarlyView.Abstract World markets for quality differentiated agri‐food products are highly competitive, presenting significant challenges for firms aiming to compete effectively. Government agencies and business organizations often implement various export promotion policies to address these challenges.
Nicolás Depetris‐Chauvin +1 more
wiley +1 more source
Agribusiness, EarlyView.ABSTRACT This study analyzes the effects of value co‐creation and creation of shared value in agricultural input marketing. This study used a sample of 178 agricultural companies in Costa Rica. The data were analyzed using partial least squares structural equation modeling (PLS‐SEM) with SMART PLS software. Our findings reveal the significant influence
Luis Ricardo Solís‐Rivera +1 more
wiley +1 more source