Results 1 to 10 of about 1,169,039 (310)
Blockchain Abstract Data Type [PDF]
The 31st ACM Symposium on Parallelism in Algorithms and Architectures, 2019 The presented work continues the line of recent distributed computing communityefforts dedicated to the theoretical aspects of blockchains. This paper is the rst tospecify blockchains as a composition of abstract data types all together with a hierarchyof consistency criteria that formally characterizes the histories admissible for distributedprograms ...
Anceaume, Emmanuelle +4 more
+12 more sources
Taming the abstract data type [PDF]
ACM SIGSOFT Software Engineering Notes, 1990 The overall aim of our research is to investigate the use of data abstraction in the early stages of the development of information systems. In this paper we suggest a simple classification of abstract data types as a guide to inexperienced system developers in the transition from an initial problem statement to a system description using data ...
Carol Britton +2 more
openaire +2 more sources
Enabling Type Checking on Columns in Data Frame Libraries by Abstract Interpretation
IEEE Access, 2022 Data frames are a tabular data structure widely used in transforming data to an appropriate form in data analysis, especially in data wrangling. However, when data frames are implemented with libraries rather than supported at the language level, it is ...
Yungyu Zhuang, Ming-Yang Lu
doaj +1 more source
Implementation of hyperbolic complex numbers in Julia language
Discrete and Continuous Models and Applied Computational Science, 2022 Hyperbolic complex numbers are used in the description of hyperbolic spaces. One of the well-known examples of such spaces is the Minkowski space, which plays a leading role in the problems of the special theory of relativity and electrodynamics. However,
Anna V. Korolkova +2 more
doaj +1 more source
Convex polyhedra with triangular faces and cone triangulation [PDF]
Yugoslav Journal of Operations Research, 2011 Considering the problem of the minimal triangulation for a given polyhedra (dividing polyhedra into tetrahedra) it is known that the cone triangulation provides the number of tetrahedra which is the smallest, or the closest to it.
Stojanović Milica, Vučković Milica
doaj +1 more source
Genome Biology, 2023 Bulk high-throughput omics data contain signals from a mixture of cell types. Recent developments of deconvolution methods facilitate cell type-specific inferences from bulk data.
Luxiao Chen, Ziyi Li, Hao Wu
doaj +1 more source
Genome Biology, 2023 Cell-type composition is an important indicator of health. We present Guided Topic Model for deconvolution (GTM-decon) to automatically infer cell-type-specific gene topic distributions from single-cell RNA-seq data for deconvolving bulk transcriptomes ...
Lakshmipuram Seshadri Swapna +2 more
doaj +1 more source
Genome Biology, 2022 A challenge in bulk gene differential expression analysis is to differentiate changes due to cell type-specific gene expression and cell type proportions.
Daiwei Tang, Seyoung Park, Hongyu Zhao
doaj +1 more source
Papéis Avulsos de Zoologia, 2022 A catalogue of the Lonchaeidae and Teratomyzidae of Chile is presented. This paper comprises two genera with five species of Lonchaeidae and two genera with two species of Teratomyzidae known from Chile, including information about the name of the taxon,
João Paulo Vinicios Rodrigues +1 more
doaj +1 more source
PREFERABLE TYPE OF ABSTRACT IN LEADING SCIENTIFIC JOURNALS [PDF]
Trakia Journal of Sciences, 2020 An abstract is perhaps the most important single paragraph in a manuscript since it is used for reference purposes in different scientific databases.
L. Doncheva
doaj +1 more source