Dynamically Assisted Schwinger Mechanism

International Nuclear Information System (INIS)

Schuetzhold, Ralf; Gies, Holger; Dunne, Gerald

2008-01-01

We study electron-positron pair creation from the Dirac vacuum induced by a strong and slowly varying electric field (Schwinger effect) which is superimposed by a weak and rapidly changing electromagnetic field (dynamical pair creation). In the subcritical regime where both mechanisms separately are strongly suppressed, their combined impact yields a pair creation rate which is dramatically enhanced. Intuitively speaking, the strong electric field lowers the threshold for dynamical particle creation--or, alternatively, the fast electromagnetic field generates additional seeds for the Schwinger mechanism. These findings could be relevant for planned ultrahigh intensity lasers

Calculation of the fermionic determinant in the Schwinger model

International Nuclear Information System (INIS)

Dias, S.A.; Linhares, C.A.

1991-01-01

We compute explicitly the fermionic determinant and the effective action for the generalized Schwinger model in two dimensions and compare it with respective results for the particular cases of the Schwinger, chiral Schwinger and axial Schwinger models. The parameters that signal the ambiguity in the regularization scheme fo the determinant are introduced through the point-splitting method. The Wess-Zumino functional is also obtained and compared with the known expressions for the above-mentioned particular cases. (author)

A Csup(*)-algebra approach to the Schwinger model

International Nuclear Information System (INIS)

Carey, A.L.; Hurst, C.A.

1981-01-01

If cutoffs are introduced then existing results in the literature show that the Schwinger model is dynamically equivalent to a boson model with quadratic Hamiltonian. However, the process of quantising the Schwinger model destroys local gauge invariance. Gauge invariance is restored by the addition of a counterterm, which may be seen as a finite renormalisation, whereupon the Schwinger model becomes dynamically equivalent to a linear boson gauge theory. This linear model is exactly soluble. We find that different treatments of the supplementary (i.e. Lorentz) condition lead to boson models with rather different properties. We choose one model and construct, from the gauge invariant subalgebra, a class of inequivalent charge sectors. We construct sectors which coincide with those found by Lowenstein and Swieca for the Schwinger model. A reconstruction of the Hilbert space on which the Schwinger model exists is described and fermion operators on this space are defined. (orig.)

Lattice-QCD based Schwinger-Dyson approach for Chiral phase transition

International Nuclear Information System (INIS)

Iida, Hideaki; Oka, Makoto; Suganuma, Hideo

2005-01-01

Dynamical chiral-symmetry breaking in QCD is studied with the Schwinger-Dyson (SD) formalism based on lattice QCD data, i.e., LQCD-based SD formalism. We extract the SD kernel function K(p 2 ) in an Ansatzindependent manner from the lattice data of the quark propagator in the Landau gauge. As remarkable features, we find infrared vanishing and intermediate enhancement of the SD kernel function K(p 2 ). We apply the LQCD-based SD equation to thermal QCD with the quark chemical potential μ q . We find chiral symmetry restoration at T c ∼100MeV for μ q =0. The real part of the quark mass function decreases as T and μ q . At finite density, there appears the imaginary part of the quark mass function, which would lead to the width broadening of hadrons

Comparison of the anomalous and non-anomalous generalized Schwinger models via functional formalism

International Nuclear Information System (INIS)

Souza Dutra, A. de.

1992-01-01

The Green functions of the two versions of the two versions of the generalized Schwinger model, the anomalous and the non-anomalous one, in their higher order Lagrangian density form are calculated. Furthermore it is shown through a sequence of transformations that the bosonized Lagrangian density is equivalent to the former, at least for the bosonic correlation functions. The introduction of the sources from the beginning, leading to a gauge-invariant source term is also considered. It is verified that the two models have the same correlation functions only of the gauge-invariant sector is taken into account. Finally it is presented a generalization of the Wess-Zumino term, and its physical consequences are studied, in particular the appearance of gauge-dependent massive excitations. (author)

A Dyson-Schwinger approach to finite temperature QCD

Energy Technology Data Exchange (ETDEWEB)

Mueller, Jens Andreas

2011-10-26

The different phases of quantum chromodynamics at finite temperature are studied. To this end the nonperturbative quark propagator in Matsubara formalism is determined from its equation of motion, the Dyson-Schwinger equation. A novel truncation scheme is introduced including the nonperturbative, temperature dependent gluon propagator as extracted from lattice gauge theory. In the first part of the thesis a deconfinement order parameter, the dual condensate, and the critical temperature are determined from the dependence of the quark propagator on the temporal boundary conditions. The chiral transition is investigated by means of the quark condensate as order parameter. In addition differences in the chiral and deconfinement transition between gauge groups SU(2) and SU(3) are explored. In the following the quenched quark propagator is studied with respect to a possible spectral representation at finite temperature. In doing so, the quark propagator turns out to possess different analytic properties below and above the deconfinement transition. This result motivates the consideration of an alternative deconfinement order parameter signaling positivity violations of the spectral function. A criterion for positivity violations of the spectral function based on the curvature of the Schwinger function is derived. Using a variety of ansaetze for the spectral function, the possible quasi-particle spectrum is analyzed, in particular its quark mass and momentum dependence. The results motivate a more direct determination of the spectral function in the framework of Dyson-Schwinger equations. In the two subsequent chapters extensions of the truncation scheme are considered. The influence of dynamical quark degrees of freedom on the chiral and deconfinement transition is investigated. This serves as a first step towards a complete self-consistent consideration of dynamical quarks and the extension to finite chemical potential. The goodness of the truncation is verified first

A Dyson-Schwinger approach to finite temperature QCD

International Nuclear Information System (INIS)

Mueller, Jens Andreas

2011-01-01

The different phases of quantum chromodynamics at finite temperature are studied. To this end the nonperturbative quark propagator in Matsubara formalism is determined from its equation of motion, the Dyson-Schwinger equation. A novel truncation scheme is introduced including the nonperturbative, temperature dependent gluon propagator as extracted from lattice gauge theory. In the first part of the thesis a deconfinement order parameter, the dual condensate, and the critical temperature are determined from the dependence of the quark propagator on the temporal boundary conditions. The chiral transition is investigated by means of the quark condensate as order parameter. In addition differences in the chiral and deconfinement transition between gauge groups SU(2) and SU(3) are explored. In the following the quenched quark propagator is studied with respect to a possible spectral representation at finite temperature. In doing so, the quark propagator turns out to possess different analytic properties below and above the deconfinement transition. This result motivates the consideration of an alternative deconfinement order parameter signaling positivity violations of the spectral function. A criterion for positivity violations of the spectral function based on the curvature of the Schwinger function is derived. Using a variety of ansaetze for the spectral function, the possible quasi-particle spectrum is analyzed, in particular its quark mass and momentum dependence. The results motivate a more direct determination of the spectral function in the framework of Dyson-Schwinger equations. In the two subsequent chapters extensions of the truncation scheme are considered. The influence of dynamical quark degrees of freedom on the chiral and deconfinement transition is investigated. This serves as a first step towards a complete self-consistent consideration of dynamical quarks and the extension to finite chemical potential. The goodness of the truncation is verified first

Schwinger terms from external field problems

Science.gov (United States)

Ekstrand, Christian

1999-01-01

The current algebra for second quantized chiral fermions in an external eld contains Schwinger terms. These are studied in two di erent ways. Both are non-perturbative and valid for arbitrary odd dimension of the physical space, although explicit expressions are only given for lower dimensions. The thesis is an introductory text to the four appended research papers. In the rst two papers, Schwinger terms are studied by realizing gauge transformations as linear operators acting on sections of the bundle of Fock spaces parametrized byvector potentials. Bosons and fermions are mixed in a Z2-graded fashion. Charged particles are considered in the rst paper and neutral particles in the second. In the the third and the fourth paper, Schwinger terms are identi ed with cocycles obtained from the family index theorem for a manifold with boundary. A generating form for the covariant anomaly and Schwinger term is obtained in the third paper. The rst three papers consider Yang-Mills while the fourth (in cooperation with Jouko Mickelsson) also includes gravitation. Key words: Schwinger terms, external anomaly, Z2-grading, index theory. eld problems, higher dimensions, chiral iii iv Preface This thesis will be about Schwinger terms. It is terms that appear in equal time commutators of currents in quantum eld theory. As a mathematical physicist I nd it hard to write a thesis about this subject. Both the physical and mathematical aspects should preferably be covered. Ihavedecided to focus on some of the mathematical tools that the Schwinger term and the closely related chiral anomaly have in common. This is part of what I have learned during the years 1994{1999 as a graduate student attheRoyal Institute of Technology. The following conventions and assumptions will be made throughout the thesis: All manifolds are assumed to be second countable and Hausdor . They are assumed to be paracompact whenever a partition of unity argument is needed. In nite-dimensional manifolds are also

Hamiltonian formulation of QCD in the Schwinger gauge

International Nuclear Information System (INIS)

Schutte, D.

1989-01-01

The structure of the Hamiltonian related to a regularized non-Abelian gauge field theory is discussed in the light of different choices for gauge-invariant wave functionals (loop space, Coulomb, axial, Schwinger gauge). Arguments are given for the suggestion that the Schwinger gauge offers a specially suited framework for the computation of bound-state (hadron) properties. The most important reasons are the manifest rotation invariance, the lack of a Gribov horizon (giving standard many-body techniques a better chance), and the fact that a regularization analogous to the lattice regularization is easily implementable. Some details of the Schwinger-gauge Hamiltonian theory are discussed

Lorentz-covariant reduced-density-operator theory for relativistic-quantum-information processing

International Nuclear Information System (INIS)

Ahn, Doyeol; Lee, Hyuk-jae; Hwang, Sung Woo

2003-01-01

In this paper, we derived a Lorentz-covariant quantum Liouville equation for the density operator which describes the relativistic-quantum-information processing from Tomonaga-Schwinger equation and an exact formal solution for the reduced density operator is obtained using the projector operator technique and the functional calculus. When all the members of the family of the hypersurfaces become flat hyperplanes, it is shown that our results agree with those of the nonrelativistic case, which is valid only in some specified reference frame. To show that our formulation can be applied to practical problems, we derived the polarization of the vacuum in quantum electrodynamics up to the second order. The formulation presented in this work is general and could be applied to related fields such as quantum electrodynamics and relativistic statistical mechanics

Closed-time path formalism of quantum scattering

International Nuclear Information System (INIS)

Manoukian, E.B.

1988-01-01

The closed-time path formalism of quantum mechanics, first introduced by Schwinger, is developed starting from a second-quantized formalism by using a functional calculus. An exact functional expression for the closed-time amplitude for a particle state (not just of the vacuum state)is derived from which time-dependent expectation value of observables may be written in closed functional form. In particular, this leads directly to the expression for transition probabilities for scattering theory without computing first the corresponding amplitudes. Finally it is made a comparison with the standard approach

From the Dyson-Schwinger to the Transport Equation in the Background Field Gauge of QCD

CERN Document Server

Wang, Q; Stöcker, H; Greiner, W

2003-01-01

The non-equilibrium quantum field dynamics is usually described in the closed-time-path formalism. The initial state correlations are introduced into the generating functional by non-local source terms. We propose a functional approach to the Dyson-Schwinger equation, which treats the non-local and local source terms in the same way. In this approach, the generating functional is formulated for the connected Green functions and one-particle-irreducible vertices. The great advantages of our approach over the widely used two-particle-irreducible method are that it is much simpler and that it is easy to implement the procedure in a computer program to automatically generate the Feynman diagrams for a given process. The method is then applied to a pure gluon plasma to derive the gauge-covariant transport equation from the Dyson-Schwinger equation in the background covariant gauge. We discuss the structure of the kinetic equation and show its relationship with the classical one. We derive the gauge-covariant colli...

Schwinger variational calculation of ionization of hydrogen atoms for ...

Indian Academy of Sciences (India)

Schwinger variational calculation of ionization of hydrogen atoms for large momentum transfers. K CHAKRABARTI. Department of Mathematics, Scottish Church College, 1 & 3 Urquhart Square,. Kolkata 700 006, India. MS received 7 July 2001; revised 10 October 2001. Abstract. Schwinger variational principle is used here ...

Time-dependent local potential in a Tomonaga-Luttinger liquid

Science.gov (United States)

Kamar, Naushad Ahmad; Giamarchi, Thierry

2017-12-01

We study the energy deposition in a one-dimensional interacting quantum system with a pointlike potential modulated in amplitude. The pointlike potential at position x =0 has a constant part and a small oscillation in time with a frequency ω . We use bosonization, renormalization group, and linear response theory to calculate the corresponding energy deposition. It exhibits a power law behavior as a function of the frequency that reflects the Tomonaga-Luttinger liquid (TLL) nature of the system. Depending on the interactions in the system, characterized by the TLL parameter K of the system, a crossover between weak and strong coupling for the backscattering due to the potential is possible. We compute the frequency scale ω*, at which such crossover exists. We find that the energy deposition due to the backscattering shows different exponents for K >1 and K <1 . We discuss possible experimental consequences, in the context of cold atomic gases, of our theoretical results.

Equilibrium and nonequilibrium many-body perturbation theory: a unified framework based on the Martin-Schwinger hierarchy

International Nuclear Information System (INIS)

Van Leeuwen, Robert; Stefanucci, Gianluca

2013-01-01

We present a unified framework for equilibrium and nonequilibrium many-body perturbation theory. The most general nonequilibrium many-body theory valid for general initial states is based on a time-contour originally introduced by Konstantinov and Perel'. The various other well-known formalisms of Keldysh, Matsubara and the zero-temperature formalism are then derived as special cases that arise under different assumptions. We further present a single simple proof of Wick's theorem that is at the same time valid in all these flavors of many-body theory. It arises simply as a solution of the equations of the Martin-Schwinger hierarchy for the noninteracting many-particle Green's function with appropriate boundary conditions. We further discuss a generalized Wick theorem for general initial states on the Keldysh contour and derive how the formalisms based on the Keldysh and Konstantinov-Perel'-contours are related for the case of general initial states.

Equivalence of Dirac quantization and Schwinger's action principle quantization

International Nuclear Information System (INIS)

Das, A.; Scherer, W.

1987-01-01

We show that the method of Dirac quantization is equivalent to Schwinger's action principle quantization. The relation between the Lagrange undetermined multipliers in Schwinger's method and Dirac's constraint bracket matrix is established and it is explicitly shown that the two methods yield identical (anti)commutators. This is demonstrated in the non-trivial example of supersymmetric quantum mechanics in superspace. (orig.)

Are Crab nanoshots Schwinger sparks?

Energy Technology Data Exchange (ETDEWEB)

Stebbins, Albert [Fermi National Accelerator Lab. (FNAL), Batavia, IL (United States); Yoo, Hojin [Univ. of Wisconsin, Madison, WI (United States); Fermi National Accelerator Lab. (FNAL), Batavia, IL (United States); Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States); Univ. of California, Berkeley, CA (United States)

2015-05-21

The highest brightness temperature ever observed are from "nanoshots" from the Crab pulsar which we argue could be the signature of bursts of vacuum e^± pair production. If so this would be the first time the astronomical Schwinger effect has been observed. These "Schwinger sparks" would be an intermittent but extremely powerful, ~10³ L_⊙, 10 PeV e^± accelerator in the heart of the Crab. These nanosecond duration sparks are generated in a volume less than 1 m³ and the existence of such sparks has implications for the small scale structure of the magnetic field of young pulsars such as the Crab. As a result, this mechanism may also play a role in producing other enigmatic bright short radio transients such as fast radio bursts.

Combinatorial Dyson-Schwinger equations and inductive data types

Science.gov (United States)

Kock, Joachim

2016-06-01

The goal of this contribution is to explain the analogy between combinatorial Dyson-Schwinger equations and inductive data types to a readership of mathematical physicists. The connection relies on an interpretation of combinatorial Dyson-Schwinger equations as fixpoint equations for polynomial functors (established elsewhere by the author, and summarised here), combined with the now-classical fact that polynomial functors provide semantics for inductive types. The paper is expository, and comprises also a brief introduction to type theory.

Exact solution of a quasi-one-dimensional model with long range interaction (coupled tomonaga chains)

International Nuclear Information System (INIS)

Nguyen Minh Khue; Solyom, J.

1980-03-01

The novel method proposed by one of the authors to calculate exactly the response functions of the one-dimensional Tomonaga-model is described in more detail. The method is generalized for the case of a system of coupled chains where both the interchain and interchain interactions have forward scattering components only. The model does not show real phase transition at any finite temperature indicating that the interchain backward scattering or hopping is needed to have an ordering of the chains at finite temperature. (author)

Phase-space analysis of the Schwinger effect in inhomogeneous electromagnetic fields

Science.gov (United States)

Kohlfürst, Christian

2018-05-01

Schwinger pair production in spatially and temporally inhomogeneous electric and magnetic fields is studied. The focus is on the particle phase-space distribution within a high-intensity few-cycle pulse. Accurate numerical solutions of a quantum kinetic theory (DHW formalism) are presented in momentum space and, with the aid of coarse-graining techniques, in a mixed spatial-momentum representation. Additionally, signatures of the carrier-envelope phase as well as spin-field interactions are discussed on the basis of a trajectory-based model taking into account instantaneous pair production and relativistic single-particle dynamics. Although our simple semi-classical single-particle model cannot describe every aspect of the particle production process (quantum interferences), essential features such as spin-field interactions are captured.

The Schwinger Model on S 1: Hamiltonian Formulation, Vacuum and Anomaly

Science.gov (United States)

Stuart, David

2014-12-01

We present a Hamiltonian formulation of the Schwinger model with spatial domain taken to be the circle. It is shown that, in Coulomb gauge, the Hamiltonian is a semi-bounded, self-adjoint operator which is invariant under the group of large gauge transformations. There is a nontrivial action of on fermionic Fock space and its vacuum. This action plays a role analogous to that played by the spectral flow in the infinite Dirac sea formalism. The formulation allows (1) a description of the anomaly and its relation to the group action, and (2) an explicit identification of the vacuum. The anomaly in the chiral conservation law appears as a consequence of insisting upon semi-boundedness and gauge invariance of the quantized Hamiltonian.

New solution for the Schwinger model

International Nuclear Information System (INIS)

Baaquie, B.E.

1980-08-01

We solve the Schwinger model exactly using the path integral. The fermion sector is solved using the axial current anomaly. We then study the Wilson loop integral for the interacting theory, and discuss the Wilson criterion for confinement. (author)

A generalized Schwinger boson mapping with a physical subspace

International Nuclear Information System (INIS)

Scholtz, F.G.; Geyer, H.B.

1988-01-01

We investigate the existence of a physical subspace for generalized Schwinger boson mappings of SO(2n+1) contains SO(2n) in view of previous observations by Marshalek and the recent construction of such a mapping and subspace for SO(8) by Kaup. It is shown that Kaup's construction can be attributed to the existence of a unique SO(8) automorphism. We proceed to construct a generalized Schwinger-type mapping for SO(2n+1) contains SO(2n) which, in contrast to a similar attempt by Yamamura and Nishiyama, indeed has a corresponding physical subspace. This new mapping includes in the special case of SO(8) the mapping by Kaup which is equivalent to the one given by Yamamura and Nishiyama for n=4. Nevertheless, we indicate the limitations of the generalized Schwinger mapping regarding its applicability to situations where one seeks to establish a direct link between phenomenological boson models and an underlying fermion microscopy. (orig.)

On the equivalence between the Schwinger and axial models

International Nuclear Information System (INIS)

Souza Dutra, A. de.

1991-01-01

We show the equivalence between the Schwinger and axial models, in the sense that all Green's functions of one model can be obtained from those of the other, and that both models have the same effective Lagrangian density (and so they have equal partition functions associated with them). In particular, we show that the two models have the same chiral anomaly. Finally it is demonstrated that the Schwinger model can keep gauge invariance for an arbitrary mass, dispensing with an additional gauge group integration. (author)

Overview on the anomaly and Schwinger term in two dimensional QED

International Nuclear Information System (INIS)

Adam, C.; Bertlmann, R.A.; Hofer, P.

1993-01-01

The axial anomaly of two-dimensional QED is computed in different ways (perturbative, via dispersion integrals, path integral and index theorem) and their relation is discussed as well as the relation between anomaly, Schwinger term and the Dirac vacuum. Some features of the special case of massless fermions (Schwinger model) and some methods of exactly solving it are demonstrated. (authors)

Fermion structures of state vectors of the Schwinger model with multi-fermions

International Nuclear Information System (INIS)

Nakawaki, Yuji

1983-01-01

Coulomb-gauge Schwinger model with multi-fermions is formulated consistently in a box [-L, L] by introducing true dynamical degrees of freedom of electromagnetic fields, namely zero-mode part A 1 sup((0)) of A 1 and its canonical conjugate momentum π 1 sup((0)). State vectors are constructed of free massless fermion operators and zero-mode operators A 1 sup((0)) and π 1 sup((0)) and it is clarified how and why multifermion condensations become degenerate ground states and chiral invariance is spontaneously broken. It is also examined that physical space of covariant gauge Schwinger model is isomorphic to that of Coulomb-gauge Schwinger model. (author)

The Jordan-Schwinger realization of two-parametric quantum group Slq,s(2)

International Nuclear Information System (INIS)

Jing Sicong.

1991-10-01

In order to construct the Jordan-Schwinger realization for two-parametric quantum group Sl q,s (2), two independent q, s-deformed harmonic oscillators are defined in this paper and the Heisenberg commutation relations of the q, s-deformed oscillator are also derived by Schwinger's contraction procedure. (author). 11 refs

Estimations for the Schwinger functions of relativistic quantum field theories

International Nuclear Information System (INIS)

Mayer, C.D.

1981-01-01

Schwinger functions of a relativistic neutral scalar field the basing test function space of which is S or D are estimated by methods of the analytic continuation. Concerning the behaviour in coincident points it is shown: The two-point singularity of the n-point Schwinger function of a field theory is dominated by an inverse power of the distance of both points modulo a multiplicative constant, if the other n-2 points a sufficiently distant and remain fixed. The power thereby, depends only on n. Using additional conditions on the field the independence of the power on n may be proved. Concerning the behaviour at infinite it is shown: The n-point Schwinger functions of a field theory are globally bounded, if the minimal distance of the arguments is positive. The bound depends only on n and the minimal distance of the arguments. (orig.) [de

Tails of the dynamical structure factor of 1D spinless fermions beyond the Tomonaga-Luttinger approximation

International Nuclear Information System (INIS)

Teber, S.

2005-12-01

We consider one-dimensional interacting spinless fermions with a non-linear spectrum in a clean quantum wire (non-linear bosonization). We compute diagrammatically the one-dimensional dynamical structure factor, S(ω, q), beyond the Tomonaga-Luttinger approximation focusing on its tails, i.e. vertical bar ω vertical bar >> vq. We provide a re-derivation, through diagrammatics, of the result of Pustilnik, Mishchenko, Glazman, and Andreev. We also extend their results to finite temperatures and long-range interactions. As applications we determine curvature and interaction corrections to the small- momentum, high-frequency conductivity and the electron-electron scattering rate. (author)

Julian Schwinger the physicist, the teacher, and the man

CERN Document Server

1996-01-01

In the post-quantum-mechanics era, few physicists, if any, have matched Julian Schwinger in contributions to and influence on the development of physics. A deep and provocative thinker, Schwinger left his indelible mark on all areas of theoretical physics; an eloquent lecturer and immensely successful mentor, he was gentle, intensely private, and known for being "modest about everything except his physics". This book is a collection of talks in memory of him by some of his contemporaries and his former students: A Klein, F Dyson, B DeWitt, W Kohn, D Saxon, P C Martin, K Johnson, S Deser, R Fin

The inverse problem for Schwinger pair production

Directory of Open Access Journals (Sweden)

F. Hebenstreit

2016-02-01

Full Text Available The production of electron–positron pairs in time-dependent electric fields (Schwinger mechanism depends non-linearly on the applied field profile. Accordingly, the resulting momentum spectrum is extremely sensitive to small variations of the field parameters. Owing to this non-linear dependence it is so far unpredictable how to choose a field configuration such that a predetermined momentum distribution is generated. We show that quantum kinetic theory along with optimal control theory can be used to approximately solve this inverse problem for Schwinger pair production. We exemplify this by studying the superposition of a small number of harmonic components resulting in predetermined signatures in the asymptotic momentum spectrum. In the long run, our results could facilitate the observation of this yet unobserved pair production mechanism in quantum electrodynamics by providing suggestions for tailored field configurations.

Schwinger Model Mass Anomalous Dimension

CERN Document Server

Keegan, Liam

2016-06-20

The mass anomalous dimension for several gauge theories with an infrared fixed point has recently been determined using the mode number of the Dirac operator. In order to better understand the sources of systematic error in this method, we apply it to a simpler model, the massive Schwinger model with two flavours of fermions, where analytical results are available for comparison with the lattice data.

Rarita-Schwinger field and multicomponent wave equation

International Nuclear Information System (INIS)

Kaloshin, A.E.; Lomov, V.P.

2011-01-01

We suggest a simple method to solve a wave equation for Rarita-Schwinger field without additional constraints. This method based on the use of off-shell projection operators allows one to diagonalize spin-1/2 sector of the field

Electron spin resonance modes in a strong-leg ladder in the Tomonaga-Luttinger liquid phase

Science.gov (United States)

Ozerov, M.; Maksymenko, M.; Wosnitza, J.; Honecker, A.; Landee, C. P.; Turnbull, M. M.; Furuya, S. C.; Giamarchi, T.; Zvyagin, S. A.

2015-12-01

Magnetic excitations in the strong-leg quantum spin ladder compound (C7H10N) 2CuBr4 (known as DIMPY) in the field-induced Tomonaga-Luttinger spin-liquid phase are studied by means of high-field electron spin resonance (ESR) spectroscopy. The presence of a gapped ESR mode with unusual nonlinear frequency-field dependence is revealed experimentally. Using a combination of analytic and exact-diagonalization methods, we compute the dynamical structure factor and identify this mode with longitudinal excitations in the antisymmetric channel. We argue that these excitations constitute a fingerprint of the spin dynamics in a strong-leg spin-1/2 Heisenberg antiferromagnetic ladder and owe their ESR observability to the uniform Dzyaloshinskii-Moriya interaction.

Gravity Before Einstein and Schwinger Before Gravity

Science.gov (United States)

Trimble, Virginia L.

2012-05-01

Julian Schwinger was a child prodigy, and Albert Einstein distinctly not; Schwinger had something like 73 graduate students, and Einstein very few. But both thought gravity was important. They were not, of course, the first, nor is the disagreement on how one should think about gravity that is being highlighted here the first such dispute. The talk will explore, first, several of the earlier dichotomies: was gravity capable of action at a distance (Newton), or was a transmitting ether required (many others). Did it act on everything or only on solids (an odd idea of the Herschels that fed into their ideas of solar structure and sunspots)? Did gravitational information require time for its transmission? Is the exponent of r precisely 2, or 2 plus a smidgeon (a suggestion by Simon Newcomb among others)? And so forth. Second, I will try to say something about Scwinger's lesser known early work and how it might have prefigured his "source theory," beginning with "On the Interaction of Several Electrons (the unpublished, 1934 "zeroth paper," whose title somewhat reminds one of "On the Dynamics of an Asteroid," through his days at Berkeley with Oppenheimer, Gerjuoy, and others, to his application of ideas from nuclear physics to radar and of radar engineering techniques to problems in nuclear physics. And folks who think good jobs are difficult to come by now might want to contemplate the couple of years Schwinger spent teaching elementary physics at Purdue before moving on to the MIT Rad Lab for war work.

DeWitt-Schwinger renormalization and vacuum polarization in d dimensions

International Nuclear Information System (INIS)

Thompson, R. T.; Lemos, Jose P. S.

2009-01-01

Calculation of the vacuum polarization, 2 (x)>, and expectation value of the stress tensor, μν (x)>, has seen a recent resurgence, notably for black hole spacetimes. To date, most calculations of this type have been done only in four dimensions. Extending these calculations to d dimensions includes d-dimensional renormalization. Typically, the renormalizing terms are found from Christensen's covariant point splitting method for the DeWitt-Schwinger expansion. However, some manipulation is required to put the correct terms into a form that is compatible with problems of the vacuum polarization type. Here, after a review of the current state of affairs for 2 (x)> and μν (x)> calculations and a thorough introduction to the method of calculating 2 (x)>, a compact expression for the DeWitt-Schwinger renormalization terms suitable for use in even-dimensional spacetimes is derived. This formula should be useful for calculations of 2 (x)> and μν (x)> in even dimensions, and the renormalization terms are shown explicitly for four and six dimensions. Furthermore, use of the finite terms of the DeWitt-Schwinger expansion as an approximation to 2 (x)> for certain spacetimes is discussed, with application to four and five dimensions.

The generalized chiral Schwinger model on the two-sphere

International Nuclear Information System (INIS)

Bassetto, A.

1995-01-01

A family of theories which interpolate between vector and chiral Schwinger models is studied on the two-sphere S 2 . The conflict between the loss of gauge invariance and global geometrical properties is solved by introducing a fixed background connection. In this way the generalized Dirac-Weyl operator can be globally defined on S 2 . The generating functional of the Green functions is obtained by taking carefully into account the contribution of gauge fields with non-trivial topological charge and of the related zero-modes of the Dirac determinant. In the decompactification limit, the Green functions of the flat case are recovered; in particular the fermionic condensate in the vacuum vanishes, at variance with its behaviour in the vector Schwinger model. ((orig.))

ESR modes in a Strong-Leg Ladder in the Tomonaga-Luttinger Liquid Phase

Science.gov (United States)

Zvyagin, S.; Ozerov, M.; Maksymenko, M.; Wosnitza, J.; Honecker, A.; Landee, C. P.; Turnbull, M.; Furuya, S. C.; Giamarchi, T.

Magnetic excitations in the strong-leg quantum spin ladder compound (C7H10N)2CuBr4 (known as DIMPY) in the field-induced Tomonaga-Luttinger spin liquid phase are studied by means of high-field electron spin resonance (ESR) spectroscopy. The presence of a gapped ESR mode with unusual non-linear frequency-field dependence is revealed experimentally. Using a combination of analytic and exact diagonalization methods, we compute the dynamical structure factor and identify this mode with longitudinal excitations in the antisymmetric channel. We argue that these excitations constitute a fingerprint of the spin dynamics in a strong-leg spin-1/2 Heisenberg antiferromagnetic ladder and owe its ESR observability to the uniform Dzyaloshinskii-Moriya interaction. This work was partially supported by the DFG and Helmholtz Gemeinschaft (Germany), Swiss SNF under Division II, and ERC synergy UQUAM project. We acknowledge the support of the HLD at HZDR, member of the European Magnetic Field Laboratory (EMFL).

Schwinger variational principle in the nuclear two-body problem and multichannel theory

International Nuclear Information System (INIS)

Zubarev, A.L.; Podkopaev, A.P.

1978-01-01

The aim of the investigation is to study the Schwinger variational principle in the nuclear two-body problem and the multichannel theory. An approach is proposed to problems of the potential scattering based on the substitution of the exact potential operator V by the finite rank operator Vsup((n)) with which the dynamic equations are solved exactly. The functionals obtained for observed values coincide with corresponding expressions derived by the Schwinger variational principle with the set of test functions. The determination of the Schwinger variational principle is given. The method is given for finding amplitude of the double-particle scattering with the potential Vsup((n)). The corresponding amplitudes are constructed within the framework of the multichannel potential model. Interpolation formula for determining amplitude, which describes with high accuracy a process of elastic scattering for any energies, is obtained. On the basis of the above method high-energy amplitude may be obtained within the range of small and large scattering angles

Faddeev-Jackiw Hamiltonian reduction for free and gauged Rarita-Schwinger theories

Energy Technology Data Exchange (ETDEWEB)

Dengiz, Suat [Massachusetts Institute of Technology, Center for Theoretical Physics, Cambridge, MA (United States)

2016-10-15

We study the Faddeev-Jackiw symplectic Hamiltonian reduction for 3 + 1-dimensional free and Abelian gauged Rarita-Schwinger theories that comprise Grassmannian fermionic fields. We obtain the relevant fundamental brackets and find that they are in convenient forms for quantization. The brackets are independent of whether the theories contain mass or gauge fields, and the structures of constraints and symplectic potentials largely determine characteristic behaviors of the theories. We also note that, in contrast to the free massive theory, the Dirac field equations for free massless Rarita-Schwinger theory cannot be obtained in a covariant way. (orig.)

Massive Schwinger model at finite θ

Science.gov (United States)

Azcoiti, Vicente; Follana, Eduardo; Royo-Amondarain, Eduardo; Di Carlo, Giuseppe; Vaquero Avilés-Casco, Alejandro

2018-01-01

Using the approach developed by V. Azcoiti et al. [Phys. Lett. B 563, 117 (2003), 10.1016/S0370-2693(03)00601-4], we are able to reconstruct the behavior of the massive one-flavor Schwinger model with a θ term and a quantized topological charge. We calculate the full dependence of the order parameter with θ . Our results at θ =π are compatible with Coleman's conjecture on the phase diagram of this model.

Time-ordered products and Schwinger functions

International Nuclear Information System (INIS)

Eckmann, J.P.; Epstein, H.

1979-01-01

It is shown that every system of time-ordered products for a local field theory determines a related system of Schwinger functions possessing an extended form of Osterwalder-Schrader positivity and that the converse is true provided certain growth conditions are satisfied. This is applied to the phi 3 4 theory and it is shown that the time-ordered functions and S-matrix elements admit the standard perturbation series as asymptotic expansions. (orig.) [de

On current superalgebras and super-schwinger terms

International Nuclear Information System (INIS)

Grosse, H.; Langmann, E.

1990-01-01

We present a general construction of current superalgebras within the framework of quasi-free second quantization of bosons and fermions. Mathematically speaking, we give projective representations of certain Lie superalgebras realized as bounded operators on Z 2 -graded Hilbert spaces and, more generally, on Grassmann algebra-modules. The super-Schwinger terms occuring correspond to Z 2 -graded two-cocycles. (Authors) 11 refs

The Schwinger term and the Berry phase in simple models

International Nuclear Information System (INIS)

Grosse, H.

1989-01-01

We discuss quantization of fermions interacting with external fields and observe the occurrence of equivalent as well as inequivalent representations of the canonical anticommutation relations. Implementability of gauge and axial gauge transformations leads to generators which fulfill an algebra of charges with Schwinger term. This term can be written as a cocycle and leads to the boson-fermion correspondence. During an adiabatic transport along closed loops in a parameter space we may pick up a nonintegrable phase factor, usually called the Berry phase. We study the occurrence of such a topological phase in a model and give the parallel transport for density matrices. After second quantization one may pick up both a Berry phase and a Schwinger term. 13 refs. (Author)

Yet another Monte Carlo study of the Schwinger model

International Nuclear Information System (INIS)

Sogo, K.; Kimura, N.

1986-01-01

Some methodological improvements are introduced in the quantum Monte Carlo simulation of the 1 + 1 dimensional quantum electrodynamics (the Schwinger model). Properties at finite temperatures are investigated, concentrating on the existence of the chirality transition and of the deconfinement transition. (author)

Yet another Monte Carlo study of the Schwinger model

International Nuclear Information System (INIS)

Sogo, K.; Kimura, N.

1986-03-01

Some methodological improvements are introduced in the quantum Monte Carlo simulation of the 1 + 1 dimensional quantum electrodynamics (the Schwinger model). Properties at finite temperatures are investigated, concentrating on the existence of the chirality transition and of the deconfinement transition. (author)

Fragmentation function in non-equilibrium QCD using closed-time path integral formalism

International Nuclear Information System (INIS)

Nayak, Gouranga C.

2009-01-01

In this paper we implement the Schwinger-Keldysh closed-time path integral formalism in non-equilibrium QCD in accordance to the definition of the Collins-Soper fragmentation function. We consider a high-p T parton in QCD medium at initial time τ 0 with an arbitrary non-equilibrium (non-isotropic) distribution function f(vector (p)) fragmenting to a hadron. We formulate the parton-to-hadron fragmentation function in non-equilibrium QCD in the light-cone quantization formalism. It may be possible to include final-state interactions with the medium via a modification of the Wilson lines in this definition of the non-equilibrium fragmentation function. This may be relevant to the study of hadron production from a quark-gluon plasma at RHIC and LHC. (orig.)

Siegel's chiral boson and the chiral Schwinger model

International Nuclear Information System (INIS)

Berger, T.

1992-01-01

In this paper Siegel's proposal for a Lagrangian formulation of a chiral boson is analyzed by applying recent results on 2d chiral quantum gravity. A model is derived whose solution consists of a massive scalar and two massless chiral scalars. Therefore it is a minimally bosonized two-fermion chiral Schwinger model

Chiral Schwinger model and lattice fermionic regularizations

International Nuclear Information System (INIS)

Kieu, T.D.; Sen, D.; Xue, S.

1988-01-01

The chiral Schwinger model is studied on the lattice with use of Wilson fermions. The arbitrary mass term for the gauge boson is shown to originate from the arbitrariness of the Wilson parameter, which is required to avoid the doubling phenomenon on the lattice. The necessity for such a term is thus demonstrated in contrast to the mere admissibility as indicated by previous continuum calculations

To semi-centenary anniversary of discovering the Schwinger scattering and starting the first works on neutron polarizability

International Nuclear Information System (INIS)

Alexandrov, Yu.A.

2006-01-01

The theory of neutron Schwinger scattering was proposed and developed by Schwinger in 1948, but despite multiple efforts, the experimental discovery of this phenomenon was made eight years later. Currently, Schwinger scattering should be accounted for in many precise neutron experiments, for example, while studying the electromagnetic interaction of neutrons with nuclei. By means of Schwinger scattering it is possible to measure the degree of polarization of the initial beam even at particle energies of 1 GeV order. The concept of neutron polarizability was introduced as additional natural phenomenon indicating the nucleon space structure after the first Hofstadter's experiments (1953-1954). The neutron polarizability was detected in a small-angle neutron scattering experiment in 1957. However, the serious contradiction between the results obtained in megaelectronvolt and kiloelectronvolt neutron energy ranges was explained only in 2001. It is also shown that existent small-angle neutron experiments at megaelectronvolt energy by heavy nuclei do not confirm the idea of (n+3)-dimensional gravity

Large Wilson loop averages from the Schwinger-Dyson equation

International Nuclear Information System (INIS)

Xue Shesheng

1987-01-01

Using Schwinger-Dyson equations for the large Wilson loop in abelian lattice gauge theories, we evaluate the vacuum expectation values of the Wilson loop of sizes 1x2, 2x2, 2x3, and so on, from which the string tension is extracted. (orig.)

Microscopy of bosonic models using Schwinger and Holstein - Primakoff bosonization techniques

International Nuclear Information System (INIS)

Pinto, M.E.B.

1988-01-01

Two kinds of bosonic expansions for the SU(2) case, one being finite (Schwinger) and the other being infinite (Holstein-Primakoff) are analysed. The existence of a transformation connecting them was discussed. Utilizing the two methods, the Two Level Model hamiltonian into the many boson space is mapped. Considering systems composed by 4, 6 and 14 particles, calculations for the eigenenergies within the ''vibrational limit'' of the model were performed. The results show that the Schwinger mapping is exact. Approximated bosonic images with the Holstein-Primakoff mapping are obtained. Indeed, the anharmonicities observed in the region between the ideal '' spherical limit'' and the ''transitional point'', were well described by the approximation containing up to quartic terms on the bosonic operators. (author) [pt

Dyson-Schwinger equations: connecting small and large length-scales

International Nuclear Information System (INIS)

Roberts, C.

1999-01-01

The phenomenological application of Dyson-Schwinger equations to the calculation of meson properties observable at TJNAF is illustrated. Particular emphasis is given to the ability of this framework to unify long-range effects constrained by chiral symmetry with short-range effects prescribed by perturbation theory, and interpolate between them

Comparison of Schwinger and Kohn variational phase shift calculations

International Nuclear Information System (INIS)

Callaway, I.

1980-01-01

Numerical calculations of the l = 0 phase shift for an attractive Yukawa potential are reported using Schwinger and Kohn (type) variational methods. Accurate values can be obtained from both procedures, but when the same basis set of short range functions is used, the Kohn procedure gives superior results. (orig.)

Dyson-Schwinger equations in quantum electrodynamics

International Nuclear Information System (INIS)

Slim, H.A.

1981-01-01

A quantum field theory is completely determined by the knowledge of its Green functions and this thesis is concerned with the Salam and Delbourgo approximation method for the determination of the Green functions. In chapter 2 a Lorentz covariant, canonical formulation for quantum electrodynamics is described. In chapter 3 the definition of the Green functions in quantum electrodynamics is given with a derivation of the Dyson-Schwinger equations. The Ward-Takahashi identities, which are a consequence of current conservation, are derived and finally renormalization is briefly mentioned and the equations for the renormalized quantities are given. The gauge transformations, changing the gauge-parameter, a, discussed in Chapter 2 for the field operators, also have implications for the Green functions, and these are worked out in Chapter 4 for the electron propagator, which is not gauge-invariant. Before developing the main approximation, a simple, non-relativistic model is studied in Chapter 5. It has the feature of being exactly solvable in a way which closely resembles the approximation method of Chapter 6 for relativistic quantum electrodynamics. There the Dyson-Schwinger equations for the electron and photon propagator are studied. In chapter 7, the Johnson-Baker-Willey program of finite quantum electrodynamics is considered, in connection with the Ansatz of Salam and Delbourgo, and the question of a possible fixed point of the coupling constant is considered. In the last chapter, some remarks are made about how the results of the approximation scheme can be improved. (Auth.)

Gauge-invariant masses through Schwinger-Dyson equations

International Nuclear Information System (INIS)

Bashir, A.; Raya, A.

2007-01-01

Schwinger-Dyson equations (SDEs) are an ideal framework to study non-perturbative phenomena such as dynamical chiral symmetry breaking (DCSB). A reliable truncation of these equations leading to gauge invariant results is a challenging problem. Constraints imposed by Landau-Khalatnikov-Fradkin transformations (LKFT) can play an important role in the hunt for physically acceptable truncations. We present these constrains in the context of dynamical mass generation in QED in 2 + 1-dimensions

Lorentz Invariant Spectrum of Minimal Chiral Schwinger Model

Science.gov (United States)

Kim, Yong-Wan; Kim, Seung-Kook; Kim, Won-Tae; Park, Young-Jai; Kim, Kee Yong; Kim, Yongduk

We study the Lorentz transformation of the minimal chiral Schwinger model in terms of the alternative action. We automatically obtain a chiral constraint, which is equivalent to the frame constraint introduced by McCabe, in order to solve the frame problem in phase space. As a result we obtain the Lorentz invariant spectrum in any moving frame by choosing a frame parameter.

The Boltzmann-Langevin Equation derived from the real-time path formalism

International Nuclear Information System (INIS)

Suraud, E.; Reinhard, P.G.

1991-01-01

We derive the Boltzmann-Langevin equation using Green's functions techniques in the real-time path formalism. We start from the Martin-Schwinger hierarchy and close it approximately at the two-body level. A careful discussion of the initial conditions for the free two-body Green's function provides the flexibility to recover the discarded correlations as fluctuations leading to the Langevin force. The derivation is generalized to the T-matrix approach which allows to prove that one can use the same effective interaction in the mean-field as well as in the collision term and Langevin force

Integration of Schwinger equation for (φ* φ)d2 theory

International Nuclear Information System (INIS)

Rochev, V.E.

1993-01-01

A general solution for the Schwinger equation for the generating functional of the complex scalar field theory with (φ * φ) d 2 interaction has been constructed. The method is based on the reduction of the order of this equation using the particular solution

The geometric phase and the Schwinger term in some models

International Nuclear Information System (INIS)

Grosse, H.; Langmann, E.

1991-01-01

We discuss quantization of fermions interacting with external fields and observe the occurrence of equivalent as well as inequivalent representations of the canonical anticommutation relations. Implementability of gauge and axial gauge transformations leads to generators which fulfill an algebra of charges with Schwinger term. This term can be written as a cocycle and leads to the boson-fermion correspondence. Transport of a quantum mechanical system along a closed loop of parameter space may yield a geometric mechanical system along a closed loop of parameter space may yield a geometric phase. We discuss models for which nonintegrable phase factors are obtained from the adiabatic parallel transport. After second quantization one obtains, in addition, a Schwinger term. Depending on the type of transformation a subtle relationship between these two obstructions can occur. We indicate finally how we may transport density matrices along closed loops in parameter space. (authors)

Noncommutative time in quantum field theory

International Nuclear Information System (INIS)

Salminen, Tapio; Tureanu, Anca

2011-01-01

We analyze, starting from first principles, the quantization of field theories, in order to find out to which problems a noncommutative time would possibly lead. We examine the problem in the interaction picture (Tomonaga-Schwinger equation), the Heisenberg picture (Yang-Feldman-Kaellen equation), and the path integral approach. They all indicate inconsistency when time is taken as a noncommutative coordinate. The causality issue appears as the key aspect, while the unitarity problem is subsidiary. These results are consistent with string theory, which does not admit a time-space noncommutative quantum field theory as its low-energy limit, with the exception of lightlike noncommutativity.

On the operator Schwinger term in zero mass photon QED

International Nuclear Information System (INIS)

Bordes, G.

1977-01-01

The matrix element of the e.m. current commutator between the vacuum and a two-photon state is computed directly without introducing a mass for the photon. The result is zero and then seems confirm the absence of an operator Schwinger term in quantum electrodynamics

Spectral representation of the particle production out of equilibrium—Schwinger mechanism in pulsed electric fields

International Nuclear Information System (INIS)

Fukushima, Kenji

2014-01-01

We develop a formalism to describe the particle production out of equilibrium in terms of dynamical spectral functions, i.e. Wigner transformed Pauli–Jordan's and Hadamard's functions. We take an explicit example of a spatially homogeneous scalar theory under pulsed electric fields and investigate the time evolution of the spectral functions. In the out-state we find an oscillatory peak in Hadamard's function as a result of the mixing between positive- and negative-energy waves. The strength of this peak is of the linear order of the Bogoliubov mixing coefficient, whereas the peak corresponding to the Schwinger mechanism is of the quadratic order. Between the in- and the out-states we observe a continuous flow of the spectral peaks together with two transient oscillatory peaks. We also discuss the medium effect at finite temperature and density. We emphasize that the entire structure of the spectral functions conveys rich information on real-time dynamics including the particle production. (paper)

Nature of the Schwinger term in spinor electrodynamics. [Dispersion formulation,dimensions,green functions,c-number,linear unitarity condition

Energy Technology Data Exchange (ETDEWEB)

Nishijima, K; Sasaki, R [Tokyo Univ. (Japan). Dept. of Physics

1975-06-01

On the basis of the dispersion formulation of field theories the Schwinger term in spinor electrodynamics is shown to be a c-number. The essence of the proof consists in the dimensional argument and the characteristic features of the linear unitarity condition for a set of Green's functions involving the Schwinger term.

Electromagnetic Radiation : Variational Methods, Waveguides and Accelerators Including seminal papers of Julian Schwinger

CERN Document Server

Milton, Kimball A

2006-01-01

This is a graduate level textbook on the theory of electromagnetic radiation and its application to waveguides, transmission lines, accelerator physics and synchrotron radiation. It has grown out of lectures and manuscripts by Julian Schwinger prepared during the war at MIT's Radiation Laboratory, updated with material developed by Schwinger at UCLA in the 1970s and 1980s, and by Milton at the University of Oklahoma since 1994. The book includes a great number of straightforward and challenging exercises and problems. It is addressed to students in physics, electrical engineering, and applied mathematics seeking a thorough introduction to electromagnetism with emphasis on radiation theory and its applications.

The Schwinger Model on the torus

International Nuclear Information System (INIS)

Azakov, S.

1996-08-01

The classical and quantum aspects of the Schwinger model on the torus are considered. First we find explicitly all zero modes of the Dirac operator in the topological sectors with nontrivial Chern index and its spectrum. In the second part we determine the regularized effective action and discuss the propagators related to it. Finally we calculate the gauge invariant averages of the fermion bilinears and correlation functions of currents and densities. We show that in the infinite volume limit the well-known result for the chiral condensate can be obtained and the clustering property can be established. (author). 23 refs

The Schwinger variational principle in the quantum-mechanical three-body problem

International Nuclear Information System (INIS)

Podkopaev, A.P.; Subarev, A.I.; Wrzecionko, J.

1978-01-01

The Schwinger variational principle (SVP) is applied to problems of atomic (e + H scattering), mesoatomic (p(dμ) scattering) and nuclear (pion-deuteron scattering) physics. The convergence of the Schwinger variational iterative method is investigated. It is shown that in some cases there occurs a pathological convergence. It means that the iterative procedure is convergent, but not to the exact solution. The method of strong coupling of channels is reformulated on the basis of SVP. it permits the summation over all closed channels. The obtained equations are applied to the calculations of the low energy scattering parameters of the following processes: e + H → e + H; πd → πd. The dependence on πN scattering lengths and effective radii is investigated. It is shown that the contribution of closed channels to the π - d scattering length is 30 percent

Perturbative versus Schwinger-propagator method for the calculation of amplitudes in a magnetic field

International Nuclear Information System (INIS)

Nieves, Jose F.; Pal, Palash B.

2006-01-01

We consider the calculation of amplitudes for processes that take place in a constant background magnetic field, first using the standard method for the calculation of an amplitude in an external field, and second utilizing the Schwinger propagator for charged particles in a magnetic field. We show that there are processes for which the Schwinger-propagator method does not yield the total amplitude. We explain why the two methods yield equivalent results in some cases and indicate when we can expect the equivalence to hold. We show these results in fairly general terms and illustrate them with specific examples as well

Julian Schwinger — Personal Recollections

Science.gov (United States)

Martin, Paul C.

We're gathered here today to salute Julian Schwinger, a towering figure of the golden age of physics — and a kind and gentle human being. Even at our best universities, people with Julian's talent and his passion for discovery and perfection are rare — so rare that neither they nor the rest of us know how to take best advantage of their genius. The failure to find a happier solution to this dilemma in recent years has concerned many of us. It should not becloud the fact that over their lifetimes, few physicists, if any, have surmounted this impedance mismatch more effectively than Julian, conveying not only knowledge but lofty values and aspirations directly and indirectly to thousands of physicists…

Aliasing modes in the lattice Schwinger model

International Nuclear Information System (INIS)

Campos, Rafael G.; Tututi, Eduardo S.

2007-01-01

We study the Schwinger model on a lattice consisting of zeros of the Hermite polynomials that incorporates a lattice derivative and a discrete Fourier transform with many properties. Such a lattice produces a Klein-Gordon equation for the boson field and the exact value of the mass in the asymptotic limit if the boundaries are not taken into account. On the contrary, if the lattice is considered with boundaries new modes appear due to aliasing effects. In the continuum limit, however, this lattice yields also a Klein-Gordon equation with a reduced mass

On the algebraic structure of covariant anomalies and covariant Schwinger terms

International Nuclear Information System (INIS)

Kelnhofer, G.

1992-01-01

A cohomological characterization of covariant anomalies and covariant Schwinger terms in an anomalous Yang-Mills theory is formulated and w ill be geometrically interpreted. The BRS and anti-BRS transformations are defined as purely differential geometric objects. Finally the covariant descent equations are formulated within this context. (author)

Towards loop quantum supergravity (LQSG): I. Rarita–Schwinger sector

International Nuclear Information System (INIS)

Bodendorfer, N; Thiemann, T; Thurn, A

2013-01-01

In our companion papers, we managed to derive a connection formulation of Lorentzian general relativity in D + 1 dimensions with compact gauge group SO(D + 1) such that the connection is Poisson-commuting, which implies that loop quantum gravity quantization methods apply. We also provided the coupling to standard matter. In this paper, we extend our methods to derive a connection formulation of a large class of Lorentzian signature supergravity theories, in particular 11 D SUGRA and 4 D, N = 8 SUGRA, which was in fact the motivation to consider higher dimensions. Starting from a Hamiltonian formulation in the time gauge which yields a Spin(D) theory, a major challenge is to extend the internal gauge group to Spin(D + 1) in the presence of the Rarita–Schwinger field. This is non-trivial because SUSY typically requires the Rarita–Schwinger field to be a Majorana fermion for the Lorentzian Clifford algebra and Majorana representations of the Clifford algebra are not available in the same spacetime dimension for both Lorentzian and Euclidean signatures. We resolve the arising tension and provide a background-independent representation of the non-trivial Dirac antibracket *-algebra for the Majorana field which significantly differs from the analogous construction for Dirac fields already available in the literature. (paper)

Path integral measure and the fermion-boson equivalence in the Schwinger model

International Nuclear Information System (INIS)

Maiella, G.

1980-02-01

I perform a change of field variables in the Schwinger model using the non-invariance of path integral measure under γ 5 transformations. The known equivalence of the model with a bosonic field theory and the Kogut-Susskind dipole mechanism is then derived. (author)

Comparing Erlang Distribution and Schwinger Mechanism on Transverse Momentum Spectra in High Energy Collisions

Directory of Open Access Journals (Sweden)

Li-Na Gao

2016-01-01

Full Text Available We study the transverse momentum spectra of J/ψ and Υ mesons by using two methods: the two-component Erlang distribution and the two-component Schwinger mechanism. The results obtained by the two methods are compared and found to be in agreement with the experimental data of proton-proton (pp, proton-lead (p-Pb, and lead-lead (Pb-Pb collisions measured by the LHCb and ALICE Collaborations at the large hadron collider (LHC. The related parameters such as the mean transverse momentum contributed by each parton in the first (second component in the two-component Erlang distribution and the string tension between two partons in the first (second component in the two-component Schwinger mechanism are extracted.

Schwinger's formula and the partition function for the bosonic and fermionic harmonic oscillators

International Nuclear Information System (INIS)

Albuquerque, L.C. de; Farina, C.; Rabello, S.J.

1994-01-01

We use Schwinger's formula, introduced by himself in the early fifties to compute effective actions for Qed, and recently applied to the Casimir effect, to obtain the partition functions for both the bosonic and fermionic harmonic oscillators. (author)

Schwinger-Keldysh propagators from AdS/CFT correspondence

International Nuclear Information System (INIS)

Herzog, C.P.; Son, D.T.

2003-01-01

We demonstrate how to compute real-time Green's functions for a class of finite temperature field theories from their AdS gravity duals. In particular, we reproduce the two-by-two Schwinger-Keldysh matrix propagator from a gravity calculation. Our methods should work also for computing higher point lorentzian signature correlators. We elucidate the boundary condition subtleties which hampered previous efforts to build a lorentzian-signature AdS/CFT correspondence. For two-point correlators, our construction is automatically equivalent to the previously formulated prescription for the retarded propagator. (author)

Correlation functions and Schwinger-Dyson equations for Penner's model

International Nuclear Information System (INIS)

Chair, N.; Panda, S.

1991-05-01

The free energy of Penner's model exhibits logarithmic singularity in the continuum limit. We show, however, that the one and two point correlators of the usual loop-operators do not exhibit logarithmic singularity. The continuum Schwinger-Dyson equations involving these correlation functions are derived and it is found that within the space of the corresponding couplings, the resulting constraints obey a Virasoro algebra. The puncture operator having the correct (logarithmic) scaling behaviour is identified. (author). 13 refs

The geometric Schwinger model on the torus. Pt. 1

International Nuclear Information System (INIS)

Joos, H.

1990-01-01

The author analyzes the Euclidean version of the geometric Schwinger model on the torus. After the calculation of the zero mode wave functions associated with the different topological sectors, which can be expressed by θ functions defined on the two-dimensional torus, he determines the regularized effective action and discusses the propagator related to it. Finally he studies applications to the standard questions like the particle spectrum, the screening of the static potential, and the appearance of the anomaly. (HSI)

Schwinger effect and negative differential conductivity in holographic models

Directory of Open Access Journals (Sweden)

Shankhadeep Chakrabortty

2015-01-01

Full Text Available The consequences of the Schwinger effect for conductivity are computed for strong coupling systems using holography. The one-loop diagram on the flavor brane introduces an O(λNc imaginary part in the effective action for a Maxwell flavor gauge field. This in turn introduces a real conductivity in an otherwise insulating phase of the boundary theory. Moreover, in certain regions of parameter space the differential conductivity is negative. This is computed in the context of the Sakai–Sugimoto model.

Schwinger's quantum action principle from Dirac’s formulation through Feynman’s path integrals, the Schwinger-Keldysh method, quantum field theory, to source theory

CERN Document Server

Milton, Kimball A

2015-01-01

Starting from the earlier notions of stationary action principles, these tutorial notes shows how Schwinger’s Quantum Action Principle descended from Dirac’s formulation, which independently led Feynman to his path-integral formulation of quantum mechanics. Part I brings out in more detail the connection between the two formulations, and applications are discussed. Then, the Keldysh-Schwinger time-cycle method of extracting matrix elements is described. Part II will discuss the variational formulation of quantum electrodynamics and the development of source theory.

Exact solutions of linearized Schwinger endash Dyson equation of fermion self-energy

International Nuclear Information System (INIS)

Zhou, B.

1997-01-01

The Schwinger endash Dyson equation of fermion self-energy in the linearization approximation is solved exactly in a theory with gauge and effective four-fermion interactions. Different expressions for the independent solutions, which, respectively, submit to irregular and regular ultraviolet boundary condition are derived and expounded. copyright 1997 American Institute of Physics

Nonadiabatic quantum Vlasov equation for Schwinger pair production

International Nuclear Information System (INIS)

Kim, Sang Pyo; Schubert, Christian

2011-01-01

Using Lewis-Riesenfeld theory, we derive an exact nonadiabatic master equation describing the time evolution of the QED Schwinger pair-production rate for a general time-varying electric field. This equation can be written equivalently as a first-order matrix equation, as a Vlasov-type integral equation, or as a third-order differential equation. In the last version it relates to the Korteweg-de Vries equation, which allows us to construct an exact solution using the well-known one-soliton solution to that equation. The case of timelike delta function pulse fields is also briefly considered.

Heavy meson observables and Dyson-Schwinger equations

International Nuclear Information System (INIS)

Ivanov, M. A.

1998-01-01

Dyson-Schwinger equation (DSE) studies show that the b-quark mass-function is approximately constant, and that this is true to a lesser extent for the c-quark. This observation provides the basis for a study of the leptonic and semileptonic decays of heavy pseudoscalar mesons using a ''heavy-quark'' limit of the DSES, which, when exact, reduces the number of independent form factors. Semileptonic decays with light mesons in the final state are also accessible because the DSES provide a description of light-quark propagation characteristics and light-meson structure. A description of B-meson decays is straightforward, however, the study of decays involving the D-meson indicates that c-quark mass-corrections are quantitatively important

Schwinger Dyson equations: Dynamical chiral symmetry breaking and confinement

International Nuclear Information System (INIS)

Roberts, C.D.

1992-01-01

A representative but not exhaustive review of the Schwinger-Dyson equation (SDE) approach to the nonperturbative study of QCD is presented. The main focus is the SDE for the quark self energy but studies of the gluon propagator and quark-gluon vertex are also discussed insofar as they are important to the quark SDE. The scope of this article is the application of these equations to the study of dynamical chiral symmetry breaking, quark confinement and the phenomenology of the spectrum and dynamics of QCD

Resummation of the 1/N-expansion of the non-linear σ-model by Dyson-Schwinger equations

International Nuclear Information System (INIS)

Drouffe, J.M.; Flyvbjerg, H.

1988-02-01

Dyson-Schwinger equations for the O(N)-symmetric non-linear σ-model are derived and expanded in 1/N. A closed set of equations is obtained by keeping only the leading term and the first correction term in this expansion. These equations are solved numerically in 2 dimensions on square lattices of sizes 50x50 and 100x100. Results for the magnetic susceptibility and the mass gap are compared with predictions of the ordinary 1/N-expansion and with Monte Carlo results. The results obtained with the Dyson-Schwinger equations show the same scaling behavior as found in the Monte Carlo results. This is not the behavior predicted by the perturbative renormalization group. (orig.)

The strong running coupling from an approximate gluon Dyson-Schwinger equation

International Nuclear Information System (INIS)

Alkofer, R.; Hauck, A.

1996-01-01

Using Mandelstam's approximation to the gluon Dyson-Schwinger equation we calculate the gluon self-energy in a renormalisation group invariant fashion. We obtain a non-perturbative Β function. The scaling behavior near the ultraviolet stable fixed point is in good agreement with perturbative QCD. No further fixed point for positive values of the coupling is found: α S increases without bound in the infrared

The generalized Schwinger-DeWitt technique and the unique effective action in quantum gravity

International Nuclear Information System (INIS)

Barvinsky, A.O.; Vilkovisky, G.A.

1983-01-01

We consider the one-loop approximation to the recently proposed unique effective action in gauge theory. The Schwinger-DeWitt technique is generalized and applied to the computation of the unique gravitational counterterms. The issue of asymptotic freedom is reexamined. (orig.)

{theta}-vacua in the light-front quantized Schwinger model

Energy Technology Data Exchange (ETDEWEB)

Srivastava, Prem P. [Universidade do Estado, Rio de Janeiro, RJ (Brazil). Inst. de Fisica]|[Centro Brasileiro de Pesquisas Fisicas (CBPF), Rio de Janeiro, RJ (Brazil)

1996-09-01

The light-front quantization of the bosonized Schwinger model is discussed in the continuum formulation. The proposal, successfully used earlier for describing the spontaneous symmetry breaking on the light-front, of separating first the scalar field into the dynamical condensate and the fluctuation fields before employing the standard Dirac method works here as well. Some topics on the front form theory are summarized in the Appendices and attention is drawn to the fact that the theory quantized, at x{sup +} seems already to carry information on equal x{sup -} commutators as well. (author). 21 refs.

θ-vacua in the light-front quantized Schwinger model

International Nuclear Information System (INIS)

Srivastava, Prem P.

1996-09-01

The light-front quantization of the bosonized Schwinger model is discussed in the continuum formulation. The proposal, successfully used earlier for describing the spontaneous symmetry breaking on the light-front, of separating first the scalar field into the dynamical condensate and the fluctuation fields before employing the standard Dirac method works here as well. Some topics on the front form theory are summarized in the Appendices and attention is drawn to the fact that the theory quantized, at x + seems already to carry information on equal x - commutators as well. (author). 21 refs

Critical behavior of the Schwinger model with Wilson fermions

International Nuclear Information System (INIS)

Azcoiti, V.; Laliena, V.

1995-09-01

A detailed analysis, in the framework of the MFA approach, of the critical behaviour of the lattice Schwinger model with Wilson fermions on lattices up to 24 2 , through the study of the Lee-Yang zeros and the specific heat, is presented. Compelling evidence is found for a critical line ending at k= 0.25 at large β. Finite size scaling analysis on lattices 8 2 , 12 2 , 16 2 , 20 2 and 24 2 indicates a continuous transition. The hyper scaling relation is verified in the explored β region

Two-dimensional massless quantum electrodynamics in the Landau-gauge formalism and the Higgs mechanism

International Nuclear Information System (INIS)

Ito, K.R.

1975-01-01

The Schwinger model is considered in the Landau-gauge formalism of quantum electrodynamics. This model can be solved exactly on the assumption of no radiative corrections to the anomaly. It is found that the photon obtains a non-zero mass through the Higgs mechanism. In this case, the would-be Nambu-Goldstone boson is an associated boson which is constructed from a pair of two-component massless fermions. This would-be Nambu-Goldstone boson appears as a result of the spontaneous breaking of the gauge invariance of the first kind, and it becomes unphysical through the Higgs mechanism. However, as all the fermions themselves decouple from photons, they cannot appear as real particles in our world. (author)

Fermion current algebras and Schwinger terms in (3+1)-dimensions

International Nuclear Information System (INIS)

Langmann, E.

1994-01-01

We discuss the restricted linear group in infinite dimensions modeled by the Schatten class of rank 2p=4 which contains the (3+1)-dimensional analogs of the loop groups and is closely related to Yang-Mills theory with fermions in (3+1)-dimensions. We give an alternative to the construction of the ''highest weight'' representation of this group found by Mickelsson and Rajeev. Our approach is close to quantum field theory, with the elements of this group regarded as Bogoliubov transformations for fermions in an external Yang-Mills field. Though these cannot be unitarily implemented in the physically relevant representation of the fermion field algebra, we argue that they can be implemented by sesquilinear forms, and that there is a (regularized) product of forms providing an appropriate group structure. On the Lie algebra level, this gives an explicit, non-perturbative construction of fermion current algebras in (3+1) space-time dimensions which explicitly shows that the ''wave function renormalization'' required for a consistent definition of the currents and their Lie bracket naturally leads to the Schwinger term identical with the Mickelsson-Rajeev cocycle. Though the explicit form of the Schwinger term is given only for the case p=2, our arguments apply also to the restricted linear groups modeled by Schatten classes of rank 2p=6, 8, .. corresponding to current algebras in (d+1)-dimensions, d=5, 7, .. (orig.)

On a Kubo-Martin-Schwinger state of the Sine-Gordon system

International Nuclear Information System (INIS)

Peskov, N.V.

1986-01-01

This paper considers the Sine-Gordon equation on a finite interval as a Hamiltonian system. A Gaussian measure is defined on an extension of the phase space. It is shown that the partition funciton Z employed in the statistical mechanics of the solitons is an integral with respect to this measure. An algebra of observables is defined and on it a state is constructed which satisfies the Kubo-Martin-Schwinger condition

Schwinger variational principle in scattering problems of charged particles on mesic atoms and atoms

International Nuclear Information System (INIS)

Belyaev, V.B.; Zubarev, A.L.; Podkopaev, A.P.

1978-01-01

The Schwinger variational principle is applied to solve the problems of atomic physics. A separable approximation for a Hamiltonian of a bound subsystem is used. The length of e + H-scattering and the elastic p(dμ)-scattering cross section are calculated in the second Born approximation

On Kubo-Martin-Schwinger states of classical dynamical systems with the infinite-dimensional phase space

International Nuclear Information System (INIS)

Arsen'ev, A.A.

1979-01-01

Example of a classical dynamical system with the infinite-dimensional phase space, satisfying the analogue of the Kubo-Martin-Schwinger conditions for classical dynamics, is constructed explicitly. Connection between the system constructed and the Fock space dynamics is pointed out

The Schwinger Dyson equations and the algebra of constraints of random tensor models at all orders

International Nuclear Information System (INIS)

Gurau, Razvan

2012-01-01

Random tensor models for a generic complex tensor generalize matrix models in arbitrary dimensions and yield a theory of random geometries. They support a 1/N expansion dominated by graphs of spherical topology. Their Schwinger Dyson equations, generalizing the loop equations of matrix models, translate into constraints satisfied by the partition function. The constraints have been shown, in the large N limit, to close a Lie algebra indexed by colored rooted D-ary trees yielding a first generalization of the Virasoro algebra in arbitrary dimensions. In this paper we complete the Schwinger Dyson equations and the associated algebra at all orders in 1/N. The full algebra of constraints is indexed by D-colored graphs, and the leading order D-ary tree algebra is a Lie subalgebra of the full constraints algebra.

Possibility of experimental detection of the Dirac-Schwinger heavy mass monopoles

Energy Technology Data Exchange (ETDEWEB)

Ginzburg, I F [AN SSSR, Novosibirsk. Inst. Matematiki; Panfil, S L [AN SSSR, Novosibirsk. Inst. Avtomatiki i Ehlektrometrii

1982-12-01

A possibility of the Dirac-Schwinger point heavy-mass monopoles detection in scattering or production of photons at large angles via the monopole loop, is discussed. The monopoles with masses M < or approximately from 50 to 100 GeV may be found in experiments at PETRA and PEP, and monopoles with masses M < or approximately from 2 to 3 TeV may be discovered in future experiments in colliding photon beams of 50-300 GeV energies.

Confined solutions of the Thirring model coupled to a Schwinger field

International Nuclear Information System (INIS)

Hortacsu, M.

1976-08-01

In the study of the confined classical solutions of the bosonized massive Thirring field coupled to a Schwinger field, it is observed that, regardless of their respective magnitudes and signs, the Thirring interaction is dominant over the other one, in determining whether such a solution exists. Confined solutions for the Thirring field are possible if and only if the Thirring coupling is attractive. Solutions are constructed for the Thirring model coupling attractive, repulsive and equal to zero

Non-Schwinger solution of the two-dimensional massless spinor electrodynamics

International Nuclear Information System (INIS)

Mikhov, S.G.

1981-01-01

In the present paper a regularization procedure is formulated for the current in the two-dimensional massless spinor electrodynamics that is both gauge and γ 5 -gauge invariant. This gives rise to an operator solution of the model that does not involve a massive photon. The latter solution is studied in some detail, and it is shown that although a charge operator exists, it does not define the electric charge of the spinor field. This can be a manifestation of the charge screening mechanism that is present in the Schwinger model [ru

Schwinger mechanism in electromagnetic field in de Sitter spacetime

Directory of Open Access Journals (Sweden)

Bavarsad Ehsan

2018-01-01

Full Text Available We investigate Schwinger scalar pair production in a constant electromagnetic field in de Sitter (dS spacetime. We obtain the pair production rate, which agrees with the Hawking radiation in the limit of zero electric field in dS. The result describes how a cosmic magnetic field affects the pair production rate. In addition, using a numerical method we study the effect of the magnetic field on the induced current. We find that in the strong electromagnetic field the current has a linear response to the electric and magnetic fields, while in the infrared regime, is inversely proportional to the electric field and leads to infrared hyperconductivity.

Determination of covariant Schwinger terms in anomalous gauge theories

International Nuclear Information System (INIS)

Kelnhofer, G.

1991-01-01

A functional integral method is used to determine equal time commutators between the covariant currents and the covariant Gauss-law operators in theories which are affected by an anomaly. By using a differential geometrical setup we show how the derivation of consistent- and covariant Schwinger terms can be understood on an equal footing. We find a modified consistency condition for the covariant anomaly. As a by-product the Bardeen-Zumino functional, which relates consistent and covariant anomalies, can be interpreted as connection on a certain line bundle over all gauge potentials. Finally the commutator anomalies are calculated for the two- and four dimensional case. (Author) 13 refs

Determination of covariant Schwinger terms in anomalous gauge theories

International Nuclear Information System (INIS)

Kelnhofer, G.

1991-01-01

A functional integral method is used to determine equal time commutators between the covariant currents and the covariant Gauss-law operators in theories which are affected by an anomaly. By using a differential geometrical setup we show how the derivation of consistent- and covariant Schwinger terms can be understood on an equal footing. We find a modified consistency condition for the covariant anomaly. As a by-product the Bardeen-Zumino functional, which relates consistent and covariant anomalies, can be interpreted as connection on a certain line bundle over all gauge potentials. Finally the covariant commutator anomalies are calculated for the two- and four dimensional case. (orig.)

On Some Calculations of Effective Action and Fujikawa Regularized Anomaly in the Chiral Schwinger Model

OpenAIRE

Mehrdad, GOSHTASBPOUR; Center for Theoretical Physics and Mathematics, AEOI:Department of Physics, Shahid Beheshti University

1991-01-01

Extended D^†+D-DD^† Fujikawa regularization of anomaly and a method of integration of fermions for the chiral Schwinger model are criticized. On the basis of the corrected integration method, a new extended version of D^2 is obtained, resulting in the Jackiw-Rajaraman effective action.

The IR sector of QCD: lattice versus Schwinger-Dyson equations

International Nuclear Information System (INIS)

Binosi, Daniele

2010-01-01

Important information about the infrared dynamics of QCD is encoded in the behavior of its (of-shell) Green's functions, most notably the gluon and the ghost propagators. Due to recent improvements in the quality of lattice data and the truncation schemes employed for the Schwinger-Dyson equations we have now reached a point where the interplay between these two non-perturbative tools can be most fruitful. In this talk several of the above points will be reviewed, with particular emphasis on the implications for the ghost sector, the non-perturbative effective charge of QCD, and the Kugo-Ojima function.

Self-consistent assessment of Englert-Schwinger model on atomic properties

Science.gov (United States)

Lehtomäki, Jouko; Lopez-Acevedo, Olga

2017-12-01

Our manuscript investigates a self-consistent solution of the statistical atom model proposed by Berthold-Georg Englert and Julian Schwinger (the ES model) and benchmarks it against atomic Kohn-Sham and two orbital-free models of the Thomas-Fermi-Dirac (TFD)-λvW family. Results show that the ES model generally offers the same accuracy as the well-known TFD-1/5 vW model; however, the ES model corrects the failure in the Pauli potential near-nucleus region. We also point to the inability of describing low-Z atoms as the foremost concern in improving the present model.

Schwinger variational principle applied to molecular photoionization

International Nuclear Information System (INIS)

Smith, M.E.

1985-01-01

A method based upon the Schwinger variational principle was developed to study molecular photoionization and electron-molecule scattering. Exact static-exchange solutions to the equations for the continuum orbitals are obtained within the Hartree-Fock approximation; and from these cross sections and angular distributions are derived for both of the above processes. This method was applied to photoionization of the valence levels of three different systems. The first application of this method is a study of the photoionization of the valence levels of NO. Next, vibrationally resolved branching ratios and vibrational state-specific asymmetry parameters for photoionization of the 5sigma level of CO are presented. Finally, a study of the photoionization of the 5sigma level of CO absorbed on a nickel surface is reported. Approximating this system by the linear triatomic molecule NiCO leads to cross sections and angular distributions which are in good agreement with experimental data

Relativistic reconnection in near critical Schwinger field

Science.gov (United States)

Schoeffler, Kevin; Grismayer, Thomas; Fonseca, Ricardo; Silva, Luis; Uzdensky, Dmitri

2017-10-01

Magnetic reconnection in relativistic pair plasma with QED radiation and pair-creation effects in the presence of strong magnetic fields is investigated using 2D particle-in-cell simulations. The simulations are performed with the QED module of the OSIRIS framework that includes photon emission by electrons and positrons and single photon decay into pairs (non-linear Breit-Wheeler). We investigate the effectiveness of reconnection as a pair- and gamma-ray production mechanism across a broad range of reconnecting magnetic fields, including those approaching the critical quantum (Schwinger) field, and we also explore how the radiative cooling and pair-production processes affect reconnection. We find that in the extreme field regime, the magnetic energy is mostly converted into radiation rather than into particle kinetic energy. This study is a first concrete step towards better understanding of magnetic reconnection as a possible mechanism powering gamma-ray flares in magnetar magnetospheres.

Schwinger type processes via branes and their gravity duals

International Nuclear Information System (INIS)

Gorsky, A.S.; Saraikin, K.A.; Selivanov, K.G.

2002-01-01

We consider Schwinger type processes involving the creation of the charge and monopole pairs in the external fields and propose interpretation of these processes via corresponding brane configurations in type IIB string theory. We suggest simple description of some new interesting nonperturbative processes like monopole/dyon transitions in the electric field and W-boson decay in the magnetic field using the brane language. Nonperturbative pair production in the strong coupling regime using the AdS/CFT correspondence is studied. The treatment of the similar processes in the noncommutative theories when noncommutativity is traded for the background fields is presented and the possible role of the critical magnetic field which is S-dual to the critical electric field is discussed

The mass spectrum of the Schwinger model with matrix product states

Energy Technology Data Exchange (ETDEWEB)

Banuls, M.C.; Cirac, J.I. [Max-Planck-Institut fuer Quantenoptik (MPQ), Garching (Germany); Cichy, K. [Deutsches Elektronen-Synchrotron (DESY), Zeuthen (Germany); Poznan Univ. (Poland). Faculty of Physics; Jansen, K. [Deutsches Elektronen-Synchrotron (DESY), Zeuthen (Germany); Cyprus Univ., Nicosia (Cyprus). Dept. of Physics

2013-07-15

We show the feasibility of tensor network solutions for lattice gauge theories in Hamiltonian formulation by applying matrix product states algorithms to the Schwinger model with zero and non-vanishing fermion mass. We introduce new techniques to compute excitations in a system with open boundary conditions, and to identify the states corresponding to low momentum and different quantum numbers in the continuum. For the ground state and both the vector and scalar mass gaps in the massive case, the MPS technique attains precisions comparable to the best results available from other techniques.

Squares of White Noise, SL(2,C) and Kubo - Martin -Schwinger States

OpenAIRE

Prokhorenko, D. V.

2007-01-01

We investigate the structure of Kubo - Martin - Schwinger (KMS) states on some extension of the universal enveloping algebra of SL(2,C}. We find that there exists a one-to-one correspondence between the set of all covariant KMS states on this algebra and the set of all probability measures d\\mu on the real half-line, which decrease faster than any inverse polynomial. This problem is connected to the problem of KMS states on square of white noise algebra.

Effects of strain on the Schwinger pair creation in graphene

International Nuclear Information System (INIS)

Fanbanrai, P.; Hutem, A.; Boonchui, S.

2015-01-01

The effects of strain on mechanically deformed graphene are determined by looking at how the strain affects the amplitude of the Schwinger two particle pair state. The influences of the lattice distortions, such as isotropic tensile strain ϵ is , shear strain ϵ ss , uniaxial armchair strain ϵ as , and zigzag strain ϵ zs , on the photon emission spectrum have been analyzed. We find that the intensities of the emission increases or decreases when compared to those of the unstrained graphene, depending on the type of strain applied. Thus the structure of energy band, the frequencies of the photons and the emission spectrum can be controlled by use of the different strains

Lattice Hamiltonian approach to the massless Schwinger model. Precise extraction of the mass gap

International Nuclear Information System (INIS)

Cichy, Krzysztof; Poznan Univ.; Kujawa-Cichy, Agnieszka; Szyniszewski, Marcin; Manchester Univ.

2012-12-01

We present results of applying the Hamiltonian approach to the massless Schwinger model. A finite basis is constructed using the strong coupling expansion to a very high order. Using exact diagonalization, the continuum limit can be reliably approached. This allows to reproduce the analytical results for the ground state energy, as well as the vector and scalar mass gaps to an outstanding precision better than 10 -6 %.

Stress-tensor commutators and Schwinger terms in singleton theories

International Nuclear Information System (INIS)

Bergshoeff, E.; Sezgin, E.; Tanii, Y.

1989-06-01

We compute the commutators of the regularized quantum stress-tensor of singleton theories formulated on the boundary of a (p + 2)-dimensional anti de Sitter space (AdS p+2 ). (These are superconformal field theories on S p x S 1 ). We find that the algebra is not closed except in the case of AdS 3 . It does contain, however, the finite dimensional AdS p+2 algebra SO(p + 1,2). We also find divergent, field dependent as well as field independent Schwinger terms (i.e. the central extensions), which, however, do not lead to anomalies in the algebra of the AdS charges. We also give a simple derivation of the two-point functions for bosonic and fermionic singletons. (author). 15 refs

Dryson equations, Ward identities, and the infrared behavior of Yang-Mills theories. [Schwinger-Dyson equations, Slavnov-Taylor identities

Energy Technology Data Exchange (ETDEWEB)

Baker, M.

1979-01-01

It was shown using the Schwinger-Dyson equations and the Slavnov-Taylor identities of Yang-Mills theory that no inconsistency arises if the gluon propagator behaves like (1/p/sup 2/)/sup 2/ for small p/sup 2/. To see whether the theory actually contains such singular long range behavior, a nonperturbative closed set of equations was formulated by neglecting the transverse parts of GAMMA and GAMMA/sub 4/ in the Schwinger-Dyson equations. This simplification preserves all the symmetries of the theory and allows the possibility for a singular low-momentum behavior of the gluon propagator. The justification for neglecting GAMMA/sup (T)/ and GAMMA/sub 4//sup (T)/ is not evident but it is expected that the present study of the resulting equations will elucidate this simplification, which leads to a closed set of equations.

Color-superconductivity from a Dyson-Schwinger perspective

International Nuclear Information System (INIS)

Nickel, M.D.J.

2007-01-01

Color-superconducting phases of quantum chromodynamics at vanishing temperatures and high densities are investigated. The central object is the one-particle Green's function of the fermions, the so-called quark propagator. It is determined by its equation of motion, the Dyson-Schwinger equation. To handle Dyson-Schwinger equations a successfully applied truncation scheme in the vacuum is extended to finite densities and gradually improved. It is thereby guaranteed that analytical results at asymptotically large densities are reproduced. This way an approach that is capable to describe known results in the vacuum as well as at high densities is applied to densities of astrophysical relevance for the first time. In the first part of the thesis the framework of the investigations with focus on the extension to finite densities is outlined. Physical observables are introduced which can be extracted from the propagator. In the following a minimal truncation scheme is presented. To point out the complexity of our approach in comparison to phenomenological models of quantum chromodynamics the chirally unbroken phase is discussed first. Subsequently color-superconducting phases for massless quarks are investigated. Furthermore the role of finite quark masses and neutrality constraints at moderate densities is studied. In contrast to phenomenological models the so-called CFL phase is found to be the ground state for all relevant densities. In the following part the applicability of the maximum entropy method for the extraction of spectral functions from numerical results in Euclidean space-time is demonstrated. As an example the spectral functions of quarks in the chirally unbroken and color-superconducting phases are determined. Hereby the results of our approach are presented in a new light. For instance the finite width of the quasiparticles in the color-superconducting phase becomes apparent. In the final chapter of this work extensions of our truncation scheme in

Color-superconductivity from a Dyson-Schwinger perspective

Energy Technology Data Exchange (ETDEWEB)

Nickel, M.D.J.

2007-12-20

Color-superconducting phases of quantum chromodynamics at vanishing temperatures and high densities are investigated. The central object is the one-particle Green's function of the fermions, the so-called quark propagator. It is determined by its equation of motion, the Dyson-Schwinger equation. To handle Dyson-Schwinger equations a successfully applied truncation scheme in the vacuum is extended to finite densities and gradually improved. It is thereby guaranteed that analytical results at asymptotically large densities are reproduced. This way an approach that is capable to describe known results in the vacuum as well as at high densities is applied to densities of astrophysical relevance for the first time. In the first part of the thesis the framework of the investigations with focus on the extension to finite densities is outlined. Physical observables are introduced which can be extracted from the propagator. In the following a minimal truncation scheme is presented. To point out the complexity of our approach in comparison to phenomenological models of quantum chromodynamics the chirally unbroken phase is discussed first. Subsequently color-superconducting phases for massless quarks are investigated. Furthermore the role of finite quark masses and neutrality constraints at moderate densities is studied. In contrast to phenomenological models the so-called CFL phase is found to be the ground state for all relevant densities. In the following part the applicability of the maximum entropy method for the extraction of spectral functions from numerical results in Euclidean space-time is demonstrated. As an example the spectral functions of quarks in the chirally unbroken and color-superconducting phases are determined. Hereby the results of our approach are presented in a new light. For instance the finite width of the quasiparticles in the color-superconducting phase becomes apparent. In the final chapter of this work extensions of our truncation scheme in

Schwinger-Dyson operator of Yang-Mills matrix models with ghosts and derivations of the graded shuffle algebra

NARCIS (Netherlands)

Krishnaswami, G.S.

2008-01-01

We consider large-N multi-matrix models whose action closely mimics that of Yang-Mills theory, including gauge-fixing and ghost terms. We show that the factorized Schwinger-Dyson loop equations, expressed in terms of the generating series of gluon and ghost correlations G( ), are quadratic equations

Lattice Hamiltonian approach to the massless Schwinger model. Precise extraction of the mass gap

Energy Technology Data Exchange (ETDEWEB)

Cichy, Krzysztof [Deutsches Elektronen-Synchrotron (DESY), Zeuthen (Germany). John von Neumann-Inst. fuer Computing NIC; Poznan Univ. (Poland). Faculty of Physics; Kujawa-Cichy, Agnieszka [Poznan Univ. (Poland). Faculty of Physics; Szyniszewski, Marcin [Poznan Univ. (Poland). Faculty of Physics; Manchester Univ. (United Kingdom). NOWNano DTC

2012-12-15

We present results of applying the Hamiltonian approach to the massless Schwinger model. A finite basis is constructed using the strong coupling expansion to a very high order. Using exact diagonalization, the continuum limit can be reliably approached. This allows to reproduce the analytical results for the ground state energy, as well as the vector and scalar mass gaps to an outstanding precision better than 10{sup -6} %.

Dyson-Schwinger equations and N = 4 SYM in Landau gauge

Energy Technology Data Exchange (ETDEWEB)

Maas, Axel; Zitz, Stefan [University of Graz, Institute of Physics, NAWI Graz, Graz (Austria)

2016-03-15

N = 4 Super Yang-Mills theory is a highly constrained theory, and therefore a valuable tool to test the understanding of less constrained Yang-Mills theories. Our aim is to use it to test our understanding of both the Landau gauge beyond perturbation theory and the truncations of Dyson-Schwinger equations in ordinary Yang-Mills theories. We derive the corresponding equations within the usual one-loop truncation for the propagators after imposing the Landau gauge. We find a conformal solution in this approximation, which surprisingly resembles many aspects of ordinary Yang-Mills theories. We furthermore discuss which role the Gribov-Singer ambiguity in this context could play, should it exist in this theory. (orig.)

Quantum mechanics on Riemannian manifold in Schwinger's quantization approach II

International Nuclear Information System (INIS)

Chepilko, N.M.; Romanenko, A.V.

2001-01-01

The extended Schwinger quantization procedure is used for constructing quantum mechanics on a manifold with a group structure. The considered manifold M is a homogeneous Riemannian space with the given action of an isometry transformation group. Using the identification of M with the quotient space G/H, where H is the isotropy group of an arbitrary fixed point of M, we show that quantum mechanics on G/H possesses a gauge structure, described by a gauge potential that is the connection 1-form of the principal fiber bundle G(G/H, H). The coordinate representation of quantum mechanics and the procedure for selecting the physical sector of the states are developed. (orig.)

Determining partial differential cross sections for low-energy electron photodetachment involving conical intersections using the solution of a Lippmann-Schwinger equation constructed with standard electronic structure techniques.

Science.gov (United States)

Han, Seungsuk; Yarkony, David R

2011-05-07

A method for obtaining partial differential cross sections for low energy electron photodetachment in which the electronic states of the residual molecule are strongly coupled by conical intersections is reported. The method is based on the iterative solution to a Lippmann-Schwinger equation, using a zeroth order Hamiltonian consisting of the bound nonadiabatically coupled residual molecule and a free electron. The solution to the Lippmann-Schwinger equation involves only standard electronic structure techniques and a standard three-dimensional free particle Green's function quadrature for which fast techniques exist. The transition dipole moment for electron photodetachment, is a sum of matrix elements each involving one nonorthogonal orbital obtained from the solution to the Lippmann-Schwinger equation. An expression for the electron photodetachment transition dipole matrix element in terms of Dyson orbitals, which does not make the usual orthogonality assumptions, is derived.

Solving Schwinger-Dyson equations by truncation in zero-dimensional scalar quantum field theory

International Nuclear Information System (INIS)

Okopinska, A.

1991-01-01

Three sets of Schwinger-Dyson equations, for all Green's functions, for connected Green's functions, and for proper vertices, are considered in scalar quantum field theory. A truncation scheme applied to the three sets gives three different approximation series for Green's functions. For the theory in zero-dimensional space-time the results for respective two-point Green's functions are compared with the exact value calculated numerically. The best convergence of the truncation scheme is obtained for the case of proper vertices

Thermal evolution of the Schwinger model with matrix product operators

International Nuclear Information System (INIS)

Banuls, M.C.; Cirac, J.I.; Cichy, K.; Jansen, K.; Saito, H.

2015-10-01

We demonstrate the suitability of tensor network techniques for describing the thermal evolution of lattice gauge theories. As a benchmark case, we have studied the temperature dependence of the chiral condensate in the Schwinger model, using matrix product operators to approximate the thermal equilibrium states for finite system sizes with non-zero lattice spacings. We show how these techniques allow for reliable extrapolations in bond dimension, step width, system size and lattice spacing, and for a systematic estimation and control of all error sources involved in the calculation. The reached values of the lattice spacing are small enough to capture the most challenging region of high temperatures and the final results are consistent with the analytical prediction by Sachs and Wipf over a broad temperature range.

Spectator electric fields, de Sitter spacetime, and the Schwinger effect

Science.gov (United States)

Giovannini, Massimo

2018-03-01

During a de Sitter stage of expansion, the spectator fields of different spin are constrained by the critical density bound and by further requirements determined by their specific physical nature. The evolution of spectator electric fields in conformally flat background geometries is occasionally concocted by postulating the existence of ad hoc currents, but this apparently innocuous trick violates the second law of thermodynamics. Such a problem occurs, in particular, for those configurations (customarily employed for the analysis of the Schwinger effect in four-dimensional de Sitter backgrounds) leading to an electric energy density which is practically unaffected by the expansion of the underlying geometry. The obtained results are compared with more mundane situations where Joule heating develops in the early stages of a quasi-de Sitter phase.

Dynamically assisted Sauter-Schwinger effect in inhomogeneous electric fields

Energy Technology Data Exchange (ETDEWEB)

Schneider, Christian; Schützhold, Ralf [Fakultät für Physik, Universität Duisburg-Essen,Lotharstrasse 1, 47057 Duisburg (Germany)

2016-02-24

Via the world-line instanton method, we study electron-positron pair creation by a strong (but sub-critical) electric field of the profile E/cosh{sup 2} (kx) superimposed by a weaker pulse E{sup ′}/cosh{sup 2} (ωt). If the temporal Keldysh parameter γ{sub ω}=mω/(qE) exceeds a threshold value γ{sub ω}{sup crit} which depends on the spatial Keldysh parameter γ{sub k}=mk/(qE), we find a drastic enhancement of the pair creation probability — reporting on what we believe to be the first analytic non-perturbative result for the interplay between temporal and spatial field dependences E(t,x) in the Sauter-Schwinger effect. Finally, we speculate whether an analogous effect (drastic enhancement of tunneling probability) could occur in other scenarios such as stimulated nuclear decay, for example.

Infrared asymptotics and Dyson-Schwinger equations for the gauge-invariant spinor Green function in quantum electrodynamics

International Nuclear Information System (INIS)

Skachkov, N.B.; Solovtsov, I.L.; Shevchenko, O.Yu.

1985-01-01

The Dayson-Schwinger equations for the gauge-invariant (G.I.) spinor Green function are derived for an Abelian case. On the basis of these equations as well as the functional integration method the behaviour of the G.I. spinor propagator is studied in the infrared region. It is shown that the G.I. propagator has a singularity of a simple pole in this region

Jordan-Schwinger map, 3D harmonic oscillator constants of motion, and classical and quantum parameters characterizing electromagnetic wave polarization

International Nuclear Information System (INIS)

Mota, R D; Xicotencatl, M A; Granados, V D

2004-01-01

In this work we introduce a generalization of the Jauch and Rohrlich quantum Stokes operators when the arrival direction from the source is unknown a priori. We define the generalized Stokes operators as the Jordan-Schwinger map of a triplet of harmonic oscillators with the Gell-Mann and Ne'eman matrices of the SU(3) symmetry group. We show that the elements of the Jordan-Schwinger map are the constants of motion of the three-dimensional isotropic harmonic oscillator. Also, we show that the generalized Stokes operators together with the Gell-Mann and Ne'eman matrices may be used to expand the polarization matrix. By taking the expectation value of the Stokes operators in a three-mode coherent state of the electromagnetic field, we obtain the corresponding generalized classical Stokes parameters. Finally, by means of the constants of motion of the classical 3D isotropic harmonic oscillator we describe the geometrical properties of the polarization ellipse

Jordan Schwinger map, 3D harmonic oscillator constants of motion, and classical and quantum parameters characterizing electromagnetic wave polarization

Science.gov (United States)

Mota, R. D.; Xicoténcatl, M. A.; Granados, V. D.

2004-02-01

In this work we introduce a generalization of the Jauch and Rohrlich quantum Stokes operators when the arrival direction from the source is unknown a priori. We define the generalized Stokes operators as the Jordan-Schwinger map of a triplet of harmonic oscillators with the Gell-Mann and Ne'eman matrices of the SU(3) symmetry group. We show that the elements of the Jordan-Schwinger map are the constants of motion of the three-dimensional isotropic harmonic oscillator. Also, we show that the generalized Stokes operators together with the Gell-Mann and Ne'eman matrices may be used to expand the polarization matrix. By taking the expectation value of the Stokes operators in a three-mode coherent state of the electromagnetic field, we obtain the corresponding generalized classical Stokes parameters. Finally, by means of the constants of motion of the classical 3D isotropic harmonic oscillator we describe the geometrical properties of the polarization ellipse.

Jordan-Schwinger map, 3D harmonic oscillator constants of motion, and classical and quantum parameters characterizing electromagnetic wave polarization

Energy Technology Data Exchange (ETDEWEB)

Mota, R D [Unidad Profesional Interdisciplinaria de IngenierIa y TecnologIas Avanzadas, IPN. Av. Instituto Politecnico Nacional 2580, Col. La Laguna Ticoman, 07340 Mexico DF (Mexico); Xicotencatl, M A [Departamento de Matematicas del Centro de Investigacion y Estudios Avanzados del IPN, Mexico DF, 07000 (Mexico); Granados, V D [Escuela Superior de FIsica y Matematicas, Instituto Politecnico Nacional, Ed. 9, Unidad Profesional Adolfo Lopez Mateos, 07738 Mexico DF (Mexico)

2004-02-20

In this work we introduce a generalization of the Jauch and Rohrlich quantum Stokes operators when the arrival direction from the source is unknown a priori. We define the generalized Stokes operators as the Jordan-Schwinger map of a triplet of harmonic oscillators with the Gell-Mann and Ne'eman matrices of the SU(3) symmetry group. We show that the elements of the Jordan-Schwinger map are the constants of motion of the three-dimensional isotropic harmonic oscillator. Also, we show that the generalized Stokes operators together with the Gell-Mann and Ne'eman matrices may be used to expand the polarization matrix. By taking the expectation value of the Stokes operators in a three-mode coherent state of the electromagnetic field, we obtain the corresponding generalized classical Stokes parameters. Finally, by means of the constants of motion of the classical 3D isotropic harmonic oscillator we describe the geometrical properties of the polarization ellipse.

Density induced phase transitions in the Schwinger model. A study with matrix product states

Energy Technology Data Exchange (ETDEWEB)

Banuls, Mari Carmen; Cirac, J. Ignacio; Kuehn, Stefan [Max-Planck-Institut fuer Quantenoptik (MPQ), Garching (Germany); Cichy, Krzysztof [Frankfurt Univ. (Germany). Inst. fuer Theoretische Physik; Adam Mickiewicz Univ., Poznan (Poland). Faculty of Physics; Jansen, Karl [Deutsches Elektronen-Synchrotron (DESY), Zeuthen (Germany). John von Neumann-Inst. fuer Computing NIC

2017-02-15

We numerically study the zero temperature phase structure of the multiflavor Schwinger model at nonzero chemical potential. Using matrix product states, we reproduce analytical results for the phase structure for two flavors in the massless case and extend the computation to the massive case, where no analytical predictions are available. Our calculations allow us to locate phase transitions in the mass-chemical potential plane with great precision and provide a concrete example of tensor networks overcoming the sign problem in a lattice gauge theory calculation.

Schwinger effect in de Sitter space

Energy Technology Data Exchange (ETDEWEB)

Fröb, Markus B.; Garriga, Jaume [Departament de Física Fonamental i Institut de Ciències del Cosmos, Universitat de Barcelona, Martí i Franquès 1, 08028 Barcelona (Spain); Kanno, Sugumi [Laboratory for Quantum Gravity and Strings and Astrophysics, Cosmology and Gravity Center, Department of Mathematics and Applied Mathematics, University of Cape Town, Private Bag, Rondebosch 7701 (South Africa); Sasaki, Misao; Tanaka, Takahiro [Yukawa Institute for Theoretical Physics, Kyoto University, Kyoto 606-8502 (Japan); Soda, Jiro [Department of Physics, Kobe University, Kobe 657-8501 (Japan); Vilenkin, Alexander, E-mail: mfroeb@ffn.ub.edu, E-mail: jaume.garriga@ub.edu, E-mail: sugumi.kanno@uct.ac.za, E-mail: misao@yukawa.kyoto-u.ac.jp, E-mail: jiro@phys.sci.kobe-u.ac.jp, E-mail: tanaka@yukawa.kyoto-u.ac.jp, E-mail: vilenkin@cosmos.phy.tufts.edu [Institute of Cosmology, Department of Physics and Astronomy, Tufts University, Medford, Massachusetts 02155 (United States)

2014-04-01

We consider Schwinger pair production in 1+1 dimensional de Sitter space, filled with a constant electric field E. This can be thought of as a model for describing false vacuum decay beyond the semiclassical approximation, where pairs of a quantum field φ of mass m and charge e play the role of vacuum bubbles. We find that the adiabatic ''in'' vacuum associated with the flat chart develops a space-like expectation value for the current J, which manifestly breaks the de Sitter invariance of the background fields. We derive a simple expression for J(E), showing that both ''upward'' and ''downward'' tunneling contribute to the build-up of the current. For heavy fields, with m{sup 2} >> eE,H{sup 2}, the current is exponentially suppressed, in agreement with the results of semiclassical instanton methods. Here, H is the inverse de Sitter radius. On the other hand, light fields with m || H lead to a phenomenon of infrared hyperconductivity, where a very small electric field mH∼

The temperature dependence of the chiral condensate in the Schwinger model with Matrix Product States

International Nuclear Information System (INIS)

Saito, H; Jansen, K.; Cichy, K.; Frankfurt Univ.; Poznan Univ.

2014-12-01

We present our recent results for the tensor network (TN) approach to lattice gauge theories. TN methods provide an efficient approximation for quantum many-body states. We employ TN for one dimensional systems, Matrix Product States, to investigate the 1-flavour Schwinger model. In this study, we compute the chiral condensate at finite temperature. From the continuum extrapolation, we obtain the chiral condensate in the high temperature region consistent with the analytical calculation by Sachs and Wipf.

Delta and Omega electromagnetic form factors in a Dyson-Schwinger/Bethe-Salpeter approach

Energy Technology Data Exchange (ETDEWEB)

Diana Nicmorus, Gernot Eichmann, Reinhard Alkofer

2010-12-01

We investigate the electromagnetic form factors of the Delta and the Omega baryons within the Poincare-covariant framework of Dyson-Schwinger and Bethe-Salpeter equations. The three-quark core contributions of the form factors are evaluated by employing a quark-diquark approximation. We use a consistent setup for the quark-gluon dressing, the quark-quark bound-state kernel and the quark-photon interaction. Our predictions for the multipole form factors are compatible with available experimental data and quark-model estimates. The current-quark mass evolution of the static electromagnetic properties agrees with results provided by lattice calculations.

Time-dependent observables in heavy ion collisions. Part I. Setting up the formalism

Science.gov (United States)

Wu, Bin; Kovchegov, Yuri V.

2018-03-01

We adapt the Schwinger-Keldysh formalism to study heavy-ion collisions in perturbative QCD. Employing the formalism, we calculate the two-point gluon correlation function G 22 aμ, bν due to the lowest-order classical gluon fields in the McLerran-Venugopalan model of heavy ion collisions and observe an interesting transition from the classical fields to the quasi-particle picture at later times. Motivated by this observation, we push the formalism to higher orders in the coupling and calculate the contribution to G 22 aμ, bν coming from the diagrams representing a single rescattering between two of the produced gluons. We assume that the two gluons go on mass shell both before and after the rescattering. The result of our calculation depends on which region of integration over the proper time of the rescattering τ Z gives the correct correlation function at late proper time τ when the gluon distribution is measured. For (i) τ Z ≫ 1 /Q s and τ - τ Z ≫ 1 /Q s (with Q s the saturation scale) we obtain the same results as from the Boltzmann equation. For (ii) τ - τ Z ≫ τ Z ≫ 1 /Q s we end up with a result very different from kinetic theory and consistent with a picture of "free-streaming" particles. Due to the approximations made, our calculation is too coarse to indicate whether the region (i) or (ii) is the correct one: to resolve this controversy, we shall present a detailed diagrammatic calculation of the rescattering correction in the φ 4 theory in the second paper of this duplex.

Hadronic contribution to the muon g-2: A Dyson-Schwinger perspective

Science.gov (United States)

Goecke, T.; Fischer, C. S.; Williams, R.

2012-04-01

We summarize our results for hadronic contributions to the anomalous magnetic moment of the muon (aμ), the one from hadronic vacuum-polarization (HVP) and the light-by-light scattering contribution (LBL), obtained from the Dyson-Schwinger equations (DSEs) of QCD. In the case of HVP we find good agreement with model independent determinations from dispersion relations for aμHV P as well as for the Adler function with deviations well below the ten percent level. From this we conclude that the DSE approach should be capable of describing aμLBL with similar accuracy. We also present results for LBL using a resonance expansion of the quark-anti-quark T-matrix. Our preliminary value is aμLBL=(217±91)×10-11.

The gravitational Schwinger effect and attenuation of gravitational waves

Science.gov (United States)

McDougall, Patrick Guarneri

This paper will discuss the possible production of photons from gravitational waves. This process is shown to be possible by examining Feynman diagrams, the Schwinger Effect, and Hawking Radiation. The end goal of this project is to find the decay length of a gravitational wave and assert that this decay is due to photons being created at the expense of the gravitational wave. To do this, we first find the state function using the Klein Gordon equation, then find the current due to this state function. We then take the current to be directly proportional to the production rate per volume. This is then used to find the decay length that this kind of production would produce, gives a prediction of how this effect will change the distance an event creating a gravitational wave will be located, and shows that this effect is small but can be significant near the source of a gravitational wave.

Lattice Hamiltonian approach to the Schwinger model. Further results from the strong coupling expansion

International Nuclear Information System (INIS)

Szyniszewski, Marcin; Manchester Univ.; Cichy, Krzysztof; Poznan Univ.; Kujawa-Cichy, Agnieszka

2014-10-01

We employ exact diagonalization with strong coupling expansion to the massless and massive Schwinger model. New results are presented for the ground state energy and scalar mass gap in the massless model, which improve the precision to nearly 10 -9 %. We also investigate the chiral condensate and compare our calculations to previous results available in the literature. Oscillations of the chiral condensate which are present while increasing the expansion order are also studied and are shown to be directly linked to the presence of flux loops in the system.

Application and development of the Schwinger multichannel scattering theory and the partial differential equation theory of electron-molecule scattering

Science.gov (United States)

Weatherford, Charles A.

1993-01-01

One version of the multichannel theory for electron-target scattering based on the Schwinger variational principle, the SMC method, requires the introduction of a projection parameter. The role of the projection parameter a is investigated and it is shown that the principal-value operator in the SMC equation is Hermitian regardless of the value of a as long as it is real and nonzero. In a basis that is properly orthonormalizable, the matrix representation of this operator is also Hermitian. The use of such basis is consistent with the Schwinger variational principle because the Lippmann-Schwinger equation automatically builds in the correct boundary conditions. Otherwise, an auxiliary condition needs to be introduced, and Takatsuka and McKoy's original value of a is one of the three possible ways to achieve Hermiticity. In all cases but one, a can be uncoupled from the Hermiticity condition and becomes a free parameter. An equation for a based on the variational stability of the scattering amplitude is derived; its solution has an interesting property that the scattering amplitude from a converged SMC calculation is independent of the choice of a even though the SMC operator itself is a-dependent. This property provides a sensitive test of the convergence of the calculation. For a static-exchange calculation, the convergence requirement only depends on the completeness of the one-electron basis, but for a general multichannel case, the a-invariance in the scattering amplitude requires both the one-electron basis and the N plus 1-electron basis to be complete. The role of a in the SMC equation and the convergence property are illustrated using two examples: e-CO elastic scattering in the static-exchange approximation, and a two-state treatment of the e-H2 Chi(sup 1)Sigma(sub g)(+) yields b(sup 3)Sigma(sub u)(+) excitation.

Resurgent transseries & Dyson–Schwinger equations

Energy Technology Data Exchange (ETDEWEB)

Klaczynski, Lutz, E-mail: klacz@mathematik.hu-berlin.de

2016-09-15

We employ resurgent transseries as algebraic tools to investigate two self-consistent Dyson–Schwinger equations, one in Yukawa theory and one in quantum electrodynamics. After a brief but pedagogical review, we derive fixed point equations for the associated anomalous dimensions and insert a moderately generic log-free transseries ansatz to study the possible strictures imposed. While proceeding in various stages, we develop an algebraic method to keep track of the transseries’ coefficients. We explore what conditions must be violated in order to stay clear of fixed point theorems to eschew a unique solution, if so desired, as we explain. An interesting finding is that the flow of data between the different sectors of the transseries shows a pattern typical of resurgence, i.e. the phenomenon that the perturbative sector of the transseries talks to the nonperturbative ones in a one-way fashion. However, our ansatz is not exotic enough as it leads to trivial solutions with vanishing nonperturbative sectors, even when logarithmic monomials are included. We see our result as a harbinger of what future work might reveal about the transseries representations of observables in fully renormalised four-dimensional quantum field theories and adduce a tentative yet to our mind weighty argument as to why one should not expect otherwise. This paper is considerably self-contained. Readers with little prior knowledge are let in on the basic reasons why perturbative series in quantum field theory eventually require an upgrade to transseries. Furthermore, in order to acquaint the reader with the language utilised extensively in this work, we also provide a concise mathematical introduction to grid-based transseries.

Resurgent transseries & Dyson-Schwinger equations

Science.gov (United States)

Klaczynski, Lutz

2016-09-01

We employ resurgent transseries as algebraic tools to investigate two self-consistent Dyson-Schwinger equations, one in Yukawa theory and one in quantum electrodynamics. After a brief but pedagogical review, we derive fixed point equations for the associated anomalous dimensions and insert a moderately generic log-free transseries ansatz to study the possible strictures imposed. While proceeding in various stages, we develop an algebraic method to keep track of the transseries' coefficients. We explore what conditions must be violated in order to stay clear of fixed point theorems to eschew a unique solution, if so desired, as we explain. An interesting finding is that the flow of data between the different sectors of the transseries shows a pattern typical of resurgence, i.e. the phenomenon that the perturbative sector of the transseries talks to the nonperturbative ones in a one-way fashion. However, our ansatz is not exotic enough as it leads to trivial solutions with vanishing nonperturbative sectors, even when logarithmic monomials are included. We see our result as a harbinger of what future work might reveal about the transseries representations of observables in fully renormalised four-dimensional quantum field theories and adduce a tentative yet to our mind weighty argument as to why one should not expect otherwise. This paper is considerably self-contained. Readers with little prior knowledge are let in on the basic reasons why perturbative series in quantum field theory eventually require an upgrade to transseries. Furthermore, in order to acquaint the reader with the language utilised extensively in this work, we also provide a concise mathematical introduction to grid-based transseries.

Infrared behaviour, sources and the Schwinger action principle

International Nuclear Information System (INIS)

Burgess, M.

1994-05-01

An action principle technique is used to explore some issues concerning the infra-red problem in the effective action for gauge field theories. The relationship between the renormalization group and other non-perturbative resummation schemes is demonstrated by means of a source theory. It is shown that the use of vertex renormalization conditions and other resummation methods (large N expansion) can lead to erroneous conclusions about the phase transitions in the gauge theory, since it corresponds to only a partial resummation of the scalar self-energies at the expense of the gauge sector. The renormalization group as well as the ansatz of non-local sources can be derived from an associated operator problem for the field couplings by use of the Schwinger action principle. This method generalizes to curved spacetime and non-equilibrium models in a straightforward way. Some examples are computed to lowest order and the conclusion is drawn that none of the approximation schemes are able to extract true non-perturbative information from field theory. Only results which rely on the particular recursive structure of the perturbation series are accessible and the main purpose of the investigation is to determine legal ways of regulating the theory in the infrared. 35 refs

Hamiltonian approach to the lattice massive Schwinger model

International Nuclear Information System (INIS)

Sidorov, A.V.; Zastavenko, L.G.

1996-01-01

The authors consider the limit e 2 /m 2 much-lt 1 of the lattice massive Schwinger model, i.e., the lattice massive QED in two space-time dimensions, up to lowest order in the effective coupling constant e 2 /m 2 . Here, m is the fermion mass parameter and e is the electron charge. They compare their lattice QED model with the analogous continuous space and lattice space models, (CSM and LSM), which do not take account of the zero momentum mode, z.m.m., of the vector potential. The difference is that (due to extra z.m.m. degree of freedom) to every eigenstate of the CSM and LSM there corresponds a family of eigenstates of the authors lattice QED with the parameter λ. They restrict their consideration to small values of the parameter λ. Then, the energies of the particle states of their lattice QED and LSM do coincide (in their approximation). In the infinite periodicity length limit the Hamiltonian of the authors lattice QED (as well as the Hamiltonian of the LSM) possesses two different Hilbert spaces of eigenfunctions. Thus, in this limit the authors lattice QED model (as well as LSM) describes something like two connected, but different, worlds

Off-diagonal coefficients of the DeWitt-Schwinger and Hadamard representations of the Feynman propagator

International Nuclear Information System (INIS)

Decanini, Yves; Folacci, Antoine

2006-01-01

Having in mind applications to gravitational wave theory (in connection with the radiation reaction problem), stochastic semiclassical gravity (in connection with the regularization of the noise kernel) and quantum field theory in higher-dimensional curved spacetime (in connection with the Hadamard regularization of the stress-energy tensor), we improve the DeWitt-Schwinger and Hadamard representations of the Feynman propagator of a massive scalar field theory defined on an arbitrary gravitational background by deriving higher-order terms for the covariant Taylor series expansions of the geometrical coefficients--i.e., the DeWitt and Hadamard coefficients--that define them

Multiplicative renormalizability and self-consistent treatments of the Schwinger-Dyson equations

International Nuclear Information System (INIS)

Brown, N.; Dorey, N.

1989-11-01

Many approximations to the Schwinger-Dyson equations place constraints on the renormalization constants of a theory. The requirement that the solutions to the equations be multiplicatively renormalizable also places constraints on these constants. Demanding that these two sets of constraints be compatible is an important test of the self-consistency of the approximations made. We illustrate this idea by considering the equation for the fermion propagator in massless quenched quantum electrodynamics, (QED), checking the consistency of various approximations. In particular, we show that the much used 'ladder' approximation is self-consistent, provided that the coupling constant is renormalized in a particular way. We also propose another approximation which satisfies this self-consistency test, but requires that the coupling be unrenormalized, as should be the case in the full quenched approximation. This new approximation admits an exact solution, which also satisfies the renormalization group equation for the quenched approximation. (author)

Gauge-independent bifurcation to the chiral-symmetry-breaking solution of the Dyson-Schwinger equation in continuum QED

International Nuclear Information System (INIS)

Rembiesa, P.

1990-01-01

The Dyson-Schwinger equation for the fermion propagator can be effectively solved in the approximation of the small-momentum-transfer vertex function. There exists a critical value of the coupling constant above which the ordinary infrared-divergent solution for massless quantum electrodynamics bifurcates to another, massive solution. With a proper transverse part included in the vertex function, the bifurcation point is gauge independent, the new solution is finite in all gauges, and does not require momentum cutoffs of any kind

Schwinger mechanism in linear covariant gauges

Science.gov (United States)

Aguilar, A. C.; Binosi, D.; Papavassiliou, J.

2017-02-01

In this work we explore the applicability of a special gluon mass generating mechanism in the context of the linear covariant gauges. In particular, the implementation of the Schwinger mechanism in pure Yang-Mills theories hinges crucially on the inclusion of massless bound-state excitations in the fundamental nonperturbative vertices of the theory. The dynamical formation of such excitations is controlled by a homogeneous linear Bethe-Salpeter equation, whose nontrivial solutions have been studied only in the Landau gauge. Here, the form of this integral equation is derived for general values of the gauge-fixing parameter, under a number of simplifying assumptions that reduce the degree of technical complexity. The kernel of this equation consists of fully dressed gluon propagators, for which recent lattice data are used as input, and of three-gluon vertices dressed by a single form factor, which is modeled by means of certain physically motivated Ansätze. The gauge-dependent terms contributing to this kernel impose considerable restrictions on the infrared behavior of the vertex form factor; specifically, only infrared finite Ansätze are compatible with the existence of nontrivial solutions. When such Ansätze are employed, the numerical study of the integral equation reveals a continuity in the type of solutions as one varies the gauge-fixing parameter, indicating a smooth departure from the Landau gauge. Instead, the logarithmically divergent form factor displaying the characteristic "zero crossing," while perfectly consistent in the Landau gauge, has to undergo a dramatic qualitative transformation away from it, in order to yield acceptable solutions. The possible implications of these results are briefly discussed.

Three-dimensional integral equation approach to light scattering, extinction cross sections, local density of states, and quasi-normal modes

DEFF Research Database (Denmark)

de Lasson, Jakob Rosenkrantz; Mørk, Jesper; Kristensen, Philip Trøst

2013-01-01

We present a numerical formalism for solving the Lippmann–Schwinger equation for the electric field in three dimensions. The formalism may be applied to scatterers of different shapes and embedded in different background media, and we develop it in detail for the specific case of spherical scatte...

Dual simulation of the massless lattice Schwinger model with topological term and non-zero chemical potential

Science.gov (United States)

Göschl, Daniel

2018-03-01

We discuss simulation strategies for the massless lattice Schwinger model with a topological term and finite chemical potential. The simulation is done in a dual representation where the complex action problem is solved and the partition function is a sum over fermion loops, fermion dimers and plaquette-occupation numbers. We explore strategies to update the fermion loops coupled to the gauge degrees of freedom and check our results with conventional simulations (without topological term and at zero chemical potential), as well as with exact summation on small volumes. Some physical implications of the results are discussed.

The convergence radius of the chiral expansion in the Dyson-Schwinger approach

International Nuclear Information System (INIS)

Meissner, T.

1994-01-01

We determine the convergence radius m conv or the expansion in the current quark mass using the Dyson-Schwinger (DS) equation of QCD in the rainbow approximation. Within a Gaussian form for the gluon propagator D μ ν(p) ∼ δμνχ 2 e - Δ /p 2 we find that m conv increases with decreasing width Δ and increasing strength χ 2 . For those values of χ 2 and Δ, which provide the best known description of low energy hadronic phenomena, m conv lies around 2Λ QCD , which is big enough, that the chiral expansion in the strange sector converges. Our analysis also explains the rather low value of m conv ∼ 50...80 MeV in the Nambu-Jona-Lasinio model, which as itself can be regarded as a special case of the rainbow DS models, where the gluon propagator is a constant in momentum space

Low energy elastic scattering of positrons by CO: An application of continued fractions and Schwinger variational iterative methods

Energy Technology Data Exchange (ETDEWEB)

Arretche, F. [Departamento de Fisica, Universidade Federal de Santa Catarina, 88040-900, Florianopolis, Santa Catarina (Brazil)], E-mail: farretche@hotmail.com; Mazon, K.T.; Michelin, S.E. [Departamento de Fisica, Universidade Federal de Santa Catarina, 88040-900, Florianopolis, Santa Catarina (Brazil); Fujimoto, M.M. [Departamento de Fisica, Universidade Federal do Parana, 81531-990, Curitiba, Parana (Brazil); Iga, I.; Lee, M.-T. [Departamento de Quimica, Universidade Federal de Sao Carlos, 13565-905, Sao Paulo (Brazil)

2008-02-15

Iterative Schwinger variational methods and the method of continued fractions, widely used for electron-molecule scattering, are applied for the first time to investigate positron-molecule interactions. Specifically, integral and differential cross sections for elastic positron scattering by CO in the (0.5-20) eV energy range are calculated and reported. In our calculation, a static plus correlation-polarization potential is used to represent the collisional dynamics. Our calculated results are in general agreement with the theoretical and experimental data available in the literature.

J{sub 1x}-J{sub 1y}-J{sub 2} square-lattice anisotropic Heisenberg model

Energy Technology Data Exchange (ETDEWEB)

Pires, A.S.T., E-mail: antpires@frisica.ufmg.br

2017-08-01

Highlights: • We use the SU(3) Schwinger boson formalism. • We present the phase diagram at zero temperature. • We calculate the quadrupole structure factor. - Abstract: The spin one Heisenberg model with an easy-plane single-ion anisotropy and spatially anisotropic nearest-neighbor coupling, frustrated by a next-nearest neighbor interaction, is studied at zero temperature using a SU(3) Schwinger boson formalism (sometimes also referred to as flavor wave theory) in a mean field approximation. The local constraint is enforced by introducing a Lagrange multiplier. The enlarged Hilbert space of S = 1 spins lead to a nematic phase that is ubiquitous to S = 1 spins with single ion anisotropy. The phase diagram shows two magnetically ordered phase, separated by a quantum paramagnetic (nematic) phase.

Phase structure of hot and/or dense QCD with the Schwinger-Dyson equation

Energy Technology Data Exchange (ETDEWEB)

Takagi, Satoshi [Nagoya Univ., Nagoya, Aichi (Japan)

2002-09-01

We investigate the phase structure of the hot and/or dense QCD using the Schwinger-Dyson equation (SDE) with the improved ladder approximation in the Landau gauge. We solve the coupled SDE for the Majorana masses of the quark and antiquark (separately from the SDE for the Dirac mass) in the finite temperature and/or chemical potential region. The resultant phase structure is rather different from those by other analyses. In addition to this analysis we investigate the phase structure with the different two types of the SDE, in one of which the Majorana mass gap of the antiquark is neglected, while in the other of which the Majorana mass gap of the quark and that of the antiquark are set to be equal. The effect of the Debye mass of the gluon on the phase structure is also investigated. (author)

Schwinger-Dyson loop equations as the w1+∞-like constraints for hermitian multi-matrix chain model at finite N

International Nuclear Information System (INIS)

Cheng, Yi-Xin

1992-01-01

The Schwinger-Dyson loop equations for the hermitian multi-matrix chain models at finite N, are derived from the Ward identities of the partition functional under the infinitesimal field transformations. The constraint operators W n (m) satisfy the w 1+∞ -like algebra up to a linear combination of the lower spin operators. We find that the all the higher spin constraints are reducible to the Virasoro-type constraints for all the matrix chain models. (author)

Prospects of 'Topologically unquenched QCD' from a study of the analogous importance sampling method in the massive Schwinger model

International Nuclear Information System (INIS)

Duerr, S.

2000-01-01

I give a quick summary of my proposal for simulating an improvement on quenched QCD with dynamical fermions which interact with the gluon configuration only via the topological index of the latter. It amounts to include only the topological part of the functional determinant into the measure, thereby absorbing a correction factor into the observable. I discuss the prospects of this concept from a study in the massive N f- flavour Schwinger model, where the correction factor is indeed found to be of order 0(1)

Quantum symplectic geometry. 1. The matrix Hamiltonian formalism

International Nuclear Information System (INIS)

Djemai, A.E.F.

1994-07-01

The main purpose of this work is to describe the quantum analogue of the usual classical symplectic geometry and then to formulate the quantum mechanics as a (quantum) non-commutative symplectic geometry. In this first part, we define the quantum symplectic structure in the context of the matrix differential geometry by using the discrete Weyl-Schwinger realization of the Heisenberg group. We also discuss the continuous limit and give an expression of the quantum structure constants. (author). 42 refs

Dyson-Schwinger equations for the non-linear σ-model

International Nuclear Information System (INIS)

Drouffe, J.M.; Flyvbjerg, H.

1989-08-01

Dyson-Schwinger equations for the O(N)-symmetric non-linear σ-model are derived. They are polynomials in N, hence 1/N-expanded ab initio. A finite, closed set of equations is obtained by keeping only the leading term and the first correction term in this 1/N-series. These equations are solved numerically in two dimensions on square lattices measuring 50x50, 100x100, 200x200, and 400x400. They are also solved analytically at strong coupling and at weak coupling in a finite volume. In these two limits the solution is asymptotically identical to the exact strong- and weak-coupling series through the first three terms. Between these two limits, results for the magnetic susceptibility and the mass gap are identical to the Monte Carlo results available for N=3 and N=4 within a uniform systematic error of O(1/N 3 ), i.e. the results seem good to O(1/N 2 ), though obtained from equations that are exact only to O(1/N). This is understood by seeing the results as summed infinite subseries of the 1/N-series for the exact susceptibility and mass gap. We conclude that the kind of 1/N-expansion presented here converges as well as one might ever hope for, even for N as small as 3. (orig.)

Coupled Dyson-Schwinger equations and effects of self-consistency

International Nuclear Information System (INIS)

Wu, S.S.; Zhang, H.X.; Yao, Y.J.

2001-01-01

Using the σ-ω model as an effective tool, the effects of self-consistency are studied in some detail. A coupled set of Dyson-Schwinger equations for the renormalized baryon and meson propagators in the σ-ω model is solved self-consistently according to the dressed Hartree-Fock scheme, where the hadron propagators in both the baryon and meson self-energies are required to also satisfy this coupled set of equations. It is found that the self-consistency affects the baryon spectral function noticeably, if only the interaction with σ mesons is considered. However, there is a cancellation between the effects due to the σ and ω mesons and the additional contribution of ω mesons makes the above effect insignificant. In both the σ and σ-ω cases the effects of self-consistency on meson spectral function are perceptible, but they can nevertheless be taken account of without a self-consistent calculation. Our study indicates that to include the meson propagators in the self-consistency requirement is unnecessary and one can stop at an early step of an iteration procedure to obtain a good approximation to the fully self-consistent results of all the hadron propagators in the model, if an appropriate initial input is chosen. Vertex corrections and their effects on ghost poles are also studied

Berezinskii-Kosterlitz-Thouless transition in lattice Schwinger model with one flavor of Wilson fermion

Science.gov (United States)

Shimizu, Yuya; Kuramashi, Yoshinobu

2018-02-01

We have made a detailed study of the phase structure for the lattice Schwinger model with one flavor of Wilson fermion on the (m ,g ) plane. For numerical investigation, we develop a decorated tensor renormalization method for lattice gauge theories with fermions incorporating the Grassmann tensor renormalization. Our algorithm manifestly preserves rotation and reflection symmetries. We find not only a parity-broken phase but also a Berezinskii-Kosterlitz-Thouless (BKT) transition by evaluating the central charge and an expectation value of a projection operator into the parity-odd subspace. The BKT phase boundaries converge into the degenerated doubler pole (m ,g )=(-2 ,0 ), while the parity-breaking transition line ends at the physical pole (m ,g )=(0 ,0 ). In addition, our analysis of scaling dimensions indicates that a conformal field theory with SU(2) symmetry arises on the line of m =-2 .

A bijection for tri-cellular maps

DEFF Research Database (Denmark)

Han, Hillary Siwei; Reidys, Christian

2013-01-01

In this paper we give a bijective proof for a relation between unicellular, bicellular and tricellular maps. These maps represent cell-complexes of orientable surfaces having one, two or three boundary components. The relation can formally be obtained using matrix theory \\cite{Dyson} employing...... the Schwinger-Dyson equation \\cite{Schwinger}. In this paper we present a bijective proof of the corresponding coefficient equation. Our result is a bijection that transforms a unicellular map of genus $g$ into unicellular, bicellular or tricellular maps of strictly lower genera. The bijection employs edge...

Leading-order calculation of hadronic contributions to the Muon g-2 using the Dyson-Schwinger approach

Science.gov (United States)

Goecke, Tobias; Fischer, Christian S.; Williams, Richard

2011-10-01

We present a calculation of the hadronic vacuum polarisation (HVP) tensor within the framework of Dyson-Schwinger equations. To this end we use a well-established phenomenological model for the quark-gluon interaction with parameters fixed to reproduce hadronic observables. From the HVP tensor we compute both the Adler function and the HVP contribution to the anomalous magnetic moment of the muon, aμ. We find aμHVP = 6760 ×10-11 which deviates about two percent from the value extracted from experiment. Additionally, we make comparison with a recent lattice determination of aμHVP and find good agreement within our approach. We also discuss the implications of our result for a corresponding calculation of the hadronic light-by-light scattering contribution to aμ.

Leading-order calculation of hadronic contributions to the Muon g-2 using the Dyson-Schwinger approach

International Nuclear Information System (INIS)

Goecke, Tobias; Fischer, Christian S.; Williams, Richard

2011-01-01

We present a calculation of the hadronic vacuum polarisation (HVP) tensor within the framework of Dyson-Schwinger equations. To this end we use a well-established phenomenological model for the quark-gluon interaction with parameters fixed to reproduce hadronic observables. From the HVP tensor we compute both the Adler function and the HVP contribution to the anomalous magnetic moment of the muon, a μ . We find a μ HVP =6760x10 -11 which deviates about two percent from the value extracted from experiment. Additionally, we make comparison with a recent lattice determination of a μ HVP and find good agreement within our approach. We also discuss the implications of our result for a corresponding calculation of the hadronic light-by-light scattering contribution to a μ .

Formal matrices

CERN Document Server

Krylov, Piotr

2017-01-01

This monograph is a comprehensive account of formal matrices, examining homological properties of modules over formal matrix rings and summarising the interplay between Morita contexts and K theory. While various special types of formal matrix rings have been studied for a long time from several points of view and appear in various textbooks, for instance to examine equivalences of module categories and to illustrate rings with one-sided non-symmetric properties, this particular class of rings has, so far, not been treated systematically. Exploring formal matrix rings of order 2 and introducing the notion of the determinant of a formal matrix over a commutative ring, this monograph further covers the Grothendieck and Whitehead groups of rings. Graduate students and researchers interested in ring theory, module theory and operator algebras will find this book particularly valuable. Containing numerous examples, Formal Matrices is a largely self-contained and accessible introduction to the topic, assuming a sol...

Spinor formalism and complex-vector formalism of general relativity

International Nuclear Information System (INIS)

Han-ying, G.; Yong-shi, W.; Gendao, L.

1974-01-01

In this paper, using E. Cartan's exterior calculus, we give the spinor form of the structure equations, which leads naturally to the Newman--Penrose equations. Furthermore, starting from the spinor spaces and the el (2C) algebra, we construct the general complex-vector formalism of general relativity. We find that both the Cahen--Debever--Defrise complex-vector formalism and that of Brans are its special cases. Thus, the spinor formalism and the complex-vector formalism of general relativity are unified on the basis of the uni-modular group SL(2C) and its Lie algebra

Leading-order calculation of hadronic contributions to the Muon g-2 using the Dyson-Schwinger approach

Energy Technology Data Exchange (ETDEWEB)

Goecke, Tobias [Institut fuer Theoretische Physik, Universitaet Giessen, 35392 Giessen (Germany); Fischer, Christian S., E-mail: christian.fischer@theo.physik.uni-giessen.de [Institut fuer Theoretische Physik, Universitaet Giessen, 35392 Giessen (Germany); Gesellschaft fuer Schwerionenforschung mbH, Planckstr. 1, D-64291 Darmstadt (Germany); Williams, Richard [Dept. Fisica Teorica I, Universidad Complutense, 28040 Madrid (Spain)

2011-10-13

We present a calculation of the hadronic vacuum polarisation (HVP) tensor within the framework of Dyson-Schwinger equations. To this end we use a well-established phenomenological model for the quark-gluon interaction with parameters fixed to reproduce hadronic observables. From the HVP tensor we compute both the Adler function and the HVP contribution to the anomalous magnetic moment of the muon, a{sub {mu}}. We find a{sub {mu}}{sup HVP}=6760x10{sup -11} which deviates about two percent from the value extracted from experiment. Additionally, we make comparison with a recent lattice determination of a{sub {mu}}{sup HVP} and find good agreement within our approach. We also discuss the implications of our result for a corresponding calculation of the hadronic light-by-light scattering contribution to a{sub {mu}.}

SBME : Exploring boundaries between formal, non-formal, and informal learning

OpenAIRE

Shahoumian, Armineh; Parchoma, Gale; Saunders, Murray; Hanson, Jacky; Dickinson, Mike; Pimblett, Mark

2013-01-01

In medical education learning extends beyond university settings into practice. Non-formal and informal learning support learners’ efforts to meet externally set and learner-identified objectives. In SBME research, boundaries between formal, non-formal, and informal learning have not been widely explored. Whether SBME fits within or challenges these categories can make a contribution. Formal learning is described in relation to educational settings, planning, assessment, and accreditation. In...

How to use the cosmological Schwinger principle for energy flux, entropy, and 'atoms of space-time' to create a thermodynamic space-time and multiverse

International Nuclear Information System (INIS)

Beckwith, Andrew

2011-01-01

We make explicit an idea by Padmanabhan in DICE 2010, as to finding 'atoms of space-time' permitting a thermodynamic treatment of emergent structure similar to Gibbs treatment of statistical physics. That is, an ensemble of gravitons is used to give an 'atom' of space-time congruent with relic GW. The idea is to reduce the number of independent variables to get a simple emergent space-time structure of entropy. An electric field, based upon the cosmological Schwinger principle, is linked to relic heat flux, with entropy production tied in with candidates as to inflaton potentials. The effective electric field links with the Schwinger 1951s result of an E field leading to pairs of e + e - charges nucleated in space-time volume V · t. Note that in most inflationary models, the assumption is for a magnetic field, not an electric field. An electric field permits a kink-anti-kink construction of an emergent structure, which includes Glinka's recent pioneering approach to a Multiverse. Also an E field allows for an emergent relic particle frequency range between one and 100 GHz. The novel contribution is a relic E field, instead of a B field, in relic space-time 'atom' formation and vacuum nucleation of the same.

Relativistic three-dimensional Lippmann-Schwinger cross sections for space radiation applications

Science.gov (United States)

Werneth, C. M.; Xu, X.; Norman, R. B.; Maung, K. M.

2017-12-01

Radiation transport codes require accurate nuclear cross sections to compute particle fluences inside shielding materials. The Tripathi semi-empirical reaction cross section, which includes over 60 parameters tuned to nucleon-nucleus (NA) and nucleus-nucleus (AA) data, has been used in many of the world's best-known transport codes. Although this parameterization fits well to reaction cross section data, the predictive capability of any parameterization is questionable when it is used beyond the range of the data to which it was tuned. Using uncertainty analysis, it is shown that a relativistic three-dimensional Lippmann-Schwinger (LS3D) equation model based on Multiple Scattering Theory (MST) that uses 5 parameterizations-3 fundamental parameterizations to nucleon-nucleon (NN) data and 2 nuclear charge density parameterizations-predicts NA and AA reaction cross sections as well as the Tripathi cross section parameterization for reactions in which the kinetic energy of the projectile in the laboratory frame (TLab) is greater than 220 MeV/n. The relativistic LS3D model has the additional advantage of being able to predict highly accurate total and elastic cross sections. Consequently, it is recommended that the relativistic LS3D model be used for space radiation applications in which TLab > 220MeV /n .

Wilsonian Renormalization Group and the Lippmann-Schwinger Equation with a Multitude of Cutoff Parameters

Science.gov (United States)

Epelbaum, E.; Gegelia, J.; Meißner, Ulf-G.

2018-03-01

The Wilsonian renormalization group approach to the Lippmann-Schwinger equation with a multitude of cutoff parameters is introduced. A system of integro-differential equations for the cutoff-dependent potential is obtained. As an illustration, a perturbative solution of these equations with two cutoff parameters for a simple case of an S-wave low-energy potential in the form of a Taylor series in momenta is obtained. The relevance of the obtained results for the effective field theory approach to nucleon-nucleon scattering is discussed. Supported in part by BMBF under Grant No. 05P2015 - NUSTAR R&D), DFG and NSFC through Funds Provided to the Sino- German CRC 110 “Symmetries and the Emergence of Structure in QCD”, National Natural Science Foundation of China under Grant No. 11621131001, DFG Grant No. TRR110, the Georgian Shota Rustaveli National Science Foundation (grant FR/417/6-100/14) and the CAS President’s International Fellowship Initiative (PIFI) under Grant No. 2017VMA0025

Formalization of Database Systems -- and a Formal Definition of {IMS}

DEFF Research Database (Denmark)

Bjørner, Dines; Løvengreen, Hans Henrik

1982-01-01

Drawing upon an analogy between Programming Language Systems and Database Systems we outline the requirements that architectural specifications of database systems must futfitl, and argue that only formal, mathematical definitions may 6atisfy these. Then we illustrate home aspects and touch upon...... come ueee of formal definitions of data models and databaee management systems. A formal model of INS will carry this discussion. Finally we survey some of the exkting literature on formal definitions of database systems. The emphasis will be on constructive definitions in the denotationul semantics...... style of the VCM: Vienna Development Nethd. The role of formal definitions in international standardiaation efforts is briefly mentioned....

SELF-EFFICACY OF FORMALLY AND NON-FORMALLY TRAINED PUBLIC SECTOR TEACHERS

Directory of Open Access Journals (Sweden)

Muhammad Nadeem ANWAR

2009-07-01

Full Text Available The main objective of the study was to compare the formally and non-formally trained in-service public sector teachers’ Self-efficacy. Five hypotheses were developed describing no difference in the self-efficacy of formally and non-formally trained teachers to influence decision making, influence school resources, instructional self-efficacy, disciplinary self-efficacy and create positive school climate. Teacher Efficacy Instrument (TSES developed by Bandura (2001 consisting of thirty 9-point items was used in the study. 342 formally trained and 255 non-formally trained respondents’ questionnaires were received out of 1500 mailed. The analysis of data revealed that the formally trained public sector teachers are high in their self-efficacy on all the five categories: to influence decision making, to influence school resources, instructional self-efficacy, disciplinary self-efficacy and self-efficacy to create positive school climate.

Masses of Formal Philosophy

DEFF Research Database (Denmark)

Masses of Formal Philosophy is an outgrowth of Formal Philosophy. That book gathered the responses of some of the most prominent formal philosophers to five relatively open and broad questions initiating a discussion of metaphilosophical themes and problems surrounding the use of formal methods i...... in philosophy. Including contributions from a wide range of philosophers, Masses of Formal Philosophy contains important new responses to the original five questions.......Masses of Formal Philosophy is an outgrowth of Formal Philosophy. That book gathered the responses of some of the most prominent formal philosophers to five relatively open and broad questions initiating a discussion of metaphilosophical themes and problems surrounding the use of formal methods...

Alien calculus and a Schwinger-Dyson equation: two-point function with a nonperturbative mass scale

Science.gov (United States)

Bellon, Marc P.; Clavier, Pierre J.

2018-02-01

Starting from the Schwinger-Dyson equation and the renormalization group equation for the massless Wess-Zumino model, we compute the dominant nonperturbative contributions to the anomalous dimension of the theory, which are related by alien calculus to singularities of the Borel transform on integer points. The sum of these dominant contributions has an analytic expression. When applied to the two-point function, this analysis gives a tame evolution in the deep euclidean domain at this approximation level, making doubtful the arguments on the triviality of the quantum field theory with positive β -function. On the other side, we have a singularity of the propagator for timelike momenta of the order of the renormalization group invariant scale of the theory, which has a nonperturbative relationship with the renormalization point of the theory. All these results do not seem to have an interpretation in terms of semiclassical analysis of a Feynman path integral.

A relation between the Barbero-Immirzi parameter and the standard model

Energy Technology Data Exchange (ETDEWEB)

Broda, Boguslaw, E-mail: bobroda@uni.lodz.p [Department of Theoretical Physics, University of Lodz, Pomorska 149/153, PL-90-236 Lodz (Poland); Szanecki, Michal, E-mail: michalszanecki@wp.p [Department of Theoretical Physics, University of Lodz, Pomorska 149/153, PL-90-236 Lodz (Poland)

2010-06-07

It has been shown that Sakharov's induced, from the fields entering the standard model, Barbero-Immirzi parameter {gamma} assumes, in the framework of Euclidean formalism, the UV cutoff-independent value, 1/9. The calculus uses the Schwinger's proper-time formalism, the Seeley-DeWitt heat-kernel expansion, and it is akin to the derivation of the ABJ chiral anomaly in space-time with torsion.

Excitation functions of parameters in Erlang distribution, Schwinger mechanism, and Tsallis statistics in RHIC BES program

International Nuclear Information System (INIS)

Gao, Li-Na; Liu, Fu-Hu; Lacey, Roy A.

2016-01-01

Experimental results of the transverse-momentum distributions of φ mesons and Ω hyperons produced in gold-gold (Au-Au) collisions with different centrality intervals, measured by the STAR Collaboration at different energies (7.7, 11.5, 19.6, 27, and 39 GeV) in the beam energy scan (BES) program at the relativistic heavy-ion collider (RHIC), are approximately described by the single Erlang distribution and the two-component Schwinger mechanism. Moreover, the STAR experimental transverse-momentum distributions of negatively charged particles, produced in Au-Au collisions at RHIC BES energies, are approximately described by the two-component Erlang distribution and the single Tsallis statistics. The excitation functions of free parameters are obtained from the fit to the experimental data. A weak softest point in the string tension in Ω hyperon spectra is observed at 7.7 GeV. (orig.)

Formalizing Informal Logic

Directory of Open Access Journals (Sweden)

Douglas Walton

2015-12-01

Full Text Available This paper presents a formalization of informal logic using the Carneades Argumentation System (CAS, a formal, computational model of argument that consists of a formal model of argument graphs and audiences. Conflicts between pro and con arguments are resolved using proof standards, such as preponderance of the evidence. CAS also formalizes argumentation schemes. Schemes can be used to check whether a given argument instantiates the types of argument deemed normatively appropriate for the type of dialogue.

Realization of Massive Relativistic Spin- 3 / 2 Rarita-Schwinger Quasiparticle in Condensed Matter Systems

Science.gov (United States)

Tang, Feng; Luo, Xi; Du, Yongping; Yu, Yue; Wan, Xiangang

Very recently, there has been significant progress in realizing high-energy particles in condensed matter system (CMS) such as the Dirac, Weyl and Majorana fermions. Besides the spin-1/2 particles, the spin-3/2 elementary particle, known as the Rarita-Schwinger (RS) fermion, has not been observed or simulated in the laboratory. The main obstacle of realizing RS fermion in CMS lies in the nontrivial constraints that eliminate the redundant degrees of freedom in its representation of the Poincaré group. In this Letter, we propose a generic method that automatically contains the constraints in the Hamiltonian and prove the RS modes always exist and can be separated from the other non-RS bands. Through symmetry considerations, we show that the two dimensional (2D) massive RS (M-RS) quasiparticle can emerge in several trigonal and hexagonal lattices. Based on ab initio calculations, we predict that the thin film of CaLiX (X=Ge and Si) may host 2D M-RS excitations near the Fermi level. and Collaborative Innovation Center of Advanced Microstructures, Nanjing 210093, China.

Quantum Simulation of a Lattice Schwinger Model in a Chain of Trapped Ions

Directory of Open Access Journals (Sweden)

P. Hauke

2013-11-01

Full Text Available We discuss how a lattice Schwinger model can be realized in a linear ion trap, allowing a detailed study of the physics of Abelian lattice gauge theories related to one-dimensional quantum electrodynamics. Relying on the rich quantum-simulation toolbox available in state-of-the-art trapped-ion experiments, we show how one can engineer an effectively gauge-invariant dynamics by imposing energetic constraints, provided by strong Ising-like interactions. Applying exact diagonalization to ground-state and time-dependent properties, we study the underlying microscopic model and discuss undesired interaction terms and other imperfections. As our analysis shows, the proposed scheme allows for the observation in realistic setups of spontaneous parity- and charge-symmetry breaking, as well as false-vacuum decay. Besides an implementation aimed at larger ion chains, we also discuss a minimal setting, consisting of only four ions in a simpler experimental setup, which enables us to probe basic physical phenomena related to the full many-body problem. The proposal opens a new route for analog quantum simulation of high-energy and condensed-matter models where gauge symmetries play a prominent role.

On Schwinger mechanism for gluon pair production in the presence of arbitrary time dependent chromo-electric field

Energy Technology Data Exchange (ETDEWEB)

Gavrilov, S.P. [Herzen State Pedagogical University of Russia, Department of General and Experimental Physics, St. Petersburg (Russian Federation); Gitman, D.M. [University of Sao Paulo, Institute of Physics, CP 66318, Sao Paulo, SP (Brazil)

2009-11-15

Recently the paper ''Schwinger mechanism for gluon pair production in the presence of arbitrary time dependent chromo-electric field'' by G. C. Nayak was published [Eur. Phys. J. C. 59: 715, 2009; arXiv: 0708.2439]. Its aim is to obtain an exact expression for the probability of non-perturbative gluon pair production per unit time per unit volume and per unit transverse momentum in an arbitrary time-dependent chromo-electric background field. We believe that the obtained expression is open to question. We demonstrate its inconsistency on some well-known examples. We think that this is a consequence of using the so-called ''shift theorem'' [arXiv: hep-th/0609192 ] in deriving the expression for the probability. We make some critical comments on the theorem and its applicability to the problem in question. (orig.)

Quantum Scalar Corrections to the Gravitational Potentials on de Sitter Background

NARCIS (Netherlands)

Park, Sohyun; Prokopec, Tomislav; Woodard, R. P.

We employ the graviton self-energy induced by a massless, minimally coupled (MMC) scalar on de Sitter background to compute the quantum corrections to the gravitational potentials of a static point particle with a mass $M$. The Schwinger-Keldysh formalism is used to derive real and causal effective

Formality in Brackets

DEFF Research Database (Denmark)

Garsten, Christina; Nyqvist, Anette

Ethnographic work in formal organizations involves learning to recognize the many layers of front stage and back stage of organized life, and to bracket formality. It means to be alert to the fact that what is formal and front stage for one some actors, and in some situations, may in fact be back...... stage and informal for others. Walking the talk, donning the appropriate attire, wearing the proper suit, may be part of what is takes to figure out the code of formal organizational settings – an entrance ticket to the backstage, as it were. Oftentimes, it involves a degree of mimicry, of ‘following...... suits’ (Nyqvist 2013), and of doing ‘ethnography by failure’ (Garsten 2013). In this paper, we explore the layers of informality and formality in our fieldwork experiences among financial investors and policy experts, and discuss how to ethnographically represent embodied fieldwork practices. How do we...

Software Formal Inspections Guidebook

Science.gov (United States)

1993-01-01

The Software Formal Inspections Guidebook is designed to support the inspection process of software developed by and for NASA. This document provides information on how to implement a recommended and proven method for conducting formal inspections of NASA software. This Guidebook is a companion document to NASA Standard 2202-93, Software Formal Inspections Standard, approved April 1993, which provides the rules, procedures, and specific requirements for conducting software formal inspections. Application of the Formal Inspections Standard is optional to NASA program or project management. In cases where program or project management decide to use the formal inspections method, this Guidebook provides additional information on how to establish and implement the process. The goal of the formal inspections process as documented in the above-mentioned Standard and this Guidebook is to provide a framework and model for an inspection process that will enable the detection and elimination of defects as early as possible in the software life cycle. An ancillary aspect of the formal inspection process incorporates the collection and analysis of inspection data to effect continual improvement in the inspection process and the quality of the software subjected to the process.

Confinement, Chiral Symmetry Breaking and it's Restoration using Dual QCD Formalism

Directory of Open Access Journals (Sweden)

Punetha Garima

2018-01-01

Full Text Available Utilizing the dual QCD model in term of magnetic symmetry structure of non- Abelian gauge theories, the dynamical chiral-symmetry breaking using Schwinger-Dyson equation has been investigated. A close relation among the color confinement and chiralsymmetry breaking has been observed and demonstrated by computing dynamical parameters. The recovery of the chiral symmetry has also been discussed at finite temperature through the variation of quark mass function and quark condensate which gradually decreases with temperature and vanishes suddenly near the critical temperature.

The multi-flavor Schwinger model with chemical potential. Overcoming the sign problem with matrix product states

International Nuclear Information System (INIS)

Banuls, Mari Carmen; Cirac, J. Ignacio; Kuehn, Stefan; Cichy, Krzysztof

2016-11-01

During recent years there has been an increasing interest in the application of matrix product states, and more generally tensor networks, to lattice gauge theories. This non-perturbative method is sign problem free and has already been successfully used to compute mass spectra, thermal states and phase diagrams, as well as real-time dynamics for Abelian and non-Abelian gauge models. In previous work we showed the suitability of the method to explore the zero-temperature phase structure of the multi-flavor Schwinger model at non-zero chemical potential, a regime where the conventional Monte Carlo approach suffers from the sign problem. Here we extend our numerical study by looking at the spatially resolved chiral condensate in the massless case. We recover spatial oscillations, similar to the theoretical predictions for the single-flavor case, with a chemical potential dependent frequency and an amplitude approximately given by the homogeneous zero density condensate value.

The multi-flavor Schwinger model with chemical potential. Overcoming the sign problem with matrix product states

Energy Technology Data Exchange (ETDEWEB)

Banuls, Mari Carmen; Cirac, J. Ignacio; Kuehn, Stefan [Max-Planck-Institut fuer Quantenoptik (MPQ), Garching (Germany); Cichy, Krzysztof [Frankfurt Univ. (Germany). Inst. fuer Theoretische Physik; Adam Mickiewicz Univ., Poznan (Poland). Faculty of Physics; Jansen, Karl [Deutsches Elektronen-Synchrotron (DESY), Zeuthen (Germany). John von Neumann-Inst. fuer Computing NIC; Saito, Hana [AISIN AW Co., Ltd., Aichi (Japan)

2016-11-15

During recent years there has been an increasing interest in the application of matrix product states, and more generally tensor networks, to lattice gauge theories. This non-perturbative method is sign problem free and has already been successfully used to compute mass spectra, thermal states and phase diagrams, as well as real-time dynamics for Abelian and non-Abelian gauge models. In previous work we showed the suitability of the method to explore the zero-temperature phase structure of the multi-flavor Schwinger model at non-zero chemical potential, a regime where the conventional Monte Carlo approach suffers from the sign problem. Here we extend our numerical study by looking at the spatially resolved chiral condensate in the massless case. We recover spatial oscillations, similar to the theoretical predictions for the single-flavor case, with a chemical potential dependent frequency and an amplitude approximately given by the homogeneous zero density condensate value.

Formal, Non-Formal and Informal Learning in the Sciences

Science.gov (United States)

Ainsworth, Heather L.; Eaton, Sarah Elaine

2010-01-01

This research report investigates the links between formal, non-formal and informal learning and the differences between them. In particular, the report aims to link these notions of learning to the field of sciences and engineering in Canada and the United States, including professional development of adults working in these fields. It offers…

How to use the cosmological Schwinger principle for energy flux, entropy, and 'atoms of space-time' to create a thermodynamic space-time and multiverse

Energy Technology Data Exchange (ETDEWEB)

Beckwith, Andrew, E-mail: beckwith@iibep.org [71 Lakewood court, apt 7, Moriches, New York, 11955 (United States)

2011-07-08

We make explicit an idea by Padmanabhan in DICE 2010, as to finding 'atoms of space-time' permitting a thermodynamic treatment of emergent structure similar to Gibbs treatment of statistical physics. That is, an ensemble of gravitons is used to give an 'atom' of space-time congruent with relic GW. The idea is to reduce the number of independent variables to get a simple emergent space-time structure of entropy. An electric field, based upon the cosmological Schwinger principle, is linked to relic heat flux, with entropy production tied in with candidates as to inflaton potentials. The effective electric field links with the Schwinger 1951s result of an E field leading to pairs of e{sup +}e{sup -} charges nucleated in space-time volume V {center_dot} t. Note that in most inflationary models, the assumption is for a magnetic field, not an electric field. An electric field permits a kink-anti-kink construction of an emergent structure, which includes Glinka's recent pioneering approach to a Multiverse. Also an E field allows for an emergent relic particle frequency range between one and 100 GHz. The novel contribution is a relic E field, instead of a B field, in relic space-time 'atom' formation and vacuum nucleation of the same.

Fear of the Formal

DEFF Research Database (Denmark)

du Gay, Paul; Lopdrup-Hjorth, Thomas

Over recent decades, institutions exhibiting high degrees of formality have come in for severe criticism. From the private to the public sector, and across a whole spectrum of actors spanning from practitioners to academics, formal organization is viewed with increasing doubt and skepticism....... In a “Schumpetarian world” (Teece et al., 1997: 509) of dynamic competition and incessant reform, formal organization appears as well suited to survival as a fish out of water. Indeed, formal organization, and its closely overlapping semantic twin bureaucracy, are not only represented as ill suited to the realities...... is that formal organization is an obstacle to be overcome. For that very reason, critics, intellectuals and reformers alike have urged public and private organizations to break out of the stifling straightjacket of formality, to dispense with bureaucracy, and to tear down hierarchies. This could either be done...

Quantum statistical field theory an introduction to Schwinger's variational method with Green's function nanoapplications, graphene and superconductivity

CERN Document Server

Morgenstern Horing, Norman J

2017-01-01

This book provides an introduction to the methods of coupled quantum statistical field theory and Green's functions. The methods of coupled quantum field theory have played a major role in the extensive development of nonrelativistic quantum many-particle theory and condensed matter physics. This introduction to the subject is intended to facilitate delivery of the material in an easily digestible form to advanced undergraduate physics majors at a relatively early stage of their scientific development. The main mechanism to accomplish this is the early introduction of variational calculus and the Schwinger Action Principle, accompanied by Green's functions. Important achievements of the theory in condensed matter and quantum statistical physics are reviewed in detail to help develop research capability. These include the derivation of coupled field Green's function equations-of-motion for a model electron-hole-phonon system, extensive discussions of retarded, thermodynamic and nonequilibrium Green's functions...

Fulltext PDF

Indian Academy of Sciences (India)

Quantum Mechanics. N Mukunda. The Story of Spin. Sin Itiro Tomonaga. Translated by Takeshi Oka. The University of Chicago Press, 1997. After Hideki Yukawa won the Physics Nobel. Prize in 1949, his class-fellow Sin-Itiro. Tomonaga was the next Japanese theoretical physicist to be so honoured. He shared the.

On the Lippmann--Schwinger equation for atom--diatom collisions: A rotating frame treatment

International Nuclear Information System (INIS)

Kouri, D.J.; Heil, T.G.; Shimoni, Y.

1976-01-01

The use of a rotating frame description of molecular collisions is reconsidered within the framework of the Lippmann--Schwinger equation for the transition or T operator. The present approach explicitly displays the proper boundary conditions which apply to descriptions of such collisions in the rotating frame whose Z axis follows the scattering vector. The resulting body frame equations are shown to lead naturally to the introduction of ''body frame Bessel and Hankel functions,'' J/subJ//subj//sup lambda//sup lambda//sup prime/ and H/subJ//subj//sup lambda//sup lambda//sup prime/ (BFBF), which are solutions of the unperturbed Hamiltonian for the collision transformed to the rotating frame. It is found that the BFBF can be defined in several ways differing by phase factors that affect their asymptotic form. Two particular choices are examined, one of which leads to a simple asymptotic form of the wavefunction, and the other leads to a somewhat more complicated form. Both are shown to yield the j/subz/-conserving coupled states equations of McGuire and Kouri but slightly different approximations are required in the two cases. The implication of these results as to the accuracy of the j/subz/CCS method are discussed

Functional techniques in quantum field theory and two-dimensional models

International Nuclear Information System (INIS)

Souza, C. Farina de.

1985-03-01

Functional methods applied to Quantum Field Theory are studied. It is shown how to construct the Generating Functional using three of the most important methods existent in the literature, due to Feynman, Symanzik and Schwinger. The Axial Anomaly is discussed in the usual way, and a non perturbative method due to Fujikawa to obtain this anomaly in the path integral formalism is presented. The ''Roskies-Shaposnik-Fujikawa's method'', which makes use of Fujikawa's original idea to solve bidimensional models, is introduced in the Schwinger's model, which, in turn, is applied to obtain the exact solution of the axial model. It is discussed briefly how different regularization procedures can affect the theory in question. (author)

Necessity of Integral Formalism

International Nuclear Information System (INIS)

Tao Yong

2011-01-01

To describe the physical reality, there are two ways of constructing the dynamical equation of field, differential formalism and integral formalism. The importance of this fact is firstly emphasized by Yang in case of gauge field [Phys. Rev. Lett. 33 (1974) 445], where the fact has given rise to a deeper understanding for Aharonov-Bohm phase and magnetic monopole [Phys. Rev. D 12 (1975) 3845]. In this paper we shall point out that such a fact also holds in general wave function of matter, it may give rise to a deeper understanding for Berry phase. Most importantly, we shall prove a point that, for general wave function of matter, in the adiabatic limit, there is an intrinsic difference between its integral formalism and differential formalism. It is neglect of this difference that leads to an inconsistency of quantum adiabatic theorem pointed out by Marzlin and Sanders [Phys. Rev. Lett. 93 (2004) 160408]. It has been widely accepted that there is no physical difference of using differential operator or integral operator to construct the dynamical equation of field. Nevertheless, our study shows that the Schrödinger differential equation (i.e., differential formalism for wave function) shall lead to vanishing Berry phase and that the Schrödinger integral equation (i.e., integral formalism for wave function), in the adiabatic limit, can satisfactorily give the Berry phase. Therefore, we reach a conclusion: There are two ways of describing physical reality, differential formalism and integral formalism; but the integral formalism is a unique way of complete description. (general)

Pragmatics for formal semantics

DEFF Research Database (Denmark)

Danvy, Olivier

2011-01-01

This tech talk describes how to write and how to inter-derive formal semantics for sequential programming languages. The progress reported here is (1) concrete guidelines to write each formal semantics to alleviate their proof obligations, and (2) simple calculational tools to obtain a formal...

Industrial use of formal methods formal verification

CERN Document Server

Boulanger, Jean-Louis

2012-01-01

At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the "formal technics" (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based.  The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow

Formal Verification -26 ...

Indian Academy of Sciences (India)

by testing of the components and successful testing leads to the software being ... Formal verification is based on formal methods which are mathematically based ..... scenario under which a similar error could occur. There are various other ...

A Comparison of Participation Patterns in Selected Formal, Non-Formal, and Informal Online Learning Environments

Science.gov (United States)

Schwier, Richard A.; Seaton, J. X.

2013-01-01

Does learner participation vary depending on the learning context? Are there characteristic features of participation evident in formal, non-formal, and informal online learning environments? Six online learning environments were chosen as epitomes of formal, non-formal, and informal learning contexts and compared. Transcripts of online…

Improving Learner Outcomes in Lifelong Education: Formal Pedagogies in Non-Formal Learning Contexts?

Science.gov (United States)

Zepke, Nick; Leach, Linda

2006-01-01

This article explores how far research findings about successful pedagogies in formal post-school education might be used in non-formal learning contexts--settings where learning may not lead to formal qualifications. It does this by examining a learner outcomes model adapted from a synthesis of research into retention. The article first…

Dynamical Symmetry Breaking in RN Quantum Gravity

Directory of Open Access Journals (Sweden)

A. T. Kotvytskiy

2011-01-01

Full Text Available We show that in the RN gravitation model, there is no dynamical symmetry breaking effect in the formalism of the Schwinger-Dyson equation (in flat background space-time. A general formula for the second variation of the gravitational action is obtained from the quantum corrections hμν (in arbitrary background metrics.

Combining Formal, Non-Formal and Informal Learning for Workforce Skill Development

Science.gov (United States)

Misko, Josie

2008-01-01

This literature review, undertaken for Australian Industry Group, shows how multiple variations and combinations of formal, informal and non-formal learning, accompanied by various government incentives and organisational initiatives (including job redesign, cross-skilling, multi-skilling, diversified career pathways, action learning projects,…

Chiral Schwinger model with the Faddeevian regularization in the light-front frame: construction of the gauge-invariant theory through the Stueckelberg term, Hamiltonian and BRST formulations

International Nuclear Information System (INIS)

Kulshreshtha, U.

1998-01-01

A chiral Schwinger model with the Faddeevian regularization a la Mitra is studied in the light-front frame. The front-form theory is found to be gauge-non-invariant. The Hamiltonian formulation of this gauge-non-invariant theory is first investigated and then the Stueckelberg term for this theory is constructed. Finally, the Hamiltonian and BRST formulations of the resulting gauge-invariant theory, obtained by the inclusion of the Stueckelberg term in the action of the above gauge-non-invariant theory, are investigated with some specific gauge choices. (orig.)

Beyond formalism

Science.gov (United States)

Denning, Peter J.

1991-01-01

The ongoing debate over the role of formalism and formal specifications in software features many speakers with diverse positions. Yet, in the end, they share the conviction that the requirements of a software system can be unambiguously specified, that acceptable software is a product demonstrably meeting the specifications, and that the design process can be carried out with little interaction between designers and users once the specification has been agreed to. This conviction is part of a larger paradigm prevalent in American management thinking, which holds that organizations are systems that can be precisely specified and optimized. This paradigm, which traces historically to the works of Frederick Taylor in the early 1900s, is no longer sufficient for organizations and software systems today. In the domain of software, a new paradigm, called user-centered design, overcomes the limitations of pure formalism. Pioneered in Scandinavia, user-centered design is spreading through Europe and is beginning to make its way into the U.S.

Integrated formal operations plan

Energy Technology Data Exchange (ETDEWEB)

Cort, G.; Dearholt, W.; Donahue, S.; Frank, J.; Perkins, B.; Tyler, R.; Wrye, J.

1994-01-05

The concept of formal operations (that is, a collection of business practices to assure effective, accountable operations) has vexed the Laboratory for many years. To date most attempts at developing such programs have been based upon rigid, compliance-based interpretations of a veritable mountain of Department of Energy (DOE) orders, directives, notices, and standards. These DOE dictates seldom take the broad view but focus on highly specialized programs isolated from the overall context of formal operations. The result is a confusing array of specific, and often contradictory, requirements that produce a patchwork of overlapping niche programs. This unnecessary duplication wastes precious resources, dramatically increases the complexity of our work processes, and communicates a sense of confusion to our customers and regulators. Coupled with the artificial divisions that have historically existed among the Laboratory`s formal operations organizations (quality assurance, configuration management, records management, training, etc.), this approach has produced layers of increasingly vague and complex formal operations plans, each of which interprets its parent and adds additional requirements of its own. Organizational gridlock ensues whenever an activity attempts to implement these bureaucratic monstrosities. The integrated formal operations plan presented is to establish a set of requirements that must be met by an integrated formal operations program, assign responsibilities for implementation and operation of the program, and specify criteria against which the performance of the program will be measured. The accountable line manager specifies the items, processes, and information (the controlled elements) to which the formal operations program specified applies. The formal operations program is implemented using a graded approach based on the level of importance of the various controlled elements and the scope of the activities in which they are involved.

Phase diagram of two-color QCD in a Dyson-Schwinger approach

Energy Technology Data Exchange (ETDEWEB)

Buescher, Pascal Joachim

2014-04-28

We investigate two-color QCD with N{sub f}=2 at finite temperatures and chemical potentials using a Dyson-Schwinger approach. We employ two different truncations for the quark loop in the gluon DSE: one based on the Hard-Dense/Hard-Thermal Loop (HDTL) approximation of the quark loop and one based on the back-coupling of the full, self-consistent quark propagator (SCQL). We compare results for the different truncations with each other as well as with other approaches. As expected, we find a phase dominated by the condensation of quark-quark pairs. This diquark condensation phase overshadows the critical end point and first-order phase transition which one finds if diquark condensation is neglected. The phase transition from the phase without diquark condensation to the diquark-condensation phase is of second order. We observe that the dressing with massless quarks in the HDTL approximation leads to a significant violation of the Silver Blaze property and to a too small diquark condensate. The SCQL truncation, on the other hand, is found to reproduce all expected features of the μ-dependent quark condensates. Moreover, with parameters adapted to the situation in other approaches, we also find good to very good agreement with model and lattice calculations in all quark quantities. We find indictions that the physics in recent lattice calculations is likely to be driven solely by the explicit chiral symmetry breaking. Discrepancies w.r.t. the lattice are, however, observed in two quantities that are very sensitive to the screening of the gluon propagator, the dressed gluon propagator itself and the phase-transition line at high temperatures.

Integrating semi-formal and formal requirements

NARCIS (Netherlands)

Wieringa, Roelf J.; Olivé, Antoni; Dubois, Eric; Pastor, Joan Antoni; Huyts, Sander

1997-01-01

In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements specification called TRADE, within which several well-known semiformal specification techniques are placed. TRADE is based on an analysis of

Formal System Verification - Extension 2

Science.gov (United States)

2012-08-08

vision of truly trustworthy systems has been to provide a formally verified microkernel basis. We have previously developed the seL4 microkernel...together with a formal proof (in the theorem prover Isabelle/HOL) of its functional correctness [6]. This means that all the behaviours of the seL4 C...source code are included in the high-level, formal specification of the kernel. This work enabled us to provide further formal guarantees about seL4 , in

Psychologist in non-formal education

OpenAIRE

Pavićević Miljana S.

2011-01-01

Learning is not limited to school time. It starts at birth and continues throughout the entire life. Equally important as formal education there are also non-formal and informal education. Any kind of learning outside the traditional school can be called informal. However, it is not easy to define non-formal education because it is being described differently, for example as an education movement, process, system… Projects and programs implemented under the name of non-formal education are of...

Topical Roots of Formal Dialectic

NARCIS (Netherlands)

Krabbe, Erik C. W.

Formal dialectic has its roots in ancient dialectic. We can trace this influence in Charles Hamblin's book on fallacies, in which he introduced his first formal dialectical systems. Earlier, Paul Lorenzen proposed systems of dialogical logic, which were in fact formal dialectical systems avant la

Lending Policies of Informal, Formal, and Semi-formal Lenders: Evidence from Vietnam

NARCIS (Netherlands)

Lensink, B.W.; Pham, T.T.T.

2007-01-01

This paper compares lending policies of formal, informal and semiformal lenders with respect to household lending in Vietnam. The analysis suggests that the probability of using formal or semiformal credit increases if borrowers provide collateral, a guarantor and/or borrow for business-related

Concepciones acerca de la maternidad en la educación formal y no formal

Directory of Open Access Journals (Sweden)

Alvarado Calderón, Kathia

2005-06-01

Full Text Available Este artículo presenta algunos resultados de la investigación desarrollada en el Instituto de Investigación en Educación (INIE, bajo el nombre "Construcción del concepto de maternidad en la educación formal y no formal". Utilizando un enfoque cualitativo de investigación, recurrimos a las técnicas de elaboración de dibujos, entrevistas y grupo focal como recursos para la recolección de la información. De esta manera, podemos acercarnos a las concepciones de la maternidad que utilizan los participantes de las diferentes instancias educativas (formal y no formal con quienes se trabajó. This article presents some results the research developed in the Instituto de Investigación en Educación (INIE, named "Construcción del concepto de maternidad en la educación formal y no formal". It begins with a theoretical analysis about social conceptions regarding motherhood in the occidental societies. Among the techniques for gathering information were thematic drawing, interview and focus group, using a qualitative approach research method. This is followed by a brief summary of main findings. The article concludes with a proposal of future working lines for the deconstruction of the motherhood concept in formal and informal education contexts.

Determination of quantum defects from the poles of the Schwinger T matrix

International Nuclear Information System (INIS)

Snitchler, G.L.

1987-01-01

Quantum defects are determined for lithium, sodium, potassium, and beryllium by searching for the poles of the Schwinger T matrix along the negative real-energy axis. This method takes advantage of the fundamental ideas of QDT by using a Coulomb Green's function to factor out most of the energy dependence. For the alkali atoms, a single-channel calculation is performed using model potentials to include the effects of core polarization and correlation. Quantum defects accurate to 1% are easily obtained with small grids and small fixed-basis sets for an entire Rydberg series up to principal quantum number, n, as high as 60. A multichannel extension of this method is used to determined neutral-beryllium quantum defects for the 1 P 0 , 3 P 0 , and 3 S Rydberg series. The 1 P 0 and 3 P 0 calculations are performed in a two-channel approximation using 1s 2 2p static-exchange cores. The 3 S calculation includes a third channel with a 1s 2 3s core. Accurate quantum defects are obtained with 4 to 6 basis functions per channel. The energies are variational and the wave functions have the correct asymptotic form enforced by the Coulomb Green's function. Tentative results for Be I 1 P 0 and 3 P 0 resonances below the 1s 2 2p 2 P threshold are presented. This calculation which is performed in a three-channel approximation uses a complex multichannel Coulomb Green's function to search for poles in the fourth quadrant of the complex-energy plane

Symmetry adaptation, operator equivalents and magnetic resonance

International Nuclear Information System (INIS)

Kibler, M.; Chatterjee, R.

1977-12-01

Basic quantities for symmetry adaptation are discussed in connection with molecular and solid state physics. This gives rise to a formalism whose the central elements are operator equivalents adapted to a point group. Such symmetry adapted operator equivalents are defined in terms of Schwinger operators so that they cover the off-diagonal and diagonal cases. Special emphasis is put on the applications of the formalism to magnetic resonance. More specifically, it is shown how to apply the formalism to the construction, the study of the transformation properties, and the determination of the eigenstates of a generalized spin hamiltonian. Numerous examples are given as well as key tables relative to the chain SO(3) for making easy the application of the formalism to electron paramagnetic resonance [fr

Formalized Informal Learning

DEFF Research Database (Denmark)

Levinsen, Karin Tweddell; Sørensen, Birgitte Holm

2013-01-01

are examined and the relation between network society competences, learners’ informal learning strategies and ICT in formalized school settings over time is studied. The authors find that aspects of ICT like multimodality, intuitive interaction design and instant feedback invites an informal bricoleur approach....... When integrated into certain designs for teaching and learning, this allows for Formalized Informal Learning and support is found for network society competences building....

Boundary effects on quantum field theories

International Nuclear Information System (INIS)

Lee, Tae Hoon

1991-01-01

Quantum field theory in the S 1 *R 3 space-time is simply described by the imaginary time formalism. We generalize Schwinger-DeWitt proper-time technique which is very useful in zero temperature field theories to this case. As an example we calculate the one-loop effective potential of the finite temperature scala field theory by this technique.(Author)

The influence of gluonic operators on QCD sum rules for baryons

International Nuclear Information System (INIS)

Schall, D.

1982-01-01

In this thesis the operator product expansion (OPE) is extended up to operators of dimension d=10. The coefficient functions are calculated only up to order αsub(s). Thereby the performation of the OPE by means of the Schwinger operator formalism is extensively described. In the final section the sum rules for nucleon and delta are discussed. (orig./HSI) [de

The base of the iceberg: informal learning and its impact on formal and non-formal learning

OpenAIRE

Rogers, Alan

2014-01-01

The author looks at learning (formal, non-formal and informal) and examines the hidden world of informal (unconscious, unplanned) learning. He points out the importance of informal learning for creating tacit attitudes and values, knowledge and skills which influence (conscious, planned) learning - formal and non-formal. Moreover, he explores the implications of informal learning for educational planners and teachers in the context of lifelong learning. While mainly aimed at adult educators, ...

One dimensional Bosons: From Condensed Matter Systems to Ultracold Gases

OpenAIRE

Cazalilla, M. A.; Citro, R.; Giamarchi, T.; Orignac, E.; Rigol, M.

2011-01-01

The physics of one-dimensional interacting bosonic systems is reviewed. Beginning with results from exactly solvable models and computational approaches, the concept of bosonic Tomonaga-Luttinger liquids relevant for one-dimensional Bose fluids is introduced, and compared with Bose-Einstein condensates existing in dimensions higher than one. The effects of various perturbations on the Tomonaga-Luttinger liquid state are discussed as well as extensions to multicomponent and out of equilibrium ...

Formalized Epistemology, Logic, and Grammar

Science.gov (United States)

Bitbol, Michel

The task of a formal epistemology is defined. It appears that a formal epistemology must be a generalization of "logic" in the sense of Wittgenstein's Tractatus. The generalization is required because, whereas logic presupposes a strict relation between activity and language, this relation may be broken in some domains of experimental enquiry (e.g., in microscopic physics). However, a formal epistemology should also retain a major feature of Wittgenstein's "logic": It must not be a discourse about scientific knowledge, but rather a way of making manifest the structures usually implicit in knowledge-gaining activity. This strategy is applied to the formalism of quantum mechanics.

Indigenous Knowledge and Education from the Quechua Community to School: Beyond the Formal/Non-Formal Dichotomy

Science.gov (United States)

Sumida Huaman, Elizabeth; Valdiviezo, Laura Alicia

2014-01-01

In this article, we propose to approach Indigenous education beyond the formal/non-formal dichotomy. We argue that there is a critical need to conscientiously include Indigenous knowledge in education processes from the school to the community; particularly, when formal systems exclude Indigenous cultures and languages. Based on ethnographic…

New procedure for departure formalities

CERN Multimedia

HR & GS Departments

2011-01-01

As part of the process of simplifying procedures and rationalising administrative processes, the HR and GS Departments have introduced new personalised departure formalities on EDH. These new formalities have applied to students leaving CERN since last year and from 17 October 2011 this procedure will be extended to the following categories of CERN personnel: Staff members, Fellows and Associates. It is planned to extend this electronic procedure to the users in due course. What purpose do departure formalities serve? The departure formalities are designed to ensure that members of the personnel contact all the relevant services in order to return any necessary items (equipment, cards, keys, dosimeter, electronic equipment, books, etc.) and are aware of all the benefits to which they are entitled on termination of their contract. The new departure formalities on EDH have the advantage of tailoring the list of services that each member of the personnel must visit to suit his individual contractual and p...

Concepts of formal concept analysis

Science.gov (United States)

Žáček, Martin; Homola, Dan; Miarka, Rostislav

2017-07-01

The aim of this article is apply of Formal Concept Analysis on concept of world. Formal concept analysis (FCA) as a methodology of data analysis, information management and knowledge representation has potential to be applied to a verity of linguistic problems. FCA is mathematical theory for concepts and concept hierarchies that reflects an understanding of concept. Formal concept analysis explicitly formalizes extension and intension of a concept, their mutual relationships. A distinguishing feature of FCA is an inherent integration of three components of conceptual processing of data and knowledge, namely, the discovery and reasoning with concepts in data, discovery and reasoning with dependencies in data, and visualization of data, concepts, and dependencies with folding/unfolding capabilities.

Critical formalism or digital biomorphology. The contemporary architecture formal dilema

Directory of Open Access Journals (Sweden)

Beatriz Villanueva Cajide

2018-05-01

Full Text Available With the dawn of digital media the architecture’s formal possibilities reached a level unknown before. The Guggenheim Museo branch in Bilbao appears in 1993 as the materialisation of the possibilities of the use of digital tools in architecture’s design, starting the development of a digital based architecture which currently has reached an exhaustion level that is evident in the repetition biomorphologic shapes emerged from the digital determinism to which some contemporary architectural practices have converged. While the digitalisation of the architectural process is irreversible and desirable, it is necessary to rethink the terms of this collaboration beyond the possibilities of the digital tools themselves. This article proposes to analyse seven texts written in the very moment when digitalisation became a real possibility, between Gehry’s conception of the Guggenheim Museum in 1992 and the Congress on Morphogenesis hold in the Architectural Association in 2004, in order to explore the possibility of reversing the process that has led to the formal exhaustion of digital architecture, from the acceptance of incorporating strategies coming from a contemporary critical formalism.

Y-formalism and b ghost in the non-minimal pure spinor formalism of superstrings

International Nuclear Information System (INIS)

Oda, Ichiro; Tonin, Mario

2007-01-01

We present the Y-formalism for the non-minimal pure spinor quantization of superstrings. In the framework of this formalism we compute, at the quantum level, the explicit form of the compound operators involved in the construction of the b ghost, their normal-ordering contributions and the relevant relations among them. We use these results to construct the quantum-mechanical b ghost in the non-minimal pure spinor formalism. Moreover we show that this non-minimal b ghost is cohomologically equivalent to the non-covariant b ghost

Geometry and Formal Linguistics.

Science.gov (United States)

Huff, George A.

This paper presents a method of encoding geometric line-drawings in a way which allows sets of such drawings to be interpreted as formal languages. A characterization of certain geometric predicates in terms of their properties as languages is obtained, and techniques usually associated with generative grammars and formal automata are then applied…

Formal Testing of Correspondence Carrying Software

NARCIS (Netherlands)

Bujorianu, M.C.; Bujorianu, L.M.; Maharaj, S.

2008-01-01

Nowadays formal software development is characterised by use of multitude formal specification languages. Test case generation from formal specifications depends in general on a specific language, and, moreover, there are competing methods for each language. There is a need for a generic approach to

Formal Women-only Networks

DEFF Research Database (Denmark)

Villesèche, Florence; Josserand, Emmanuel

2017-01-01

/organisations and the wider social group of women in business. Research limitations/implications: The authors focus on the distinction between external and internal formal women-only networks while also acknowledging the broader diversity that can characterise such networks. Their review provides the reader with an insight...... member level, the authors suggest that such networks can be of value for organisations and the wider social group of women in management and leadership positions.......Purpose: The purpose of this paper is to review the emerging literature on formal women-only business networks and outline propositions to develop this under-theorised area of knowledge and stimulate future research. Design/methodology/approach: The authors review the existing literature on formal...

Formal analysis of design process dynamics

NARCIS (Netherlands)

Bosse, T.; Jonker, C.M.; Treur, J.

2010-01-01

This paper presents a formal analysis of design process dynamics. Such a formal analysis is a prerequisite to come to a formal theory of design and for the development of automated support for the dynamics of design processes. The analysis was geared toward the identification of dynamic design

Formal Analysis of Design Process Dynamics

NARCIS (Netherlands)

Bosse, T.; Jonker, C.M.; Treur, J.

2010-01-01

This paper presents a formal analysis of design process dynamics. Such a formal analysis is a prerequisite to come to a formal theory of design and for the development of automated support for the dynamics of design processes. The analysis was geared toward the identification of dynamic design

Formalizing the concept of sound.

Energy Technology Data Exchange (ETDEWEB)

Kaper, H. G.; Tipei, S.

1999-08-03

The notion of formalized music implies that a musical composition can be described in mathematical terms. In this article we explore some formal aspects of music and propose a framework for an abstract approach.

Formal Analysis of Domain Models

National Research Council Canada - National Science Library

Bharadwaj, Ramesh

2002-01-01

Recently, there has been a great deal of interest in the application of formal methods, in particular, precise formal notations and automatic analysis tools for the creation and analysis of requirements specifications (i.e...

Formal Methods for Life-Critical Software

Science.gov (United States)

Butler, Ricky W.; Johnson, Sally C.

1993-01-01

The use of computer software in life-critical applications, such as for civil air transports, demands the use of rigorous formal mathematical verification procedures. This paper demonstrates how to apply formal methods to the development and verification of software by leading the reader step-by-step through requirements analysis, design, implementation, and verification of an electronic phone book application. The current maturity and limitations of formal methods tools and techniques are then discussed, and a number of examples of the successful use of formal methods by industry are cited.

Scalable Techniques for Formal Verification

CERN Document Server

Ray, Sandip

2010-01-01

This book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad overview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verification methodology for industrial designs. This book outlines both theoretical and practical issue

A Survey of Formal Methods in Software Development

DEFF Research Database (Denmark)

Bjørner, Dines

2012-01-01

The use of formal methods and formal techniques in industry is steadily growing. In this survey we shall characterise what we mean by software development and by a formal method; briefly overview a history of formal specification languages - some of which are: VDM (Vienna Development Method, 1974...... need for multi-language formalisation (Petri Nets, MSC, StateChart, Temporal Logics); the sociology of university and industry acceptance of formal methods; the inevitability of the use of formal software development methods; while referring to seminal monographs and textbooks on formal methods....

The Integration of Formal and Non-formal Education: The Dutch “brede school”

Directory of Open Access Journals (Sweden)

du Bois-Reymond, Manuela

2009-12-01

Full Text Available The Dutch “brede school” (BS development originates in the 1990s and has spread unevenly since: quicker in the primary than secondary educational sector. In 2007, there were about 1000 primary and 350 secondary BS schools and it is the intention of the government as well as the individual municipalities to extend that number and make the BS the dominant school form of the near future. In the primary sector, a BS cooperates with crèche and preschool facilities, besides possible other neighborhood partners. The main targets are, first, to enhance educational opportunities, particularly for children with little (western- cultural capital, and secondly to increase women’s labor market participation by providing extra familial care for babies and small children. All primary schools are now obliged to provide such care. In the secondary sector, a BS is less neighborhood-orientated than a primary BS because those schools are bigger and more often located in different buildings. As in the primary sector, there are broad and more narrow BS, the first profile cooperating with many non-formal and other partners and facilities and the second with few. On the whole, there is a wide variety of BS schools, with different profiles and objectives, dependent on the needs and wishes of the initiators and the neighborhood. A BS is always the result of initiatives of the respective school and its partners: parents, other neighborhood associations, municipality etc. BS schools are not enforced by the government although the general trend will be that existing school organizations transform into BS. The integration of formal and non-formal education and learning is more advanced in primary than secondary schools. In secondary education, vocational as well as general, there is a clear dominance of formal education; the non-formal curriculum serves mainly two lines and objectives: first, provide attractive leisure activities and second provide compensatory

Formalizing Probabilistic Safety Claims

Science.gov (United States)

Herencia-Zapana, Heber; Hagen, George E.; Narkawicz, Anthony J.

2011-01-01

A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Littlewood, this paper presents a mathematical framework that can be used to state and formally prove probabilistic safety claims. It also enables hazardous conditions, their uncertainties, and their interactions to be integrated into the safety claim. This framework provides a formal description of the probabilistic composition of an arbitrary number of hazardous conditions and their effects on system behavior. An example is given of a probabilistic safety claim for a conflict detection algorithm for aircraft in a 2D airspace. The motivation for developing this mathematical framework is that it can be used in an automated theorem prover to formally verify safety claims.

Augmenting Reality and Formality of Informal and Non-Formal Settings to Enhance Blended Learning

Science.gov (United States)

Pérez-Sanagustin, Mar; Hernández-Leo, Davinia; Santos, Patricia; Kloos, Carlos Delgado; Blat, Josep

2014-01-01

Visits to museums and city tours have been part of higher and secondary education curriculum activities for many years. However these activities are typically considered "less formal" when compared to those carried out in the classroom, mainly because they take place in informal or non-formal settings. Augmented Reality (AR) technologies…

Superfield formalism

Indian Academy of Sciences (India)

dimensional superfields, is a clear signature of the presence of the (anti-)BRST invariance in the original. 4D theory. Keywords. Non-Abelian 1-form gauge theory; Dirac fields; (anti-)Becchi–Roucet–Stora–. Tyutin invariance; superfield formalism; ...

MOOC & B-Learning: Students' Barriers and Satisfaction in Formal and Non-Formal Learning Environments

Science.gov (United States)

Gutiérrez-Santiuste, Elba; Gámiz-Sánchez, Vanesa-M.; Gutiérrez-Pérez, Jose

2015-01-01

The study presents a comparative analysis of two virtual learning formats: one non-formal through a Massive Open Online Course (MOOC) and the other formal through b-learning. We compare the communication barriers and the satisfaction perceived by the students (N = 249) by developing a qualitative analysis using semi-structured questionnaires and…

Formality of the Chinese collective leadership.

Science.gov (United States)

Li, Haiying; Graesser, Arthur C

2016-09-01

We investigated the linguistic patterns in the discourse of four generations of the collective leadership of the Communist Party of China (CPC) from 1921 to 2012. The texts of Mao Zedong, Deng Xiaoping, Jiang Zemin, and Hu Jintao were analyzed using computational linguistic techniques (a Chinese formality score) to explore the persuasive linguistic features of the leaders in the contexts of power phase, the nation's education level, power duration, and age. The study was guided by the elaboration likelihood model of persuasion, which includes a central route (represented by formal discourse) versus a peripheral route (represented by informal discourse) to persuasion. The results revealed that these leaders adopted the formal, central route more when they were in power than before they came into power. The nation's education level was a significant factor in the leaders' adoption of the persuasion strategy. The leaders' formality also decreased with their increasing age and in-power times. However, the predictability of these factors for formality had subtle differences among the different types of leaders. These results enhance our understanding of the Chinese collective leadership and the role of formality in politically persuasive messages.

40 years of formal methods

DEFF Research Database (Denmark)

Bjørner, Dines; Havelund, Klaus

2014-01-01

In this "40 years of formal methods" essay we shall first delineate, Sect. 1, what we mean by method, formal method, computer science, computing science, software engineering, and model-oriented and algebraic methods. Based on this, we shall characterize a spectrum from specification-oriented met...

A Formalization of Linkage Analysis

DEFF Research Database (Denmark)

Ingolfsdottir, Anna; Christensen, A.I.; Hansen, Jens A.

In this report a formalization of genetic linkage analysis is introduced. Linkage analysis is a computationally hard biomathematical method, which purpose is to locate genes on the human genome. It is rooted in the new area of bioinformatics and no formalization of the method has previously been ...

Fundamentals of the Pure Spinor Formalism

CERN Document Server

Hoogeveen, Joost

2010-01-01

This thesis presents recent developments within the pure spinor formalism, which has simplified amplitude computations in perturbative string theory, especially when spacetime fermions are involved. Firstly the worldsheet action of both the minimal and the non-minimal pure spinor formalism is derived from first principles, i.e. from an action with two dimensional diffeomorphism and Weyl invariance. Secondly the decoupling of unphysical states in the minimal pure spinor formalism is proved

Running coupling constant of a gauge theory in the framework of the Schwinger-Dyson equation: Infrared behavior of three-dimensional quantum electrodynamics

International Nuclear Information System (INIS)

Kondo, K.

1997-01-01

We discuss how to define and obtain the running coupling of a gauge theory in the approach of the Schwinger-Dyson (SD) equation, in order to perform a nonperturbative study of the theory. For this purpose, we introduce the nonlocally generalized gauge fixing into the SD equation, which is used to define the running coupling constant (this method is applicable only to a gauge theory). Some advantages and the validity of this approach are exemplified in QED 3 . This confirms the slowing down of the rate of decrease of the running coupling and the existence of the nontrivial infrared fixed point (in the normal phase) of QED 3 , claimed recently by Aitchison and Mavromatos, without so many of their approximations. We also argue that the conventional approach is recovered by applying the (inverse) Landau-Khalatnikov transformation to the nonlocal gauge result. copyright 1997 The American Physical Society

Leibniz' First Formalization of Syllogistics

DEFF Research Database (Denmark)

Robering, Klaus

2014-01-01

of letters just those which belong to the useful, i.e., valid, modes. The set of codes of valid modes turns out to be a so-called "regular" language (in the sense of formal-language-theory). Leibniz' formalization of syllogistics in his Dissertatio thus contains an estimation of the computational complexity...

Formalizing the concept phase of product development

NARCIS (Netherlands)

Schuts, M.; Hooman, J.

2015-01-01

We discuss the use of formal techniques to improve the concept phase of product realisation. As an industrial application, a new concept of interventional X-ray systems has been formalized, using model checking techniques and the simulation of formal models. cop. Springer International Publishing

A survey of formal languages for contracts

DEFF Research Database (Denmark)

Hvitved, Tom

2010-01-01

In this short paper we present the current status on formal languages and models for contracts. By a formal model is meant an unambiguous and rigorous representation of contracts, in order to enable their automatic validation, execution, and analysis — activates that are collectively referred...... to as contract lifecycle management (CLM). We present a set of formalism requirements, which represent features that any ideal contract model should support, based on which we present a comparative survey of existing contract formalisms....

20 CFR 702.336 - Formal hearings; new issues.

Science.gov (United States)

2010-04-01

... 20 Employees' Benefits 3 2010-04-01 2010-04-01 false Formal hearings; new issues. 702.336 Section... Procedures Formal Hearings § 702.336 Formal hearings; new issues. (a) If, during the course of the formal hearing, the evidence presented warrants consideration of an issue or issues not previously considered...

Momentum-space representation of Green's functions with modified dispersion on ultrastatic space-time

International Nuclear Information System (INIS)

Rinaldi, Massimiliano

2007-01-01

We consider Green's functions associated to a scalar field propagating on a curved, ultrastatic background, in the presence of modified dispersion relations. The usual proper-time DeWitt-Schwinger procedure to obtain a series representation of Green's functions is doomed to failure because of higher order spatial derivatives in the Klein-Gordon operator. We show how to overcome this difficulty by considering a preferred frame, associated to a unit timelike vector. With respect to this frame, we can express Green's functions as an integral over all frequencies of a space-dependent function. The latter can be expanded in momentum space, as a series with geometric coefficients similar to the DeWitt-Schwinger ones. By integrating over all frequencies, we finally find the expansion of Green's function up to four derivatives of the metric tensor. The relation with the proper-time formalism is also discussed

The Interrelatedness of Formal, Non-Formal and Informal Learning: Evidence from Labour Market Program Participants

Science.gov (United States)

Cameron, Roslyn; Harrison, Jennifer L.

2012-01-01

Definitions, differences and relationships between formal, non-formal and informal learning have long been contentious. There has been a significant change in language and reference from adult education to what amounts to forms of learning categorised by their modes of facilitation. Nonetheless, there is currently a renewed interest in the…

Digital Resource Developments for Mathematics Education Involving Homework across Formal, Non-Formal and Informal Settings

Science.gov (United States)

Radovic, Slaviša; Passey, Don

2016-01-01

The aim of this paper is to explore further an under-developed area--how drivers of curriculum, pedagogy and assessment conceptions and practices shape the creation and uses of technologically based resources to support mathematics learning across informal, non-formal and formal learning environments. The paper considers: the importance of…

NON-FORMAL EDUCATION, OVEREDUCATION AND WAGES

OpenAIRE

SANDRA NIETO; RAÚL RAMOS

2013-01-01

Why do overeducated workers participate in non-formal education activities? Do not they suffer from an excess of education? Using microdata from the Spanish sample of the 2007 Adult Education Survey, we have found that overeducated workers participate more than the rest in non-formal education and that they earn higher wages than overeducated workers who did not participate. This result can be interpreted as evidence that non-formal education allows overeducated workers to acquire new abiliti...

On the resolvents methods in quantum perturbation calculations

International Nuclear Information System (INIS)

Burzynski, A.

1979-01-01

This paper gives a systematic review of resolvent methods in quantum perturbation calculations. The case of discrete spectrum of hamiltonian is considered specially (in the literature this is the fewest considered case). The topics of calculations of quantum transitions by using of the resolvent formalism, quantum transitions between states from particular subspaces, the shifts of energy levels, are shown. The main ideas of stationary perturbation theory developed by Lippmann and Schwinger are considered too. (author)

40 CFR 35.938-4 - Formal advertising.

Science.gov (United States)

2010-07-01

... 40 Protection of Environment 1 2010-07-01 2010-07-01 false Formal advertising. 35.938-4 Section 35... advertising. Each contract shall be awarded after formal advertising, unless negotiation is permitted in accordance with § 35.936-18. Formal advertising shall be in accordance with the following: (a) Adequate...

Seniority in projection operator formalism

International Nuclear Information System (INIS)

Ullah, N.

1976-01-01

It is shown that the concept of seniority can be introduced in projection operator formalism through the use of the operator Q, which has been defined by de-Shalit and Talmi. The usefulness of seniority concept in projection operator formalism is discussed. An example of four nucleons in j=3/2 configuration is given for illustrative purposes

A Mathematical Formalization Proposal for Business Growth

Directory of Open Access Journals (Sweden)

Gheorghe BAILESTEANU

2013-01-01

Full Text Available Economic sciences have known a spectacular evolution in the last century; beginning to use axiomatic methods, applying mathematical instruments as a decision-making tool. The quest to formalization needs to be addressed from various different angles, reducing entry and operating formal costs, increasing the incentives for firms to operate formally, reducing obstacles to their growth, and searching for inexpensive approaches through which to enforce compliancy with government regulations. This paper proposes a formalized approach to business growth, based on mathematics and logics, taking into consideration the particularities of the economic sector.

What Determines Firms’ Decisions to Formalize?

OpenAIRE

Neil McCulloch; Günther G. Schulze; Janina Voss

2010-01-01

In this paper we analyze the decision of small and micro firms to formalize, i.e. to obtain business and other licenses in rural Indonesia. We use the rural investment climate survey (RICS) that consists of non-farm rural enterprises, most of them microenterprises, and analyze the effect of formalization on tax payments, corruption, access to credit and revenue, taking into account the endogeneity of the formalization decision to such benefits and costs. We show, contrary to most of the liter...

Lifelong Learning to Empowerment: Beyond Formal Education

Science.gov (United States)

Carr, Alexis; Balasubramanian, K.; Atieno, Rosemary; Onyango, James

2018-01-01

This paper discusses the relevance of lifelong learning vis-à-vis the Sustainable Development Goals (SDGs) and stresses the need for an approach blending formal education, non-formal and informal learning. The role of Open and Distance Learning (ODL) in moving beyond formal education and the importance of integrating pedagogy, andragogy and…

Formal Symplectic Groupoid of a Deformation Quantization

Science.gov (United States)

Karabegov, Alexander V.

2005-08-01

We give a self-contained algebraic description of a formal symplectic groupoid over a Poisson manifold M. To each natural star product on M we then associate a canonical formal symplectic groupoid over M. Finally, we construct a unique formal symplectic groupoid ‘with separation of variables’ over an arbitrary Kähler-Poisson manifold.

multiPDEVS: A Parallel Multicomponent System Specification Formalism

Directory of Open Access Journals (Sweden)

Damien Foures

2018-01-01

Full Text Available Based on multiDEVS formalism, we introduce multiPDEVS, a parallel and nonmodular formalism for discrete event system specification. This formalism provides combined advantages of PDEVS and multiDEVS approaches, such as excellent simulation capabilities for simultaneously scheduled events and components able to influence each other using exclusively their state transitions. We next show the soundness of the formalism by giving a construction showing that any multiPDEVS model is equivalent to a PDEVS atomic model. We then present the simulation procedure associated, usually called abstract simulator. As a well-adapted formalism to express cellular automata, we finally propose to compare an implementation of multiPDEVS formalism with a more classical Cell-DEVS implementation through a fire spread application.

The role of formal specifications

International Nuclear Information System (INIS)

McHugh, J.

1994-01-01

The role of formal requirements specification is discussed under the premise that the primary purpose of such specifications is to facilitate clear and unambiguous communications among the communities of interest for a given project. An example is presented in which the failure to reach such an understanding resulted in an accident at a chemical plant. Following the example, specification languages based on logical formalisms and notations are considered. These are rejected as failing to serve the communications needs of diverse communities. The notion of a specification as a surrogate for a program is also considered and rejected. The paper ends with a discussion of the type of formal notation that will serve the communications role and several encouraging developments are noted

Bookshelf (Early Quantum Electrodynamics - A Source Book, by Arthur I. Miller)

International Nuclear Information System (INIS)

Anon.

1994-01-01

Many people these days would say that quantum electrodynamics, the quantum picture of electromagnetic radiation, dates from 1947-8 with the work of Sin-itoro Tomonaga, Julian Schwinger and Richard Feynman. However this was the modern reformulation of a theory whose genesis was Paul Dirac's 1927 work on the quantization of radiation and was subsequently, and painfully, pieced together in the 1930s. Until the Second World War, the science of quantum electrodynamics advanced steadily, driven for the most part by the intellects which had produced modern quantum mechanics - notably Dirac, Heisenberg and Pauli. After Dirac's 1928 relativistic theory of the electron, Heisenberg and Pauli went on to cast an initial quantum formalism for the interaction between radiation and electrons. During this time many intellectual hurdles had to be crossed - the negative energy states predicted by Dirac's equation and their final identification as antimatter electrons (positrons), the whole problem of explaining quantum force mechanisms as particle exchanges, Fermi's explanation of beta decay, and Yukawa's explanation of the nuclear force. Heisenberg's invention of the S-matrix and his ideas on the transmission of nuclear forces through exchange mechanisms revolutionized both our picture of the quantum world. These problems were not easy - several times during the 1920s even these intellects almost despaired. A shadow across the subject was the continual problem of troublesome infinities in mass terms and elsewhere. It was not until the ordered renormalization recipes of the immediate post-war period that these infinities were finally hidden from sight. Science historian Arthur Miller traces these developments in the first half of the book, and signals how these early developments were eventually to dovetail with the exciting new developments of the late 1940s. Supplementing the survey are eleven fascinating landmark papers by Heisenberg, Dirac, Weisskopf

Bridging In-school and Out-of-school Learning: Formal, Non-Formal, and Informal Education

Science.gov (United States)

Eshach, Haim

2007-04-01

The present paper thoroughly examines how one can effectively bridge in-school and out-of-school learning. The first part discusses the difficulty in defining out-of-school learning. It proposes to distinguish three types of learning: formal, informal, and non-formal. The second part raises the question of whether out-of-school learning should be dealt with in the in-school system, in view of the fact that we experience informal learning anyway as well as considering the disadvantages and difficulties teachers are confronted with when planning and carrying out scientific fieldtrips. The voices of the teachers, the students, and the non-formal institution staff are heard to provide insights into the problem. The third part discusses the cognitive and affective aspects of non-formal learning. The fourth part presents some models explaining scientific fieldtrip learning and based on those models, suggests a novel explanation. The fifth part offers some recommendations of how to bridge in and out-of-school learning. The paper closes with some practical ideas as to how one can bring the theory described in the paper into practice. It is hoped that this paper will provide educators with an insight so that they will be able to fully exploit the great potential that scientific field trips may offer.

Toward a formal ontology for narrative

Directory of Open Access Journals (Sweden)

Ciotti, Fabio

2016-03-01

Full Text Available In this paper the rationale and the first draft of a formal ontology for modeling narrative texts are presented. Building on the semiotic and structuralist narratology, and on the work carried out in the late 1980s by Giuseppe Gigliozzi in Italy, the focus of my research are the concepts of character and of narrative world/space. This formal model is expressed in the OWL 2 ontology language. The main reason to adopt a formal modeling approach is that I consider the purely probabilistic-quantitative methods (now widespread in digital literary studies inadequate. An ontology, on one hand provides a tool for the analysis of strictly literary texts. On the other hand (though beyond the scope of the present work, its formalization can also represent a significant contribution towards grounding the application of storytelling methods outside of scholarly contexts.

Industrial Practice in Formal Methods : A Review

DEFF Research Database (Denmark)

Bicarregui, Juan C.; Fitzgerald, John; Larsen, Peter Gorm

2009-01-01

We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal methods are being applied in a wide range of application domains, with increasingly strong tool support. Significant chal...... challenges remain in providing usable tools that can be integrated into established development processes; in education and training; in taking formal methods from first use to second use, and in gathering and evidence to support informed selection of methods and tools.......We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal methods are being applied in a wide range of application domains, with increasingly strong tool support. Significant...

Formal verification - Robust and efficient code: Introduction to Formal Verification

CERN Multimedia

CERN. Geneva

2016-01-01

In general, FV means "proving that certain properties hold for a given system using formal mathematics". This definition can certainly feel daunting, however, as we will learn, we can reap benefits from the paradigm without digging too deep into ...

Annihilation probability density and other applications of the Schwinger multichannel method to the positron and electron scattering; Densidade de probabilidade de aniquilacao e outras aplicacoes do metodo multicanal de Schwinger ao espalhamento de positrons e eletrons

Energy Technology Data Exchange (ETDEWEB)

Varella, Marcio Teixeira do Nascimento

2001-12-15

We have calculated annihilation probability densities (APD) for positron collisions against He atom and H{sub 2} molecule. It was found that direct annihilation prevails at low energies, while annihilation following virtual positronium (Ps) formation is the dominant mechanism at higher energies. In room-temperature collisions (10{sup -2} eV) the APD spread over a considerable extension, being quite similar to the electronic densities of the targets. The capture of the positron in an electronic Feshbach resonance strongly enhanced the annihilation rate in e{sup +}-H{sub 2} collisions. We also discuss strategies to improve the calculation of the annihilation parameter (Z{sub eff} ), after debugging the computational codes of the Schwinger Multichannel Method (SMC). Finally, we consider the inclusion of the Ps formation channel in the SMC and show that effective configurations (pseudo eigenstates of the Hamiltonian of the collision ) are able to significantly reduce the computational effort in positron scattering calculations. Cross sections for electron scattering by polyatomic molecules were obtained in three different approximations: static-exchange (SE); tatic-exchange-plus-polarization (SEP); and multichannel coupling. The calculations for polar targets were improved through the rotational resolution of scattering amplitudes in which the SMC was combined with the first Born approximation (FBA). In general, elastic cross sections (SE and SEP approximations) showed good agreement with available experimental data for several targets. Multichannel calculations for e{sup -} -H{sub 2}O scattering, on the other hand, presented spurious structures at the electronic excitation thresholds (author)

Formalization of the Resolution Calculus for First-Order Logic

DEFF Research Database (Denmark)

Schlichtkrull, Anders

2016-01-01

A formalization in Isabelle/HOL of the resolution calculus for first-order logic is presented. Its soundness and completeness are formally proven using the substitution lemma, semantic trees, Herbrand’s theorem, and the lifting lemma. In contrast to previous formalizations of resolution, it consi......A formalization in Isabelle/HOL of the resolution calculus for first-order logic is presented. Its soundness and completeness are formally proven using the substitution lemma, semantic trees, Herbrand’s theorem, and the lifting lemma. In contrast to previous formalizations of resolution...

Formalizing Evaluation in Music Information Retrieval

DEFF Research Database (Denmark)

Sturm, Bob L.

2013-01-01

We develop a formalism to disambiguate the evaluation of music information retrieval systems. We define a ``system,'' what it means to ``analyze'' one, and make clear the aims, parts, design, execution, interpretation, and assumptions of its ``evaluation.'' We apply this formalism to discuss...

A computational formalization for partial evaluation

DEFF Research Database (Denmark)

Hatcliff, John; Danvy, Olivier

1997-01-01

We formalize a partial evaluator for Eugenio Moggi's computational metalanguage. This formalization gives an evaluation-order independent view of binding-time analysis and program specialization, including a proper treatment of call unfolding. It also enables us to express the essence of `control...

Informal work and formal plans

DEFF Research Database (Denmark)

Dalsted, Rikke Juul; Hølge-Hazelton, Bibi; Kousgaard, Marius Brostrøm

2012-01-01

INTRODUCTION: Formal pathways models outline that patients should receive information in order to experience a coherent journey but do not describe an active role for patients or their relatives. The aim of this is paper is to articulate and discuss the active role of patients during their cancer...... trajectories. METHODS AND THEORY: An in-depth case study of patient trajectories at a Danish hospital and surrounding municipality using individual interviews with patients. Theory about trajectory and work by Strauss was included. RESULTS: Patients continuously took initiatives to organize their treatment....... The patients' requests were not sufficiently supported in the professional organisation of work or formal planning. Patients' insertion and use of information in their trajectories challenged professional views and working processes. And the design of the formal pathway models limits the patients' active...

Formalisms for reuse and systems integration

CERN Document Server

Rubin, Stuart

2015-01-01

Reuse and integration are defined as synergistic concepts, where reuse addresses how to minimize redundancy in the creation of components; while, integration focuses on component composition. Integration supports reuse and vice versa. These related concepts support the design of software and systems for maximizing performance while minimizing cost. Knowledge, like data, is subject to reuse; and, each can be interpreted as the other. This means that inherent complexity, a measure of the potential utility of a system, is directly proportional to the extent to which it maximizes reuse and integration. Formal methods can provide an appropriate context for the rigorous handling of these synergistic concepts. Furthermore, formal languages allow for non ambiguous model specification; and, formal verification techniques provide support for insuring the validity of reuse and integration mechanisms.   This edited book includes 12 high quality research papers written by experts in formal aspects of reuse and integratio...

37 CFR 251.41 - Formal hearings.

Science.gov (United States)

2010-07-01

... ARBITRATION ROYALTY PANEL RULES AND PROCEDURES COPYRIGHT ARBITRATION ROYALTY PANEL RULES OF PROCEDURE Procedures of Copyright Arbitration Royalty Panels § 251.41 Formal hearings. (a) The formal hearings that will be conducted under the rules of this subpart are rate adjustment hearings and royalty fee...

Formal Engineering Hybrid Systems: Semantic Underpinnings

NARCIS (Netherlands)

Bujorianu, M.C.; Bujorianu, L.M.

2008-01-01

In this work we investigate some issues in applying formal methods to hybrid system development and develop a categorical framework. We study the themes of stochastic reasoning, heterogeneous formal specification and retrenchment. Hybrid systems raise a rich pallets of aspects that need to be

Formal Analysis Of Use Case Diagrams

Directory of Open Access Journals (Sweden)

Radosław Klimek

2010-01-01

Full Text Available Use case diagrams play an important role in modeling with UML. Careful modeling is crucialin obtaining a correct and efficient system architecture. The paper refers to the formalanalysis of the use case diagrams. A formal model of use cases is proposed and its constructionfor typical relationships between use cases is described. Two methods of formal analysis andverification are presented. The first one based on a states’ exploration represents a modelchecking approach. The second one refers to the symbolic reasoning using formal methodsof temporal logic. Simple but representative example of the use case scenario verification isdiscussed.

The fourth-order non-linear sigma models and asymptotic freedom in four dimensions

International Nuclear Information System (INIS)

Buchbinder, I.L.; Ketov, S.V.

1991-01-01

Starting with the most general Lagrangian of the fourth-order non-linear sigma model in four space-time dimensions, we calculate the one-loop, on-shell ultra-violet-divergent part of the effective action. The formalism is based on the background field method and the generalised Schwinger-De Witt technique. The multiplicatively renormalisable case is investigated in some detail. The renormalisation group equations are obtained, and the conditions for a realisation of asymptotic freedom are considered. (orig.)

Matsubara-Fradkin thermodynamical quantization of Podolsky electrodynamics

International Nuclear Information System (INIS)

Bonin, C. A.; Pimentel, B. M.

2011-01-01

In this work, we apply the Matsubara-Fradkin formalism and the Nakanishi's auxiliary field method to the quantization of the Podolsky electrodynamics in thermodynamic equilibrium. This approach allows us to write consistently the path integral representation for the partition function of gauge theories in a simple manner. Furthermore, we find the Dyson-Schwinger-Fradkin equations and the Ward-Fradkin-Takahashi identities for the Podolsky theory. We also write the most general form for the polarization tensor in thermodynamic equilibrium.

Formal balancing of chemical reaction networks

NARCIS (Netherlands)

van der Schaft, Abraham; Rao, S.; Jayawardhana, B.

2016-01-01

In this paper we recall and extend the main results of Van der Schaft, Rao, Jayawardhana (2015) concerning the use of Kirchhoff’s Matrix Tree theorem in the explicit characterization of complex-balanced reaction networks and the notion of formal balancing. The notion of formal balancing corresponds

Formal methods in software development: A road less travelled

Directory of Open Access Journals (Sweden)

John A van der Poll

2010-08-01

Full Text Available An integration of traditional verification techniques and formal specifications in software engineering is presented. Advocates of such techniques claim that mathematical formalisms allow them to produce quality, verifiably correct, or at least highly dependable software and that the testing and maintenance phases are shortened. Critics on the other hand maintain that software formalisms are hard to master, tedious to use and not well suited for the fast turnaround times demanded by industry. In this paper some popular formalisms and the advantages of using these during the early phases of the software development life cycle are presented. Employing the Floyd-Hoare verification principles during the formal specification phase facilitates reasoning about the properties of a specification. Some observations that may help to alleviate the formal-methods controversy are established and a number of formal methods successes is presented. Possible conditions for an increased acceptance of formalisms in oftware development are discussed.

Statistical Survey of Non-Formal Education

Directory of Open Access Journals (Sweden)

Ondřej Nývlt

2012-12-01

Full Text Available focused on a programme within a regular education system. Labour market flexibility and new requirements on employees create a new domain of education called non-formal education. Is there a reliable statistical source with a good methodological definition for the Czech Republic? Labour Force Survey (LFS has been the basic statistical source for time comparison of non-formal education for the last ten years. Furthermore, a special Adult Education Survey (AES in 2011 was focused on individual components of non-formal education in a detailed way. In general, the goal of the EU is to use data from both internationally comparable surveys for analyses of the particular fields of lifelong learning in the way, that annual LFS data could be enlarged by detailed information from AES in five years periods. This article describes reliability of statistical data aboutnon-formal education. This analysis is usually connected with sampling and non-sampling errors.

Hydrostatic pressure of the O(N) φ4 theory in the large N limit

International Nuclear Information System (INIS)

Jizba, Petr

2004-01-01

With nonequilibrium applications in mind we present in this paper (the first in a series of three) a self-contained calculation of the hydrostatic pressure of the O(N) λφ 4 theory at finite temperature. By combining the Keldysh-Schwinger closed-time path formalism with thermal Dyson-Schwinger equations we compute in the large N limit the hydrostatic pressure in a fully resumed form. We also calculate the high-temperature expansion for the pressure (in D=4) using the Mellin transform technique. The result obtained extends the results found by Drummond et al. [Nucl. Phys. B524, 579 (1998)] and Amelino-Camelia and Pi [Phys. Rev. D 47, 2356 (1993)]. The latter are reproduced in the limits m r (0)→0, T→∞, and T→∞, respectively. Important issues of renormalizibility of composite operators at finite temperature are addressed and the improved energy-momentum tensor is constructed. The utility of the hydrostatic pressure in the nonequilibrium quantum systems is discussed

Analytical thermodynamics of a strongly attractive three-component Fermi gas in one dimension

International Nuclear Information System (INIS)

He Peng; Yin Xiangguo; Wang Yupeng; Guan Xiwen; Batchelor, Murray T.

2010-01-01

Ultracold three-component atomic Fermi gases in one dimension are expected to exhibit rich physics due to the presence of trions and different pairing states. Quantum phase transitions from the trion state into a paired phase and a normal Fermi liquid occur at zero temperature. We derive the analytical thermodynamics of strongly attractive three-component one-dimensional fermions with SU(3) symmetry via the thermodynamic Bethe ansatz method in unequal Zeeman splitting fields H 1 and H 2 . We find explicitly that for low temperature the system acts like either a two-component or a three-component Tomonaga-Luttinger liquid dependent on the system parameters. The phase diagrams for the chemical potential and specific heat are presented for illustrative values of the Zeeman splitting. We also demonstrate that crossover between different Tomonaga-Luttinger-liquid phases exhibit singular behavior in specific heat and entropy as the temperature tends to zero. Beyond Tomonaga-Luttinger-liquid physics, we obtain the equation of state which provides a precise description of universal thermodynamics and quantum criticality in three-component, strongly attractive Fermi gases.

Formal Ontologies and Uncertainty. In Geographical Knowledge

Directory of Open Access Journals (Sweden)

Matteo Caglioni

2014-05-01

Full Text Available Formal ontologies have proved to be a very useful tool to manage interoperability among data, systems and knowledge. In this paper we will show how formal ontologies can evolve from a crisp, deterministic framework (ontologies of hard knowledge to new probabilistic, fuzzy or possibilistic frameworks (ontologies of soft knowledge. This can considerably enlarge the application potential of formal ontologies in geographic analysis and planning, where soft knowledge is intrinsically linked to the complexity of the phenomena under study.  The paper briefly presents these new uncertainty-based formal ontologies. It then highlights how ontologies are formal tools to define both concepts and relations among concepts. An example from the domain of urban geography finally shows how the cause-to-effect relation between household preferences and urban sprawl can be encoded within a crisp, a probabilistic and a possibilistic ontology, respectively. The ontology formalism will also determine the kind of reasoning that can be developed from available knowledge. Uncertain ontologies can be seen as the preliminary phase of more complex uncertainty-based models. The advantages of moving to uncertainty-based models is evident: whether it is in the analysis of geographic space or in decision support for planning, reasoning on geographic space is almost always reasoning with uncertain knowledge of geographic phenomena.

Formalization of Many-Valued Logics

DEFF Research Database (Denmark)

Villadsen, Jørgen; Schlichtkrull, Anders

2017-01-01

Partiality is a key challenge for computational approaches to artificial intelligence in general and natural language in particular. Various extensions of classical two-valued logic to many-valued logics have been investigated in order to meet this challenge. We use the proof assistant Isabelle...... to formalize the syntax and semantics of many-valued logics with determinate as well as indeterminate truth values. The formalization allows for a concise presentation and makes automated verification possible....

Helicity formalism and spin effects

International Nuclear Information System (INIS)

Anselmino, M.; Caruso, F.; Piovano, U.

1990-01-01

The helicity formalism and the technique to compute amplitudes for interaction processes involving leptons, quarks, photons and gluons are reviewed. Explicit calculations and examples of exploitation of symmetry properties are shown. The formalism is then applied to the discussion of several hadronic processes and spin effects: the experimental data, when related to the properties of the elementary constituent interactions, show many not understood features. Also the nucleon spin problem is briefly reviewed. (author)

Towards Formal Implementation of PUS Standard

Science.gov (United States)

Ilić, D.

2009-05-01

As an effort to promote the reuse of on-board and ground systems ESA developed a standard for packet telemetry and telecommand - PUS. It defines a set of standard service models with the corresponding structures of the associated telemetry and telecommand packets. Various missions then can choose to implement those standard PUS services that best conform to their specific requirements. In this paper we propose a formal development (based on the Event-B method) of reusable service patterns, which can be instantiated for concrete application. Our formal models allow us to formally express and verify specific service properties including various telecommand and telemetry packet structure validation.

Survey of Existing Tools for Formal Verification.

Energy Technology Data Exchange (ETDEWEB)

Punnoose, Ratish J.; Armstrong, Robert C.; Wong, Matthew H.; Jackson, Mayo

2014-12-01

Formal methods have come into wide use because of their effectiveness in verifying "safety and security" requirements of digital systems; a set of requirements for which testing is mostly ineffective. Formal methods are routinely used in the design and verification of high-consequence digital systems in industry. This report outlines our work in assessing the capabilities of commercial and open source formal tools and the ways in which they can be leveraged in digital design workflows.

Multiverse in the Third Quantized Formalism

International Nuclear Information System (INIS)

Faizal Mir

2014-01-01

In this paper we will analyze the third quantization of gravity in path integral formalism. We will use the time-dependent version of Wheeler—DeWitt equation to analyze the multiverse in this formalism. We will propose a mechanism for baryogenesis to occur in the multiverse, without violating the baryon number conservation. (general)

Chiral symmetry breaking is permitted in supersymmetric QED

International Nuclear Information System (INIS)

Walker, M.

2000-01-01

Full text: A chirally symmetric theory will generally have a chirally symmetric and a chirally asymmetric solution for the dressed fermionic propagator. It has been claimed that no chirally asymmetric solution for the fermionic propagator exists in supersymmetric QED. This result in the superfield formalism uses a gauge dependent argument whose validity has since been questioned. We present an analogous analysis using the component formalism which demonstrates that chiral symmetry breaking is permitted in this theory. We open the presentation with a brief introduction to supersymmetry, supersymmetric QED, and the superfield formalism. We describe chiral symmetry breaking and the Dyson-Schwinger equation used to analyse it. The derivation of the erroneous theorem claiming the lack of an a chiral propagator is outlined and its flaws discussed. We finish with the equivalent derivation in component fields and our contradictory result

Quarkonia in the Bethe--Salpeter formalism with background fields

International Nuclear Information System (INIS)

Mathur, Y.K.; Mitra, A.N.

1989-01-01

A QCD-oriented Bethe--Salpeter (BS) equation for a q bar q system is formulated in which the quark 4-momenta p μ are modified as p μ →p μ -gA μ (x) in the inverse propagators therein, and a Fock--Schwinger (FS) gauge expansion is employed for the gluon fields A μ (x). The first term (∼x μ ) of the FS representation yields a harmonic kernel when the BS equation is reduced to a 3-dimensional level via the null-plane ansatz (NPA). It also generates a spin-dependent interaction proportional to (j 1 +s 1 )·(j 2 +s 2 ), in close parallel to a J·S term generated by a vector-like (γ (1) gamma(2)) harmonic model for the q bar q interaction proposed earlier by the Delhi Group. A possible mechanism for confinement in an asymptotically linear scene is proposed within the BS framework, taking cue partly from the suggestions of multiple correlation effects (Shifman), and partly from the postulation of stochastic fields (Simonov)

The Formalization of Cultural Psychology. Reasons and Functions.

Science.gov (United States)

Salvatore, Sergio

2017-03-01

In this paper I discuss two basic theses about the formalization of cultural psychology. First, I claim that formalization is a relevant, even necessary stage of development of this domain of science. This is so because formalization allows the scientific language to achieve a much needed autonomy from the commonsensical language of the phenomena that this science deals with. Second, I envisage the two main functions that formalization has to perform in the field of cultural psychology: on the one hand, it has to provide formal rules grounding and constraining the deductive construction of the general theory; on the other hand, it has to provide the devices for supporting the interpretation of local phenomena, in terms of the abductive reconstruction of the network of linkages among empirical occurrences comprising the local phenomena.

Formal specifications for safety grade systems

International Nuclear Information System (INIS)

Chisholm, G.H.; Smith, B.T.; Wojcik, A.S.

1992-01-01

The authors describe the findings of a study into the application of formal methods to the specification of a safety system for an operating nuclear reactor. They developed a formal specification that is used to verify and validate that no unsafe condition will result from action or inaction of the system. For this reason, the specification must facilitate thinking about, talking about, and implementing the system. In fact, the specification must provide a bridge between people (designers, engineers, policy makers) and diverse implementations (hardware, software, sensors, power supplies) at all levels. For a specification to serve as an effective linkage, it must have the following properties: (1) completeness, (2) conciseness, (3) unambiguity, and (4) communicativeness. In this paper they describe the development of a specification that has three properties. This development is based on the use of formal methods, i.e., methods that add mathematical rigor to the development, analysis and operation of computer systems and to applications based thereon (Neumann). They demonstrate that a specification derived from a formal basis facilitates development of the design and its subsequent verification

Formal truncations of connected kernel equations

International Nuclear Information System (INIS)

Dixon, R.M.

1977-01-01

The Connected Kernel Equations (CKE) of Alt, Grassberger and Sandhas (AGS); Kouri, Levin and Tobocman (KLT); and Bencze, Redish and Sloan (BRS) are compared against reaction theory criteria after formal channel space and/or operator truncations have been introduced. The Channel Coupling Class concept is used to study the structure of these CKE's. The related wave function formalism of Sandhas, of L'Huillier, Redish and Tandy and of Kouri, Krueger and Levin are also presented. New N-body connected kernel equations which are generalizations of the Lovelace three-body equations are derived. A method for systematically constructing fewer body models from the N-body BRS and generalized Lovelace (GL) equations is developed. The formally truncated AGS, BRS, KLT and GL equations are analyzed by employing the criteria of reciprocity and two-cluster unitarity. Reciprocity considerations suggest that formal truncations of BRS, KLT and GL equations can lead to reciprocity-violating results. This study suggests that atomic problems should employ three-cluster connected truncations and that the two-cluster connected truncations should be a useful starting point for nuclear systems

Formalizing Implementation Strategies for First-Class Continuations

DEFF Research Database (Denmark)

Danvy, Olivier

1999-01-01

We present the first formalization of implementation strategies for first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) programs with a special treatment for the current continuation, accounting for the essence of first-class continuations......-class continuations and that second-class continuations are stackable. A large body of work exists on implementing continuations, but it is predominantly empirical and implementation-oriented. In contrast, our formalization abstracts the essence of first-class continuations and provides a uniform setting...

Formalizing Implementation Strategies for First-Class Continuations

DEFF Research Database (Denmark)

Danvy, Olivier

2000-01-01

We present the first formalization of implementation strategies for first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) programs with a special treatment for the current continuation, accounting for the essence of first-class continuations......-class continuations and that second-class continuations are stackable. A large body of work exists on implementing continuations, but it is predominantly empirical and implementation-oriented. In contrast, our formalization abstracts the essence of first-class continuations and provides a uniform setting...

New Technologies and Learning Environments: A Perspective from Formal and Non-Formal Education in Baja California, Mexico

Science.gov (United States)

Zamora, Julieta Lopez; Reynaga, Francisco Javier Arriaga

2010-01-01

This paper presents results of two research works, the first approaches non-formal education and the second addresses formal education. In both studies in-depth interview techniques were used. There were some points of convergence between them on aspects such as the implementation of learning environments and the integration of ICT. The interview…

Formal verification of industrial control systems

CERN Multimedia

CERN. Geneva

2015-01-01

Verification of critical software is a high priority but a challenging task for industrial control systems. For many kinds of problems, testing is not an efficient method. Formal methods, such as model checking appears to be an appropriate complementary method. However, it is not common to use model checking in industry yet, as this method needs typically formal methods expertise and huge computing power. In the EN-ICE-PLC section, we are working on a [methodology][1] and a tool ([PLCverif][2]) to overcome these challenges and to integrate formal verification in the development process of our PLC-based control systems. [1]: http://cern.ch/project-plc-formalmethods [2]: http://cern.ch/plcverif

Towards a Formal Model of Social Data

DEFF Research Database (Denmark)

Mukkamala, Raghava Rao; Vatrapu, Ravi; Hussain, Abid

, transform, analyse, and report social data from social media platforms such as Facebook and twitter. Formal methods, models and tools for social data are largely limited to graph theoretical approaches informing conceptual developments in relational sociology and methodological developments in social...... network analysis. As far as we know, there are no integrated modeling approaches to social data across the conceptual, formal and software realms. Social media analytics can be undertaken in two main ways - ”Social Graph Analytics” and ”Social Text Analytics” (Vatrapu, in press/2013). Social graph......, we exemplify the semantics of the formal model with real-world social data examples. Third, we briefly present and discuss the Social Data Analytics Tool (SODATO) that realizes the conceptual model in software and provisions social data for computational social science analysis based on the formal...

"Passing It On": Beyond Formal or Informal Pedagogies

Science.gov (United States)

Cain, Tim

2013-01-01

Informal pedagogies are a subject of debate in music education, and there is some evidence of teachers abandoning formal pedagogies in favour of informal ones. This article presents a case of one teacher's formal pedagogy and theorises it by comparing it with a case of informal pedagogy. The comparison reveals affordances of formal pedagogies…

An approach of requirements tracing in formal refinement

DEFF Research Database (Denmark)

Jastram, Michael; Hallerstede, Stefan; Leuschel, Michael

2010-01-01

Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing systems can be addressed by formal refinement introducing all the necessary details piecemeal. We report on preliminar...... changes, making use of corresponding techniques already built into the Event-B method....

Y-formalism and curved {beta}-{gamma} systems

Energy Technology Data Exchange (ETDEWEB)

Grassi, Pietro Antonio [DISTA, Universita del Piemonte Orientale, via Bellini 25/g, 15100 Alessandria (Italy); INFN - Sezione di Torino (Italy)], E-mail: antonio.pietro.grassi@cern.ch; Oda, Ichiro [Department of Physics, Faculty of Science, University of the Ryukyus, Nishihara, Okinawa 903-0213 (Japan); Tonin, Mario [Dipartimento di Fisica, Universita degli Studi di Padova, INFN, Sezionedi Padova, Via F. Marzolo 8, 35131 Padova (Italy)

2009-01-01

We adopt the Y-formalism to study {beta}-{gamma} systems on hypersurfaces. We compute the operator product expansions of gauge-invariant currents and we discuss some applications of the Y-formalism to model on Calabi-Yau spaces.

Y-formalism and curved β-γ systems

International Nuclear Information System (INIS)

Grassi, Pietro Antonio; Oda, Ichiro; Tonin, Mario

2009-01-01

We adopt the Y-formalism to study β-γ systems on hypersurfaces. We compute the operator product expansions of gauge-invariant currents and we discuss some applications of the Y-formalism to model on Calabi-Yau spaces

Playing with Quantum Toys: Julian Schwinger's Measurement Algebra and the Material Culture of Quantum Mechanics Pedagogy at Harvard in the 1960s

Science.gov (United States)

Gauvin, Jean-François

2018-03-01

In the early 1960s, a PhD student in physics, Costas Papaliolios, designed a simple—and playful—system of Polaroid polarizer filters with a specific goal in mind: explaining the core principles behind Julian Schwinger's quantum mechanical measurement algebra, developed at Harvard in the late 1940s and based on the Stern-Gerlach experiment confirming the quantization of electron spin. Papaliolios dubbed his invention "quantum toys." This article looks at the origins and function of this amusing pedagogical device, which landed half a century later in the Collection of Historical Scientific Instruments at Harvard University. Rendering the abstract tangible was one of Papaliolios's demonstration tactics in reforming basic teaching of quantum mechanics. This article contends that Papaliolios's motivation in creating the quantum toys came from a renowned endeavor aimed, inter alia, at reforming high-school physics training in the United States: Harvard Project Physics. The pedagogical study of these quantum toys, finally, compels us to revisit the central role playful discovery performs in pedagogy, at all levels of training and in all fields of knowledge.

A super-version of quasi-free second quantization. 1. Charged particles

International Nuclear Information System (INIS)

Grosse, H.; Langmann, E.

1990-01-01

We present a formalism comprising and extending quasi-free second quantization of charged bosons and fermions. The second quantization of one-particle observables leads to current superalgebras and a super Schwinger term shows up. We introduce anticommuting parameters in order to construct super Bogoliubov transformations mixing bosons and fermion. As an application, we give representations of Lie superalgebras which are semidirect products of extensions of affine Kac-Moody algebras and the Virasoro algebra, and of the super Virasoro algebra. (Authors) 36 refs

The formal operations: Piaget’s concept, researches and main critics

Directory of Open Access Journals (Sweden)

Stepanović Ivana Ž.

2004-01-01

Full Text Available This paper deals with Piaget's concept of formal operations, formal operations researches and critics related to the concept. The first part of the work is dedicated to the formal operations concept. The main characteristics of formal operational thought and formal operations structure, as well as structure logical model are presented in that part of the work. The second part is a review of formal operational researches and it is divided in three parts: (1 problems of researches (2 characteristics of applied methodology and (3 author approaches as a specific research context. In the last part of the work the main critics of formal operations concept are presented and discussed.

Application of Formal Methods in Software Engineering

Directory of Open Access Journals (Sweden)

Adriana Morales

2011-12-01

Full Text Available The purpose of this research work is to examine: (1 why are necessary the formal methods for software systems today, (2 high integrity systems through the methodology C-by-C –Correctness-by-Construction–, and (3 an affordable methodology to apply formal methods in software engineering. The research process included reviews of the literature through Internet, in publications and presentations in events. Among the Research results found that: (1 there is increasing the dependence that the nations have, the companies and people of software systems, (2 there is growing demand for software Engineering to increase social trust in the software systems, (3 exist methodologies, as C-by-C, that can provide that level of trust, (4 Formal Methods constitute a principle of computer science that can be applied software engineering to perform reliable process in software development, (5 software users have the responsibility to demand reliable software products, and (6 software engineers have the responsibility to develop reliable software products. Furthermore, it is concluded that: (1 it takes more research to identify and analyze other methodologies and tools that provide process to apply the Formal Software Engineering methods, (2 Formal Methods provide an unprecedented ability to increase the trust in the exactitude of the software products and (3 by development of new methodologies and tools is being achieved costs are not more a disadvantage for application of formal methods.

Formal Analysis of Graphical Security Models

DEFF Research Database (Denmark)

Aslanyan, Zaruhi

, software components and human actors interacting with each other to form so-called socio-technical systems. The importance of socio-technical systems to modern societies requires verifying their security properties formally, while their inherent complexity makes manual analyses impracticable. Graphical...... models for security offer an unrivalled opportunity to describe socio-technical systems, for they allow to represent different aspects like human behaviour, computation and physical phenomena in an abstract yet uniform manner. Moreover, these models can be assigned a formal semantics, thereby allowing...... formal verification of their properties. Finally, their appealing graphical notations enable to communicate security concerns in an understandable way also to non-experts, often in charge of the decision making. This dissertation argues that automated techniques can be developed on graphical security...

Formal verification of Simulink/Stateflow diagrams a deductive approach

CERN Document Server

Zhan, Naijun; Zhao, Hengjun

2017-01-01

This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.

Adolescent thinking ála Piaget: The formal stage.

Science.gov (United States)

Dulit, E

1972-12-01

Two of the formal-stage experiments of Piaget and Inhelder, selected largely for their closeness to the concepts defining the stage, were replicated with groups of average and gifted adolescents. This report describes the relevant Piagetian concepts (formal stage, concrete stage) in context, gives the methods and findings of this study, and concludes with a section discussing implications and making some reformulations which generally support but significantly qualify some of the central themes of the Piaget-Inhelder work. Fully developed formal-stage thinking emerges as far from commonplace among normal or average adolescents (by marked contrast with the impression created by the Piaget-Inhelder text, which chooses to report no middle or older adolescents who function at less than fully formal levels). In this respect, the formal stage differs appreciably from the earlier Piagetian stages, and early adolescence emerges as the age for which a "single path" model of cognitive development becomes seriously inadequate and a more complex model becomes essential. Formal-stage thinking seems best conceptualized, like most other aspects of psychological maturity, as a potentiality only partially attained by most and fully attained only by some.

Annihilation probability density and other applications of the Schwinger multichannel method to the positron and electron scattering

International Nuclear Information System (INIS)

Varella, Marcio Teixeira do Nascimento

2001-12-01

We have calculated annihilation probability densities (APD) for positron collisions against He atom and H 2 molecule. It was found that direct annihilation prevails at low energies, while annihilation following virtual positronium (Ps) formation is the dominant mechanism at higher energies. In room-temperature collisions (10 -2 eV) the APD spread over a considerable extension, being quite similar to the electronic densities of the targets. The capture of the positron in an electronic Feshbach resonance strongly enhanced the annihilation rate in e + -H 2 collisions. We also discuss strategies to improve the calculation of the annihilation parameter (Z eff ), after debugging the computational codes of the Schwinger Multichannel Method (SMC). Finally, we consider the inclusion of the Ps formation channel in the SMC and show that effective configurations (pseudo eigenstates of the Hamiltonian of the collision ) are able to significantly reduce the computational effort in positron scattering calculations. Cross sections for electron scattering by polyatomic molecules were obtained in three different approximations: static-exchange (SE); tatic-exchange-plus-polarization (SEP); and multichannel coupling. The calculations for polar targets were improved through the rotational resolution of scattering amplitudes in which the SMC was combined with the first Born approximation (FBA). In general, elastic cross sections (SE and SEP approximations) showed good agreement with available experimental data for several targets. Multichannel calculations for e - -H 2 O scattering, on the other hand, presented spurious structures at the electronic excitation thresholds (author)

Formal connections in deformation quantization

DEFF Research Database (Denmark)

Masulli, Paolo

The field of this thesis is deformation quantization, and we consider mainly symplectic manifolds equipped with a star product. After reviewing basics in complex geometry, we introduce quantization, focusing on geometric quantization and deformation quantization. The latter is defined as a star...... characteristic class, and that formal connections form an affine space over the derivations of the star products. Moreover, if the parameter space for the family of star products is contractible, we obtain that any two flat formal connections are gauge equivalent via a self-equivalence of the family of star...

A Conceptual Formalization of Crosscutting in AOSD

NARCIS (Netherlands)

van den Berg, Klaas; Conejero, J.M.

2005-01-01

We propose a formalization of crosscutting based on a conceptual framework for AOSD. Crosscutting is clearly distinguished from the related concepts scattering and tangling. The definitions of these concepts are formalized and visualized with matrices and matrix operations. This allows more precise

An exact formalism for Doppler-broadened neutron cross-sections

International Nuclear Information System (INIS)

Catsaros, Nicolas.

1985-07-01

An exact formalism (Ψ, Φ) is proposed for the calculation of Breit-Wigner or Adler-Adler Doppler-broadened neutron cross-sections. The well-known (Ψ, Φ) formalism is shown to be a zero-order approximation of the generalized (Ψ, Φ) formalism. (author)

User Interface Technology for Formal Specification Development

Science.gov (United States)

Lowry, Michael; Philpot, Andrew; Pressburger, Thomas; Underwood, Ian; Lum, Henry, Jr. (Technical Monitor)

1994-01-01

Formal specification development and modification are an essential component of the knowledge-based software life cycle. User interface technology is needed to empower end-users to create their own formal specifications. This paper describes the advanced user interface for AMPHION1 a knowledge-based software engineering system that targets scientific subroutine libraries. AMPHION is a generic, domain-independent architecture that is specialized to an application domain through a declarative domain theory. Formal specification development and reuse is made accessible to end-users through an intuitive graphical interface that provides semantic guidance in creating diagrams denoting formal specifications in an application domain. The diagrams also serve to document the specifications. Automatic deductive program synthesis ensures that end-user specifications are correctly implemented. The tables that drive AMPHION's user interface are automatically compiled from a domain theory; portions of the interface can be customized by the end-user. The user interface facilitates formal specification development by hiding syntactic details, such as logical notation. It also turns some of the barriers for end-user specification development associated with strongly typed formal languages into active sources of guidance, without restricting advanced users. The interface is especially suited for specification modification. AMPHION has been applied to the domain of solar system kinematics through the development of a declarative domain theory. Testing over six months with planetary scientists indicates that AMPHION's interactive specification acquisition paradigm enables users to develop, modify, and reuse specifications at least an order of magnitude more rapidly than manual program development.

NON-FORMAL EDUCATION WITHIN THE FUNCTION OF RESPONSIBLE PARENTING

Directory of Open Access Journals (Sweden)

Dragana Bogavac

2017-06-01

Full Text Available The aim of this survey was to discover to what degree parental non-formal education is present within the function of responsible parenting. The questionnaire research method was used in the survey. For the purpose of this research a questionnaire of 13 questions was constructed relating to the forms of non-formal education, and another questionnaire of 10 questions relating to the parents’ expectations of non-formal education. The sample included 198 parents. Examination of the scores concerning the presence of certain forms of parental non-formal education realized in cooperation with the school leads to the conclusion that the parents possess a positive attitude towards non-formal education. The analysis showed that the parents’ expectations were not on a satisfactory level. According to the results, the fathers displayed a greater interest towards non-formal education (7.72±1.35 than the mothers (6.93±1.85, (p<0.05. Unemployed parents had a greater score (7.85±1.30 than the employed parents (7.22±1.71, (p<0.05. A difference in the acceptance of non-formal education in accordance with the level of formal education was also noticeable (p<0.001. Respondents with a high school degree displayed the highest level of acceptance (7.97±0.78, while the lowest interest was seen in respondents with an associate degree (6.41±2.29. Univariate linear regression analysis showed that statistically important predictors were: gender (OR: -0.23 (-1.24 – -0.33, p< 0.001, work status (OR: -0.14 (-1.24 – -0.01, < 0.05 and the level of formal education (OR: -0.33 (-0.81 – -0.34, p< 0.001. The final results lead to the conclusion that parental non-formal education supports the concept of lifelong education.

DNA expressions - A formal notation for DNA

NARCIS (Netherlands)

Vliet, Rudy van

2015-01-01

We describe a formal notation for DNA molecules that may contain nicks and gaps. The resulting DNA expressions denote formal DNA molecules. Different DNA expressions may denote the same molecule. Such DNA expressions are called equivalent. We examine which DNA expressions are minimal, which

Opinion dynamics model based on quantum formalism

Energy Technology Data Exchange (ETDEWEB)

Artawan, I. Nengah, E-mail: nengahartawan@gmail.com [Theoretical Physics Division, Department of Physics, Udayana University (Indonesia); Trisnawati, N. L. P., E-mail: nlptrisnawati@gmail.com [Biophysics, Department of Physics, Udayana University (Indonesia)

2016-03-11

Opinion dynamics model based on quantum formalism is proposed. The core of the quantum formalism is on the half spin dynamics system. In this research the implicit time evolution operators are derived. The analogy between the model with Deffuant dan Sznajd models is discussed.

Formal analysis of a fair payment protocol

NARCIS (Netherlands)

J.G. Cederquist; M.T. Dashti (Mohammad)

2004-01-01

textabstractWe formally specify a payment protocol. This protocol is intended for fair exchange of time-sensitive data. Here the ?-CRL language is used to formalize the protocol. Fair exchange properties are expressed in the regular alternation-free ?-calculus. These properties are then verified

Formal methods for dependable real-time systems

Science.gov (United States)

Rushby, John

1993-01-01

The motivation for using formal methods to specify and reason about real time properties is outlined and approaches that were proposed and used are sketched. The formal verifications of clock synchronization algorithms are concluded as showing that mechanically supported reasoning about complex real time behavior is feasible. However, there was significant increase in the effectiveness of verification systems since those verifications were performed, at it is to be expected that verifications of comparable difficulty will become fairly routine. The current challenge lies in developing perspicuous and economical approaches to the formalization and specification of real time properties.

General many-body formalism for composite quantum particles.

Science.gov (United States)

Combescot, M; Betbeder-Matibet, O

2010-05-21

This Letter provides a formalism capable of exactly treating Pauli blocking between n-fermion particles. This formalism is based on an operator algebra made of commutators and anticommutators which contrasts with the usual scalar formalism of Green functions developed half a century ago for elementary quantum particles. We also provide the diagrams which visualize the very specific many-body physics induced by fermion exchanges between composite quantum particles.

The simplest formal argument for fitness optimization

Indian Academy of Sciences (India)

The Formal Darwinism Project aims to provide a formal argument linking population genetics to fitness optimization, which of necessity includes defining fitness. This bridges the gulf between those biologists who assume that natural selection leads to something close to fitness optimization and those biologists who believe ...

Formal Analysis of a Fair Payment Protocol

NARCIS (Netherlands)

Cederquist, J.G.; Dashti, M.T.

2004-01-01

We formally specify a payment protocol. This protocol is intended for fair exchange of timesensitive data. Here the μCRL language is used to formalize the protocol. Fair exchange properties are expressed in the regular alternation-free μ-calculus. These properties are then verified using the finite

Land grabbing and formalization in Africa : a critical inquiry

NARCIS (Netherlands)

Stein, H.; Cunningham, S.

2015-01-01

Two developments in Africa have generated an extensive literature. The first focuses on investment and land grabbing and the second on the formalization of rural property rights. Less has been written on the impact of formalization on land grabbing and of land grabbing on formalization. Recently,

A computational formalization for partial evaluation

DEFF Research Database (Denmark)

Hatcliff, John; Danvy, Olivier

1996-01-01

We formalize a partial evaluator for Eugenio Moggi's computational metalanguage. This formalization gives an evaluation-order independent view of binding-time analysis and program specialization, including a proper treatment of call unfolding. It also enables us to express the essence of `control......-based binding-time improvements' for let expressions. Specically, we prove that the binding-time improvements given by `continuation-based specialization' can be expressed in the metalanguage via monadic laws....

Infinitesimal Deformations of a Formal Symplectic Groupoid

Science.gov (United States)

Karabegov, Alexander

2011-09-01

Given a formal symplectic groupoid G over a Poisson manifold ( M, π 0), we define a new object, an infinitesimal deformation of G, which can be thought of as a formal symplectic groupoid over the manifold M equipped with an infinitesimal deformation {π_0 + \\varepsilon π_1} of the Poisson bivector field π 0. To any pair of natural star products {(ast,tildeast)} having the same formal symplectic groupoid G we relate an infinitesimal deformation of G. We call it the deformation groupoid of the pair {(ast,tildeast)} . To each star product with separation of variables {ast} on a Kähler-Poisson manifold M we relate another star product with separation of variables {hatast} on M. We build an algorithm for calculating the principal symbols of the components of the logarithm of the formal Berezin transform of a star product with separation of variables {ast} . This algorithm is based upon the deformation groupoid of the pair {(ast,hatast)}.

Formal verification of algorithms for critical systems

Science.gov (United States)

Rushby, John M.; Von Henke, Friedrich

1993-01-01

We describe our experience with formal, machine-checked verification of algorithms for critical applications, concentrating on a Byzantine fault-tolerant algorithm for synchronizing the clocks in the replicated computers of a digital flight control system. First, we explain the problems encountered in unsynchronized systems and the necessity, and criticality, of fault-tolerant synchronization. We give an overview of one such algorithm, and of the arguments for its correctness. Next, we describe a verification of the algorithm that we performed using our EHDM system for formal specification and verification. We indicate the errors we found in the published analysis of the algorithm, and other benefits that we derived from the verification. Based on our experience, we derive some key requirements for a formal specification and verification system adequate to the task of verifying algorithms of the type considered. Finally, we summarize our conclusions regarding the benefits of formal verification in this domain, and the capabilities required of verification systems in order to realize those benefits.

Matching biomedical ontologies based on formal concept analysis.

Science.gov (United States)

Zhao, Mengyi; Zhang, Songmao; Li, Weizhuo; Chen, Guowei

2018-03-19

The goal of ontology matching is to identify correspondences between entities from different yet overlapping ontologies so as to facilitate semantic integration, reuse and interoperability. As a well developed mathematical model for analyzing individuals and structuring concepts, Formal Concept Analysis (FCA) has been applied to ontology matching (OM) tasks since the beginning of OM research, whereas ontological knowledge exploited in FCA-based methods is limited. This motivates the study in this paper, i.e., to empower FCA with as much as ontological knowledge as possible for identifying mappings across ontologies. We propose a method based on Formal Concept Analysis to identify and validate mappings across ontologies, including one-to-one mappings, complex mappings and correspondences between object properties. Our method, called FCA-Map, incrementally generates a total of five types of formal contexts and extracts mappings from the lattices derived. First, the token-based formal context describes how class names, labels and synonyms share lexical tokens, leading to lexical mappings (anchors) across ontologies. Second, the relation-based formal context describes how classes are in taxonomic, partonomic and disjoint relationships with the anchors, leading to positive and negative structural evidence for validating the lexical matching. Third, the positive relation-based context can be used to discover structural mappings. Afterwards, the property-based formal context describes how object properties are used in axioms to connect anchor classes across ontologies, leading to property mappings. Last, the restriction-based formal context describes co-occurrence of classes across ontologies in anonymous ancestors of anchors, from which extended structural mappings and complex mappings can be identified. Evaluation on the Anatomy, the Large Biomedical Ontologies, and the Disease and Phenotype track of the 2016 Ontology Alignment Evaluation Initiative campaign

Non-Formal Educational Empowerment of Nigeria Youths for ...

African Journals Online (AJOL)

Religion Dept

discussed the concept of non-formal education, entrepreneurship and development, non-formal ... introducing some developmental programmes such as poverty alleviation .... aesthetic, cultural and civic education for public enlightenment.

Sound Computational Interpretation of Formal Encryption with Composed Keys

NARCIS (Netherlands)

Laud, P.; Corin, R.J.; In Lim, J.; Hoon Lee, D.

2003-01-01

The formal and computational views of cryptography have been related by the seminal work of Abadi and Rogaway. In their work, a formal treatment of encryption that uses atomic keys is justified in the computational world. However, many proposed formal approaches allow the use of composed keys, where

Educación no formal

Science.gov (United States)

Tignanelli, H.

Se comentan en esta comunicación, las principales contribuciones realizadas en el campo de la educación en astronomía en los niveles primario, secundario y terciario, como punto de partida para la discusión de la actual inserción de los contenidos astronómicos en los nuevos contenidos curriculares de la EGB - Educación General Básica- y Polimodal, de la Reforma Educativa. En particular, se discuten los alcances de la educación formal y no formal, su importancia para la capacitación de profesores y maestros, y perspectivas a futuro.

Restorative Practices as Formal and Informal Education

Science.gov (United States)

Carter, Candice C.

2013-01-01

This article reviews restorative practices (RP) as education in formal and informal contexts of learning that are fertile sites for cultivating peace. Formal practices involve instruction about response to conflict, while informal learning occurs beyond academic lessons. The research incorporated content analysis and a critical examination of the…

Formal Analysis of a Fair Payment Protocol

NARCIS (Netherlands)

Cederquist, J.G.; Dashti, Muhammad Torabi; Dimitrakos, Theo; Martinelli, Fabio

We formally specify a payment protocol described by Vogt et al. This protocol is intended for fair exchange of time-sensitive data. Here the mCRL language is used to formalize the protocol. Fair exchange properties are expressed in the regular alternation-free mu-calculus. These properties are then

A Comparitive Study of Subject Knowledge of B.Ed Graduates of Formal and Non-Formal Teacher Education Systems

Science.gov (United States)

Saif, Perveen; Reba, Amjad; ud Din, Jalal

2017-01-01

This study was designed to compare the subject knowledge of B.Ed graduates of formal and non-formal teacher education systems. The population of the study included all teachers from Girls High and Higher Secondary Schools both from private and public sectors from the district of Peshawar. Out of the total population, twenty schools were randomly…

Using formal specification in the Guidance and Control Software (GCS) experiment. Formal design and verification technology for life critical systems

Science.gov (United States)

Weber, Doug; Jamsek, Damir

1994-01-01

The goal of this task was to investigate how formal methods could be incorporated into a software engineering process for flight-control systems under DO-178B and to demonstrate that process by developing a formal specification for NASA's Guidance and Controls Software (GCS) Experiment. GCS is software to control the descent of a spacecraft onto a planet's surface. The GCS example is simplified from a real example spacecraft, but exhibits the characteristics of realistic spacecraft control software. The formal specification is written in Larch.

First order formalism for quantum gravity

International Nuclear Information System (INIS)

Gleiser, M.; Holman, R.; Neto, N.P.

1987-05-01

We develop a first order formalism for the quantization of gravity. We take as canonical variables both the induced metric and the extrinsic curvature of the (d - 1) -dimensional hypersurfaces obtained by the foliation of the d - dimensional spacetime. After solving the constraint algebra we use the Dirac formalism to quantize the theory and obtain a new representation for the Wheeler-DeWitt equation, defined in the functional space of the extrinsic curvature. We also show how to obtain several different representations of the Wheeler-DeWitt equation by considering actions differing by a total divergence. In particular, the intrinsic and extrinsic time approaches appear in a natural way, as do equivalent representations obtained by functional Fourier transforms of appropriate variables. We conclude with some remarks about the construction of the Hilbert space within the first order formalism. 10 refs

Formalization of the Resolution Calculus for First-Order Logic

DEFF Research Database (Denmark)

Schlichtkrull, Anders

2018-01-01

between unsatisfiable sets of clauses and finite semantic trees is formalized in Herbrand’s theorem. I discuss the difficulties that I had formalizing proofs of the lifting lemma found in the literature, and I formalize a correct proof. The completeness proof is by induction on the size of a finite...

Towards Formal Verification of a Separation Microkernel

Science.gov (United States)

Butterfield, Andrew; Sanan, David; Hinchey, Mike

2013-08-01

The best approach to verifying an IMA separation kernel is to use a (fixed) time-space partitioning kernel with a multiple independent levels of separation (MILS) architecture. We describe an activity that explores the cost and feasibility of doing a formal verification of such a kernel to the Common Criteria (CC) levels mandated by the Separation Kernel Protection Profile (SKPP). We are developing a Reference Specification of such a kernel, and are using higher-order logic (HOL) to construct formal models of this specification and key separation properties. We then plan to do a dry run of part of a formal proof of those properties using the Isabelle/HOL theorem prover.

Supersymmetry and the Parisi-Sourlas dimensional reduction: A rigorous proof

International Nuclear Information System (INIS)

Klein, A.; Landau, L.J.; Perez, J.F.

1984-01-01

Functional integrals that are formally related to the average correlation functions of a classical field theory in the presence of random external sources are given a rigorous meaning. Their dimensional reduction to the Schwinger functions of the corresponding quantum field theory in two fewer dimensions is proven. This is done by reexpressing those functional integrals as expectations of a supersymmetric field theory. The Parisi-Sourlas dimensional reduction of a supersymmetric field theory to a usual quantum field theory in two fewer dimensions is proven. (orig.)

Formality theory from Poisson structures to deformation quantization

CERN Document Server

Esposito, Chiara

2015-01-01

This book is a survey of the theory of formal deformation quantization of Poisson manifolds, in the formalism developed by Kontsevich. It is intended as an educational introduction for mathematical physicists who are dealing with the subject for the first time. The main topics covered are the theory of Poisson manifolds, star products and their classification, deformations of associative algebras and the formality theorem. Readers will also be familiarized with the relevant physical motivations underlying the purely mathematical construction.

Formal and informal credit in four provinces of Vietnam

DEFF Research Database (Denmark)

Barslund, Mikkel; Tarp, Finn

2008-01-01

This paper uses a survey of 932 rural households to uncover how the rural credit market operates in Vietnam. Households obtain credit through formal and informal lenders. Formal loans are almost entirely for production and asset accumulation, while informal loans are used for consumption smoothen......This paper uses a survey of 932 rural households to uncover how the rural credit market operates in Vietnam. Households obtain credit through formal and informal lenders. Formal loans are almost entirely for production and asset accumulation, while informal loans are used for consumption...

Fourier Series Formalization in ACL2(r

Directory of Open Access Journals (Sweden)

Cuong K. Chau

2015-09-01

Full Text Available We formalize some basic properties of Fourier series in the logic of ACL2(r, which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework for formally evaluating definite integrals of real-valued, continuous functions using the Second Fundamental Theorem of Calculus. Our extended framework is also applied to functions containing free arguments. Using this framework, we are able to prove the orthogonality relationships between trigonometric functions, which are the essential properties in Fourier series analysis. The sum rule for definite integrals of indexed sums is also formalized by applying the extended framework along with the First Fundamental Theorem of Calculus and the sum rule for differentiation. The Fourier coefficient formulas of periodic functions are then formalized from the orthogonality relations and the sum rule for integration. Consequently, the uniqueness of Fourier sums is a straightforward corollary. We also present our formalization of the sum rule for definite integrals of infinite series in ACL2(r. Part of this task is to prove the Dini Uniform Convergence Theorem and the continuity of a limit function under certain conditions. A key technique in our proofs of these theorems is to apply the overspill principle from non-standard analysis.

Formal methods for industrial critical systems a survey of applications

CERN Document Server

Margaria-Steffen, Tiziana

2012-01-01

"Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner.Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of...

Proceedings of the First NASA Formal Methods Symposium

Science.gov (United States)

Denney, Ewen (Editor); Giannakopoulou, Dimitra (Editor); Pasareanu, Corina S. (Editor)

2009-01-01

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

On Fitting a Formal Method into Practice

DEFF Research Database (Denmark)

Gmehlich, Rainer; Grau, Katrin; Hallerstede, Stefan

2011-01-01

. The interaction between the two proved to be crucial for the success of the case study. The heart of the problem was tracing informal requirements from Problem Frames descriptions to formal Event-B models. To a large degree, this issue dictated the approach that had to be used for formal modelling. A dedicated...

Formal, non-formal and informal learning in music : vocal students as animateurs : a case study of non-formal learning

NARCIS (Netherlands)

Kors, Ninja; Mak, Peter

2006-01-01

The pilot project that will be described in this report was all about the animateur. What are his skills and attitudes? What are the pedagogical interventions that he uses in a workshop or an event? What are the main issues that arise when we try to include such a naturally non-formal and informal

Non-Formal Education: Interest in Human Capital

Science.gov (United States)

Ivanova, I. V.

2016-01-01

We define non-formal education as a part of general education, which gives students the required tools for cognition and creativity. It allows them to fully realize their self-potential and to set their own professional and personal goals. In this article, we outline the fundamental differences between general and non-formal education from the…

Rapid Prototyping of Formally Modelled Distributed Systems

OpenAIRE

Buchs, Didier; Buffo, Mathieu; Titsworth, Frances M.

1999-01-01

This paper presents various kinds of prototypes, used in the prototyping of formally modelled distributed systems. It presents the notions of prototyping techniques and prototype evolution, and shows how to relate them to the software life-cycle. It is illustrated through the use of the formal modelling language for distributed systems CO-OPN/2.

The formal path integral and quantum mechanics

International Nuclear Information System (INIS)

Johnson-Freyd, Theo

2010-01-01

Given an arbitrary Lagrangian function on R d and a choice of classical path, one can try to define Feynman's path integral supported near the classical path as a formal power series parameterized by 'Feynman diagrams', although these diagrams may diverge. We compute this expansion and show that it is (formally, if there are ultraviolet divergences) invariant under volume-preserving changes of coordinates. We prove that if the ultraviolet divergences cancel at each order, then our formal path integral satisfies a 'Fubini theorem' expressing the standard composition law for the time evolution operator in quantum mechanics. Moreover, we show that when the Lagrangian is inhomogeneous quadratic in velocity such that its homogeneous-quadratic part is given by a matrix with constant determinant, then the divergences cancel at each order. Thus, by 'cutting and pasting' and choosing volume-compatible local coordinates, our construction defines a Feynman-diagrammatic 'formal path integral' for the nonrelativistic quantum mechanics of a charged particle moving in a Riemannian manifold with an external electromagnetic field.

Learning in later life: participation in formal, non-formal and informal activities in a nationally representative Spanish sample.

Science.gov (United States)

Villar, Feliciano; Celdrán, Montserrat

2013-06-01

This article examines the participation of Spanish older people in formal, non-formal and informal learning activities and presents a profile of participants in each kind of learning activity. We used data from a nationally representative sample of Spanish people between 60 and 75 years old ( n  = 4,703). The data were extracted from the 2007 Encuesta sobre la Participación de la Población Adulta en Actividades de Aprendizaje (EADA, Survey on Adult Population Involvement in Learning Activities). Overall, only 22.8 % of the sample participated in a learning activity. However, there was wide variation in the participation rates for the different types of activity. Informal activities were far more common than formal ones. Multivariate logistic regression indicated that education level and involvement in social and cultural activities were associated with likelihood of participating, regardless of the type of learning activity. When these variables were taken into account, age did not predict decreasing participation, at least in non-formal and informal activities. Implications for further research, future trends and policies to promote older adult education are discussed.

A diagrammatic construction of formal E-independent model hamiltonian

International Nuclear Information System (INIS)

Kvasnicka, V.

1977-01-01

A diagrammatic construction of formal E-independent model interaction (i.e., without second-quantization formalism) is suggested. The construction starts from the quasi-degenerate Brillouin-Wigner perturbation theory, in the framework of which an E-dependent model Hamiltonian is simply constructed. Applying the ''E-removing'' procedure to this E-dependent model Hamiltonian, the E-independent formal model Hamiltonian either Hermitian or non-Hermitian can diagrammatically be easily derived. For the formal E-independent model Hamiltonian the separability theorem is proved, which can be profitably used for a rather ''formalistic ''construction of a many-body E-independent model Hamiltonian

Cohomology in the Pure Spinor Formalism for the Superstring

International Nuclear Information System (INIS)

Berkovits, Nathan

2000-01-01

A manifestly super-Poincare covariant formalism for the superstring has recently been constructed using a pure spinor variable. Unlike the covariant Green-Schwarz formalism, this new formalism is easily quantized with a BRST operator and tree-level scattering amplitudes have been evaluated in a manifestly covariant manner. In this paper, the cohomology of the BRST operator in the pure spinor formalism is shown to give the usual light-cone Green-Schwarz spectrum. Although the BRST operator does not directly involve the Virasoro constraint, this constraint emerges after expressing the pure spinor variable in terms of SO(8) variables. (author)

Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant

DEFF Research Database (Denmark)

Villadsen, Jørgen; Schlichtkrull, Anders

2017-01-01

We present a formalization of a so-called paraconsistent logic that avoids the catastrophic explosiveness of inconsistency in classical logic. The paraconsistent logic has a countably infinite number of non-classical truth values. We show how to use the proof assistant Isabelle to formally prove...... theorems in the logic as well as meta-theorems about the logic. In particular, we formalize a meta-theorem that allows us to reduce the infinite number of truth values to a finite number of truth values, for a given formula, and we use this result in a formalization of a small case study....

Rapidly converging path integral formalism. Pt. 1

International Nuclear Information System (INIS)

Bender, I.; Gromes, D.; Marquard, U.

1990-01-01

The action to be used in the path integral formalism is expanded in a systematic way in powers of the time spacing ε in order to optimize the convergence to the continuum limit. This modifies and extends the usual formalism in a transparent way. The path integral approximation to the Green function obtained by this method approaches the continuum Green function with a higher power of ε than the usual one. The general theoretical derivations are exemplified analytically for the harmonic oscillator and by Monte Carlo methods for the anharmonic oscillator. We also show how curvilinear coordinates and curved spaces can naturally be treated within this formalism. Work on field theory is in progress. (orig.)

Preparation and Characterization of Formalated Polyvinyl Alcohol Hydrogel Film

International Nuclear Information System (INIS)

Than Than Aye; Nyunt Win; San Myint

2011-12-01

A feasible hydrogen film was prepared from polyvinyl alcohol (PVA) sample. The effect of chemical grafting on polyvinyl alcohol film was studied. Polyvinyl alcohol sample was mixed with distilled water and autoclaved at 121C for 60 minutes. An aqueous solution of polyvinyl alcohol was casted into a steel plate and dried for a certain time at room temperature. The obtained PVA film was immersed in formalation bath containing aqueous formaldehyde, sulphuric acid, anhydrous sodium sulphate with a weight ratio of (64:95:300) and 1 liter of distilled water at 60C for various hours. Effect of formalation time was studied varying 6, 12, 24, 36 and 48 hours. Degree of formalation was also evaluated. Physical properties of the hydrogel film such as gel fraction, degree of swelling and mechanical properties such as tensile strength, elongation and hardness were determined before and after formalation of the PVA film. Fourier Transform Infrared Spectroscopic (FTIR) analysis, Thermogravimetric / Differential thermal analysis (DTA / TG) were also studied for characterization. It was found that the appropriate condition for formalation was occured at 24 hours formalation time of with the calculated degree of formalation 65.35% with the determined values (9.04 Mpa) for tensile strength, (241.92%) for elongation, (45.30 Shore D) for hardness, (280.36%) for degree of swelling and (68.32%) for gel fraction.

FORMS OF LEARNING WITHIN HIGHER EDUCATION. BLENDING FORMAL, INFORMAL AND NON-FORMAL

Directory of Open Access Journals (Sweden)

Irina- Teodora MANOLESCU

2018-07-01

Full Text Available Changes that occur in the socio-economic environment determine new challenges for individuals that strive to acquire new, more valuable competencies. The universities, considered one of the most important pillars in developing such competencies, are challenged to develop and harmonize different forms of education (formal, informal and non-formal in order to respond to individuals’ and organizations’ needs. The mixture of learning forms can bring competitive advantage for the universities. However mixing the learning forms is not so easy to accomplish, considering that the stakeholders’ requirements could be divergent and the resources are limited. This paper aims at presenting the advantages and disadvantages of these forms of learning and also outlines few examples of the interferences. At last, the paper presents some preliminary results of a quantitative research regarding the perception on the usage of the three forms of learning of one of its stakeholders - the higher education candidates. Some implications for both universities and high school education are highlighted.

The Assignment of Judging in the New Code of Civil Procedure: The Interactions Between the Legal Formalism and Democratic Formalism

Directory of Open Access Journals (Sweden)

Alan Da Silva Esteves Da Silva Esteves

2016-10-01

Full Text Available The assignment of judging in the new Code of Civil Procedure starts with the interactions between classical formalism and democratic formalism. The theories of constitutional hermeneutics, of civil adjectival law and of traditional Positivism are used in order to reaffirm the requirement of motivating the judgment in the higher degree of quality. It is necessary to understand the changes of the standards on the legal interpretation and the act of judging. The concept of jurisdiction in the Constitutional State connects to the constitutional principles of justice and fundamental rights, and approach the formal aspects of materials.

Retrocausation in quantum mechanics and the effects of minds on the creation of physical reality

Science.gov (United States)

Stapp, Henry P.

2017-05-01

The classical physical theories that prevailed in science from the time of Isaac Newton until the dawn of the twentieth century were empirically based on human experience and made predictions about our mental experiences, yet excluded from the dynamics all mental properties. But how can one rationally get mental things out if no mental elements are put in? The key step in the creation of quantum mechanics during 1925 by Heisenberg and his colleagues was to recognize and emphasize the essential dynamical role of mental properties in the creation of our mental empirical findings. This basic feature of quantum mechanics was cast into rigorous mathematical form by John von Neumann, and was made a central feature of contemporary relativistic quantum field theory by the work of Tomonaga and Schwinger. That theory is causally strictly forward in time. But it is explained here how it can nevertheless accommodate the seeming backward-in-time causal effects reported by D.J. Bem, and many others, by means of a slight biasing of the famous Born Rule. The purpose of this communication is to explain how those reported retrocausal findings can be explained by a strictly forward-in-time and nearly orthodox causal dynamics that, however, permits the Born Rule to be slightly biased under certain conditions. A feasible experiment is proposed that, if it gives the outcomes predicted by the proposed theory, will provide evidence in favor of this causally forward-in-time and nearly orthodox explanation of the reported retrocausal effects.

Condensates in quantum chromodynamics and the cosmological constant

Science.gov (United States)

Brodsky, Stanley J.; Shrock, Robert

2011-01-01

Casher and Susskind [Casher A, Susskind L (1974) Phys Rev 9:436–460] have noted that in the light-front description, spontaneous chiral symmetry breaking is a property of hadronic wavefunctions and not of the vacuum. Here we show from several physical perspectives that, because of color confinement, quark and gluon condensates in quantum chromodynamics (QCD) are associated with the internal dynamics of hadrons. We discuss condensates using condensed matter analogues, the Anti de Sitter/conformal field theory correspondence, and the Bethe–Salpeter–Dyson–Schwinger approach for bound states. Our analysis is in agreement with the Casher and Susskind model and the explicit demonstration of “in-hadron” condensates by Roberts and coworkers [Maris P, Roberts CD, Tandy PC (1998) Phys Lett B 420:267–273], using the Bethe–Salpeter–Dyson–Schwinger formalism for QCD-bound states. These results imply that QCD condensates give zero contribution to the cosmological constant, because all of the gravitational effects of the in-hadron condensates are already included in the normal contribution from hadron masses.

Barriers to formal emergency obstetric care services' utilization.

Science.gov (United States)

Essendi, Hildah; Mills, Samuel; Fotso, Jean-Christophe

2011-06-01

Access to appropriate health care including skilled birth attendance at delivery and timely referrals to emergency obstetric care services can greatly reduce maternal deaths and disabilities, yet women in sub-Saharan Africa continue to face limited access to skilled delivery services. This study relies on qualitative data collected from residents of two slums in Nairobi, Kenya in 2006 to investigate views surrounding barriers to the uptake of formal obstetric services. Data indicate that slum dwellers prefer formal to informal obstetric services. However, their efforts to utilize formal emergency obstetric care services are constrained by various factors including ineffective health decision making at the family level, inadequate transport facilities to formal care facilities and insecurity at night, high cost of health services, and inhospitable formal service providers and poorly equipped health facilities in the slums. As a result, a majority of slum dwellers opt for delivery services offered by traditional birth attendants (TBAs) who lack essential skills and equipment, thereby increasing the risk of death and disability. Based on these findings, we maintain that urban poor women face barriers to access of formal obstetric services at family, community, and health facility levels, and efforts to reduce maternal morbidity and mortality among the urban poor must tackle the barriers, which operate at these different levels to hinder women's access to formal obstetric care services. We recommend continuous community education on symptoms of complications related to pregnancy and timely referral. A focus on training of health personnel on "public relations" could also restore confidence in the health-care system with this populace. Further, we recommend improving the health facilities in the slums, improving the services provided by TBAs through capacity building as well as involving TBAs in referral processes to make access to services timely. Measures can also be

Formalizing Darwinism and inclusive fitness theory.

Science.gov (United States)

Grafen, Alan

2009-11-12

Inclusive fitness maximization is a basic building block for biological contributions to any theory of the evolution of society. There is a view in mathematical population genetics that nothing is caused to be maximized in the process of natural selection, but this is explained as arising from a misunderstanding about the meaning of fitness maximization. Current theoretical work on inclusive fitness is discussed, with emphasis on the author's 'formal Darwinism project'. Generally, favourable conclusions are drawn about the validity of assuming fitness maximization, but the need for continuing work is emphasized, along with the possibility that substantive exceptions may be uncovered. The formal Darwinism project aims more ambitiously to represent in a formal mathematical framework the central point of Darwin's Origin of Species, that the mechanical processes of inheritance and reproduction can give rise to the appearance of design, and it is a fitting ambition in Darwin's bicentenary year to capture his most profound discovery in the lingua franca of science.

Orality and literacy, formality and informality in email communication

Directory of Open Access Journals (Sweden)

Carmen Pérez Sabater

2008-04-01

Full Text Available Approaches to the linguistic characteristics of computer-mediated communication (CMC have highlighted the frequent oral traits involved in electronic mail along with features of written language. But email is today a new communication exchange medium in social, professional and academic settings, frequently used as a substitute for the traditional formal letter. The oral characterizations and linguistic formality involved in this use of emails are still in need of research. This paper explores the formal and informal features in emails based on a corpus of messages exchanged by academic institutions, and studies the similarities and differences on the basis of their mode of communication (one-to-one or one-to-many and the sender’s mother tongue (native or nonnative. The language samples collected were systematically analyzed for formality of greetings and farewells, use of contractions, politeness indicators and non-standard linguistic features. The findings provide new insights into traits of orality and formality in email communication and demonstrate the emergence of a new style in writing for even the most important, confidential and formal purposes which seems to be forming a new sub-genre of letter-writing.

A formalization of the Berlekamp-Zassenhaus factorization algorithm

NARCIS (Netherlands)

Divasón, Jose; Joosten, Sebastiaan; Thiemann, René; Yamada, Akihisa

2017-01-01

We formalize the Berlekamp–Zassenhaus algorithm for factoring square-free integer polynomials in Isabelle/HOL. We further adapt an existing formalization of Yun’s square-free factorization algorithm to integer polynomials, and thus provide an efficient and certified factorization algorithm for

Relating Lagrangian and Hamiltonian Formalisms of LC Circuits

NARCIS (Netherlands)

Clemente-Gallardo, Jesús; Scherpen, Jacquelien M.A.

2003-01-01

The Lagrangian formalism earlier defined for (switching) electrical circuits, is adapted to the Lagrangian formalism defined on Lie algebroids. This allows us to define regular Lagrangians and consequently, well-defined Hamiltonian descriptions of arbitrary LC networks. The relation with other

Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems

Science.gov (United States)

2014-05-16

ACM, Inc., fax +1 (212) 869-0481. Formalisms Languages and ToolsViewpoints supported by implemented by based on Figure 1: Framework for Viewpoints...Description Languages Examples: VHDL , Verilog, and AMS extensions Reactive languages Examples: SCADE/Lustre and Giotto Model Checkers Examples: Spin, NuSMV...syntax and a formal semantics. Languages are con- crete implementations of formalisms. A language has a con- crete syntax, may deviate slightly from

Formal methods for discrete-time dynamical systems

CERN Document Server

Belta, Calin; Aydin Gol, Ebru

2017-01-01

This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models. The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.

Linguistic Formalism for Semi-Autonomous Reactor Operation

International Nuclear Information System (INIS)

Joo, Sungmoon; Seo, Sang Mun; Suh, Yong-Suk; Park, Cheol

2017-01-01

The ultimate goal of our work is to develop a novel, integrated system for semi-autonomous reactor operation by introducing an interfacing language shared by human reactor operators and artificially intelligent service agents (e.g., robots). We envision that human operators and artificially intelligent service agents operate the reactor cooperatively in the future. For example, an artificially intelligent service agent carries out a human reactor operator's command or reports the result of a task commanded by the human reactor operator. This work presents preliminary work towards a unified linguistic formalism for cooperative, semiautonomous reactor operation. Application of the proposed formalism to reactor operator communication domain shows that the formalism effectively captures the syntax and semantics of the domain-specific language defined by the communication protocol.

Formal Concept Analysis for Information Retrieval

OpenAIRE

Qadi, Abderrahim El; Aboutajedine, Driss; Ennouary, Yassine

2010-01-01

In this paper we describe a mechanism to improve Information Retrieval (IR) on the web. The method is based on Formal Concepts Analysis (FCA) that it is makes semantical relations during the queries, and allows a reorganizing, in the shape of a lattice of concepts, the answers provided by a search engine. We proposed for the IR an incremental algorithm based on Galois lattice. This algorithm allows a formal clustering of the data sources, and the results which it turns over are classified by ...

Formal Institutions and Subjective Well-Being

DEFF Research Database (Denmark)

Bjørnskov, Christian; Dreher, Axel; Fischer, Justina

A long tradition in economics explores the association between the quality of formal institutions and economic performance. The literature on the relationship between such institutions and happiness is, however, rather limited. In this paper, we revisit the findings from recent cross-country stud......A long tradition in economics explores the association between the quality of formal institutions and economic performance. The literature on the relationship between such institutions and happiness is, however, rather limited. In this paper, we revisit the findings from recent cross...

The formal and the formalized: the cases of syllogistic and supposition theory

NARCIS (Netherlands)

Dutilh Novaes, Catarina

2015-01-01

As a discipline, logic is arguably constituted of two main sub-projects: formal theories of argument validity on the basis of a small number of patterns, and theories of how to reduce the multiplicity of arguments in non-logical, informal contexts to the small number of patterns whose validity is

On the Equivalence of Formal Grammars and Machines.

Science.gov (United States)

Lund, Bruce

1991-01-01

Explores concepts of formal language and automata theory underlying computational linguistics. A computational formalism is described known as a "logic grammar," with which computational systems process linguistic data, with examples in declarative and procedural semantics and definite clause grammars. (13 references) (CB)

A formal theory of the selfish gene.

Science.gov (United States)

Gardner, A; Welch, J J

2011-08-01

Adaptation is conventionally regarded as occurring at the level of the individual organism. In contrast, the theory of the selfish gene proposes that it is more correct to view adaptation as occurring at the level of the gene. This view has received much popular attention, yet has enjoyed only limited uptake in the primary research literature. Indeed, the idea of ascribing goals and strategies to genes has been highly controversial. Here, we develop a formal theory of the selfish gene, using optimization theory to capture the analogy of 'gene as fitness-maximizing agent' in mathematical terms. We provide formal justification for this view of adaptation by deriving mathematical correspondences that translate the optimization formalism into dynamical population genetics. We show that in the context of social interactions between genes, it is the gene's inclusive fitness that provides the appropriate maximand. Hence, genic selection can drive the evolution of altruistic genes. Finally, we use the formalism to assess the various criticisms that have been levelled at the theory of the selfish gene, dispelling some and strengthening others. © 2011 The Authors. Journal of Evolutionary Biology © 2011 European Society For Evolutionary Biology.

Criteria for logical formalization

Czech Academy of Sciences Publication Activity Database

Peregrin, Jaroslav; Svoboda, Vladimír

2013-01-01

Roč. 190, č. 14 (2013), s. 2897-2924 ISSN 0039-7857 R&D Projects: GA ČR(CZ) GAP401/10/1279 Institutional support: RVO:67985955 Keywords : logic * logical form * formalization * reflective equilibrium Subject RIV: AA - Philosophy ; Religion Impact factor: 0.637, year: 2013

Formalization of Medical Guidelines

Czech Academy of Sciences Publication Activity Database

Peleška, Jan; Anger, Z.; Buchtela, David; Šebesta, K.; Tomečková, Marie; Veselý, Arnošt; Zvára, K.; Zvárová, Jana

2005-01-01

Roč. 1, - (2005), s. 133-141 ISSN 1801-5603 R&D Projects: GA AV ČR 1ET200300413 Institutional research plan: CEZ:AV0Z10300504 Keywords : GLIF model * formalization of guidelines * prevention of cardiovascular diseases Subject RIV: IN - Informatics, Computer Science

The Benefits of Formalization

DEFF Research Database (Denmark)

Rand, John; Torm, Nina Elisabeth

2012-01-01

Based on unique panel data consisting of both formal and informal firms, this paper uses a matched double difference approach to examine the relationship between legal status and firm level outcomes in micro, small and medium manufacturing enterprises (SMEs) in Vietnam. Controlling for determinin...

El Salvador - Formal Technical Education

Data.gov (United States)

Millennium Challenge Corporation — With a budget of nearly $20 million, the Formal Technical Education Sub-Activity was designed to strengthen technical and vocational educational institutions in the...

Universality in the relaxation dynamics of the composed black-hole-charged-massive-scalar-field system: The role of quantum Schwinger discharge

Directory of Open Access Journals (Sweden)

Shahar Hod

2015-07-01

Full Text Available The quasinormal resonance spectrum {ωn(μ,q,M,Q}n=0n=∞ of charged massive scalar fields in the charged Reissner–Nordström black-hole spacetime is studied analytically in the large-coupling regime qQ≫Mμ (here {μ,q} are respectively the mass and charge coupling constant of the field, and {M,Q} are respectively the mass and electric charge of the black hole. This physical system provides a striking illustration for the validity of the universal relaxation bound τ×T≥ħ/π in black-hole physics (here τ≡1/ℑω0 is the characteristic relaxation time of the composed black-hole-scalar-field system, and T is the Bekenstein–Hawking temperature of the black hole. In particular, it is shown that the relaxation dynamics of charged massive scalar fields in the charged Reissner–Nordström black-hole spacetime may saturate this quantum time-times-temperature inequality. Interestingly, we prove that potential violations of the bound by light scalar fields are excluded by the Schwinger-type pair-production mechanism (a vacuum polarization effect, a quantum phenomenon which restricts the physical parameters of the composed black-hole-charged-field system to the regime qQ≪M2μ2/ħ.

Methodological imperfection and formalizations in scientific activity

International Nuclear Information System (INIS)

Svetlichny, G.

1987-01-01

Any mathematical formalization of scientific activity allows for imperfections in the methodology that is formalized. These can be of three types, dirty, rotten, and dammed. Restricting mathematical attention to those methods that cannot be construed to be imperfect drastically reduces the class of objects that must be analyzed, and related all other objects to these more regular ones. Examples are drawn from empirical logic

Formal concept analysis in knowledge discovery: A survey

NARCIS (Netherlands)

Poelmans, J.; Elzinga, P.; Viaene, S.; Dedene, G.; Croitoru, M.; Ferré, S.; Lukose, D.

2010-01-01

In this paper, we analyze the literature on Formal Concept Analysis (FCA) using FCA. We collected 702 papers published between 2003-2009 mentioning Formal Concept Analysis in the abstract. We developed a knowledge browsing environment to support our literature analysis process. The pdf-files

Lekhnitskii's formalism of one-dimensional quasicrystals and its ...

Indian Academy of Sciences (India)

To illustrate its utility, the generalized Lekhnitskii's formal- ism is used to analyse the coupled phonon and phason fields in an infinite quasicrystal medium con- taining an elliptic rigid inclusion. Keywords. Generalized Lekhnitskii's formalism; one-dimensional quasicrystals; plane problems; elliptic inclusion. PACS Nos 61.44.

Keldysh formalism for multiple parallel worlds

International Nuclear Information System (INIS)

Ansari, M.; Nazarov, Y. V.

2016-01-01

We present a compact and self-contained review of the recently developed Keldysh formalism for multiple parallel worlds. The formalism has been applied to consistent quantum evaluation of the flows of informational quantities, in particular, to the evaluation of Renyi and Shannon entropy flows. We start with the formulation of the standard and extended Keldysh techniques in a single world in a form convenient for our presentation. We explain the use of Keldysh contours encompassing multiple parallel worlds. In the end, we briefly summarize the concrete results obtained with the method.

Keldysh formalism for multiple parallel worlds

Science.gov (United States)

Ansari, M.; Nazarov, Y. V.

2016-03-01

We present a compact and self-contained review of the recently developed Keldysh formalism for multiple parallel worlds. The formalism has been applied to consistent quantum evaluation of the flows of informational quantities, in particular, to the evaluation of Renyi and Shannon entropy flows. We start with the formulation of the standard and extended Keldysh techniques in a single world in a form convenient for our presentation. We explain the use of Keldysh contours encompassing multiple parallel worlds. In the end, we briefly summarize the concrete results obtained with the method.

Towards formalization of inspection using petrinets

International Nuclear Information System (INIS)

Javed, M.; Naeem, M.; Bahadur, F.; Wahab, A.

2014-01-01

Achieving better quality software has always been a challenge for software developers. Inspection is one of the most efficient techniques, which ensure the quality of software during its development. To the best of our knowledge, current inspection techniques are not realized by any formal approach. In this paper, we propose an inspection technique, which is not only backed by the formal mathematical semantics of Petri nets, but also supports inspecting concurrent processes. We also use a case study of an agent based distributed processing system to demonstrate the inspection of concurrent processes. (author)

Keldysh formalism for multiple parallel worlds

Energy Technology Data Exchange (ETDEWEB)

Ansari, M.; Nazarov, Y. V., E-mail: y.v.nazarov@tudelft.nl [Delft University of Technology, Kavli Institute of Nanoscience (Netherlands)

2016-03-15

We present a compact and self-contained review of the recently developed Keldysh formalism for multiple parallel worlds. The formalism has been applied to consistent quantum evaluation of the flows of informational quantities, in particular, to the evaluation of Renyi and Shannon entropy flows. We start with the formulation of the standard and extended Keldysh techniques in a single world in a form convenient for our presentation. We explain the use of Keldysh contours encompassing multiple parallel worlds. In the end, we briefly summarize the concrete results obtained with the method.

Longitudinal Associations Between Formal Volunteering and Cognitive Functioning.

Science.gov (United States)

Proulx, Christine M; Curl, Angela L; Ermer, Ashley E

2018-03-02

The present study examines the association between formal volunteering and cognitive functioning over time. We also examine the moderating roles of race, sex, education, and time. Using 11,100 participants aged 51 years and older and nine waves of data from the Health and Retirement Survey, we simultaneously modeled the longitudinal associations between engaging in formal volunteering and changes in cognitive functioning using multilevel models. Formal volunteering was associated with higher levels of cognitive functioning over time, especially with aspects of cognitive functioning related to working memory and processing. This association was stronger for women than it was for men, and for those with below average levels of education. The positive association between formal volunteering and cognitive functioning weakened over time when cognitive functioning was conceptualized as memory, but strengthened over time when conceptualized as working memory and processing. Volunteering is a productive activity that is beneficial not just to society, but to volunteers' levels of cognitive functioning in older age. For women and those with lower levels of education, formal volunteering appears particularly beneficial to working memory and processing. © The Author 2017. Published by Oxford University Press on behalf of The Gerontological Society of America. All rights reserved. For permissions, please e-mail: journals.permissions@oup.com.

Readings in Formal Epistemology

DEFF Research Database (Denmark)

‘Formal epistemology’ is a term coined in the late 1990s for a new constellation of interests in philosophy,the roots of which are found in earlier works of epistemologists, philosophers of science, and logicians. It addresses a growing agenda of problems concerning knowledge, belief, certainty, ...

Fear of the Formal

DEFF Research Database (Denmark)

du Gay, Paul; Lopdrup-Hjorth, Thomas

2016-01-01

term this ‘fear of the formal’, outlining key elements of its genealogy and exploring its contemporary manifestation in relation to recent and ongoing reforms of organisational life in a range of contexts. At the same time, we seek to indicate the continuing constitutive significance of formality...

Do formal management practices impact the emergence of bootlegging behavior?

DEFF Research Database (Denmark)

Globocnik, Dietfried; Salomo, Søren

2014-01-01

behavior, research has barely addressed the antecedents of this deviance. Drawing on strain theory and social cognitive theory, we study whether the emergence of bootlegging behavior is influenced by formal management practices, in particular, strategic autonomy, front-end formality, rewards, and sanctions......Innovation in an organization often relies on initiatives by employees who take action to develop their ideas and obtain buy-in by organizational decision-makers. To achieve this, employees sometimes apply unorthodox approaches, ignoring formal structures to further elaborate their ideas' potential...... and promote their implementation. They work without formal legitimacy and gather their own resources until sufficient clarity allows for informed decisions. Finally, they bypass formal communication channels to convince top management of the merits of their ideas. Despite the significance of such bootlegging...

Balancing Formality and Informality in Business Exchanges as a Duality

DEFF Research Database (Denmark)

Lin, Daomi; Lu, Jiangyong; Li, Peter Ping

2015-01-01

emphasized formality more than informality, while local entrepreneurs stressed informality more than formality. However, the formality-informality balance among both returnee and local entrepreneurs converged over time in line with the institutional transition in China. Returnee entrepreneurs increased...... for firms, especially those facing institutional differences in transnational contexts and institutional transitions. In this research, we conducted a comparative multicase study on returnee entrepreneurs and local entrepreneurs in China. We found that at the early stage of venturing, returnee entrepreneurs...... the emphasis on informality (but kept the dominant position of formality), whereas local entrepreneurs gradually shifted from informality to formality. The spatial pattern of asymmetrical balancing and the temporal pattern of transitional balancing are both rooted in the Chinese philosophy of Yin...

Essential competencies analysis of a training model development for non-formal vocational teachers under the office of the non-formal and informal education in Thailand

Directory of Open Access Journals (Sweden)

Chayanopparat Piyanan

2016-01-01

Full Text Available Non-formal vocational education provides practical experiences in a particular occupational field to non-formal semi-skilled learners. Non-formal vocational teachers are the key persons to deliver particular occupational knowledge. The essential competencies enhancement for non-sformal vocational teachers will improve teaching performance. The question of the research is what the essential competencies for the nonformal vocational teachers are. The research method was 1 to review related literature, 2 to collect a needs assessment, and 3 to analyse the essential competencies for non-formal vocational teachers. The population includes non-formal vocational teachers at the executive level and nonformal vocational teachers. The results from the essential competencies analysis found that the essential competencies for non-formal vocational teachers consist of 5 capabilities including 1 Adult learning design capability, 2 Adult learning principle application capability, 3 ICT searching capability for teaching preparation, 4 Instructional plan development capability and 5 Instructional media development capability.

Formal description of the OSI session layer: introduction

NARCIS (Netherlands)

Ajubi, I.; Scollo, Giuseppe; van Sinderen, Marten J.; van Eijk, P.H.J.; Vissers, C.A.; Diaz, M.

1989-01-01

The LOTOS formal description of the OSI session layer is introduced with the purpose of familiarizing the reader with the design choices that influenced the development of the formal description. Such design choices concern the adoptation of specification styles and the reflection of elements of the

Formal Test Automation: The Conference Protocol with PHACT

NARCIS (Netherlands)

Heerink, A.W.; Ural, Hasan; Probert, Robert L.; Feenstra, J.; Tretmans, G.J.; von Bochmann, Gregor

2000-01-01

We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (formal) specifications and multiple implementations are publicly available and which is also used in other case study

O formal, o não formal e as outras formas: a aula de física como gênero discursivo

Directory of Open Access Journals (Sweden)

Giselle Faur de Castro Catarino

2017-01-01

Full Text Available Muchas investigaciones han puesto de relieve similitudes y diferencias entre la educación formal y no formal. Podemos decir que los dos tipos de educación son diferentes, lo que requiere de formación inicial y continuada, diferenciada para profesores que quieran transitar en estos espacios educativos. Entendemos que este tipo de formación es posible y es una realidad para estudiantes que asumen actividades en espacios no formales vinculados a la educación. Nuestro objetivo en este artículo, que hace parte de una tesis de doctorado, es entender los beneficios y obstáculos que se generan en la vida cotidiana de profesores que se mueven en los dos ámbitos de formación. Del análisis de la práctica de un maestro que trae consigo esta formación diferenciada, creando una práctica híbrida, notamos una forma de la clase que creemos pertenece a un género discursivo específico, diferente del formal y el no formal. Para ello, esbozaremos un marco teórico, basado en las ideas de Mikhail Bakhtin, que nos permita pensar la clase como un género discursivo.

SME´s semi-formality rate in Costa Rica: a clusters approach

Directory of Open Access Journals (Sweden)

Lizette Brenes Bonilla

2016-02-01

Full Text Available The MSME Observatory has been studying MSMEs in Costa Rica. Its findings show that for every formal enterprise, there are 2.4 semi-formal ones. The latter refers to those enterprises that have already started the formalization process with the corresponding municipality but that still do not have all the formalization requirements.Owing to the importance of the semi-formal sector in the economic activity of Costa Rica, this study analyzed this business park and the role of municipal management concerning MSMEs, calculated the correlation among semi-formality, competitiveness, and development, and finally, proposed a cluster design to deal with the state of affairs. It should be noted that this type of analysis has never been undertaken in the country.

Formal Institutions and Subjective Wellbeing

DEFF Research Database (Denmark)

Bjørnskov, Christian; Dreher, Axel; Fischer, Justina A.V.

2010-01-01

A long tradition in economics explores the association between the quality of formal institutions and economic performance. The literature on the relationship between such institutions and happiness is, however, rather limited, and inconclusive. In this paper, we revisit the findings from recent...... cross-country studies on the institution-happiness association. Our findings suggest that their conclusions are qualitatively rather insensitive to the specific measure of 'happiness' used, while the associations between formal institutions and subjective well-being differ among poor and rich countries....... Separating different types of institutional quality, we find that in low-income countries the effects of economic-judicial institutions on happiness dominate those of political institutions, while analyses restricted to middle- and high-income countries show strong support for an additional beneficial effect...

Methodology of formal software evaluation

International Nuclear Information System (INIS)

Tuszynski, J.

1998-01-01

Sydkraft AB, the major Swedish utility, owner of ca 6000 MW el installed in nuclear (NPP Barsebaeck and NPP Oskarshamn), fossil fuel and hydro Power Plants is facing modernization of the control systems of the plants. Standards applicable require structured, formal methods for implementation of the control functions in the modem, real time software systems. This presentation introduces implementation methodology as discussed presently at the Sydkraft organisation. The approach suggested is based upon the process of co-operation of three parties taking part in the implementation; owner of the plant, vendor and Quality Assurance (QA) organisation. QA will be based on tools for formal software validation and on systematic gathering by the owner of validated and proved-by-operation control modules for the concern-wide utilisation. (author)

Formalizing physical security procedures

NARCIS (Netherlands)

Meadows, C.; Pavlovic, Dusko

Although the problems of physical security emerged more than 10,000 years before the problems of computer security, no formal methods have been developed for them, and the solutions have been evolving slowly, mostly through social procedures. But as the traffic on physical and social networks is now

Learning in non-formal education: Is it "youthful" for youth in action?

Science.gov (United States)

Norqvist, Lars; Leffler, Eva

2017-04-01

This article offers insights into the practices of a non-formal education programme for youth provided by the European Union (EU). It takes a qualitative approach and is based on a case study of the European Voluntary Service (EVS). Data were collected during individual and focus group interviews with learners (the EVS volunteers), decision takers and trainers, with the aim of deriving an understanding of learning in non-formal education. The research questions concerned learning, the recognition of learning and perspectives of usefulness. The study also examined the Youthpass documentation tool as a key to understanding the recognition of learning and to determine whether the learning was useful for learners (the volunteers). The findings and analysis offer several interpretations of learning, and the recognition of learning, which take place in non-formal education. The findings also revealed that it is complicated to divide learning into formal and non- formal categories; instead, non-formal education is useful for individual learners when both formal and non-formal educational contexts are integrated. As a consequence, the division of formal and non-formal (and possibly even informal) learning creates a gap which works against the development of flexible and interconnected education with ubiquitous learning and mobility within and across formal and non-formal education. This development is not in the best interests of learners, especially when seeking useful learning and education for youth (what the authors term "youthful" for youth in action).

Formalized Linear Algebra over Elementary Divisor Rings in Coq

OpenAIRE

Cano , Guillaume; Cohen , Cyril; Dénès , Maxime; Mörtberg , Anders; Siles , Vincent

2016-01-01

International audience; This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form. The main results are the formalization that these rings support essential operations of linear algebra, the classification theorem of finitely pre-sented modules over such rings and the uniqueness of the Smith normal form up to multiplication by units. We present formally verified algorithms comput-in...

Formalization and Implementation of Algebraic Methods in Geometry

Directory of Open Access Journals (Sweden)

Filip Marić

2012-02-01

Full Text Available We describe our ongoing project of formalization of algebraic methods for geometry theorem proving (Wu's method and the Groebner bases method, their implementation and integration in educational tools. The project includes formal verification of the algebraic methods within Isabelle/HOL proof assistant and development of a new, open-source Java implementation of the algebraic methods. The project should fill-in some gaps still existing in this area (e.g., the lack of formal links between algebraic methods and synthetic geometry and the lack of self-contained implementations of algebraic methods suitable for integration with dynamic geometry tools and should enable new applications of theorem proving in education.

Film for Non-Formal Education.

Science.gov (United States)

Jenkins, Janet

1979-01-01

Looks at educational factors in using television or cinema film for non-formal education in developing nations. Styles of presentation in films are discussed, and suggestions are made for assessing effectiveness. (JEG)

Traditional and formal education: Means of improving grasscutter ...

African Journals Online (AJOL)

The study concludes that both traditional and non-formal education are important for the development and efficiency of grasscutter farming in Ogun Waterside Local Government Area of Ogun State. The following are the recommendations of the study: revision of the curriculum of formal schools to include items that inculcate ...

Formal structures for extracting analytically justifiable decisions from ...

African Journals Online (AJOL)

This paper identifies the benefits of transforming business process models into Decision Support Systems (DSS). However, the literature reveals that a business process model “should have a formal foundation” as a major requirement for transforming it into a DSS. The paper further ascertains that formal structures refer to ...

Academic Achievement and Formal Thought in Engineering Students

Science.gov (United States)

Vazquez, Stella Maris; de Anglat, Hilda Difabio

2009-01-01

Introduction: Research on university-level academic performance has significantly linked failure and dropping out to formal reasoning deficiency. We have not found any papers on formal thought in Argentine university students, in spite of the obvious shortcomings observed in the classrooms. Thus, the main objective of this paper was exploring the…

Enhancing System Realisation in Formal Model Development

DEFF Research Database (Denmark)

Tran-Jørgensen, Peter Würtz Vinther

and requirements of software extensions targeting Overture. The tools developed in this PhD project have successfully supported three case studies from externally funded projects. The feedback received from the case study work has further helped improve the code generation infrastructure and the tools built using...... implementation. One way to realise the system’s software is by automatically generating it from the formal specification – a technique referred to as code generation. However, in general it is difficult to make guarantees about the correctness of the generated code – especially while requiring automation...... of the steps involved in realising the formal specification. This PhD dissertation investigates ways to improve the automation of the steps involved in realising and validating a system based on a formal specification. The approach aims to develop properly designed software tools which support the integration...

Exploiting formal, non-formal and informal learning when using business games in leadership education

DEFF Research Database (Denmark)

Børgesen, Kenneth; Nielsen, Rikke Kristine; Henriksen, Thomas Duus

2016-01-01

Purpose This paper aims to address the necessity of allowing non-formal and informal processes to unfold when using business games for leadership development. While games and simulations have long been used in management training and leadership development, emphasis has been placed on the formal...... of the process is not assessed. Practical implications This paper suggests that the use of business games in leadership development should focus more on the processes and activities surrounding the game rather than narrowly focusing on the game. Originality/value This paper suggests a novel approach to using...... parts of the process and especially on the gaming experience. Design/methodology/approach This paper is based on a qualitative study of a French management game on change management, in which the game-based learning process is examined in light of adult learning. Findings This paper concludes that less...

Robot-assisted laparoscopic skills development: formal versus informal training.

Science.gov (United States)

Benson, Aaron D; Kramer, Brandan A; Boehler, Margaret; Schwind, Cathy J; Schwartz, Bradley F

2010-08-01

The learning curve for robotic surgery is not completely defined, and ideal training components have not yet been identified. We attempted to determine whether skill development would be accelerated with formal, organized instruction in robotic surgical techniques versus informal practice alone. Forty-three medical students naive to robotic surgery were randomized into two groups and tested on three tasks using the robotic platform. Between the testing sessions, the students were given equally timed practice sessions. The formal training group participated in an organized, formal training session with instruction from an attending robotic surgeon, whereas the informal training group participated in an equally timed unstructured practice session with the robot. The results were compared based on technical score and time to completion of each task. There was no difference between groups in prepractice testing for any task. In postpractice testing, there was no difference between groups for the ring transfer tasks. However, for the suture placement and knot-tying task, the technical score of the formal training group was significantly better than that of the informal training group (p formal training may not be necessary for basic skills, formal instruction for more advanced skills, such as suture placement and knot tying, is important in developing skills needed for effective robotic surgery. These findings may be important in formulating potential skills labs or training courses for robotic surgery.

The formality of learning science in everyday life: A conceptual literature review

Directory of Open Access Journals (Sweden)

Niels Bonderup Dohn

2010-09-01

Full Text Available The terms non-formal and informal are attributed to learning in everyday life by many authors, often linked to their interests in particular learning practices. However, many authors use the terms without any clear definition, or employ conflicting definitions and boundaries. An analysis of relevant literature revealed two fundamentally different interpretations of informal learning. The one describes formality of education at the organizational level, while the second describes formality of learning at the psychological level. This article presents a conceptual reconciling of these two perspectives. Based on a literature review, the educational modes of education are defined as discrete entities (formal, non-formal, and informal education, whereas formality at the psychological level is defined in terms of attributes of formality and informality along a continuum (formal ↔ informal learning. Relations to other  well-established frameworks within the field of informal learning are discussed.

Improved formalism for precision Higgs coupling fits

Science.gov (United States)

Barklow, Tim; Fujii, Keisuke; Jung, Sunghoon; Karl, Robert; List, Jenny; Ogawa, Tomohisa; Peskin, Michael E.; Tian, Junping

2018-03-01

Future e+e- colliders give the promise of model-independent determinations of the couplings of the Higgs boson. In this paper, we present an improved formalism for extracting Higgs boson couplings from e+e- data, based on the effective field theory description of corrections to the Standard Model. We apply this formalism to give projections of Higgs coupling accuracies for stages of the International Linear Collider and for other proposed e+e- colliders.

Young People, Entrepreneurship And Non Formal Learning

OpenAIRE

Pantea, Maria-Carmen; Diroescu, Raluca; Podlasek-Ziegler, Maria

2016-01-01

The book was published by SALTO-Youth Participation, a Resource Centre of the European Commission. It looks into the relationship between youth work (non-formal learning) and entrepreneurship. The book explores the theoretical developments in the field, the ethical dilemmas and tensions, and proposes practice-oriented information: illustrative examples, strategies for action and methods of non-formal education. Structured in 24 chapters, the book is an opportunity to open up debates and quest...

Improved formalism for precision Higgs coupling fits

International Nuclear Information System (INIS)

Barklow, Tim; Peskin, Michael E.; Jung, Sunghoon; Tian, Junping

2017-08-01

Future e + e - colliders give the promise of model-independent determinations of the couplings of the Higgs boson. In this paper, we present an improved formalism for extracting Higgs boson couplings from e + e - data, based on the Effective Field Theory description of corrections to the Standard Model. We apply this formalism to give projections of Higgs coupling accuracies for stages of the International Linear Collider and for other proposed e + e - colliders.

A formalism for the calculus of variations with spinors

Energy Technology Data Exchange (ETDEWEB)

Bäckdahl, Thomas, E-mail: thobac@chalmers.se [The School of Mathematics, University of Edinburgh, JCMB 6228, Peter Guthrie Tait Road, Edinburgh EH9 3FD, United Kingdom and Mathematical Sciences - Chalmers University of Technology and University of Gothenburg - SE-412 96 Gothenburg (Sweden); Valiente Kroon, Juan A., E-mail: j.a.valiente-kroon@qmul.ac.uk [School of Mathematical Sciences, Queen Mary, University of London, Mile End Road, London E1 4NS (United Kingdom)

2016-02-15

We develop a frame and dyad gauge-independent formalism for the calculus of variations of functionals involving spinorial objects. As a part of this formalism, we define a modified variation operator which absorbs frame and spin dyad gauge terms. This formalism is applicable to both the standard spacetime (i.e., SL(2, ℂ)) 2-spinors as well as to space (i.e., SU(2, ℂ)) 2-spinors. We compute expressions for the variations of the connection and the curvature spinors.

A formalism for the calculus of variations with spinors

International Nuclear Information System (INIS)

Bäckdahl, Thomas; Valiente Kroon, Juan A.

2016-01-01

We develop a frame and dyad gauge-independent formalism for the calculus of variations of functionals involving spinorial objects. As a part of this formalism, we define a modified variation operator which absorbs frame and spin dyad gauge terms. This formalism is applicable to both the standard spacetime (i.e., SL(2, ℂ)) 2-spinors as well as to space (i.e., SU(2, ℂ)) 2-spinors. We compute expressions for the variations of the connection and the curvature spinors

Formal methods in design and verification of functional specifications

International Nuclear Information System (INIS)

Vaelisuo, H.

1995-01-01

It is claimed that formal methods should be applied already when specifying the functioning of the control/monitoring system, i.e. when planning how to implement the desired operation of the plant. Formal methods are seen as a way to mechanize and thus automate part of the planning. All mathematical methods which can be applied on related problem solving should be considered as formal methods. Because formal methods can only support the designer, not replace him/her, they must be integrated into a design support tool. Such a tool must also aid the designer in getting the correct conception of the plant and its behaviour. The use of a hypothetic design support tool is illustrated to clarify the requirements such a tool should fulfill. (author). 3 refs, 5 figs

Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering

Science.gov (United States)

Bolton, Matthew L.; Bass, Ellen J.

2009-01-01

Both the human factors engineering (HFE) and formal methods communities are concerned with finding and eliminating problems with safety-critical systems. This work discusses a modeling effort that leveraged methods from both fields to use model checking with HFE practices to perform formal verification of a human-interactive system. Despite the use of a seemingly simple target system, a patient controlled analgesia pump, the initial model proved to be difficult for the model checker to verify in a reasonable amount of time. This resulted in a number of model revisions that affected the HFE architectural, representativeness, and understandability goals of the effort. If formal methods are to meet the needs of the HFE community, additional modeling tools and technological developments are necessary.

Formalization of Hostel Management System. | Obi | Journal of the ...

African Journals Online (AJOL)

HMS) can invariably contribute greatly to the success, profitability and customerbased approach of such an organization. The use of formal specification creates a formal approach for specifying the underlying functions and properties of the ...

Informal work and formal plans

DEFF Research Database (Denmark)

Dalsted, Rikke Juul; Hølge-Hazelton, Bibi; Kousgaard, Marius Brostrøm

2012-01-01

trajectories. METHODS AND THEORY: An in-depth case study of patient trajectories at a Danish hospital and surrounding municipality using individual interviews with patients. Theory about trajectory and work by Strauss was included. RESULTS: Patients continuously took initiatives to organize their treatment...... and care. They initiated processes in the trajectories, and acquired information, which they used to form their trajectories. Patients presented problems to the healthcare professionals in order to get proper help when needed. DISCUSSION: Work done by patients was invisible and not perceived as work....... The patients' requests were not sufficiently supported in the professional organisation of work or formal planning. Patients' insertion and use of information in their trajectories challenged professional views and working processes. And the design of the formal pathway models limits the patients' active...

Polynomials formalism of quantum numbers

International Nuclear Information System (INIS)

Kazakov, K.V.

2005-01-01

Theoretical aspects of the recently suggested perturbation formalism based on the method of quantum number polynomials are considered in the context of the general anharmonicity problem. Using a biatomic molecule by way of example, it is demonstrated how the theory can be extrapolated to the case of vibrational-rotational interactions. As a result, an exact expression for the first coefficient of the Herman-Wallis factor is derived. In addition, the basic notions of the formalism are phenomenologically generalized and expanded to the problem of spin interaction. The concept of magneto-optical anharmonicity is introduced. As a consequence, an exact analogy is drawn with the well-known electro-optical theory of molecules, and a nonlinear dependence of the magnetic dipole moment of the system on the spin and wave variables is established [ru

Is adolescence a critical period for learning formal thinking skills? A case study investigating the development of formal thinking skills in a short-term inquiry-based intervention program

Science.gov (United States)

Towne, Forrest S.

Current domestic and international comparative studies of student achievement in science are demonstrating that the U.S. needs to improve science education if it wants to remain competitive in the global economy. One of the causes of the poor performance of U.S. science education is the lack of students who have developed the formal thinking skills that are necessary to obtain scientific literacy. Previous studies have demonstrated that formal thinking skills can be taught to adolescents, however only 25% of incoming college freshman have these necessary skills. There is some evidence that adolescence (girls aged 11-13, boys aged 12-14) is a critical period where students must learn formal thinking skills, similar to the critical period that exists for young children learning languages. It is not known whether it is more difficult for students to learn formal thinking skills either prior to or following adolescence. The purpose of this quantitative case study is to determine whether adolescence is a critical period for students to learn formal thinking skills. The study also investigates whether a formal thinking skills focused program can improve students' intelligence. In this study 32 students who had not developed any formal thinking skills, ranging in age from 10-16, underwent an intensive four-week, inquiry-based, formal thinking skill intervention program that focused on two formal thinking skills: (1) the ability to control and exclude variables; and (2) the ability to manipulate ratios and proportionalities. The students undergoing the training were matched with control students by age, gender, formal thinking skill ability, and intelligence. The control group attended their traditional science course during the intervention periods. The results of the study showed that the intervention program was successful in developing students' formal thinking skills. The pre-adolescents (males, age 10-11, females, age 10) were unable to learn formal thinking skills

Conceptual graph grammar--a simple formalism for sublanguage.

Science.gov (United States)

Johnson, S B

1998-11-01

There are a wide variety of computer applications that deal with various aspects of medical language: concept representation, controlled vocabulary, natural language processing, and information retrieval. While technical and theoretical methods appear to differ, all approaches investigate different aspects of the same phenomenon: medical sublanguage. This paper surveys the properties of medical sublanguage from a formal perspective, based on detailed analyses cited in the literature. A review of several computer systems based on sublanguage approaches shows some of the difficulties in addressing the interaction between the syntactic and semantic aspects of sublanguage. A formalism called Conceptual Graph Grammar is presented that attempts to combine both syntax and semantics into a single notation by extending standard Conceptual Graph notation. Examples from the domain of pathology diagnoses are provided to illustrate the use of this formalism in medical language analysis. The strengths and weaknesses of the approach are then considered. Conceptual Graph Grammar is an attempt to synthesize the common properties of different approaches to sublanguage into a single formalism, and to begin to define a common foundation for language-related research in medical informatics.

Formal solutions of inverse scattering problems. III

International Nuclear Information System (INIS)

Prosser, R.T.

1980-01-01

The formal solutions of certain three-dimensional inverse scattering problems presented in papers I and II of this series [J. Math. Phys. 10, 1819 (1969); 17 1175 (1976)] are obtained here as fixed points of a certain nonlinear mapping acting on a suitable Banach space of integral kernels. When the scattering data are sufficiently restricted, this mapping is shown to be a contraction, thereby establishing the existence, uniqueness, and continuous dependence on the data of these formal solutions

Improved formalism for precision Higgs coupling fits

Energy Technology Data Exchange (ETDEWEB)

Barklow, Tim; Peskin, Michael E. [Stanford Univ., Menlo Park, CA (United States). Stanford Linear Accelerator Center; Fujii, Keisuke; Ogawa, Tomohisa [High Energy Accelerator Research Organization (KEK), Tsukuba, Ibaraki (Japan); Jung, Sunghoon [Stanford Univ., Menlo Park, CA (United States). Stanford Linear Accelerator Center; Seoul National Univ. (Korea, Republic of). Dept. of Physics and Astronomy; Karl, Robert; List, Jenny [Deutsches Elektronen-Synchrotron (DESY), Hamburg (Germany); Tian, Junping [Tokyo Univ. (Japan). International Center for Elementary Particle Physics (ICEPP)

2017-08-15

Future e{sup +}e{sup -} colliders give the promise of model-independent determinations of the couplings of the Higgs boson. In this paper, we present an improved formalism for extracting Higgs boson couplings from e{sup +}e{sup -} data, based on the Effective Field Theory description of corrections to the Standard Model. We apply this formalism to give projections of Higgs coupling accuracies for stages of the International Linear Collider and for other proposed e{sup +}e{sup -} colliders.

Formal Modeling and Analysis of Timed Systems

DEFF Research Database (Denmark)

Larsen, Kim Guldstrand; Niebert, Peter

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full papers presented together with an invited paper and the abstracts of ...... systems, discrete time systems, timed languages, and real-time operating systems....... of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing timed systems are addressed; among the timed systems dealt with are timed automata, timed Petri nets, max-plus algebras, real-time......This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full papers presented together with an invited paper and the abstracts...

Automated Formal Verification for PLC Control Systems

CERN Multimedia

Fernández Adiego, Borja

2014-01-01

Programmable Logic Controllers (PLCs) are widely used devices used in industrial control systems. Ensuring that the PLC software is compliant with its specification is a challenging task. Formal verification has become a recommended practice to ensure the correctness of the safety-critical software. However, these techniques are still not widely applied in industry due to the complexity of building formal models, which represent the system and the formalization of requirement specifications. We propose a general methodology to perform automated model checking of complex properties expressed in temporal logics (e.g. CTL, LTL) on PLC programs. This methodology is based on an Intermediate Model (IM), meant to transform PLC programs written in any of the languages described in the IEC 61131-3 standard (ST, IL, etc.) to different modeling languages of verification tools. This approach has been applied to CERN PLC programs validating the methodology.

Financing Adult and Non-Formal Education in Nigeria

Science.gov (United States)

Hassan, Moshood Ayinde

2009-01-01

The purpose of this study is to determine how adult and non formal education is financed in Nigeria; and to examine areas or forms of and the problems of financing adult and non-formal education in Nigeria. Survey research was used in order to carry out the study. Three hundred and twenty five (325) respondents from government agencies,…

Formal equivalence of Poisson structures around Poisson submanifolds

NARCIS (Netherlands)

Marcut, I.T.

2012-01-01

Let (M,π) be a Poisson manifold. A Poisson submanifold P ⊂ M gives rise to a Lie algebroid AP → P. Formal deformations of π around P are controlled by certain cohomology groups associated to AP. Assuming that these groups vanish, we prove that π is formally rigid around P; that is, any other Poisson

Formalized Verification of Snapshotable Trees: Separation and Sharing

DEFF Research Database (Denmark)

Mehnert, Hannes; Sieczkowski, Filip; Birkedal, Lars

2012-01-01

We use separation logic to specify and verify a Java program that implements snapshotable search trees, fully formalizing the speci- cation and verication in the Coq proof assistant. We achieve local and modular reasoning about a tree and its snapshots and their iterators, al- though...... for full functional specication and verication, whether by separation logic or by other formalisms....

Transforming PLC Programs into Formal Models for Verification Purposes

CERN Document Server

Darvas, D; Blanco, E

2013-01-01

Most of CERN’s industrial installations rely on PLC-based (Programmable Logic Controller) control systems developed using the UNICOS framework. This framework contains common, reusable program modules and their correctness is a high priority. Testing is already applied to find errors, but this method has limitations. In this work an approach is proposed to transform automatically PLC programs into formal models, with the goal of applying formal verification to ensure their correctness. We target model checking which is a precise, mathematical-based method to check formalized requirements automatically against the system.

IDEF3 Formalization Report

Science.gov (United States)

1991-10-01

SUBJECT TERMS 15. NUMBER OF PAGES engineering management information systems method formalization 60 information engineering process modeling 16 PRICE...CODE information systems requirements definition methods knowlede acquisition methods systems engineering 17. SECURITY CLASSIFICATION ji. SECURITY... Management , Inc., Santa Monica, California. CORYNEN, G. C., 1975, A Mathematical Theory of Modeling and Simula- tion. Ph.D. Dissertation, Department

Educational Achievements as a Determinant of an Individual’s Formal Power

OpenAIRE

Miha Marič; Mitja Jeraj

2014-01-01

The scope of this study is to define how educational achievements of individuals in Slovenia define their “formal power” in the organizations where they work. The study is based on theoretical definitions of the concepts of formal power and education. A total of 509 people from Slovenia over 30 years of age participated in the study. We recognized a certain influence of educational achievement on the formal position in the organizational hierarchy. The main predictor of an individual’s formal...

Skinner-Rusk unified formalism for higher-order systems

Science.gov (United States)

Prieto-Martínez, Pedro Daniel; Román-Roy, Narciso

2012-07-01

The Lagrangian-Hamiltonian unified formalism of R. Skinner and R. Rusk was originally stated for autonomous dynamical systems in classical mechanics. It has been generalized for non-autonomous first-order mechanical systems, first-order and higher-order field theories, and higher-order autonomous systems. In this work we present a generalization of this formalism for higher-order non-autonomous mechanical systems.

Thermodynamic and multifractal formalism and the Bowen-series map

International Nuclear Information System (INIS)

Rudolph, O.

1994-07-01

In the theory of quantum chaos one studies the semiclassical behaviour of quantum mechanical systems whose corresponding classical counterparts exhibit chaos. These systems are sometimes considered as model systems in the theory of quantum chaos since they are well understood from a mathematical point of view. In this work we study the multifractal formalism for the geodesic flow on surfaces with constant negative curvature. The multifractal analysis of measures has been developed in order to characterize the scaling behaviour of measures on attractors of classical chaotic dynamical systems globally. In order to relate the multifractal formalism with quantities usually considered in the study of the geodesic flow on Riemann surfaces with constant negative curvature, it is necessary to establish the assertions of the multifractal formalism in a mathematically rigorous way. This is achieved with the help of the thermodynamic formalism for hyperbolic dynamical systems developed by Ruelle, Bowen and others. (orig.)

Developing Non-Formal Education Competences as a Complement of Formal Education for STEM Lecturers

Science.gov (United States)

Terrazas-Marín, Roy Alonso

2018-01-01

This paper focuses on a current practice piece on professional development for university lecturers, transformative learning, dialogism and STEM (Science, Technology, Engineering and Mathematics) education. Its main goals are to identify the key characteristics that allow STEM educators to experiment with the usage of non-formal education…

Bio-Inspired Genetic Algorithms with Formalized Crossover Operators for Robotic Applications.

Science.gov (United States)

Zhang, Jie; Kang, Man; Li, Xiaojuan; Liu, Geng-Yang

2017-01-01

Genetic algorithms are widely adopted to solve optimization problems in robotic applications. In such safety-critical systems, it is vitally important to formally prove the correctness when genetic algorithms are applied. This paper focuses on formal modeling of crossover operations that are one of most important operations in genetic algorithms. Specially, we for the first time formalize crossover operations with higher-order logic based on HOL4 that is easy to be deployed with its user-friendly programing environment. With correctness-guaranteed formalized crossover operations, we can safely apply them in robotic applications. We implement our technique to solve a path planning problem using a genetic algorithm with our formalized crossover operations, and the results show the effectiveness of our technique.

Formalizing Implementation Strategies for First-Class Continuations

DEFF Research Database (Denmark)

Danvy, Olivier

1999-01-01

. These abstract machines are proven equivalent to a standard, substitution-based abstract machine. The proof techniques work uniformly for various representations of continuations. As a byproduct, we also present a formal proof of the two folklore theorems that one continuation identifier is enough for second......-class continuations and that second-class continuations are stackable. A large body of work exists on implementing continuations, but it is predominantly empirical and implementation-oriented. In contrast, our formalization abstracts the essence of first-class continuations and provides a uniform setting...

Infinitesimal deformations of a formal symplectic groupoid

OpenAIRE

Karabegov, Alexander

2010-01-01

Given a formal symplectic groupoid $G$ over a Poisson manifold $(M, \\pi_0)$, we define a new object, an infinitesimal deformation of $G$, which can be thought of as a formal symplectic groupoid over the manifold $M$ equipped with an infinitesimal deformation $\\pi_0 + \\epsilon \\pi_1$ of the Poisson bivector field $\\pi_0$. The source and target mappings of a deformation of $G$ are deformations of the source and target mappings of $G$. To any pair of natural star products $(\\ast, \\tilde\\ast)$ ha...

Essential competencies analysis of a training model development for non-formal vocational teachers under the office of the non-formal and informal education in Thailand

OpenAIRE

Chayanopparat Piyanan; Charungkaittikul Suwithida; Ratana-Ubol Archanya

2016-01-01

Non-formal vocational education provides practical experiences in a particular occupational field to non-formal semi-skilled learners. Non-formal vocational teachers are the key persons to deliver particular occupational knowledge. The essential competencies enhancement for non-sformal vocational teachers will improve teaching performance. The question of the research is what the essential competencies for the nonformal vocational teachers are. The research method was 1) to review related lit...

Formalities in the digital era: an obstacle or opportunity?

NARCIS (Netherlands)

van Gompel, S.; Bently, L.; Suthersanen, U.; Torremans, P.

2010-01-01

This paper, which was presented at the 2009 ALAI conference in London, examines the possible reintroduction of copyright formalities against the background of the challenges that copyright law faces in the digital era. It does so by contrasting the current calls for reintroducing formalities with

Machine Learning-based Intelligent Formal Reasoning and Proving System

Science.gov (United States)

Chen, Shengqing; Huang, Xiaojian; Fang, Jiaze; Liang, Jia

2018-03-01

The reasoning system can be used in many fields. How to improve reasoning efficiency is the core of the design of system. Through the formal description of formal proof and the regular matching algorithm, after introducing the machine learning algorithm, the system of intelligent formal reasoning and verification has high efficiency. The experimental results show that the system can verify the correctness of propositional logic reasoning and reuse the propositional logical reasoning results, so as to obtain the implicit knowledge in the knowledge base and provide the basic reasoning model for the construction of intelligent system.

Formal Series of Generalised Functions and Their Application to Deformation Quantisation

OpenAIRE

Tosiek, Jaromir

2016-01-01

Foundations of the formal series $*$ -- calculus in deformation quantisation are discussed. Several classes of continuous linear functionals over algebras applied in classical and quantum physics are introduced. The notion of positivity in formal series calculus is proposed. Problems with defining quantum states over the set of formal series are analysed.

Rehabilitating Ex-Offenders Through Non-Formal Education in Lesotho

Directory of Open Access Journals (Sweden)

Nomazulu Ngozwana

2017-03-01

Full Text Available This paper reports on the rehabilitation of ex-offenders through non-formal education. It examines how non-formal education has addressed the ex-offenders’ adaptive and transformative needs. Using an interpretive paradigm and qualitative approach, individual interviews were conducted with five ex-offenders who were chosen through purposive and snowball sampling. Qualitative data analysis was used to generate the themes from the data. The findings revealed that ex-offenders were taught basic literacy and life skills through non-formal education. Moreover, non-formal education facilitated the ex-offenders’ transformed attitudes, including recognizing their identity as a result of transformative non-formal education. Some ex-offenders in Lesotho demonstrated how by tailoring programs and utilizing their own personal knowledge, they were able to share skills in spite of the prison bureaucracy and have consequently established an organization that serves as a link between prison and society. However, there should be a holistic approach to learning, which can target the immediate application of skills once offenders are released from prison. Similarly, offenders need access to educational resources once they leave prison that can build on what they already know/have learned so that they can turn their lives around.

Fedosov’s formal symplectic groupoids and contravariant connections

Science.gov (United States)

Karabegov, Alexander V.

2006-10-01

Using Fedosov's approach we give a geometric construction of a formal symplectic groupoid over any Poisson manifold endowed with a torsion-free Poisson contravariant connection. In the case of Kähler-Poisson manifolds this construction provides, in particular, the formal symplectic groupoids with separation of variables. We show that the dual of a semisimple Lie algebra does not admit torsion-free Poisson contravariant connections.

A formalization of the flutter shutter

Science.gov (United States)

Tendero, Yohann; Rougé, Bernard; Morel, Jean-Michel

2012-09-01

Acquiring good quality images of moving objects by a digital camera remains a valid question. If the velocity of the photographed object is not known, it is virtually impossible to tune an optimal exposure time. For this reason the recent Agrawal et al. flutter shutter apparatus has generated much interest. In this communication, we propose a mathematical formalization of a general flutter shutter method, also permitting non-binary shutter sequences. Thanks to this formalization, the question of the optimal flutter shutter code can be defined and solved. The method gives analytic formulas for the best attainable SNR for the restored image. It also gives a way to compute optimal flutter shutter codes.

The nature of Formal Reasoning among Ghanaian Basic School ...

African Journals Online (AJOL)

Many Psychologists have considered early formal thinking among adolescents as signs of normal development. As it is not known for certain at what age Ghanaian Junior Secondary School (JSS) pupils achieve formal operational capabilities, the study seeks to find out the relationship between Piagetian theory of ...

Blending Formal and Informal Learning Networks for Online Learning

Science.gov (United States)

Czerkawski, Betül C.

2016-01-01

With the emergence of social software and the advance of web-based technologies, online learning networks provide invaluable opportunities for learning, whether formal or informal. Unlike top-down, instructor-centered, and carefully planned formal learning settings, informal learning networks offer more bottom-up, student-centered participatory…

Dominant partition method. [based on a wave function formalism

Science.gov (United States)

Dixon, R. M.; Redish, E. F.

1979-01-01

By use of the L'Huillier, Redish, and Tandy (LRT) wave function formalism, a partially connected method, the dominant partition method (DPM) is developed for obtaining few body reductions of the many body problem in the LRT and Bencze, Redish, and Sloan (BRS) formalisms. The DPM maps the many body problem to a fewer body one by using the criterion that the truncated formalism must be such that consistency with the full Schroedinger equation is preserved. The DPM is based on a class of new forms for the irreducible cluster potential, which is introduced in the LRT formalism. Connectivity is maintained with respect to all partitions containing a given partition, which is referred to as the dominant partition. Degrees of freedom corresponding to the breakup of one or more of the clusters of the dominant partition are treated in a disconnected manner. This approach for simplifying the complicated BRS equations is appropriate for physical problems where a few body reaction mechanism prevails.

Contextual approach to quantum formalism

CERN Document Server

Khrennikov, Andrei

2009-01-01

The aim of this book is to show that the probabilistic formalisms of classical statistical mechanics and quantum mechanics can be unified on the basis of a general contextual probabilistic model. By taking into account the dependence of (classical) probabilities on contexts (i.e. complexes of physical conditions), one can reproduce all distinct features of quantum probabilities such as the interference of probabilities and the violation of Bell’s inequality. Moreover, by starting with a formula for the interference of probabilities (which generalizes the well known classical formula of total probability), one can construct the representation of contextual probabilities by complex probability amplitudes or, in the abstract formalism, by normalized vectors of the complex Hilbert space or its hyperbolic generalization. Thus the Hilbert space representation of probabilities can be naturally derived from classical probabilistic assumptions. An important chapter of the book critically reviews known no-go theorems...

Weak Quantum Theory: Formal Framework and Selected Applications

International Nuclear Information System (INIS)

Atmanspacher, Harald; Filk, Thomas; Roemer, Hartmann

2006-01-01

Two key concepts of quantum theory, complementarity and entanglement, are considered with respect to their significance in and beyond physics. An axiomatically formalized, weak version of quantum theory, more general than the ordinary quantum theory of physical systems, is described. Its mathematical structure generalizes the algebraic approach to ordinary quantum theory. The crucial formal feature leading to complementarity and entanglement is the non-commutativity of observables.The ordinary Hilbert space quantum mechanics can be recovered by stepwise adding the necessary features. This provides a hierarchy of formal frameworks of decreasing generality and increasing specificity. Two concrete applications, more specific than weak quantum theory and more general than ordinary quantum theory, are discussed: (i) complementarity and entanglement in classical dynamical systems, and (ii) complementarity and entanglement in the bistable perception of ambiguous stimuli

Formal modelling and analysis of socio-technical systems

DEFF Research Database (Denmark)

Probst, Christian W.; Kammüller, Florian; Hansen, Rene Rydhof

2016-01-01

systems are still mostly identified through brainstorming of experts. In this work we discuss several approaches to formalising socio-technical systems and their analysis. Starting from a flow logic-based analysis of the insider threat, we discuss how to include the socio aspects explicitly, and show......Attacks on systems and organisations increasingly exploit human actors, for example through social engineering. This non-technical aspect of attacks complicates their formal treatment and automatic identification. Formalisation of human behaviour is difficult at best, and attacks on socio-technical...... a formalisation that proves properties of this formalisation. On the formal side, our work closes the gap between formal and informal approaches to socio-technical systems. On the informal side, we show how to steal a birthday cake from a bakery by social engineering....

Formal refinement of extended state machines

Directory of Open Access Journals (Sweden)

Thomas Fayolle

2016-06-01

Full Text Available In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually translated into a global abstract formal specification. This translation is especially difficult to achieve. The Event-B method was developed to incrementally and formally construct such a specification using stepwise refinement. Each increment takes into account new properties and system aspects. In this paper, we propose to couple a graphical notation called Algebraic State-Transition Diagrams (ASTD with an Event-B specification in order to provide a better understanding of the software behaviour. The dynamic behaviour is captured by the ASTD, which is based on automata and process algebra operators, while the data model is described by means of an Event-B specification. We propose a methodology to incrementally refine such specification couplings, taking into account new refinement relations and consistency conditions between the control specification and the data specification. We compare the specifications obtained using each approach for readability and proof complexity. The advantages and drawbacks of the traditional approach and of our methodology are discussed. The whole process is illustrated by a railway CBTC-like case study. Our approach is supported by tools for translating ASTD's into B and Event-B into B.

Qualitative simulation in formal process modelling

International Nuclear Information System (INIS)

Sivertsen, Elin R.

1999-01-01

In relation to several different research activities at the OECD Halden Reactor Project, the usefulness of formal process models has been identified. Being represented in some appropriate representation language, the purpose of these models is to model process plants and plant automatics in a unified way to allow verification and computer aided design of control strategies. The present report discusses qualitative simulation and the tool QSIM as one approach to formal process models. In particular, the report aims at investigating how recent improvements of the tool facilitate the use of the approach in areas like process system analysis, procedure verification, and control software safety analysis. An important long term goal is to provide a basis for using qualitative reasoning in combination with other techniques to facilitate the treatment of embedded programmable systems in Probabilistic Safety Analysis (PSA). This is motivated from the potential of such a combination in safety analysis based on models comprising both software, hardware, and operator. It is anticipated that the research results from this activity will benefit V and V in a wide variety of applications where formal process models can be utilized. Examples are operator procedures, intelligent decision support systems, and common model repositories (author) (ml)

A Mathematical Account of the NEGF Formalism

DEFF Research Database (Denmark)

Cornean, Decebal Horia; Moldoveanu, Valeriu; Pillet, Claude-Alain

2018-01-01

The main goal of this paper is to put on solid mathematical grounds the so-called non-equilibrium Green’s function transport formalism for open systems. In particular, we derive the Jauho–Meir–Wingreen formula for the time-dependent current through an interacting sample coupled to non-interacting......The main goal of this paper is to put on solid mathematical grounds the so-called non-equilibrium Green’s function transport formalism for open systems. In particular, we derive the Jauho–Meir–Wingreen formula for the time-dependent current through an interacting sample coupled to non...

Kinetic equations with pairing correlations

International Nuclear Information System (INIS)

Fauser, R.

1995-12-01

The Gorkov equations are derived for a general non-equilibrium system. The Gorkov factorization is generalized by the cumulant expansion of the 2-particle correlation and by a generalized Wick theorem in the case of a perturbation expansion. A stationary solution for the Green functions in the Schwinger-Keldysh formalism is presented taking into account pairing correlations. Especially the effects of collisional broadening on the spectral functions and Green functions is discussed. Kinetic equations are derived in the quasi-particle approximation and in the case of particles with width. Explicit expressions for the self-energies are given. (orig.)

Symmetry Relations and the Nonperturbative Form of Interactions

Institute of Scientific and Technical Information of China (English)

2001-01-01

Applying QCD to study and understand hadronic physics and nuclear physics is one of basic goals of modern nuclear physics. Developing nonperturbative approach of QCD to understand the dynamical chiral-symmetry breaking and color confinement then becomes one of our most important challenges. Besides the lattice gauge theory, the Dyson-Schwinger equation (DSE) formalism is such an appropriate nonperturbative approach. In undertaking nonperturbative studies using DSEs, we immediately have to confront the issue of what is the nonperturbative form of interactions. In recent 20 years, there have been considerable efforts to solve this open problem, however, all such attempts

Rehabilitating Ex-Offenders through Non-Formal Education in Lesotho

Science.gov (United States)

Ngozwana, Nomazulu

2017-01-01

This paper reports on the rehabilitation of ex-offenders through non-formal education. It examines how non-formal education has addressed the ex-offenders' adaptive and transformative needs. Using an interpretive paradigm and qualitative approach, individual interviews were conducted with five ex-offenders who were chosen through purposive and…

Recognising Non-Formal and Informal Learning: An Open Challenge

Science.gov (United States)

Perulli, Elisabetta

2009-01-01

The social-institutional endorsement towards the perspective of recognising and enhancing learning acquired outside the formal education and training contexts (non-formal and informal learning), has been gaining strength and has entered policy agendas throughout Europe, but also in other major non-European countries. Nevertheless there are still…

Dynamics of trade between the formal sector and informal traders

Directory of Open Access Journals (Sweden)

Cyril Nhlanhla Ngiba

2011-04-01

Full Text Available The informal sector in South Africa is a significant, but not well understood phenomenon. One important question relates to the nature of the relationship between the formal and informal sector. This article uses Porter’s five forces model to interrogate the linkages between informal fruit and vegetable traders in the Natalspruit Market (Ekurhuleni and their formal suppliers, primarily the Johannesburg Fresh Produce Market. While the threat of new products is low, the street traders’ position is weakened by the threat of new entrants, consumer bargaining power and lack of cooperation among street traders. In relation to supplier power, we conclude that while this varies according to a number of factors, the formal sector is dominant over informal fruit and vegetable sellers in this market. This finding rests primarily on the observation that, because of their fragmentation, the informal traders’ collective buying power is not being used in the same way as large formal retailers of fruit and vegetables to obtain better terms of trade with the formal economy supplier.

Interacting hadron resonance gas model in the K -matrix formalism

Science.gov (United States)

Dash, Ashutosh; Samanta, Subhasis; Mohanty, Bedangadas

2018-05-01

An extension of hadron resonance gas (HRG) model is constructed to include interactions using relativistic virial expansion of partition function. The noninteracting part of the expansion contains all the stable baryons and mesons and the interacting part contains all the higher mass resonances which decay into two stable hadrons. The virial coefficients are related to the phase shifts which are calculated using K -matrix formalism in the present work. We have calculated various thermodynamics quantities like pressure, energy density, and entropy density of the system. A comparison of thermodynamic quantities with noninteracting HRG model, calculated using the same number of hadrons, shows that the results of the above formalism are larger. A good agreement between equation of state calculated in K -matrix formalism and lattice QCD simulations is observed. Specifically, the lattice QCD calculated interaction measure is well described in our formalism. We have also calculated second-order fluctuations and correlations of conserved charges in K -matrix formalism. We observe a good agreement of second-order fluctuations and baryon-strangeness correlation with lattice data below the crossover temperature.

String operator formalism and functional intergal in the holomorphic representation

International Nuclear Information System (INIS)

Losev, A.S.; Morozov, A.Yu.; Rislyj, A.A.; Shatashvili, S.L.

1989-01-01

Connection between the continual integral over open Riemann surfaces and the operator formalism on closed Riemann surfaces is discussed. States of the operator formalism are the holomorphic representation of the continual integral

Rotor and wind turbine formalism

DEFF Research Database (Denmark)

Branlard, Emmanuel Simon Pierre

2017-01-01

The main conventions used in this book for the study of rotors are introduced in this chapter. The main assumptions and notations are provided. The formalism specific to wind turbines is presented. The forces, moments, velocities and dimensionless coefficients used in the study of rotors...

Formal systems for persuasion dialogue

NARCIS (Netherlands)

Prakken, Henry

This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade the other participants to adopt their point of view. Systems for persuasion dialogue have found application in various

FORMED: Bringing Formal Methods to the Engineering Desktop

Science.gov (United States)

2016-02-01

FORMED: BRINGING FORMAL METHODS TO THE ENGINEERING DESKTOP BAE SYSTEMS FEBRUARY 2016 FINAL TECHNICAL REPORT APPROVED FOR PUBLIC RELEASE...This report is published in the interest of scientific and technical information exchange, and its publication does not constitute the Government’s...BRINGING FORMAL METHODS TO THE ENGINEERING DESKTOP 5a. CONTRACT NUMBER FA8750-14-C-0024 5b. GRANT NUMBER N/A 5c. PROGRAM ELEMENT NUMBER 63781D

Quantum randomness and unpredictability

Energy Technology Data Exchange (ETDEWEB)

Jaeger, Gregg [Quantum Communication and Measurement Laboratory, Department of Electrical and Computer Engineering and Division of Natural Science and Mathematics, Boston University, Boston, MA (United States)

2017-06-15

Quantum mechanics is a physical theory supplying probabilities corresponding to expectation values for measurement outcomes. Indeed, its formalism can be constructed with measurement as a fundamental process, as was done by Schwinger, provided that individual measurements outcomes occur in a random way. The randomness appearing in quantum mechanics, as with other forms of randomness, has often been considered equivalent to a form of indeterminism. Here, it is argued that quantum randomness should instead be understood as a form of unpredictability because, amongst other things, indeterminism is not a necessary condition for randomness. For concreteness, an explication of the randomness of quantum mechanics as the unpredictability of quantum measurement outcomes is provided. Finally, it is shown how this view can be combined with the recently introduced view that the very appearance of individual quantum measurement outcomes can be grounded in the Plenitude principle of Leibniz, a principle variants of which have been utilized in physics by Dirac and Gell-Mann in relation to the fundamental processes. This move provides further support to Schwinger's ''symbolic'' derivation of quantum mechanics from measurement. (copyright 2016 WILEY-VCH Verlag GmbH and Co. KGaA, Weinheim)

Non-Formal Education--A Worthwhile Alternative to the Formal Education in India? Case Studies from Ganjam, Orissa. Reprints and Miniprints, No. 757.

Science.gov (United States)

Svensson, Anna

This report discusses the advantages and disadvantages of non-formal education (NFE) compared to the formal school system in Ganjam, a rural district on the east coast of Orissa, India. The aim of the research was to investigate whether or not NFE, would be a worthy target of aid from the Swedish aid organization SIDA (Swedish International…

Pure spinor formalism as an N = 2 topological string

International Nuclear Information System (INIS)

Berkovits, Nathan

2005-01-01

Following suggestions of Nekrasov and Siegel, a non-minimal set of fields are added to the pure spinor formalism for the superstring. Twisted c-circumflex = 3 N = 2 generators are then constructed where the pure spinor BRST operator is the fermionic spin-one generator, and the formalism is interpreted as a critical topological string. Three applications of this topological string theory include the super-Poincare covariant computation of multiloop superstring amplitudes without picture-changing operators, the construction of a cubic open superstring field theory without contact-term problems, and a new four-dimensional version of the pure spinor formalism which computes F-terms in the spacetime action

A Synthesized Framework for Formal Verification of Computing Systems

Directory of Open Access Journals (Sweden)

Nikola Bogunovic

2003-12-01

Full Text Available Design process of computing systems gradually evolved to a level that encompasses formal verification techniques. However, the integration of formal verification techniques into a methodical design procedure has many inherent miscomprehensions and problems. The paper explicates the discrepancy between the real system implementation and the abstracted model that is actually used in the formal verification procedure. Particular attention is paid to the seamless integration of all phases of the verification procedure that encompasses definition of the specification language and denotation and execution of conformance relation between the abstracted model and its intended behavior. The concealed obstacles are exposed, computationally expensive steps identified and possible improvements proposed.

Concept similarity and related categories in information retrieval using formal concept analysis

Science.gov (United States)

Eklund, P.; Ducrou, J.; Dau, F.

2012-11-01

The application of formal concept analysis to the problem of information retrieval has been shown useful but has lacked any real analysis of the idea of relevance ranking of search results. SearchSleuth is a program developed to experiment with the automated local analysis of Web search using formal concept analysis. SearchSleuth extends a standard search interface to include a conceptual neighbourhood centred on a formal concept derived from the initial query. This neighbourhood of the concept derived from the search terms is decorated with its upper and lower neighbours representing more general and special concepts, respectively. SearchSleuth is in many ways an archetype of search engines based on formal concept analysis with some novel features. In SearchSleuth, the notion of related categories - which are themselves formal concepts - is also introduced. This allows the retrieval focus to shift to a new formal concept called a sibling. This movement across the concept lattice needs to relate one formal concept to another in a principled way. This paper presents the issues concerning exploring, searching, and ordering the space of related categories. The focus is on understanding the use and meaning of proximity and semantic distance in the context of information retrieval using formal concept analysis.

Exploring the Intersection of Beliefs toward Outdoor Play and Cold Weather among Northeast Minnesota's Formal Education and Non-Formal EE Communities

Science.gov (United States)

Hughes, Amy Christine; Zak, Kevin; Ernst, Julie; Meyer, Rebecca

2017-01-01

In a notoriously cold-seasoned region, this paper explored how our formal education and non-formal environmental education (EE) gatekeepers of Northeastern Minnesota regard the importance of outdoor play and cold weather for young students. This research study explored the relationship between participant gatekeepers' beliefs of the benefits…

Photon scattering from a system of multilevel quantum emitters. I. Formalism

Science.gov (United States)

Das, Sumanta; Elfving, Vincent E.; Reiter, Florentin; Sørensen, Anders S.

2018-04-01

We introduce a formalism to solve the problem of photon scattering from a system of multilevel quantum emitters. Our approach provides a direct solution of the scattering dynamics. As such the formalism gives the scattered fields' amplitudes in the limit of a weak incident intensity. Our formalism is equipped to treat both multiemitter and multilevel emitter systems, and is applicable to a plethora of photon-scattering problems, including conditional state preparation by photodetection. In this paper, we develop the general formalism for an arbitrary geometry. In the following paper (part II) S. Das et al. [Phys. Rev. A 97, 043838 (2018), 10.1103/PhysRevA.97.043838], we reduce the general photon-scattering formalism to a form that is applicable to one-dimensional waveguides and show its applicability by considering explicit examples with various emitter configurations.

What determines firms' decisions to formalize? Evidence from rural Indonesia

OpenAIRE

McCulloch, Neil; Schulze, Günther G.; Voss, Janina

2010-01-01

In this paper we analyze the decision of small and micro firms to formalize, i.e. to obtain business and other licenses in rural Indonesia. We use the rural investment climate survey (RICS) that consists of non-farm rural enterprises, most of them microenterprises, and analyze the effect of formalization on tax payments, corruption, access to credit and revenue, taking into account the endogeneity of the formalization decision to such benefits and costs. We show, contrary to most of the liter...

[How to write an article: formal aspects].

Science.gov (United States)

Corral de la Calle, M A; Encinas de la Iglesia, J

2013-06-01

Scientific research and the publication of the results of the studies go hand in hand. Exquisite research methods can only be adequately reflected in formal publication with the optimum structure. To ensure the success of this process, it is necessary to follow orderly steps, including selecting the journal in which to publish and following the instructions to authors strictly as well as the guidelines elaborated by diverse societies of editors and other institutions. It is also necessary to structure the contents of the article in a logical and attractive way and to use an accurate, clear, and concise style of language. Although not all the authors are directly involved in the actual writing, elaborating a scientific article is a collective undertaking that does not finish until the article is published. This article provides practical advice about formal and not-so-formal details to take into account when writing a scientific article as well as references that will help readers find more information in greater detail. Copyright © 2012 SERAM. Published by Elsevier Espana. All rights reserved.

Noncommutativity and Duality through the Symplectic Embedding Formalism

Directory of Open Access Journals (Sweden)

Everton M.C. Abreu

2010-07-01

Full Text Available This work is devoted to review the gauge embedding of either commutative and noncommutative (NC theories using the symplectic formalism framework. To sum up the main features of the method, during the process of embedding, the infinitesimal gauge generators of the gauge embedded theory are easily and directly chosen. Among other advantages, this enables a greater control over the final Lagrangian and brings some light on the so-called ''arbitrariness problem''. This alternative embedding formalism also presents a way to obtain a set of dynamically dual equivalent embedded Lagrangian densities which is obtained after a finite number of steps in the iterative symplectic process, oppositely to the result proposed using the BFFT formalism. On the other hand, we will see precisely that the symplectic embedding formalism can be seen as an alternative and an efficient procedure to the standard introduction of the Moyal product in order to produce in a natural way a NC theory. In order to construct a pedagogical explanation of the method to the nonspecialist we exemplify the formalism showing that the massive NC U(1 theory is embedded in a gauge theory using this alternative systematic path based on the symplectic framework. Further, as other applications of the method, we describe exactly how to obtain a Lagrangian description for the NC version of some systems reproducing well known theories. Naming some of them, we use the procedure in the Proca model, the irrotational fluid model and the noncommutative self-dual model in order to obtain dual equivalent actions for these theories. To illustrate the process of noncommutativity introduction we use the chiral oscillator and the nondegenerate mechanics.

El Salvador - Non-Formal Skills Development

Data.gov (United States)

Millennium Challenge Corporation — The Non-Formal Skills Development Sub-Activity had a budget of $5 million (USD) to provide short-term training to vulnerable populations in El Salvador's Northern...

Formal monkey linguistics : The debate

NARCIS (Netherlands)

Schlenker, Philippe; Chemla, Emmanuel; Schel, Anne M.|info:eu-repo/dai/nl/413333450; Fuller, James; Gautier, Jean Pierre; Kuhn, Jeremy; Veselinović, Dunja; Arnold, Kate; Cäsar, Cristiane; Keenan, Sumir; Lemasson, Alban; Ouattara, Karim; Ryder, Robin; Zuberbühler, Klaus

2016-01-01

We explain why general techniques from formal linguistics can and should be applied to the analysis of monkey communication - in the areas of syntax and especially semantics. An informed look at our recent proposals shows that such techniques needn't rely excessively on categories of human language:

A formalization of computational trust

NARCIS (Netherlands)

Güven - Ozcelebi, C.; Holenderski, M.J.; Ozcelebi, T.; Lukkien, J.J.

2018-01-01

Computational trust aims to quantify trust and is studied by many disciplines including computer science, social sciences and business science. We propose a formal computational trust model, including its parameters and operations on these parameters, as well as a step by step guide to compute trust

Formalism and physical interpretation in Schroedinger

International Nuclear Information System (INIS)

Paty, M.

1992-01-01

The question of the relation between a formalism and its physical interpretation arises not only when theoretical and conceptual systems are reorganized, but in the theoretical elaboration as well. The Schroedinger's work and thought are examined in this paper with this double concern. His work on the mathematical formalism is constantly sustained by a proper physical thought which takes the form of a wave intuition that guarantees him intelligibility. Concerning his interpretation of quantum mechanics, his thought remains characterized, through its evolution, by a w ave image of the world . The way he deals with space-time structure in General Relativity and favours the possibility of a direct interpretation of space-time geometrical quantities, is also studied. (author). 75 refs

A Formal Framework for Workflow Analysis

Science.gov (United States)

Cravo, Glória

2010-09-01

In this paper we provide a new formal framework to model and analyse workflows. A workflow is the formal definition of a business process that consists in the execution of tasks in order to achieve a certain objective. In our work we describe a workflow as a graph whose vertices represent tasks and the arcs are associated to workflow transitions. Each task has associated an input/output logic operator. This logic operator can be the logical AND (•), the OR (⊗), or the XOR -exclusive-or—(⊕). Moreover, we introduce algebraic concepts in order to completely describe completely the structure of workflows. We also introduce the concept of logical termination. Finally, we provide a necessary and sufficient condition for this property to hold.

Curiosity: A Prerequisite for the Attainment of Formal Operations?

Science.gov (United States)

Hawkins, Vincent J.

1982-01-01

Research on Piaget's four stages of cognitive development has shown that although nearly everyone passes through sensorimotor, preoperational, and concrete operational stages, most do not reach the stage of formal operations. Those people who do attain formal operations seem to have a curiosity factor not operative in those who don't. (Author/BRR)

Heuristics structure and pervade formal risk assessment.

Science.gov (United States)

MacGillivray, Brian H

2014-04-01

Lay perceptions of risk appear rooted more in heuristics than in reason. A major concern of the risk regulation literature is that such "error-strewn" perceptions may be replicated in policy, as governments respond to the (mis)fears of the citizenry. This has led many to advocate a relatively technocratic approach to regulating risk, characterized by high reliance on formal risk and cost-benefit analysis. However, through two studies of chemicals regulation, we show that the formal assessment of risk is pervaded by its own set of heuristics. These include rules to categorize potential threats, define what constitutes valid data, guide causal inference, and to select and apply formal models. Some of these heuristics lay claim to theoretical or empirical justifications, others are more back-of-the-envelope calculations, while still more purport not to reflect some truth but simply to constrain discretion or perform a desk-clearing function. These heuristics can be understood as a way of authenticating or formalizing risk assessment as a scientific practice, representing a series of rules for bounding problems, collecting data, and interpreting evidence (a methodology). Heuristics are indispensable elements of induction. And so they are not problematic per se, but they can become so when treated as laws rather than as contingent and provisional rules. Pitfalls include the potential for systematic error, masking uncertainties, strategic manipulation, and entrenchment. Our central claim is that by studying the rules of risk assessment qua rules, we develop a novel representation of the methods, conventions, and biases of the prior art. © 2013 Society for Risk Analysis.

Changes in formal sex education: 1995-2002.

Science.gov (United States)

Lindberg, Laura Duberstein; Santelli, John S; Singh, Susheela

2006-12-01

Although comprehensive sex education is broadly supported by health professionals, funding for abstinence-only education has increased. Using data from the 1995 National Survey of Adolescent Males, the 1995 National Survey of Family Growth (NSFG) and the 2002 NSFG, changes in male and female adolescents' reports of the sex education they have received from formal sources were examined. Life-table methods were used to measure the timing of instruction, and t tests were used for changes over time. From 1995 to 2002, reports of formal instruction about birth control methods declined among both genders (males, from 81% to 66%; females, from 87% to 70%). This, combined with increases in reports of abstinence education among males (from 74% to 83%), resulted in a lower proportion of teenagers' overall receiving formal instruction about both abstinence and birth control methods (males, 65% to 59%; females, 84% to 65%), and a higher proportion of teenagers' receiving instruction only about abstinence (males, 9% to 24%; females, 8% to 21%). Teenagers in 2002 had received abstinence education about two years earlier (median age, 11.4 for males, 11.8 for females) than they had received birth control instruction (median age, 13.5 for both males and females). Among sexually experienced adolescents, 62% of females and 54% of males had received instruction about birth control methods prior to first sex. A substantial retreat from formal instruction about birth control methods has left increasing proportions of adolescents receiving only abstinence education. Efforts are needed to expand teenagers' access to medically accurate and comprehensive reproductive health information.

Moving interprofessional learning forward through formal assessment.

Science.gov (United States)

Stone, Judy

2010-04-01

There is increasing agreement that graduates who finish tertiary education with the full complement of skills and knowledge required for their designated profession are not 'work-ready' unless they also acquire interpersonal, collaborative practice and team-working capabilities. Health workers are unable to contribute to organisational culture in a positive way unless they too attain these capabilities. These capabilities have been shown to improve health care in terms of patient safety, worker satisfaction and health service efficiency. Given the importance of interprofessional learning (IPL) which seeks to address these capabilities, why is IPL not consistently embedded into the education of undergraduates, postgraduates and vocationally qualified personnel through formal assessment? This paper offers an argument for the formal assessment of IPL. It illustrates how the interests of the many stakeholders in IPL can benefit from, and contribute to, the integration of IPL into mainstream professional development and tertiary education. It offers practical examples of assessment in IPL which could drive learning and offer authentic, contextual teaching and learning experiences to undergraduates and health workers alike. Assessment drives learning and without formal assessment IPL will continue to be viewed as an optional topic of little relative importance for learners. In order to make the next step forward, IPL needs to be recognised and endorsed through formal assessment, both at the tertiary education level and within the workplace environment. This is supported by workforce initiatives and tertiary education policy which can be used to specify the capabilities or generic skills necessary for effective teamwork and collaborative practice.

PRODUCTION SYSTEM MODELING AND SIMULATION USING DEVS FORMALISM

OpenAIRE

Amaya Hurtado, Darío; Castillo Estepa, Ricardo Andrés; Avilés Montaño, Óscar Fernando; Ramos Sandoval, Olga Lucía

2014-01-01

This article presents the Discrete Event System Specification (DEVS) formalism, in their atomic and coupled configurations; it is used for discrete event systems modeling and simulation. Initially this work describes the analysis of discrete event systems concepts and its applicability. Then a comprehensive description of the DEVS formalism structure is presented, in order to model and simulate an industrial process, taking into account changes in parameters such as process service time, each...

Early Number Competencies of Children at the Start of Formal ...

African Journals Online (AJOL)

cce

occupy a central position in the Primary Mathematics Curriculum in Ghana. ... The results of the study suggest that pupils possess varied abilities .... formal classroom instruction, to the use of memorised number facts and formal addition and.