Results 61 to 70 of about 5,309 (287)
A Verified Algebra for Linked Data [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links.
Ross Horne, Vladimiro Sassone
doaj +1 more source
Circuit Implementation of Variable-Order Scaling Fractal-Ladder Fractor with High Resolution
Fractal and Fractional, 2022 Extensive research has been conducted on the scaling fractal fractor using various structures. The development of high-resolution emulator circuits to achieve a variable-order scaling fractal fractor with high resolution is a major area of interest.
Bo Yu, Yifei Pu, Qiuyan He, Xiao Yuan
doaj +1 more source
Compositional Operators in Distributional Semantics [PDF]
Springer Science Reviews, 2014 This survey presents in some detail the main advances that have been recently taking place in Computational Linguistics towards the unification of the two prominent semantic paradigms: the compositional formal semantics view and the distributional models of meaning based on vector spaces. After an introduction to these two approaches, I review the most
openaire +4 more sources
CRCFound: A Colorectal Cancer CT Image Foundation Model Based on Self‐Supervised Learning
Advanced Science, EarlyView.CRCFound is a self‐supervised learning‐based CT image foundation model for colorectal cancer (CRC). Pretrained on 5137 unlabeled CRC CT images, it learns universal feature representations, enabling efficient adaptation to various clinical tasks. The model demonstrates outstanding performance and generalization across multiple diagnostic and prognosis ...
Jing Yang +13 more
wiley +1 more source
Advanced Science, EarlyView.This study presents a comprehensive data mining strategy for in‐depth extraction of overall and altered glycan features from structural and site‐specific glycoproteome data across various biomedical samples. The strategy enables the uncovery of four major altered glycan features associated with thymic involution and reveals their coordinated ...
Zhida Zhang +11 more
wiley +1 more source
Modeling operational semantics of machine instructions
Труды Института системного программирования РАН, 2018 This paper offers a model which allows describe operational semantics of machine instructions for various target architectures. Feature of this model is that it is intended for reverse transformation compared with classical compilation one, however the ...
V. A. Padaryan +2 more
doaj
An Effect System for Algebraic Effects and Handlers [PDF]
Logical Methods in Computer Science, 2014 We present an effect system for core Eff, a simplified variant of Eff, which is an ML-style programming language with first-class algebraic effects and handlers. We define an expressive effect system and prove safety of operational semantics with respect
Andrej Bauer, Matija Pretnar
doaj +1 more source
Advanced Science, EarlyView.Can a generative model design molecules that truly understand their targets? BInD, a diffusion‐based framework, co‐generates 3D molecules and their interactions with proteins by learning target‐specific interacting patterns. With knowledge‐based guidance and NCI‐driven optimization, BInD balances affinity, geometry, and drug‐likeness – pushing the ...
Joongwon Lee +3 more
wiley +1 more source
Reversing Parallel Programs with Blocks and Procedures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 We show how to reverse a while language extended with blocks, local variables, procedures and the interleaving parallel composition. Annotation is defined along with a set of operational semantics capable of storing necessary reversal information, and ...
James Hoey, Irek Ulidowski, Shoji Yuen
doaj +1 more source
A Multi‐Property Optimizing Generative Adversarial Network for de novo Antimicrobial Peptide Design
Advanced Science, EarlyView.A Multi‐Property Optimizing Generative Adversarial Network (MPOGAN) is proposed to iteratively learn the relationship between peptides and multiple properties using a dynamically dataset. As the quality of the dataset improves, MPOGAN's ability to design antimicrobial peptides (AMPs) with multiple desired properties is enhanced.
Jiaming Liu +16 more
wiley +1 more source