Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branching) temporal logic formula has been proposed for both the discrete [8] and the continuous time setting [1], [3]. In this short paper, we describe the prototype model checker E T MC for discrete and continuous-time Mark...

The melting temperature depression of linear polyethylene lozenge single crystals is thoroughly examined in mixtures with a series homogeneous high molecular weight branched models, special emphasis on the effect short chain branching compatibility. results indicate that lamellar influenced both by content surrounding matrix and relative volume concentration two polymers mixture. discussion con...

The electronic structure of a series of low-lying excited triplet and quintet states of scandium boride (ScB) was examined using multireference configuration interaction (including Davidson's correction for quadruple excitations) and single-reference coupled cluster (CC) methods with averaged natural orbital (ANO) basis sets. The CC approach was used only for the lowest quintet state. The autho...

Chemical kinetic factors of hydrocarbon oxidation are examined in a variety of ignition problems. Ignition is related to the presence of a dominant chain branching reaction mechanism that can drive a chemical system to completion in a very short period of time. Ignitio n in laboratory environments is studied for problems including shock tubes and rapid compression machines. Modeling of the labo...

A new composite film-modified electrode was prepared by the electropolymerisation of poly(3,4-ethylenedioxythiophene) (PEDOT) and superconductive carbon black (SCB) on a gold electrode. The PEDOT-SCB/Au electrode exhibited excellent ability towards the electrocatalytic oxidation of ascorbic acid, in terms of a 480 mV shift of the oxidation potential in the negative direction, and a dramatically...

The Single Cooper-pair Box (SCB) is a small superconducting island connected via two Josephson junctions to a reservoir. It is described by its Josephson coupling energy EJ, and by its charging energy EC=e/2Cqb, where Cqb is the total capacitance of the box and e is the electron charge. In the SCB it is possible to create superpositions of charge states involving a discrete number of excess Coo...

This study investigated whether clean swine confinement buildings (SCB) are less harmful to the respiratory system than older and dirtier facilities. Eight healthy volunteers were exposed for 4 h, at 1 week intervals, to eight SCB representing the widest possible range of cleanliness. Each volunteer and a technician rated the SCB for cleanliness from 1-10, 1 being the cleanest possible. Airborn...