Results 41 to 50 of about 36,047,180 (365)

Consistency types for replicated data in a higher-order distributed programming language [PDF]

The Art, Science, and Engineering of Programming, 2021, Vol. 5, Issue 2, Article 6, 2019
Distributed systems address the increasing demand for fast access to resources and fault tolerance for data. However, due to scalability requirements, software developers need to trade consistency for performance. For certain data, consistency guarantees may be weakened if application correctness is unaffected.
arxiv   +1 more source

AlgaTerra Information System: Types data and data types [PDF]

Proceedings of the 1st Central European Diatom Meeting 2007, 2007
AlgaTerra is an information system for micro algal biodiversity (Jahn & Kusber 2007) which has been online since 2004. The database is a concept based implementation of the Berlin Model, developed at the BGBM, Berlin. The basic data have been researched within a joint project of five German research groups between 2001 and 2005 (R.
Wolf-Henning Kusber, W. H. Jahn Kusber, Regine Jahn   +2 more
openaire   +2 more sources

Recognizing the Data Type of Firmware Data Segments With Deep Learning

IEEE Access, 2020
Data segment analysis is of great value for firmware analysis. The data segment contains abundant information such as pointers and strings which is helpful for accelerating the process of code segment analysis.
Ruiqing Xiao, Yuefei Zhu, Bin Lu, Xiaoya Zhu, Shengli Liu   +4 more
doaj   +1 more source

ptype: Probabilistic Type Inference [PDF]

Data Mining and Knowledge Discovery (2020), 2019
Type inference refers to the task of inferring the data type of a given column of data. Current approaches often fail when data contains missing data and anomalies, which are found commonly in real-world data sets. In this paper, we propose ptype, a probabilistic robust type inference method that allows us to detect such entries, and infer data types ...
arxiv   +1 more source

A single–cell type transcriptomics map of human tissues

Science Advances, 2021
Single-cell RNA analysis has been integrated with spatial protein profiling to create a single–cell type map of human tissues. Advances in molecular profiling have opened up the possibility to map the expression of genes in cells, tissues, and organs in ...
Max J. Karlsson, Cheng Zhang, Loren Méar, Wen Zhong, A. Digre, Borbala Katona, E. Sjöstedt, L. Butler, J. Odeberg, P. Dusart, F. Edfors, P. Oksvold, K. von Feilitzen, M. Zwahlen, M. Arif, O. Altay, Xiangyu Li, M. Ozcan, Adil Mardonoglu, Linn Fagerberg, J. Mulder, Yonglun Luo, F. Pontén, M. Uhlén, C. Lindskog   +24 more
semanticscholar   +1 more source

MCF Tree-Based Clustering Method for Very Large Mixed-Type Data Set

IEEE Access, 2021
Several clustering methods have been proposed for analyzing numerous mixed-type data sets composed of numeric and categorical attributes. However, existing clustering methods are not suitable for clustering very large mixed-type data sets because they ...
Hyeong-Cheol Ryu, Sungwon Jung
doaj   +1 more source

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  

Replicated Data Types [PDF]

, 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

A data type for discretized time representation in DEVS

International ICST Conference on Simulation Tools and Techniques, 2014
This paper addresses the problems related to data types used for time representation in DEVS, a formalism for the specification and simulation of discrete-event systems.
Damián Vicino, Olivier Dalle, Gabriel A. Wainer   +2 more
semanticscholar   +1 more source

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