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

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

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

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

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

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

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

This article discusses how contemporary coaching and laymen therapy can be discussed as modern revival movements well adapted to contemporary individual-centered and therapeutic society. The search for a soul to redeem has been transformed into new religious concepts as searching for the “true inner self”, “the inner potential” or “the authentic me” and new ritualized practices are designed as hel

Large multiobject spectroscopic surveys require automated algorithms to optimize their observing strategy. One of the most ambitious upcoming spectroscopic surveys is the 4MOST survey. The 4MOST survey facility is a fibre-fed spectroscopic instrument on the VISTA telescope with a large enough field of view to survey a large fraction of the southern sky within a few years. Several Galactic and extr

Losing a hand or arm can dramatically degrade life quality of an amputee. Although the development of advanced prosthesis has made significant progress, the prosthesis abandon rate is reported high (30% and 50%). One of the major reasons for prosthesis abandonment is the lack of sensory feedback. Providing sensory feedback can not only increase the functionality of the prostheses, but also introdu

While security is often recognized as a top priority for organizations and a push for competitive advantage, repeatedly, Internet of Things (IoT) products have become a target of diverse security attacks. Thus, orchestrating smart services and devices in a more open, standardized and secure way in IoT environments is yet a desire as much as it is a challenge. In this paper, we propose a model for

The solubility of quercetin and its thermal degradation was studied in CO2-expanded ethanol and ethyl lactate. An equipment setup was constructed that enabled the separation of the products of degradation while quantifying the solubility of quercetin. Three different conditions of temperature were analyzed (308, 323, and 343 K) at 10 MPa. Higher solubility and thermal degradation of quercetin were