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...

Based on Lagrange and Hermite interpolation two novel versions of weak form quadrature element are proposed for a non-classical Euler-Bernoulli beam theory. By extending these concept two new plate elements are formulated using Lagrange-Lagrange and mixed Lagrange-Hermite interpolations for a non-classical Kirchhoff plate theory. The non-classical theories are governed by sixth order partial di...

free vibration analysis of higher-order shear deformation beam resting on one- and two-parameter elasticfoundation is studied using differential transform method (dtm) as a part of a calculation procedure. first,the governing differential equations of beam are derived in a general form considering the shear-freeboundary conditions (zero shear stress conditions at the top and bottom of a beam). ...