Results 51 to 60 of about 5,273,188 (324)
Limits of the "algebraic" specification of abstract data types
SIGP, 1977 This paper deals with the feasibility of the algebraic specification technique for abstract data types, which consists of a declaration of the operations of a data type and a finite set of "axioms" for the operations.
M. Majster
semanticscholar +1 more source
Putative biomarkers for predicting tumor sample purity based on gene expression data
BMC Genomics, 2019 Background Tumor purity is the percent of cancer cells present in a sample of tumor tissue. The non-cancerous cells (immune cells, fibroblasts, etc.) have an important role in tumor biology.
Yuanyuan Li +5 more
doaj +1 more source
Efficient Lock-free Binary Search Trees
, 2014 In this paper we present a novel algorithm for concurrent lock-free internal binary search trees (BST) and implement a Set abstract data type (ADT) based on that. We show that in the presented lock-free BST algorithm the amortized step complexity of each
Chatterjee, Bapi +2 more
core +1 more source
Learning from safeguarding adult reviews on self-neglect: addressing the challenge of change [PDF]
, 2018 Purpose – One purpose is to update the core data set of self-neglect safeguarding adult reviews and accompanying thematic analysis. A second purpose is to address the challenge of change, exploring the necessary components beyond an action plan to ensure
Department of Health +4 more
core +1 more source
Design and Evaluation of a Simple Data Interface for Efficient Data Transfer Across Diverse Storage [PDF]
ACM Transactions on Modeling and Performance Evaluation of
Computing Systems 2021, 2020 Modern science and engineering computing environments often feature storage systems of different types, from parallel file systems in high-performance computing centers to object stores operated by cloud providers. To enable easy, reliable, secure, and performant data exchange among these different systems, we propose Connector, a pluggable data access
arxiv +1 more source
A Survey on Neural Abstractive Summarization Methods and Factual Consistency of Summarization [PDF]
arXiv, 2022 Automatic summarization is the process of shortening a set of textual data computationally, to create a subset (a summary) that represents the most important pieces of information in the original text. Existing summarization methods can be roughly divided into two types: extractive and abstractive.
arxiv
Creep modelling of 316H stainless steel over a wide range of stress [PDF]
, 2016 Investigation of material creep behaviour in the diffusion controlled creep regime is often unfeasible because of the long duration associated with low stress levels.
Bonora, N., De Vita, G., Esposito, L.
core +1 more source
Population Ecology, EarlyView.In the process of captive breeding and reintroduction of endangered animal species, it is crucial to minimize familial bias in reproductive success during the reintroduction phase to preserve genetic diversity. In this study, we attempted to identify the familial lineage of individuals of the endangered bagrid fish Tachysurus ichikawai born at the ...
Hinano Mizuno +5 more
wiley +1 more source
BMC Medical Imaging, 2021 Background The molecular biomarkers of breast ductal carcinoma in situ (DCIS) have important guiding significance for individualized precision treatment.
Linyong Wu +8 more
doaj +1 more source
Abstract data types in the Model programming language
Conference on Data: Abstraction, Definition and Structure, 1976 The concept of an abstract data type is available in the Model programming language as a proposed improvement to current ideas of programming methodology. In structured programming the principal technique is refinement of procedures.
Robert T. Johnson, J. B. Morris
semanticscholar +1 more source