Results 191 to 200 of about 6,254,795 (351)

Approximation properties of abstract data types

Theoretical Computer Science, 1983
AbstractThe well-known term model constructions for equational abstract data type specifications provide a basis for elementary semantic reasoning, but their models lack the structure necessary for reasoning about relationships between the elements. Based upon the identities supplied in the data type's specification, we define a congruence relation ...
openaire   +2 more sources

Abstract data types as a project development organiser [PDF]

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

Winsorization greatly reduces false positives by popular differential expression methods when analyzing human population samples

Genome Biology
A recent study found severely inflated type I error rates for DESeq2 and edgeR, two dominant tools used for differential expression analysis of RNA-seq data.
Lu Yang, Xianyang Zhang, Jun Chen
doaj   +1 more source

Complexity of algebraic implementations for abstract data types

, 1981
Hartmut Ehrig, Bernd Mahr
openalex   +1 more source

Information Aware Type Systems and Telescopic Constraint Trees [PDF]

arXiv
Can we use the flow of information to understand type systems? I present two familiar type systems in pursuit of an `Information Aware' style, using information effects to reveal data flow and help in implementing them. I also calculate a general, scoped, constraint-based representation of typechecking problems from the typing rules.
arxiv  

scGAA: a general gated axial-attention model for accurate cell-type annotation of single-cell RNA-seq data

Scientific Reports
Single-cell RNA sequencing (scRNA-seq) is a key technology for investigating cell development and analysing cell diversity across various diseases. However, the high dimensionality and extreme sparsity of scRNA-seq data pose great challenges for accurate
Tianci Kong, Tiancheng Yu, Jiaxin Zhao, Zhenhua Hu, Neal Xiong, Jian Wan, Xiaoliang Dong, Yi Pan, Huilin Zheng, Lei Zhang   +9 more
doaj   +1 more source

Hybrid concurrency control for abstract data types [PDF]

, 1988
Maurice Herlihy, William E. Weihl
openalex   +1 more source

The VagueGeometry Abstract Data Type

Journal of Information and Data Management, 2016
Spatial vagueness has been increasingly required by geoscientists to handle vague spatial objects, that is, spatial objects found in real-world phenomena that do not have exact locations, strict boundaries, or sharp interiors. However, there is a gap in the literature in how to handle spatial vagueness in spatial database management systems and ...
Chaves Carniel, Anderson, Rodrigues Ciferri, Ricardo, Dutra de Aguiar Ciferri, Cristina   +2 more
openaire   +2 more sources

A Study of Natural Forest Type Classification for Japanese National Forest Inventory Data(A:General issues in forest planning,POSTER PRESENTATION,Followup and New Challenge for Coming Generations,The Second International Conference on FORCOM,Abstract Proceedings of FORCOM2011)

, 2012
Fumiaki Kitahara, Yasushi Mitsuda, Tsuyoshi Kajisa   +2 more
openalex   +2 more sources

Enhanced dose prediction for head and neck cancer artificial intelligence‐driven radiotherapy based on transfer learning with limited training data

Journal of Applied Clinical Medical Physics, EarlyView.
Abstract Purpose Training deep learning dose prediction models for the latest cutting‐edge radiotherapy techniques, such as AI‐based nodal radiotherapy (AINRT) and Daily Adaptive AI‐based nodal radiotherapy (DA‐AINRT), is challenging due to limited data.
Hui‐Ju Wang, Austen Maniscalco, David Sher, Mu‐Han Lin, Steve Jiang, Dan Nguyen   +5 more
wiley   +1 more source