System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities

In this paper a state of the art of a system of automated deduction called SAD is described . An architecture of SAD corresponds well to a modern vision of the Evidence Algorithm programme, initiated by Academician V.Glushkov.

A inovação do AMV: o Anime Music Video e suas relações com a pós-modernidade e a cibercultura

Dissertação apresentada ao Programa de Mestrado em Comunicação da Universidade Municipal de São Caetano do Sul - USCS

O efeito de mecanismos de sistema de apoio a decisão pela web (sad-web) nas decisões de compra online

A crescente adoção da WEB para a realização de transações entre organizações e indivíduos aumenta consideravelmente a quantidade de informações disponíveis para tomada de decisão nas mais variadas circunstâncias. É de se esperar que o uso das tecnologias de auxílio à decisão possam contribuir para facilitar o processo de escolha, particularmente no que diz respeito às escolhas por produtos para consumo. Na busca para usufruir do maior número possível de elementos no processo decisório, indivíduos delegam parte da tarefa de organizar os dados dispersos na WEB a agregadores de informação que estabelecem com eles uma relação de confiança e possibilitam que seja considerada uma quantidade de variáveis muito superior à que eles seriam capazes de fazer isoladamente. Juntado a este fenômeno o conhecimento prévio dos indivíduos com relação a produtos e seus fornecedores, este trabalho propõe, por meio da combinação de dados de registros de navegação e percepção de consumidores, um modelo de explicação dos diversos elementos envolvidos no processo de confiança na decisão de compra com uso de interface interativa disponível pela WEB (SAD-WEB) representada por website de comparação de preços.

New Ventures Brasil (Forum 2008) - Echo music

Echo music, empresa produtora de instrumentos musicais ecologicamente corretos

Interactive music visualization: implementation, realization and evaluation

This thesis describes all process of the development of music visualization, starting with the implementation, followed by realization and then evaluation. The main goal is to have to knowledge of how the audience live performance experience can be enhanced through music visualization. With music visualization is possible to give a better understanding about the music feelings constructing an intensive atmosphere in the live music performance, which enhances the connection between the live music and the audience through visuals. These visuals have to be related to the live music, furthermore has to quickly respond to live music changes and introduce novelty into the visuals. The mapping between music and visuals is the focus of this project, in order to improve the relationship between the live performance and the spectators. The implementation of music visualization is based on the translation of music into graphic visualizations, therefore at the beginning the project was based on the existent works. Later on, it was decided to introduce new ways of conveying music into visuals. Several attempts were made in order to discover the most efficient mapping between music and visualization so people can fully connect with the performance. Throughout this project, those attempts resulted in several music visualizations created for four live music performances, afterwards it was produced an online survey to evaluate those live performances with music visualization. In the end, all conclusions are presented based on the results of the online survey, and also is explained which music elements should be depicted in the visuals, plus how those visuals should respond to the selected music elements.

Processing of hierarchical syntactic strusture in music

Hierarchical structure with nested nonlocal dependencies is a key feature of human language and can be identified theoretically in most pieces of tonal music. However, previous studies have argued against the perception of such structures in music. Here, we show processing of nonlocal dependencies in music. We presented chorales by J. S. Bach and modified versions inwhich the hierarchical structure was rendered irregular whereas the local structure was kept intact. Brain electric responses differed between regular and irregular hierarchical structures, in both musicians and nonmusicians. This finding indicates that, when listening to music, humans apply cognitive processes that are capable of dealing with longdistance dependencies resulting from hierarchically organized syntactic structures. Our results reveal that a brain mechanism fundamental for syntactic processing is engaged during the perception of music, indicating that processing of hierarchical structure with nested nonlocal dependencies is not just a key component of human language, but a multidomain capacity of human cognition.

Modelagem de distorções entre sad 69 e sirgas 2000 pelo método de shepard e grades regulares

Brazil follows the tendency of some countries to update and/or review their fundamental geodetic network. The adoption of geocentric referentials like SIRGAS 2000, the new official reference system of the Geodetic Brazilian System has been an advance. Changes in referential implies in coordinates changes on the network stations as well as the network geometry. To make use of analogical and digital products which are already known in the old referentials are necessary approaches to the coordinate conversion, which minimize the distortions between the used reference frames. This paper presents a distortion modeling approach between reference frames, based on distortion grid generation by using the Shepard's method. To analyze the approach some experiments were performed with the generation of a 1 degrees x1 degrees distortion grid to model the distortions between SAD 69 (1996) and SIRGAS (2000) frames. The results in the test stations were promising, with an average reduction of 50% in the RMS coordinates after the distortions modeling.