In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a novel technique to analyze safety of embedded systems with formal methods. It substitutes error-prone informal reasoning by mathematical proofs. DCCA allows to rigorously prove whether a failure on component level is the cause fo...

For stationary time series, the cross-covariance and the cross-correlation as functions of time lag n serve to quantify the similarity of two time series. The latter measure is also used to assess whether the cross-correlations are statistically significant. For nonstationary time series, the analogous measures are detrended cross-correlations analysis (DCCA) and the recently proposed detrended...

Dimension reduction is an important topic in data mining and machine learning. Especially dimension reduction combined with feature fusion is an effective preprocessing step when the data are described by multiple feature sets. Canonical Correlation Analysis (CCA) and Discriminative Canonical Correlation Analysis (DCCA) are feature fusion methods based on correlation. However, they are differen...

Few methodologies exist that facilitate the formal specification and prototyping of distributed systems. In this paper, we describe certain features of the Dynamic Coordinated Concurrent Activities (DCCA) model. Any DCCA specification consists of a set of of largely independent processes, each of which, however, needs to coordinate with several of its Upeers” in the course of its execution. Sev...

We present a new approach for creating chosen ciphertext secure encryption. The focal point of our work is a new abstraction that we call Detectable Chosen Ciphertext Security (DCCA). Intuitively, this notion is meant to capture systems that are not necessarily chosen ciphertext attack (CCA) secure, but where we can detect whether a certain query CT can be useful for decrypting (or distinguishi...

Permethrin is a widely used pyrethroid insecticide for which the toxicokinetics of exposure biomarkers in humans is not fully documented. The time courses of key biomarkers of permethrin exposure were thus assessed in accessible biological matrices of orally exposed volunteers. Six volunteers ingested 0.1 mg/kg body weight of permethrin (60:40 trans/cis). Blood samples were withdrawn at fixed p...

Cross-correlation between pairs of variables takes multi-time scale characteristic, and it can be totally different on different time scales (changing from positive correlation to negative one), e.g., the associations between mean air temperature and relative humidity over regions to the east of Taihang mountain in China. Therefore, how to correctly unveil these correlations on different time s...

MOTIVATION Cluster analysis (of gene-expression data) is a useful tool for identifying biologically relevant groups of genes that show similar expression patterns under multiple experimental conditions. Various methods have been proposed for clustering gene-expression data. However most of these algorithms have several shortcomings for gene-expression data clustering. In the present article, we...

Identifying the mutual interaction is a crucial problem that facilitates the understanding of emerging structures in Chinese stock markets. In this paper, we employ transfer entropy and detrended cross-correlation analysis (DCCA) measurement to investigate the mutual interactions of Chinese stock markets. Transfer entropy is a model-free approach in principle and allows us to detect statistical...

Permethrin is the most popular synthetic pyrethroid insecticide used in agriculture and public health. For the assessment of human exposure to permethrin, a competitive indirect enzyme-linked immunosorbent assay (ELISA) for the detection of the glycine conjugate of a major metabolite, cis-/trans-3-(2,2-dichlorovinyl)-2,2-dimethylcyclopropane-1-carboxylic acid (DCCA), of permethrin was developed...