Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established algorithms for deciding ground satisfiability in the theories of arrays (for vectors) and multisets (for bags), respectively. Yet, these decision procedures are only able to reason about vectors and bags in isolation, ...

natural vibration analysis of plates represents an important issue in engineering applications. in this paper, a new and simplify method for vibration analysis of circular and rectangular plates is presented. the design of an effective robust controller, which consistently attenuates transverse vibration of the plate caused by an external disturbance force, is given. the dynamics of the plate i...

We analyze transient heat conduction in a thick functionally graded plate by using a higher-order plate theory and a meshless local Petrov-Galerkin (MLPG) method. The temperature field is expanded in the thickness direction by using Legendre polynomials as basis functions. For temperature prescribed on one or both major surfaces of the plate, modified Lagrange polynomials are used as basis and ...

In this paper, the flexural response of functionally graded plates with porosities is investigated using a novel higher order shear deformation theory, which considers the influence of thickness stretching. This theory fulfills the nullity conditions at the top and bottom of the plate for the transverse shear stresses, thus avoids the need of a shear correction factor. The effective material pr...

In economics, the concept of time discounting introduces weights on future goods to make these less valuable. Yet, both the conceptual motivation for time discounting and its specific functional form remain contested. To address these problems, this paper provides a measurement-theoretic framework of representation for time discounting. The representation theorem characterises time discounting ...

Very often, when studying topological or dynamical properties of random scale-free networks, it is tacitly assumed that degree-degree correlations are not present. However, simple constraints, such as the absence of multiple edges and self-loops, can give rise to intrinsic correlations in these structures. In the same way that Fermionic correlations in thermodynamic systems are relevant only in...

A spillovers are a crucial factor in determining the optimal environment for innovation, there is no consensus regarding their impact on firm behavior. One reason for this may be that models differ in their assumptions for the functional form of the spillover pool. In industrial organization and economic geography, for example, the predominant convention is that all innovation within an industr...

We present a graphical analysis of the mechanisms underlying the occurrences of bubbling sequences and bistability regions in the bifurcation scenario of a special class of one dimensional two parameter maps. The main result of the analysis is that whether it is bubbling or bistability is decided by the sign of the third derivative at the inflection point of the map function.