In this paper object-oriented methods are examined, problems are pointed out and a new method is presented. In object-oriented analysis and design methods two types of models can be identified. On one hand, static architecture models are quite similar in all methods and can be considered as very elaborate. For dynamic models, on the other hand, a number of problems are encountered. They are not...

We present a nonparametric prior over reversible Markov chains. We use completely random measures, specifically gamma processes, to construct a countably infinite graph with weighted edges. By enforcing symmetry to make the edges undirected we define a prior over random walks on graphs that results in a reversible Markov chain. The resulting prior over infinite transition matrices is closely re...

Here in this article, we classify and conclude the four morphologies of three-phase emulsions. Remarkably, we achieve the reversible transformations between every shape. Through theoretical analysis, we choose four liquid systems to form these four morphologies. Then monodispersed droplets with these four morphologies are formed through a microfluidic device and captured in a petri-dish. By rep...

This paper shows that it is NP-hard to generate a minimum complete test set for stuck-at faults on the wires of a reversible circuit. We also show non-trivial lower bounds for the size of a minimum complete test set.

Designing of reversible circuit has become the promising area for researchers. The designing

This work in progress report proposes a new metric for estimating nearest neighbor cost at the reversible circuit level. This is in contrast to existing literature where nearest neighbor constraints are usually considered at the quantum circuit level. In order to define the metric, investigations on a state-of-the-art reversible to quantum mapping scheme have been conducted. From the retrieved ...

The Donsker-Varadhan rate functional I(μ) for Markov processes has a simple form in the case that the generator of the process is self-adjoint, or equivalently, that the Markov process is reversible. In particular, in the case of a reversible diffusion generated by a secondorder elliptic operator L on a compact manifold, this allows one to give a simple necessary and sufficient criterion on the...

Existing systems that support semistructured views do not maintain semantics during the process of designing the views. Thus, these systems do not guarantee the validity and reversibility of the views. In this paper, we propose an approach to address the issue of valid and reversible semistructured views. We design a set of view operators for designing semistructured views. These operators are ...

The opponent-process theory posits that the aversive state of acute opiate withdrawal is a consequence of, and depends on, the previous rewarding state evoked by acute morphine reward. Although the brainstem tegmental pedunculopontine nucleus (TPP) is crucial for the rewarding component of morphine, the source of the later aversive component is not known. It is possible that (i) the second aver...

We construct a Glauber dynamics on {0, 1}, R a discrete space, with infinite range flip rates, for which a fermion point process is reversible. We also discuss the ergodicity of the corresponding Markov process and the log-Sobolev inequality.