We prove that the model checking and the satisfiability problem of both Dynamic Logic of Propositional Assignments DL-PA and Coalition Logic of Propositional Control and Delegation DCL-PC are in PSPACE. We explain why the proof of EXPTIME-hardness of the model checking problem of DL-PA presented in [1, Thm 4] is false. We also explain why the proof of membership in PSPACE of the model checking ...

Every operation or relation on a base set A can be "lifted" to the power set P ( A ) . In this paper clones of operations and corresponding invariant relations are studied under this process of lifting (e.g. the clone generated by all lifted operations of a clone is characterized internally by 6-closure (Thm. 2.2) and externally by special invariant relations (Thm. 2.4, 3.3)). Generalizations t...

BACKGROUND-These studies were initiated to confirm that high-level thrombomodulin overexpression is sufficient to limit neointima formation after mechanical overdilation injury. METHODS AND RESULTS-An adenoviral construct expressing thrombomodulin (Adv/RSV-THM) was created and functionally characterized in vitro and in vivo. The impact of local overexpression of thrombomodulin on neointima form...

Owing the presence of Coulomb barrier at astrophysically relevant kinetic energies, it is very difficult, or sometimes impossible to measure astrophysical reaction cross sections in laboratories, especially for electron screening effect. This why different indirect techniques are being used along with direct measurements. The Trojan Horse Method (THM)is a unique technique allowing one rearrange...

In th is paper we present an algor i thm for f inding a "c losed-form" solut ion of the dil l-erential equatiofl -1"'+ ql +by, where a and b are rational functions of a complex var iable .x. provided a "c losed-form" solut ion exists. The algor i thm is so arranged that i f no solut icrn is found. then no solut ion can exist . The frrst sect ion makes precise what is meant by "c losed-form" and...

We conducted a field study in Corpus Christi, Texas, and Cobb County, Georgia, to evaluate exposure measures for disinfection by-products, with special emphasis on trihalomethanes (THMs). Participants were mothers living in either geographic area who had given birth to healthy infants from June 1998 through May 1999. We assessed exposure by sampling blood and water and obtaining information abo...

An improved stochastic stereo-matching algorithm is presented. It incorporates two substantial modifications to an earlier version: a new variation of simulated annealing that is faster, simpler, and more controllable than the conventional "heatbath^ version, and a hierarchical, coarse-to-fine-resolution cont ro l structure. The Hamil tonian used in the original model is minimized, but far more...

A complete system of learning spelling-tophoneme conversion of English words consists of three major processes: alignment, mapping learning, and grapheme generation. Such a system can be used to construct prototypes of reading machines for English or other lan­ guages quickly and automatically. This paper focusses on the alignment process, which is crit­ ical to mapping learning and grapheme ge...

We investigate the problem of learning D N F concepts f rom examples using decision trees as a concept description language. Due to the replication problem, D N F concepts do not always have a concise decision tree descrip­ tion when the tests at the nodes are l im­ ited to the in i t ia l at t r ibutes. However, the representational complexity may be overcome by using high level at tr ibutes a...

The primary respiratory mechanism (PRM) as manifested by the cranial rhythmic impulse (CRI), a fundamental concept to cranial osteopathy, and the Traube-Hering-Mayer (THM) oscillation bear a striking resemblance to one another. Because of this, the authors developed a protocol to simultaneously measure both phenomena. Statistical comparisons demonstrated that the CRI is palpably concomitant wit...