This paper studies the information content of some Ifo indicators. In particular, we investigate whether two Ifo indicators, one on the current business situation, the other on current production development, provide information on revisions of German industrial production. A new feature of our analysis is the construction and use of a real-time dataset. We conclude that the Ifo indicators play...

It has been recognized that there is a need for a language mechanism that support reuse of collections of related classes. Existing approaches either use an enclosing class for this purpose, or introduce a special purpose, new language construct. In this paper we explore the use of packages for the grouping of related classes. Ordinary packages are already grouping of classes, so we explore the...

We propose a technique to construct physical Zero-Knowledge Proof (ZKP) protocols for puzzles that require single loop draw feature. Our approach is based on the observation has only one hole and this property remains stable by some simple transformations. Using trick, we can transform big loop, which visible anyone, into solution using transformations do not disclose any information about solu...

We study the two-dimensional supersymmetric Toda theory based on the Lie superalgebra B(1, 1) ≡ Osp(3|2) and construct its quantum W-currents. We also investigate the fermionic affinization of this model: we show that despite the non-unitary form of the Lagrangian the B (1) (1, 1) theory has a real particle mass spectrum which is not renormalized at one-loop. We construct the first higher–spin ...

This paper introduces a new compiler optimization called with-loop-folding. It is based on a special loop construct, the withloop, which in the functional language Sac (for Single Assignment C) serves as a versatile vehicle to describe array operations on an elementwise basis. A general mechanism for combining two of these with-loops into a single loop construct is presented. This mechanism con...

This manuscript will provide a step by step method on how a graph theory and topology can be utilized to construct a Z-loop matrix for the study of faulted 3 phase power systems. The growing demand for reliable electrical power supply has forced the pace developments in electrical power system analysis using computer. In this, power system analysis plays a significant role for the analysis of f...

We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical nesting on an ordinary proof tree. The labels and nesting are used to describe the organisation of the proof, typically relating to its construction process. This can be useful for understanding and navigating the proof. Tactics...

abstract introduction: the aim of this study validating and investigating reliability ‎of the eating attitude test (garner & garfinkel, 1979).‎ methods: 100 randomly selected student of shahid beheshti university ‎participated in this study. applied methods were: item analysis (degree of ‎difficulty, discrimination coefficient, loop method), construct validity ‎‎(confirmative factor analysis, i...

Most undergraduate courses on formal semantics are based on conventional Structural Operational Semantics (SOS) and/or Denotational Semantics. Typically, they give semantic descriptions of a series of small programming languages, starting from a very simple one, and subsequently extending it with various new features. For each extension, however, it is usually necessary to revisit the descripti...