In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has been changed such that nominals only partially denote states. The hybrid logic contains nominals, satisfaction operators, the downarrow binder as well as the global modality. Following this, an axiom system for the Hybrid P

Popular Abstract in Swedish Cellerna i kroppen är uppbyggda av fyra olika byggstenar: DNA, proteiner, fetter samt kolhydrater. Kolhydrater förknippas framförallt med energi och det pågår en intensiv debatt om kolhydraternas vara eller icke vara i vår kost. Kolhydraterna har dock också en helt annan funktion, en som är obestridligt oumbärlig för alla levande organismer. I denna roll förekommer de bGalectins are small soluble proteins defined by a conserved sequence motif that forms a defining β-galactoside binding site shared among galectins; adjacent binding sites give each galectin a unique fine specificity for a specific subset of galactose containing glycans. A wealth of data now suggests important roles of galectins in both cancer and inflammation. The aim of this project is to get a c

Popular Abstract in Swedish Tumörer i ben och mjukdelar är vanliga men utgör endast 1 % av alla maligna neoplasier. De elakartade tumörerna är ofta utmanande att diagnostisera pga deras relativt likartade morfologi samt att de är ovanliga. Således är all tilläggsinformation värdefull och genetiska analysmetoder kan bidra med information som är användbar och i vissa fall tom avgörande för diagnostiTumors of bone and soft tissue are common but only constitute 1 % of all malignant tumors. The malignant tumors are often difficult to diagnose due to their rarity and morphological resemblance between subtypes. This makes the diagnostic process challenging. Thus, there is a need for ancillary techniques, such as genetic analyses, not only for diagnostic purposes, but also for obtaining informatio

Using Low Energy Electron Diffraction (LEED) and Scanning Tunneling Microscopy (STM) we have investigated the structure of the GaP(111)B surface. We have previously studied the formation of Ga droplets on GaP(111)B above the maximum temperature for congruent evaporation. In the present work, we investigate the nanometer-sized pyramid-shaped crystallites that are found on the GaP(111)B surface and

Memories compete for retrieval when they are related to a common retrieval cue. Previous research has shown that retrieval of a target memory may lead to subsequent retrievalinduced forgetting (RIF) of currently irrelevant competing memories. In the present study, we investigated the time course of competitive semantic retrieval and examined the neurocognitive mechanisms underlying RIF. We contras

Global land acquisitions, often dubbed 'land grabbing' are increasingly becoming drivers of land change. We use the tools of network science to describe the connectivity of the global acquisition system. We find that 126 countries participate in this form of global land trade. Importers are concentrated in the Global North, the emerging economies of Asia, and the Middle East, while exporters are c

Geophysical survey of the Iron Age settlement at Uppåkra church in southwestern Scania revealed some odd anomalies at the highest point of the study area. The anomalies showed a rectangle surrounded by a circle. Excavation uncovered a rectangular pit with drystone walls and a stone-paved floor, surrounded by an annular ditch with a diameter of eight metres. Looters had severely damaged this appare

The uncertainty in eddy covariance (EC) flux measurements is assessed for CH4 and N2O using data measured at a dairy farm site in the Netherlands in 2006 and 2007. An overview is given of the contributing uncertainties and their magnitude. The relative and absolute uncertainty of a 30 min EC flux are estimated for CH4 and N2O using N = 2185 EC fluxes. The average absolute uncertainty and its stand

Dominance can be maintained through status recognition or recognition of individual (familiar) opponents. In crustaceans, both types of recognition exist, often based on chemical signals. Fight behaviours involved in establishment and maintenance of dominance relationships in male and female European lobster (Homarus gammarus) were examined. Same-sex pairs of size-matched animals interacted on two

Background and purpose With an ageing population and an increasing incidence of diabetes, reduction of the number of diabetes-related amputations becomes increasingly difficult to achieve and maintain. There is controversy in this respect regarding the degree of success. We started a multidisciplinary treatment program for diabetic foot ulcers in 1982, and have now assessed incidence rates of ampu

Objectives: To investigate gender differences in daily smoking prevalence in different age groups in southern Sweden. Methods: The 2004 public-health survey in Skåne is a cross-sectional study. A total of 27,757 persons aged 18-80 years answered a postal questionnaire, which represents 59% of the random sample. A logistic regression model was used to investigate the associations between gender and

In the present paper energy-consistent momentum-conserving time-stepping schemes for geometrically nonlinear multiplicative elasto-plasto-dynamics referred to as `ECMC-cG methods' are developed. In this context, the entire discretisation procedure of the global equations of motion is based on Galerkin methods in space and time, whereby special emphasis is placed on the desired conservation propert

LICE (A Large Ion Collider Experiment) is studying the physics of strongly interacting matter, and in particular the properties of the Quark–Gluon Plasma (QGP), using proton–proton, proton–nucleus and nucleus–nucleus collisions at the CERN LHC (Large Hadron Collider). The ALICE Collaboration is preparing a major upgrade of the experimental apparatus, planned for installation in the second long LHC

This paper examines the reasons behind the popularity of leadership and leadership studies. We claim that at least part of the answer to why leadership is so celebrated and ubiquitous – in academia as well in society at large – can be found in how the term typically is (not) defined and presented. Leadership discourses are almost always persuasive; constructed to appeal and seduce audiences of the

Many of Sweden’s red listed species are found in the agricultural landscape. Small biotopes (e.g. field margins and field islets) are important for the maintenance of biodiversity in agricultural landscapes, and agri-environmental support is paid to farmers who keep them open. However, a proper evaluation of the biodiversity-gains from this type of management is lacking. We examined the predicted

Evolutionary molecular studies of island radiations may lead to insights in the role of vicariance, founder events, population size and drift in the processes of population differentiation. We evaluate the degree of population genetic differentiation and fixation of the Canary Islands blue tit subspecies complex using microsatellite markers and aim to get insights in the population history using c

An important constraint on the reliability of cosmogenic nuclide exposure dating is the rigorous determination of production rates. We present a new dataset for Be-10 production rate calibration from Mount Billingen, southern Sweden, the site of the final drainage of the Baltic Ice Lake, an event dated to 11,620 +/- 100 cal yr BP. Five samples of flood-scoured bedrock surfaces (58.5 degrees N, 13.

Genome-wide association (GWA) studies usually detect common genetic variants with low-to-medium effect sizes. Many contributing variants are not revealed, since they fail to reach significance after strong correction for multiple comparisons. The WTCCC study for hypertension, for example, failed to identify genome-wide significant associations. We hypothesized that genetic variation in genes expre