Filetype
We introduce the concept of "residual investigation" for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that reports a possible program error. The purpose is to observe conditions that indicate whether the statically predicted program fault is likely to be realizable and relevant. The key feature of a residual investigation is that
A heat transfer and sub-grid chemical reaction kinetic model for solid phase combustion of a charring polymer is presented based on distributed reactivity modeling approach. The model is used to compute flammability parameters of a polymer sheet of a given thickness to simulate test results of a cone calorimeter experiment. Comparison of model simulations with cone calorimeter test data shows that
This paper explores the urban form, demographic and socio-economic dependencies of walking, cycling and e-biking in Beijing based on a survey (N = 1427) of daily travel among residents in eight neighborhoods, enriched with urban form variables. The results show that walking is most frequently used, followed by cycling, which in turn is more frequent than e-biking. Walking and cycling are preferred
Knowledge of species’ habitat requirements can be gained from studying individual variation in home range size, under the assumption that larger home ranges reflect increased resource needs or decreased habitat quality. We used satellite telemetry to delineate home ranges of South Scandinavian Common Cuckoos (Cuculus canorus) throughout their annual cycle. Annual stage (breeding or non-breeding pe
This is a translation of the course syllabus approved in Swedish School of Economics and Management EEH010F, Population and Living Standards, and Equity 7.5 credits Befolkning och levnadsstandard, 7,5 högskolepoäng Third Cycle / Doktorandnivå Details of approval Approved by the Board of the Department of Economic History, Lund University School of Economics and Management 2021-03-09. General Infor
https://www.lusem.lu.se/sites/lusem.lu.se/files/2024-05/Population%20and%20living%20standards_EEH010F_syllabus.pdf - 2026-05-08
Understanding Aggression: Legal Status and Individual Criminal Responsibility before the 2010 Kampala Conference - The Raoul Wallenberg Institute of Human Rights and Humanitarian Law Skip to content Search for: Search Button Home About Us Who We Are Our History About Raoul Wallenberg Our Theory of Change Staff Opportunities Annual Reports Whistleblower Our work What we do Multi-Disciplinary Resear
Background: Adequate sleep is crucial for children’s health, especially for children with ADHD and concurrent sleep problems. There is a need for more studies focusing on sleep problems in children with ADHD as these problems may exacerbate ADHD symptoms and vice versa, impacting negatively on everyday life. The aim of this study was to investigate the differences in health-related factors between
The results from a round-robin study in which practicing fire safety engineers simulated the same scenario are presented in this paper. The simulation task included the simulation of an 800 mm heptane pool in a three-room apartment. The participants, representing eight Swedish consultancy firms, simulated the well-specified scenario with FDS 5. The participants received information about the build
We introduce the concept of residual investigation for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that reports a possible program error. The purpose is to observe conditions that indicate whether the statically predicted program fault is likely to be realizable and relevant. The key feature of a residual investigation is that it
The principal rule of the common market is that goods and services are able to move freely across the borders of Member States. State monopolies in control of supply and demand are, therefore, only under exceptional circumstances compatible with the conditions of the common market. The compatibility of Swedish State monopolies with EC law is a controversial matter. The case-law of the ECJ lets us
The ATLAS tile calorimeter (TileCal) is the hadronic sampling calorimeter covering the central region of the ATLAS detector at the Large Hadron Collider (LHC). This paper gives an overview of the calorimeter’s operation and performance during the years 2015–2018 (Run 2). In this period, ATLAS collected proton–proton collision data at a centre-of-mass energy of 13 TeV and the TileCal was 99.65% eff
PM Colin Andersson 2024-10-18 Colin Andersson Vice ordförande 076-117 26 80 colin.anderssonl@saco.se Saco studentråd Box 2206 103 15 Stockholm Tel växel: 08-613 48 00 E-post: kansli@saco.se www.saco.se Saco studentråds inspel inför kommande översyn av studiestödssystemet Inledning Saco studentråd är Sveriges största studentfackliga centralorganisation och utgör student- och framtidsrösten inom Sac
https://www.saco.se/contentassets/d6ac657a614f42b99658463c5e65dec6/2024-pm-studiemedelsfragor-med-saco.pdf - 2026-05-08
Efficient inventory control depends on correct values of inventory cost parameters, such as holding costs, shortage/stockout costs and ordering/setup costs. However, there exists surprisingly little research concerning the size of these parameters or how they should be determined. This thesis is devoted to increasing our knowledge of these matters. The research is presented in the form of five sc
Innovative Assistive Technologies in Dementia Care between Hopes and Disillusion. A Critical Reflection Based on the Tech@home Experience in Sweden Chair: Carlos Chiatti, Sweden Session Type: Symposia Global dementia rates will more than triple by 2050, thus challenging society. Due to ageing in place policies, informal caregiving is increasing as more people with dementia continue living at home
Årshögtid LUNDS UNIVERSITET | 26 JANUARI 2018 4 ÅRSHÖGTID Produktion och layout: Akademiintendenturen vid Lunds universitet. Foto: Omslag, sidan 2 och 23: Kennet Ruona. Sidan 7: Gunnar Menander. Sidan 8: Privat (överst), Lina Sturfelt, Helena Bergkvist (nederst). Sidan 9: Stefan Bengtsson (överst), Kevin Wickberg (nederst). Upplaga: 450 ex. Tryck: Media-Tryck, Lund 2018 5ÅRSHÖGTID Program Årshögti
https://www.medarbetarwebben.lu.se/sites/medarbetarwebben.lu.se/files/arshogtid-2018-skrift-final-webb.pdf - 2026-05-08
Juridiska fakultetens policy för användning av GAI-verktyg Page 1 of 5 Educational Committee POLICY STYR 2023/2719 6 December 2023 The Faculty of Law’s Policy for Generative Artificial Intelligence (GAI) in Teaching and Assessment as Applicable to Teaching Staff Approved by the Educational Committee on 6 December 2023 and valid as of 15 January 2024. This Policy applies to GAI tools1 in all course
DeMIIS ASG 2019-2020 Deconstructing Measures of Immigrant Integration in Sweden – towards a typology of models. In his Christmas speech 2017, the Swedish Prime Minister Stefan Löfven claimed that the integration of immigrants into the Swedish society had been working poorly for a long time. The statement is just one manifestation of the ways the term integration is adopted when addressing immigran
https://www.pi.lu.se/en/sites/pi.lu.se.en/files/2021-01/demiis_en.pdf - 2026-05-08
Assignment Description for Director of Studies for Third-Cycle Education Page 1 of 3 Kansli S ASSIGNMENT DESCRIPTION Reg. No. STYR 2025/2964 Date 2025-04-23 Assignment Description for Director of Studies for Third-Cycle (doctoral) Education Background Each department must have a Director of Studies for doctoral education. The role of Director of Studies normally includes responsibility for all sub
SGED07, VT 2018 Course Activities and Schedule Desk-based Research Track Submission 1: Revised Research Proposal The revised proposal will build on the draft proposal submitted at the beginning of December. In this revised draft, the student is expected to have clearly identified a research problem, situated it within (or at the intersection of) existing bodies of scholarship, and developed the ma
https://www.keg.lu.se/sites/keg.lu.se/files/vt18_sged07_desk_based_track_schedule_and_activities.pdf - 2026-05-08
Across the developing world the preceding decade or so has witnessed a profound reconfiguration of the political economy of urban policy. This new policy environment is driven by globalization, the neo-liberal macro-economic package of 'market enablement' and structural adjustment, which now form the dominant development paradigm. The consequences of this approach for urban development agendas and
