In this paper we establish the existence of path-wise solutions and the uniqueness in law for multidimensional stochastic differential equations driven by a multi-dimensional fractional Brownian motion with Hurst parameter H > 12 .

Major advances in languages, tools and methodologies have improved our ability to develop reactive systems, but the task remains difficult, expensive and error prone. One of the key reasons is the growing complexity of many kinds of reactive systems, which increasingly prevents the human mind from managing a comprehensive picture of all their relevant elements and behaviors. We present a vision...

Abstract Graph databases are applied in many applications, including science and business, due to their low-complexity, low-overheads, lower time-complexity. The graph-based storage offers the advantage of capturing semantic structural information rather than simply using Bag-of-Words technique. An approach called Knowledgeable graphs (K-Graph) is proposed capture knowledge. Documents stored gr...

The multiple hypothesis testing (MHT) problem has long been tackled by controlling the family-wise error rate (FWER), which is the probability that any of the hypotheses tested is unjustly rejected. The best known method to achieve FWER control is the Bonferroni correction, but more powerful techniques such as step-up and step-down methods exist. A particular challenge to be dealt with in MHT p...

In the context of correlated multiple tests, we aim at controlling non-asymptotically the family-wise error rate (FWER) using resampling-type procedures. We observe repeated realizations of a Gaussian random vector in possibly high dimension and with an unknown covariance matrix, and consider the one and two-sided multiple testing problem for the mean values of its coordinates. We address this ...

Mass univariate analysis is a relatively new approach for the study of ERPs/ERFs. It consists of many statistical tests and one of several powerful corrections for multiple comparisons. Multiple comparison corrections differ in their power and permissiveness. Moreover, some methods are not guaranteed to work or may be overly sensitive to uninteresting deviations from the null hypothesis. Here w...

The authors present an initial wise development framework: a development environment that proactively and interactively assists the software engineer in modeling complex reactive systems. Their framework repeatedly analyzes models of the system under development at various levels of abstraction, and then reasons about these models in order to detect possible errors, to derive emergent propertie...