We present a deductive method for proving invariants of reactive systems. Our approach uses term rewriting to reduce invariant proofs to reachability analysis on a finite graph. This substantially automates invariant proofs by obviating the need to define inductive invariants while still benefitting from the expressiveness of deductive methods. We implement a procedure supporting this approach ...

The standard definition of causal Bayesian networks (CBNs) invokes a global condition according to which the distribution resulting from any intervention can be decomposed into a truncated product dictated by its respective mutilated subgraph. We analyze alternative formulations which emphasizes local aspects of the causal process and can serve therefore as more meaningful criteria for coherenc...

A method for the identification of direct synaptic connections in a larger neural net is presented. It is based on a conditional correlation graph for multivariate point processes. The connections are identified via the partial spectral coherence of two neurons, given all others. It is shown how these coherences can be calculated by inversion of the spectral density matrix. In simulations with ...

let $n$ be any positive integer, the friendship graph $f_n$ consists of $n$ edge-disjoint triangles that all of them meeting in one vertex. a graph $g$ is called cospectral with a graph $h$ if their adjacency matrices have the same eigenvalues. recently in href{http://arxiv.org/pdf/1310.6529v1.pdf}{http://arxiv.org/pdf/1310.6529v1.pdf} it is proved that if $g$ is any graph cospectral with $f_n$...

Objective: Many studies have suggested that there is a relationship between coherence and cognitive processes. This study aims at investigating this hypothesis through assessing the relationship between cognitive variables and coherence in the discourse of two groups of Persian-speaking younger and older adults. Methods: In order to evaluate our participants' cognitive capabilities, we recrui...

Introduction: Epileptic seizure detection is a key step for both researchers and epilepsy specialists for epilepsy assessment due to the non-stationariness and chaos in the electroencephalogram (EEG) signals. Current research is directed toward the development of an efficient method for epilepsy or seizure detection based the limited penetrable visibility graph (LPVG) algorith...

 Abstract : A visual cryptography scheme based on a given graph G is a method to distribute a secret image among the vertices of G, the participants, so that a subset of participants can recover the secret image if they contain an edge of G, by stacking their shares, otherwise they can obtain no information regarding the secret image. In this paper a maximal independent sets of the graph G was ...

In the era of big data, a large amount unstructured text data springs up every day. Entity linking involves relating mentions found in texts to corresponding entities, which stand for objective things real world, knowledge base. This task can help computers understand semantics correctly. Although there have been numerous approaches employed research such as this, some challenges are still unre...