Results 21 to 30 of about 5,183,162 (349)
EPISCORE: cell type deconvolution of bulk tissue DNA methylomes from single-cell RNA-Seq data
Genome Biology, 2020 Cell type heterogeneity presents a challenge to the interpretation of epigenome data, compounded by the difficulty in generating reliable single-cell DNA methylomes for large numbers of cells and samples.
Andrew E. Teschendorff +3 more
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
Catalogue of Rangomaramidae (Diptera: Bibionomorpha) types housed in the collection of the Museu de Zoologia da Universidade de São Paulo, Brazil [PDF]
Papéis Avulsos de Zoologia, 2020 This paper provides a catalogue of the type specimens of Rangomaramidae (Diptera: Bibionomorpha) held in the collection of the Museu de Zoologia da Universidade de São Paulo, Brazil (MZUSP).
Rafaela Lopes Falaschi +2 more
doaj +1 more source
BMC Bioinformatics, 2023 Background Quantifying cell-type abundance in bulk tissue RNA-sequencing enables researchers to better understand complex systems. Newer deconvolution methodologies, such as MuSiC, use cell-type signatures derived from single-cell RNA-sequencing (scRNA ...
Nicholas K. O’Neill +7 more
doaj +1 more source
A Logic for Abstract Data Types as Existential Types [PDF]
, 1999 The second-order lambda calculus allows an elegant formalisation of abstract data types (ADT's) using existential types. Plotkin and Abadi's logic for parametricity [PA93] then provides the useful proof principle of simulation for ADT's, which can be used to show equivalence of data representations.
Erik Poll, Jan Zwanenburg
openaire +3 more sources
Sterile neutrinos with altered dispersion relations revisited
Journal of High Energy Physics, 2020 In this paper we investigate neutrino oscillations with altered dispersion relations in the presence of sterile neutrinos. Modified dispersion relations represent an agnostic way to parameterize new physics.
G. Barenboim +3 more
doaj +1 more source
Nature Communications, 2023 Mapping cell type-specific gene expression quantitative trait loci (ct-eQTLs) is a powerful way to investigate the genetic basis of complex traits. A popular method for ct-eQTL mapping is to assess the interaction between the genotype of a genetic locus ...
Paul Little +5 more
doaj +1 more source
An abstract data type for real numbers [PDF]
Theoretical Computer Science, 1997 AbstractWe present a calculus having real numbers as a basic data type. The calculus is defined by its denotational semantics. We prove the universality of the calculus. We show how the definition of an operational semantics is problematic. We discuss this problem and present a possible solution.
openaire +2 more sources
Nucleic Acids Res., 2022 CellMarker 2.0 (http://bio-bigdata.hrbmu.edu.cn/CellMarker or http://117.50.127.228/CellMarker/) is an updated database that provides a manually curated collection of experimentally supported markers of various cell types in different tissues of human ...
Congxue Hu +12 more
semanticscholar +1 more source
Levinson type inequalities for higher order convex functions via Abel–Gontscharoff interpolation
Advances in Difference Equations, 2019 In this paper, Levinson type inequalities are studied for the class of higher order convex functions by using Abel–Gontscharoff interpolation. Cebyšev, Grüss, and Ostrowski-type new bounds are also found for the functionals involving data points of two ...
Muhammad Adeel +3 more
doaj +1 more source