We study the problem of strong/weak bisimilarity between processes of one-counter automata and finite-state processes. We show that the problem of weak bisimilarity between processes of one-counter nets (which are ‘weak’ one-counter automata) and finite-state processes is DP-hard (in particular, it means that the problem is both NP and co-NP hard). The same technique is used to demonstrate co-N...

BACKGROUND A novel control system for the EVAHEART left ventricular assist device (LVAD), known as the Native Heart Load Control System (NHLCS), can change the device's rotational speed (RS) in synchrony with the heartbeat. The system enhanced coronary flow (CoF) with the counter-pulse mode in normal goats' hearts, so we examined the change in CoF in goats with acute ischemic heart failure (HF)...

Sir,?Of all the counter-irritants to the enlarged spleen Red Iodide stands lirst in reducing it, although there are other counter-irritants of the same nature, but of inferior value in these cases. In my opinion, Red Iodide acts not by its irritants action in these cases, but by absorption it produces certain changes in the system which produce increased leucocytosis and thus it effects the cur...

The interaction dynamics of X-waves in an AlGaAs waveguide array is theoretically considered. The nonlinear discrete diffraction dynamics of a waveguide arraymediates the generation of spatio-temporal X-waves from pulsed initial conditions. The interactions between co-propagating and counter-propagating X-waves are studied. For the co-propagating case, the initial phase relation between the X-w...

Huntington's disease (HD) is an incurable lethal inherited neurological disorder of brain cells caused by increased CAG repeats in the huntingtin gene. It mind and body which causes uncontrolled movements, loss intellectual faculties, emotional disturbance leading to eventual death. HD incurable, but treatment available for symptoms this disease. Latest technologies techniques are used diagnose...

The upper chromatic number χ(H) of a hypergraph H is the maximum number of colors in a coloring avoiding a polychromatic edge. The stability number α(H) of a hypergraph H is the cardinality of the largest set of vertices of H which does not contain an edge. A hypergraph is k-uniform if the sizes of all its edges are k. A hypergraph H is co-perfect if χ(H ′) = α(H ′) for each induced subhypergra...