Results 11 to 20 of about 3,441,342 (342)
Dependently-typed data plane programming [PDF]
Proceedings of the ACM on Programming Languages, 2022 Programming languages like P4 enable specifying the behavior of network data planes in software. However, with increasingly powerful and complex applications running in the network, the risk of faults also increases. Hence, there is growing recognition of the need for methods and tools to statically verify the correctness of P4 code, especially as the ...
Matthias Eichholz +4 more
openaire +2 more sources
Dependent Functional Data [PDF]
ISRN Probability and Statistics, 2012 This paper reviews recent research on dependent functional data. After providing an introduction to functional data analysis, we focus on two types of dependent functional data structures: time series of curves and spatially distributed curves. We review statistical models, inferential methodology, and possible extensions.
openaire +1 more source
Ulam stability and data dependence for fractional differential equations with Caputo derivative
Electronic Journal of Qualitative Theory of Differential Equations, 2011 In this paper, Ulam stability and data dependence for fractional differential equations with Caputo fractional derivative of order $\alpha$ are studied. We present four types of Ulam stability results for the fractional differential equation in the case ...
JinRong Wang, Linli Lv, Yong Zhou
doaj +1 more source
Mining data quality rules based on T-dependence [PDF]
, 2019 Since their introduction in 1976, edit rules have been a standard tool in statistical analysis. Basically, edit rules are a compact representation of non-permitted combinations of values in a dataset.
Boeckling, Toon +2 more
core +1 more source
Coupled fixed point sets with data-dependence and stability [PDF]
Surveys in Mathematics and its Applications, 2022 In this paper we establish a coupled fixed point theorem of a coupled multivalued mapping defined on a complete metric space. In our result we use a new contractive inequality. There are rational terms in the expression of the inequality. The contractive
Binayak S. Choudhury +2 more
doaj
An Example of Data Dependence Result for The Class of Almost Contraction Mappings [PDF]
Sahand Communications in Mathematical Analysis, 2020 In the present paper, we show that $S^*$ iteration method can be used to approximate fixed point of almost contraction mappings. Furthermore, we prove that this iteration method is equivalent to CR iteration method and it produces a slow convergence ...
Yunus Atalan, Vatan Karakaya
doaj +1 more source
Dependence Estimation and Visualization in Multivariate Extremes with Applications to Financial Data [PDF]
, 2003 We investigate extreme dependence in a multivariate setting with special emphasis on financial applications. We introduce a new dependence function which allows us to capture the complete extreme dependence structure and present a nonparametric ...
Hsing, T. +2 more
core +2 more sources
Evaluation methods and decision theory for classification of streaming data with temporal dependence [PDF]
, 2014 Predictive modeling on data streams plays an important role in modern data analysis, where data arrives continuously and needs to be mined in real time.
Bifet, Albert +4 more
core +2 more sources
Modelling, characterization of data-dependent and process-dependent errors in DNA data storage [PDF]
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2021 AbstractMotivationUsing DNA as the medium to store information has recently been recognized as a promising solution for long-term data storage. While several system prototypes have been demonstrated, the error characteristics in DNA data storage are discussed with limited content.
Yixin Wang +4 more
openaire +2 more sources
Review, 2007 A speech at the Middle Tennessee State University, Annual Economic Outlook Conference, Murfreesboro, Tenn., Sept.
openaire +3 more sources