Results 41 to 50 of about 8,751,229 (374)
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 Research, 2017 In many next-generation sequencing (NGS) studies, multiple samples or data types are profiled for each individual. An important quality control (QC) step in these studies is to ensure that datasets from the same subject are properly paired.
Sejoon Lee +5 more
semanticscholar +1 more source
ScLSTM: single-cell type detection by siamese recurrent network and hierarchical clustering
BMC Bioinformatics, 2023 Motivation Categorizing cells into distinct types can shed light on biological tissue functions and interactions, and uncover specific mechanisms under pathological conditions.
Hanjing Jiang +3 more
doaj +1 more source
Semantic Code Refactoring for Abstract Data Types
Proc. ACM Program. Lang.Modifications to the data representation of an abstract data type (ADT) can require significant semantic refactoring of the code. Motivated by this observation, this paper presents a new method to automate semantic code refactoring tasks.
Shankara Pailoor +2 more
semanticscholar +1 more source
An abstract data type for real numbers [PDF]
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
A method for extracting travel patterns using data polishing
Journal of Big Data, 2021 With recent developments in ICT, the interest in using large amounts of accumulated data for traffic policy planning has increased significantly. In recent years, data polishing has been proposed as a new method of big data analysis.
Mio Hosoe, Masashi Kuwano, Taku Moriyama
doaj +1 more source
Network topology drives population temporal variability in experimental habitat networks
Population Ecology, EarlyView.Habitat patches connected by dispersal pathways form habitat networks. We explored how network topology affects population outcomes in laboratory experiments using a model species (Daphnia carinata). Central habitat nodes in complex lattice networks exhibited lower temporal variability in population sizes, suggesting they support more stable ...
Yiwen Xu +3 more
wiley +1 more source
Transfer Learning for Speech and Language Processing [PDF]
, 2015 Transfer learning is a vital technique that generalizes models trained for one setting or task to other settings or tasks. For example in speech recognition, an acoustic model trained for one language can be used to recognize speech in another language ...
Wang, Dong, Zheng, Thomas Fang
core +1 more source
Geographic variation in walking activity in the red flour beetle Tribolium castaneum
Population Ecology, EarlyView.This study examined whether there is geographic variation in field populations, focusing on the moving activity in the red flour beetle Tribolium castaneum. Results showed significant differences in moving activity among field populations but no correlation with latitude or meteorological factors.
Kentarou Matsumura
wiley +1 more source
Program development using abstract interpretation (and the ciao system preprocessor) [PDF]
, 2003 The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical.
Bueno Carrillo, Francisco +3 more
core +2 more sources