Since the 1990s, many works have refined the Theory based approach dressing it up with new names such as Contribution Analysis, Elicitation Method or General Elimination Methodology. Theory Based Evaluations are particularly relevant for policy makers as they explain why an intervention works -or notin a given context allowing for generalisation. Their potential is not sufficiently exploited un...

The usual approach to the Brueckner theory is to derive the expression for the ground-state energy of a many-particle system from perturbation theory. B y a partial summation of Goldstone diagrams, the Bethe-Goldstone equation defining the Brueckner twro-body G-matrix is obtained. A refined version of the Brueckner theory [1] uses true occupation probabilities for single particle levels. Da Pro...

The purpose of this expository article is to explain diverse new tools that automata theory provides to tackle transcendence problems in function field arithmetic. We collect and explain various useful results scattered in computer science, formal languages, logic literature and explain how they can be fruitfully used in number theory, dealing with transcendence, refined transcendence and class...

The Islamic world has a rich artistic tradition of creating highly geometric and symmetric ornamentation. Over the centuries, the process of creating Islamic tilings was refined from the 15th Century ornamentation in the Alhambra Palace in Granada, Spain to the exquisite tilings, which are seen in mosques, mausoleums and minarets throughout the world today. The contemporary mathematics of group...

We combine the globally exponentially attractive set with the iterative theory to discuss the boundedness of a Lorenz-Stenflo chaotic system. Firstly, We get a exponentially attractive set for this system. Then, we use iterative theory to get a refined boundedness for this system. Finally, the boundedness for y, z is applied to chaos synchronization. Numerical simulations are presented to show ...

This work shows that the insulator-to-metal transition observed in paramagnetic FeO at high pressure can be described from first principles by using a refined version of many-body effective energy theory.

The Parameterised Model Checking Problem asks whether an implementation Impl(t) satisfies a specification Spec(t) for all instantiations of parameter t . In general, t can determine numerous entities: the number of processes used in a network, the type of data, the capacities of buffers, etc. The main theme of this paper is automation of uniform verification of a subclass of PMCP with the param...

It is argued that the ‘problem of time’ in quantum gravity necessitates a refinement of the local inertial structure of the world, demanding a replacement of the usual Minkowski line element by a (4 + 2n)-dimensional pseudo-Euclidean line element, with the extra 2n being the number of internal phase space dimensions of the observed system. In the refined structure, the inverse of the Planck tim...

Analysis of static bending, free vibration and buckling behaviours of functionally graded microplates is investigated in this study. The main idea is to use the isogeometric analysis in associated with novel four-variable refined plate theory and quasi-3D theory. More importantly, the modified couple stress theory with only one material length scale parameter is employed to effectively capture ...