A new patented lightweight aggregates is tested. This type is given the name Flashag. The only solid raw material used to manufacture these aggregates is fly ash. The aggregates are sintered but not pelletized and the process is easy and inexpensive. This paper describes these patented aggregates and compares them with other lightweight and normal-weight aggregates that are used for concrete. T...

A technique to estimate the depth of surface-breaking cracks in concrete is presented. The surface wave transmission coefficient across the crack plane is determined and used to estimate the depth. A self-compensating testing scheme is applied to eliminate experimental difficulties. Here the self-compensating testing scheme is introduced, and the approach used to estimate crack depth from the m...

Waters’ variant of the Boneh-Boyen IBE scheme is attractive because of its efficency, applications, and security attributes, but suffers from a relatively complex proof with poor concrete security. This is due in part to the proof’s “artificial abort” step, which has then been inherited by numerous derivative works. It has often been asked whether this step is necessary. We show that it is not,...

Concrete is a vital ingredient in infrastructure development with its versatile and extensive applications. The Indian construction industry today is consuming about 400 million tons of concrete every year and is expected to reach a billion tons in less than a decade. It is the most widely used construction material because of its mouldability into any required structural form and shape due to ...

In concrete pavements, a single concrete mixture design is selected to resist mechanical loading without attempting to adversely affect the concrete pavement shrinkage, ride quality, or noise attenuation. An alternative approach is to design distinct layers within the concrete pavement surface which have specific functions thus achieving higher performance at a lower cost. The objective of this...

The adiabatic temperature rise of early-age concrete can be precisely tested by the device. However, the insufficient accuracy of testing device can lead to inaccurate measurements of adiabatic temperature rise of later-age concrete. The purpose of this paper is to create a model to predict the hydration heat of later-age concrete. Based on the previous studies, it is known that the heat releas...

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.

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