We propose PALPS, a Process Algebra with Locations for Population Systems. PALPS allows us to produce spatially-explicit, individual-based models and to reason about their behavior. Our calculus has two levels: at the first level we may define the behavior of an individual of a population while, at the second level, we may specify a system as the collection of individuals of various species loc...

elongation of the styloid process or stylohyoid ligament calcification is a well recognized finding of dental practice, and an incidence of 4 to 30 percent has been reported on radiographs. rarely, complete mineralization of the stylohyoid ligament or elongation of styloid process has been associated with difficulties in intubation and significant clinical symptoms, which is termed eagle’s synd...

ÐThis paper investigates temporal changes of topological relationships and thereby integrates two important research areas: First, two-dimensional topological relationships that have been investigated quite intensively and, second, the change of spatial information over time. We investigate spatio-temporal predicates, which describe developments of well-known spatial topological relationships. ...

Policy evaluation is a process to determine whether a request submitted by a user satisfies the access control policies defined by an organization. Modality conflict is one of the main issues in policy evaluation. Existing modality conflict detection approaches do not consider complex condition attributes such as spatial and temporal constraints. An effective authorization propagation rule is n...

Companies have to adhere to compliance requirements. Typically, both, business experts and compliance experts, are involved in compliance analysis of business operations. Hence, these experts need a common understanding of the business processes for effective compliance management. In this paper, we argue that process templates generated out of compliance requirements can be used as a basis for...

Capability of the Proper Orthogonal Decomposition (POD) method in extraction of the coherent structures from a spatio-temporal chaotic field is assessed in this paper. As the chaotic field, an ensemble of 40 snapshots, obtained from Direct Numerical Simulation (DNS) of the Kuramoto-Sivashinsky (KS) equation, has been used. Contrary to the usual methods, where the ergodicity of the field is need...

Spatial-temporal modeling of air pollutants, ground-level ozone concentrations in particular, has attracted recent attention because by using spatial-temporal modeling, can analyze, interpolate or predict ozone levels at any location. In this paper we consider daily averages of troposphere ozone over Tehran city. For eliminating the trend of data, a dynamic linear model is used, then some featu...