An anchored sheet wall is commonly used in retaining deep excavations. Anchor force is one of the critical design parameters in practice. Based on the kinematical admissible failure mechanism, a limit analysis approach to determine the anchor force is presented. The explicit formula for the anchor force is given, which makes it easy to calculate using a simple calculation program such as MS Off...

Advanced composite materials are attractive in situations where high performance materials are required, such as in aerospace, military, medical applications and sporting goods industries. However, because they are difficult to shape into complex geometries, currently, most composite parts are manufactured by the hand lay-up process, which is time-consuming and labor-intensive. The main motivat...

The Cut-and-choose paradigm gives by far the most popular and efficient secure two-party computation protocols in the standard malicious model, able to offer s bits of security with only s copies of garbled circuits in the one-time execution scenario [33]. Nielsen, Orlandi et al. [48,13] have even proposed the seminal idea of LEGO-style cut-and-choose to further reduce the number of circuit cop...

This paper describes a general numerical formulation of the lower bound theorem of classical plasticity. The method is based on simplex finite elements and nonlinear programming and is applicable to problems in one, two and three dimensions. The use of linear finite elements guarantees that the computed collapse loads are, within computational accuracy, rigorous lower bounds on the true collaps...

Handling of data below the lower limit of quantification (LLOQ), below the limit of quantification (BLOQ) in population pharmacokinetic (PopPK) analyses is important for reducing bias and imprecision in parameter estimation. We aimed to evaluate whether using the concentration data below the LLOQ has superior performance over several established methods. The performance of this approach ("All d...

We present improved numerical approximations to the exact Poissonian confidence limits for small numbers n of observed events following the approach of Gehrels (1986). Analytic descriptions of all parameters used in the approximations are provided to allow their straightforward inclusion in computer algorithms for processing of large data sets. Our estimates of the upper (lower) Poisson confide...

This paper examines the SSM technique CATWOE, which focus on defining necessary elements that together constitute a human activity system from a certain perspective. Despite its recognition within the literature and its numerous use there are few studies on how the technique can be improved. This research reflects on each of the elements both from a theoretical and a practical perspective. Find...

Proof. By composing Y with a homeomorphism R→ (0, 1) if required, we may assume that Y is bounded and we do so. To prove the claim, we appeal to the standard machinery using the monotone class theorem. Let L∞ be the family of bounded σ(X )-measurable functions and let H be the subset of L∞ defined by H = {Y ∈ L∞ : ∃ a Borel-measurable f satisfying Y = f (X ) a.s.}. We claim thatH = L∞. To this ...