Filtyp
We present Clog, a declarative language for describing static code checkers for C. Unlike other extensible state-of-the-art checker frameworks, Clog enables powerful interprocedural checkers without exposing the underlying program representation: Clog checkers consist of Datalog-style recursive rules that access the program under analysis via syntactic pattern matching and control flow edges only.
Background: Joint damage in rheumatoid arthritis (RA) includes erosions and joint space narrowing (JSN). Predictors of these processes, and the underlying mechanisms, require further study1.Objectives: To investigate the relation between patient characteristics at RA diagnosis and progression of erosions and JSN, over 5 years. Methods: Consecutive early RA patients (symptom duration Results: 233 e
The financing of energy efficiency measures and renovations is key to reaching energy efficiency targets for the housing sector. The purpose of this article is to add the Swedish case of how capital market funds have become accessible and used by public and private housing companies, in particular for energy efficiency measures. The core of this article are interviews with representatives of Swedi
The morphological matrix is an important element of the engineering design methodology and is present in many textbooks. This method originally aimed at generating an exhaustive set of solutions for a given problem, by decomposing it into subproblems, finding solutions to each subproblem, and combining them. One issue associated with the morphological matrix has been the necessity to deal with the
Our group of researchers from a variety of backgrounds has been investigating the possibility of improving vision for patients with central scotoma. So far, these patients have only been offered enlarging devices and training. We hope that new knowledge about the peripheral vision optics of the eye will result in improvements in image quality and that this can be helpful for people with low vision
Identification of novel biomarkers for early diagnosis, prognosis, and treatment decision will be instrumental for improving disease outcome for patients suffering from complex diseases, such as cancer and autoimmune disorders. Within personalized medicine, the use of circulating biomarkers will allow clinicians to tailor medical treatment based on individual characteristics of each patient, using
We demonstrate that exceptional points exist in fully transparent, optically "effectively" biaxial, anisotropic micro-cavities, fabricated using an uniaxial cavity material with its axis inclined to the Bragg mirror growth direction. This is similar to the existence of singular (optic) axes in absorbing biaxial crystals, but the lack of time reversal symmetry is mediated by the mode broadening, i.
Human papillomaviruses (HPV) are epitheliotropic DNA tumor viruses that are prevalent in the human population. A subset of the HPVs termed high-risk HPVs (HR-HPVs) are causative agents of anogenital cancers and head-and-neck cancers. Cancer is the result of persistent high-risk HPV infections that have not been cleared by the immune system of the host. These infections are characterized by dysregu
Objective To evaluate which factors are the most strongly related to self-perceived health among older men and describe the shape of the association between the related factors and self-perceived health using machine learning.Design and setting This is a cross-sectional study within the population-based VAScular and Chronic Obstructive Lung disease study (VASCOL) conducted in southern Sweden in 20
Reutilizing biomass ashes in agriculture can substitute inputs of P from finite primary sources. However, recycling of ashes is disputed due to their content of toxic substances such as heavy metals. This study evaluates the potential risk of replacing easily soluble inorganic P fertilizer with P in biomass ashes in a barley crop grown on soil with adequate P status. Two contrasting doses of three
The implementation of circular initiatives requires certain capabilities and knowledge that traditional business models often lack, requiring new perspectives and external collaborations. While it is understood that partnerships can aid in innovation and provide knowledge and capabilities to firms, the dynamics of collaboration for the transition towards circular business models (CBMs) need to be
Popular Abstract in Swedish Retrovirus är en typ av virus som finns hos både människor och djur. Detta virus sprider sig genom att en virus partikel tar sig in i en cell och sedan integrerar sin virala arvsmassa in i cellens arvmassa, DNA. Retrovirusets arvsmassa är från början RNA men skrivs sedan om till DNA för att kunna integreras. I molekylärbiologins barndom trodde man att det genetiska flödThe human genome contains genetic elements which are more or less similar to infectious retroviruses. These are called human endogenous retroviruses (HERVs) and are thought to be remnants of infections in the primate lineage. Most of them have been inserted 10 to 60 million years ago but have at different time points spread in the genome via intracellular retrotransposition and make up as much as
The feasibility of a transition to a hydrogen economy in Iceland – an overview By Sigurður Ingi Friðleifsson ikf@itn.is 22. November 2004 Thesis Advisor: Hörður V. Haraldsson hordur.haraldsson@chemeng.lth.se Dept of Chemical Engineering Lund University P.O.Box 124 S-221 00 Lund, Sweden Abstract Hydrogen is for many reasons interesting candidate for replacing oil as an energy carrier. Rich renewabl
https://www.lumes.lu.se/sites/lumes.lu.se/files/fridleifson_sigurdur.pdf - 2026-10-10
CFEWP51 CFE Working paper series No. 51 The role of judicial interpretation in environmental protection An analysis of the EU’s leadership ambitions on climate change action Sebastian Multala CFE Working papers are available at the website of the Centre for European Studies www.cfe.lu.se 2 Sebastian Multala holds an LL.M from the University of Lund. He is currently pursuing his Postgraduate Diplom
https://www.cfe.lu.se/en/sites/cfe.lu.se.en/files/2020-12/cfewp51.pdf - 2026-10-10
The post-war years were a time of expansion in Swedish publishing. The economy was growing, people became better educated, the rise of a large middle-class meant new costumers, new publishing and sales strategies added to the increasing market, and overall there was higher sales, more titles published and more people reading. Despite the success story there has been hardly any research done on the
©Anders Gustafsson 2005 Downloaded from: www.ftf.lth.se/FTF/Person/GustafssonA Cathodoluminescence for studies of low dimensional semiconductor structures A Gustafsson Solid State Physics/nm Structure Consortium Lund University Box 118, S-221 00 Lund, Sweden. ABSTRACT: Cathodoluminescence (CL) is a very powerful technique for studying the optical properties of semiconductor structures, especially
https://www.nano.lu.se/sites/nano.lu.se/files/cl_web.pdf - 2026-10-10
Human iPS cell-derived dopaminergic neurons function in a primate Parkinson’s disease model 5 9 2 | N A T U R E | V O L 5 4 8 | 3 1 au g u s t 2 0 1 7 Letter doi:10.1038/nature23664 Human iPS cell-derived dopaminergic neurons function in a primate Parkinson’s disease model Tetsuhiro Kikuchi1, Asuka Morizane1, Daisuke Doi1, Hiroaki Magotani1, Hirotaka Onoe2, Takuya Hayashi2, Hiroshi Mizuma2, Sayuki
https://www.regenerative-neurobiology.lu.se/sites/regenerative-neurobiology.lu.se/files/publication_in_nature_0.pdf - 2026-10-10
Utbildningsplan Naturvetenskapligt kandidatprogram Naturvetenskapliga fakulteten NGNAT, Naturvetenskapligt kandidatprogram, 180 högskolepoäng Sciences, 180 credits Program utan akademiska förkunskapskrav och med slutlig examen på grundnivå / First cycle degree programme not requiring previous university study Beslutsuppgifter Utbildningsplanen är fastställd av Naturvetenskapliga fakultetsstyrelsen
https://www.nateko.lu.se/sv/sites/nateko.lu.se.sv/files/utbildningsplan_kandidatexamen_naturgeografi.pdf - 2026-10-10
