Search results

JavaDL ArtifactJavaDL is a language and toolchain for analyzing Java at the source level. JavaDL is based on MetaDL, a variant of Datalog that adds syntactic pattern matching, here specialized to pattern matching on Java.

Linear quadratic (LQ) control optimizes a quadratic cost function while following a linear model. It is commercially available in the process industry but often not labeled as such and infrequently used. Froth flotation is a process in the minerals industry that extracts precious metals from a slurry of finely ground rock in consecutive tanks called cells. Flotation cells are often arranged in two

Cyber-physical systems (CPSs) are often complex and safety-critical, making it both challenging and crucial to ensure that the system's specifications are met. Simulation-based falsification is a practical testing technique for increasing confidence in a CPS's correctness, as it only requires that the system be simulated. Reducing the number of computationally intensive simulations needed for fals

BACKGROUND: Prolonged second stage of labor increases the risk of insufficient gas exchange over the placenta to the fetus and risk of birth asphyxia. There are considerable variations in clinical guidelines regarding the recommended duration of pushing during the active second stage of labor. Thus, the aim of this study was to investigate the total duration of the second stage of labor and its as

This is the software artifact for the paper "Property Probes: Source Code Based Exploration of Program Analysis Results" published in ACM SIGPLAN International Conference on Software Language Engineering (SLE) 2022.The artifact was reviewed and awarded with the badges "Available" and "Reusable" (see https://www.acm.org/publications/policies/artifact-review-and-badging-current).

Currently, water insecurity is the most common way through which the majority of the global population is experiencing climate change. Projections show that climate change-induced water disasters- floods and droughts chiefly- are expected to increase in the next decades. These circumstances are and will be creating major challenges for peoples’ health and well-being. In this chapter, we present th

Code review is a well-established and valued practice in the software engineering community contributing to both code quality and interpersonal benefits. However, there are challenges in both tools and processes that give rise to misalignments and frustrations. Recent research seeks to address this by automating code review entirely, but we believe that this risks losing the majority of the interp

Fully precise static analysis of program behavior is undecidable in theory and infeasible in practice. While individual static analyses can prove specialized invariants about program behavior or resolve narrow ambiguities, real programs are complex composites of many different abstractions and programming patterns. State-of-the-art approaches to program analysis thus generally rely on composite an

The currant bud moth, Euhyponomeutoides albithoracellus, the currant shoot borer, Lampronia capitella and the currant clearwing, Synanthedon tipuliformis, are destructive pests on currants in the Nordic countries, but detailed information about their relative abundance in commercial crop fields is lacking. We used pheromone-baited monitoring traps to analyse the presence and flight period of the t

Objective. This study aimed to investigate the potential of contrastive learning to improve auditory attention decoding (AAD) using electroencephalography (EEG) data in challenging cocktail-party scenarios with competing speech and background noise. Approach. Three different models were implemented for comparison: a baseline linear model (LM), a non-LM without contrastive learning (NLM), and a

Background and objective:This study aims to enhance the performance of a closed-loop anesthetic depth control system by fusing noise-corrupted clinical measurements with a non-perfect pharmacological model.Methods:We implement a Kalman filter to constitute a trade-off between model prediction and measurement signal dependence for depth of hypnosis (DoH) control using a previously evaluated PID con

The Combustion Institute and IAFSS Summer School on Battery Safety will bring together doctoral students, post-doctoral fellows and a limited number of Master students as well as distinguished lecturers from around the world. The summer school will be held near Lund University in Sweden between August 24th and 28th, 2026. The summer school will cover topics from an introduction to cell design, fir

https://www.buildtech.lth.se/sbss-safe-battery-summer-school - 2026-07-01

Sofia Hydbom has a major in Biology and was a PhD student from 2013 to 2017. During this time she focused on the impact of tillage practices on soil organic carbon and the microbial community, using SLU research farms in Skåne, Uppsala, and Lanna.   She enjoyed the teaching aspects of her PhD studies, thus the choice of becoming a teacher was not a difficult one. She felt drawn to pursue it as she

https://www.cec.lu.se/sofia-hydbom - 2026-07-01

Facilities, equipment, instruments, repositories, collections, and archives – researchers at Lund University have access to a vast array of Swedish, European, and global research infrastructures. Thus, there exist huge opportunities to advance knowledge, foster innovation, and initiate collaboration for sustainability. Lund University is a host, coordinator, and collaborator to many different rese

https://www.sustainability.lu.se/researchers/workshop-series-sustainable-development-goals/workshops/research-infrastructures-support-sustainable-development-goals - 2026-07-01

Exempel på gamla salsprov/salstentamen När du studerar inför en salstenta finns ibland möjlighet att titta på frågorna från gamla tentor. När det finns gamla salstentor läggs de ut på kursplattformen Canvas och i viss mån även här på denna sida. Observera att de gamla tentorna kan vara baserade på annan litteratur och vara gjorda av andra lärare än de som är aktuella för din tenta. Sociologi: Krim

https://www.soc.lu.se/utbildning/under-studierna/examination-och-betyg/tidigare-givna-salstentorprov - 2026-07-01

Performance Course w/Kira Nova Performance Course Valbar kurs på BFA-nivån/Optional BFA-level course Antal hp/Credits: 6 hp Lärare/Teacher: Kira Nova Tid/Time: 14 – 27.10 Språk/Language: English Antal studenter/Number of students: Course description   Performance Course focuses on a number of theater, dance, improvisation and performance techniques. The aim is to lay foundation for the artist inte

https://www.khm.lu.se/sites/khm.lu.se/files/performance_course.docx - 2026-07-01

https://www.lucsus.lu.se/sites/lucsus.lu.se/files/mhm_postcard.pdf - 2026-07-01

Page 1 University Admissions in Sweden FE 20102 839 87 Östersund Sweden . Notification of Selection Results International Master Programmes Autumn Semester 2016 2016-03-23 Application no. Personal code no. 8714119 19870615-T340 NADEZDA NAZARBAEVA KLIMOVSK, SIMFEROPOLSKAYA STR 29-18 142184 KLIMOVSK RYSSLAND Notification of Selection Results for the autumn semester 2016 This is your admissions notif

https://www.luaccommodation.lu.se/sites/luaccommodation.lu.se/files/confirmation_of_admission_nadezda_nazarbaeva.pdf - 2026-07-01