The linear reachability problem is to decide whether there is an execution path in a given finite state transition system such that the counts of labels on the path satisfy a given linear constraint. Using results on minimal solutions (in nonnegative integers) for linear Diophantine systems, we obtain new complexity results for the problem, as well as for other linear counting problems of finit...

The problem of counteracting the effects of adversarial inputs on the operation of an asynchronous sequential machine is considered. The objective is to build an automatic state-feedback controller that returns an asynchronous sequential machine to its original state, after the machine has undergone a state transition caused by an adversarial input. It is shown that the existence of such a cont...

Transition-state theory (TST),’ as all chemists know, provides a marvelously simple and useful way to understand and estimate the rates of chemical reactions. The fundamental assumption2 of transition-state theory (Le., direct dynamics, no recrossing trajectories; see below), however, is based inherently on classical mechanics, so the theory must be quantized if it is to provide a quantitative ...

We study the full unitary matrix models. Introducing a new term l logU , l plays the role of the discrete time. On the other hand, the full unitary matrix model contains a topological term. In the continuous limit it gives rise to a phase transition at θ = π. The ground state is characterize by the discrete time l. The discrete time l plays like the instanton number.

We use statistical detection theory in a continuous-time environment to provide a new perspective on calibrating a concern about robustness or an aversion to ambiguity. A decision maker repeatedly confronts uncertainty about state transition dynamics and a prior distribution over unobserved states or parameters. Two continuous-time formulations are counterparts of two discrete-time recursive sp...

background: infant's transition is a challenge for parents and the health system that requires ongoing assessment and management to improve each newborn`s growth and development. the purpose of this study was to explore the management of infant` transition from neonatal intensive care unit (nicu) to home.materials and methods: we used a grounded theory study to explore and describe the man...

Using Hartree-Fock Su-Sheriffer-Heeger (HF-SSH) model, we have studied the dependence of the energies of the ground (magnetic triplet state) and the first exited (nonmagnetic singlet state) states of the size-2 trigonal zigzag graphene nanoflake (size-2 NF) on the intensity of an external in plane static electric field at zero temperature. We identify a transition from the magnetic triplet stat...

Recent results of four-dimensional (4d) lattice simulations on the finite temperature electroweak phase transition (EWPT) are discussed. The phase transition is of first order in the SU(2)-Higgs model below the end point Higgs mass 66.5±1.4 GeV. For larger masses a rapid cross-over appears. This result completely agrees with the results of the dimensional reduction approach. Including the full ...