Results 81 to 90 of about 1,792,574 (173)

Database Instances, Abstract Data Types and Database Specification [PDF]

, 1985
T. S. E. Maibaum
openalex   +1 more source

The algorithmic specification method of abstract data types: an overview [PDF]

, 1986
Jacques Loeckx
openalex   +1 more source

Limits of Commutativity on Abstract Data Types [PDF]

5th International Conference on Information Systems and Management of Data (CISMOD'92), Bangalore : India (1992), 2010
We present some formal properties of (symmetrical) commutativity, the major criterion used in transactional systems, which allow us to fully understand its advantages and disadvantages. The main result is that commutativity is subject to the same limitation as compatibility for arbitrary objects.
arxiv  

Abstract data type support in Prolog and its relation to parallelism [PDF]

, 1994
Isambo Karali, C. Halatsis
openalex   +1 more source

SDePER: a hybrid machine learning and regression method for cell-type deconvolution of spatial barcoding-based transcriptomic data

Genome Biology
Spatial barcoding-based transcriptomic (ST) data require deconvolution for cellular-level downstream analysis. Here we present SDePER, a hybrid machine learning and regression method to deconvolve ST data using reference single-cell RNA sequencing (scRNA-
Yunqing Liu, Ningshan Li, Ji Qi, Gang Xu, Jiayi Zhao, Nating Wang, Xiayuan Huang, Wenhao Jiang, Huanhuan Wei, Aurélien Justet, Taylor S. Adams, Robert Homer, Amei Amei, Ivan O. Rosas, Naftali Kaminski, Zuoheng Wang, Xiting Yan   +16 more
doaj   +1 more source

Practical ultra‐reliability for abstract data types [PDF]

, 2007
Borislav Nikolik, Dick Hamlet
openalex   +1 more source

Benchmarking cell type annotation methods for 10x Xenium spatial transcriptomics data

BMC Bioinformatics
Background Imaging-based spatial transcriptomics technologies allow us to explore spatial gene expression profiles at the cellular level. Cell type annotation of imaging-based spatial data is challenging due to the small gene panel, but it is a crucial ...
Jinming Cheng, Xinyi Jin, Gordon K. Smyth, Yunshun Chen   +3 more
doaj   +1 more source

The EuroCropsML time series benchmark dataset for few-shot crop type classification in Europe

Scientific Data
We introduce EuroCropsML, an analysis-ready remote sensing dataset based on the open-source EuroCrops collection, for machine learning (ML) benchmarking of time series crop type classification in Europe.
Joana Reuss, Jan Macdonald, Simon Becker, Lorenz Richter, Marco Körner   +4 more
doaj   +1 more source

Abstract data types as a project development organiser [PDF]

, 1998
Bruria Haberman, Zahava Scherz, Ehud Shapiro   +2 more
openalex   +2 more sources

Deconvolution from bulk gene expression by leveraging sample-wise and gene-wise similarities and single-cell RNA-seq data

BMC Genomics
Background The widely adopted bulk RNA-seq measures the gene expression average of cells, masking cell type heterogeneity, which confounds downstream analyses.
Chenqi Wang, Yifan Lin, Shuchao Li, Jinting Guan   +3 more
doaj   +1 more source