Local theories of inheritance

Central and Local Limit Theories in Markov Dependent Random Variables

Finite difference method for sixth-order derivatives of differential equations in buckling of nanoplates due to coupled surface energy and non-local elasticity theories

In this article, finite difference method (FDM) is used to solve sixth-order derivatives of differential equations in buckling analysis of nanoplates due to coupled surface energy and non-local elasticity theories. The uniform temperature change is used to study thermal effect. The small scale and surface energy effects are added into the governing equations using Eringen’s non-local elasticity...

Non-Local Thermo-Elastic Buckling Analysis of Multi-Layer Annular/Circular Nano-Plates Based on First and Third Order Shear Deformation Theories Using DQ Method

In present study, thermo-elastic buckling analysis of multi-layer orthotropic annular/circular graphene sheets is investigated based on Eringen’s theory. The moderately thick and also thick nano-plates are considered. Using the non-local first and third order shear deformation theories, the governing equations are derived. The van der Waals interaction between the layers is simulated for multi-...

Finite difference method for sixth-order derivatives of differential equations in buckling of nanoplates due to coupled surface energy and non-local elasticity theories

In this article, finite difference method (FDM) is used to solve sixth-order derivatives of differential equations in buckling analysis of nanoplates due to coupled surface energy and non-local elasticity theories. The uniform temperature change is used to study thermal effect. The small scale and surface energy effects are added into the governing equations using Eringen’s non-local elasticity...

Types as Theories

There are many notions of type in computing. The most classical notion is \types as sets", which has been extended to cover many features of modern programming languages. This paper shows that such features are handled perhaps even more naturally by an extension of the \types as algebras" notion to a \types as theories" notion. This notion naturally supports object oriented concepts, including ...