Search results

Filter

Filetype

Your search for "*" yielded 527957 hits

Associative inference is influenced by schema congruency

The presence of overlapping elements in distinct events promotes the formation of associative inferences across event boundaries, thereby shaping how new information is integrated with pre-existing knowledge. This study investigates the influence of schema congruency on mnemonic processes involved in such associative inferences.The present study employed EEG recordings of brain activity to assess

Who is Deciding the Future Role of AI in Healthcare in the Nordics?: A Research Brief

The future role of AI in healthcare is largely seen as positive, inevitable, necessary, and driven by the private sector. These dominant narratives obscure decision-making about these future applications, with little room for political scrutiny, or public participation. Public, and private resources, are being funnelled to support various AI health technologies. By prioritising some and not others

Symptom Distress Before and After Heart Transplantation : A Longitudinal 5-Year Follow-Up

INTRODUCTION: Symptom distress after heart transplantation (HTx) is a significant problem causing uncertainty, low self-efficacy, and psychological distress. Few studies have addressed self-reported symptoms. The aim was to explore self-reported symptom distress from time on the waiting list to 5 years after HTx and its association with self-reported psychological well-being, chronic pain, and fat

The future vision(s) of AI health in the Nordics : Comparing the national AI strategies

Given the current hype around artificial intelligence (AI) in health, it is not surprising that we are seeing the well-established role and power of future visions being played out by a range of actors in the area. One example is the surge in the adoption of national AI strategies (NASs). NASs have a structuring function, justifying current political decisions as well as (re)framing the conditions

HHAI 2024: Hybrid Human AI Systems for the Social Good : Proceedings of the Third International Conference on Hybrid Human-Artificial Intelligence

The field of hybrid human-artificial intelligence (HHAI), although primarily driven by developments in AI, also requires fundamentally new approaches and solutions. Multidisciplinary in nature, it calls for collaboration across various research domains, such as AI, HCI, the cognitive and social sciences, philosophy and ethics, and complex systems, to name but a few. This book presents the proceedi

On the Importance of AI Research Beyond Disciplines: Establishing Guidelines

Artificial intelligence (AI) has evolved into a prominent player in various academic disciplines, transforming research approaches and knowledge generation. This paper explores the growing influence of AI across diverse fields and advocates for meaningful interdisciplinary AI research. It introduces the concept of "agonistic-antagonistic" interdisciplinary research, emphasizing a departure from co

Engaging with artificial intelligence in Mammography Screening : Swedish breast radiologists’ views on trust, information and expertise

ObjectivesLack of trust and transparency is stressed as a challenge for clinical implementation of Artificial Intelligence (AI). In breast cancer screening, AI-supported reading shows promising results but more research is needed on how medical experts, that are facing the integration of AI into their work, reason about trust and information needs. From a sociotechnical information practice perspe

OS03-11 Exposure to PFAS and associated toxicity in workers exposed to hexavalent chromium – a cross-sectional study within the SafeChrom project : Abstracts of the 58th Congress of the European Societies of Toxicology (EUROTOX 2024)

BackgroundThis study aimed to investigate the exposure to perfluoroalkyl substances (PFAS) and cancer-related toxicity in workers in different Swedish industry sectors with exposures to hexavalent chromium (Cr(VI)).MethodsThe study consisted of 111 exposed workers and 72 controls. The exposed workers were performing manufacture/processing of metal products (n=55), working in steel production (n=31

Island Values: Historical and National Identity in Contemporary EU Discourse in Ireland and the United Kingdom

This thesis examines the connection between Irish and British historical, national identity, and the two countries’ current stance and attitude toward the European Union. It will examine ideas, aims and purposes that have defined Ireland’s and the UK’s respective relationship and attitudes towards the EU from the time of its foundation up until the UK’s exit from the union. The thesis furthermore

Punching above its weight? How Lithuania leverages EU’s enlargement policies

Celebrating its twentieth anniversary of accession into the European Union, Lithuania is a small state with ambitious goals related to further enlargement of the bloc. This thesis seeks to answer how this small EU member state aims to leverage EU’s enlargement policies in two ways: 1) by looking at what frames are used in their political communication; 2) by investigating how well 2 strategies, de

To balance representation between congealed social relations

This thesis examines how the Irish Traveller organisation Pavee Point balances representing Irish Travellers, while simultaneously working closely with Irish authorities, and calling for funding from the EU and the Irish state. This is realised through critical discourse analysis of a position paper from Pavee Point, on Traveller men’s health. Power is a complex issue, especially in this case; Iri

Kopiöst original, originell kopia: Om förhållandet mellan två altartavlor i Östergötland

Maarten van Heemskerck’s St. Lawrence Altarpiece came to Sweden and Linköping Cathedral in the early 1580s. Around 50 years later, its design was copied by Johan Werner the elder for the altarpiece in Skänninge Vårfrukyrka, within the same diocese. The aim of this thesis is to map and contextualize discrepancies between the two altarpieces, doing so with the following research question: What diffe

Att blåsa liv i en platt kartong - Demokratiseringen av konst genom skivomslaget

Historically, since its inception in the late 1930s, the album cover has been an important platform for visual creativity that has enabled creators such as artists, illustrators, photographers and designers to experiment with different styles and concepts. The democratization of art through the album cover aims to analyze how this form of artistic expression has and continues to contribute as a me

Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability

Proof logging has long been the established method to certify correctness of Boolean satisfiability (SAT) solvers, but has only recently been introduced for SAT-based optimization (MaxSAT). The focus of this paper is solution-improving search (SIS), in which a SAT solver is iteratively queried for increasingly better solutions until an optimal one is found. A challenging aspect of modern SIS solve

Agent-based social simulations for health crises response : utilising the everyday digital health perspective

There is increasing recognition of the role that artificial intelligence (AI) systems can play in managing health crises. One such approach, which allows for analysing the potential consequences of different policy interventions is agent-based social simulations (ABSS). Here, the actions and interactions of autonomous agents are modelled to generate virtual societies that can serve as a “testbed”

A Paradigm Shift in Plain Sight? AI and the Future of Healthcare in the Nordic States

All the Nordic states (except for Iceland at the time of analysis) have published a national artificial intelligence strategy (NAIS) document. The NAISs provide a window through which to view a consolidated point where states set out a socio-technical imaginary ostensibly focused on the impact of AI on the national society but, in so doing, communicate present-day value-laden assumptions. These fu

Certifying MIP-Based Presolve Reductions for 0–1 Integer Linear Programs

It is well known that reformulating the original problem can be crucial for the performance of mixed-integer programming (MIP) solvers. To ensure correctness, all transformations must preserve the feasibility status and optimal value of the problem, but there is currently no established methodology to express and verify the equivalence of two mixed-integer programs. In this work, we take a first s

Certified MaxSAT Preprocessing

Building on the progress in Boolean satisfiability (SAT) solving over the last decades, maximum satisfiability (MaxSAT) has become a viable approach for solving NP-hard optimization problems. However, ensuring correctness of MaxSAT solvers has remained a considerable concern. For SAT, this is largely a solved problem thanks to the use of proof logging, meaning that solvers emit machine-verifiable

Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms

Pseudo-Boolean proof logging has been used successfully to provide certificates of optimality from a variety of constraint- and satisifability-style solvers that combine reasoning with a backtracking or clause-learning search. Another paradigm, occurring in dynamic programming and decision diagram solving, instead reasons about partial states and possible transitions between them. We describe a fr