soundness of concrete
1Crosshole sonic logging — (CSL) is a method to verify the structural integrity of drilled shafts and other concrete piles. The CSL method is considered to be more accurate than sonic echo testing in the determination of structural soundness of concrete within the drilled… …
2cement — cementable, adj. cementer, n. cementless, adj. /si ment /, n. 1. any of various calcined mixtures of clay and limestone, usually mixed with water and sand, gravel, etc., to form concrete, that are used as a building material. 2. any of various… …
3Logic — For other uses, see Logic (disambiguation). Philosophy …
4steel — steellike, adj. /steel/, n. 1. any of various modified forms of iron, artificially produced, having a carbon content less than that of pig iron and more than that of wrought iron, and having qualities of hardness, elasticity, and strength varying …
5Argument — This article is about the subject as it is studied in logic and philosophy. For other uses, see Argument (disambiguation). In philosophy and logic, an argument is an attempt to persuade someone of something, by giving reasons or evidence for… …
6Zero-knowledge proof — In cryptography, a zero knowledge proof or zero knowledge protocol is an interactive method for one party to prove to another that a (usually mathematical) statement is true, without revealing anything other than the veracity of the statement.A… …
7Wimpey no-fines house — The Wimpey No fines House is a house design by the George Wimpey company and intended for mass production of social housing for families. Designed under the Ministry of Works post World War II Emergency Factory Made programme, they are now one of …
8Christianity — /kris chee an i tee/, n., pl. Christianities. 1. the Christian religion, including the Catholic, Protestant, and Eastern Orthodox churches. 2. Christian beliefs or practices; Christian quality or character: Christianity mixed with pagan elements; …
9Candlestick Park — For the tornado, see Candlestick Park tornado. Candlestick Park The Stick …
10Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …
