757 resultados para quantified constraint satisfaction


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The paper investigates which of Shannon’s measures (entropy, conditional entropy, mutual information) is the right one for the task of quantifying information flow in a programming language. We examine earlier relevant contributions from Denning, McLean and Gray and we propose and motivate a specific quantitative definition of information flow. We prove results relating equivalence relations, interference of program variables, independence of random variables and the flow of confidential information. Finally, we show how, in our setting, Shannon’s Perfect Secrecy theorem provides a sufficient condition to determine whether a program leaks confidential information.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Recent investigations of various quantum-gravity theories have revealed a variety of possible mechanisms that lead to Lorentz violation. One of the more elegant of these mechanisms is known as Spontaneous Lorentz Symmetry Breaking (SLSB), where a vector or tensor field acquires a nonzero vacuum expectation value. As a consequence of this symmetry breaking, massless Nambu-Goldstone modes appear with properties similar to the photon in Electromagnetism. This thesis considers the most general class of vector field theories that exhibit spontaneous Lorentz violation-known as bumblebee models-and examines their candidacy as potential alternative explanations of E&M, offering the possibility that Einstein-Maxwell theory could emerge as a result of SLSB rather than of local U(1) gauge invariance. With this aim we employ Dirac's Hamiltonian Constraint Analysis procedure to examine the constraint structures and degrees of freedom inherent in three candidate bumblebee models, each with a different potential function, and compare these results to those of Electromagnetism. We find that none of these models share similar constraint structures to that of E&M, and that the number of degrees of freedom for each model exceeds that of Electromagnetism by at least two, pointing to the potential existence of massive modes or propagating ghost modes in the bumblebee theories.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este estudo trata da abordagem macroergonômica participativa para a identificação das demandas ergonômicas dos motoristas de ônibus urbano da cidade de Joinville, com utilização da metodologia participativa da Análise Macroergonômica do Trabalho (AMT) (GUIMARÃES, 2001c) e ferramental proposto no Design Macroergonômico (DM) (FOGLIATTO E GUIMARÃES, 1999). O estudo de caso foi realizado em uma empresa privada de transporte coletivo da cidade de Joinville. A aplicação da metodologia permitiu identificar as demandas ergonômicas prioritárias levantadas pelos motoristas de ônibus urbano da cidade de Joinville e os itens de design do seu posto de trabalho através da fase de apreciação. As demandas ergonômicas, bem como os itens de design foram comparados através do Teste Exato de Fisher com determinadas características da população constatando-se algumas associações significativas entre a satisfação dos motoristas e as variáveis que compõe cada construto. Estes resultados possibilitaram a formulação de recomendações que viabilize, em estudos futuros, a introdução de melhorias para o aumento da qualidade de vida dos motoristas. Os estudos também permitiram identificar uma afinidade da metodologia participativa com os motoristas de ônibus urbano, em que as mudanças podem ocorrer de forma gradativa e experiencial através de protótipos no caso das demandas referentes à posto de trabalho e físico ambiental, ou através de possíveis adaptações no conteúdo da tarefa do motorista no caso das demandas referentes à organização do trabalho. Tudo isto vislumbrando o atendimento, por ordem de importância, dos itens de demanda ergonômica levantados. Por fim, concluiu-se que para os motoristas de Joinville alguns fatores referentes a organização do trabalho estão entre os principais causadores dos constrangimentos aos quais são expostos enquanto executam sua tarefa, seguido por fatores físicos ambientais e posto do trabalho.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This manuscript demonstrates that voters have nothing to be afraid of when new hard budget constraint legislation is implemented. Our claim is that this kind of legislation reduces the asymmetry of information between voters and incumbents over the budget and, as a consequence, the latter have incentives to increase the supply of public goods. As a nationwide institutional innovation, the Fiscal Responsibility Law (FRL) is exogenous to all municipalities; therefore, there is no self-selection bias in its implementation. We show that public goods expenditure increases after the FRL. Second, this increase occurs in municipalities located in the country’s poorest region. Third, our findings can be extended to the supply of public goods because the higher the expenditure with health and education, the greater the probability of incumbents being re-elected. Finally, there exists a “de facto” higher supply of public goods in education (number of per capita classrooms) after the FRL.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The objectives of these notes are two. The first objective is to analyze whether the strategy of growth with absorption of foreign savings leads to a trajectory of the economy that is sustainable in the long run. The second one is to evaluate the possibility of success of a policy of administered devaluation of the exchange rate in Brazil.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Purpose: The aim of this study was to evaluate the satisfaction of patients rehabilitated with zygomatic fixtures and prosthesis with immediate loading.Materials and Methods: The study selected patients who were rehabilitated with zygomatic implants at the clinic of the Latin American Institute for Dental Research and Education (ILAPEO. Curitiba-PR. Brasil) between 2005 and 2009. The patients were asked to answer a control-questionnaire during their follow-up visits. Data were collected regarding the level of patient satisfaction, reason for dissatisfaction, number of post-operative clinical sessions, and the type of complication. Sixteen patients were selected: 10 females and 6 males.Results: Half of the patients were completely satisfied while the other half were satisfied with some complaints. The complaints were related to hygiene, esthetics, phonetics, and discomfort during chewing. Regarding the post-operative evaluation, 50% of the patients were attended due to the prosthesis (62.5%) and the implant (37.5%).Conclusions: The treatment with zygomatic fixtures is predictable and reliable. The patients were satisfied both with implants and prosthesis. (C) 2012 American Association of Oral and Maxillofacial Surgeons J Oral Maxillofac Surg 70: 314-319, 2012

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The matching of the aesthetic, functional, and psychosocial results of a facial deformity may produce devastating effects in its carriers, especially if the lesion is extensive or the treatment is aggressive. Because of this, the objective of the present article was to evaluate patient's satisfaction rating after surgical facial reconstruction or rehabilitation with oral and maxillofacial prosthesis, by means of reviewing the literature.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Obturators and facial prostheses are important not only in rehabilitation and aesthetics, but also in patient re-socialisation. The level of reintegration is directly related to the degree of satisfaction with rehabilitation. So, the maxillofacial prosthetics must provide patient satisfaction during treatment. This study aimed to search information in database and conduct a literature review on patient satisfaction with maxillofacial prosthesis. The problems experienced by these patients may decrease when specialists keep the patient on regular inspection. Rehabilitation through alloplasty or prosthetic restoration provides satisfactory conditions in aesthetics and well-being and reinstates individuals in familial and social environment. (C) 2008 British Association of Plastic, Reconstructive and Aesthetic Surgeons. Published by Elsevier Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Background:It has been stated that mandibular overdentures are more satisfactory than conventional dentures, but problems relating to the use of retrospective ratings, lack of control group and sequential provision of treatment may compromise the findings.Objective:To establish a comparison between treatment with conventional complete dentures and implant-retained overdentures in elderly patients by conducting a literature review.Materials and methods:A search of English language peer-review literature was completed using Medline up to 2008 focusing on evidence-based research. Randomised clinical trials (RCTs) and longitudinal prospective studies were favoured in the review, using a general hierarchical classification. Articles that did not focus exclusively on the comparison of patient satisfaction between complete dentures and overdentures were excluded from further evaluation. The last search was conducted in February 2008. Key terms included quality of life, patient satisfaction, edentulism, complete denture and overdenture.Results:Among the 90 articles found in the initial search, 27 met the inclusion criteria. This included 18 RCTs and eight prospective and one cohort study. Most of the articles stated superiority of the mandibular implant-retained overdenture therapy over the conventional complete denture regarding patient satisfaction and quality of life.Conclusion:Even with implant treatment presenting higher patient satisfaction and improvement of quality of life, it was not possible to establish a direct comparison between the studies due to differences in adopted methodologies.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

During the process of facial rehabilitation, the mobility of ocular prostheses must be considered. Whereas some factors depend exclusively on the dentist, such as molding techniques and selection of material for denture construction, regarding ocular rehabilitation, factors, such as type of surgery, whether to adopt implants, and the use of lubricants, deserve special attention owing to their integration and their association with other factors pertaining exclusively to the patient. To establish harmony, and with the intention of aiding the dentist, after a discerning evaluation, the authors of this study report the factors that provide greater or less mobility to ocular prostheses and conceal the prosthesis in a more natural way, thereby contributing toward achieving a favorable aesthetic result in rehabilitations.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The diurnal tegu lizard Tupinambis merianae exhibits a marked circadian variation in metabolism that is characterized by the significant increase in metabolism during part of the day. These increases in metabolic rate, found in the fasting animal, are absent during the first 2 d after meal ingestion but reappear subsequently, and the daily increase in metabolic rate is added to the increase in metabolic rate caused by digestion. During the first 2 d after feeding, priority is given to digestion, while on the third and following days, the metabolic demands are clearly added to each other. This response seems to be a regulated response of the animal, which becomes less active after food ingestion, rather than an inability of the respiratory system to support simultaneous demands at the beginning of digestion. The body cavity of Tupinambis is divided into two compartments by a posthepatic septum (PHS). Animals that had their PHS surgically removed showed no significant alteration in the postprandial metabolic response compared to tegus with intact PHS. The maximal metabolic increment during digestion, the relative cost of meal digestion, and the duration of the process were virtually unaffected by the removal of the PHS.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We perform a careful study on the effect of the Pauli blocking to the light antiquark structure of the proton sea. We develop the formal expressions for the antiquark distributions, highlighting the role played by quark statistics and the vacuum structure. Ratios involving the antiquarks are calculated. In particular, it is found that Delta(d) over bar (x)/Delta(u) over bar (x) should be negative and x independent. (C) 2002 Elsevier B.V. B.V. All rights reserved.