Results 11 to 20 of about 9,530,020 (358)
Polymorphic type inference and abstract data types [PDF]
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.
Martin Odersky, Konstantin Läufer
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
The Wheel of Rational Numbers as an Abstract Data Type [PDF]
, 2021 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 infinity ∞ or error element ⊥. A wheel is an algebra in which division is totalised by setting 1/0 =
John Tucker
core +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
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
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
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