920 resultados para satisfiability modulo theories
Resumo:
166 countries have some kind of public old age pension. What economic forcescreate and sustain old age Social Security as a public program? We document some of the internationally and historically common features of Social Security programs including explicit and implicit taxes on labor supply, pay-as-you-go features, intergenerational redistribution, benefits which areincreasing functions of lifetime earnings and not means-tested. We partition theories of Social Security into three groups: "political", "efficiency" and "narrative" theories. We explore three political theories in this paper: the majority rational voting model (with its two versions: "the elderly as the leaders of a winning coalition with the poor" and the "once and for all election" model), the "time-intensive model of political competition" and the "taxpayer protection model". Each of the explanations is compared with the international and historical facts. A companion paper explores the "efficiency" and "narrative" theories, and derives implicationsof all the theories for replacing the typical pay-as-you-go system with a forced savings plan.
Resumo:
Objectives: This study aims to explore subjectives theories (Flick, 1991) concerning sexualityamong gynaecologists. Methods: We conducted 27 deepened semi-structured interviews withmen and women gynaecologists, in the French part of Switzerland. A thematic contentanalysis was applied to the entire corpus. Results: We observe that discourse on sexualityissues can be source of discomfort during consultation with patients. Our analysis highlightsdisparities among levels of knowledge, attitudes and practices in gynaecologists. We observedthat their knowledges on sexuality seem to be constructed mainly on a profane knowledgebased on the common sense and/or their personal experiences. Furthermore, our findingsshow sex differences among physicians, especially on theoretical perspectives underlying theirdiscourse, and the time they allow themselves to spend with a patient. Conclusion: Nowadays,gynaecologists come across sexuality issues that go beyond anatomical and physiologicalconsiderations and for which they are not necessarily qualified. Our research suggests toanalyse both the role and the limits of gynaecologists as well as the motivations guiding theircurrent practice.
Resumo:
En trabajos anteriores se ha constatado que varios aceros al carbono hipoeutectoides, en estado de temple, presentan valores del módulo de Young inferiores a los correspondientes en estado de revenido. En todos los casos la determinación se ha realizado mediante ultrasonidos. En concreto, para el acero C22E (EN 10083), el módulo se incrementa ligeramente desde 209 GPa (material templado) hasta 211 GPa (revenido a 650 °C), para el acero C45E el módulo aumenta desde 199 GPa hasta 211 GPa (revenido a 500 °C) y para el acero C55E el módulo varía desde 202 GPa hasta 209 GPa para el acero revenido a 650 °C. El presente trabajo se centra en la caracterización estructural de los tres aceros mencionados a los distintos estados de tratamiento térmico, utilizando las técnicas de microscopía óptica de reflexión y microscopía electrónica de barrido, y se propone una explicación de la variación del módulo a partir del comportamiento de las dislocaciones y su interacción con átomos de soluto y con otras dislocaciones.
Resumo:
Accurately calibrated effective field theories are used to compute atomic parity nonconserving (APNC) observables. Although accurately calibrated, these effective field theories predict a large spread in the neutron skin of heavy nuclei. Whereas the neutron skin is strongly correlated to numerous physical observables, in this contribution we focus on its impact on new physics through APNC observables. The addition of an isoscalar-isovector coupling constant to the effective Lagrangian generates a wide range of values for the neutron skin of heavy nuclei without compromising the success of the model in reproducing well-constrained nuclear observables. Earlier studies have suggested that the use of isotopic ratios of APNC observables may eliminate their sensitivity to atomic structure. This leaves nuclear structure uncertainties as the main impediment for identifying physics beyond the standard model. We establish that uncertainties in the neutron skin of heavy nuclei are at present too large to measure isotopic ratios to better than the 0.1% accuracy required to test the standard model. However, we argue that such uncertainties will be significantly reduced by the upcoming measurement of the neutron radius in 208^Pb at the Jefferson Laboratory.
Resumo:
We develop an efficient technique to compute anomalies in supersymmetric theories by combining the so-called nonlocal regularization method and superspace techniques. To illustrate the method we apply it to a four-dimensional toy model with potentially anomalous N=1 supersymmetry and prove explicitly that in this model all the candidate supersymmetry anomalies have vanishing coefficients at the one-loop level.
Resumo:
We study spacetime diffeomorphisms in the Hamiltonian and Lagrangian formalisms of generally covariant systems. We show that the gauge group for such a system is characterized by having generators which are projectable under the Legendre map. The gauge group is found to be much larger than the original group of spacetime diffeomorphisms, since its generators must depend on the lapse function and shift vector of the spacetime metric in a given coordinate patch. Our results are generalizations of earlier results by Salisbury and Sundermeyer. They arise in a natural way from using the requirement of equivalence between Lagrangian and Hamiltonian formulations of the system, and they are new in that the symmetries are realized on the full set of phase space variables. The generators are displayed explicitly and are applied to the relativistic string and to general relativity.
Resumo:
The gauge-invariant actions for open and closed free bosonic string field theories are obtained from the string field equations in the conformal gauge using the cohomology operations of Banks and Peskin. For the closed-string theory no restrictions are imposed on the gauge parameters.
Resumo:
Diffeomorphism-induced symmetry transformations and time evolution are distinct operations in generally covariant theories formulated in phase space. Time is not frozen. Diffeomorphism invariants are consequently not necessarily constants of the motion. Time-dependent invariants arise through the choice of an intrinsic time, or equivalently through the imposition of time-dependent gauge fixation conditions. One example of such a time-dependent gauge fixing is the Komar-Bergmann use of Weyl curvature scalars in general relativity. An analogous gauge fixing is also imposed for the relativistic free particle and the resulting complete set time-dependent invariants for this exactly solvable model are displayed. In contrast with the free particle case, we show that gauge invariants that are simultaneously constants of motion cannot exist in general relativity. They vary with intrinsic time.
Resumo:
A geometrical treatment of the path integral for gauge theories with first-class constraints linear in the momenta is performed. The equivalence of reduced, Polyakov, Faddeev-Popov, and Faddeev path-integral quantization of gauge theories is established. In the process of carrying this out we find a modified version of the original Faddeev-Popov formula which is derived under much more general conditions than the usual one. Throughout this paper we emphasize the fact that we only make use of the information contained in the action for the system, and of the natural geometrical structures derived from it.
Resumo:
This article reviews recent theoretical developments in heavy-quarkonium physics from the point of view of effective-field theories of QCD. We discuss nonrelativistic QCD and concentrate on potential nonrelativistic QCD. The main goal will be to derive Schrödinger equations based on QCD that govern heavy-quarkonium physics in the weak- and strong-coupling regimes. Finally, the review discusses a selected set of applications, which include spectroscopy, inclusive decays, and electromagnetic threshold production.
Resumo:
We discuss the relation between spacetime diffeomorphisms and gauge transformations in theories of the YangMills type coupled with Einsteins general relativity. We show that local symmetries of the Hamiltonian and Lagrangian formalisms of these generally covariant gauge systems are equivalent when gauge transformations are required to induce transformations which are projectable under the Legendre map. Although pure YangMills gauge transformations are projectable by themselves, diffeomorphisms are not. Instead, the projectable symmetry group arises from infinitesimal diffeomorphism-inducing transformations which must depend on the lapse function and shift vector of the spacetime metric plus associated gauge transformations. Our results are generalizations of earlier results by ourselves and by Salisbury and Sundermeyer. 2000 American Institute of Physics.
Resumo:
To evaluate primary care physicians' attitude towards implementation of rotavirus (RV) immunisation into the Swiss immunisation schedule, an eight-question internet-based questionnaire was sent to the 3799 subscribers of InfoVac, a nationwide web-based expert network on immunisation issues, which reaches >95% of paediatricians and smaller proportions of other primary care physicians. Five demographic variables were also inquired. Descriptive statistics and multivariate analyses for the main outcome "acceptance of routine RV immunisation" and other variables were performed. Diffusion of innovation theory was used for data assessment. Nine-hundred seventy-seven questionnaires were returned (26%). Fifty percent of participants were paediatricians. Routine RV immunisation was supported by 146 participants (15%; so called early adopters), dismissed by 620 (64%), leaving 211 (21%) undecided. However, when asked whether they would recommend RV vaccination to parents if it were officially recommended by the federal authorities and reimbursed, 467 (48.5%; so called early majority) agreed to recommend RV immunisation. Multivariate analysis revealed that physicians who would immunise their own child (OR: 5.1; 95% CI: 4.1-6.3), hospital-based physicians (OR: 1.6; 95% CI: 1.1-2.3) and physicians from the French (OR: 1.6; 95% CI: 1.2-2.3) and Italian speaking areas of Switzerland (OR: 2.5; 95% CI: 1.1-5.8) were more likely to support RV immunisation. Diffusion of innovation theory predicts a >80% implementation if approximately 50% of a given population support an innovation. Introduction of RV immunisation in Switzerland is likely to be successful, if (i) the federal authorities issue an official recommendation and (ii) costs are covered by basic health care insurance.