Applied Probability

[no abstract available

Third International Conference on Technologies for Music Notation and Representation TENOR 2017

The third International Conference on Technologies for Music Notation and Representation seeks to focus on a set of specific research issues associated with Music Notation that were elaborated at the first two editions of TENOR in Paris and Cambridge. The theme of the conference is vocal music, whereas the pre-conference workshops focus on innovative technological approaches to music notation

A type-theoretic framework for software component synthesis

A language-agnostic approach for type-based component-oriented software synthesis is developed from the fundamental principles of abstract algebra and Combinatory Logic. It relies on an enumerative type inhabitation algorithm for Finite Combinatory Logic with Intersection Types (FCL) and a universal algebraic construction to translate terms of Combinatory Logic into any given target language. New insights are gained on the combination of semantic domains of discourse with intersection types. Long standing gaps in the algorithmic understanding of the type inhabitation question of FCL are closed. A practical implementation is developed and its applications by the author and other researchers are discussed. They include, but are not limited to, vast improvements in the context of synthesis of software product line members. An interactive theorem prover, Coq, is used to formalize and check all the theoretical results. This makes them more reusable for other developments and enhances confidence in their correctness.Es wird ein sprachunabhängiger Ansatz für die typbasierte und komponentenorientierte Synthese von Software entwickelt. Hierzu werden grundlegende Erkenntnisse über abstrakte Algebra und kombinatorische Logik verwendet. Der Ansatz beruht auf dem enumerativen Typinhabitationsproblem der endlichen kombinatorischen Logik mit Intersektionstypen, sowie einer universellen algebraischen Konstruktion, um Ergebnisterme in jede beliebe Zielsprache übersetzen zu können. Es werden neue Einblicke gewonnen, wie verschiedene semantische Domänen des Diskurses über Softwareeigenschaften miteinander verbunden werden können. Offene Fragestellungen im Zusammenhand mit der Algorithmik des Typinhabitationsproblems für Intersektionstypen werden beantwortet. Eine praktische Implementierung des Ansatzes wird entwickelt und ihre bisherigen Anwendungen durch den Autor und andere Wissenschaftler werden diskutiert. Diese beinhalten starke Verbesserungen im Zusammenhang mit der Synthese von Ausprägungen von Software Produktlinien. Ein interaktiver Theorembeweiser wir genutzt, um alle Ergebnisse der Arbeit zu formalisieren und mechanisch zu überprüfen. Dies trägt zum einen zur Wiederverwendbarkeit der theoretischen Ergebnisse in anderen Kontexten bei, und erhöht zum andern das Vertrauen in ihre Korrektheit

A peça musical como uma instância : ensaios acerca da análise musical assistida por computador

Orientadores: Jônatas Manzolli, Moreno AndreattaTese (doutorado) - Universidade Estadual de Campinas, Instituto de Artes e Université Pierre et Marie Curie (França)Resumo: A partir de uma interpretação musicológica do conceito científico de "modelagem e simulação", esta tese apresenta uma abordagem para a análise musical assistida por computador onde partituras são reconstruídas a partir de processos algorítmicos e então simuladas através do uso de diferentes valores paramétricos resultando na geração de variações chamadas "instâncias". Investigar uma obra musical empregando "modelagem e simulações" significa buscar a sua compreensão através da uma atividade "recomposição", aproximando assim perspectivas analíticas e criativas. Esta abordagem foi aplicada em três casos de estudo: uma técnica isolada, a "multiplicação de acordes" usada pelo compositor francês Pierre Boulez (1925-2016) que foi explorada através do prisma formado pelas teorias de H. Hanson, S. Heinemann e L. Koblyakov e sua respectiva implementação computacional; a peça "Spectral Canon for Conlon Nancarrow" (1974) escrita pelo compositor americano James Tenney (1934-2006) na qual a simulação computacional a partir de diferentes valores paramétricos é levada às últimas consequências quando um "espaço de instâncias" é criado e estratégias de visualização são esboçadas; e por último a peça Désordre (1985), o primeiro estudo para piano escrito pelo austro-húngaro György Ligeti (1923-2006) onde os conceitos de "tonalidade combinatória" e "decomposição de um número inteiro (duração) em dois primos" são usados para maximizar o potencial de gerar diferentes variações através do respectivo modelo computacionalAbstract: From a musicological interpretation of the scientific notion of "modeling and simulation", this thesis presents an approach for computer-aided analysis where musical scores are reconstructed from algorithmic processes and then simulated with different sets of parameters from which neighboring variants, called instances, are generated. Studying a musical piece by modelling and simulation means to understand the work by (re)composing it again, blurring boundaries between analytical and creative work. This approach is applied to three case studies: an isolated technique, Pierre Boulez¿ (1925¿2016) Chord Multiplication, which was explored through the prism formed by the theories of H. Hanson, S. Heinemann and L. Koblyakov and by its computational implementation; the piece Spectral Canon for Conlon Nancarrow (1974) by the American composer James Tenney (1934¿2006) to which the computa- tional simulation from different sets of parameters was taken to its ultimate consequences when a "space of instances" is created and strategies of visu- alization and exploration are devised; and finally D ?esordre (1985), the first piano ?etude written by Austro-Hungarian Gyo ?rgy Ligeti (1923¿2006) in which the concepts of "combinatorial tonality" and "decomposition of a number (duration) into two prime numbers" were used to maximize the potential that a model has to produce different variations of the original pieceDoutoradoMúsica, Teoria, Criação e PráticaDoutor em Música2014/08525-8FAPES

Stochastische Modellierung einer Klasse wachstumsmaximaler Keim-Korn-Modelle

Diese Arbeit beschäftigt sich mit einer Klasse von Keim-Korn-Modellen, die in gewissem Sinne wachstumsmaximal sind. Das bekannteste Beispiel ist das Lilypond-Modell