The annual ICFP Programming Contest has become one of the premiere programming competitions in the world. The 9 incarnation of the contest, “The Cult of the Bound Variable,” was held in July 2006 and organized by the Principles of Programming group at Carnegie Mellon University. This report details the contest tasks, the technology used to produce the contest, and the contest results. Several t...

We present a new soundness proof of Concurrent Separation Logic (CSL) based on a structural operational semantics (SOS). We build on two previous proofs and develop new auxiliary notions to achieve the goal. One uses a denotational semantics (based on traces). The other is based on SOS, but was obtained only for a fragment of the logic — the Disjoint CSL — which disallows modifying shared varia...

Operational speed is an index that represents drivers’ speeding behaviors and shows the comfort and safety levels they experience. Many models had been proposed to predict operational speed in tangent and curve segments of highways. Most of these works had used geometric, with few of them conducted using roadside variables to predict operational speed. Also, the operational speed study in multi...

Ensuring the stability and integrity of underground gas storage salt caverns is a very complicated subject due to the non-linear and time-dependent behavior of rock salts under complicated thermal and mechanical loading conditions. For this reason, pressure and temperature fluctuations in the caverns and their surrounding strata must be integrated into the analysis and the numerical tools that ...

reducing energy consumption and greenhouse gas emissions have become a worldwide necessity. iran has the sixteenth ranking position of global greenhouse gas emissions and its rate of growth is above global average. built environments are responsible for about 40% of energy consumption and it is generally approved that the greatest portion of built environment is dedicated to residential land us...

Protozoa are considered good indicators of the treatment quality in activated sludge systems as they are sensitive to physical, chemical and operational processes. Therefore, it is possible to correlate the predominance of certain species or groups and several operational parameters of the plant. This work presents a semiautomatic image analysis procedure for the recognition of the stalked prot...

A type of representation of the spectral bidirectional reflectance distribution function (BRDF) is proposed that distinctly separates the spectral variable (wavelength) from the geometrical variables (spherical coordinates of the irradiation and viewing directions). Principal components analysis (PCA) is used in order to decompose the spectral BRDF in decorrelated spectral components, and the w...