This paper describes an approach to module composition by executing \module expressions" to build systems out of component modules; the paper also gives a novel semantics intended to aid implementers. The semantics is based on set the-oretic notions of tuple set, partial signature, and institution, thus avoiding more diicult mathematics theory. Language features include information hiding, both...

The role of Horizontal Showers induced by cosmic rays is discussed in detail. A new approach to the calculation of the muon component in horizontal air showers induced by protons, heavier nuclei or photons is presented which allows a simple analytical evaluation of the muon density profiles at ground level. The results of the first application of these results to horizontal air showers detected...

A novel warp for natural image stitching is proposed that utilizes the property of cylindrical warp and a horizontal pixel selection strategy. The proposed ratio-preserving halfcylindrical warp is a combination of homography and cylindrical warps which guarantees alignment by homography and possesses less projective distortion by cylindrical warp. Unlike previous approaches applying cylindrical...

This paper describes an approach to module composition by executing \module expressions" to build systems out of component modules. This approach extends the structural description capabilities of existing Architecture Description Languages (ADLs) to facilitate the manipulation of architectural components in a manner that results in either new components or complete instantiations of parameteri...

Settlement panels were used to evaluate the effects of composition of the substratum (sandstone, concrete, wood) and orientation (vertical, horizontal undersides) on subtidal epibiota. It was predicted that both factors would influence the development of epibiotic assemblages, but that differences due to composition would be less marked on horizontal undersides compared to vertical panels. Diff...

AIM Asthma may result in postural disorders due to increased activity of accessory respiratory muscles and hyperinflation. Our primary objective was to assess the correlation between pulmonary function and posture in adult patients with asthma. Secondarily, we aimed to study the correlation between body composition and body posture in this group of patients. METHOD This was a cross-sectional ...

Received Based on a categorical semantics that has been developed recently we study composition and reenement as horizontal and vertical structuring techniques for typed graph transformation systems. Composition of graph transformation systems w.r.t. common subsystems is shown to be compatible with the semantics, i.e., the semantics of the composed system is obtained as the composition of the s...

During their everyday decision making, humans consider the interplay between two types of trust: vertical trust and horizontal trust. Vertical trust captures the trust relationships that exist between individuals and institutions, while horizontal trust represents the trust that can be inferred from the observations and opinions of others. Although researchers are actively exploring both vertic...