Filetype
Our existing urban environment has a significant potential to increase the use of renewable energy, mainly by using solar irradiation for heat and electricity. Quantification of the solar potential by means of a solar map is the first step in the acceleration process for using more solar energy in our urban environments. A solar map is a GIS system providing the annual solar irradiation on buildin
I artikeln analyseras Thomas Hobbes frihetsbegrepp i relation till lag, rätt och det politiska tillståndets artificiella karaktär i avsikt att förstå hur Hobbes kan förena politisk absolutism med medborgarnas villkorade rätt att vara olydiga.
Basal kroppskännedom är en metod som används allt flitigare i nordisk sjukgymnastik. Basal kroppskännedom handlar om grundläggande rörelseförmåga, rörelsebeteende och kroppsmedvetande. Det handlar om hållning, balans och koordination, och om muskulära spänningar i kroppen.
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is proof-theoretically well-behaved, in particular, it gives rise to a decision procedure for the logic. This shows that many-valued hybrid logics is a natural enterprise and opens up the way for future applications.
Invited by Professor Paul McDonald, Portsmouth University to participate in workshop “Researching International Film Industries” together with four other international scholars.
