M. Naor (Ed.): TCC 2004, LCNS 2951, pages 336 352, February 2004. c © Springer-Verlag Berlin Heidelberg 2004. Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography, i.e., the specification is an ideal system and a real system should in some sense simulate this ideal one...

Channel catfish from two strains, USDA-103 and Norris, were reared in circular 800-l tanks Ž . and injected once weekly with 2.5 mg recombinant bovine growth hormone rbGH per gram body weight, or the saline vehicle. In addition to the rbGH, and strain treatments, half the tanks were supplied with well water of 26.08C and the other half received water of 21.78C. Growth rate, Ž . plasma insulin-l...

Regarding the importance of the prevention of hazards and adverse environmental impacts in industrial and populated areas such as southern parts of Tehran city, the response of impulsive period ground-supported tanks were assessed. Having considered the study area's soil properties, the response of ground-supported tanks was modelled. Regarding the soil properties of southern parts of Tehran, t...

cracked and un-cracked brazilian disc specimens subjected to diametral compression were used for conducting fracture toughness and tensile strength experiments on a polymer concrete (pc) material. the value of mode i fracture toughness (kic) was determined from the center- cracked brazilian disc and the indirect tensile strength (σt) was obtained from the un-cracked brazilian disc specimen. the...

Nowadays, functionally graded materials (FGM) are widely used in many industrial, aerospace and military fields. On the other hand, the interest in the use of shrink-fitted assemblies is increasing for designing composite tubes, high-pressure vessels, rectors and tanks. Although extensive researches exist on thick-walled cylindrical shells, not many researches have been done on shrink-fitted th...