This paper presents a conservative symbolic model-checking methodology for speed-independent circuits. The circuit speciication is described by using Petri nets, which is the same formalism that several approaches use for synthesis. The technique is based on symbolic BDD-based reachability analysis, modeling both the speciication and the gate-level network behavior by means of boolean functions...

Nested Petri nets (NP-nets) is an extension of the Petri nets formalism within the “nets-within-nets” approach, when tokens in a marking are themselves Petri nets which have autonomous behavior and synchronize with the system net. The formalism of NP-nets allows modeling multi-level multi-agent systems with a dynamic structure in a natural way. In this paper we define branching processes and un...

background: ectopic pregnancy is one of the main problems in women in reproductive age that needs special attention and appropriate strategy should be managed. in some cases expectant management seems good strategy without any medicine or surgery and their possible side effects. but are the outcomes always the same? which outcomes should we expect? case: we have reported 2 patients whose ectopi...

background: recent studies have showed conservative management in selective patients with borderline and malignant ovarian tumors is safe; therefore this management is considered in patients with ovarian tumor who desire to preserve fertility. objective: this study has been performed to evaluate the clinical outcome and fertility in patients with ovarian tumors who were treated conservatively. ...

Number-conserving (or conservative) cellular automata have been used in several contexts, in particular traffic models, where it is natural to think about them as systems of interacting particles. In this article we consider several issues concerning one-dimensional cellular automata which are conservative, monotone (specially “non-increasing”), or that allow a weaker kind of conservative dynam...

Hydrodynamic dispersion is an important factor controlling contaminant migration in the subsurface environment. However, few comprehensive data sets exist for evaluating the impact of travel distance and site heterogeneity on solute dispersion under non-uniform flow conditions. In addition, anionic tracers are often used to estimate physical transport parameters based on an erroneous assumption...

We consider a behavior with an equal number of inputs and outputs for which there exists a quadratic differential form which is positive for nonzero trajectories of the behavior and whose derivative is equal to the scalar product of the input vector and the derivative of the output vector. Such systems occur, for example, when considering conservative mechanical systems. We give a method of com...

OBJECTIVE To describe the therapeutic effect of deep brain stimulation for the treatment of patients with below-average IQs who are affected by aggressive and disruptive behavior and who are resistant to any drug and/or conservative treatment (including occupational therapy). PATIENTS AND METHODS Two consecutive patients suffering from mental retardation with aggressive and disruptive behavio...

In a database system, the scheduler has the goal of synchronizing operations belonging to several concurrent transactions. The scheduler implements a concurrency control protocol, which may have either conservative or aggressive behavior. Existing database systems have schedulers with static behavior. This paper presents a self-adaptable scheduler, called Intelligent Transaction Scheduler (ITS)...