Filetype
We present Clog, a declarative language for describing static code checkers for C. Unlike other extensible state-of-the-art checker frameworks, Clog enables powerful interprocedural checkers without exposing the underlying program representation: Clog checkers consist of Datalog-style recursive rules that access the program under analysis via syntactic pattern matching and control flow edges only.
The widespread deployment of digital technologies has made the globe an interconnected world. Among other necessities of the digitalized world, cybersecurity is a crucial component. Therefore, education and proper training of the cybersecurity workforce are essential for building a strong national and global community. However, a significant shortage of proficient cybersecurity experts is reported
In post-quantum cryptography (PQC), Learning With Errors (LWE) is one of the dominant underlying mathematical problems. For example, in NIST's PQC standardization process, the Key Encapsulation Mechanism (KEM) protocol chosen for standardization was Kyber, an LWE-based scheme. The primal and the dual attacks are the two main strategies considered for solving the underlying LWE problem of multiple
This paper presents a directional analysis of the on-body propagation channels using the high resolution space alternating generalized expectation (SAGE) maximization algorithm. The analysis has been done on data obtained through FDTD simulations, on a male and a female numerical phantom. For estimating the angle of arrival (AoA) at a four element square array located at the chest, two different p
In this demo the adaptive resource management framework for multi-core platforms, developed in the ACTORS project will be demonstrated. The demonstration consists of two parts. In the first part a live demonstration will be performed. The hardware used consists of a quad-core x86 laptop connected to an AXIS network camera generating an MPEG-4 SP stream. The main application is an MPEG-4 decoder im
Denna uppsats behandlar frågan om när sjukdom kan utgöra sakliga skäl för uppsägning enligt 7 § lagen (1982:80) om anställningsskydd (LAS). Utgångspunkten i svensk arbetsrätt är att sjukdom i sig inte utgör grund för uppsägning. Syftet är därför att klarlägga under vilka förutsättningar sjukdom ändå kan leda till en rättsenlig uppsägning. Uppsatsen bygger på en rättsdogmatisk metod där lagtext, fö
Title: Access to cultural education in a multi-ethnical context. The right to dance and play an instrument, to paint and work with film is taken for granted by many children in Malmoe today. The agenda explicitely phrases the intent of the publicly financed schools of art for children to reflect the multi-ethnic demographics of the city. Public community music schools of today, incorporate classe
Fastighetsköp präglas av betydande ekonomiska värden och ett omfattande regelverk, där jordabalkens strikta formkrav syftar till att säkerställa rättssäkerhet och eftertänksamhet. Samtidigt sker avtalsförhandlingar i svensk rätt som utgångspunkt på egen risk, vilket innebär att kostnader och dispositioner som vidtas före ett bindande avtal normalt inte ersätts om affären inte fullföljs. Denna ordnReal estate transactions are characterised by significant economic values and an extensive regulatory framework, in which the strict formal requirements of the Swedish Land Code aim to ensure legal certainty and careful deliberation. At the same time, contract negotiations under Swedish law are, as a general rule, conducted at the parties’ own risk, meaning that costs and dispositions undertaken p
In this study, the extensive debate surrounding the public artpiece bLINK in Gothenburg is explored through a quantitative content analysis of comments published on forums connected to major media companies in the western region of Sweden. The results are then further analysed through the framework of Hanna Pitkin's theory of representation. The aim of this study is to test the explanatory pow
Emojis har etablerat sig som en central del av den digitala kommunikationen och används idag i såväl privata som affärsmässiga sammanhang. Med anledning av detta avser uppsatsen undersöka vilken rättslig betydelse emojis kan tillmätas i samband med avtalsingående enligt svensk rätt. Genom att tillämpa en rättsdogmatisk metod kompletterad med språkvetenskapliga inslag, analyseras emojis kommunikatiEmojis have established themselves as a central part of digital communication and are now used in both private and commercial contexts. In light of this, the present thesis aims to examine the legal significance that emojis may carry in the formation of contracts under Swedish contract law. By applying a doctrinal legal method, complemented by insights from linguistics, the communicative propertie
Knowledge mediation and power distribution are common subjects in everyday life. In school knowledge and learning are keywords for the activity, while on the other hand industries have production and benefits as major subjects. Despite these differences between school and industry they both can be discribed as learning organizations. This could be made to facilitate a gaining of knowledge in effor
