Implicit parameters are used pervasively in Scala and are also present in a number of other programming and theorem proving languages. Œis paper describes a generalization of implicit parameters as they are currently found in Scala to implicit function types. We motivate the construct by a series of examples and provide formal foundations that closely follow the semantics implemented by the Sca...

Naturally occurred soil deposits inherit heterogeneity and anisotropy in their strength properties. The main purpose of this paper is to model the soil stratum with anisotropy consideration and spatially varying undrained shear strength by using random field theory coupled with finite difference numerical analysis to evaluate their effect on the bearing capacity of the shallow foundations. In t...

This paper presents a generalized numerical method to evaluate element stiffness matrices needed for the free vibration and stability analyses of non-prismatic columns resting on one- or two-parameter elastic foundations and subjected to variable axial load. For this purpose, power series approximation is used to solve the fourth–order differential equation of non-prismatic columns with v...

This article presents the buckling behavior of carbon nanotubes reinforced sandwich-structured composite shells supported by elastic foundations. The configuration is composed three layers, an isotropic core, and two nanocomposite face sheets. Carbon fibers are applied to reinforce sheets sandwich shells. It assumed that distribution reinforcements across shell thickness uniform or functionally...