Filetype
Clog is a declarative language for describing static code checkers for C. Clog is a dialect of Datalog and adds syntactic pattern matching over the C language. We have built Clog using the MetaDL framework and the Clang C compiler frontend. The MetaDL framework supports Datalog evaluation and syntactic patterns, while the Clang frontend provides AST facts and an AST matching mechanism.We provide t
De senaste årens tillväxt och framsteg inom cloud computing har medfört många fördelar ur ett organisatoriskt perspektiv. Företag har nu möjlighet att få åtkomst till pooler av datorresurser konfigurerade i form av servrar, lagring och nätverk, detta utan att behöva investera i dyr hårdvaruinfrastruktur. Det är dock viktigt att ta hänsyn till teknikens nackdelar och de svårigheter som kan uppstå.
In this thesis, a new model for diffractive proton-proton collisions is presented. Interpreting protons as systems of many partons, we treat diffraction in terms of elastic interactions between the partons of the colliding protons. Parton emission and absorption are employed as the mechanism that in the context of a diffractive event can stabilize excited protons by reshuffling parton momenta and
This study aims to map how Swedish process industries use qualitative risk analyses, such as process hazard analyses (PHA), to assess risks. Beyond the Seveso legislation, which requires all facilities classified as upper tier to perform a safety report each fifth years, there are no Swedish legislation or regulations regarding how and when PHAs should be executed. Hence, Swedish process industrie
Offentlig upphandling är en inköpsprocess av nyttjas av offentliga verksamheter såsom myndigheter och kommuner. Årligen spenderar Sverige ca 800 miljarder kronor via offentliga upphandlingar, vilket har en stor inverkan på miljön då dessa kontrakt ofta följer den linjära ekonomiska modellen, slit- och släng samhället. Begreppen cirkularitet och cirkulär ekonomi är relativt nya koncept som har de sThe EU procured for roughly 202000 MEUR (14% of the EU GDP) during 2021 in the public sector. The majority of these contracts are traditional, linear business model purchases. The EU has been developing several strategies, guidelines, and policies for sustainable purchasing, with Circular Public Procurement for a Circular Economy (CE) being one of them, but the implementation rate is low. Electron
Koncessionsmineral är ämnen som är viktiga för samhället, de behövs för att bygga bilar, telefoner, infrastruktur och mycket mer. Ämnena är även viktiga för att verkställa en grön energiomställning och för uppfyllelse av de nationella miljömålen. För att utvinna dessa ämnen behövs någon form av gruvbrytning, vilket kan ske i underjordsgruvor eller dagbrott. Gruvbrytning är en verksamhet som tar stMetals and minerals are prerequisites for a modern and climate-neutral society. Domestic mining facilities are also an essential part of the Swedish national economy. Sweden has a unique bedrock and is one of Europe's largest producers. However, the willingness to invest in the Swedish mining industry has dropped over the last decade. The main reason for this is the complication and uncertaint
This thesis aims to explore whether an artistic creative type model can be applicable in an entrepreneurial setting. Meta Wagner’s model was selected as the artistic creative type model in this study. Conducting qualitative research through a case study approach on startup founders, who share a common background in entrepreneurial education, allows us to deepen our understanding of the founder
Frågan om anonyma vittnen har länge varit föremål för debatt i den juridiska världen. Är det en rättssäker åtgärd att införa ett system med anonyma vittnen? Hur skulle ett sådant system, om det infördes, överensstämma med de rättssäkerhetsgarantier som tillstår den tilltalade i rättsprocessen? Tidigare forskning kring anonyma vittnen har fokuserat på rättssäkerheten och försökt nå en slutsats krinThe issue on anonymous witnesses has in Sweden been frequently discus-sed in the legal debate over the years. Is it according to the rule of law to impose such a system? How does a system of anonymous witnesses con-form with the principles of the rule of law given to the accused during a hearing? Past research has centered the discussion around the rule of law and the effects an imposition of a sy
Using a framework for analyzing security policy consisting of a synthesis of the Multiple Streams Framework by Kingdon (2014) and Securitization theory as described by Balzacq (2010), this study aims to explain the process of Sweden’s national security policy between 2014 and 2022. Such an investigation has relevance particularly for studies of peace, security and policy processes, since it relate
This bachelor thesis builds on an uneven diabetic health care, more specific at Swedish medical clinics where patients with type-1 diabetes are being treated. Today patients are not able to get the same benefits, the access and quality of health care is based on where patients are getting their treatment. However, this is not compatible with the Swedish law saying that the purpose of health care i
Syfte: Syftet med förändringsarbetet är att hjälpa Varberger Sweden AB att skapa den fungerande produktionsapparat som behövs för att jobba enligt den av företaget utarbetade affärsidén med kärnkompetens och kundanpassning. Arbetet kommer att beskriva det använda arbetssättet, dvs. analysarbetet, men huvudsyftet är att skapa förändringar i företaget och så långt som möjligt implementera dessa. PrPurpose: The purpose with the work of change was to help the company Varberger Sweden AB to change its way of working and by that enabling the company to reach the developed business concept were core competences such as precision and customization was seen as the key to success. Task description: The company Varberger Sweden AB have for different reasons gone into bankruptcy some times during th
Ledarskap har länge varit populärt inom managementforskningen och utvecklingen av ledarskapsfältet går mot att studera fenomenet genom vardagliga ansatser och på ett mer praktikorienterat sätt. Forskningen fortsätter dock längs med denna utveckling att studera ledarskap på ett fragmenterat sätt och därmed se det som något entydigt. I motsats till detta har syftet med denna uppsats istället varit a
This thesis investigates how digitalisation influences the strategy of German hospitals via the provision of a holistic overview of potential digital solutions and how they can be used to enhance the hospitals’ core processes. Scrutinising the current utilisation, barriers to implementation and the effect that software-based systems have on the hospital’s strategy are at the study’s core. Here, a
Syftet med uppsatsen är att undersöka möjligheter och utmaningar som mindre svenska kommuner har haft vid implementering av Robotic Process Automation (RPA). För att uppnå syftet med studien har tidigare litteratur kombinerats med en kvalitativ undersökning av tre kommuners erfarenheter kring RPA i kommunen. Resultatet av undersökningen visar att kommunerna har haft både utmaningar och möjligheter
This thesis describes the development process of a digital tool that can be used by locksmiths to quickly and easily find the right components for repairing and replacing electronic locking mechanisms. The tool took the form of a mobile application and was developed in collaboration with Robust Ellåsning AB in Malmö, Sweden. The report describes an iterative, human-centered design process, from da
Straumann® Emdogain® is a protein-based gel used in dentistry for tissue regeneration. Emdogain® contains enamel matrix proteins, which are mainly amelogenin proteins. These are obtained through weakly acidic extraction from porcine tooth buds. Embedded in the enamel matrix is also hydroxyapatite which releases calcium ions. These ions saturate the solution, and the protein extraction halts. An at
Modelling of an industrial control loop for concentration control using Omola, an object-oriented modelling language, is described. The major modelling effort has been made to make a complete nonlinear model of the pneumatic positioner-actuator of the control valve in the loop. A library of several friction models has also been developed. These models have been used to describe friction in the con
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
