Filetype
During the last 10 to 15 years, an active line of research in proof complexity has been to study space complexity and time-space trade-offs for proofs. Besides being a natural complexity measure of intrinsic interest, space is also an important concern in SAT solving, and so research has mostly focused on weak systems that are used by SAT solvers. There has been a relatively long sequence of paper
Background: Rectal cancer treatment has improved through important incremental surgical and oncological developments over the past decades. Localized disease is highly treatable with multimodal surgical and oncological therapy. Prognosis is dependent on several factors with tumour stage at diagnosis being the most important. Furthermore, curative treatment is highly dependent on radical surgical r
During 2010-2013, we investigated the effects of stump harvesting on greenhouse gas (GHG) fluxes of carbon dioxide (CO2), methane (CH4) and nitrous oxide (N2O) with the flux-gradient technique at four experimental plots in a hemiboreal forest in Sweden. All plots were clear-cut and soil scarified and two of the plots were additionally stump harvested. The two clear-cut plots served as control plot
Gadolinium-148 is one of the radionuclides of most concern that will be produced in the tungsten target of the European Spallation Source (ESS), as a by-product of the spallation reaction used by the facility to produce neutrons. Since 148Gd a pure alpha emitter, it is both very radiotoxic and difficult to measure. With its half-life of 75 years, it will remain in the environment for a long time i
AIMS/HYPOTHESIS: Prognostic factors and characteristics of children diagnosed with type 1 diabetes before 6 years of age were compared with those diagnosed at 6-13 years of age in the TEDDY study.METHODS: Genetically high-risk children (n = 8502) were followed from birth for a median of 9.9 years; 328 (3.9%) were diagnosed with type 1 diabetes. Cox proportional hazard model was used to assess the
Context. The HR 1614 is an overdensity in velocity space and has for a long time been known as an old (2 Gyr) and metal-rich ([Fe=H] +0:2) nearby moving group that has a dissolving open cluster origin. The existence of such old and metal-rich groups in the solar vicinity is quite unexpected since the vast majority of nearby moving groups are known to be young. Aims. In the light of new and signifi
The cysteinyl-leukotrienes (cysLTs: LTC4, LTD4 and LTE4) have an important pathophysiological role in asthma. They are not only extremely potent bronchoconstrictors, but are also involved in the central mechanisms of the asthmatic inflammation and the subsequent remodelling of the airways. Allergen-induced bronchoconstriction as well as spontaneous exacerbations of asthma are associated with incre
Popular Abstract in Swedish Immunsystemet skyddar kroppen mot infektion. För att kunna skydda mot infektion krävs att immunsystemet är utrustat med kraftfulla biokemiska motmedel. Ett sådant motmedel är antikroppar. Antikroppar är proteiner som känner igen och specifikt binder till andra molekyler via en s k molekylbindande klyfta. När antikropparna har bundit in till en molekyl på t ex en bakteriPrimary infections and vaccination stimulates the immunesystem to produce memory cells that rapidly respond to reexposure of the same antigen. These memory responses are dependent on an adaptive type of immunity that sustains the reactivity of the immune system by long-lived memory immune cells. From an evolutionary perspective adaptive immunity as such appears to be restricted to jawed vertebrate
Popular Abstract in Swedish På lång sikt drivs ekonomisk tillväxt av teknisk utveckling. Det är genom att kunna producera mer och bättre produkter givet samma insatsfaktorer som bruttonationalprodukten (BNP) växer i det långa loppet. Men vad är det då som genererar teknisk utveckling? Jo, satsningar på forskning och utveckling (FoU). Dock är det så att resultaten från FoU – ny kunskap och ny tekniThis thesis deals with the organization of R&D from a micro perspective in order to get a better idea of how to generate economic growth in the long run. What kind of R&D policies should be promoted? This thesis contributes to the existing literature by investigating other data sets than before, by using more modern econometric techniques and by extending the investigated variables. Chapt
Background: Osteoporosis is a common bone disease, which does not give symptoms until the ultimate outcome, the fragility fracture occurs. Regulation of bone mass is controlled by genetic, environmental and nutritional influences. Peak bone mass, defined as the maximum bone mass accrued, is usually reached by the third decade of life and is an important determinant of future osteoporotic fracture.
Recommendations stated in the TASC II guidelines for the treatment of peripheral arterial disease (PAD) regard a heterogeneous group of patients ranging from claudicants to critical limb ischaemia (CLI) patients. However, specific considerations apply to CLI patients. An important problem regarding the majority of currently available literature that reports on revascularisation strategies for PAD
Stroke is a leading cause of death and long-term neurological deficits worldwide, and no effective treatment is available for the vast majority of the stroke patients. A rapid and persistent activation of multiple and dynamic inflammatory and immune cascades, in and outside the brain, occurs after stroke. These cascades are believed to affect the progression of the cerebral damage, as well as neur
The aim of this thesis was to test a tool for assessing insomnia symptoms in elderly persons and to investigate late-life insomnia in terms of associated factors and evidence of non-pharmacological interventions in healthcare settings. Data were collected by means of a systematic literature search (Study I), questionnaires (Studies II-III), interviews and observations (Study IV). The results from
Introduction: Obesity and health complications surrounding it have been on rise for a long time due to various factors where lifestyle is one of the most certain causes. Individuals following poor diet, specifically the western pattern diet or anything that comprises an excess of sugars and fats are prone to cardiometabolic diseases. Thus, modifications in the diet have the potential to prevent th
Prostitutionen och lagstiftningen kring den har varit och är ett ämne för ständig debatt. När Sverige 1999 införde en kriminalisering som endast riktade sig mot köparen var en sådan lösning den första av sitt slag i världen. Kriminaliseringen hade föregåtts av en lång debatt och återkommande var frågan vilken effekt en kriminalisering skulle ha i praktiken. Farhågor för en försämrad situation för
Entreprenadavtal karakteriseras av att arbetena de reglerar tenderar att vara omfattande, komplicerade och långvariga, vilket ställer krav på samverkan mellan entreprenadavtalets parter. När en av avtalsparterna inte utför sin huvudförpliktelse uppstår ett avtalsbrott, vilket kan innebära att vissa påföljder med anledning av avtalsbrottet aktualiseras. I särskilda fall kan den skadelidande parten
The goal of this project was to investigate the effect and interplay of formulation and processing parameters on the colloidal stability of emulsified triacylglycerols from a product quality perspective. Different methods to quantify and monitor this effect over time were evaluated. The results of this study were intended to lead to the development of industry relevant recommendations to optimise
The idea of a common language has always existed in some form in China, from the ya yan of Confucius to the modern day mandarin – known as Putonghua. During the Qing dynasty the Beijing dialect slowly became dominant, and in the years following the Xinhai revolution this was made formal through a series of decisions aimed at standardizing the language. The current definition dates back to the 1956
Popular science summary: How do bacteria divide? Cell division is an absolute requirement for proliferation of all bacteria and results in the bacterium being split into two by a septum. FtsZ is a protein that plays a key role in bacterial cell division. In this project, one part of the FtsZ protein was investigated with genetic methods to understand how it affects the division process. Previou
Denna uppsats redogör för hur domstolen bedömer ett brotts straffvärde i narkotikamål. Detta innebär att domstolen ska visa den skuld gärningsmannen uppvisar genom den brottsliga gärningen och olika faktorer. I början på 1960-talet var straffet för narkotikabrott böter eller fängelse i högst två år enligt NF. När NSL antogs höjdes dock straffmaximum till tio års fängelse då man var rädd för att SvThis essay concerns the assessment of penal value in cases regarding narcotic offenses. It particularly concerns the level of guilt as shown by the court for the criminal act and associated factors. In the early 1960's the punishment for narcotic offences were fines or inprisonment for up to two years in accordance with narcoticregulation. With the adoption of the narcotic penal law the maxim
