Results 1 to 10 of about 14,568,367 (342)
Ill-Typed Programs Don't Evaluate [PDF]
arXiv, 2023 We introduce two-sided type systems, which are sequent calculi for typing formulas. Two-sided type systems allow for hypothetical reasoning over the typing of compound program expressions, and the refutation of typing formulas. By incorporating a type of all values, these type systems support more refined notions of well-typing and ill-typing ...
arxiv
, 2017 A CRDT is an abstract data type that implements some familiar object, such as a counter, a set or a sequence. Internally, a CRDT is replicated, to provide reliability, availability. A CRDT supports concurrent updates, and encapsulates some strategy that provably ensures that replicas of the CRDT will converge despite this concurrency.
openaire +3 more sources
Special section: Statistical methods for next-generation gene sequencing data [PDF]
Annals of Applied Statistics 2012, Vol. 6, No. 2, 429-431, 2012 This issue includes six articles that develop and apply statistical methods for the analysis of gene sequencing data of different types. The methods are tailored to the different data types and, in each case, lead to biological insights not readily identified without the use of statistical methods. A common feature in all articles is the development of
arxiv +1 more source
Analysis of Push-type Epidemic Data Dissemination in Fully Connected Networks [PDF]
, 2014 Consider a fully connected network of nodes, some of which have a piece of data to be disseminated to the whole network. We analyze the following push-type epidemic algorithm: in each push round, every node that has the data, i.e., every infected node ...
Caglar, Mine, Sezer, Ali Devin
core +3 more sources
MissForest - nonparametric missing value imputation for mixed-type data
, 2011 Modern data acquisition based on high-throughput technology is often facing the problem of missing data. Algorithms commonly used in the analysis of such large-scale data often depend on a complete set.
D. J. Stekhoven +11 more
core +1 more source
High-z Supernova Type Ia Data: non-Gaussianity and Direction Dependence [PDF]
, 2015 We use the $\Delta_{\chi^2}$ statistic introduced in \cite{gup08,gup10} to study directional dependence, in the high-z supernovae data. This dependence could arise due to departures from the cosmological principle or from direction dependent statistical ...
Gupta, Shashikant, Singh, Meghendra
core +1 more source
Standardizing Type Ia Supernova Absolute Magnitudes Using Gaussian Process Data Regression
, 2013 We present a novel class of models for Type Ia supernova time-evolving spectral energy distributions (SED) and absolute magnitudes: they are each modeled as stochastic functions described by Gaussian processes.
Aldering, G. +34 more
core +7 more sources
DCoM: A Deep Column Mapper for Semantic Data Type Detection [PDF]
arXiv, 2021 Detection of semantic data types is a very crucial task in data science for automated data cleaning, schema matching, data discovery, semantic data type normalization and sensitive data identification. Existing methods include regular expression-based or dictionary lookup-based methods that are not robust to dirty as well unseen data and are limited to
arxiv
Data storage, image tube type [PDF]
, 1973 Method and apparatus for the storage of digital or analog electrical signals are provided by a memory storage system employing a conventional vidicon tube. At the beginning of an operating cycle, the vidicon is conditioned to accept electrical data input
Lipoma, P. C.
core +1 more source
Designing a commutative replicated data type [PDF]
, 2007 Commuting operations greatly simplify consistency in distributed systems. This paper focuses on designing for commutativity, a topic neglected previously. We show that the replicas of \emph{any} data type for which concurrent operations commute converges
Preguiça, Nuno, Shapiro, Marc
core +4 more sources