Filtyp
We initiate a proof complexity theoretic study of subsystems of cutting planes (CP) modelling proof search in conflict-driven pseudo-Boolean (PB) solvers. These algorithms combine restrictions such as that addition of constraints should always cancel a variable and/or that so-called saturation is used instead of division. It is known that on CNF inputs cutting planes with cancelling addition and s
Background: Hypoxic-ischaemic encephalopathy (HIE) is a leading cause of mortality and long-term neurological sequelae, affecting thousands of children worldwide. Current therapies to treat HIE are limited to cooling. Stem cell-based therapies offer a potential therapeutic approach to repair or regenerate injured brain tissue. These preclinical findings have now culminated in ongoing human neonata
Objective: Previous studies of the consequences of unilateral hearing loss (UHL) on the functional-structural organization of the brain has included subjects with various degrees of UHL. We suggest that the consequences of a total loss of hearing in one ear might differ from those seen in subjects with residual hearing in the affected ear. Thus, the main aim of the present study was to compare the
Background and purpose — Studies describing time-related change in reasons for knee replacement revision have been limited to single regions or institutions, commonly analyze only 1st revisions, and may not reflect true caseloads or findings from other areas. We used revision procedure data from 3 arthroplasty registries to determine trends and differences in knee replacement revision diagnoses. P
Background: Nutrition and lifestyle have been long established as risk factors for colorectal cancer (CRC). Modifiable lifestyle behaviours bear potential to minimize long-term CRC risk; however, translation of lifestyle information into individualized CRC risk assessment has not been implemented. Lifestyle-based risk models may aid the identification of high-risk individuals, guide referral to sc
A novel kind of regenerative cooling channel, a so-called nested channel, is proposed to further reduce the combustion chamber wall temperature of a scramjet. The supercritical n-decane heat transfer in the horizontal up-channel and horizontal down-channel with different flow directions are numerically investigated. The temperature distribution, flow field, and vortex structure are presented to di
The development of biomaterials for wound healing applications requires providing a number of properties, such as antimicrobial action, facilitation of cell proliferation, biocompatibility and biodegradability. The aim of the present study was to investigate morphological and mechanical properties of zein-based microfibers, ultimately aimed at creating an environment suitable for wound healing. Th
Early and correct diagnosis of inflammatory rheumatic diseases (IRD) poses a clinical challenge due to the multifaceted nature of symptoms, which also may change over time. The aim of this study was to perform protein expression profiling of four systemic IRDs, systemic lupus erythematosus (SLE), ANCA-associated systemic vasculitis (SV), rheumatoid arthritis (RA), and Sjögren's syndrome (SS), and
BACKGROUND: Ovarian cancer risk in BRCA1 and BRCA2 mutation carriers has been shown to decrease with longer duration of oral contraceptive preparations (OCPs) use. While the effects of OCPs in the general population are well established (∼50% reduction), the estimated risk reduction in mutation carriers is much less precise due to potential bias and small sample sizes. In addition, only a few stud
Daylight availability for buildings has been an integral part of architecture since ancient times, yet for the vast majority of countries, criteria for daylight provision were not normative until the 20th century. This article examines the case of Sweden, where the term “daylight” first appeared in regulations in 1960, and assesses the daylight compliance of multi-dwelling buildings before and aft
The focal and progressive degeneration of dopaminergic (DA) neurons in ventral midbrain has made Parkinson's disease (PD) a particularly interesting target of cell-based therapies. However, ethical issues and limited tissue availability have so far hindered the widespread use of human fetal tissue in cell-replacement therapy. DA neurons derived from human pluripotent stem cells (hPSCs) offer unpre
OBJECTIVE: To determine the association between osteoarthritis (OA) and risk of hospitalization for ambulatory care sensitive conditions (HACSCs).METHODS: We included all individuals aged 40-85 years who resided in Skåne, Sweden on 31st December 2005 with at least one healthcare consultation during 1998-2005 (n = 515 256). We identified those with a main diagnosis of OA between January 1, 1998 and
This paper describes a longitudinal study involving a woman who developed aphasia as the result of a stroke in 1991. Her language and communication abilities have gradually improved, but the biggest improvements have taken place after she began using a digital camera in 1997. The paper describes both changes that have been objectively measured, such as the number of words in her vocabulary and her
