Search results

Welcome! INTRODUCTION WEEK 2016 SCHEDULE Congratulations! Not only are you about to start an exciting new chapter of your life at the University of Lund, you’ve also signed up for what might be the most awesome introduction week of all time. Check out the schedule below to see what’s in store! Week 1 Week 2 Monday 22/08: Morning mingle, reception at City Hall and guided tour of Helsingborg. Mornin

https://www.isk.lu.se/en/sites/isk.lu.se.en/files/introductionweek2016schedule.pdf - 2026-04-29

Population ageing places pressure on pensions and health/caring services, creating an imperative to extend working lives. Alongside this, there has been increased political emphasis in Europe and elsewhere on the provision of care in the home. Many older people will thus be challenged by the responsibilities of caring for the sick, disabled and elderly, and participating in labor market activities

World-class research requires high-quality facilities, databases, laboratories, collections, and biobanks. We host six national research infrastructures and participate in numerous national and international ones. MAX IVAt MAX IV, of the world’s brightest and most powerful lights is created. It allows scientists to understand how materials are built and how they can be used better than ever before

https://www.lunduniversity.lu.se/research-and-innovation/research-infrastructures - 2026-04-27

A long line of research has studied the power of conflict- driven clause learning (CDCL) and how it compares to the resolution proof system in which it searches for proofs. It has been shown that CDCL can polynomially simulate resolution even with an adversarially chosen learning scheme as long as it is asserting. However, the simulation only works under the assumption that no learned clauses are

An active line of research in proof complexity over the last decade has been the study of proof space and trade-offs between size and space. Such questions were originally motivated by practical SAT solving, but have also led to the development of new theoretical concepts in proof complexity of intrinsic interest and to results establishing nontrivial relations between space and other proof comple

A well-known theorem by Tarsi states that a minimally unsatisfiable CNF formula with m clauses can have at most m - 1 variables, and this bound is exact. In the context of proving lower bounds on proof space in k-DNF resolution, [Ben-Sasson and Nordström 2009] extended the concept of minimal unsatisfiability to sets of k-DNF formulas and proved that a minimally unsatisfiable k-DNF set with m formu

Climate change is rapidly altering the Arctic environment. Although long-term environmental observations have been made at a few locations in the Arctic, the incomplete coverage from ground stations is a main limitation to observations in these remote areas. Here we present a wind and sun powered multi-purpose mobile observatory (ARC-MO) that enables near real time measurements of air, ice, land,

Autoignition in SI engines is an abnormal combustion mode and may lead to engine knock in SI engines. Knock may cause damage and it is a source of noise in engines. It limits the compression ratio of the engine and a low compression ratio means low fuel conversion efficiency of the engine. In this paper a multi zone model based on an existing two zone model Hajireza et al., [1 and 12] and Stenlaas

Processing of personal data at Lund University Lund University processes personal data in order to provide education, conduct research, and collaborate with the wider society. All processing of personal data at the University aims to support this assignment. The University applies the General Data Protection Regulation (GDPR) and supplementary legislation.In the drop-down list below, we have gathe

https://www.lunduniversity.lu.se/about-university/contact-us/privacy-policy - 2026-04-27

Flera forskningsprojekt vid vår avdelning är inriktade på att bättre förstå mekanismer som ligger bakom utvecklingen av svåra infektionssjukdomar, fr.a. orsakade av bakterier men också av virus och svampar. Utgångspunkten för arbetet har ofta varit upptäckten av bakteriella ytproteiner och enzymer som på olika sätt interagerar med människans försvarssystem (medfödd och förvärvad immunitet och blodSeveral research projects at our Division are focused on molecular and cellular mechanisms that contribute to the development of severe infections caused preferentially by bacteria, but also by viruses and fungi. The starting point for this work has often been the discovery of bacterial surface proteins and enzymes that interact with human defenses (innate and acquired immunity and blood coagulati

A Holocene sediment record is presented from the Djupall trough, situated on the inner shelf northwest of Iceland. The paleoclimatic development has been interpreted on the basis of mass accumulation rate, carbonate content, mean grain size, sediment petrology and 29 radiocarbon dates. The results demonstrate in the early Holocene (10,000-8000 cal year BP) high sediment accumulation rates attribut

A gender-equal leave policy for childcare does not necessarily engender a corresponding sense of entitlement in fathers to actually take leave, but few studies have focused on how fathers develop their sense of entitlement at work. This study explores how Korean fathers, accustomed to a work-centred life, changed their sense of entitlement towards childcare leave while working in a father-friendly

Pebble games were extensively studied in the 1970s and 1980s in a number of different contexts. The last decade has seen a revival of interest in pebble games coming from the field of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof systems when comparing the strength of different subsystems, showing bounds on proof space, and establishing size-space tr

It is a common view that benefits to the worse off should be given priority when health benefits are distributed. This paper addresses how to understand who is worse off in this context when individuals are differently well off at different times. The paper argues that the view that this judgment about who is worse off should be based solely on how well off individuals are when their complete live