Sökresultat

10 juni 2026 12:00 till 17:00 | Seminarium The adoption of Artificial Intelligence (AI) and Machine Learning (ML) presents several challenges, among which the lack of trust in the decisions made by such systems remains a major concern. Formal methods have historically provided the foundation for rigorously verifying software systems, and they could play a key role in fostering trust in AI/ML techn

https://www.lu.se/evenemang/machine-learning-and-formal-methods - 2026-07-02

During the past century China has increased its economic engagement in Zambia which has captured the attention of International Relations studies. The magnitude of Chinese economic linkages to Africa in terms of investment, trade and aid is nothing but of great importance at many levels in relation to its implication for the Zambian people (Morgan 2018). Soft power is often explained by the resear

High EGR rates combined with turbocharging has been identified as a promising way to increase the maximum load and efficiency of heavy-duty spark ignition engines. With stoichiometric conditions a three-way catalyst can be used which means that regulated emissions can be kept at very low levels. Obtaining reliable spark ignition is difficult however with high pressure and dilution. There will be a

Reducing greenhouse gas emissions from agriculture is crucial to reach global and regional climate targets. However, the efficiency of unilateral climate policies aimed at taxing emissions might be hampered by carbon leakage. One way to eliminate leakage is to implement a global carbon tax. In this article, we study the effects of a carbon tax in agriculture on GHG emissions by simulating five pol

This study aims to create a deeper understanding of wrestlers that are active in Sweden. The study makes an attempt to explore an understanding of how wrestlers themselves experience the usage of fake in relation to wrestling. The study has been conducted through interviews and observation. The material have then been theorized through the theories of play, reci- procity and front- and backstage.

The aim for this report is to present an industrial design master thesis carried out by Micael Palmgren at Lunds University. The report describes, not only the end result of the project, but also the path along the line to the final result. The master thesis have developed and visualized a unique concept for a new motorboat for tomorrow, called Gränö 750 ME. The reader will be taken through the de

Amphibians are globally among the most endangered taxonomic groups of vertebrates. This is partly due to the chytrid fungus Batrachochytrium dendrobatidis (Bd), which causes the disease chytridiomycosis, that have led to eradication of more than 90 species of amphibians worldwide. The spadefoot toad (Pelobates fuscus) is one of the Swedish red listed species (VU) that are at risk of being affecte

Environmental law is an area of law that has been under constant development in the European Union especially over the last decades. This has resulted in a variety of legally binding instruments. At the same time the European Union has also improved its fundamental rights regime with tools like the now binding Charter of Fundamental Rights. This Charter also contains an article on “Environmental P

Based on a population-based cohort study, Olsson et al. [1993] found significant evidence for elevated incidence of breast and ovarian cancers among female first-degree relatives of men with breast cancer. Using an extension of logistic regressive models we investigate whether, after allowing for multifactorial familial correlations, single locus segregation could be the cause of the elevated inci

Stakeholders are voicing concerns over the social and environmental impacts of components of Europe’s renewable energy strategy that will significantly increase the region’s demand for forest biomass. Energy companies must address these concerns if they are to manage financial, reputational, regulatory and competitive risks. Sustainability schemes may help reduce such risks by increasing the socia

The construction workflow of in-situ concrete frames in multi-storey residential buildings is highly complex and dynamic. Discrete-event simulation (DES) offers capabilities to model and analyse such complexity. Although DES has successfully been used by researchers in a wide range of construction-related applications there are not many examples demonstrating how different simulation outputs (time

BACKGROUND In the lamination process the use of surface treatment is necessary to improve the adhesion between the different layers of the packaging material. Surface treatment can be described as Techniques which change the surface characters without affecting properties of the bulk materials. One of the surface treatments is the ozone treatment where the ozone is applied to the hot melt just be

The shift towards more environmentally friendly means of transportation is a pivotal change that needs to be made, to save the environment. The transportation sector alone constitutes roughly a third of all greenhouse emissions in Sweden, making it one of the leading contributors to all greenhouse gases. With ever-growing climate awareness, the idea of adopting a greener approach to protect the pl