On linear order and computation : The expressiveness of interactive computations on linear orders and computations indexed by ordinals

We solve the Dynamic Ehrenfeucht-Fra\"iss\'e Game on linear orders for both players, yielding a normal form for quantifier-rank equivalence classes of linear orders in first-order logic, infinitary logic, and generalized-infinitary logics with linearly ordered clocks. We show that Scott Sentences can be manipulated quickly, classified into local information, and consistency can be decided effectively in the length of the Scott Sentence. We describe a finite set of linked automata moving continuously on a linear order. Running them on ordinals, we compute the ordinal truth predicate and compute truth in the constructible universe of set-theory. Among the corollaries are a study of semi-models as efficient database of both model-theoretic and formulaic information, and a new proof of the atomicity of the Boolean algebra of sentences consistent with the theory of linear order -- i.e., that the finitely axiomatized theories of linear order are dense.

Koko talo soi : Klemetti-Opisto suomalaisen musiikkikulttuurin kehittäjänä 1953-1968

This study aims to examine the operations and significance of the Klemetti Institute (Klemetti-Opisto) as a developer of Finnish music culture from 1953 to 1968 during the term of office of the Institute s founder and first director, Arvo Vainio. The Klemetti Institute was originally established as a choir institute, but soon expanded to offer a wide range of music courses. In addition to providing courses for choir leaders and singers, the Institute began its orchestral activities as early as the mid-1950s. Other courses included ear training seminars as well as courses for young people s music instructors and in playing the kantele (a Finnish string instrument) and solo singing. More than 20 types of courses were offered over the 16-year period. The Klemetti Institute s courses were incorporated into the folk high school courses offered by the Orivesi Institute (Oriveden Opisto) and were organised during the summer months of June and July. In addition to funding based on the Folk High School Act, financial assistance was obtained from various foundations and funds, such as the Wihuri Foundation. This study is linked to the context of historical research. I examine the Klemetti Institute s operations chronologically, classifying instruction into different course types, and analyse concert activities primarily in the section on the Institute s student union. The source material includes the Klemetti Institute archives, which consist of Arvo Vainio s correspondence, student applications, register books and cards, journals and student lists, course albums and nearly all issues of the Klemettiläinen bulletin. In addition, I have used focused interviews and essays to obtain extensive data from students and teachers. I concentrate on primary school teachers, who accounted for the majority of course participants. A total of more than 2,300 people participated in the courses, nearly half of whom took courses during at least two summers. Primary school teachers accounted for 50% to 70% of the participants in most courses and constituted an even larger share of participants in some courses, such as the music instructor course. The Klemetti Institute contributed to the expansion throughout Finland of a new ideal for choral tone. This involved delicate singing which strives for tonal purity and expressiveness. Chamber choirs had been virtually unheard of in Finland, but the Klemetti Institute Chamber Choir popularised them. Chamber choirs are characterised by an extensive singing repertoire ranging from the Middle Ages to the present. As the name suggests, chamber choirs were originally rather small mixed choirs. Delicate singing meant the avoidance of extensive vibrato techniques and strong, heavy forte sounds, which had previously been typical of Finnish choirs. Those opposing and shunning this new manner of singing called it ghost singing . The Klemetti Institute s teachers included Finland s most prominent pedagogues and artists. As the focused essays, or reminiscences as I call them, show, their significance for the students was central. I examine extensively the Klemetti Institute s enthusiastic atmosphere, which during the early years was characterised by what some writers described as a hunger for music . In addition to distributing a new tonal ideal and choir repertoire, the Klemetti Institute also distributed new methods of music education, thus affecting the music teaching of Finnish primary schools, in particular. The Orff approach, which included various instruments, became well known, although some of Orff s ideas, such as improvisation and physical exercise, were initially unfamiliar. More important than the Orff approach was the in-depth teaching at the Klemetti Institute of the Hungarian ear training method known as the Kodály method. Many course participants were among those launching specialist music classes in schools, and the method became the foundation for music teaching in many such schools. The Klemetti Institute was also a pioneer in organising orchestra camps for young people. The Klemetti Institute promoted Finnish music culture and played an important role in the continuing music education of primary school teachers. Keywords: adult education, Grundtvigian philosophy, popular enlightenment, Klemetti Institute, Kodály method, choir singing, choir conducting, music history, music education, music culture, music camp, Orff approach, Orff-Schulwerk, Orivesi Institute, instrument teaching, free popular education, communality, solo singing, voice production

Offloading content routing cost from routers

The publish/subscribe paradigm has lately received much attention. In publish/subscribe systems, a specialized event-based middleware delivers notifications of events created by producers (publishers) to consumers (subscribers) interested in that particular event. It is considered a good approach for implementing Internet-wide distributed systems as it provides full decoupling of the communicating parties in time, space and synchronization. One flavor of the paradigm is content-based publish/subscribe which allows the subscribers to express their interests very accurately. In order to implement a content-based publish/subscribe middleware in way suitable for Internet scale, its underlying architecture must be organized as a peer-to-peer network of content-based routers that take care of forwarding the event notifications to all interested subscribers. A communication infrastructure that provides such service is called a content-based network. A content-based network is an application-level overlay network. Unfortunately, the expressiveness of the content-based interaction scheme comes with a price - compiling and maintaining the content-based forwarding and routing tables is very expensive when the amount of nodes in the network is large. The routing tables are usually partially-ordered set (poset) -based data structures. In this work, we present an algorithm that aims to improve scalability in content-based networks by reducing the workload of content-based routers by offloading some of their content routing cost to clients. We also provide experimental results of the performance of the algorithm. Additionally, we give an introduction to the publish/subscribe paradigm and content-based networking and discuss alternative ways of improving scalability in content-based networks. ACM Computing Classification System (CCS): C.2.4 [Computer-Communication Networks]: Distributed Systems - Distributed applications