In this paper, natural frequencies of square laminated composite plates for different supports at edges are presented. Using a third order shear deformation theory of plates (TSDT), which is categorized in equivalent single layer theories (ESL), a new set of linear equations of motion for square multi-layered composite plates has been derived. Laminated plates are supposed to be either angleply...

We present a novel and remarkably simple formulation of degenerate higher-order scalar-tensor (DHOST) theories whose Lagrangian is quadratic in second derivatives some scalar field. Using disformal transformations the metric, we identify special "frame" (or metric) for which DHOST reduces to usual Einstein-Hilbert term plus few terms that depend on geometric quantities characterizing uniform fi...

Interactive theorem proving is tackling ever larger formalization and verification projects, and there is a critical need for theory engineering techniques to support these efforts. One such technique is effective package management, which has the potential to simplify the development of logical theories by precisely checking dependencies and promoting re-use. This paper introduces a domainspec...

Explaining the nature of consciousness is one of the more important and perplexing areas in philosophy. What is consciousness? How is the conscious mind related to the body? Can consciousness be explained in terms of brain activity? How can we explain the sensation of the smelling of a rose or a conscious visual experience? Given that philosophy is interdisciplinary by its very nature, the prob...

In this study, free vibration of functionally graded rectangular plates for various types of boundary conditions has been presented . The properties of the plate are assumed as power- law form along the thickness direction , while poisson's ratio is kept constant. the linear vibration equations of functionally graded rectangular plates are derived based on first order shear deformation theory b...