Results 91 to 100 of about 1,585,173 (321)
Advanced Science, EarlyView.An entity‐centric foundation model, GloPath, is introduced for comprehensive glomerular lesion assessment from routine renal biopsy images. Trained on over one million glomeruli, the framework enables robust lesion recognition, grading, and cross modality diag nosis, while uncovering large‐scale clinicopathological associations.
Qiming He +28 more
wiley +1 more source
Theorem proving support in programming language semantics [PDF]
, 2007 We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system.
Bertot, Yves
core +3 more sources
Multimodal Wearable Biosensing Meets Multidomain AI: A Pathway to Decentralized Healthcare
Advanced Science, EarlyView.Multimodal biosensing meets multidomain AI. Wearable biosensors capture complementary biochemical and physiological signals, while cross‐device, population‐aware learning aligns noisy, heterogeneous streams. This Review distills key sensing modalities, fusion and calibration strategies, and privacy‐preserving deployment pathways that transform ...
Chenshu Liu +10 more
wiley +1 more source
Attribute Reduction in Soft Contexts Based on Soft Sets and Its Application to Formal Contexts
Mathematics, 2020 We introduce the notion of the reduct of soft contexts, which is a special notion of a consistent set for soft contexts. Then, we study its properties and show that this notion is well explained by the two classes, 1 0 and 2 0 , of ...
Won Keun Min
doaj +1 more source
MGDP: Mastering a Generalized Depth Perception Model for Quadruped Locomotion
Advanced Science, EarlyView.ABSTRACT Perception‐based Deep Reinforcement Learning (DRL) controllers demonstrate impressive performance on challenging terrains. However, existing controllers still face core limitations, struggling to achieve both terrain generality and platform transferability, and are constrained by high computational overhead and sensitivity to sensor noise.
Yinzhao Dong +9 more
wiley +1 more source
PAIR: Reconstructing Single‐Cell Open‐Chromatin Landscapes for Transcription Factor Regulome Mapping
Advanced Science, EarlyView.scATAC‐seq analysis is often constrained by limited sequencing depth, extreme sparsity, and pervasive technical missingness. PAIR is a probabilistic framework that restores scATAC‐seq accessibility profiles by directly modeling the native cell–peak bipartite structure of chromatin accessibility.
Yanchi Su +7 more
wiley +1 more source
Antonymy In Space And Other Strictly Ordered Domains
The Baltic International Yearbook of Cognition, Logic and Communication, 2015 Natural language references different types of entities. Some of these entities (e.g. degrees, locations, times) are strictly ordered with respect to one another; others (e.g. individuals, possible worlds) are not.
Jessica Rett
doaj +1 more source
What is the abdomen? Rationalising clinical and anatomical perspectives using formal semantics. [PDF]
J Anat, 2021 Brown PJB, Gao Y, Clunie D.
europepmc +1 more source
Advanced Science, EarlyView.SPARK decodes structure‐property relationships in anion exchange membranes (AEMs) via a chemically informed dual‐channel graph attention network (DEGAT) that explicitly captures microphase separation. It outputs five‐level grades for hydroxide conductivity and alkaline stability and highlights relevant key structural units, enabling robust pre ...
Wanting Chen +6 more
wiley +1 more source
Experimental evidence for neg-raising in Slavic
Linguistica, 2016 Most research studying neg-raising focuses on English. Two notable exceptions are Bošković & Gajewski (2009) and Dočekal (2014) who discuss neg-raising in Slavic.
Mojmír Dočekal, Jakub Dotlačil
doaj +1 more source