The mechanism of earthquake energy input to building structures is clarified by considering the surface ground amplification and soil-structure interaction. The earthquake input energies to superstructures, soil-foundation systems and total swaying-rocking system are obtained by taking the corresponding appropriate free bodies into account and defining the energy transfer functions. It has been...

This paper presents the occurrence, properties and origin of chromium, nickel and cobalt in environmental samples soil, water and the atmosphere. Methods of determining the above-mentioned elements and ways of preparing environmental samples for chemical analyses are presented. The content of chromium, nickel and cobalt in the atmosphere, naturally occurring waters, and soil is shown, along wit...

Dharmakīrti （c. A.D. 600-660） mentioned two examples of esoteric literature in his Pramāṇavārttikasvavṛtti: the Ḍākinītantra and Bhaginītantra. Karṇakagomin 9-10th century） rephrased Bhaginītantra as Caturbhaginītantra （The Tantra Four Sisters） commentary on Pramāṇavārttikasvavṛtti titled Pramāṇavārttikaṭīkā. An earlier study presumed that Sisters here were four goddesses Jayā, Vijayā, Ajitā/Ja...

‎in this work‎, ‎first the differential equation characterizing position vector‎ ‎of spacelike curve is obtained in lorentzian plane $mathbb{l}^{2}.$ then the‎ ‎special curves mentioned above are studied in lorentzian plane $mathbb{l}%‎‎^{2}.$ finally some characterizations of these special curves are given in‎ ‎$mathbb{l}^{2}.$‎

it has long been supposed that zraiia vouruka?aiia (in yt.8.8) could be a locative singular form of the zraiiah- and vouruka?a- stems. i shall attempt to show here that this explanation is incorrect. there are, however, several good pieces of evidence in the above- mentioned avestan text that lead us to propose another reasonable explanation on this grammatical issue.

In this paper we consider four versions of Kovarik’s iterative orthogonalization algorithm, for approximating the minimal norm solution of symmetric least squares problems. Although the theoretical convergence rate of these algorithms is at least linear, in practical applications we observed that a too large number of iterations can dramatically deteriorate the already obtained approximation. I...

In this paper we focus on theorem proving for conditional logics. First, we give a detailed description of CondLean, a theorem prover for some standard conditional logics. CondLean is a SICStus Prolog implementation of some labeled sequent calculi for conditional logics recently introduced. It is inspired to the so called “lean” methodology, even if it does not fit this style in a rigorous mann...

Anticoagulants and antiplatelet drugs are used in the prophylaxis and treatment of thrombosis complicating disease entities and surgical procedures. The above-mentioned are administered separately or in combination with one another. Heparin and aspirin are classical drugs. They are burdened with side-effects, which include hemorrhagic complications, often life-threatening. Heparin is considered...