Filetype
Recent research indicates that multiple sclerosis is preceded by a prodromal phase with elevated levels of serum neurofilament light chain (sNfL), a marker of axonal injury. The effect of environmental risk factors on the extent of axonal injury during this prodrome is unknown. Human herpesvirus 6A (HHV-6A) is associated with an increased risk of developing multiple sclerosis. The objective of thi
Since 1988, China's influence in Myanmar, both on a political and financial scale, has been relevant. Following the democratic bend that occurred in former Burma in 2011 and the ensuing opening to global markets, Beijing has partially lost its long-held privileges in the country. In order to maintain a solid geo-economic supremacy in Naypyitaw's internal affairs, since 2006, China has embarked upo
Tidigare forskning belyser den ökade användningen av big data och dess påverkan på konsumenters integritet, attityder och inställningar, vilket generellt visar en negativ syn på insamling av personlig data. Denna studie undersöker hur konsumenter agerar och påverkas av datainsamling och cookies i riktad marknadsföring. Genom en kvantitativ metod har konsumenters attityder, val och beteende analyse
This thesis work is an academic study investigating how to transform and re-purpose the abandoned hydroelectric powerplant, Hästbergadammen. The powerplant has been abandoned since the dam collapsed in 2010, and the case of rebuilding it has been in the Land and Environment Court since 2016. The thesis proposes a new purpose for the site. It suggests giving back a public monumental place where t
Sammanfattning Examensarbetes titel “All makt åt Tegnell - vår befriare och förgörare” - en kvalitativ dokumentstudie om följares konstruktioner av Anders Tegnell på Twitter Handledare Nadja Sörgärde Fem nyckelord Följare som konstruktörer av ledarskap, Anders Tegnell, Twitter, Kris och Attribution Forskningsfråga Hur framställs Anders Tegnell på Twitter? Syfte Syftet med denna studie är att
This thesis aims to investigate the different mechanisms that Chinese companies in green industries used to acquire technological capabilities and how they changed over time. The thesis also aims to examine how the geographical pattern in outbound Chinese greenfield foreign direct investment has changed over time. By examining the inbound and outbound greenfield foreign direct investment pattern i
Magnesium transporter A (MgtA) is an active transporter responsible for importing magnesium ions into the cytoplasm of prokaryotic cells. This study focuses on the peptide corresponding to the intrinsically disordered N-terminal region of MgtA, referred to as KEIF. Primary-structure and bioinformatic analyses were performed, followed by studies of the undisturbed single chain using a combination o
Describing long-ranged electrostatics using short-ranged pair potentials is appealing because the computational complexity scales linearly with the number of particles. The foundation of the approach presented here is to mimic the long-ranged medium response by cancelling electric multipoles within a small cutoff sphere. We propose a rigorous and formally exact new method that cancels up to infini
Although the use of location-based data (location coupled with semantic information) within Geographical Information Systems (GIS) and from Earth Observation (e.g. satellite) sources has been long established for decision makers, this has only recently been reflected in the construction sector with a more recent move from Computer Aided Design (CAD) to Building Information Modelling. BIM has opene
Background: The Swedish National Airway Register (SNAR) was initiated in 2013 to ensure and improve the quality of care for patients with asthma and COPD. Aim: To describe the development and design of SNAR, and to study the 2019 data to evaluate its potential utility related to improvement of quality of care. Methods: SNAR includes data from patients with asthma (both children and adults) and COP
In this work, we present an actors-to-hardware design flow where applications are described as networks of actors and compiled to hardware. Specifically, we use the CAL actor language to describe these applications. CAL has previously been used to specify applications such as the MPEG-RVC decoder and is well suited for compilation to hardware. A key limitation of CAL is that the applications descr
Symmetry breaking is a crucial technique in modern combinatorial solving, but it is difficult to be sure it is implemented correctly. The most successful approach to deal with bugs is to make solvers certifying, so that they output not just a solution, but also a mathematical proof of correctness in a standard format, which can then be checked by a formally verified checker. This requires justifyi
It is intuitive and well known, that if agents in a multi-agent system iteratively update their states in the Euclidean space as convex combinations of neighbors’ states, all states eventually converge to the same value (consensus), provided the interaction graph is sufficiently connected. However, this seems to be also true in practice if the convex combinations of states are mapped or radially p
We exhibit supercritical trade-off for monotone circuits, showing that there are functions computable by small circuits for which any small circuit must have depth superlinear or even super-polynomial in the number of variables, far exceeding the linear worst-case upper bound. We obtain similar trade-offs in proof complexity, where we establish the first size-depth trade-offs for cutting planes an
Plesiosaurs are secondarily aquatic reptiles with a fossil record that extends for over 140 million years, and their remains have been found in localities representing both warm, equatorial waters and cold, high-latitude environments. They are usually portrayed as a snake threaded through the body of a sea turtle. However, due to a general absence of preserved soft tissues, reconstructing the life
Certifying solvers have long been standard for decision problems in Boolean satisfiability (SAT), allowing for proof logging and checking with very limited overhead, but developing similar tools for combinatorial optimization has remained a challenge. A recent promising approach covering a wide range of solving paradigms is pseudo-Boolean proof logging, but this has mostly consisted of proof-of-co
Research on cephalopod early ontogeny has significantly advanced in recent decades, including embryo organogenesis and neurogenesis and early behavioural adaptations, particularly in commercially important and coastal species. Within this context, here we compiled current knowledge on the collection, handling and care under experimental conditions and monitoring in the field of cephalopod eggs and
