Our aim is to provide a simple non-interleaved operational semantics for CCS in terms of a model that is easy to understand|asynchronous transition systems. Our approach is guided by the requirement that the semantics should identify the concurrency present in the system in a natural way, in terms of events occurring at independent locations in the system. We extend the standard interleaving tr...

There are a number of applied lambda-calculi in which terms and types are annotated with parameters denoting either locations or locations in machine memory. Such calculi have been designed with safe memory-management operations in mind. It is difficult to construct directly denotational models for existing calculi of this kind. We approach the problem differently, by starting from a class of m...

This paper presents a comparative study between three versions of adaptive neuro-fuzzy inference system (ANFIS) algorithms and a pseudo-forward equation (PFE) to characterize the North Sea reservoir (F3 block) based on seismic data. According to the statistical studies, four attributes (energy, envelope, spectral decomposition and similarity) are known to be useful as fundamental attributes in ...

BACKGROUND Data privacy is a major concern in spatial epidemiology because exact residential locations or parts of participants' addresses such as street or zip codes are used to perform geospatial analyses. To overcome this concern, different levels of aggregation such as census districts or zip code areas are mainly used, though any spatial aggregation leads to a loss of spatial variability. ...

BACKGROUND Pedestrian injury frequently results in devastating and costly injuries and accounts for 11% of all road user fatalities. In the United States in 2006 there were 4,784 fatalities and 61,000 injuries from pedestrian injury, and in 2007 there were 4,654 fatalities and 70,000 injuries. In Canada, injury is the leading cause of death for those under 45 years of age and the fourth most co...

Finite element analysis of a tubular T-joint subjected to various loading conditions including pure axial loading, pure in-plane bending (IPB) and different ratios of axial loading to in-plane bending loading has been carried out. This effort has been established to estimate magnitudes of the peak hot spot stresses (HSS) at the brace/chord intersection and to find the corresponding locations as...

We examine the impact of a firm’s geographic location on its takeover likelihood with a sample of U.S. public firms from 1980 to 2005. We first show that firms located in an urban area are 8.3% more likely to receive a takeover bid and 10.5% more likely to complete the takeover transaction than firms located in a non-urban area. Our findings are robust after controlling for various firm charact...