Företag förlitar sig ofta på datalager som aggregerar information från flera källor och över tiden. Dessa datalager är ofta centrala för beslutsfattande inom företagen, både kortsiktiga operativa beslut och långsiktiga strategiska. Eftersom information är en färskvara blir det allt viktigare att de dagliga laddningsrutinerna för datalagren fungerar. Denna rapport avser att analysera möjligheten att applicera principen model checking för en validering. Praktiskt avses att på ett automatiserat sätt använda Promela och Spin som verktyg för att validera att laddningsrutinerna för datalagret är korrekta..

AbstractMany opinions are divided on what religious freedom should protect and the area is unexploredin preschool. Is it the parents, the child or preschool teacher right? The aim of the studywas to investigate Maria klasson Sundin´s concept and theoretical models of religious freedomfor children through three Swedish preschool settings and also how three teachers interpretsand expresses children's freedom of religion. Through a qualitative interview study theaim was to investigate how the concepts of religion, autonomy and freedom is interpreted andexpressed by the teachers so a picture through this three concepts can categorise the teachersin a model; freedom of thought, tradition and life interpretation model so a broader picturecan be made to understand how the children's freedom of religion is expressed in the preschoolsetting and how the teachers work. The Result showed through the analysis that themodels fail to categorise the teachers in any theoretical model but on the other hand the understandingof preschool teacher?s expression and interpretation of the concept of religion,autonomy and freedom showed both diversity and lack of knowledge on the subject mattersreligious freedom which fall within the child rights issues.

To be able to maintain an adequate ITservice for various users and needs,more municipalities are looking at thepossibility for mergers of local ITdepartments. One solution for mergingmultiple services/functions and creatingsynergy opportunities is called SharedService Center (SSC). The concept of SSCis that the administrative serviceitself becomes a core activity withinthe organization. The aim of this thesisis to provide municipalities who areconsidering a merging of their local ITdepartments with recommendations on howto design the Shared IT Service Center.Recommendations are outlined based on ananalysis of IT-management literature,reports and by conducting a study onthree ongoing collaborations.The conclusions drawn from the studysuggest guidelines for the design of aShared IT Service Center formunicipalities. These are as following:Create a vision associated with aspecific and structured target state.Identify needs for different targetgroups in municipalities and set acommon standard.Create a clear and practical model/SLAappearance of the cooperation andagreement.Ensure the individual municipalitiescommissioning skills in order to notlose it in the context of a common IToperation.Find an organization that is democraticfor member municipalities andfacilitates long-term partnership.Specify the operation and maintenance sothat it can be regulated and controlledEstablish a common help desk.Establish a common standard andconsolidated infrastructure before theintroduction of a common technology platform..

The current standards for design of steel beams are divided into four classes based on the slenderness of cross-sectional parts. Depending on the section class a beams load capacity is either determined by a plastic, elastic or a reduced elastic model. The division between cross-sections calculated by a plastic and an elastic model is today done in a very harsh way with no smooth transition. This leads to a large difference in the calculated resistance for the sections located near the class limits. Elasto-plastic sections are in the current situation calculated as purely elastic and their large plastic reserve is not considered in the current standards.

The aim of the study was to examine whether parental leave can serve as capacitating period in life. More specifically our aim was to get a deeper comprehension of the abilities and competencies developed through parental leave and how these can be of use to the individual when at work. 12 semistructured interviews were conducted with employees from a large organization in the south of Sweden. The results were analyzed using a hermeneutic approach. The results of the study show that competencies and abilities such as effectiveness, organizing, multitasking, leader abilities, communication, sensitivity, limiting skills, mindfulness, acceptance, self-confidence and life balance were enhanced during parental leave.

One of ABB Power Systems´s business areas is HVDC (High Voltage Direct Current) technology. HVDC is used for transmissions for both short and long distances. One of Power Systems?s products is called HVDC Light. HVDC Light is a relatively new technology for power transmission, but have before only been used for motor drives applications.

Purpose: The purpose of the study is to in a comparative and causal way explore whether there is a relationship between risk and return and also how it is perceived on the Nordic financial markets.Theory: The theoretical frame of reference applied in the thesis is considered relevant inthe perspective of the study?s purpose and research questions. We have among other theories used The Capital Asset Pricing Model, The Efficient Market Hypothesis and various Behavioural finance theories.Method: The study has its starting point in a quantitative approach with a quantitative data analysis supported by secondary data extracted from Thomson Reuters.Empirics: The empirics contains regression analyses made from calculated secondary data of 240 randomly chosen companies from Nasdaq OMX Stockholm, NasdaqOMX Copenhagen, Nasdaq OMX Helsinki and Oslo Bors.Conclusion: The study conclusions show that there are both a negative and positive relationship between volatility and actual return on the investigated markets. Considering this prior statement we can conclude that the Capital Asset Pricing Model can?t correctly describe the actual relationship between the parameters investigated on the current sample.

The aim of this study was to describe and analyse the perceptions that ten 12-15 yearold pupils with special educational need, who had been assigned a personal computer, have about Information and Communication Technology (ICT) in the learning process. Data was collected by personal interviews and observations. Sociocultural perspective and phenomenographic research approach were used as theoretical and methodological frameworks in analyzing and understanding the result. The major conclusions were that most respondents perceived the computer as beneficial assistive technology for learning, but some felt singled out by having a computer to assist in learning. Students had various opportunities to succeed in using their tool depending on e.g.

This essay takes its point of departure in the need for modern day public libraries to legitimize their place in today?s society. Societal changes call for constant reinvention of libraries and as part of this reinvention, new light is being shed on the public library?s role as a meeting place. By investigating contemporary debate articles published in Bibliotek i samhälle and Biblioteksbladet, two major Swedish library magazines, this essay aims to categorize and compare different conceptions of the library?s function as a meeting place.

Hybrid working solutions have become increasingly common following the outbreak of the Covid-19 pandemic. This new way of working introduces organisational challenges regarding how the culture within an organisation is created and maintained in an environment that combines both a physical and digital presence. This study aims to explore how hybrid work affects an organisation?s ability to develop and maintain its culture, as well as the digital tools and strategies used in the process. This will be studied through an employer?s perspective.

Companies that are facing the global market are put in to new challenges in order to streamline its business. One industry that has realized that changes are necessary is the construction industry, it is an industry witch is far behind the development of introducing information technology-tools systems in there business. It has shown there is a relation between high IT usage and high productivity, which is one of the reasons to why companies in the construction industry should purchase a business system especially for procurement. However, companies that have purchased a business system are facing difficulties in having their employees using it for its purpose. People react differently to changes and that?s why variations in quantities exist for usage of information technology-tools.

The EU Services Directive has caused an intense debate across Europe. Its purpose is to remove obstacles to trade and to open up the public sector to increased competition. The Swedish labour movement has been deeply involved in the policy process, and union leaders have proclaimed the compromise reached in the European Parliament in April 2006 as a success.In the paper two major aspects have been considered: the meaning of the Swedish model and the process of Europeanization. The Swedish model previously allowed for a strong labour movement, through a social democratic hegemony, but the EU membership has implied new conditions for union influence. The paper examines how this change has affected the strategic choices of the Swedish labour movement, and how it has been manifested in the union's work with the Services Directive.

To reduce emissions of carbon dioxide (CO2) Carbon Capture and Storage (CCS) technologieshave been developed. Chemical Looping Combustion (CLC) is a CO2 capture technologywith the CCS framework, and at Chalmers University of Technology in Gothenburg,Sweden, a 100 kW chemical looping combustor has been built.This project aimed to investigate to what degree air can replace helium as the uidizinggas for uid dynamical studies in a CLC cold ow model of the above mentioned 100 kWfacility. Experiments were performed using air and helium separately as uidizing gas andpressure data were obtained, which formed the basis for the comparison. The project alsoaimed to investigate uid dynamics in the uidized bed and study when the risk of sluggingoccuring was greatest. The results were presented in the form of figures and tables dividedinto pressure, concentration and standard deviation of the pressure.The results obtained showed that air as uidizing gas did not create the same uid dynamicsas helium over the entire fuel reactor.

Flexicurity is a union of the English words flexibility and security. The union of the two words to one common term, hints that flexibility and security does not have to be each others counterparts in order to achieve good economical development and employment. Flexicurity, as it is found in Denmark, is described as a three part model composed of active labour market politics, generous financial compensation in the case of unemployment and flexible labour law. The existence of strong collective agreements and three part cooperation is of great importance for the good flow of the Danish model. The same goes for education of different kinds.

Tasmania is a state in Australia, and is also the country?s largest island. It is separated from the main land by a 429 kilometer wide strait. Every year, a large amount of people, cars and goods are transported to the island using a government owned ferry line, which generates approximately 300 million Australian dollars to the state?s economy ,every year. This bachelor thesis investigates the possibility of reducing the fuel consumption for the ferry traffic to and from Tasmania, which would also reduce the overall cost.