The declarative language STR (State Transition Rule) is proposed to describe service specifications and programs. Given that telecommunication service specifications can be represented in the form of a state transition diagram, STR describes conditions for state transitions in the form of a production rule. STR specifications, description examples, categories of feature interactions, examples o...

The Modelling of a Virtual Learning Environment can be accomplished through the modelling of states of a Turing Machine, where learning takes place through the transition of states in which knowledge products are built. In one state, a Turing Machine reads and as a result of this action may or may not write, and may or may not make a state transition. In the learning process modelled by states ...

This paper is a density functional theory (DFT) calculation of intramolecular proton transfer (IPT) in 6-hydroxypicolinic acid (6HPA, 6-hydroxypyridine-2-carboxylic acid) tautomeric forms. The transition state for the enol-to-keto transition is reported in the gas phase and in four different solvents. The planar and non-planar dimer forms of 6HPA keto and enol, respectively, were also studied i...

Using Proportional Counter Array (PCA) data from the Rossi X-Ray Timing Explorer (RXTE), we track the spectral states of the neutron star transient system Aql X-1 through a complete outburst cycle. We find a hard-to-soft state transition during the very early, rising phase of the outburst, and show that there is a hysteresis effect such that the transition back to the hard state occurs at a lum...

Software projects are required to be tracked during their execution for controlling them. According to state space approach, the tracking problem leads us to have a project state transition model and project status model. A key factor in modeling software projects is to model the project with uncertainty involved in the parameters related to project state transition model and project status mod...