NBS monograph

From Introduction: "This report is the first of a series intended to provide a selective overview of research and development efforts and requirements in the somewhat overlapping fields of the computer and information sciences and technologies. The projected series of reports will attempt to outline the probable range of R & D activities in the computer and information sciences and technologies through selective reviews of the literature and to develop a reasonable consensus with respect to the opinions of workers in these and potentially related fields as to areas of continuing R & D concern for research program planning or review in these areas.

Informationist Science Fiction Theory and Informationist Science Fiction

Informationist Science Fiction theory provides a way of analysing science fiction texts and narratives in order to demonstrate on an informational basis the uniqueness of science fiction proper as a mode of fiction writing. The theoretical framework presented can be applied to all types of written texts, including non-fictional texts. In "Informationist Science Fiction Theory and Informationist Science Fiction" the author applies the theoretical framework and its specific methods and principles to various contemporary science fiction works, including works by William Gibson, Neal Stephenson and Vernor Vinge. The theoretical framework introduces a new informational theoretic re-framing of existing science fiction literary theoretic posits such as Darko Suvin's novum, the mega-text as conceived of by Damien Broderick, and the work of Samuel R Delany in investigating the subjunctive mood in SF. An informational aesthetics of SF proper is established, and the influence of analytic philosophy - especially modal logic - is investigated. The materialist foundations of the metaphysical outlook of SF proper is investigated with a view to elucidating the importance of the relationship between scientific materialism and SF. SF is presented as The Fiction of Veridical, Counterfactual and Heterogeneous Information

Informationist Science Fiction Theory and Informationist Science Fiction

Informationist Science Fiction theory provides a way of analysing science fiction texts and narratives in order to demonstrate on an informational basis the uniqueness of science fiction proper as a mode of fiction writing. The theoretical framework presented can be applied to all types of written texts, including non-fictional texts. In "Informationist Science Fiction Theory and Informationist Science Fiction" the author applies the theoretical framework and its specific methods and principles to various contemporary science fiction works, including works by William Gibson, Neal Stephenson and Vernor Vinge. The theoretical framework introduces a new informational theoretic re-framing of existing science fiction literary theoretic posits such as Darko Suvin's novum, the mega-text as conceived of by Damien Broderick, and the work of Samuel R Delany in investigating the subjunctive mood in SF. An informational aesthetics of SF proper is established, and the influence of analytic philosophy - especially modal logic - is investigated. The materialist foundations of the metaphysical outlook of SF proper is investigated with a view to elucidating the importance of the relationship between scientific materialism and SF. SF is presented as The Fiction of Veridical, Counterfactual and Heterogeneous Information

Predictive text-entry in immersive environments

Virtual Reality (VR) has progressed significantly since its conception, enabling previously impossible applications such as virtual prototyping, telepresence, and augmented reality However, text-entry remains a difficult problem for immersive environments (Bowman et al, 2001b, Mine et al , 1997). Wearing a head-mounted display (HMD) and datagloves affords a wealth of new interaction techniques. However, users no longer have access to traditional input devices such as a keyboard. Although VR allows for more natural interfaces, there is still a need for simple, yet effective, data-entry techniques. Examples include communicating in a collaborative environment, accessing system commands, or leaving an annotation for a designer m an architectural walkthrough (Bowman et al, 2001b). This thesis presents the design, implementation, and evaluation of a predictive text-entry technique for immersive environments which combines 5DT datagloves, a graphically represented keyboard, and a predictive spelling paradigm. It evaluates the fundamental factors affecting the use of such a technique. These include keyboard layout, prediction accuracy, gesture recognition, and interaction techniques. Finally, it details the results of user experiments, and provides a set of recommendations for the future use of such a technique in immersive environments

The construction and evaluation of statistical models of melodic structure in music perception and composition

The prevalent approach to developing cognitive models of music perception and composition is to construct systems of symbolic rules and constraints on the basis of extensive music-theoretic and music-analytic knowledge. The thesis proposed in this dissertation is that statistical models which acquire knowledge through the induction of regularities in corpora of existing music can, if examined with appropriate methodologies, provide significant insights into the cognitive processing involved in music perception and composition. This claim is examined in three stages. First, a number of statistical modelling techniques drawn from the fields of data compression, statistical language modelling and machine learning are subjected to empirical evaluation in the context of sequential prediction of pitch structure in unseen melodies. This investigation results in a collection of modelling strategies which together yield significant performance improvements over existing methods. In the second stage, these statistical systems are used to examine observed patterns of expectation collected in previous psychological research on melody perception. In contrast to previous accounts of this data, the results demonstrate that these patterns of expectation can be accounted for in terms of the induction of statistical regularities acquired through exposure to music. In the final stage of the present research, the statistical systems developed in the first stage are used to examine the intrinsic computational demands of the task of composing a stylistically successful melody The results suggest that the systems lack the degree of expressive power needed to consistently meet the demands of the task. In contrast to previous research, however, the methodological framework developed for the evaluation of computational models of composition enables a detailed empirical examination and comparison of such models which facilitates the identification and resolution of their weaknesses

Topics in Programming Languages, a Philosophical Analysis through the case of Prolog

[EN]Programming languages seldom find proper anchorage in philosophy of logic, language and science. is more, philosophy of language seems to be restricted to natural languages and linguistics, and even philosophy of logic is rarely framed into programming languages topics. The logic programming paradigm and Prolog are, thus, the most adequate paradigm and programming language to work on this subject, combining natural language processing and linguistics, logic programming and constriction methodology on both algorithms and procedures, on an overall philosophizing declarative status. Not only this, but the dimension of the Fifth Generation Computer system related to strong Al wherein Prolog took a major role. and its historical frame in the very crucial dialectic between procedural and declarative paradigms, structuralist and empiricist biases, serves, in exemplar form, to treat straight ahead philosophy of logic, language and science in the contemporaneous age as well. In recounting Prolog's philosophical, mechanical and algorithmic harbingers, the opportunity is open to various routes. We herein shall exemplify some: - the mechanical-computational background explored by Pascal, Leibniz, Boole, Jacquard, Babbage, Konrad Zuse, until reaching to the ACE (Alan Turing) and EDVAC (von Neumann), offering the backbone in computer architecture, and the work of Turing, Church, Gödel, Kleene, von Neumann, Shannon, and others on computability, in parallel lines, throughly studied in detail, permit us to interpret ahead the evolving realm of programming languages. The proper line from lambda-calculus, to the Algol-family, the declarative and procedural split with the C language and Prolog, and the ensuing branching and programming languages explosion and further delimitation, are thereupon inspected as to relate them with the proper syntax, semantics and philosophical élan of logic programming and Prolog

NBS monograph

From Introduction: "This is the third in a planned series of reports involving selective literature reviews of research and development requirements and areas of continuing R & D concern in the computer and information sciences and technologies.

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

On Musical Self-Similarity : Intersemiosis as Synecdoche and Analogy

Self-similarity, a concept borrowed from mathematics, is gradually becoming a keyword in musicology. Although a polysemic term, self-similarity often refers to the multi-scalar feature repetition in a set of relationships, and it is commonly valued as an indication for musical ‘coherence’ and ‘consistency’. In this study, Gabriel Pareyon presents a theory of musical meaning formation in the context of intersemiosis, that is, the translation of meaning from one cognitive domain to another cognitive domain (e.g. from mathematics to music, or to speech or graphic forms). From this perspective, the degree of coherence of a musical system relies on a synecdochic intersemiosis: a system of related signs within other comparable and correlated systems. The author analyzes the modalities of such correlations, exploring their general and particular traits, and their operational bounds. Accordingly, the notion of analogy is used as a rich concept through its two definitions quoted by the Classical literature—proportion and paradigm, enormously valuable in establishing measurement, likeness and affinity criteria. At the same time, original arguments by Benoît B. Mandelbrot (1924–2010) are revised, alongside a systematic critique of the literature on the subject. In fact, connecting Charles S. Peirce’s ‘synechism’ with Mandelbrot’s ‘fractality’ is one of the main developments of the present study