Results 91 to 100 of about 518,705 (322)
Set-Theoretic Completeness for Epistemic and Conditional Logic
, 1999 The standard approach to logic in the literature in philosophy and mathematics, which has also been adopted in computer science, is to define a language (the syntax), an appropriate class of models together with an interpretation of formulas in the ...
Halpern, Joseph Y.
core +4 more sources
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
Meaning and Reference in Programming Languages
PhilosophiesThis paper provides an analysis of the meaning–reference problem, as traditionally advanced in the philosophy of language, for imperative programming languages.
Nicola Angius
doaj +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
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
Virtual Evidence: A Constructive Semantics for Classical Logics [PDF]
, 2014 This article presents a computational semantics for classical logic using constructive type theory. Such semantics seems impossible because classical logic allows the Law of Excluded Middle (LEM), not accepted in constructive logic since it does not have
Constable, Robert L.
core
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
Advanced Science, EarlyView.UniMR, a training‐free framework for automated molecular recognition in STM images. By integrating adaptive feature selection with CLIP embeddings and Gaussian Mixture Modeling, UniMR achieves robust performance across diverse molecular systems and low‐resolution conditions.
Ziqiang Cao +10 more
wiley +1 more source
A Voting-Based Ensemble Approach for Brain Disorder Detection Using Random Forest
ComputersBackground: Automatic detection of abnormal electroencephalogram (EEG) signals is essential for supporting clinical screening and reducing human error in EEG interpretation.
Dina Abooelzahab +3 more
doaj +1 more source