Results 11 to 20 of about 14,568,367 (342)
On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code [PDF]
EPTCS 102, 2012, pp. 73-87, 2012 In recent projects on operating-system verification, C and C++ data types are often formalized using a semantics that does not fully specify the precise byte encoding of objects. It is well-known that such an underspecified data-type semantics can be used to detect certain kinds of type errors.
Tews, Hendrik +2 more
arxiv +4 more sources
Local Type Checking for Linked Data Consumers [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 The Web of Linked Data is the cumulation of over a decade of work by the Web standards community in their effort to make data more Web-like. We provide an introduction to the Web of Linked Data from the perspective of a Web developer that would like to ...
Gabriel Ciobanu +2 more
doaj +6 more sources
Inductive-data-type systems [PDF]
Theoretical Computer Science, 2002 Comment: Theoretical Computer Science (2002)
Blanqui, Frédéric +2 more
openaire +10 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
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
What Contributes to a Crowdfunding Campaign’s Success? Evidence and Analyses from GoFundMe Data
Journal of Social Computing, 2021 Researchers have attempted to measure the success of crowdfunding campaigns using a variety of determinants, such as the descriptions of the crowdfunding campaigns, the amount of funding goals, and crowdfunding project characteristics.
Xupin Zhang, Hanjia Lyu, Jiebo Luo
doaj +1 more source
Digital Objects – FAIR Digital Objects: Which Services Are Required?
Data Science Journal, 2020 Some of the early Research Data Alliance working groups reused the notion of digital objects as digital entities described by metadata and referenced by a persistent identifier. In recent times the FAIR principles became a prominent role as framework for
Ulrich Schwardmann
doaj +1 more source