Shape analyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regions. Unfortunately, many data structure invariants... more
Shape analyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regions. Unfortunately, many data structure invariants require relations be tracked across disjoint regions, such as intricate numerical data invariants or structural invariants concerning back and cross pointers. In this paper, we identify issues inherent to analyzing relational structures and design an abstract domain that is parameterized both by an abstract domain for pure data properties and by user-supplied specifications of the data structure invariants to check. Particularly, it supports hybrid invariants about shape and data and features a generic mechanism for materializing summaries at the beginning, middle, or end of inductive structures. Around this domain, we build a shape analysis whose interesting components include a pre-analysis on the user-supplied specifications that guides the abstra...
We describe StackGuard: a simple compiler technique that virtually eliminates buffer overflow vulnerabilities with only modest performance penalties. Privileged programs that are recompiled with the StackGuard compiler extension no longer... more
We describe StackGuard: a simple compiler technique that virtually eliminates buffer overflow vulnerabilities with only modest performance penalties. Privileged programs that are recompiled with the StackGuard compiler extension no longer yield control to the attacker, but rather ...
We present results of two studies that address creative decision-making through the usage of local resources. Adopting anopportunistic design approach (Buxton 2007; Botero et al. 2010;Visser 1994), both studies use off-the-shelf... more
We present results of two studies that address creative decision-making through the usage of local resources. Adopting anopportunistic design approach (Buxton 2007; Botero et al. 2010;Visser 1994), both studies use off-the-shelf infrastructure toidentify support strategies that deserve further implementationefforts. Both studies yielded complete creative products, consistingof a mixed-media performance artwork and a multimodalinstallation. We discuss the procedures employed to assist thedecision-making processes with an eye on the development ofnew creativity support metaphors. The examples serve to framethe discussion on human-computer interaction and musical creativityin the context of ubiquitous music making.
The previous workshop on "XML and Information Retrieval" was held in the context of SIGIR'2000 (Athens, Greece) and showed that there is a serious interest in managing semi-structured data from an IR (i.e., unstructured)... more
The previous workshop on "XML and Information Retrieval" was held in the context of SIGIR'2000 (Athens, Greece) and showed that there is a serious interest in managing semi-structured data from an IR (i.e., unstructured) perspective rather than from the dominating database (i.e., structured) perspective. As a direct outcome of the workshop, a special JASIS issue on XML and IR was edited and published in March 2002. The topic is still in its prime both in the Academia, as evidenced by XML related papers presented at SIGIR'2001, and in the business world with more search engines adding "XML support" as a requirement.The purpose of this workshop was to continue the effort of applying an "IR approach" to XML search and retrieval. We believe that this approach is crucial to extending the role of XML from pure data exchange in business-to-business applications to actual information exchange in end-users facing and Knowledge Management applications. As...
In the past decade we have seen a growing presence of tabletop systems applied to music, lately with even some products becoming commercially available and being used byprofessional musicians in concerts. The development of thistype of... more
In the past decade we have seen a growing presence of tabletop systems applied to music, lately with even some products becoming commercially available and being used byprofessional musicians in concerts. The development of thistype of applications requires several demanding technicalexpertises such as input processing, graphical design, realtime sound generation or interaction design, and because ofthis complexity they are usually developed by a multidisciplinary group.In this paper we present the Musical Tabletop CodingFramework (MTCF) a framework for designing and codingmusical tabletop applications by using the graphical programming language for digital sound processing Pure Data(Pd). With this framework we try to simplify the creationprocess of such type of interfaces, by removing the need ofany programming skills other than those of Pd.
In this paper, we present a historical overview and a brief report of the main recent activities at LCM (Laboratório de Computação Musical) of UFRGS (Universidade Federal do Rio Grande do Sul).
A música eletrônica (e-music) caracteriza-se pela produção de sonoridades sintetizadas a partir do uso de equipamentos e instrumentos eletrônicos e tem suas raízes nas mudanças de paradigmas estéticos e epistemológicos ocorridas durante o... more
A música eletrônica (e-music) caracteriza-se pela produção de sonoridades sintetizadas a partir do uso de equipamentos e instrumentos eletrônicos e tem suas raízes nas mudanças de paradigmas estéticos e epistemológicos ocorridas durante o século XIX e XX, refletindo também, a crise representativa e ontológica dos objetos artísticos. A partir deste postulado, pode-se refletir sobre a produção da arte contemporânea e, principalmente, da música eletrônica sob duas chaves da estética e da subjetividade atuais: as imagens técnicas de Flusser e Benjamin e o infamiliar freudiano. Como os elementos que destacam a e-music enquanto gênero são a sua construção “em camadas” e a utilização de recursos experimentais e não-humanos, como o ruído e os samples, a soma de tais elementos seria capaz de provocar sensações de desconforto e, simultaneamente, evocar elementos familiares, remetendo aos debates que relacionam Estética, psicanálise e filosofia da técnica?
Games provide high levels of enjoyment and fun through closed systems with concrete objectives. These characteristics enhance a state of concentration known as flow. Many modern board games provide good gaming experiences. However, it is... more
Games provide high levels of enjoyment and fun through closed systems with concrete objectives. These characteristics enhance a state of concentration known as flow. Many modern board games provide good gaming experiences. However, it is possible to use various resources to further enhance the experience. This study proposes that augmented audio technology can be used to induce flow during a board game playthrough. For this purpose, a prototype was developed to be tested with the board game Rising Sun. The main concept behind this approach was to deliver to the players real time sonic feedback through an augmented sound environment mapped to in game actions, by triggering spatialized contextual sound events related to the user’s in-game actions and game phases. A study was conducted using the aforementioned prototype to validate the proposal, and the results have shown that augmented audio may induce the state of flow.
El presente escrito trata sobre el fotografo Lewis Hine y su particular mirada del progreso y la ciudad de Nueva York. Esto se relacionara con una idea fundamental dentro de la estetica, como es lo sublime, trazando paralelismos entre lo... more
El presente escrito trata sobre el fotografo Lewis Hine y su particular mirada del progreso y la ciudad de Nueva York. Esto se relacionara con una idea fundamental dentro de la estetica, como es lo sublime, trazando paralelismos entre lo planteado por diversos autores como Edmund Burke e Immanuel Kant con la imagen mas conocida del fotografo estadounidense. A partir de aqui, se intentara desvelar la presencia de lo sublime en la logica del capitalismo y en la construccion de las ciudades modernas, analizando su pervivencia en un modelo ideologico que derruye la idea del limite y promulga lo infinito como una condicion sine qua non del progreso y el desarrollo.
The Jardim Sonoro (Sound Garden) project is a series of sound situations that derive from an investigation whose main object is experimental scores, usually played in collaboration with other artists. In this thematic section, the... more
The Jardim Sonoro (Sound Garden) project is a series of sound situations that derive
from an investigation whose main object is experimental scores, usually played in
collaboration with other artists. In this thematic section, the musical notes become
sounds revealed by images linked to environments with nature. The procedure for the
scores Seco, Semente and Florecer are performative instructions where the body must
find new spaces close to nature to reproduce the sound and/or music.
Se han propuesto muchos algoritmos de detección de audio para monitorear aves usando sus vocalizaciones. Entre estos algoritmos, las técnicas basadas en el aprendizaje profundo han tomado la delantera en términos de rendimiento a gran... more
Se han propuesto muchos algoritmos de detección de audio para monitorear aves usando sus vocalizaciones. Entre estos algoritmos, las técnicas basadas en el aprendizaje profundo han tomado la delantera en términos de rendimiento a gran escala. Sin embargo, usualmente se requiere de mucho trabajo manual para etiquetar correctamente las vocalizaciones de aves en grandes conjuntos de datos. Una forma de abordar esta limitación es usar el marco de trabajo de aprendizaje de instancias múltiples (MIL), que modela cada grabación como una bolsa de instancias, es decir, una colección de segmentos de audio que se asocia con una etiqueta positiva si un pájaro está presente en la grabación. En este trabajo, modificamos una red profunda MIL propuesta previamente, para predecir la presencia o ausencia de aves en grabaciones de campo de un minuto. Exploramos el comportamiento y el rendimiento de la red cuando utilizamos un número diferente de coeficientes cepstrales de frecuencia de mel (MFCC) para...
A Electrónica (também conhecida como e-music) caracteriza-se pela utilização de instrumentos e equipamentos electrónicos para produzir sons e harmonias sintetizados e não naturais. Teve origem nas mudanças de paradigmas estéticos e... more
A Electrónica (também conhecida como e-music) caracteriza-se pela utilização de instrumentos e equipamentos electrónicos para produzir sons e harmonias sintetizados e não naturais. Teve origem nas mudanças de paradigmas estéticos e epistemológicos ocorridas no final do século XIX e início do século XX. Além disso, a e-music reflecte a crise representacional e ontológica dos objectos de Arte. Tendo este pano de fundo como ponto de partida, este ensaio pretende investigar a produção da arte contemporânea e, especificamente, da música electrónica, sob o escrutínio de duas chaves analíticas: as imagens técnicas de Flusser e Benjamin e o conceito freudiano de "unheimlich". A questão que norteia esta investigação pode ser retomada a seguir: a soma das suas características (a sua construção e arranjos em camadas, a utilização de ruídos, samples e recursos experimentais e não-humanos) permite à música electrónica gerar sensações de desconforto ou de deslocação e, simultaneamente, ...
Gossip-based algorithms were first introduced for reliably disseminating data in large-scale distributed systems. However, their simplicity, robustness, and flexibility make them attractive for more than just pure data dissemination... more
Gossip-based algorithms were first introduced for reliably disseminating data in large-scale distributed systems. However, their simplicity, robustness, and flexibility make them attractive for more than just pure data dissemination alone. In particular, gossiping has been applied to data aggregation, overlay maintenance, and resource allocation. Gossiping applications more or less fit the same framework, with often subtle differences in algorithmic details determining divergent emergent behavior. This divergence is often difficult to understand, as formal models have yet to be developed that can capture the full design space of gossiping solutions. In this paper, we present a brief introduction to the field of gossiping in distributed systems, by providing a simple framework and using that framework to describe solutions for various application domains.