Filtyp
We study the realizability and strong satisfiability problems for SAFETY LTL, a syntactic fragment of Linear Temporal Logic ([Formula presented]) capturing safe formulas. While it is well-known that realizability for this fragment lies in [Formula presented], the best-known lower bound is [Formula presented]-hardness. Surprisingly, closing this gap has proven an elusive task. Previous works have c
BackgroundLow concentrations of serum selenium (Se) and its main transporter selenoprotein P (SELENOP) are associated with a poor prognosis following breast cancer diagnosis. Recently, natural autoantibodies (aAb) with antagonistic properties to SELENOP uptake have been identified in healthy subjects, and in patients with thyroid disease. Given the potential transport disrupting properties, we hyp
Background: The study of thoracic injuries and biomechanics during CPR requires detailed studies that are very scarce. The role of the heart in CPR biomechanics has not been determined. This study aimed to determine the risk factors importance for serious ribcage damage due to CPR. Methods: Data were collected from a prospective registry of out-of-hospital cardiac arrest between April 2014 and Apr
Cosmological models and their parameters are widely debated, especially about whether the current discrepancy between the values of the Hubble constant, H 0, obtained by Type Ia supernovae (SNe Ia) and the Planck data from the cosmic microwave background radiation could be alleviated when alternative cosmological models are considered. Thus, combining high-redshift probes, such as gamma-ray bursts
Mineral building materials suffer from weathering processes such as salt efflorescence, freeze-thaw cycling, and microbial colonization. All of these processes are linked to water (liquid and vapor) in the pore space. The degree of damage following these processes is heavily influenced by pore space properties such as porosity, pore size distribution, and pore connectivity. X-ray computed micro-to
ObjectivesTo study if active sun exposure among women affects the risk of developing GCA or PMR in a prospective cohort study with restricted latitudinal variability.MethodsWe linked the response to questions relating to sun exposure from the Melanoma Inquiry in Southern Sweden (MISS) prospective cohort study in women to the risk of developing GCA or PMR. Healthcare data were gathered from the Skå
Background: The African continent hosts many industrial mining projects, and many more are planned due to recent prospecting discoveries and increasing demand for various minerals to promote a low-carbon future. The extraction of natural resources in sub-Saharan Africa (SSA) represents an opportunity for economic development but also poses a threat to population health through rapid urbanisation a
Background: Good care of the dying has been defined as being able to die in the place of your choice, free from pain, cared for with dignity and supported by the best possible care. This definition underpinned the development of the ‘10/40 Model’ of care for the dying, in 2013. The model includes 10 ‘Key Principles’ that underpin 40 ‘Core Outcomes’ of care. It was necessary to update consensus on
This paper presents a new Hardware (HW) im- plementation proposal for Discrete Fourier Transform (DFT) based channel estimators. The presented algorithm uses the high time correlation property of the channel estimates to reduce the complexity and the power consumption by utilizing a lower number of bits for the FFT in the channel estimator, compared to a traditional approach. The idea is that the
This study describes a novel isolation procedure for major glycolipids from Bifidobacterium adolescentis 94 BIM. The procedure consists of the use of supercritical carbon dioxide (scCO(2)) with hydro-methanolic solution as co-solvent. The major Glycolipids were isolated using the following operating conditions: pressure, 30 MPa, co-solvent concentration, 10% (9:1, methanol/water, v/v), CO2 flow ra
Incubator covers are increasingly being used in neonatal care as part of minimal disturbance strategies. The aim of this study was to examine possible effects of incubator covers on sleep patterns in stable premature infants. Quiet sleep (QS) can be investigated by amplitude-integrated electroencephalography (aEEG) at 32–34 weeks gestational age. In nine premature infants (gestational ages 26–32 w
Background During the last 15 years, high-dose chemotherapy with autologous hematopoietic stem cell transplantation (HSCT) has globally been performed for severe multiple sclerosis (MS). Most patients have been in progressive phase with long disease duration. As a rule, treatment effect has been minor or moderate. Patients Since 2004, we have performed HSCT in nine young patients with "malignant"
Post-shift and next-morning urine was sampled from workers exposed to hexahydrophtalic anhydride (HHPA), an epoxy hardener, sensitising at low exposure levels. Exposure levels of HHPA in air (gas chromatography, GC) in the range of 30-270 micrograms/m3 corresponded to urinary concentrations of 0.9-2.8 mumol hexahydrophthalic acid (HHP acid; GC-mass spectrometry)/mmol creatinine. In the morning sam
BACKGROUND: Cerebral injury is the most important complication of cardiac operations with cardiopulmonary bypass. Prolonged total circulatory arrest (TCA) can expose patients to an even greater risk of cerebral injury. We sought to detect the degree of cerebral injury in adults who had thoracic aortic operations with TCA by measuring S100B protein, which is released into the circulation after cere
Kvalitetssäkring av kursplaner ht 2014 Juridiska fakulteten vid Lunds universitet Nämnden för utbildning på grund- och avancerad nivå Höstterminen 2014 Kvalitetssäkring av kursplaner En evaluering särskilt avseende kritiska och reflekterande perspektiv, skriftlig och muntlig färdighetsträning samt progression Författad av, amanuens Jacob Rosell Svensson amanuens Martin Andersén Innehåll 1 INLEDNIN
https://www.jur.lu.se/sites/jur.lu.se/files/2023-06/Kvalitetss%C3%A4kring%20av%20kursplaner%20ht%202014.pdf - 2026-05-24
GNVA40.doc Postadress Box 117, 221 00 Lund, Besöksadress Allhelgona kyrkogata 14 M, Telefonväxeln 046-222 00 00 Webbadress http//:graduateschool.sam.lu.se Genusvetenskapl iga inst i tut ionen GNVA40 Genusvetenskap: Genus, makt och kultur, 30 hp Delkurs 1: Feminismens filosofiska rum, 7,5 hp Butler, Judith (2007). Genustrubbel: Feminism och identitetens subversion. Göteborg: Daidalos eller Gender T
https://www.genus.lu.se/sites/genus.lu.se/files/gnva40_1.pdf - 2026-05-24
Svensk sammanfattning Antenatal preparation for the early parenthood period Development and feasibility of an evidence-based programme for antenatal parental preparation PETRA PÅLSSON INSTITUTIONEN FÖR HÄLSOVETENSKAPER I MEDICINSKA FAKULTETEN I LUNDS UNIVERSITET Layout: Jon Ulvsgärd Omslag, foto: Anna Blomgren ”It takes a village to raise a child” African proverb Bakgrund Att bli förälder är en st
Brevmall Postadress Box 117, 221 00 Lund, Besöksadress Allhelgona kyrkogata 14 M, Telefonväxeln 046-222 00 00 Webbadress http//:graduateschool.sam.lu.se Genusvetenskapl iga ins t i tu t ionen GNVA40 Genusvetenskap: Genus, makt och kultur, 30 hp Delkurs 1: Feminismens filosofiska rum, 7,5 hp Butler, Judith (2007). Genustrubbel: Feminism och identitetens subversion. Göteborg: Daidalos eller Gender T
https://www.genus.lu.se/sites/genus.lu.se/files/2020-12/gnva40.pdf - 2026-05-24
Brevmall Postadress Box 117, 221 00 Lund, Besöksadress Allhelgona kyrkogata 14 M, Telefonväxeln 046-222 00 00 Webbadress http//:graduateschool.sam.lu.se Genusvetenskapl iga ins t i tu t ionen GNVA44 Genusvetenskap: Fortsättningskurs - Genus, makt och kultur, 30 hp Delkurs 1: Feminismens filosofiska rum, 7,5 hp Butler, Judith (2007). Genustrubbel: Feminism och identitetens subversion. Göteborg: Dai
https://www.genus.lu.se/sites/genus.lu.se/files/2021-12/GNVA44%20Litteraturlista%20VT22.pdf - 2026-05-24
Preliminary Schedule SGEK03:1 / HEKK03:1 Date Time Content Teacher Venue Type* Mon 2019-09-02 10:45 Information about module 2 selection (only SGEK03) JR/ALH J-burg (431) LE 11-12 Course introduction SM Malmö (409) LE 13-15 The foundations of doing research SM Malmö (409) LE Tue 2019-09-03 10-12 Doing research in Human Geography (SGEK03) SM Rio (430) LE 14-16 Doing research in Human Ecology (HEKK0
https://www.keg.lu.se/sites/keg.lu.se/files/schedule_sgek03.1_hekk03.1_190627.pdf - 2026-05-24
