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.nextg2com.lu.se/evenemang/machine-learning-and-formal-methods - 2026-06-23

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.medarbetarwebben.lu.se/evenemang/machine-learning-and-formal-methods - 2026-06-23

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.eit.lth.se/evenemang/machine-learning-and-formal-methods - 2026-06-23

The goal with this paper is to formally define knowledge from the assumption that our universe is computable. Based on this assumption, we will formulate a minimalist ontology that will be the theoretical basis for our formal definition of knowledge. We will use the classical definitions of knowledge like "reliabilism" (RTB) and "justified true belief" (JTB) as our starting poi

Abstract: China’s development today no doubt has had the country placed in the centre of the stage. However, the past turns out to be the opposite if we look back. While the other major countries stepped into the industrial era it seems like China was still napping with its daydreams. In this paper we dig deeply into the political, economic and social aspects of the country at the time and we thin

In this episode, PhD researcher Federica Catonini speaks to Professor Vito De Lucia from the Norwegian Centre for the Law of the Sea about the relationship between the BBNJ Agreement and climate change. They address topics such as the relevance of the BBNJ for climate change, ocean carbon sinks conservation, ocean carbon dioxide removal, the potential issues and tensions between biodiversity conse

9 juni 2026 15:00 | Konsert The project "Optical Scores" researches the development of a musical instrument and how this affects the development of a practice on that instrument. In "Optical Scores," electromagnetic field inductors are used as musical interfaces to capture the inaudible electromagnetic landscapes of assemblages of obsolete circuit boards and silent speaker coils, making them audib

https://www.konstnarliga.lu.se/evenemang/optical-scores-stefanos-skialivas-sharing-session - 2026-06-23

Sustainable energy storage and conversion utforskar innovativa metoder för att effektivt lagra och omvandla energi från olika förnybara källor. Fokus ligger på teknik som avancerade batterier, vätgasproduktion, bränsleceller och termokemiska system samt säkerhetsaspekter på batterilagringssystem. Forskningen syftar till att öka energitätheten, minska kostnaderna och förbättra skalbarheten, vilket

https://www.energy.lth.se/sv/forskning/lagring-och-omvandling-av-energi - 2026-06-23

Biological treatment of cyanide-contaminated wastewater is mediated by microbial consortia in which different organisms perform distinct, functionally specialized roles. This study investigated microbial communities involved in gold mine wastewater treatment with integrated aerobic-anoxic reactors seeded with consortia from an alkaline soda lake, Lake Chitu. Whole-genome sequencing of isolates (WG

Increasing demand for metals might lead to extraction of metals from materials, previously, thought of as waste. A letter by the Swedish Environmental Protection Agency and Geological Survey of Sweden from 2017 encouraged new and innovative waste treatments as well as recycling of waste produced in association with mining. The conventional treatment of acid mine wastewater creates large volumes of

Schwertmannite precipitated from acid mine drainage at the Kristineberg Zn-Cu mine in northern Sweden has been characterised regarding elemental composition, phase transformation as a function of pH and time. SO42- release and speciation of SO42- associated with the solid. The elemental analysis gave the composition FeSOS(OH)(5.02)(-SO4)(1.49) . 0.5H(2)O where approximately 1/3 of the SO42- is ads

The induced polarization (IP) effect can be studied using both galvanic and inductive methods. Here we study IP and its manifestation in transient electromagnetic (TEM) data from a tTEM system and in time-domain electric resistivity tomography (ERT) data. Since the two methods are sensitive to two different frequency ranges, a direct IP spectrum comparison is not possible. Instead, we assess the I

Freedom of movement is a necessity for the European Union. According to Article 8a EEC, which was inserted by the Single European Act in 1987, the Member States of the European Union have committed themselves to achieve an internal market and thus abolish all obstacles that may impede the free movement of goods, services, capital and persons. The right to free movement of persons is one of these f

Although free radicals have been suggested to contribute to ischemic brain damage for more than 10 years, it is not until quite recently that convincing evidence has been presented for their involvement in both sustained and transient ischemia. The hypothesis is examined against current knowledge of free radical chemistry, as it applies to biological systems, and of cellular iron metabolism. It is

The discussion in this paper begins with some observations regarding a number of structural similarities between art and morality as it involves human agency. On the basis of these observations we may ask whether or not incompatibilist worries about free will are relevant to both art and morality. One approach is to claim that libertarian free will is essential to our evaluations of merit and dese

https://www.mhm.lu.se/sites/mhm.lu.se/files/2021-02/obl%20geh%C3%B6rspiano_Kantor%202021.pdf - 2026-06-23

We study shrinking target problems and the set of eventually always hitting points. These are the points whose first n iterates will never have empty intersection with the nth target for sufficiently large n. We derive necessary and sufficient conditions on the shrinking rate of the targets for to be of full or zero measure especially for some interval maps including the doubling map, some quadrat

Recent research in the field of on-line handwriting recognition has been focused on statistical systems such as Hidden Markov Models, Neural Networks or a combination of these. There are however merits of employing an approach based on template matching. The first part of this thesis presents a new strategy for parameterization of on-line handwritten character samples. A novel efficient template m