920 resultados para satisfiability modulo theories


Relevância:

20.00% 20.00%

Publicador:

Resumo:

"Vegeu el resum a l'inici del document del fitxer adjunt."

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper examines the explanation of commercial crises offered by William Huskisson in 1810 in the wake of the debate on the Bullion Report. Huskisson argued that the suspension of convertibility made it possible to extend issues of paper currency beyond its proper limits. Such an expansion, being in the interest of all parties concerned, would actually take place and stimulate excessive speculations, which would eventually prove unsustainable and bring generalized ruin and distress. Although some elements of this explanations were not new (having been anticipated by writers sucha as James Currie in 1793, William Roscoe in 1793, William Anderson in 1797 and an anonymous in 1796), Huskisson's explanation is more systematic and better organized, and his emphasis on the endogenous character of the crisis and on the instability of the dynamics of trade and credit makes it an interesting foreshadower of the theories of crises that were advanced half a century later.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The k-symplectic formulation of field theories is especially simple, since only tangent and cotangent bundles are needed in its description. Its defining elements show a close relationship with those in the symplectic formulation of mechanics. It will be shown that this relationship also stands in the presymplectic case. In a natural way,one can mimick the presymplectic constraint algorithm to obtain a constraint algorithmthat can be applied to k-presymplectic field theory, and more particularly to the Lagrangian and Hamiltonian formulations offield theories defined by a singular Lagrangian, as well as to the unified Lagrangian-Hamiltonian formalism (Skinner--Rusk formalism) for k-presymplectic field theory. Two examples of application of the algorithm are also analyzed.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In der Pflegewissenschaft geben der Einsatz von Theorien und der daraus folgende Gewinn immer wieder Anlass zu Diskussionen. Ein Hauptvorwurf ist, dass Pflegetheorien als sehr abstrakt und wenig praxisnah gelten. Jedoch gibt es wenige Indikatoren, um das Abstraktionsniveau von Theorien und die damit verbundene Reichweite zu bestimmen. Im vorliegenden Artikel werden Fragen basierend auf die Definitionen und Grundannahmen von Theorien erstellt. Damit werden anschließend drei ausgesuchte Theorien auf ihr Abstraktionsniveau und Reichweite untersucht. Es wurden 18 Fragen zu den drei Bereichen ,,Zweck der Theorie", ,,Aufgabe der Theorie" und ,,Beschreibung der Theorie" entwickelt. Diese 18 Fragen wurden auf die Theorie der Adaptation von Sister Callista Roy, die Theorie zur Unsicherheit von Merle M. Mishel und die Theorie der Omnipräsenz von Krebs von Maya Shaha angewendet. [The use of nursing theories and their associated benefits remain an area of repeated discussion in nursing. One of the main objections is that nursing theories are abstract and therefore cannot be easily applied to practice. However, only few indicators exist to help identify a theory's level of abstraction or its scope. In this article, questions based on definitions and assumptions of theories have been developed. These questions have then been applied to three selected theories to investigate their level of abstraction and scope. A total of 18 questions divided into three domains were developed. The three categories were: ,,the purpose of the theory", ,,the aim of the theory" and ,,the description of the theory". The theory of Adaptation by Sister Callista Roy, the Theory of Uncertainty by Merle M. Mishel and the Theory of the Omnipresence of Cancer by Maya Shaha were selected to be analysed following the three domains with the 18 questions.]

Relevância:

20.00% 20.00%

Publicador:

Resumo:

How can we best understand the emergence of the European Security and Defence Policy (ESDP)? This paper applies the theories of historical institutionalism and experiential learning to offer a dynamic conceptualisation of moves towards an ESDP which highlights some of the causal factors that a more temporally-restricted analysis would miss. It firstly shows how the institutional and functional expansion of European Political Cooperation (EPC) over the course of the 1970s and 80s gave rise to a context in which the development of a security and defence dimension came to be viewed as more logical and even necessary. It then goes on to analyse some of the external factors (in the form of actors, events and institutions) that further pushed in this direction and proved to influence the policy’s subsequent evolution. The paper is therefore intended to act as a first-step to understanding the ESDP’s development from this perspective.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper links different political liberal theories, considered from the perspective of their moral ontology, with federal democracies. After giving a brief description of these theories, I discuss their relationship with the theoretical and institutional models of federalism. As methodological tools, the paper introduces some Hegel’s political concepts and deals with their potential application to the analysis of federalism, taken into account the case of minorities in multinational democracies. I postulate the need for a moral and institutional refinement of liberal-democratic patterns that is better able to accommodate national pluralism than has so far been achieved by traditional constitutionalism.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The deep drop of the fertility rate in Italy to among the lowest in the world challenges contemporary theories of childbearing and family building. Among high-income countries, Italy was presumed to have characteristics of family values and female labor force participation that would favor higher fertility than its European neighbors to the north. We test competing economic and cultural explanations, drawing on new nationally representative, longitudinal data to examine first union, first birth, and second birth. Our event history analysis finds some support for economic determinants of family formation and fertility, but the clear importance of regional differences and of secularization suggests that such an explanation is at best incomplete and that cultural and ideational factors must be considered.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

166 countries have some kind of public old age pension. What economic forces create and sustain old age Social Security as a public program? Mulligan and Sala-i-Martin (1999b) document several of the internationally and historically common features of social security programs, and explore "political" theories of Social Security. This paper discusses the "efficiency theories", which view creation of the SS program as a full of partial solution to some market failure. Efficiency explanations of social security include the "SS as welfare for the elderly" the "retirement increases productivity to optimally manage human capital externalities", "optimal retirement insurance", the "prodigal father problem", the "misguided Keynesian", the "optimal longevity insurance", the "government economizing transaction costs", and the "return on human capital investment". We also analyze four "narrative" theories of social security: the "chain letter theory", the "lump of labor theory", the "monopoly capitalism theory", and the "Sub-but-Nearly-Optimal policy response to private pensions theory". The political and efficiency explanations are compared with the international and historical facts and used to derive implications for replacing the typical pay-as-you-go system with a forced savings plan. Most of the explanations suggest that forced savings does not increase welfare, and may decrease it.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The theory framework of nursing science is built in a dynamic process that arises from practice and is reproduced through research, mainly by analysis and development of concepts and theories. This study presents a theory reflection on nursing knowledge construction and points out subsidies for future studies in the area. The interrelation among theory, research, and clinical practice is required for continuous development of nursing as a profession and science. Ideally, the practice must be based on theory that is validated by research. Therefore, theory, research, and practice affect each other reciprocally and continuously.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

166 countries have some kind of public old age pension. What economic forcescreate and sustain old age Social Security as a public program? Mulligan and Sala-i-Martin (1999b) document several of the internationally and historically common features of social security programs, and explore "political" theories of Social Security. This paper discusses the "efficiency theories", which view creation of the SS program as a full of partial solution to some market failure. Efficiency explanations of social security include the "SS as welfare for the elderly" the "retirement increases productivity to optimally manage human capital externalities", "optimal retirement insurance", the "prodigal father problem", the "misguided Keynesian", the "optimal longevity insurance", the "governmenteconomizing transaction costs", and the "return on human capital investment". We also analyze four "narrative" theories of social security: the "chain letter theory", the "lump of labor theory", the "monopoly capitalism theory", and the "Sub-but-Nearly-Optimal policy response to private pensions theory".The political and efficiency explanations are compared with the international and historical facts and used to derive implications for replacing the typical pay-as-you-go system with a forced savings plan. Most of the explanations suggest that forced savings does not increase welfare, and may decrease it.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This article starts a computational study of congruences of modular forms and modular Galoisrepresentations modulo prime powers. Algorithms are described that compute the maximum integermodulo which two monic coprime integral polynomials have a root in common in a sensethat is defined. These techniques are applied to the study of congruences of modular forms andmodular Galois representations modulo prime powers. Finally, some computational results withimplications on the (non-)liftability of modular forms modulo prime powers and possible generalisationsof level raising are presented.