Abstracts der Masterthesen des Interuniversitären Universitätslehrganges Library and Information Studies 2017

This article lists the master's theses written in the year 2017 at the course of study "library and Information Studies", held at the University of Vienna and the Austrian National Library

Epic and ARM : user's guide

We give a brief introduction to Epic and to ARM (they are discussed in more detail elsewhere). We show how to use the Epic compiler and how to execute ARM code. Then we describe ARM's API (application programmer's interface) which allows ARM to be used as a plug-in library. We describe how to access external functions from ARM and how to add external data types

An Analytical Study of Music Education Research in Thailand During 2002-2011

The aim of this research was to synthesize the music education research in Thailand during 2002-2011 an present the trend in music education in Thailand by using data from synthesizing research andvision of the researcher. The researcher used the document research method by synthesize from A 10-years study of the music education research in Thailand, and Focus Group with teachers who teach in theinstitute where offer a major in music and present the tendency of music education. Analysis revealed asfollowing:There are 151 studies of the music education research in Thailand during 2002-2011. The mostaspect which can synthesize knowledge and research innovation is the aspect of teaching and learningmanagement and music activity which are 52 studies or 34.43 percent, the new innovation, teachingmodel, instructional media were used for 36 studies or 23.84 percent, the Music education managementand Music curriculum were used for 34 studies or 22.51 percent, the new teaching and learning systems,technology and on-line were used for 14 studies which examined at 9.27 percent, the integrated educationmanagement was used for 4 studies which examined at 2.64 percent, the less effective aspect is thecommunity cooperation which is used for 1 study or examined at 0.66 percent. It can be summarized thetendency of Music education in Thailand in each aspects as following: (1) the tendency of Music educationin Formal Education which are Fundamental Education and Higher Education (2) The tendency ofMusic education in Non-Formal Education which are Music private school, Music Academic ServiceProject of higher institute, and the institute for Music examination.The tendency of Music education when considering from elements of learning were at high level inall aspects. The curriculum was developed to response the needs of learners and Music career. The Musiceducational staffs have developed their abilities specially. The teaching plan was developed. The instructionalmedia, teaching innovation and modern technology were created. The institute has developed theappropriate environment in music learning. The learners in new generation have opportunity to study intheir preferred major of Music.Keywords: The tendency of music education in Thailand, music education researc

A Study of Music Therapy in Thailand

AbstractThe purpose of this research is to study the use of Music Therapy in Thailand and to study Musictherapy’s Curriculum and music activity in Music therapy. The researchers collected Educational literatureabout the Theory of Music Therapy, Elementary of Music, Music Therapy Activity, Benefits ofMusic Therapy, Types of Music Therapy and Music Therapy Education in Thailand. There are tools usedby researchers to do experimental Music Therapy activities, interview the Music therapist, and analyzeresearch in Music Therapy. The results were as follows:There are 3 major characteristic in the use of music therapy: Music Therapy for medical and nursingactivities, Music therapy activities by volunteers and teaching music therapy. In the case of MusicTherapy for medical and nursing, music therapy can effectively relieve symptoms, especially mentalillnesses, which had very good results. More knowledge of music therapy will be released to the publicin the future.Music therapy activities are held by volunteers or researchers. Currently, there are many volunteermusic therapy groups that organize activities in hospitals or medical facilities. These volunteers shouldbe encouraged to organize music therapy activities. They should be given the right therapy knowledgeand awareness of the importance of music therapy to achieve maximum benefits of the activity.The third use of music therapy is the teaching of music therapy in Thailand. Teaching courses inmusic therapy is still at an early stage, such as specific learning disabilities for children. The course ofproducing an undergraduate music therapy program is still in its early stages. The field of music therapyoffered at an undergraduate level should be pushed to happen. This course requires the cooperation ofthe Faculty of Medicine and Faculty of Arts. It is very important to integrate knowledge together. Inaddition, students should experience clinical practice and demonstrate the use of music therapy. Theyshould learn and process applied research to achieve the knowledge, understanding and expertise requiredin music therapy.Key words: music therapy, music therapy education, music for medicine

Lazy rewriting on eager machinery

We define Lazy Term Rewriting Systems and show that they can be realized by local adaptations of an eager implementation of conventional term rewriting systems. The overhead of lazy evaluation is only incurred when lazy evaluation is actually performed. Our method is modelled by a transformation of term rewriting systems, which concisely expresses the intricate interaction between pattern matching and lazy evaluation. The method easily extends to term graph rewriting

Minimal term rewriting systems

Formally well-founded compilation techniques for Term Rewriting Systems (TRSs) are presented. TRSs are compiled into Minimal Term Rewriting Systems (MTRSs), a subclass of TRSs in which all rules have an extremely simple form. A notion of simulation of (rewrite) relations is presented, under which an MTRSs can be said to simulate a TRS. The MTRS rules can be directly interpreted as instructions for an extremely simple Abstract Rewriting Machine (ARM). Favourable practical results have already been obtained with an earlier version of ARM

A model for I/O in equational languages with don't care non-determinism

Existing models for I/O in side-effect free languages focus on functional languages, which are usually based on a largely deterministic reduction strategy, allowing for a strict sequentialization of I/O operations. In concurrent logic programming languages a model is used which allows for don't care non-determinism; the sequentialization of I/O is extensional rather than intensional. We apply this model to equational languages, which are closely related to functional languages, but exhibit don't care non-determinism. The semantics are formulated as constrained narrowing, a relation that contains the rewrite relation, and is contained in the narrowing relation. We present constrained narrowing and some of its properties; a constructive method to transform conventional term rewriting systems to constrained narrowing systems; and a discussion on requirements for an implementation

Epic 1.0 (unconditional) : an equational programming language

We present EPIC, an equational programming language: its abstract syntax, static and operational semantics, and one of many possible concrete grammars of unconditional EPIC

ARM : abstract rewriting machine

Term rewriting is frequently used as implementation technique for algebraic specifications. In this paper we present the abstract term rewriting machine (ARM), which has an extremely compact instruction set and imposes no restrictions on the implemented TRSs. Apart from standard conditional term rewriting, associative lists are supported. ARM code is translated to (ANSI) C; the resulting execution speeds are good (on a sun4, an average of 80000 rewriting steps per second and a maximum of 416000 r/s were measured). Several benchmarks are shown, and related work is discussed in depth

Simulating TRSs by minimal TRSs : a simple, efficient, and correct compilation technique

A simple, efficient, and correct compilation technique for left-linear Term Rewriting Systems (TRSs) is presented. TRSs are compiled into Minimal Term Rewriting Systems (MTRSs), a subclass of TRSs, presented in [KW95d]. In MTRSs, the rules have such a simple form that they can be seen as instructions for an easily implementable abstract machine, the Abstract Rewriting Machine (ARM). In the correctness proof, it is shown that the MTRS resulting from compilation of a TRS simulates neither too much (soundness) nor too little (completeness), nor does it introduce unwarranted infinite sequences (termination conservation). The compiler and its correctness proof are largely independent of the reduction strategy