Filtyp
While Datalog provides a high-level language for expressing static program analyses, it depends on external tooling to extract the input facts from the analyzed programs. To remove this dependency, we present MetaDL. The MetaDL system consists of a Datalog language extension for source-level program analysis and tools for generating the language extension from a description of the analyzed languag
Non-traditional examples can be very inspiring for students. This paper applies classical mechanics to different ways of skating in ice hockey. Skating blades glide easily along the ice in the direction of the blade. Horizontal forces on the skates are thus essentially perpendicular to the blade. Speed skaters glide long distances on each skate before pushing off for the next stride. A hockey play
Hepatic fibrosis can result as a pathological response to nonalcoholic steatohepatitis (NASH). Cirrhosis, the late stage of fibrosis, has been linked to poor survival and an increased risk of developing hepatocellular carcinoma, with limited treatment options available. Therefore, there is an unmet need for novel effective antifibrotic compounds. Cyclophilins are peptidyl-prolyl cis-trans isomeras
Detta är den nionde skriften i forskningsprogrammet Vetenskap och beprövad erfarenhets (VBE:s) skriftserie om begreppet vetenskap och beprövad erfarenhet. Denna gång är skriften resultatet av ett pågående samarbete med forskningsprogrammet Foresight vid Malmö universitet. Foresights forskning är inriktad på att hitta nya verktyg för att identifiera patienter som löper ökad risk för karies och tand
While the study of building types is a well-known and relatively active research field, the topic of room types is less explored. This article takes a broad approach to spatial categorization, enabling the examination of different types of spaces over longer periods. How do different room types evolve and die? How do the different residential room types relate to each other? Do they act alone or d
Software-defined networks are being widely adopted and used in large and complex networks supporting critical operations. Their increasing importance highlights the need for effective validation of SDN topologies and routing policies both prior and during operation. The policies that configure an SDN deployment come from several, possibly conflicting sources. This may lead to undesired effects suc
In order to calculate building energy usage, apart from the technical characteristics, user related factors needs to be determined. Unless the user related factors are determined by specific project, the idea is to apply a standardized list of input data for a normal operation during a normal year, so the calculated energy value does not depend on variation of these factors. Such list was issued b
BACKGROUND: The Global Burden of Disease Study (GBD) has historically produced estimates of causes of injury such as falls but not the resulting types of injuries that occur. The objective of this study was to estimate the global incidence, prevalence and years lived with disability (YLDs) due to facial fractures and to estimate the leading injurious causes of facial fracture.METHODS: We obtained
Background: CSF concentration of neurogranin has been suggested as a biomarker for synapse dysfunction. Objectives: To investigate CSF neurogranin in parkinsonian disorders compared to controls and Alzheimer's disease and the possible correlations between neurogranin and cognitive and motor impairment. Methods: We included 157 patients with PD, 29 with PD with dementia, 11 with dementia with Lewy
development spectrum between 1990 and 2017 based on the Global Burden of Disease (GBD) 2017 estimates.METHODS: Injury mortality was estimated using the GBD mortality database, corrections for garbage coding and CODEm-the cause of death ensemble modelling tool. Morbidity estimation was based on surveys and inpatient and outpatient data sets for 30 cause-of-injury with 47 nature-of-injury categories
Astronomical spectroscopy has recently expanded into the near-infrared (nIR) wavelength region, raising the demands on atomic transition data. The interpretation of the observed spectra largely relies on theoretical results, and progress towards the production of accurate theoretical data must continuously be made. Spectrum calculations that target multiple atomic states at the same time are by no
Background: Anxiety and depressive disorders are associated with problems with everyday occupations, including difficulties achieving occupational balance. The aim of this cross-sectional study was to describe occupational balance in people suffering from anxiety and/or depression and the factors that are associated with better self-rated occupational balance. Material: One hundred and eighteen pa
Importance: Associations between putative risk factors and psychiatric and substance use disorders are widespread in the literature. Basing prevention efforts on such findings is hazardous. Applying causal inference methods, while challenging, is central to developing realistic and potentially actionable etiologic models for psychopathology. Observations: Causal methods can be divided into randomi
Over the past ten years, significant industry, policy, and scientific attention has been given to the ‘circular economy’, which aims to create a more sustainable society by decoupling economic growth from resource consumption. Firms are expected to play a significant role in the shift to a circular economy model by implementing circular business models that encourage prolonged use of products, com
