En översikt av häxförföljelser från antiken till nutiden, med fokus på europeisk tidigmodern tid.

Minnesord över en förgrundsfigur inom den svenska sexarbetarrörelsen. Andersson var en av medgrundarna till Sexualpolitisk Front, Nordens första sexarbetarorganisation. Under hela sitt vuxna liv arbetade hon för att sexsäljares situation i samhället skulle förbättras, och 2017 tilldelades hon Jasminepriset, föreningen Rose Alliances pris för arbete mot våld mot sexarbetare,

This article presents a lifespan testing analysis of polymer gears manufactured by cutting. Compared to injection molding, machine cutting provides higher accuracy of gear geometry. Two different tooth flank geometries were tested; i.e. involute and S-gears. In theory, S-gears have several advantages over involute gears due to the convex/concave contact between the matching flanks. The theoretical

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

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,

An active line of research in proof complexity over the last decade has been the study of proof space and trade-offs between size and space. Such questions were originally motivated by practical SAT solving, but have also led to the development of new theoretical concepts in proof complexity of intrinsic interest and to results establishing nontrivial relations between space and other proof comple

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 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

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

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

Background: Bone age assessment (BAA) is used in numerous pediatric clinical settings as well as in legal settings when entities need an estimate of chronological age (CA) when valid documents are lacking. The latter case presents itself as critical as the law is harsher for adults and granted rights along with imputability changes drastically if the individual is a minor. Traditional BAA methods

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