Results 31 to 40 of about 10,189,806 (382)
Abstract Constraint Data Types [PDF]
, 2015 Martin Wirsing is one of the earliest contributors to the area of Algebraic Specification (e.g., [2]), which he explored in a variety of domains over many years. Throughout his career, he has also inspired countless researchers in related areas.
Fiadeiro, José Luiz +1 more
openaire +4 more sources
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
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
Lexical typology through similarity semantics: Toward a semantic map of motion verbs [PDF]
, 2012 This paper discusses a multidimensional probabilistic semantic map of lexical motion verb stems based on data collected from parallel texts (viz. translations of the Gospel according to Mark) for 100 languages from all continents.
Cysouw, Michael, Wälchli, Bernhard
core +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
Towards High-Level Programming of Multi-GPU Systems Using the SkelCL Library [PDF]
, 2012 Application programming for GPUs (Graphics Processing Units) is complex and error-prone, because the popular approaches — CUDA and OpenCL — are intrinsically low-level and offer no special support for systems consisting of multiple GPUs.
Gorlatch, Sergei +2 more
core +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
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
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