natural ventilation is one of the best and the cheapest methods of ventilation that is accomplished by production of natural air flow inside of building. in iran traditional architecture, natural ventilation had been an important part of building designing but nowadays wind energy optimum usage has disregarded because of buildings congestion. rasht in gilan province is placed in a moderate and ...

The paper presents a survey of the domain of Natural Language Generation (NLG) with its models, techniques, applications, and investigates how the semantic technologies are drawn into text generation. The idea and facilities of Semantic Web initiative are discussed in connection with the new opportunities offered to the Natural Language Generation.

This paper presents a straightforward procedure for translating a Suppes-Lemmon style natural deduction proof into an LK sequent calculus. In doing so, it illustrates a close connection between the two, and also provides an account of redundant steps in a natural deduction proof.

We study the existence of a natural ‘linearisation’ process for generalised connections on an affine bundle. It is shown that this leads to an affine generalised connection over a prolonged bundle, which is the analogue of what is called a connection of Berwald type in the standard theory of connections. Various new insights are being obtained in the fine structure of affine bundles over an anc...

We prove that the natural hyper-KK ahler metrics on the moduli space of charge k instantons over Euclidean four-space and on the space of ADHM matrices coincide. We use this to deduce formulae relating expressions in the curvature of a connection to invariant polynomials in the ADHM matrices corresponding to this connection. These arise from consideration of the group of symmetries acting on th...

Let k be a field of characteristic zero, denote by R the ring k[[t]] of formal power series over k, and by K the field k((t)) of Laurent series over k. The aim of this note is to show that the de Rham cohomology of any separated and smooth rigid K-variety X carries a natural formal meromorphic connection ∂X , which we call the Gauss-Manin connection. It relates to the classical Gauss-Manin conn...

We study numerically how the intercellular conductance affects the process of spiral breakup in an array of coupled excitable cells. The cell dynamics are described by the Aliev-Panfilov model, and the intercellular connection is made via Ohmic elements. We find that decreasing intercellular conductance can prevent the breaking up of a spiral wave into a complex spatiotemporal pattern. We study...