Provable security is a very nice property for cryptographic protocols. Unfortunately, in many cases, this is at the cost of a considerable loss in terms of efficiency. More recently, a new approach to achieve some kind of provable security was explored using the so-called “random oracle model”. Last year, Stern and the author studied the security of blind signatures in this model. We first defi...

This paper deals with the modeling of punching shear failure in reinforced concrete slabs using nonlinear finite element analysis. The 3D finite element analyses (FEA) were performed with the appropriate modeling of element size and mesh, and the constitutive modeling of concrete. The FE numerical models are validated by comparing with the experimental results obtained from tested specimens and...

The aim of the paper is to prove that if L is a linear subspace of the space C(K) of all real-valued continuous functions defined on a nonempty compact Hausdorff space K such that min(|f |, 1) ∈ L whenever f ∈ L, then for any nonzero g ∈ L̄ (where L̄ denotes the uniform closure of L in C(K)) and for any sequence (bn)n=1 of positive numbers satisfying the relation P∞ n=1 bn = ‖g‖ there exists a se...

the use of unbounded tendons is common in prestressed concrete structures and evaluation of the stress increase in unbonded tendons at ultimate flexural strength of such structure has posed a great challenge over the years. based on the bending experiment for two-span continuous post-tension beams with unbounded tendons and externally applied cfrp sheets, the monitoring of the stress increment ...

Several deficient steel structural members require to be strengthened all over the world. In this article, horizontal defects were generated at three locations (top, middle, and bottom) on the middle element and the middle of the side element. Consequently, the effects of the location of such defects on axial behavior of Carbon Fiber Reinforced Polymer (CFRP) strengthened steel Square Hollow Se...

The main objective of this study is to propose the Strut-and-Tie method (STM) to predict the shear capacity of simply supported RC deep beams shear-strengthened with carbon fiber reinforced polymers (CFRP). It is assumed that, the total carried shear force by shear-strengthened RC deep beam provided by three independent resistance, namely diagonal concrete strut due to Strut-and-tie mechanism, ...

End anchors have been shown to significantly reduce premature plate end debonding failure of plate bonded strengthened reinforced concrete (r. c.) beams. One of the main interest in designing end anchors is to determine the minimum or optimal length of end anchors for a given thickness and height of the end anchor. This paper presents experimental and numerical studies in determining those opti...