Conflict analysis has been successfully generalized from Boolean satisfiability (SAT) solving to mixed integer programming (MIP) solvers, but although MIP solvers operate with general linear inequalities, the conflict analysis in MIP has been limited to reasoning with the more restricted class of clausal constraint. This is in contrast to how conflict analysis is performed in so-called pseudo-Bool

The models of Georgios Chortatsis's play Erofili, written around 1590, were to a large extent Italian plays written a few generations earlier. Main plot elements were adopted from the Orbecche (1541) by Giovanni Battista Giraldi, with a tragic love story involving a princess and her secret marriage, whereas two of Chortatsis's choral odes included adapted translations from choral odes from Trissin

Background: Alzheimer's disease (AD) is a prevalent neurodegenerative disorder without a cure. Innovative disease models, such as induced neurons (iNs), could enhance our understanding of AD mechanisms and accelerate treatment development. However, a review of AD human iN studies is necessary to consolidate knowledge. Objective: The objective of this review is to examine the current body of litera

Vertebrates and cephalopods are the two major animal groups that view the world through sophisticated camera-type eyes. There are of course exceptions: nautiloid cephalopods have more simply built pinhole eyes. Excellent camera type eyes are also found in other animals, such as some spider groups, a few snails, and certain marine worms, but the vast majority of large camera-type eyes belong to cep

In medical research and within the field of Biology, it is important to find effective tools for probing and manipulating cells, as well as tools for detecting biomolecules. These tools should be sensitive, with high specitivity, and, if aimed at interacting with cells, they should be minimally invasive. In this thesis, I investigated the potential of various nanotools for these purposes. Specific

Small for gestational age (SGA) is considered an adverse birth outcome. Per- and polyfluoralkyl substances (PFAS) have become increasingly investigated as contributing environmental factors, thus far with inconclusive results. The current study aimed to investigate the hypothesized association between increased maternal PFAS levels in early pregnancy and an increased risk for SGA birth. This popul

Background Epithelial damage, repair and remodelling are critical features of chronic airway diseases including chronic obstructive pulmonary disease (COPD). Interleukin (IL)-33 released from damaged airway epithelia causes inflammation via its receptor, serum stimulation-2 (ST2). Oxidation of IL-33 to a non-ST2-binding form (IL-33ox) is thought to limit its activity. We investigated whether IL-33

The Portable Ice Nucleation Chamber 2 (PINCii) is a newly developed continuous flow diffusion chamber (CFDC) for measuring ice nucleating particles (INPs). PINCii is a vertically oriented parallel-plate CFDC that has been engineered to improve upon the limitations of previous generations of CFDCs. This work presents a detailed description of the PINCii instrument and the upgrades that make it uniq

A study has been undertaken to investigate the environmental implication of early detection of a fire for the environmental impact of the fire when taking into account the global impact of the intervention itself and the need to replace building and contents as a function of the size and duration of the fire. The various scenarios investigated show that the greatest benefit is gained if a fire is

Kapitel i bok utgiven av Barncancerfonden. Om hur sjuka barn gestaltats i skönlitteratur.

Den så kallade tredje uppgiften är inskriven i högskole­lagen. Tanken är att högskolorna ska samverka med det omgivande samhället och verka för att kunskap och kompetens kommer samhället till nytta. Men den tredje uppgiften faller kort och bör avskaffas, menar Per Holmgren och Peter Svensson.

Sequencing batch reactors (SBRs) are devices widely used in wastewater treatment, chemical engineering, and other areas. They allow for the sedimentation and compression of solid particles of biomass simultaneously with biochemical reactions with nutrients dissolved in the liquid. The kinetics of these reactions may be given by one of the established activated sludge models (ASMx). An SBR is opera

The outcome for patients with mantle cell lymphoma (MCL) has drastically improved with new treatments directed toward the tumor immune microenvironment, where macrophages play an important role. In MCL, the presence of M2 macrophages defined by CD163 expression in diagnostic biopsies has been associated with a worse prognosis. An alternative way to assess the abundance of M2 macrophages is by meas