Förord till antologin "Armenia, mon amour", redigerad av Svante Lundgren och Serafim Seppälä

Kapitel i antologin "Armenia, mon amour", redigerad av Svante Lundgren och Serafim Seppälä

The clear cell, chromophobe and papillary carcinoma as well as oncocytoma are the most common renal tumours. While cases of hybrid renal tumours are well known, the true collision renal tumour of oncocytoma and Papillary Renal Cell Carcinoma (PRCC) is still rare. Herein, we present a case of a true collision renal tumour of an oncocytoma and a PRCC as well as a review of the literature.

The aim of this paper is to show that logic programming is a powerful tool for representing scientific theories and for scientific inference. In a logic program it is possible to encode the qualitative and quantitative components of a theory in first order predicate logic, which is a highly expressive formal language. A theory program can then be handed to an algorithm that reasons about the theor

Background:Joint research between industry and academia benefits both communities.For researchers, working with practitioners, it is a chance to collect empirical data and test research-based solution proposals.For practitioners, one of the main benefits is access to scientific knowledge.Despite the benefits, there is a gap between industry and academia that could be addressed through more joint r

BACKGROUND: Lifestyle-related diseases, such as stroke, heart disease, and diabetes, are examples of noncommunicable diseases. Noncommunicable diseases are now the leading cause of death in the world, and their major causes are lifestyle related. The number of eHealth interventions is increasing, which is expected to improve individuals' health literacy on lifestyle-related diseases.OBJECTIVE: Thi

Mjölkpulvrets historia. Tycker du att det låter torrt? Då känner du nog inte till att historien om det till synes menlösa mjölkpulvret kantas av allt från giftmord till miljonbedrägerier, nazistanklagelser – och världens allra första brevbomb.I Pulverpionjärerna presenterar livsmedelsteknikern Andreas Håkansson den oväntat rafflande berättelsen om mjölkpulvrets teknik- och kulturhistoria, från des

Biorefineries have the potential to partially or entirely replace petrochemistry for the production of our daily bulk and fine chemicals. However, this replacement can only be sustainable and cost-effective if the raw material used is cheap, renewable and does not compete with the food and feed industry. One raw material meeting these criteria is lignocellulose from agricultural and forestry waste

Over the last decades Boolean satisfiability (SAT) solvers based on conflict-driven clause learning (CDCL) have developed to the point where they can handle formulas with millions of variables. Yet a deeper understanding of how these solvers can be so successful has remained elusive. In this work we shed light on CDCL performance by using theoretical benchmarks, which have the attractive features

We study space complexity and time-space trade-offs with a focus not on peak memory usage but on overall memory consumption throughout the computation. Such a cumulative space measure was introduced for the computational model of parallel black pebbling by [Alwen and Serbinenko 2015] as a tool for obtaining results in cryptography. We consider instead the nondeterministic black-white pebble game a

We consider the graph k-colouring problem encoded as a set of polynomial equations in the standard way. We prove that there are bounded-degree graphs that do not have legal k-colourings but for which the polynomial calculus proof system defined in [Clegg et al. 1996, Alekhnovich et al. 2002] requires linear degree, and hence exponential size, to establish this fact. This implies a linear degree lo

Background: Maternal alloantibodies to human platelet antigen-1a can cause severe intracranial hemorrhage in a fetus or newborn. Although never evaluated in placebo-controlled clinical trials, most Western countries use off-label weekly administration of high-dosage intravenous immunoglobulin in all pregnant women with an obstetrical history of fetal and neonatal alloimmune thrombocytopenia. In No