Denne oppgaven utforsker forbedringspotensialet i musikknotasjonen til to samtidsmusikk komposisjoner. Oppgaven er vinklet gjennom en klassisk skolert cellist med erfaring innom samtidsmusikk. Cellisten observerer problemer som oppstår under innstuderingen og prøver å løse dem gjennom kunnskap fra design, notasjonspraktikk og perseptuell psykologi. Cellisten former en ny utgave av komposisjonene via dialog med komponistene. Til slutt drøfter cellisten hvilken forskjell endringene gjorde. / This thesis explores the possibilities of improvement in the musical notation of two pieces of contemporary music. The work is viewed through a classical trained cellist with experience in contemporary music. The cellist examines the problems encountered during rehearsal of the compositions and tries to find the root of the problems through principles of design, notation and perceptual psychology. A new version of the score is formed through dialogs between the cellist and the composers. The cellist discusses in the end whether the changes had an effect or not.

Limitations of graphical user interfaces, a program’s designed purpose, and other software development factors lead to perceived affordances and constraints in computer program functionality (Bell, 2015). Perceived affordances are functions the user knows exist, and constraints are limitations or restrictions to functionality (Norman, 2013). The perceived affordances and constraints of music creation programs may impact student compositions in many ways and have yet to be thoroughly investigated. The purpose of this study was to explore what effects students perceive music creation programs’ affordances and constraints have on their musical composing processes and final compositions. I interviewed, observed, and analyzed compositions from six students, ages 15-20, who had used music creation programs to compose. I used process and in vivo coding on these data to write descriptions of each student that highlighted their backgrounds, musical experiences, and how each student perceived the affordances and constraints in relation to their composing and compositions. I then used modified grounded theory analytical procedures to derive overarching themes from across all data. The students had difficulty describing how the affordances and constraints of the music creation software affected their composing and compositions. When students were able to describe program effects, these influences varied. The common effects were that the programs afforded the students testing for music ideas using the many available sounds and the students’ final compositions were a product of, or in spite of, those available sounds.

Tato práce se zabývá zasazováním zkušenosti do rámce, aktem zrození, opakování a škálou notací, a nakonec pojmem otevřená partitura (open score). Je zde sledováno několik cest, ve kterých se prezentované přístupy a záměry spájejí do základního konceptu zpracovávaní zkušenosti do partitury. Mezi různými styly a metodami ve vztahu k tomuto fenoménu jsou v práci prozkoumávány: hermeneutický přístup k interpretaci umění Hanse-Georga Gadamera v díle Pravda a metoda, estetická teorie Johna Deweyho v Art as Experience, vývoj notace a otevřené partitury, pravidla happeningu, slovní partitury (word score) a instrukce (event scores), forma manifestu a jeho role v umělecké praxi, návodné principy haiku, reperfomance jako odkaz k minulosti a sociální výzkum, rekonstrukce událostí jako sociálně angažované umění, umělecká praxe ve vztahu k legislativě, týkající se pozemkových práv a volného pohybu v krajině. Primárním cílem práce je odhalit proces redukce výchozí zkušenosti skrze uměleckou metodologii, ústící do konečné volně interpretovatelné práce, která má formu otevřené partitury.

This Ph.D. thesis describes proposed notation and method for working with parallel design patterns, which allowes proposing of automatic corrections to existing parallel source code with help of refactoring. In order to define the proposed notation, this work must cover areas of static code analysis, formal description of parallel design patterns and refactoring. Static code analysis is used to analyse the existing parallel source code for definition of places where you want to insert specified design pattern. Formal description of design pattern allows you to automatically apply the pattern to the existing source code. Finally, refactoring allows you to edit an existing source code without changing its functionality. The first part is devoted to the description of the current status in these three areas e.g. code analysis, design patterns and refactoring. The second part is devoted to a description of the methodology and experimental verification of its deployment.

A trusted execution environment (TEE) is an isolated environment used for trusted execution. TEE solutions are usually proprietary and specific for a certain hardware specification, thereby limiting developers that use those TEEs. A potential solution to this issue is the use of open-source alternatives such as the TEE framework Keystone and the Reduced Instruction Set Computer V (RISC-V) hardware. These alternatives are rather young and are not as well established as the variants developed by ARM and Intel. To this end, the assurance in Keystone and RISC-V are analysed by studying a remote attestation assurance use case using the goal structuring notation (GSN) method. The aim is to investigate how GSN can be utilised to build assurance cases for TEEs on RISC-V. This thesis presents a process of how GSNs can be created to argue assurance for a TEE solution. Furthermore, Keystone operates under a specific threat model with made assumptions that may have a large impact depending on the use case. Therefore, Keystone is analysed to understand whether the framework mitigates existing vulnerabilities in TEEs. It is concluded that GSN is a viable method for arguing assurance in TEEs, providing great freedom in the creation of the GSN model. The freedom is also its weakness since the argument composition has a high impact on the argument. Furthermore, we conclude that Keystone mitigates multiple known vulnerabilities primarily through made assumptions in its threat model. These cases need to be considered by developers utilising Keystone to determine whether or not the assumptions are valid for their use case.

This thesis is focused on optimizing processes at Air Bank, a.s. The aim will be to analyze the banking process called. "Completing the new framework agreement" with the subsequent design optimization for faster problem solving. The first part will be presented theoretical insights that are intended to familiarize the reader with the basic concepts relating to the processes and their optimization. The next part will be focused on analysis of existing activities. Contribution of thesis will be in the analysis of selected processes and propose solutions that will have a real benefit for the operation of the entire department.

Les agences de notations ont récemment été l'objet d'une grande attention. Leur responsabilité dans la crise des subprimes a été questionné. Les médias ont mis en avant les notes trop généreuses qui avaient été attribué à certains produits complexes, avant de s'interroger sur leur comportement quand elles ont dégradé les notes des dettes souveraines. Dans cette thèse, après avoir revu une partie de la littérature sur le sujet, je m'interroge sur deux aspects spécifique de leur activité:(i) Quels sont les conséquences de confier une information publique (comme une note de crédit) à une entité privée ?(ii) Les agences de notations disent avoir pour principal actif la réputation. Cette dernière peut expliquer pourquoi on observe des périodes de sur- notations et d'autres de sous-notations ? / Credit rating agencies have recently been under a lot of scrutiny. Their responsibility in the last financial crisis has been questioned. They received much attention from the media. The credit rating agencies have been blamed for their too generous ratings before the crisis and also for being too severe during the European debt crisis. In this thesis, after an overlook of the recent literature, I look at two specific issues related to their activity: • What issues arise when public information is released by a private entity on financial markets? • Can reputation explains why a credit rating agency can be caught underrating (respectively overrating)

Details zum gegenwärtigen Stand der DDC-Anwendung in der Deutschen Nationalbibliothek liefert Monika Lösse (17.07. nach 10:00); und sozusagen den französischen Spiegel hält Anne-Célin Lambotte aus Paris dagegen (17.07.12:00).

Einleitend geht es um Berichte zu Anwendungen, darunter beispielsweise darüber, wie sich die vor ca. 10 Jahren durch unsere Deutsche Nationalbibliothek (DNB) eingeführte Dewey Decimal Classification (DDC) in der Praxis bewährt hat (hierzu Walther Umstätter, 16.07.10:15). Eine berechtigte Frage auch deshalb, weil die aus den USA stammende DDC vor der mutigen Entscheidung der DNB noch nicht in deutschen Bibliotheken angewendet wurde.

In Web-based applications, most user interactions take the form of navigating between Web pages. The structure of the navigation model thus has a strong impact on a Web application's usability. However, specifying a user-friendly navigation model for complex applications can be time-consuming, especially when designing for multiple presentation channels. We therefore present the formal semantics of the dialog flow notation (DFN) that provides constructs for the design of modular navigation models, and especially focus on constructs that reduce the specification redundancy within and between channels, thus reducing the design effort for Web-based user interfaces