Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalent in expressive power to the spider diagram language. The language ESD is monadic and includes equality but has no constants or function symbols. To show this equivalence, in one direction, for each diagram we constru...

The pseudoparticle approach is a numerical method to compute path integrals without discretizing spacetime. The basic idea is to consider only those field configurations, which can be represented as a linear superposition of a small number of localized building blocks (pseudoparticles), and to replace the functional integration by an integration over the pseudoparticle degrees of freedom. In pr...

We calculate long-distance contributions to the amplitudes A(K0 → 2π, I) induced by the gluon and the electroweak penguin operators Q6 and Q8, respectively. We use the 1/Nc expansion within the effective chiral lagrangian for pseudoscalar mesons. In addition, we adopt a modified prescription for the identification of meson momenta in the chiral loop corrections in order to achieve a consistent ...

A thermodynamically consistent density functional-perturbation theory is used to study the isostructural solid-to-solid transition which takes place in the hard sphere/attractive Yukawa system when the Yukawa tail is sufficiently short-ranged. A comparison with results for the square well potential allows us to study the effect of the attractive potential form on the solid-solid transition. Rea...

There are three basic reasons why you might need to model a business: to re-engineer a business, to improve a business process and to automate a business process. Nevertheless, another reason may be very useful for analyst of software systems and their customers – to understand and automatically generate functional requirements to the system. The present paper describes the process of redefinit...

System specifications should be refined to meet stakeholders’ requirements as much as possible, because the first specification does not satisfy all stakeholders in general. This paper presents a procedure to refine behavioral specification to satisfy stakeholders. Non-functional requirements are used for checking stakeholders’ satisfaction. With this procedure, stakeholder-dissatisfaction can ...

We present an evaluation of the non-mesonic decay widths for Λ-hypernuclei (ΛN → NN , ΛNN → NNN) within the framework of the polarization propagator method. The full Λ self-energy is evaluated microscopically in nuclear matter by using the functional approach, which supplies a theoretically well grounded approximation scheme for the classification of the relevant diagrams, according to the pres...