Reglering av insiderhandel är ett omdebatterat ämne som ofta leder till svarta rubriker i media. Att försöka motverka insiderhandel grundar sig i den asymmetriska information som är vanligt förekommande på värdepappersmarknaden och som tycks vara anledningen till att marknaden kan upplevas som orättvis och omoralisk. Reglering av insiderhandel har således ansetts vara nödvändigt men själva lagen har ifrågasatts när det kommer till dess verkliga funktion och effektivitet. Tidigare forskning visar nämligen på att lagen kanske bäst kan förstås som en spelregel där spelet är amoraliskt. Hur lagen kan liknas vid en spelregel i praktiken verkar däremot saknas i tidigare forskning. En studie som jämför insiderlagen med ekonomiska brott, såsom bedrägeribrott, har således ansetts vara nödvändig för att avgöra på vilka sätt insiderlagen kan liknas vid en amoralisk spelregel. Denna kvalitativa dokumentstudie ämnar således att utifrån ett socialkonstruktionistiskt synsätt analysera och beskriva insiderlagen och på vilka sätt den kan förstås som en spelregel i praktiken. Vikten av att upprätthålla förtroendet för värdepappersmarknaden har vidare framhållits av tillsynsmyndigheterna Ekobrottsmyndigheten och Finansinspektionen, därför ansågs det även vara intressant att studera dokument från deras respektive hemsidor. Dokumenten analyserades utifrån en tematisk analys där resultaten kopplades till värdepappersreglering och insiderlag, förtroende i dess abstrakta form samt insdiderlag och/eller spelregler. Resultaten i denna studie pekar på att insiderlagen i praktiken bäst förstås som en spelregel eftersom insiderhandel är ett offerlöst brott där det tillsynes finns svårigheter att bevisa att ett brott faktiskt har begåtts. / Nyckelord: Värdepappersreglering, asymmetrisk information, abstrakta system, abstrakt förtroende, spelregel, spelAbstractInsider trading regulation is a highly-debated topic which often leads to black headlines in the media. Attempts to counteract insider trading is based on the asymmetric information that is common in the securities market and which seems to be the reason why the market can be perceived as unfair and immoral. Insider trading regulation has thus been considered necessary, but the law itself has been questioned when it comes to its real function and efficiency. Earlier research namely shows that the law may be better understood as a game rule where the game is amoral. How the law practically can be better understood as a game rule seems however yet to be lacking in previous research. A study comparing insider law with economic crimes, such as fraud offenses, has thus been considered necessary to determine in which ways the insider law can be compared to an amoral rule of law. This qualitative document-study thus aims to analyze and describe the insider law in a social constructive approach and in what ways it practically can be better understood as a game rule. The importance of maintaining trust in the securities market has also been emphasized by the supervisory authorities Ekobrottsmyndigheten and Finansinspektionen, therefore it was also considered interesting to study documents from their respective websites. The documents were analyzed based on a content analysis where the results were linked to securities regulation and insider law, trust in its abstract form and insiderlaw and/or game rules. The results of this study indicate that the insider law practically should be better understood as a game rule as insider trading is a victimless crime where there are difficulties in proving that a crime actually has been committed.

This supporting document for the thesis exhibition entitled “Veils: Truth in Translation” will discuss Block’s exploration of painting during her time at East Tennessee State University. The supporting document also provides the historical background and influences which have contributed to Block's overall process and techniques. These influences include the Abstract Expressionists, Carl Jung, Ferdinand de Saussure, John Dewey, Theodor Adorno, Joan Mitchell and Gerhard Richter. In the supporting document Block probes the idea that non-objective painting is more than a language confined by linguistic elements of sign, signifier, and signified, but is a process of thinking, which is communicated on a higher level of perception than verbal speech or visual symbolism. Block will discuss how she translates experiences from the metaphysical realm of feeling and thought to the physical reality of paint and surface which communicates the experience to the viewer.

<p>Undersökning av färgen i förhållande till innehåll i Mark Rothkos abstrakta verk. Studien innefattar en undersökning i hur man skriver om färg i anslutning till Rothkos abstrakta målningars innehåll och huruvida färg kan avgöra betydelser.</p> / <p>A study about color in relationship to content in Mark Rothko’s abstract paintings. It includes a research in how people write about color when discussing Mark Rothko´s paintings and how that is related to content. It also looks at color in relationship to meaning.</p>

<p>Uppsatsen syftar till att undersöka huruvida begrepp som maskulint och feminint kan uppfattas i den nonfigurativa bilden. Med exempel ur den abstrakta expressionismen studeras detta utifrån genus och semiotisk teori. Även konstvärldens roll i producerandet av genus undersöks. En mindre enkätundersökning och bildanalys ingår i studien.</p> / <p>This thesis purpose is to examine whether notions as masculine and feminine can be understood in a nonfigurative picture. Thru gender theories and semiotics some examples from the Abstract Expressionist movement are studied. The art world’s participation in construction of gender is also examined. A picture analysis supported by a small survey is also included in the study.</p>

Uppsatsen syftar till att undersöka huruvida begrepp som maskulint och feminint kan uppfattas i den nonfigurativa bilden. Med exempel ur den abstrakta expressionismen studeras detta utifrån genus och semiotisk teori. Även konstvärldens roll i producerandet av genus undersöks. En mindre enkätundersökning och bildanalys ingår i studien. / This thesis purpose is to examine whether notions as masculine and feminine can be understood in a nonfigurative picture. Thru gender theories and semiotics some examples from the Abstract Expressionist movement are studied. The art world’s participation in construction of gender is also examined. A picture analysis supported by a small survey is also included in the study.

Undersökning av färgen i förhållande till innehåll i Mark Rothkos abstrakta verk. Studien innefattar en undersökning i hur man skriver om färg i anslutning till Rothkos abstrakta målningars innehåll och huruvida färg kan avgöra betydelser. / A study about color in relationship to content in Mark Rothko’s abstract paintings. It includes a research in how people write about color when discussing Mark Rothko´s paintings and how that is related to content. It also looks at color in relationship to meaning.

Per pastaruosius metus, lankstaus programavimo metodikos sulaukė daug dėmesio. Programų kodo pertvarkymas tapo viena iš labiausiai naudojamų praktikų, ypač ekstremaliame programavime. Todėl poreikis turėti programos kodo pertvarkymų įrankį išaugo iki tokio lygio, kad pertvarkymo įrankiai tapo reikalaujama priemone šiuolaikinėse programų kūrimo aplinkose. Tyrimo sritis – abstrakčios sintaksės medžių pertvarkymo algoritmai. Tyrimo objektas – abstrakčios sintaksės medžių pertvarkymo procesai skirtingose programavimo kalbose (C++ ir Java). Šio darbo tikslas – ištirti, kaip efektyviai būtų galima vykdyti pertvarkymus bendriniam AST, tam sukuriant pertvarkymų biblioteką ir atliekant eksperimentus įvairių kalbų atvejais. / Over the past years, agile development methodologies have attracted a lot of attention. Refactoring has become one of the most heavily used practices, especially in Extreme Programming. Therefore the need to have powerful refactoring tools has grown to such an extent, that there is a required feature for modern-day IDEs to have implemented refactoring tools. The aim of this work is to build a refactoring library for the generic abstract syntax tree and test the algorithms for speed. Generic abstract syntax tree (GAST) is a tree structure that can store elements of several programming language. Achieving this goal required doing certain tasks that you find in this document: analysis of technologies and existing software; several algorithms for refactoring; user need and specification of requirements; library model, expressed in UML diagrams; test plan and test procedure. Experiments have shown that it is necessary to improve the refactoring algorithms. But the library and the AST structure is worth further development.

Univ., Diss.--Kiel, 2008. / Besteht nur aus einem Titelverzeichnis und Zusammenfassungen der eingereichten Publikationen. Internetausg.: http://eldiss.uni-kiel.de/macau/receive/dissertation_diss_00002766.

Les systèmes critiques comme les commandes de vol peuvent entraîner des désastres en cas de dysfonctionnement. D'où l'intérêt porté à la fois par le monde industriel et académique aux méthodes de preuve formelle capable d'apporter, plus ou moins automatiquement, une preuve mathématique de correction. Parmi elles, cette thèse s'intéresse particulièrement à l'interprétation abstraite, une méthode efficacepour générer automatiquement des preuves de propriétés numériques qui sont essentielles dans notre contexte.Il est bien connu des automaticiens que les contrôleurs linéaires sont stables si et seulement si ils admettent un invariant quadratique(un ellipsoïde, d'un point de vue géométrique). Ils les appellent fonction de Lyapunov quadratique et une première partie propose d'encalculer automatiquement pour des contrôleurs donnés comme paire de matrices. Ceci est réalisé en utilisant des outils de programmation semi-définie. Les aspects virgule flottante sont pris en compte, que ce soit dans les calculs effectués par le programme analysé ou dans les outils utilisés pour l'analyse. Toutefois, le véritable but est d'analyser des programmes implémentant des contrôleurs (et non des paires de matrices), incluant éventuellement des réinitialisation ou des saturations, donc non purement linéaires. L'itération sur les stratégies est une techniqued'analyse statique récemment développée et bien adaptée à nos besoins. Toutefois, elle ne se marrie pas facilement avec lestechniques classiques d'interprétation abstraite. La partie suivante propose une interface entre les deux mondes.Enfin, la dernière partie est un travail plus préliminaire sur l'usage de l'optimisation globale sur des polynômes basée sur les polynômes deBernstein pour calculer des invariants polynomiaux sur des programmes polynomiaux. / Critical Systems such as flight commands may have disastrous results in case of failure. Hence the interest of both the industrial and theacademic communities in formal methods able to more or less automatically deliver mathematical proof of correctness. Among them, this thesis will particularly focus on abstract interpretation, an efficient method to automatically generate proofs of numerical properties which are essential in our context.It is well known from control theorists that linear controllers are stable if and only if they admit a quadratic invariant (geometrically speaking, an ellipsoid). They call these invariants quadratic Lyapunov functions and a first part offers to automatically compute such invariants for controllers given as a pair of matrices. This is done using semi-definite programming optimization tools. It is worth noting that floating point aspects are taken care of, whether they affectcomputations performed by the analyzed program or by the tools used for the analysis.However, the actual goal is to analyze programs implementing controllers (and not pairs of matrices), potentially including resets or saturations, hence not purely linears. The policy iteration technique is a recently developed static analysis techniques well suited to that purpose. However, it does not marry very easily with the classic abstract interpretation paradigm. The next part tries to offer a nice interface between the two worlds.Finally, the last part is a more prospective work on the use of polynomial global optimization based on Bernstein polynomials to compute polynomial invariants on polynomials systems.

Trots att det mediala och akademiska intresset för övervakning på internet och i sociala medier har ökat, visar tidigare forskning att yngre användare verkar ställa sig relativt obrydda till övervakning. Utifrån fem semistrukturerade intervjuer samt två fokusgruppsintervjuer med respondenter från generation Y skapar sig författarna en bild över respondenternas medvetenhet om och inställning till övervakning och produktplacering på internet och i sociala medier. Studien, som är en kvalitativ fallstudie med en socialkonstruktivistisk ansats, syftar till att utöka tidigare forskning inom ämnet övervakning samt kunna bidra med ökadkunskap till unga konsumenter som idag verkar på den digitala marknaden. Studiens empiri presenteras genom en tematisk analys där resultatet kopplas till utvalda teoretiska modeller om bland annat övervakning, tillit och kunskap. Resultatet och analysen tyder på att en viss medvetenhet om produktplacering och övervakning finns samt att inställningen till begreppen är relativt likgiltig alternativt negativ. Respondenterna upplevs värdesätta användningen avabstrakta system i utbyte mot minskad kontroll vilket bland annat tros kunna bero på deras starka behov av att integrera med varandra samt den tillit som finns till abstrakta system. Studien mynnar ut i en sammanfattande diskussion som belyser de eventuella konsekvenserna av tilliten till systemen där en potentiell negativ följd tros kunna vara en minskad förmåga att samla in ny ontologisk kunskap. / Despite that the medial and academic interest in online and social media surveillance has increased, previous research shows that younger users of these technologies themselves appear to remain relatively unconcerned with surveillance. By conducting five semi structured interviews and two focus group interviews with respondents from generation Y, the authors of this study aim to get a picture of the respondents’ awareness and attitude towards surveillance and product placement on the internet and in social media. The study, which is a qualitative case study with a social constructivist approach, aims at expanding previous research in surveillance as well as contributing to increased knowledge for young consumers who on a daily basis are active in the digital market. The empirical data of the study are presented by a thematic analysis, which links the results to selected theoretical models of surveillance, trust and knowledge. The result and analysis indicate that some awareness of product placement and surveillance exists and that the attitude towards both of the terms are relatively indifferent or negative. Respondents are perceived to accept the trade-off of greater usability for decreased control which, among other things, may be due to their strong need to integrate with each other and their trust in abstract systems. The study concludes with a final discussion highlighting the potential consequences of trusting the systems where a possible negative consequence may be a reduced ability to gain new ontological knowledge.