11,203 research outputs found
Globalization and Orthodox Christianity: A Glocal Perspective
This article analyses the topic of Globalization and Orthodox Christianity. Starting with Victor Roudometof’s work (2014b) dedicated to this subject, the author’s views are compared with some of the main research of social scientists on the subject of sociological theory and Eastern Orthodoxy. The article essentially has a twofold aim. Our intention will be to explore this new area of research and to examine its value in the study of this religion and, secondly, to further investigate the theory of religious glocalization and to advocate the fertility of Roudometof’s model of four glocalizations in current social scientific debate on Orthodox Christianity
A System of Interaction and Structure
This paper introduces a logical system, called BV, which extends
multiplicative linear logic by a non-commutative self-dual logical operator.
This extension is particularly challenging for the sequent calculus, and so far
it is not achieved therein. It becomes very natural in a new formalism, called
the calculus of structures, which is the main contribution of this work.
Structures are formulae submitted to certain equational laws typical of
sequents. The calculus of structures is obtained by generalising the sequent
calculus in such a way that a new top-down symmetry of derivations is observed,
and it employs inference rules that rewrite inside structures at any depth.
These properties, in addition to allow the design of BV, yield a modular proof
of cut elimination.Comment: This is the authoritative version of the article, with readable
pictures, in colour, also available at
. (The published version contains
errors introduced by the editorial processing.) Web site for Deep Inference
and the Calculus of Structures at <http://alessio.guglielmi.name/res/cos
Multimode network representation of two dimensional steps in rectangular waveguides
In this paper a new Multimode Network representation for arbitrary rectangular waveguide junctions is presented. The energy coupling between the higher order modes excited in the junction is rigorously described via a multimode impedance matrix representation that can be used to build very efficient and accurate software tools for the analysis of complex structures. The elements of the impedance matrix are obtained from the solution of an integral equation. The main feature of the approach is that the kernel of the integral equation derived is essentially independent from frequency and therefore, the most time consuming task, namely the solution of the integral equation, need to be performed only once per each geometry. The formulation of the method is discussed and the form of the integral equation is given, showing explicitly the dependence with the frequency. A frequency extraction procedure that can lead to a considerable time saving for the analysis of complex structures is also discussed. Finally the design of a commercial communication satellite filter structure is presented, including comparisons between our analysis and measurements of the manufactured hardware
Novel design procedure for microwave filters
In this paper a novel design procedure is described for the hardware implementation of microwave filters. The procedure is
based on a very accurate and efficient software package for the full-wave simulation of the structure and consists of a step-by-step procedure that systematically leads to dimensioning of the mplete filter geometry. Following the procedure described, each
successive step only involves the dimensioning of a maximum of four physical parameters. As an illustrative example, the design of a nine pole non-uniform filter is discussed indicating how the procedure is indeed very efficient
- …