The work while producing activity of values of use occupies a central place in the Marx´s thought. According to this philosophical chain, the work is the ontological and that it establishes category of the world of the men, therefore, is through the work that it happens the transformation of the nature in indispensable values to the material reproduction of the society, being, therefore, the perpetual natural condition of the life human being . However, in the continuation of the historical process, the perpetual condition of the existence human being assumes diverse forms. In this direction, this master´s thesis has as objective to verify, in accordance with the marxist theory, the process of evolution of the category work, specifically, in the capitalist production. For in such a way, it is looked to understand how it happens the extration of the productive excess, its evolution and improvement by means of the diverse forms of submission of the work to the capital - since the initial forms of production of merchandises until the systems contemporaries of extration of surplus-value. From now on it is demonstrated that, although the productive transformations in course, the work is the fundante category of the social being. The conclusion is that in the capitalism, the forms changes, but the content remains the same, it wants to say, the production and the accomplishment of surplus-value. / Fundação de Amparo a Pesquisa do Estado de Alagoas / O trabalho enquanto atividade produtora de valores de uso ocupa um lugar central no pensamento marxiano. Segundo essa corrente filosófica, o trabalho é a categoria ontológico-fundante do mundo dos homens, pois é através do trabalho que se dá a transformação da natureza em valores de uso indispensáveis à reprodução material da sociedade, sendo, portanto, a condição natural eterna da vida humana . Contudo, no decurso do processo histórico, a eterna condição da existência humana assume diversas formas. Nesse sentido, esta dissertação tem como objetivo verificar, à luz da teoria marxista, o processo de evolução da categoria trabalho, especificamente, na produção capitalista. Para tanto, procura-se compreender como se deu a extração do excedente produtivo, sua evolução e aprimoramento mediante as diversas formas de subsunção do trabalho ao capital desde as formas iniciais de produção de mercadorias até os sistemas contemporâneos de extração de mais-valia. A partir de então demonstra-se que, malgrado as transformações produtivas em curso, o trabalho é a categoria fundante do ser social. Conclui-se que no capitalismo as formas se modificam, mas o conteúdo permanece o mesmo, ou seja, a produção e a realização de mais-valia.

Considerando todos os avanços tecnológicos pelos quais a fonografia passou desde sua invenção, em 1877, por que persistem registros sonoros de baixa definição? Para enfrentarmos essa questão, propomos encarar o lo-fi como um objeto comunicacional, de modo a compreender, a partir de sua linguagem, como ele modeliza a música pop. O lo-fi é reconhecido em senso comum pelo uso de equipamentos de áudio e instrumentos musicais deteriorados, obsoletos ou sucateados. Nesta tese, problematizamos essa noção. Logo de saída, desprendemos o lo-fi do determinismo tecnológico, passando ele a significar outras práticas, linguagens, políticas, estéticas e discursos. Para compreender esse panorama, evitamos uma construção linear ou mesmo histórica. Ao invés disso, mapeamos diversos agenciamentos de baixa definição simultâneos que se processam ao longo da história, circunscrevendo como objeto empírico canções registradas fonograficamente e que promovem algum tipo de desterritorialização do regime de signos institucionalizado pelo mainstream, o que nos leva ao seguinte objetivo geral: compreender o lo-fi como uma virtualidade que age na comunicação fonográfica, isto é, como uma máquina abstrata que não só se diferencia de si própria, mas também produz diferença na música pop. Para dar conta desse objetivo geral, desenvolvemos os seguintes objetivos específicos: (1) evidenciar a presença dos suportes fonográficos, instrumentos musicais e demais aparelhos tecnológicos na paisagem sonora das canções lo-fi; (2) mapear e sintetizar os diferentes sistemas culturais que, postos em relação, edificam a semiosfera de onde o lo-fi emerge como um novo sistema; (3) mapear os territórios de significação agenciados pelas imagens sonoras de baixa definição em canções lo-fi; (4) analisar a capacidade dessas imagens sonoras de promover agenciamentos de baixa definição na música pop; (5) descrever o diagrama da máquina abstrata lo-fi, seus modos de funcionamento e de modelização da música pop. Organizamos as análises em platôs, que percorrem diferentes linhas de variação contínua de significação efetuadas pelos agenciamentos de baixa definição. Ao final, descrevemos os modos de funcionamento da máquina abstrata lo-fi. Ao longo do estudo, também revisitamos e refletimos sobre teorias relacionadas ao assunto, como ecologia acústica, materialidades da comunicação, arqueologia da mídia, afecto, semiótica e a filosofia da diferença de Gilles Deleuze e Félix Guattari. Como resultado, esperamos contribuir para as teorias da comunicação com reflexões referentes às noções de fidelidade, resolução, ruído, percepção sonora e, em especial, para a constituição de um modelo comunicacional micropolítico, reconhecido nos processos de diferenciação de nosso objeto de estudo. A baixa definição, defendemos, manifesta-se entre estados regulares da música pop, desestabilizando seus ritmos regulares, forçando seu núcleo a modificar sua estratégia para lidar com a diferença. Imagens sonoras lo-fi são institucionalizadas pela música pop, mas isso acaba por gerar outras imagens sonoras potenciais. A baixa definição segue, assim, resistindo aos regimes de signos impostos pelos movimentos hegemônicos da música pop, sempre propondo arrebatamentos e estabelecendo modos de comunicar imprecisos, distorcidos, violentos. / Considering every technological advance phonographic recording has achieved since its invention in 1877, how come low definition sound recordings still exist (and persist)? To face such question, we treat lo-fi as a communicational object, in order to comprehend, from its language, how it models pop music. Lo-fi is recognized by common sense as the use of either scraped, obsolete, or spoiled audio and/or music equipments. In the present dissertation, we question and problematize such notion. From the start, lo-fi is set loose of its technological determinism, so it can be understood as different practices, languages, politics, aesthetics and discourses. To comprehend such a perspective, we avoid linear or historical approaches. Instead, several simultaneous low definition agencements processed throughout history are mapped, where we look for recorded songs that promote some kind of deterritorialization of the regime of signs institutionalized by the mainstream, which leads us to the following general objective: to comprehend lo-fi as a virtuality that acts on phonographic communication, that is, as an abstract machine that not only differs from itself, but also produces differentiation in pop music as well. To unravel this general objective, we established the following specific objectives: (1) to point out the presence of phonographic supports, musical instruments and other technological devices in the soundscape of lo-fi songs; (2) to map and to synthesize the different cultural systems that, when put in relation to each other, build a semiosphere from where lo-fi emerges as a new system of its own; (3) to map the territories of signification produced by agencements of low definition sound images; (4) to analyze the capacity of such sound images in promoting low definition agencements in pop music; (5) to describe the diagram of lo-fi’s abstract machine, its operating modes and pop music modelizations. The analyses are organized in plateaus that roam different lines of continuous meaning variations elicited by low definition agencements. At the end, we describe the modes of operation of the lo-fi abstract machine. Throughout the research, we also revisit and speculate about theories regarding the subject: acoustic ecology, materialities of communication, media archaeology, affect, semiotics and Deleuze and Guattari’s philosophy of difference. As a result, we expect to contribute to the theories of communication, specially concerning the notions of fidelity, resolution, noise, sound perception and, last but not least, to contribute to the construction of a micro-political communication model, recognized in the processes of differentiation of our object of research. As we advocate, low definition manifests itself between pop music’s regular states, destabilizing its regular rhythms, forcing its core to modify its strategy to deal with the difference. However, pop music institutionalizes lo-fi sound images, but that movement ends up generating other potential lo-fi sound images in the lo-fi system. Therefore, low definition follows, resisting to the regimes of signs imposed by pop music’s hegemonic movements, developing new ways of ravishments and establishing fuzzy, distorted, violent, inaccurate modes of communication.

We have written an optimising compiler for a typeless, imperative, modular programming language. The optimiser, which works on a 3-address intermediate representation generated from the source program, uses some novel techniques described in this thesis. The techniques are universally applicable, although some are particularly useful in typeless compilation. We present a new register allocation and assignment scheme. Unlike traditional "colouring" allocators, our method separates the problem into distinct allocation and assignment phases. The former is achieved by using an iterative process to extend a local (within basic blocks) allocation method to the global (across basic blocks) domain. This obviates the need for a sophisticated assignment algorithm; we show how to use simple heuristics to assign registers after allocation. We also present a simple method for identifying loops in a program's intermediate representation and assigning loop nesting levels. Unlike traditional methods, this does not rely on the concept of flowgraph dominators, and is able to deal sensibly with irreducible flowgraphs and "unstructured" loops that interlock or partially overlap. The major part of the thesis concerns value range analysis. Based on the theoretical framework of abstract interpretation, we describe an analysis of the intermediate code that predicts safe approximations to the run-time value ranges of variables and memory used by the program being compiled. To be useful in compiling a typeless language, this analysis must be able to handle values of different kinds (integers, pointers, function addresses, etc.) We show how we can subsume some traditional optimisation techniques, such as constant propagation, into more powerful methods that take advantage of value range information to optimise a wider variety of cases. We also show how this information can be used to recover most of the benefits of types, without sacrificing the flexibility of typelessness. Besides the above, value range analysis allows a number of optimisations that were heretofore impossible. Many of these are improvements to register allocation; we investigate better treatments for variables that can be accessed by address. We also describe a method of removing memory accesses by allowing variables that are simultaneously live to share registers, and suggest a similar scheme for values stored in memory. Finally, we show how the results of value range analysis can be shared across different program modules and different compiler runs. The method used is powerful enough to be useful, but simple enough to integrate with old code that cannot be recompiled. Inter-modular optimisation can be transparent to the user, improving the results of value range analysis within a module without altering its functionality; or it can be visible, optimising modules with respect to each other.

SILVA JÚNIOR, José Valdo Barros. O fetichismo: para uma crítica radical do trabalho abstrato-concreto. Investigações sobre a teoria do valor de Marx. 2010. 150f. – Dissertação (Mestrado) – Universidade Federal do Ceará, Programa de Pós-graduação em Filosofia, Fortaleza (CE), 2010. / Submitted by Márcia Araújo (marcia_m_bezerra@yahoo.com.br) on 2013-11-07T16:23:12Z No. of bitstreams: 1 2010-DIS-JVBSJUNIOR.pdf: 596944 bytes, checksum: e1df4ff7328c607e6fd1731c1d20364c (MD5) / Approved for entry into archive by Márcia Araújo(marcia_m_bezerra@yahoo.com.br) on 2013-11-07T17:41:47Z (GMT) No. of bitstreams: 1 2010-DIS-JVBSJUNIOR.pdf: 596944 bytes, checksum: e1df4ff7328c607e6fd1731c1d20364c (MD5) / Made available in DSpace on 2013-11-07T17:41:47Z (GMT). No. of bitstreams: 1 2010-DIS-JVBSJUNIOR.pdf: 596944 bytes, checksum: e1df4ff7328c607e6fd1731c1d20364c (MD5) Previous issue date: 2010 / The aim of this dissertation is to strike a radical critique at abstract-concrete labor as a fetishist principle that constitutes the modern commodity-producing society. All this from the point of view of Karl Marx’s theory of value. Firstly, it scrutinizes the structure of commodity as a concrete social unit that carries inherently a double determination, which means it is both a use-value and a value. The twofold nature of commodity is derived from the twofold nature of labor, while at same time abstract and concrete. There is an antagonistic relation both within the commodity and the labor, however, the value is imposed on the use-value of destructive form. On the other hand, the abstract-labor is imposed also on its destructively way, which is named the concrete-labor. This antagonism is characterized by a negative logic, which tends to generate increasing unsustainable contradictions. The core of these contradictions lies the fact that the whole commodity-producing social reality of modernity is based on a real social abstraction: the value-being. This being is originally constituted by the abstract-labor as social substance. Secondly, it determines that the negative logic which permeates the structure of commodity has a fetish-like character. This character becomes the socially produced objects by abstract-concrete labor in things at same time sensible and supersensible. The fetish-like character of commodities is derived from the twofold nature of labor that produced them. The fetishism is an absurd social mechanism that engenders the reality of society as if it was dominated by autonomous things, which have anonymous powers against individuals themselves who produced them. The social mechanism of fetishization of reality is formed by habit of social relations of production. This habit makes the commodities to appear having a property of value-being as something natural. But this property is merely socially constituted by labor. The strongly consolidation of this mechanism occurs because it is characterized by three dimensions: an objective (reality), a subjective (thoughts) and an intersubjective dimension. The unity of these three dimensions constitutes the commodity-producing modern society as a negative totality, since it is determined by a priori matrix that characterizes fetishistically to the act, speaks and fells of all its members through an impersonal power. Thirdly, it investigates the historical and logical horizon in which the abstract-concrete labor is limited: merely the commodity-producing modern system. This limitation will be complemented with the Marx’s theory of final crisis of capitalism. This theory turns out to characterize the labor as a historically determined category and so it belongs only to commodity-producing modern system. It is not therefore an ontological principle that determines the man’s essence as a social being founded by and through labor, nor a transhistorical principle belonging to all forms of sociability. Finally, it concludes according to contend, form and matter of the commodity-producing modern society that history is the history of fetishists relations and not the history of class struggles. / O objetivo desta dissertação é desferir uma crítica radical ao trabalho abstrato-concreto enquanto princípio fetichista constitutivo da moderna sociedade produtora de mercadorias, a partir da teoria do valor de Karl Marx. Em primeiro lugar, perscrutar-se-á a estrutura da mercadoria enquanto unidade social concreta portadora intrinsecamente de uma dupla determinação, isto é, sendo ao mesmo tempo um valor de uso e um valor. A dualidade da mercadoria se deriva da dualidade do trabalho, enquanto ao mesmo tempo abstrato e concreto. Há uma relação antagônica tanto no interior da mercadoria quanto no do trabalho, visto que, por um lado, o valor se impõe destrutivamente sobre o valor de uso e, por outro, o trabalho abstrato se impõe destrutivamente sobre o seu outro, a saber, o trabalho concreto. Esta relação antagônica é marcada, pois, por uma lógica negativa, cuja tendência é gerar contradições cada vez mais insustentáveis. O cerne dessas contradições consiste no fato de toda a realidade social produtora de mercadorias da modernidade está fundada em uma abstração social real: o ser-valor. Este ser é constituído originariamente pelo trabalho abstrato enquanto substância social. Em segundo lugar, determinar-se-á que a lógica negativa que perpassa a estrutura da mercadoria possui um caráter fetichista. Este caráter torna os objetos produzidos socialmente pelo trabalho abstrato-concreto em coisas ao mesmo tempo sensíveis e suprassensíveis. O cunho fetichista das mercadorias se deriva da própria natureza dual do trabalho que as produz. O fetichismo da mercadoria consiste em um mecanismo social absurdo de engendrar a realidade da sociedade como se fosse dominada por coisas autônomas, as quais possuem poderes anônimos frente aos próprios indivíduos que as produziram. O mecanismo de fetichização social da realidade se configura e se objetiva de tal forma pelo hábito das relações sociais de produção que a mercadoria parece possuir a propriedade do ser-valor como sendo algo natural e não socialmente constituído pelo trabalho. A consolidação férrea desse mecanismo se dá porque ele é caracterizado por uma tripla dimensão: uma objetiva (realidade), uma subjetiva (pensamento) e uma intersubjetiva (linguagem). A unidade destas três dimensões constitui a moderna sociedade produtora de mercadorias como uma totalidade negativa, determinada por uma matrix a priori que condiciona fetichistamente o agir, o pensar, o falar, o sentir etc. de todos os seus integrantes através de um poder impessoal. Em um terceiro momento, investigar-se-á qual o horizonte histórico e lógico no qual o trabalho abstrato-concreto está circunscrito, a saber, tão-somente ao moderno sistema produtor de mercadorias. Tal limitação do horizonte histórico e lógico do trabalho será complementada com a teoria da crise final do sistema capitalista. Essa teoria acaba por caracterizar o trabalho como uma categoria historicamente determinada e pertencente tão-só ao moderno sistema produtor de mercadorias, não sendo, pois, um princípio ontológico determinador da essência do homem enquanto ser social fundado no e pelo trabalho, nem um princípio transhistórico pertencente a todas as formas de sociabilidade. Por fim, concluir-se-á, a partir dos aspectos do conteúdo, forma e matéria que constituem a sociedade moderna produtora de mercadorias, com a determinação do conceito de história como história das relações fetichistas e não como história das lutas de classe.

O uso de novos recursos de display e interação para suportar a visualização imersiva de dados e incrementar o raciocínio analítico é uma tendência de pesquisa em Visualização de Informações. Neste trabalho, avaliamos o uso de ambientes baseados em HMD para a exploração de dados multidimensionais, representados em scatterplots 3D como resultado de redução de dimensionalidade. Nós apresentamos uma nova modelagem para o problema de avaliação neste contexto, levando em conta os dois fatores cuja interação determina o impacto no desempenho total nas tarefas: a diferença nos erros introduzidos ao se realizar redução de dimensionalidade para 2D ou 3D, e a diferença nos erros de percepção humana sob diferentes condições de visualização. Este framework em duas etapas oferece uma abordagem simples para estimar os benefícios de se utilizar um setup 3D imersivo para um dado conjunto de dados. Como caso de uso, os erros de redução de dimensionalidade para uma série de conjuntos de dados de votações na Câmara dos Deputados, ao se utilizar duas ou três dimensões, são avaliados por meio de uma abordagem empírica baseada em tarefas. O erro de percepção e o desempenho geral de tarefa, por sua vez, são avaliados através de estudos controlados comparativos com usuários. Comparando-se visualizações baseadas em desktop (2D e 3D) e em HMD (3D), resultados iniciais indicaram que os erros de percepção foram baixos e similares em todas abordagens, resultando em benefícios para o desempenho geral em ambas técnicas 3D A condição imersiva, no entanto, demonstrou requerer menor esforço para encontrar as informações e menos navegação, além de prover percepções subjetivas de precisão e engajamento muito maiores. Todavia, o uso de navegação por voo livre resultou em tempos ineficientes e frequente desconforto nos usuários. Em um segundo momento, implementamos e avaliamos uma abordagem alternativa de exploração de dados, onde o usuário permanece sentado e mudanças no ponto de vista só são possíveis por meio de movimentos físicos. Toda a manipulação é realizada diretamente por gestos aéreos naturais, com os dados sendo renderizados ao alcance dos braços. A reprodução virtual de uma cópia exata da mesa de trabalho do analista visa aumentar a imersão e possibilitar a interação tangível com controles e informações bidimensionais associadas. Um segundo estudo com usuários foi conduzido em comparação a uma versão equivalente baseada em desktop, explorando um conjunto de 9 tarefas representativas de percepção e interação, baseadas em literatura prévia. Nós demonstramos que o nosso protótipo, chamado VirtualDesk, apresentou resultados excelentes em relação a conforto e imersão, e desempenho equivalente ou superior em todas tarefas analíticas, enquanto adicionando pouco ou nenhum tempo extra e ampliando a exploração dos dados. / The use of novel displays and interaction resources to support immersive data visualization and improve the analytical reasoning is a research trend in Information Visualization. In this work, we evaluate the use of HMD-based environments for the exploration of multidimensional data, represented in 3D scatterplots as a result of dimensionality reduction. We present a new modelling for the evaluation problem in such a context, accounting for the two factors whose interplay determine the impact on the overall task performance: the difference in errors introduced by performing dimensionality reduction to 2D or 3D, and the difference in human perception errors under different visualization conditions. This two-step framework offers a simple approach to estimate the benefits of using an immersive 3D setup for a particular dataset. As use case, the dimensionality reduction errors for a series of roll calls datasets when using two or three dimensions are evaluated through an empirical task-based approach. The perception error and overall task performance are assessed through controlled comparative user studies. When comparing desktop-based (2D and 3D) with an HMD-based (3D) visualization, initial results indicated that perception errors were low and similar in all approaches, resulting in overall performance benefits in both 3D techniques. The immersive condition, however, was found to require less effort to find information and less navigation, besides providing much larger subjective perception of accuracy and engagement. Nonetheless, the use of flying navigation resulted in inefficient times and frequent user discomfort In a second moment, we implemented and evaluated an alternative data exploration approach where the user remains seated and viewpoint change is only realisable through physical movements. All manipulation is done directly by natural mid-air gestures, with the data being rendered at arm’s reach. The virtual reproduction of an exact copy of the analyst’s desk aims to increase immersion and enable tangible interaction with controls and two dimensional associated information. A second user study was carried out comparing this scenario to a desktop-based equivalent, exploring a set of 9 representative perception and interaction tasks based on previous literature. We demonstrate that our prototype setup, named VirtualDesk, presents excellent results regarding user comfort and immersion, and performs equally or better in all analytical tasks, while adding minimal or no time overhead and amplifying data exploration.

Made available in DSpace on 2016-06-02T20:25:05Z (GMT). No. of bitstreams: 1 2894.pdf: 713526 bytes, checksum: 17e5518f6ed97779b10661bd323803b8 (MD5) Previous issue date: 2010-02-24 / Mensalão ( big monthly payment a fee out of the law which was paid for some politicians in Brazil): what is the functional argument for this meaning? How had have this expression brought about history, memory and meaning? Motivated by something that mobilized politics and the Brazilian media, we tried to answer this question from a linguistic position which is connected to the Semantics of an Event (GUIMARÃES, 2002), specially about the relation between the theory and the events foretell, a place that brings sense in the language. Thus, the meaning of a designation is prohibited inside the event and in the period of nowadays; on the other hand it mobilizes the originality of the language. The factual, as is presented by Gadet e Pêcheux (2004), on the other hand, induces the fault, the misunderstanding and the misinterpretation which the subjects cannot control; the functional of the language makes to understand the words and the meanings, but they are tensioned by a dispute inside the place they are originated. Therefore, for this work, we picked out sequences of headlines and reports from O Estado de São Paulo Brazilian newspaper, between 22th and 27th August, 2007, which was the period when the mensalão practices were being judged in STF (Brazilian Higher Federal Court), with the main objective is to show how this media identified the neologism between rows and rows. This study will use for the analysis the concepts of argumentation from Ducrot (1973), to whom the language does not inform, but shows the arguments that make us to produce specific conclusions, and of abstract, according to Guimarães (2004, 2005, 2007), in its semantic domain determination. / Mensalão : qual o funcionamento argumentativo que é movimentado por essa designação? Como esse verbete promoveu história, memória e sentido? Motivados por algo que mobilizou a política e a mídia brasileiras, procuramos responder a essas questões a partir de uma posição linguística que está filiada à Semântica do Acontecimento (GUIMARÃES, 2002), especialmente na relação com o tratamento que essa teoria dá à noção de acontecimento enunciativo, espaço de constituição dos sentidos na língua. Nessa medida, o significado de uma designação é produzido no acontecimento e na temporalidade que lhe é própria e que, por sua vez, mobiliza o real da língua. O real, conforme o apresentam Gadet e Pêcheux (2004), por sua vez, movimenta a falha, o equívoco e os deslizes de interpretação sobre os quais os sujeitos não têm controle; esse funcionamento de língua supõe também que os dizeres e os sentidos produzidos nos espaços de enunciação são tensionados pelo litígio. Assim, recortamos, para este trabalho, sequências de manchetes e textos de reportagens do jornal `O Estado de São Paulo΄, no período de 22 de agosto de 2007 a 27 de agosto de 2007, caracterizando os dias em que a prática do "mensalão" esteve sob julgamento no STF, com o objetivo de mostrar como esse veículo midiático identificou o neologismo em suas linhas e entrelinhas. Esse estudo deslocará como dispositivos de análise os conceitos de argumentação de Ducrot (1981), para quem a língua não informa, mas apresenta argumentos que fazem produzir determinadas conclusões, e de condensação, conforme Guimarães (2004, 2005, 2007) em seu domínio semântico de determinação.

L’analyse statique de programmes est un domaine crucial en compilation, en optimisation, et en validation de logiciels. Les structures de données complexes (tableaux, listes, graphes...), omniprésentes dans les programmes, posent des problèmes difficiles, du fait qu’elles représentent des ensembles de données de taille importante ou inconnue, et que l’adressage des données dans ces ensembles est calculé (indexation, indirection). La plupart des travaux sur l’analyse des structures de données concernent la vérification de la correction des accès aux données (vérification que les indices d’un tableau sont dans les bornes, que les pointeurs ne sont pas nuls, “shape analysis”). L’analyse du contenu des structures de données est encore peu abordée. A Verimag, ce domaine a été abordé récemment, et a donné lieu à de premiers résultats sur l’analyse de tableaux unidimensionnels. Une méthode d’analyse de programmes simples a été proposée [1], qui permet de découvrir des propriétés des contenus de tableaux, comme par exemple que le résultat d’un programme de tri est bien un tableau trié. Un autre type de propriétés, dites “non positionnelles” a aussi été considéré [2], qui concerne le contenu global d’un tableau, indépendamment de son rangement: par exemple, on montre que le résultat d’un tri est une permutation du tableau initial. Ces premiers résultats sont très encourageants, mais encore embryonnaires. L’objectif du travail de thèse proposé est de les étendre dans plusieurs directions. Notre analyse de propriétés positionnelles est capable de découvrir des relations point- à-point entre des “tranches” de tableaux (ensembles de cellules consécutives). Les extensions envisagées concernent les tableaux multidimensionnels, les ensembles de cellules non nécessairement consécutives, et les structures de données plus générales. Concernant les propriétés non positionnelles, les premiers résultats sont limités aux égalités de contenus de tableaux. Ils doivent être étendus à des relations plus complexes (inclusions, sommes disjointes...) et à d’autres structures de données. Ce travail prend place dans le projet ASOPT (“Analyse statique et optimisation”), accepté dans le programme Arpège de l’ANR en 2008. Références : [1] N. Halbwachs, M. Péron. Discovering properties about arrays in simple programs. ACM Conference on Programming Language Design and Implementation, PLDI 2008. Tucson (Az.), juin 2008. [2] V. Perrelle. Analyse statique du contenu de tableaux, propriétés non positionnelles. Rapport de M2R, Master Parisien de Recherche en Informatique, septembre 2008. / Static analysis is key area in compilation, optimization and software validation. The complex data structures (arrays, dynamic lists, graphs...) are ubiquitous in programs, and can be challenging, because they can be large or of unbounded size and accesses are computed. (through indexing or indirections). Whereas the verification of the validity of the array accesses was one of the initial motivations of abstract interpretation, the discovery of properties about array contents was only adressed recently. Most of the analyses of array contents are based on a partitioning of the arrays. Then, they try to discover properties about each fragment of this partition. The choice of this partition is a difficult problem and each method have its flaw. Moreover, classical representations of array partitions induce an exponential complexity for these analyzes. In this thesis, we generalize the concept of array partitioning into the concept of "fragmentation" which allow overlapping fragments, handling potentially empty fragments and selecting specialized relations. On the other hand, we propose an abstraction of these fragmentations in terms of graphs called "slices diagrams" as well as the operations to manipulate them and ensuring a polynomial complexity. Finally, we propose a new criterion to compute a semantic fragmentation inspired by the existing ones which attempt to correct their flaws. These methods have been implemented in a static analyzer. Experimentations shows that the analyzer can efficiently and precisly prove some challenging exemples in the field of static analysis of programs manipulating arrays.

Submitted by Maike Costa (maiksebas@gmail.com) on 2016-01-12T11:58:18Z No. of bitstreams: 1 arquivototal.pdf: 1896910 bytes, checksum: 9089e981b9d273adb36849fb1e5dc288 (MD5) / Made available in DSpace on 2016-01-12T11:58:18Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1896910 bytes, checksum: 9089e981b9d273adb36849fb1e5dc288 (MD5) Previous issue date: 2016-02-26 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / The present study is guided by the Language Argument Theory (LAT), postulated by Jean-Claude Anscombre/Oswald Ducrot (1994) and Ducrot (1987, 1988). More specifically, in the standard version, the third stage, “The language as a constituent of meaning” and also in the Topoi Theory. The central thesis of this theory concerns that in the own language structure there are elements that present argumentative values, and, because of this, they have the responsibility for enabling or not the continuity of the discourse. Therefore, these elements, named by the authors of argumentative semantics as argumentative operators, have the function for orienting the statements to particular and possible conclusions. Also postulated by Ducrot, subsidizes our research the Polyphonic Theory of Enunciation, that aims to question the principle of the speaking subject uniqueness. For the Ducrotian Polyphonic Theory, it is through the presence of some linguistic elements, in the discourses, that the enunciators are put on the scene. In addition to the LAT studies, we present, briefly, some principles about the studies of discursive modalization, considering the relevance of the modalizers elements on the speaker behavior in the face of enunciators, in some cases, during our analysis. Thus, authors like Castilho and Castilho (1993), Cervoni (1989), Neves (2010), Nascimento (2005, 2012), among others, will be present in our theoretical framework about these studies. Based on the Argument Theory in language and the phenomenon of the discursive modalization, our objective, in this research, is to realize an analysis and a description of the semantic-argumentative functioning of contrapositive operators in the academic abstract genre, from a linguistic-discursive perspective. The methodology used in this study is descriptive and quanti-qualitative, since we will be attentive not only to the functioning of these operators, but also to the quantity of times that the referred elements occur. The corpus, here in analysis, is constituted by 300 academic abstracts published in annals and magazines with scientific-academic character. The results indicate a predominance of the use of contrapositive operators with the masPA function, to the detriment of operators with function masSN. Furthermore, it is pertinent to punctuate that this research expands what is proposed by Ducrot (1988), about the possibilities of the speaker positioning in the face of enunciators – this author points only to the rebound, approval and identification – once we found the existence of two species of rebound: total and partial. Still in relation to the analysis, we identify the important presence of topos and information shared in the abstracts, activated, or not, by the contrapositive operators, what demonstrates that, beyond establishing relations between the terms, in the sense of functioning as cohesive elements, these operators, in the academic abstract genre, are used as argumentative strategy, because they guide the statements to particular conclusions and materialize, in the own statements, many points of view and beliefs that can be contested, or not, by the interlocutor. / O presente estudo é norteado pela Teoria da Argumentação na Língua (TAL), postulada por Jean-Claude Anscombre/Oswald Ducrot (1994) e Ducrot (1987, 1988). Mais especificamente, na versão standard, terceira etapa, “A língua como constituinte de significação” e ainda na Teoria dos Topoi. A tese central dessa teoria diz respeito ao fato de que na própria estrutura da língua há elementos que apresentam valores argumentativos e, por isso, têm a responsabilidade de possibilitar ou não a continuidade do discurso. Logo, esses elementos, denominados pelos autores da semântica argumentativa como operadores argumentativos, possuem a função de orientar os enunciados para determinadas e possíveis conclusões. Também postulada por Ducrot, subsidia nossa pesquisa a Teoria Polifônica da Enunciação, que objetiva questionar o princípio da unicidade do sujeito falante. Para a Teoria Polifônica ducrotiana, é por meio da presença de alguns elementos linguísticos, nos discursos, que os enunciadores são postos em cena. Além dos estudos da TAL, apresentamos, brevemente, alguns princípios sobre os estudos da modalização discursiva, tendo em vista a relevância dos elementos modalizadores no comportamento do locutor frente aos enunciadores, em alguns casos, durante nossas análises. Logo, figurarão no nosso quadro teórico sobre esses estudos autores como Castilho e Castilho (1993), Cervoni (1989), Neves (2010), Nascimento (2005, 2012), dentre outros. Lançando mão dos estudos da Teoria da Argumentação na Língua e sobre o fenômeno da modalização discursiva, constitui objetivo nosso, nesta pesquisa, realizar uma análise e descrição do funcionamento semântico-argumentativo dos operadores de contraposição no gênero resumo acadêmico, a partir de uma perspectiva linguístico-discursiva. A metodologia empregada nesta pesquisa é de natureza descritiva e quanti-qualitativa, visto que estaremos atentos não apenas ao funcionamento desses operadores, mas também à quantidade de ocorrência dos referidos elementos. O corpus, aqui em análise, é constituído por 300 resumos acadêmicos publicados em anais e revistas de caráter científico-acadêmico. Os resultados indicam para uma predominância do uso dos operadores de contraposição com função masPA, em detrimento dos operadores com função masSN. Além desse fato, é pertinente pontuar que esta pesquisa amplia o que é proposto por Ducrot (1988), quando das possibilidades de posicionamento do locutor frente aos enunciadores - este autor aponta apenas para o rechaço, a aprovação e a identificação – uma vez que constatamos a existência de duas espécies de rechaço: total e parcial. Ainda no tocante às análises, identificamos a presença marcante de topos e informação compartilhada nos resumos, acionada, ou não, pelos operadores de contraposição, o que demonstra que, além de estabelecerem relações entre os termos, no sentido de funcionarem como elementos coesivos, esses operadores, no gênero resumo acadêmico, são utilizados como estratégia argumentativa, pois orientam os enunciados para determinadas conclusões e materializam, nos próprios enunciados, vários pontos de vista e crenças que podem ser contestadas, ou não, pelo interlocutor.

O uso de novos recursos de display e interação para suportar a visualização imersiva de dados e incrementar o raciocínio analítico é uma tendência de pesquisa em Visualização de Informações. Neste trabalho, avaliamos o uso de ambientes baseados em HMD para a exploração de dados multidimensionais, representados em scatterplots 3D como resultado de redução de dimensionalidade. Nós apresentamos uma nova modelagem para o problema de avaliação neste contexto, levando em conta os dois fatores cuja interação determina o impacto no desempenho total nas tarefas: a diferença nos erros introduzidos ao se realizar redução de dimensionalidade para 2D ou 3D, e a diferença nos erros de percepção humana sob diferentes condições de visualização. Este framework em duas etapas oferece uma abordagem simples para estimar os benefícios de se utilizar um setup 3D imersivo para um dado conjunto de dados. Como caso de uso, os erros de redução de dimensionalidade para uma série de conjuntos de dados de votações na Câmara dos Deputados, ao se utilizar duas ou três dimensões, são avaliados por meio de uma abordagem empírica baseada em tarefas. O erro de percepção e o desempenho geral de tarefa, por sua vez, são avaliados através de estudos controlados comparativos com usuários. Comparando-se visualizações baseadas em desktop (2D e 3D) e em HMD (3D), resultados iniciais indicaram que os erros de percepção foram baixos e similares em todas abordagens, resultando em benefícios para o desempenho geral em ambas técnicas 3D A condição imersiva, no entanto, demonstrou requerer menor esforço para encontrar as informações e menos navegação, além de prover percepções subjetivas de precisão e engajamento muito maiores. Todavia, o uso de navegação por voo livre resultou em tempos ineficientes e frequente desconforto nos usuários. Em um segundo momento, implementamos e avaliamos uma abordagem alternativa de exploração de dados, onde o usuário permanece sentado e mudanças no ponto de vista só são possíveis por meio de movimentos físicos. Toda a manipulação é realizada diretamente por gestos aéreos naturais, com os dados sendo renderizados ao alcance dos braços. A reprodução virtual de uma cópia exata da mesa de trabalho do analista visa aumentar a imersão e possibilitar a interação tangível com controles e informações bidimensionais associadas. Um segundo estudo com usuários foi conduzido em comparação a uma versão equivalente baseada em desktop, explorando um conjunto de 9 tarefas representativas de percepção e interação, baseadas em literatura prévia. Nós demonstramos que o nosso protótipo, chamado VirtualDesk, apresentou resultados excelentes em relação a conforto e imersão, e desempenho equivalente ou superior em todas tarefas analíticas, enquanto adicionando pouco ou nenhum tempo extra e ampliando a exploração dos dados. / The use of novel displays and interaction resources to support immersive data visualization and improve the analytical reasoning is a research trend in Information Visualization. In this work, we evaluate the use of HMD-based environments for the exploration of multidimensional data, represented in 3D scatterplots as a result of dimensionality reduction. We present a new modelling for the evaluation problem in such a context, accounting for the two factors whose interplay determine the impact on the overall task performance: the difference in errors introduced by performing dimensionality reduction to 2D or 3D, and the difference in human perception errors under different visualization conditions. This two-step framework offers a simple approach to estimate the benefits of using an immersive 3D setup for a particular dataset. As use case, the dimensionality reduction errors for a series of roll calls datasets when using two or three dimensions are evaluated through an empirical task-based approach. The perception error and overall task performance are assessed through controlled comparative user studies. When comparing desktop-based (2D and 3D) with an HMD-based (3D) visualization, initial results indicated that perception errors were low and similar in all approaches, resulting in overall performance benefits in both 3D techniques. The immersive condition, however, was found to require less effort to find information and less navigation, besides providing much larger subjective perception of accuracy and engagement. Nonetheless, the use of flying navigation resulted in inefficient times and frequent user discomfort In a second moment, we implemented and evaluated an alternative data exploration approach where the user remains seated and viewpoint change is only realisable through physical movements. All manipulation is done directly by natural mid-air gestures, with the data being rendered at arm’s reach. The virtual reproduction of an exact copy of the analyst’s desk aims to increase immersion and enable tangible interaction with controls and two dimensional associated information. A second user study was carried out comparing this scenario to a desktop-based equivalent, exploring a set of 9 representative perception and interaction tasks based on previous literature. We demonstrate that our prototype setup, named VirtualDesk, presents excellent results regarding user comfort and immersion, and performs equally or better in all analytical tasks, while adding minimal or no time overhead and amplifying data exploration.

Considerando todos os avanços tecnológicos pelos quais a fonografia passou desde sua invenção, em 1877, por que persistem registros sonoros de baixa definição? Para enfrentarmos essa questão, propomos encarar o lo-fi como um objeto comunicacional, de modo a compreender, a partir de sua linguagem, como ele modeliza a música pop. O lo-fi é reconhecido em senso comum pelo uso de equipamentos de áudio e instrumentos musicais deteriorados, obsoletos ou sucateados. Nesta tese, problematizamos essa noção. Logo de saída, desprendemos o lo-fi do determinismo tecnológico, passando ele a significar outras práticas, linguagens, políticas, estéticas e discursos. Para compreender esse panorama, evitamos uma construção linear ou mesmo histórica. Ao invés disso, mapeamos diversos agenciamentos de baixa definição simultâneos que se processam ao longo da história, circunscrevendo como objeto empírico canções registradas fonograficamente e que promovem algum tipo de desterritorialização do regime de signos institucionalizado pelo mainstream, o que nos leva ao seguinte objetivo geral: compreender o lo-fi como uma virtualidade que age na comunicação fonográfica, isto é, como uma máquina abstrata que não só se diferencia de si própria, mas também produz diferença na música pop. Para dar conta desse objetivo geral, desenvolvemos os seguintes objetivos específicos: (1) evidenciar a presença dos suportes fonográficos, instrumentos musicais e demais aparelhos tecnológicos na paisagem sonora das canções lo-fi; (2) mapear e sintetizar os diferentes sistemas culturais que, postos em relação, edificam a semiosfera de onde o lo-fi emerge como um novo sistema; (3) mapear os territórios de significação agenciados pelas imagens sonoras de baixa definição em canções lo-fi; (4) analisar a capacidade dessas imagens sonoras de promover agenciamentos de baixa definição na música pop; (5) descrever o diagrama da máquina abstrata lo-fi, seus modos de funcionamento e de modelização da música pop. Organizamos as análises em platôs, que percorrem diferentes linhas de variação contínua de significação efetuadas pelos agenciamentos de baixa definição. Ao final, descrevemos os modos de funcionamento da máquina abstrata lo-fi. Ao longo do estudo, também revisitamos e refletimos sobre teorias relacionadas ao assunto, como ecologia acústica, materialidades da comunicação, arqueologia da mídia, afecto, semiótica e a filosofia da diferença de Gilles Deleuze e Félix Guattari. Como resultado, esperamos contribuir para as teorias da comunicação com reflexões referentes às noções de fidelidade, resolução, ruído, percepção sonora e, em especial, para a constituição de um modelo comunicacional micropolítico, reconhecido nos processos de diferenciação de nosso objeto de estudo. A baixa definição, defendemos, manifesta-se entre estados regulares da música pop, desestabilizando seus ritmos regulares, forçando seu núcleo a modificar sua estratégia para lidar com a diferença. Imagens sonoras lo-fi são institucionalizadas pela música pop, mas isso acaba por gerar outras imagens sonoras potenciais. A baixa definição segue, assim, resistindo aos regimes de signos impostos pelos movimentos hegemônicos da música pop, sempre propondo arrebatamentos e estabelecendo modos de comunicar imprecisos, distorcidos, violentos. / Considering every technological advance phonographic recording has achieved since its invention in 1877, how come low definition sound recordings still exist (and persist)? To face such question, we treat lo-fi as a communicational object, in order to comprehend, from its language, how it models pop music. Lo-fi is recognized by common sense as the use of either scraped, obsolete, or spoiled audio and/or music equipments. In the present dissertation, we question and problematize such notion. From the start, lo-fi is set loose of its technological determinism, so it can be understood as different practices, languages, politics, aesthetics and discourses. To comprehend such a perspective, we avoid linear or historical approaches. Instead, several simultaneous low definition agencements processed throughout history are mapped, where we look for recorded songs that promote some kind of deterritorialization of the regime of signs institutionalized by the mainstream, which leads us to the following general objective: to comprehend lo-fi as a virtuality that acts on phonographic communication, that is, as an abstract machine that not only differs from itself, but also produces differentiation in pop music as well. To unravel this general objective, we established the following specific objectives: (1) to point out the presence of phonographic supports, musical instruments and other technological devices in the soundscape of lo-fi songs; (2) to map and to synthesize the different cultural systems that, when put in relation to each other, build a semiosphere from where lo-fi emerges as a new system of its own; (3) to map the territories of signification produced by agencements of low definition sound images; (4) to analyze the capacity of such sound images in promoting low definition agencements in pop music; (5) to describe the diagram of lo-fi’s abstract machine, its operating modes and pop music modelizations. The analyses are organized in plateaus that roam different lines of continuous meaning variations elicited by low definition agencements. At the end, we describe the modes of operation of the lo-fi abstract machine. Throughout the research, we also revisit and speculate about theories regarding the subject: acoustic ecology, materialities of communication, media archaeology, affect, semiotics and Deleuze and Guattari’s philosophy of difference. As a result, we expect to contribute to the theories of communication, specially concerning the notions of fidelity, resolution, noise, sound perception and, last but not least, to contribute to the construction of a micro-political communication model, recognized in the processes of differentiation of our object of research. As we advocate, low definition manifests itself between pop music’s regular states, destabilizing its regular rhythms, forcing its core to modify its strategy to deal with the difference. However, pop music institutionalizes lo-fi sound images, but that movement ends up generating other potential lo-fi sound images in the lo-fi system. Therefore, low definition follows, resisting to the regimes of signs imposed by pop music’s hegemonic movements, developing new ways of ravishments and establishing fuzzy, distorted, violent, inaccurate modes of communication.