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

an energy based damage index based on a new nonlinear finite element (fe) approach applicable to rc structures subjected to cyclic, earthquake or monotonic loading is proposed. the proposed method is based on the evaluation of nonlinear local degradation of materials and taking into account of the pseudo-plastic hinge produced in the critical sections of the structure. a computer program is dev...

The paper deals with the reliability–based design optimization (RBDO) of concrete gravity dams subjected to earthquake load using subset simulation. The optimization problem is formulated such that the optimal shape of concrete gravity dam described by a number of variables is found by minimizing the total cost of concrete gravity dam for the given target reliability. In order to achieve this p...

This paper presents crack detection in concrete structure based on fuzzy logic. Safety inspection of concrete structures is very important since it is closely related with the structural health and reliability. Automated structural health monitoring system becomes necessity in recent years that encourages various researches to be going on in this area. Cheap availability of digital cameras make...

This paper shows that imperfect output substitutability explains part of the observed persistent plant-level productivity dispersion. Specifically, as substitutability in a market increases, the market’s productivity distribution exhibits falling dispersion and higher central tendency. The proposed mechanism behind this result is truncation of the distribution from below as increased substituta...

Polymers not only possess repairing functions concerning the concrete structures, but also due to their properties are used in making different types of polymer cements and improving the matrix structure of cement materials, enhancing the viscosity, mechanical, and stability power of concretes. Today, there is limited knowledge on the use of SBR in structural light aggregate concrete. In the pr...