Cracking of the concrete cover due to corrosion is defined as the serviceability limit state of reinforced concrete structures. This study evaluated the influence of a mineral admixture i.e. nano wollastonite on corrosion performance and serviceability of reinforced concrete structures by performing an accelerated corrosion test on ten reinforced concrete beams under a sustained load. To do so,...

In the construction process of a plastic concrete cut-off wall, concreting is usually performed using the termie pipe method. In this method, concreting is performed from the lowest point in the excavated trench (containing the slurry) using a funnel and the pipe connected to it. The concrete poured in the funnel gradually settles in the panel through the termie pipe which is beneath the slurry...

It is unclear whether healthy aging influences concreteness effects (i.e., the processing advantage seen for concrete over abstract words) and its associated neural mechanisms. We conducted an fMRI study on young and older healthy adults performing auditory lexical decisions on concrete vs. abstract words. We found that spoken comprehension of concrete and abstract words appears relatively pres...

State recovery attacks comprise an important class of attacks on pseudorandom generators. In this paper we analyze resistance of pseudorandom generators against these attacks in terms of concrete security. We show that security of the BlumMicali pseudorandom generator against state recovery attacks is tightly related to the security of the corresponding one-way function. C. Wolf, S. Lucks, P.-W...

We present a security reduction for the PAK protocol instantiated over Gap Diffie-Hellman Groups that is tighter than previously known reductions. We discuss the implications of our results for concrete security. Our proof is the first to show that the PAK protocol can provide meaningful security guarantees for values of the parameters typical in today’s world.

White-box cryptography has attracted a growing interest from researchers in the last decade. Several white-box implementations of standard block-ciphers (DES, AES) have been proposed but they have all been broken. On the other hand, neither evidence of existence nor proofs of impossibility have been provided for this particular setting. This might be in part because it is still quite unclear wh...

The structural system of prestressed concrete (PC) voided slab deck is intermediate between plate and girder. Therefore, the conventional design method is based on the assumption that the system is similar to the plate system or to the grid system. In this paper, the structural behavior of a continuous PC voided slab deck with three spans was analyzed by using the three dimensional solid finite...

In the context of Universal Composability, we introduce the concept of universal environments and simulators. Then, Universal Composability is equivalent to Universal Composability wrt. universal environments and simulators. We prove the existence of universal environments and simulators and investigate their computational complexity. From this, we get a number of consequences: First, we see th...

The suitability of using the initial current from the rapid chloride test (ASTM C 1202) to determine specimen conductivity is tested using impedance spectroscopy with a frequency spectrum of 10 Hz to 1 MHz. The specimen conductivity has an analytical relationship to specimen diffusivity and so is a useful quantity in service life prediction. Measurements made on specimens of different lengths i...

In this paper we present the Stern–Brocot tree as a basis for performing exact arithmetic on rational numbers. There exists an elegant binary representation for positive rational numbers based on this tree [Graham et al., Concrete Mathematics, 1994]. We will study this representation by investigating various algorithms to perform exact rational arithmetic using an adaptation of the homographic ...