Results 21 to 30 of about 10,189,806 (382)
The rational numbers as an abstract data type
Journal of the ACM, 2007 We give an equational specification of the field operations on the rational numbers under initial algebra semantics using just total field operations and 12 equations. A consequence of this specification is that 0 −1 = 0, an interesting equation consistent with the ring axioms and many properties of division.
Bergstra, J.A., Tucker, J.V.
openaire +7 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
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
Speech Pauses and Pronominal Anaphors
Frontiers in Computer Science, 2021 This paper addresses the usefulness of speech pauses for determining whether third person neuter gender singular pronouns refer to individual or abstract entities in Danish spoken language.
Costanza Navarretta
doaj +1 more source