Filetype
We give a significantly simplified proof of the exponential separation between regular and general resolution of Alekhnovich et al. (2007) as a consequence of a general theorem lifting proof depth to regular proof length in resolution. This simpler proof then allows us to strengthen the separation further, and to construct families of theoretically very easy benchmarks that are surprisingly hard f
Building on [Clegg et al.’96], [Impagliazzo et al.’99] established that if an unsatisfiable k-CNF formula over n variables has a refutation of size S in the polynomial calculus resolution proof system, then this formula also has a refutation of degree k + O(n log S). The proof of this works by converting a small-size refutation into a small-degree one, but at the expense of increasing the proof si
Milk powders are commonly used for a variety of food products in which among others the milk proteins add to the properties of the products. Processing of milk can, depending on the processing parameters, change the size and structure of the proteins. These changes can be difficult to measure due to the polydispersity of milk components, which makes it a challenge to obtain direct information abou
The decomposition of lignocellulose in nature, as well as when used as feedstock in industrial settings, takes place in a dynamic system of biotic and abiotic reactions. In the present study, the impact of abiotic reactions during the storage of pretreated lignocellulose on the efficiency of subsequent saccharification was investigated. Abiotic decarboxylation was higher in steam-pretreated wheat
We study exclusive production of scalar χc0χc(0++) and pseudoscalar ηc charmonia states in proton-proton collisions at the LHC energies. The amplitudes for gg→χc0 as well as for gg→ηc mechanisms are derived in the kT-factorization approach. The pp→ppηc reaction is discussed for the first time. We have calculated rapidity, transverse momentum distributions, and such correlation observables as the d
The cognitive buffer hypothesis poses that brain size evolves to buffer individuals from environmental changes, increasing survival. Jiménez-Ortega et al. (2020) explored this hypothesis using a phylogenetic path analysis and showed that there is a direct causal link between brain size and longevity in birds, even when allometric effects are taken into account. Furthermore, a synergistic model was
This article aims to explore if social exclusion can constitute a pathway to radicalization, and if individual level of sensitivity of rejection moderates the effect of social exclusion. Humans innately seek belonging and meaning, and strive for re-establishing a sense of value and belongingness if faced with social exclusion. One way to achieve this is by adherence to a new and inviting group. In
As older adults in an early stage (prefrailty) of frailty may return to a healthy state, it is necessary to examine the prevention of prefrailty. In this context, the number and types of social participation activities associated with physical prefrailty in community-dwelling older adults have remained relatively unexplored. This cross-sectional study investigates this issue by analyzing 616 parti
To systematically address non-technical engineering skills (NTES), six mandatory "Engineering Days" (Ing-dagar) were introduced in two bachelor programmes. The students were also allowed to perform voluntary activities leading to a Certification of Non-technical Engineering Competences, a certificate the students can attach to their CVs. To be certified, the student must have performed activities
Dryland ecosystems are a major source of land cover, account for about 40% of Earth's terrestrial surface and net primary productivity, and house more than 30% of the human population. These ecosystems are subject to climate extremes (e.g. large-scale droughts and extreme floods) that are projected to increase in frequency and severity under most future climate scenarios. In this modelling study w
This chapter offers a reflection on the value of dialogue across media industries and academia in enhancing understanding of audience engagement and disengagement with media. The basis for this reflection is an industry-academic collaborative project between Lund University and Endemol Shine. The Media Experiences project conducted production and audience research on a range of drama and reality e
Systems mixing Boolean logic and arithmetic have been a long-standing challenge for verification tools such as SAT-based bit-vector solvers. Though SAT solvers can be highly efficient for Boolean reasoning, they scale poorly once multiplication is involved. Algebraic methods using Gröbner basis reduction have recently been used to efficiently verify multiplier circuits in isolation, but generally
What are the long-term differences in the propensity of immigrants to acquire destination country citizenship under different institutional contexts and how do these vary between migrant groups? This article draws on micro-level longitudinal data from administrative registers in Denmark, the Netherlands, and Sweden—three countries with widely different and changing requirements for the acquisition
Sliding mode control (SMC) is to keep the system to a stable differential manifold. Model predictive control (MPC) calculates the control input by solving an optimization problem on receding horizon. The method of receding horizon sliding control (RHSC) includes the predicted information into the SMC design by combining SMC and MPC. Considering the modeling error and measurement noise, there are m
The min-sum (MS) and approximate-min* (a-min*) algorithms are alternatives of the belief propagation (BP) algorithm for decoding low-density parity-check (LDPC) codes. To lower the BP decoding complexity, both algorithms compute two magnitudes at each check node (CN) and pass them to the neighboring variable nodes (VNs).In this work we propose a new algorithm, ga-min*, that generalizes the MS
We establish support and resistance levels from data in intraday currency exchange market activity based on machine learning methods. Specifically we design two semi-supervised classification neural networks. The first one is based on a variant of the K-means method while the second is based on a Gaussian mixture model with expectation maximisation. Each performs classification from tick data on v
The Hemse Group is one of the least understood stratigraphic units of the Silurian sequence of Gotland, Sweden. New results from airborne transient electromagnetic (ATEM) measurements in combination with previously published data from field studies and geophysical investigations shed new light on carbonate platform development during the early- to mid-Ludlow Hemse Group. ATEM reveals a transgressi
Background. Pernicious anemia (PA) is an autoimmune disease (AID) which is caused by lack of vitamin B12 (cobalamin) due to its impaired uptake. PA is a multifactorial disease which is associated with a number of other AID comorbidities and which is manifested as part of autoimmune polyglandular syndrome. Due to the shortage of family studies on PA, we planned to address the problem by assessing f
Background: Finn Chambers AQUA (FCA) is a development of the Finn Chambers (FC) test system in which the test chambers are mounted on a moisture-resistant adhesive patch. FCA has pre-fixed filter papers. Because the use of FCA does not require any extra taping or use of separate filter papers, a change from FC to FCA chambers may be beneficial for both patients and patch-test technicians. Objectiv
