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
Abstract is not available.
Isoelectric focusing (IEF) has had a long evolutionary process. The development of this technique was based on several original ideas and needed tremendous work. This chapter summarizes the progression of events that led to successful preparative and analytical applications of isoelectric focusing from the earliest "electrophoretic knowledge" until the modern theoretical advances.
[abstract missing]
The article gives an overview over research cooperation within the Öresund region and especially the "Broprogrammet" of the Öresundsuniversitetet.
Abstract is not available
Popular Abstract in Swedish "Så det var, vad ska vi kalla det för, chefskräck. (...) Och jag kände det att 'jag har ingen kontroll just nu över läget'. Då kände jag en fruktansvärd dödsångest och den förlamade mig fullständigt. (...) Då tappar man allt logiskt tänkande. Man blir helt djurisk, flykt, man springer." Så beskriver en svensk officer hur han reagerade när hans förband blev beskjutet unThe overall purpose of the thesis was to increase knowledge concerning how people adapt psychologically when faced with a real danger incident, and what implications these reactions and adaptation mechanisms have upon immediate performance. The thesis is based on three empirical studies concerning people with personal experience of dangerous incidents. Swedish peacekeeping personnel who were invo
The present document describes the method to be used to assess the radio performances of the 3G and 2G user equipment/mobile stations (UE/MS) in active speech mode in both the up- and the downlink. The test procedure is based on the research results accomplished within the framework of the COST Action 273 as a natural development of prior work initiated during the former COST Action 259 SWG 2.2 an
Popular Abstract in Swedish Globala internationella standards har stort inflyttande i var nutida teknikorienterade värld. Exemplen är många: vi kan importera och exportera produkter och tjänster i de flesta andra länder, vi kan kommunicera med andra personer var de än befinner sig, vi kan även resa snabbt och effektivt. Men skapande och underhåll av internationella standarder är ingen enkel procesStandards are used everywhere in the modern world and are a fundamental part of a functioning society. But the creation and maintenance of international standards is not an easy task. In addition to the technical prerequisites that must exist to create a standard, there are also political, economic and cultural aspects that must be considered. The present thesis does not interpret all these aspec
With the aim of properly understanding the basis for and the utility of many-body perturbation theory as applied to extended metallic systems, we have calculated the electronic self-energy of the homogeneous electron gas within the GW approximation. The calculation has been carried out in a self-consistent way; i.e., the one-electron Green function obtained from Dyson’s equation is the same as tha
Introduction and aims. Mental disorders among perpetrators of violent and sexual crimes differ from those in the general population in prevalence, course, and patterns of comorbidity. The Göteborg Forensic Neuropsychiatry Projects was initiated to map neuropsychiatric vulnerability factors (disorders, deficits, symptoms, and neurobiological aberrations) among violent offenders and analyze the find
