The detection of cracks in concrete infrastructure is a problem of great interest. In particular, the detection of cracks in buried pipes is a crucial step in assessing the degree of pipe deterioration for municipal and utility operators. The key challenge is that whereas joints and laterals have a predictable appearance, the randomness and irregularity of cracks make them difficult to model. O...

In this note, we describe an error in the proof for CLRW2 given by Landecker et al. in their paper at CRYPTO 2012 on the beyond-birthday-bound security for tweakable block ciphers. We are able to resolve the issue, give a new bound for the security of CLRW2, and identify a potential limitation of this proof technique when looking to extend the scheme to provide asymptotic security.

background: various chemicals are used to produce polymers ,leakage of polymer materials over the time , can cause health problems the aim of this research was to evaluate the leakage of heavy metals from the pvc and polypropylene pipes used in the water distribution system in isfahan. methods: four brands of pp pipes and two various types of pvc pipes were analyzed in this study. concentration...

ABSTRACT: This paper proposes a new system integrating radio frequency identification (RFID) and building information modeling (BIM), which can be used for the lifecycle management for buildings. During the structural and MEP design stage, the locations of permanent tags are designed for facility management purpose. Tags can be designed to be attached to concrete structures, steel structures, v...

A parametric study on circular thin-walled pipes subjected to pure bending is performed. Both straight and curved pipes are considered. Ratio D/t, initial pipe curvature and internal pressure are the parameters varying in the analyses. The study is mainly FEA-based. It is found that negative curvatures (opposite to bending moment) considerably increase stiffness and buckling limit of the pipe w...

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...

The performance of radiant heating systems (floor heating, ceiling panels) is relatively well documented. Water based systems, where pipes are embedded in the building structure, are now being increasingly used for cooling purposes. Several theoretical studies based on the use of computer simulations have been published, but very little is reported on the actual performance in existing building...