Sökresultat

Filtyp

Din sökning på "*" gav 532787 sökträffar

Att göra många till en – om populismens logik

Den här artikeln introducerar Ernesto Laclaus teori om populism för den skan-dinaviska retorikforskningen i syfte att adressera en befintlig brist på begrepps liga resurser för att analysera populistiska artikulationer. Laclaus teori om populism syftar till att förklara de retoriska processer inneboende i varje politisk kamp såväl som att förstå konfliktdimensionen som konstitutiv för demokratisk po

Biobank Economics and the Commercialization Problem

The economics of biobanking are intertwined with its social and scientific aspects. In this article, we illustrate this interrelationship and describe two problems that structure the discussion about the economics of biobanking. First, there is a “sustainability problem” about how to maintain biobanks in the long term. Second, and representing a partial response to the first problem, there is a “c

Narrow proofs may be maximally long

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

Relating proof complexity measures and practical hardness of SAT

Boolean satisfiability (SAT) solvers have improved enormously in performance over the last 10-15 years and are today an indispensable tool for solving a wide range of computational problems. However, our understanding of what makes SAT instances hard or easy in practice is still quite limited. A recent line of research in proof complexity has studied theoretical complexity measures such as length,

On the relative strength of pebbling and resolution

The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof systems when comparing the strength of different subsystems, showing bounds on proof space, and establishing size-space trade-offs. The typical approach has been to encode the pebble game played on a graph as a CNF formula an

The role of citizen science in sustainable agriculture

Farmers know much more than we think, and they are keen to improve their knowledge in order to improve their farms and increase their income. On the other hand, decision-makers, organizations, and researchers are increasing their use of citizen volunteers to strengthen their outcomes, enhance project implementation, and approach ecosystem sustainability. This paper assesses the role of citizen sci

A century of Hereditas : from local publication to international journal

Background: The Mendelian Society of Lund launched Hereditas in 1920. The purpose of this article is to give an overview of Hereditas’s hundred-year existence, focusing on the conditions for a learned society to publish a scientific journal, and the journal’s importance for the publication and dissemination of genetic research. The article focuses on the historical development of the journal and a

Svenskarnas inställning till internationellt samarbete inom civil beredskap

Coronapandemin kan beskrivas som en global kris som i allt väsentligt har hanterats nationellt. Det globala samarbetet inom framför allt Världshälsoorganisationen WHO har ifrågasatts och kritiserats, inte minst av USA, som nu förbereder för att lämna organisationen. EU-samarbetet har innefattat samordning av vissa krisinsatser och gemensamma ekonomiska stödåtgärder, men strategier för hälso- och s

Coevolution, diversification and alternative states in two-trophic communities

Single-trait eco-evolutionary models of arms races between consumers and their resource species often show inhibition rather than promotion of community diversification. In contrast, modelling arms races involving multiple traits, we found that arms races can promote diversification when trade-off costs among traits make simultaneous investment in multiple traits either more beneficial or more cos

Depicting the Ethereal, Part I: Visual Art and Psi

The turn from figurative art to the depiction of internal experiences opened the door for artists to represent anomalous experiences and ostensible psi phenomena. Various studies have described how Abstract art was influenced by Occultism, but there were other important influences. They include scientific theories of the ether and hypergeometric dimensions, the development of technological advance

International manufacturing relocation - the phenomenon of backshoring

Recently, firms have started to bring back once offshored manufacturing activities from far distant locations, an activity referred to as backshoring. The purpose of this thesis is to contribute to the understanding of the backshoring phenomenon by answering four research questions related to different aspects of manufacturing relocation. Thereby, the thesis makes several important contributions t

Knowledge management support in the engineering change process

Knowledge management (KM) in the engineering change management process is crucial for any manufacturing enterprise. Increasing complexity triggers an increasing demand for systematic management of information and knowledge. KM is of strategic importance to a successful management of an enterprise, especially when the key staff changes. Systematically gathered, analyzed and interpreted professional

From small space to small width in resolution

In 2003, Atserias and Dalmau resolved a major open question about the resolution proof system by establishing that the space complexity of a Conjunctive Normal Form (CNF) formula is always an upper bound on the width needed to refute the formula. Their proof is beautiful but uses a nonconstructive argument based on Ehrenfeucht-Fraïssé games. We give an alternative, more explicit, proof that works

Some trade-off results for polynomial calculus

We present size-space trade-offs for the polynomial calculus (PC) and polynomial calculus resolution (PCR) proof systems. These are the first true size-space trade-offs in any algebraic proof system, showing that size and space cannot be simultaneously optimized in these models. We achieve this by extending essentially all known size-space trade-offs for resolution to PC and PCR. As such, our resu