In this paper a first-order version of hybrid logic is presented. The language is obtained by adding nominals, satisfaction operators and the down-arrow binder to classical first-order modal logic (including constants and function symbols). The satisfaction operators are applied to both formulas and terms. Moreover adding the universal modality is discussed. This first-order hybrid language is int

The EU has recently put forward an integrated proposal for “Climate Action – Energy for a Changing World”, which includes concrete measures on how to meet the ‘energy and climate change package’ targets of 2020. The challenge is how these targets can be reached, and how bioenergy can meet the expectations given to it. The EU Biomass Action Plan (BAP) emphasises the need for a coordinated approach

The present vulnerability of regions, communities and activities, to changes in the frequency, intensity and distribution of extreme meteorological conditions presents a problem that may be complicated by climate change. Society has many different ways of responding to catastrophic risks and distributing the financial losses. This paper contrasts different approaches on grounds of efficiency and e

The main purpose of this thesis was to examine various factors influencing starch retrogradation. The reassociation events of starch, which are closely linked to the staling of bakery products, were mainly studied by thermal analysis. Some aspects of starch gelatinization are also included. The gelatinization and retrogradation were described as non-equilibrium processes where the phase transition

There is a crisis discussed in the discipline of Information Systems. Those who perceive such a crisis to exist are by no means agreed, as to its nature and origins. Our inquiry shows that there are a three distinct ‘crises’ being debated. The first of these relates to the substance and boundaries of the discipline itself and if it is even a discipline at all. Another ‘crisis’ relates to higher ed

The desert locust, Schistocerca gregaria, is a polymorphic insect that occurs in two morphological and physiological distinct phases, solitary and gregarious, depending on population density. The two phases are reversible at any developmental stage. The gregarious phase produces and uses stage-specific pheromones, that keep the swarm together. In my thesis, I investigated the functional morphology

Because of deflections under load, contacts on tooth flanks can occur outside the theoretical plane of action between non-conjugated profiles especially when tooth modifications are not appropriate. The main objective of the present paper is to introduce an original model of the dynamic behavior of spur gears when submitted to these particular meshing conditions. The pinion and the gear of the pai

I Skåne kan klimatförändringarna förbättra förutsättningarna för produktion av grödor och annan biomassa via förlängd växtsäsong och ökad tillväxt. Samtidigt ökar dock risker för skador, sjukdomar och insektsangrepp. En intensifiering av jordbruk för att ta vara på ökad produktionspotential och för att möta ett ökat behov av biomassa riskerar att förvärra problem som redan finns när det gäller fö

Abstract is not available

Popular Abstract in Swedish Muskulaturen i livmoderns vägg har en uttalad förmåga att dra ihop sig och dessa muskelkontraktioner spelar stor roll vid olika fysiologiska processer t.ex. vid befruktningen och för transport av ägg och spermier. Kontraktionerna i livmodern under förlossning är smärtsamma och benämns följaktligen "värkar". Vid menstruationssmärta är sammandragningar i livmodern också aWith a view to the aetiology and treatment of preterm labour and primary dysmenorrhoea we studied the influence of sexual steroids on the plasma levels of oxytocin and vasopressin, effect of these peptides on uterine contractility in vitro and in vivo, receptor concentrations and antagonists to oxytocin and vasopressin. In postmenopausal women oestrogen increased the concentrations in plasma of bo

This thesis examines the links developing between the universities and their regions in the globalising knowledge economy as observed in the UK. It examines institutional responses to two realms of policies, namely, higher education policy and regional development policy. The diversifying missions of universities, especially, the ‘third stream activities’ promoted by the UK government since the la