8,555 research outputs found
No solvable lambda-value term left behind
In the lambda calculus a term is solvable iff it is operationally relevant.
Solvable terms are a superset of the terms that convert to a final result
called normal form. Unsolvable terms are operationally irrelevant and can be
equated without loss of consistency. There is a definition of solvability for
the lambda-value calculus, called v-solvability, but it is not synonymous with
operational relevance, some lambda-value normal forms are unsolvable, and
unsolvables cannot be consistently equated. We provide a definition of
solvability for the lambda-value calculus that does capture operational
relevance and such that a consistent proof-theory can be constructed where
unsolvables are equated attending to the number of arguments they take (their
"order" in the jargon). The intuition is that in lambda-value the different
sequentialisations of a computation can be distinguished operationally. We
prove a version of the Genericity Lemma stating that unsolvable terms are
generic and can be replaced by arbitrary terms of equal or greater order.Comment: 43 page
A note on the phase transition in a topologically massive Ginzburg-Landau theory
We consider the phase transition in a model which consists of a
Ginzburg-Landau free energy for superconductors including a Chern-Simons term.
The mean field theory of Halperin, Lubensky and Ma [Phys. Rev. Lett. 32, 292
(1974)] is applied for this model. It is found that the topological mass,
, drives the system into different regimes of phase transition. For
instance, there is a such that for a
fluctuation induced first order phase transition occurs. On the other hand, for
only the second order phase transition exists. The 1-loop
renormalization group analysis gives further insight to this picture. The fixed
point structure exhibits tricritical and second order fixed points.Comment: Revised version; uses a more physical parametrization of the
renormalization group equations; new references added; one figure added;
EuroLatex, 6 page
A non-perturbative approach to the Coleman- Weinberg mechanism in massless scalar QED
We rederive non-perturbatively the Coleman-Weinberg expression for the
effective potential for massless scalar QED. Our result is not restricted to
small values of the coupling constants. This shows that the Coleman- Weinberg
result can be established beyond the range of validity of perturbation theory.
Also, we derive it in a manifestly renormalization group invariant way. It is
shown that with the derivation given no Landau ghost singularity arises. The
finite temperature case is discussed.
Pacs number: 11.10.Ef,11.10.Gh
Necessidades de informação para as tomadas de decisão internas e utilidade do relato financeiro municipal: um estudo exploratório no município de Bragança
As modificações do sistema contabilístico autárquico em Portugal têm melhorado a informação financeira preparada e relatada, supostamente aumentando a sua utilidade para a gestão autárquica, designadamente para as tomadas de decisão e controlo internos. Porém, até ao momento, tal pressuposto não foi analisado nem comprovado empiricamente.
Neste sentido, este trabalho, que constitui um estudo exploratório, visa identificar as necessidades de informação dos utilizadores municipais para apoio às decisões internas e aferir a utilidade da informação da atual prestação de contas para a satisfação dessas necessidades.
Os resultados evidenciam que, no Município de Bragança, os utilizadores têm diferentes necessidades de informação financeira para as tomadas de decisão internas, havendo uma preferência pelos documentos de caráter orçamental. Para os decisores internos deste município, a utilidade da informação da prestação de contas em geral é média ou baixa para a satisfação das suas diferentes necessidades de informação identificadas no presente estudo. Finalmente, observou-se também que as necessidades de informação de gestão (produzida pela contabilidade de custos) não têm qualquer influência na utilidade do relato da informação financeira
- …