Results 1 to 10 of about 44,292,339 (363)
Bio-Strings: A Relational Database Data-Type for Dealing with Large Biosequences. [PDF]
BioTech (Basel), 2022 DNA sequencers output a large set of very long biological data strings that we should persist in databases rather than basic text file systems. Many different data models and database management systems (DBMS) may deal with both storage and efficiency ...
Lifschitz S +7 more
europepmc +2 more sources
JMIR Mhealth Uhealth, 2019 Background The growing field of personal sensing harnesses sensor data collected from individuals’ smartphones to understand their behaviors and experiences. Such data could be a powerful tool within mental health care.
Nicholas J +5 more
europepmc +2 more sources
Blockchain Abstract Data Type [PDF]
The 31st ACM Symposium on Parallelism in Algorithms and Architectures, 2019 The presented work continues the line of recent distributed computing communityefforts dedicated to the theoretical aspects of blockchains. This paper is the rst tospecify blockchains as a composition of abstract data types all together with a hierarchyof consistency criteria that formally characterizes the histories admissible for distributedprograms ...
Anceaume, Emmanuelle +4 more
openaire +6 more sources
DAIMI Report Series, 1978 This paper introduces a new, simple definition of what a data type is. This definition gives one possible solution of the theoretical problems: when can an actual parameter of type T be substituted for a formal parameter of type T'? When can a type T' be implemented as another type T''?
Brian H. Mayoh
openalex +3 more sources
ANT: Exploiting Adaptive Numerical Data Type for Low-bit Deep Neural Network Quantization [PDF]
Micro, 2022 Quantization is a technique to reduce the computation and memory cost of DNN models, which are getting increasingly large. Existing quantization solutions use fixed-point integer or floating-point types, which have limited benefits, as both require more ...
Cong Guo +7 more
semanticscholar +1 more source
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type [PDF]
Automated Technology for Verification and Analysis, 2020 Strings are widely used in programs, especially in web applications. Integer data type occurs naturally in string-manipulating programs, and is frequently used to refer to lengths of, or positions in, strings.
Taolue Chen +6 more
semanticscholar +1 more source
Crystals, 2022 The silicon carbide (SiC) that can achieve better electron concentration and motion control is more suitable for the production of high temperature, high frequency, radiation resistance, and high-power electronic devices.
Xiaotian Guo +3 more
doaj +1 more source
Science of Computer Programming, 2002 AbstractA polytypic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of polytypic functions are the functions that can be derived in Haskell, such as show, read, and ‘==’. More advanced examples are functions for digital searching, pattern matching, unification, rewriting, and ...
Hinze, R, Jeuring, J, Löh, A
openaire +10 more sources
Seven Primary Data Types in Citizen Science Determine Data Quality Requirements and Methods
Frontiers in Climate, 2021 Data quality (DQ) is a major concern in citizen science (CS) programs and is often raised as an issue among critics of the CS approach. We examined CS programs and reviewed the kinds of data they produce to inform CS communities of strategies of DQ ...
Robert D. Stevenson +3 more
doaj +1 more source
A Survey of Data Partitioning and Sampling Methods to Support Big Data Analysis
Big Data Mining and Analytics, 2020 Computer clusters with the shared-nothing architecture are the major computing platforms for big data processing and analysis. In cluster computing, data partitioning and sampling are two fundamental strategies to speed up the computation of big data and
Mohammad Sultan Mahmud +4 more
doaj +1 more source