This section formalizes a simple probabilistic imperative language, ProbCore, and Mayhap’s distribution extraction process. We describe ProbCore’s syntax, a concrete semantics for nondeterministic run-time execution, and a symbolic semantics for distribution extraction. Executing a ProbCore program under the symbolic semantics produces a Bayesian network for a passert statement. We prove this e...

Coring is considered to provide the best estimate of concrete compressive strength in existing structures and commonly used calibrate Non-Destructive Moderately Destructive Techniques. Historical concrete, produced pre-code period until ‘20s, significantly differs from modern due lack standardization, improper rules thumbs aggregate shape (round, smooth often excessively large aggregates) propo...

This paper presents an experimental study on circular stirrup-confined concrete specimens under uniaxial and monotonic load. The effects of stirrup volume ratio, stirrup yield strength and concrete strength on damage evolution of stirrup-confined concrete were investigated. The experimental results showed that the strength and ductility of concrete are improved by appropriate arrangement of the...

In many steel reinforced concrete members, bars are not avoidable during core drilling and the presence of these have a direct impact on results this test. This study aims to examine effect test recycled aggregate lightweight (LWC) cores. For purpose, one mix was made with total number 48 cores were taken from slab having dimensions 1 m width, 1.5 length 0.15m thickness. Each has 90 mm in diame...