BACKGROUND AND PURPOSE It is estimated that one third of the institutes applying clinical beta sources does not perform independent dosimetry. The Netherlands commission on radiation dosimetry (NCS) recently published recommended quality control procedures and detectors for the dosimetry of beta sources. The main issues of NCS Report 14 are summarized here. MATERIALS AND METHODS A dosimetry s...

This paper summarizes the research findings of the fundamental characteristics of high-strength concrete for the flexural design of bridge girders. The main objective of the research is to provide recommended provisions to the AASHTO-LRFD Bridge Design Specifications to extend the use of concrete strength up to 18 ksi. A total of 15 plain concrete specimens were tested under eccentric compressi...

due to their widespread availability, sandstones are commonly used as a natural stone for buildings, monuments and sculptures. in thecurrent study, nine sandstone samples from the upper red formation (specified by the letters a, b, c, cg, s, s1, sh, tr and min)were studied from a petrophysical point of view and their durability was evaluated. then, their suitability as building stones wasassess...

Introduction: Grip and pinch strength assess the function of hand and is considered as a sign of general health. Considering the high prevalence of related-work musculoskeletal disorders (WMSDs) due to the incongruity of work with the workers and preventability of diseases that are caused by such incongruity, we decided to study the relationship between maximum oxygen consumption (Vo2max) and w...

Let M ⊂ [n] := {0, . . . , n} and A be a family of subsets of an n element set such that |A∩B| ∈M for every A,B ∈ A. Suppose that l is the maximum number of consecutive integers contained in M and n is sufficiently large. Then |A| < min{1.62210 , 2 log 2 }. The first bound complements the previous bound of roughly (1.99)n due to Frankl and the second author [9] proved under the assumption that ...

This paper argues that specified blocks have every advantage over the combination of assertions, preconditions, postconditions, invariants, and variants, both for verifying programs, and for program development. They are simpler, more general, easier to write, and they make proofs easier.