Results 111 to 120 of about 106,571 (319)
Convergent and Divergent Connectivity Patterns of the Arcuate Fasciculus in Macaques and Humans
Advanced Science, EarlyView.This study employs viral‐based single‐neuron tracing and dMRI‐based whole‐brain tractography to investigate arcuate fasciculus (AF) trajectories in macaque monkeys, and compares with the human AF connectome using spectral embedding. Results demonstrate conserved AF topography spanning temporoparietal‐auditory‐frontal pathways across primates, with ...
Jiahao Huang +17 more
wiley +1 more source
Categorical model of structural operational semantics for imperative language
Journal of Information and Organizational Sciences, 2016 Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics.
William Steingartner, Valerie Novitzká
doaj
Visualizing the semantics of gradual languages with Gredex
SoftwareXWe present Gredex, an interactive tool to visually explore the static and dynamic semantics of gradually-typed programming languages. Gredex supports a core gradual language with numbers, booleans, functions, pairs, sums, and fixpoints.
Matías Toro, Éric Tanter
doaj +1 more source
A Rule-based Operational Semantics of Graph Query Languages [PDF]
, 2022 Dominique Duval +2 more
openalex +1 more source
Advanced Science, EarlyView.This schematic integrates the eight statistically significant causal relationships identified between 1,366 brain imaging‐derived phenotypes (IDPs) and 18 autoimmune inflammatory diseases (AIDs). Arrows indicate the direction of causality inferred from bidirectional two‐sample MR analyses.
Jinbin Chen +8 more
wiley +1 more source
Coinductive big-step operational semantics [PDF]
, 2008 Xavier Leroy, Grall, Hervé
openalex +1 more source
A complete proof of the safety of Nöcker's strictness analysis [PDF]
, 2005 This paper proves correctness of Nöcker's method of strictness analysis, implemented in the Clean compiler, which is an effective way for strictness analysis in lazy functional languages based on their operational semantics.
Sabel, David +2 more
core
OBUSight: Clinically Aligned Generative AI for Ophthalmic Ultrasound Interpretation and Diagnosis
Advanced Science, EarlyView.OBUSight, a clinically aligned generative AI model that jointly generates reports and predicts diseases through multimodal semantic alignment, was trained and validated on a large multicenter dataset. OBUSight outperformed eight state‐of‐the‐art models, provided clinically reliable reports, enhanced diagnostic efficiency, and achieved performance ...
Xiaocong Liu +17 more
wiley +1 more source
C Program Verication in the Multilanguage System Spectrum
Моделирование и анализ информационных систем, 2010 This paper presents the expendable multi-language analysis and verication system SPECTRUM, which is being developed within the framework of the project SPEC- TRUM. The project prospects are discussed using the example of C program verication. The project
V. A. Nepomniashy +5 more
doaj
S3RL: Enhancing Spatial Single‐Cell Transcriptomics With Separable Representation Learning
Advanced Science, EarlyView.Separable Spatial Representation Learning (S3RL) is introduced to enhance the reconstruction of spatial transcriptomic landscapes by disentangling spatial structure and gene expression semantics. By integrating multimodal inputs with graph‐based representation learning and hyperspherical prototype modeling, S3RL enables high‐fidelity spatial domain ...
Laiyi Fu +6 more
wiley +1 more source