Filetype
We prove that there are 3-conjunctive normal form formulas over n variables that can be refuted in resolution in width w but require resolution proofs of size nΩ(w). This shows that the simple counting argument that any formula refutable in width w must have a proof in size nO(w) is essentially tight. Moreover, our lower bound generalizes to polynomial calculus resolution and Sherali-Adams, implyi
Local irritation and inflammation at the site of administration is a common side effect following administration of parenteral formulations. Biological effects of surface (interfacial) activity in solutions are less well investigated than effects caused by other physico-chemical parameters such as pH and osmolality. The interfacial activity in different systems, including human plasma, typical amp
The interest in economic evaluation of alternative strategies for haemophilia treatment has increased through the years. Few studies have actually been undertaken, however, and most of them have been simple cost-minimization or cost-effectiveness analyses. From the perspective of the binational project 'Treatment strategies for severe haemophilia - prophylaxis vs. on-demand', the present paper dis
For better understanding of the transient behavior of the flow/flame interaction in highly turbulent premixed flames, measurement techniques with sufficient temporal resolution are required. Using a burst-mode laser pumped optical parametric oscillator system, the present work demonstrated an ultra-high-speed diagnostic, for the first time, capable of visualizing hydroxyl radicals (OH) and formald
Background: Incisional hernia remains the most common complication of open abdominal surgery. The aim was to investigate whether a reinforced tension-line suture combined with standard 4: 1 small-bite closure reduces the 3-year incidence of computed tomography-detected incisional hernia in open colorectal cancer surgery. Methods: Patients aged > 18 years, scheduled for colorectal cancer resection
Experimental Evolution: From hermaphrodite to two sexes! When one hears the word evolution most of us think of Charles Darwin and his theory of natural selection. He once said, ”It is not the strongest of species that survive, nor the most intelligent, but the one most responsive to change”. We will get back to that, but a very important thing here is that the timeframe he is talking about is mil
Fästingburen hjärnhinneinflammation (TBE) är en allvarlig virussjukdom som i värsta fall kan leda till långvarig neurologiska skador (46% av fallen), och i enstaka fall, döden. Mer rumslig analys av TBE förekomst och modellering av baserat på infektioner och faktorer som temperatur och nederbörd kan bidra till att identifiera nya riskområden så att beslutsfattare inom folkhälsovården kan implementThe increasing prevalence of Tick-Borne Encephalitis (TBE) in Sweden is a cause of concern to both individuals and the public health service. The disease is spread via bites from the vector Ixodes ricinus and causes long-term neurological damage in 46% of cases. To date, research in this field has focussed on the relationship between climate and TBE incidence and there is little to no available re
Following trends in local and global environments, it is obvious that many companies are faced with difficulties to survive in this competitive environment. Business Model Innovation (BMI) is the key to the firm’s long-term success. The case study of BTC d.d., has been made to give an example how firms should be aware of their weaknesses and strengths in order to constantly innovate their business
Abstract In developed economies industry was once the backbone of the economy and was seen as the machinery behind economic growth. During the past decades, industry’s importance has been diminishing in advanced economies. The trend has been stronger in some countries than in others but seems rather consistent over time. Furthermore the financial sector has enjoyed vast growth since the 1980’s. In
Natural gas has been traditionally applied in spark-ignited combustion engines due to similar combustion characteristics for methane gas and gasoline. However, spark ignition requires a low compression ratio to avoid knock problems and therefore, gas engines have lower efficiency than diesel engines. A combustion concept that has been successfully applied on large stationary engines and to some ex
This paper studies the long-term behaviour of a system of interacting random walks labelled by vertices of a finite graph. We show that the system undergoes phase transitions, with different behaviour in various regions, depending on model parameters and properties of the underlying graph. We provide the complete classification of the long-term behaviour of the corresponding continuous time Markov
OBJECTIVE: The aim of this study was to analyze whether the associations between perceived environmental and individual characteristics and perceived walking limitations in older people differ between those with intact and those with poorer lower extremity performance.METHOD: Persons aged 75 to 90 (N= 834) participated in interviews and performance tests in their homes. Standard questionnaires wer
This paper studies the issue of whether money contains useful information about future inflation in a panel of nine developed countries. A low frequency estimate of excess money growth is compared to an estimate of the inflation trend following the discussion in Woodford (2007). The empirical analysis shows that money contains more information about future CPI-inflation than an estimate of the inf
Major shortcomings in salary-setting appraisals | Saco-S Lund University Hoppa till huvudinnehåll About us Members of the Saco-S Council Board of the Saco-S Council Saco-S Council's Nomination Committee News at LU This year's salary review at Lund University – how it works Salary debt negotiations end in disagreement Managers dissatisfied with salary-setting appraisals at Lund University Saco-S la
