Filetype
Digital integrated circuits are fundamental to modern electronic devices, with increasing design complexity requiring robust verification methods to ensure error free functionality. This thesis examines the critical role of formal verification in digital Integrated Circuits (IC) design, particularly during the architecture modeling phase. Using a state machine module that controls clock frequency
A mutation in ferrochelatase causes the tiger-like appearance of barley mutants The study of plants provides people with knowledge that can be used for a variety of purposes, including advances in agriculture, food production and nature conservation. Barley is an important crop that was domesticated about 10,000 years ago. It can self-fertilize, rarely crosses with other plant species and a singl
Retinoblastoma Gene's Role in Salamander Superpowers Imagine if humans could regenerate lost limbs or repair damaged organs as easily as changing a worn-out part of a car. Sounds like science fiction, right? Yet, for the salamander Pleurodeles waltl, a creature native to Spain and parts of North Africa, this is just another day in the pond. In our study, we dive into the world of these amphib
Connected to the ongoing global challenges relating to soil fertility loss and food security, there has been a recent upswing of alternative management practices (AMPs) within the agricultural sector. These methods are often focused on maximising soil health by safeguarding the below ground ecosystem and by increasing soil organic content. Consequently, AMPs tend to build resilience towards distur
Moderna lösningar inom Artificiell Intelligens (AI) kan åstadkomma otroliga saker, till exempel OpenAIs ChatGPT med förmågan att besvara nästan vad som helst på ett ögonblick. Kraften hos dessa typer av AI kommer med en baksida, nämligen den enorma energiförbrukningen. Den största boven i detta är det faktum att inuti datorn som modellen körs på så måste data kontinuerligt överföras fram och tillbAs data serves an increasingly central role in trending topics within computation, it has become clear that the Von Neumann architecture of the modern computer is the major bottleneck in terms of energy consumption and latency. Neuromorphic computing is an emerging computing paradigm that seeks to overcome this bottleneck through the unification of memory and logic, analogous to the energy efficie
The construction sector is undergoing substantial growth and there are many challenges to address. One challenge is building defects, which affect the structural integrity and put the structure at risk. A common and intrusive building defect is moisture, which can slowly expand and lead to complicated defect detection. Moisture intrusion can cause many issues in the structure of the building and p
This thesis investigates Nestlé’s impunity for aiding and abetting forms of child labour in Côte d’Ivoire through analysing the landmark case Doe v. Nestlé. By employing a qualitative content analysis, this study disseminates the nearly two-decade court battle of oral arguments before the Supreme Court, amicus briefs from interested third parties, court rulings, as well as an interview with the le
Gesture has been acknowledged as a pivotal part of delivery in political rhetoric for millennia. Typically, politicians are seen as adhering to a style of gesturing encouraging pragmatic gestures, namely those that operate on the level of discourse such as providing emphasis, while being discouraged from using representational gestures, namely those depicting the content of speech iconically, as t
This study investigates the potential loss of memory details as a consequence of making successful associative inferences using the associative inference (AI) paradigm with naturalistic stimuli mimicking realistic interactions (AB,BC,and AC). It also aims to further our understanding of the mechanisms involved in the production of integrated memory representations—whether through integrative encod
This thesis presents an approach to improving pulse processing in singlephoton spectroscopy, focusing on crosstalk detection and correction in x-ray microcalorimeters. The work integrates advanced mathematical models, including Jacobian and Hessian computations, Hamiltonian Neural Networks (HNNs), and the application of negative probabilities to optimize Shannon entropy. These models are embedded
Wireless Power Transfer (WPT) is increasingly utilized across various practical domains, requiring continual development and optimization of supporting technologies. An essential aspect of this progress is the efficient testing of WPT Systems. This thesis explores optimization of the testing process using Machine Learning(ML) and data analysis, applied on historical data represented by test outcom
This thesis explores the state-of-the-art methods for the optimization of Wireless Power Transfer (WPT) for Radio Frequency (RF) energy harvesting with a view of increasing the efficiency of the Radio Frequency to Direct Current (RF-to-DC) conversion, which is a key parameter in the creation of Zero Energy Devices (ZEDs) in the context of Internet of Things (IoT). The research focuses on waveform
Safe and clean drinking water delivery is challenged by climate change, as elevated temperatures can promote the growth of pathogens and other detrimental microorganisms. The microbial processes underlying drinking water production in slow sand filters (SSFs) are largely uncharacterized, limiting the possibilities of improving this technology. Periodical clogging, potentially by microbes, disrupts
The dynamics of China’s complex policy process, shaped by the decentralization reforms of the 1980s, remain the subject of much discussion. As China spent three years adhering to its eradication strategy in response to the COVID-19 pandemic, it seems that the relevant theories from the past need to be updated. The purpose of this study was to understand how irrational decisions were made and why u
In this written study, I have researched video game music from the 90’s and early 2000’s to see what I can learn from the process of composing music for video games, as well as how the hardware and software capabilities of the game consoles shaped the music. First it presents my own background and relation to the subject, next it establishes what functionally separates video game music from conven
Intersections have long been recognized as high-risk areas for traffic accidents, with vehicle collisions in Non-Line-of-Sight (NLoS) scenarios resulting in significant economic and human losses. This thesis investigates a vehicle collision avoidance system that integrates Machine Learning (ML), wireless communication technologies, and sensor fusion with Global Navigation Satellite System (GNSS) p
The invaders vs. the protectors: who wins the battle? Pseudomonas aeruginosa or in short PsA is a type of microorganism, also known as “bacteria” or “germ” or “bug”. It is very tiny and invisible to our naked eyes. This germ is found everywhere in places like soil, and water. PsA can get into the human body through wounds and other injuries and make people sick. To prevent humans from getting inf
Utforskandet av nya roller av komplement proteinet C3 Komplementsystemet är en uråldrig evolutionär mekanism i det medfödda immunförsvaret och funkar som en av kroppens första försvarslinje. I detta gamla system finns det ett protein som sticker lite mer, ett protein som har en central roll i komplementsystemet, nämligen komplement protein C3. Inte nog med att den har en viktig roll i framkallninThe complement system is an ancient component of the immune system, comprising three pathways: classical, lectin and alternative pathways. Central to these pathways is complement component C3, which converges the three pathways. C3 can be enzymatically cleaved into C3a which functions as an anaphylatoxin, and C3b, which functions as an opsonin. Previously, C3 was understood as a serum protein, how
Abstrakt Bakgrund: Personalbrist i primärvården har lett till svårigheter att tillgodose patienters vårdbehov. Distriktssköterskor har i tidigare studier beskrivit att deras kompetens och arbetsområde inte prioriterats av chefer och övrig primärvårdspersonal. Konsekvens till följd av detta ledde till att deras hälsofrämjande och sjukdomsförebyggande arbete inte hanns med trots att ett av primärvå
