Results 101 to 110 of about 57,646 (303)

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

SKOOTS: Skeleton‐Oriented Object Segmentation for Mitochondria in High‐Resolution Cochlear EM Datasets

Advanced Science, EarlyView.
Skeleton‐oriented object segmentation (SKOOTS) introduces a new strategy for 3D mitochondrial instance segmentation by predicting explicit skeletons rather than relying on boundary cues. This approach enables robust analysis of densely packed organelles in large FIB‐SEM datasets.
Christopher J. Buswinka, Richard T. Osgood, Hidetomi Nitta, Artur A. Indzhykulian   +3 more
wiley   +1 more source

Operational Semantics of Process Monitors

, 2017
CSPe is a specification language for runtime monitors that can directly express concurrency in a bottom-up manner that composes the system from simpler, interacting components.
A Roscoe, B Bloom, B Bloom, CAR Hoare, DP Attard, GD Plotkin, JC Mitchell, JF Groote, K Havelund, Y Yamagata   +9 more
core   +1 more source

Design of Safe and Efficient Adenine Base Editors via Protein Language Model Screening for Osteoarthritis Treatment

Advanced Science, EarlyView.
ABSTRACT Base editors enable precise genome modification and have emerged as a promising therapeutic approach for correcting diseases caused by single‐nucleotide variants. While the current efficient version of adenine base editors (ABEs), such as ABE8e, exhibits exceptional efficiency for A‐to‐G conversions, their clinical translation is hindered by ...
Jiawei Yao, Dalin Chen, Ziyi Zhang, Jingxuan Ren, Chengcheng Zhao, Shengfang Wang, Mengyu Shang, Dawei Jiang, Yinuo Li, Su'an Tang, Kai Li, Xiaohui Zhang, Xiaogang Wang   +12 more
wiley   +1 more source

Learnable Diffusion Framework for Mouse V1 Neural Decoding

Advanced Science, EarlyView.
We introduce Sensorium‐Viz, a diffusion‐based framework for reconstructing high‐fidelity visual stimuli from mouse primary visual cortex activity. By integrating a novel spatial embedding module with a Diffusion Transformer (DiT) and a synthetic‐response augmentation strategy, our model outperforms state‐of‐the‐art fMRI‐based baselines, enabling robust
Kaiwen Deng, Peter S. Schwendeman, Yuanfang Guan   +2 more
wiley   +1 more source

Structural operational semantics for weak bisimulations

Theoretical Computer Science, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

The connection between an event structure semantics and an operational semantics forTCSP

Acta Informatica, 1994
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Baier, Christel, Majster-Cederbaum, Mila
openaire   +4 more sources

GloPath: An Entity‐Centric Foundation Model for Glomerular Lesion Assessment and Clinicopathological Insights

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, Jing Li, Tian Guan, Yifei Ma, Zimo Zhao, Yanxia Wang, Hongjing Chen, Yingming Xu, Shuang Ge, Yexing Zhang, Yizhi Wang, Xinrui Chen, Lianghui Zhu, Yiqing Liu, Qingxia Hou, Shuyan Zhao, Xiaoqin Wang, Lili Ma, Peizhen Hu, Qiang Huang, Zihan Wang, Zhiyuan Shen, Junru Cheng, Siqi Zeng, Jiurun Chen, Zhen Song, Chao He, Zhe Wang, Yonghong He   +28 more
wiley   +1 more source

Technology Readiness and System-Level Maturity of Aerospace Development in Peru: An Engineering-Based Systematic Review

Technologies
This paper presents a comprehensive technology-oriented review of aerospace development in Peru, integrating historical scientific infrastructure, suborbital experimentation, orbital satellite missions, and a systematic literature review of contemporary ...
Brayan Espinoza-Garcia, Oswaldo R. Banda-Sayco, Gerson Márquez, Stamber Alvaro Ramírez-Revilla   +3 more
doaj   +1 more source

Integrating Spatial Proteogenomics in Cancer Research

Advanced Science, EarlyView.
Xx xx. ABSTRACT Background: Spatial proteogenomics marks a paradigm shift in oncology by integrating molecular analysis with spatial information from both spatial proteomics and other data modalities (e.g., spatial transcriptomics), thereby unveiling tumor heterogeneity and dynamic changes in the microenvironment.
Yida Wang, Yang Wu, Feng Zhang, Parthiban Periasamy, Haiyue You, Denise Goh, Rachel Elizabeth Ann Fincham, Xin Ning, Danping Wu, Lu Liu, Ying Jiang, Zhiwen Qian, Joe Yeong, Yan Zhang   +13 more
wiley   +1 more source