J. Freudenberger*, R. Jordan*, M. Bossert*, and S. Shavgulidze** * University of Ulm, Dep. of Information Technology Albert-Einstein-Allee 43, D-89081 Ulm, Germany Email: jfreuden,jordan,[email protected] ** Georgian Technical University, Dep. of Digital Communication Theory Kostava str. 77, Tbilisi 380075, Georgia Email: sergo [email protected] Abstract: In this paper we investigate s...

In the 1970’s, a number of important, deep and technically complicated results concerning relational semantics for modal logics was obtained by such authors as S. Thomason, K. Fine, M.S. Gerson, R.I. Goldblatt, J. F. A. K. van Benthem and W. Blok; it was the Golden Age of the subject, see [1], [2], and [3] for references and summaries of the most important works. Received 13 January 2002 This a...

ANALYSIS OF SPHERICAL FIVE-BAR HINGED MANIPULATOR WITH TWO DEGREES OF FREEDOM AND DWELLS OF OUTPUT LINK. N. Davitashvili. “Problems of Mechanics”. Tbilisi, 2015, No 1(58), pp. 5-11, (Engl.). Is stated the kinematic study of spherical five-bar manipulator with two degrees of freedom. Are determined the positions, velocities and accelerations of output links, their points and gripper. The manipul...

The role played by continuous morphisms in propositional modal logic is investigated: it turns out that they are strictly related to filtrations and to suitable variants of the notion of a free algebra. We also employ continuous morphisms in the incremental construction of (standard) finitely generated free S4-algebras. This Technical Report reproduces the content of my talk given at the worksh...

We identify a variety of coannihilation scenarios in a supersymmetric SU(4)c×SU(2)L×SU(2)R model with discrete left-right symmetry. Non-universal gaugino masses, compatible with the gauge symmetry, play an essential role in realizing gluino and bino-wino coannihilation regions that are consistent with the WMAP dark matter constraints. We also explore regions of the parameter space in which the ...

Mirza Khinikadze1,2,3, Mirzabayev Marat1, Koka Gogichashvili2,3*, Natia Iashvili2, Onyekachi Emmanuel Anyagwa2, Oluwatoyin Adalia Dairo2, Kumar Saurabh2, Reza Badrnejad2, Shashwat Sandeep Phade2, Courtney Storm Truebody2, Mostafa Yassin2, Srushti Kishor JAMDAR2, Vismaja Vijayan2, Radhika Prashant Patil2 and Aishwarya Ninad Bhuta2 Author Affiliations 1Department of Neurosurgery KazNMU named afte...

The little hierarchy problem encountered in the constrained minimal supersymmetric model (CMSSM) can be ameliorated in supersymmetric models based on the gauge symmetry G422 ≡ SU(4)c × SU(2)L × SU(2)R. The standard assumption in CMSSM (and in SU(5) and SO(10)) of universal gaugino masses can be relaxed in G422, and this leads to a significant improvement in the degree of fine tuning required to...