Results 1 to 10 of about 6,985,342 (187)
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
semanticscholar +8 more sources
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jouannaud, Jean-Pierre, Okada, Mitsuhiro
openaire +2 more sources
Polymorphic type inference and abstract data types
ACM Transactions on Programming Languages and Systems, 1994 Many statically typed programming languages provide an abstract data type construct, such as the module in Modula-2. However, in most of these languages, implementations of abstract data types are not first-class values. Thus, they cannot be assigned to variables, passed as function parameters, or returned as function results.
Konstantin Läufer, Martin Odersky
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
Journal of King Saud University: Computer and Information Sciences, 2021 Explosive growth of data in digital world leads to the requirement of efficient technique to store and transmit data. Due to limited resources, data compression (DC) techniques are proposed to minimize the size of data being stored or communicated. As DC
Uthayakumar Jayasankar +2 more
semanticscholar +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
The Transrational Numbers as an Abstract Data Type
Transmathematica, 2020 In an arithmetical structure one can make division a total function by defining 1/0 to be an element of the structure, or by adding a new element, such as an error element also denoted with a new constant symbol, an unsigned infinity or one or both ...
J. Bergstra, J. V. Tucker
semanticscholar +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