In this paper, we present a symbolic reachability algorithm for process algebras with recursive data types. Like the various saturation based algorithms of Ciardo et al, the algorithm is based on partitioning of the transition relation into events whose influence is local. As new features, our algorithm supports recursive data types and allows unbounded non-determinism, which is needed to suppo...

Society is based on knowledge and the availability thereof. Access to knowledge empowers people, and organizations must reuse knowledge to be competitive. The right knowledge to the right person at the right time is important for success, and IT plays an important role in order to achieve this goal, for example in the form of Electronic Knowledge Repositories (EKR). The success of an EKR depend...

Manufacturing process innovation (MPI), an organization-wide effort involving radical redesign of manufacturing related processes and systems to achieve dramatic improvements in critical manufacturing performance measures, encompasses various kinds of activities. Some MPI initiatives focus on technological innovation and others may intend to change work processes and ganizations adopt new techn...

We present photoionization and collisional ionization models, and their application to three important fields: (a) the Warm Absorbers/Emitters in type 1 AGN, (b) the Warm Reflectors in Type 2 AGN, and (c) X–ray absorption of background quasars by intergalactic gas. A number of cases are investigated, and the dependences of the main parameters explored.

Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can be given formal semantics in terms of an operator algebra. However such process languages may be more limited in the types of objects whose dynamics is easily expressible. For many applications in biology, the dynamics of spatial...

We present a new method for the automated synthesis of safe and robust Proportional-Integral-Derivative (PID) controllers for stochastic hybrid systems. Despite their widespread use in industry, no automated method currently exists for deriving a PID controller (or any other type of controller, for that matter) with safety and performance guarantees for such a general class of systems. In parti...

The idea that an evolutionary process is inherent in the sequence of building types characterizes area has been pursued Euro-America, especially by Italian architects. It hitherto attracted comparatively little attention elsewhere world. Findings on history residential Chinese city Guangzhou and its environs are examined relation to this idea. Though very different China from shown have occurre...