No title
En sammanfattning av uppsatsen på maximalt 8000 tecken.
Filtyp
En sammanfattning av uppsatsen på maximalt 8000 tecken.
Abstract in UndeterminedIntroduction: Care-planning meetings represent a common method of needs assessment and decision-making practices in elderly care. Older people's influence is an important and required aspect of these practices. This study's objective was to describe and analyse older people's influence on care-planning meetings at home and in hospital. Methods: Ten care-planning meetings we
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-24