The state-of-the-art machine learning techniques come with limited, if at all any, formal correctness guarantees. This has been demonstrated by adversarial examples in the deep learning domain. To address this challenge, here, we propose a scalable robustness verification framework for Deep Neural Networks (DNNs). The framework relies on Linear Programming (LP) engines and builds on decades of adv

Insights into past marine carbon cycling and water mass properties can be obtained by means of geochemical proxies calibrated through controlled laboratory experiments with accurate seawater carbonate system (C-system) manipulations. Here, we explored the use of strontium/calcium ratio (Sr/Ca) of the calcite shells of benthic foraminifera as a potential seawater C-system proxy through a controlled

Enzymes are involved in most reactions in nature. They are important both for the understanding of biological life and for reactions of industrial interest, e.g. in the production of artificial fertilizers, the production of biomass or biofuels. Enzymes with one or several metal ions are called metalloenzymes. In this thesis we study three different metalloenzymes, nitrogenase, lytic polysaccharid

We investigated whether sign-naïve learners can infer and learn the meaning of signs after minimal exposure to continuous, naturalistic input in the form of a weather forecast in Swedish Sign Language. Participants were L1-English adults. Two experimental groups watched the forecast once (N=40) or twice (N=42); a control group did not (N=42). Participants were then asked to assign meaning to 22 ta

Ascetosporea are endoparasites of marine invertebrates that include economically important pathogens of aquaculture species. Owing to their often-minuscule cell sizes, strict intracellular lifestyle, lack of cultured representatives and minimal availability of molecular data, these unicellular parasites remain poorly studied. Here, we sequenced and assembled the genome and transcriptome of Paramik

Pulmonary fibrosis is a severe condition in interstitial lung diseases (ILD) such as idiopathic pulmonary fibrosis (IPF) and systemic sclerosis-ILD, where the underlying mechanism is not well defined and with no curative treatments available. Serotonin (5-HT) signaling via the 5-HT 2B receptor has been recognized as a promising preclinical target for fibrosis. Despite this, the involvement of the

Accurate communication of the severity of violence in intimate relations is essential for the appropriate evaluation of offenders and victims in contexts such as court trials, custody cases, and the continuation of relationships. Using a new paradigm, this study quantifies discrepancies in how the severity of violence is communicated in texts written by offenders, victims, and bystanders who witne

Previous research of gender differences in power has largely focused on the public domain (e.g., leadership positions), and to a lesser extent power on the private domain (e.g., power in private relationships), where people may perceive these domains to be more or less important in their lives. We studied gender differences in preference weighted power (PWP) in different domains by weighting the p

In Sweden, a sustainability index (SI) has been used since 2014 as an internal benchmark management tool to analyse and steer municipal water and wastewater (WW) activities toward sustainability. A consistent trend in national results from SI across all years is that while day-to-day operations are working well, there are deficiencies in strategies for long-term planning. The nationalresults show

We present a recipe for building a portable DIY toolkit, entitled Kitchen-Based Light Tomography (KBLT) for performing tomography using visible light with low-cost and easily accessible components. We also present different use cases to mimic different challenges in tomography, such as imaging time evolving samples. All the software for motor controls, image acquisition, image reconstruction and a

Comparing 3D neutron and X-ray microtomography (NCT and XCT) results of fully pyrolyzed and pristine samples, we observed that the contrast in the neutron images increased for the carbonized samples, suggesting that H would be concentrated at the surface of the carbonized material structure.

The aim of this thesis was to explore the perceptions of, prerequisites for and benefits of user involvement among older people, persons with functional impairments and other user groups important to the research area. By using an adapted conceptual tool to categorize the various user involvement studies comprising the thesis, the aim wasalso to reflect on the importance of study design for the ou

I varje svensk kommun finns ett bibliotek som alla invånare ska ha tillgång till. Men vilken roll ska bibliotek ha i framtidens stadsrum? Detta undersöks i projektet ILIT där forskarna Johanna Rivano Eckerdal och Lisa Engström medverkar.

Hard learning problems are central topics in recent cryptographic research. Many cryptographic primitives relate their security to difficult problems in lattices, such as the shortest vector problem. Such schemes include the possibility of decryption errors with some very small probability. In this paper we propose and discuss a generic attack for secret key recovery based on generating decryption

The prevalence of mental ill-health is increasing among young people in many developed countries, raising concerns about their well-being. Experts have pointed to several potential contributing factors, including a heightened emphasis on educational achievement and performance evaluation, as well as shifting demands in the high-skilled job market. In this paper, we study the effect of introducing

Monitoring insects of different species to understand the factors affecting their diversity and decline is a major challenge. Laser remote sensing and spectroscopy offer promising novel solutions to this. Coherent scattering from thin wing membranes also known as wing interference patterns (WIPs) have recently been demonstrated to be species specific. The colors of WIPs arise due to unique fringy

In-situ characterization of combusting iron particles is of great importance for understanding the combustion mechanism. Here, magnified holographic imaging is employed to investigate the transient morphology and dynamics of iron particles during combustion. The volume expansion behavior of combusting particles (mean diameter: 85 μm) is observed in situ. The particle volume increases to eight time

Semaphorin 3B (SEMA3B) is a secreted axonal guidance molecule that is expressed during development and throughout adulthood. Recently, SEMA3B has emerged as a tumor suppressor in non-neuronal cells. Here, we show that SEMA3B is a direct target of GATA3 transcriptional activity. GATA3 is a key transcription factor that regulates genes involved in mammary luminal cell differentiation and tumor suppr

Eye tracking has been used as part of software engineering and computer science research for a long time, and during this time new techniques for machine learning (ML) have emerged. Some of those techniques are applicable to the analysis of eye-tracking data, and to some extent have been applied. However, there is no structured summary available on which ML techniques are used for analysis in diff