Sök:

Sökresultat:

1715 Uppsatser om Object-space - Sida 37 av 115

En optimierande kompilator för SMV till CLP(B)

This thesis describes an optimising compiler for translating from SMV to CLP(B). The optimisation is aimed at reducing the number of required variables in order to decrease the size of the resulting BDDs. Also a partitioning of the transition relation is performed. The compiler uses an internal representation of a FSM that is built up from the SMV description. A number of rewrite steps are performed on the problem description such as encoding to a Boolean domain and performing the optimisations.

Att balansera Management Control Systems - En fallstudie av ett litet svenskt IT-företag

This thesis studies the concept of balance in the management control systems (MCS) of a small Swedish company within the IT-sector. The aim is to evaluate the importance of balance and dynamics in MCS and investigate which factors affect them. The frameworks used are Simons (1994) four levers of control, and the five-factor model for balance and dynamics by Mundy (2010). The small IT company - the object of the case study - has grown extensively in the last years and needs to develop more formal MCS without losing efficiency and creativity in their fast-moving industry. The case study reveals that balancing MCS is important also in smaller companies with less formal MCS.

Jag är annorstädes - den unika rösten : Skapande av en subjektsposition i Unica Zürns Jasminmannen

This study analyses the german writer and artist Unica Zürn´s novel, The Man of Jasmine,1970 (Jasminmannen). Zürn was mostly active in the surrealist avantgarde in Paris during the 1950ies - and 60ies. The male surrealist images of women was polarised in to the godlike, child and the erotic, convulsive object. The mythologizied woman was the muse of men´s creativity. But still there were many women artists who participated in the movement, so clearly there was something in surrealism that attracted women.

Testverktyg för ett automatiserat system

Most often when developing a new system there is a need get a functioning testtool up and running. Including time, cost and resources the solution isn?t always obvious, developing your own or buy one ?of the shelf?. The purpose of this thesis is to study how a general testtool for executing functional tests should be designed to be reusable, be based on recognized knowledge and be able to fast and simple be customized for different types of systems. Key functions from the litterature is presented and used in the design of a testtool prototype.

Folksonomi på webben: indexeringskonsistens och konstruktion av taggar bland Delicious användare

The aim for this master?s thesis is to investigate the indexing consistency in a folksonomy Delicious. This is done by investigating how users construct tags. By applying a semiotic perspective and use analysis of content the occurrences of inflected forms, hyponymy, meronymy and users own tag creations were established. Lancaster?s seven factors is the starting point for the discussion about indexing and the factors that affects it in either a negative or positive way.

"Sam-vett" som naturens vett. En idéhistorisk undersökning av Sara Lidmans Jernbanesvit

The object of investigation in this essay is the epic novel sequence Jernbanan written by Sara Lidman. More specifically the investigation takes on the idea of a ?sam-vett? as it is formulated in Jernbanan. The ?sam-vett? is an idea about the undivided unity of man, nature and animal, and with a kind of primitive trait.

Delaktighetens och inflytandets förutsättningar : En rättssociologisk studie om barnperspektiv i LSS

This is a sociological jurisprudence study which focuses on "child perspective" in Law of Support and Service with Certain Functional Impairments, LSS. The purpose of the study was to clarify the meaning of child perspective in LSS and analyze it in relation to practice. The study was conducted with mixed strategies combining qualitative and jurisprudential methods. Both LSS and Law of Social Welfare, SoL, were studied. Social workers from dirrerent muncipalities in Sweden were interwiewed.

Fuktförebyggande åtgärder för ett bättre klimat i den småländska stenkyrkans krypgrund

Fukt i kyrkans krypgrund är ett ?växande? problem som på senare tid uppmärksammats alltmer. I denna studie har flera möjliga lösningar undersökt, vidare har en allmän angreppsmodell formulerats för att underlätta framtida utredningar. Studien visar bland annat att styrning efter mögelrisken är önskvärt för att få ett energioptimerat och garanterat mögelfritt klimat. Åtgärdsförslag såsom sorptionsavfuktare samt värmning genom elradiator direkt i krypgrunden är möjliga lösningar som med ett litet energitillskott förbättrar klimatet i krypgrunden avsevärt..

Hur marknadsför sig biblioteket PUNKTmedis? Lyckas biblioteket nå sin målgrupp?

The object of this paper is to examine the marketing of PUNKTmedis, a youth library. In order to do so we have looked at two different perspectives; how the library has marketed itself towards its target group, and how young people perceive what PUNKTmedis has to offer. The thesis? foundation is a case study. Since the question at hand concerns the library?s intentions with and execution of its marketing efforts, as well as the target group?s opinion of them, the empirical data is based partially on an interview with the head of marketing at PUNKTmedis, and partially on a target group questionnaire.

Gravitationslinser

Gravitational lenses are unlike ordinary optical lenses, a phenomenon corrupting our optical view of the cosmos. When we look out intospace we see celestial bodies lying with astronomical distance from Earth. There is no guarantee that what we see out there in space is actually there where we are observing it, and it may be that we see multiple images of the same star! Studies have shown that thenumber of distorted images of an n-mass (n > 1) plane lens can not exceed 5(n -1) for lighter lenses or 5n for more massive lens. This mathematical thesis covers gravitational lensing and their properties that distort light rays coming towards us from distant celestial bodies. In addition of gravitational lensing, its properties and the proof of the maximum number of distorted images, a bigger part of this work even cover two very interesting mathematical tools - the so-called Schwarz function and Bezout theorem..

En yteffektiv och flexibel kontorsbyggnad : A space saving and flexible office building

Det kommunalägda fastighetsbolaget Videum AB som hyr ut och förvaltar lokaler på campus i Växjö ska uppföra en ny byggnad med totalytan 5000m2. För att underlätta i projekterandet åt Videum AB har en förfrågan av vilken form på byggnaden som är den mest vinstgivande för företaget undersökts i den här rapporten. I byggnaden ska det finnas kontorslokaler som Videum AB kan hyra ut till andra företag. Kravet är att planlösningen ska vara flexibel och kreativ. Uthyrningsprocenten ska vara högsta möjliga vilket undersöks med hjälp av utvalda nyckeltal.

Kvantitativ studie om knappsatsdesign och knappstorlekars påverkan på träffsäkerhet

A mobile testing application using Unity was developed to analyse what impact button sizes and button layouts has on the accuracy of touch as well as the time to finish a labyrinth. This was tested on a Nexus 4 phone. 28 users navigated a small object through a labyrinth in which they collect keys to open the door to the exit. Each participant did the test 6 times with different combinations of button size and button layout each time, done in a random order. Hits, misses, completion time, order of button size and order of button layout was collected and then visualized using R.

Personlig integritet och kreditupplysning

Most people would agree that privacy is a civil right, and that we should not be deprived of this civil right for other than legitimate reasons. The difficulty lies instead in how to decide where the legislative boundary should be drawn for the right to privacy, in order to protect the individual from an undue intrusion of his privacy. There are a number of areas where the right to privacy comes in conflict with opposite interests. One of these areas is credit report. In this master thesis the author discusses questions as, what is the meaning of the word privacy, and whether the protection of privacy is sufficient in the legislation concerning credit report? Also a comparative study of the Swedish and the English regulation is performed.

Kulturjournalistiken idag : och hur rapporteringsfokuset ändras på dagstidningarnas kultursidor.

As our society moves into a more technical era, journalism and the reporting of culture have had to follow. But where has that left the cultural critique, and journalist/reviewers, in our local newspapers? This bachelor thesis will try to map and explain the change of the cultural presentation in the local newspapers from the day it was firstly introduced as a genre in the modern journalistic world until today ? 1840 and onwards. Whether it has turned into complete tabloid journalism or if it's methods are used to expand the knowledge about the cultural object, it shall be discovered with the help of an analysis of the cultural sections in some newspapers ? both from the last quarter of 2012 (October - December) and one date from two years prior to that.

C# : Framtidens språk???

This paper is about the new programming language from Microsoft, C# (See Sharp) and the .NET Framework. They are still in beta-version, but will be released on the market in February 2002. This paper presents C#, not in detail but the characteristics that distinguish the language. A comparison is done with C++ and Java, since C# is most resembling to these languages. Both C# and Java have been developed from the mother- language C++.

<- Föregående sida 37 Nästa sida ->