Igual consideração e respeito, independência ética e liberdade de expressão em Dworkin : uma reconciliação entre igualdade e liberdade e a possibilidade do discurso do ódio em um ordenamento coerente de princípios

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Direito, Pós-Graduação Stricto Sensu em Direito, 2016.

Natureza e arte. Leituras de Píndaro

Dissertação de dout. em Literatura (Literatura e Cultura Clássicas), Faculdade de Ciências Humanas e Sociais, Univ. do Algarve, 2005

Improvements in Hardware Transactional Memory for GPU Architectures

In the multi-core CPU world, transactional memory (TM)has emerged as an alternative to lock-based programming for thread synchronization. Recent research proposes the use of TM in GPU architectures, where a high number of computing threads, organized in SIMT fashion, requires an effective synchronization method. In contrast to CPUs, GPUs offer two memory spaces: global memory and local memory. The local memory space serves as a shared scratch-pad for a subset of the computing threads, and it is used by programmers to speed-up their applications thanks to its low latency. Prior work from the authors proposed a lightweight hardware TM (HTM) support based in the local memory, modifying the SIMT execution model and adding a conflict detection mechanism. An efficient implementation of these features is key in order to provide an effective synchronization mechanism at the local memory level. After a quick description of the main features of our HTM design for GPU local memory, in this work we gather together a number of proposals designed with the aim of improving those mechanisms with high impact on performance. Firstly, the SIMT execution model is modified to increase the parallelism of the application when transactions must be serialized in order to make forward progress. Secondly, the conflict detection mechanism is optimized depending on application characteristics, such us the read/write sets, the probability of conflict between transactions and the existence of read-only transactions. As these features can be present in hardware simultaneously, it is a task of the compiler and runtime to determine which ones are more important for a given application. This work includes a discussion on the analysis to be done in order to choose the best configuration solution.

Energy Efficiency of Software Transactional Memory in a Heterogeneous Architecture

Hardware vendors make an important effort creating low-power CPUs that keep battery duration and durability above acceptable levels. In order to achieve this goal and provide good performance-energy for a wide variety of applications, ARM designed the big.LITTLE architecture. This heterogeneous multi-core architecture features two different types of cores: big cores oriented to performance and little cores, slower and aimed to save energy consumption. As all the cores have access to the same memory, multi-threaded applications must resort to some mutual exclusion mechanism to coordinate the access to shared data by the concurrent threads. Transactional Memory (TM) represents an optimistic approach for shared-memory synchronization. To take full advantage of the features offered by software TM, but also benefit from the characteristics of the heterogeneous big.LITTLE architectures, our focus is to propose TM solutions that take into account the power/performance requirements of the application and what it is offered by the architecture. In order to understand the current state-of-the-art and obtain useful information for future power-aware software TM solutions, we have performed an analysis of a popular TM library running on top of an ARM big.LITTLE processor. Experiments show, in general, better scalability for the LITTLE cores for most of the applications except for one, which requires the computing performance that the big cores offer.

Sistema inteligente para apoio à decisão na operação de uma malha de escoamento de petróleo

The petroleum production pipeline networks are inherently complex, usually decentralized systems. Strict operational constraints are applied in order to prevent serious problems like environmental disasters or production losses. This paper describes an intelligent system to support decisions in the operation of these networks, proposing a staggering for the pumps of transfer stations that compose them. The intelligent system is formed by blocks which interconnect to process the information and generate the suggestions to the operator. The main block of the system uses fuzzy logic to provide a control based on rules, which incorporate knowledge from experts. Tests performed in the simulation environment provided good results, indicating the applicability of the system in a real oil production environment. The use of the stagger proposed by the system allows a prioritization of the transfer in the network and a flow programming

Methods for Modeling and Analyzing Concurrent Software

Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concurrent software systems at design and code levels. This dissertation consists of several related results. First, a formal model of Mondex, an electronic purse system, is built using Petri nets from user requirements, which is formally verified using model checking. Second, Petri nets models are automatically mined from the event traces generated from scientific workflows. Third, partial order models are automatically extracted from some instrumented concurrent program execution, and potential atomicity violation bugs are automatically verified based on the partial order models using model checking. Our formal specification and verification of Mondex have contributed to the world wide effort in developing a verified software repository. Our method to mine Petri net models automatically from provenance offers a new approach to build scientific workflows. Our dynamic prediction tool, named McPatom, can predict several known bugs in real world systems including one that evades several other existing tools. McPatom is efficient and scalable as it takes advantage of the nature of atomicity violations and considers only a pair of threads and accesses to a single shared variable at one time. However, predictive tools need to consider the tradeoffs between precision and coverage. Based on McPatom, this dissertation presents two methods for improving the coverage and precision of atomicity violation predictions: 1) a post-prediction analysis method to increase coverage while ensuring precision; 2) a follow-up replaying method to further increase coverage. Both methods are implemented in a completely automatic tool.

Clustering of tau-immunoreactive pathology in chronic traumatic encephalopathy

Chronic traumatic encephalopathy (CTE) is a neurodegenerative disorder which may result from repetitive brain injury. A variety of tau-immunoreactive pathologies are present, including neurofibrillary tangles (NFT), neuropil threads (NT), dot-like grains (DLG), astrocytic tangles (AT), and occasional neuritic plaques (NP). In tauopathies, cellular inclusions in the cortex are clustered within specific laminae, the clusters being regularly distributed parallel to the pia mater. To determine whether a similar spatial pattern is present in CTE, clustering of the tau-immunoreactive pathology was studied in the cortex, hippocampus, and dentate gyrus in 11 cases of CTE and 7 cases of Alzheimer’s disease neuropathologic change (ADNC) without CTE. In CTE: (1) all aspects of tau-immunoreactive pathology were clustered and the clusters were frequently regularly distributed parallel to the tissue boundary, (2) clustering was similar in two CTE cases with minimal co-pathology compared with cases with associated ADNC or TDP-43 proteinopathy, (3) in a proportion of cortical gyri, estimated cluster size was similar to that of cell columns of the cortico-cortical pathways, and (4) clusters of the tau-immunoreactive pathology were infrequently spatially correlated with blood vessels. The NFT and NP in ADNC without CTE were less frequently randomly or uniformly distributed and more frequently in defined clusters than in CTE. Hence, the spatial pattern of the tau-immunoreactive pathology observed in CTE is typical of the tauopathies but with some distinct differences compared to ADNC alone. The spread of pathogenic tau along anatomical pathways could be a factor in the pathogenesis of the disease.

Infants, interfaces, and intermediation: digital parenting and the production of 'iPad baby' videos on YouTube

We investigate the ways young children’s use of mobile touchscreen interfaces is both understood and shaped by parents through the production of YouTube videos and discussions in associated comment threads. This analysis expands on, and departs from, theories of parental mediation, which have traditionally been framed through a media effects approach in analyzing how parents regulate their children’s use of broadcast media, such as television, within family life. We move beyond the limitations of an effects framing through more culturally and materially oriented theoretical lenses of mediation, considering the role mobile interfaces now play in the lives of infants through analysis of the ways parents intermediate between domestic spaces and networked publics. We propose the concept of intermediation, which builds on insights from critical interface studies as well as cultural industries literature to help account for these expanded aspects of digital parenting. Here, parents are not simply moderating children’s media use within the home, but instead operating as an intermediary in contributing to online representations and discourses of children’s digital culture. This intermediary role of parents engages with ideological tensions in locating notions of “naturalness:” the iPad’s gestural interface or the child’s digital dexterity.

Principles of knowledge organization: analysis and structures in the networked environment

Knowledge organization in the networked environment is guided by standards. Standards in knowledge organization are built on principles. For example, NISO Z39.19-1993 Guide to the Construction of Monolingual Thesauri (now undergoing revision) and NISO Z39.85- 2001 Dublin Core Metadata Element Set are two standards used in many implementations. Both of these standards were crafted with knowledge organization principles in mind. Therefore it is standards work guided by knowledge organization principles which can affect design of information services and technologies. This poster outlines five threads of thought that inform knowledge organization principles in the networked environment. An understanding of each of these five threads informs system evaluation. The evaluation of knowledge organization systems should be tightly linked to a rigorous understanding of the principles of construction. Thus some foundational evaluation questions grow from an understanding of stan dard s and pr inciples: on what pr inciples is this know ledge organization system built? How well does this implementation meet the ideal conceptualization of those principles? How does this tool compare to others built on the same principles?

Aplicação da análise multivariada na caracterização das empresas de caprinos da raça Serpentina

O trabalho pretende analisar as características das empresas e produtores de caprinos da raça Serpentina e as razões para a continuidade desta atividade, com base num inquérito realizado em 2014. Recorreu-se ao Escalonamento Ótimo (Optimal Scaling em inglês) englobado no SPSS e à seleção de variáveis observadas (package subselect do programa estatístico R) para caracterizar as explorações.

Francisco Pizarro' s banner of arms: an analytical work contributing to latin America's history

The study of textiles is an open area of scientific research, which for its variety of material components and physical chemical diversity of conditions, makes a field of interest for scientific studies in the cultural heritage field. Archaeological/historical textiles offer the possibility to carry out studies on organic materials such as fibers, adhesion elements, dyes, paper, etc., as well as on inorganic compounds for instance metals, alloys, precious stones and other added ornamentation. That variety of composition, allow to use a combination of analytical techniques to solve the questions coming from the object in an archaeometric research. One kind of textile object that provides a valuable cultural information because of its linguistic representation employed by its carrier societies, are the flags/banners/emblems, objects made with a nonverbal communication purpose. As long as depending on the use and/or purpose of each object, varies both the materials/techniques used in its production and its iconography (style, color, emblem, shape), its study gives the possibility to extract information through their materials and manufacturing techniques about a temporal-spatial frame, a particular event or a specific character. The flags/banners have been used since the eleventh century as representative objects of power, hierarchy, social or military organization, or as communicative media. The use of these objects has been spread throughout the world, possibly due to its easy interpretation and/or appropriation by different societies, making it part of their own culture. The flags as symbols of territorial control, using emblems that represent a family, order or army, were introduced to the New World (America) with the arrival of the European conquerors at the end of the fifteenth century. Flags/banners representing the Royal dominion over conquered territories, the Catholic Church and conquistadors’ armies were the first to arrive. One of those flags that have endured over time, that have an invaluable cultural meaning for both American and Iberian societies, is the so-called Francisco Pizarro’s Banner of Arms. It is a textile object with metal threads decoration over a Royal emblem. According to historical sources, this object was used by Francisco Pizarro in 1532 on the conquest process of Peru, after received the permission by King Charles V to on behalf of him, to conquer the lands of the New World today known as Peru. After Pizarro’s control of the Inca territory, it is believed that Pizarro left his banner on top of the Inca’s Sun’s Temple as symbol of his rule. Centuries later, in the America libertarian campaigns, General Sucre, military at charge of the independence army in Peru, reports have found what he considered the Pizarro’s Banner, sending it to Bogotá as a symbol of victory, being kept since that time until today by the National Museum of Colombia. Due to historical discrepancies in the different movements of the so-called Pizarro’s Banner of Arms, its real meaning has been under discussion and because of the passage of time its physical condition has suffer deterioration. That is because its scientific study is now an interesting case study to respond to both historical and conservation questions of it. Through a collaboration with the National Museum of Colombia, a set of 25 samples of so-called Pizarro’s Banner of Arms were collected, covering the various components and areas from the object of study. These samples were subjected to analytical studies for physical and chemical characterization. Microscopic observation, VSEM-EDS analysis, Raman spectroscopy, chromatographic analysis (HPLC-MS, GCMS) and radiocarbon dating were done. Similarly, was sought through a direct in situ physical inspection to the object and through a research into historical sources, adequate information to solve the object’s problems. Results obtained allowed to identify as silk the textile used in the elaboration of the Banner’s fabric, as well as the use of natural dyes for dyeing the fibers used on the emblem: use of cochineal and brazil wood as a source of red, luteolin plant-based for yellow color, indigotine plant-based for blue, and a mixture of yellow and blue dyes for green were identified. Similarly, the use of animal glue in the manufacturing process and the use of rag paper was evident. The metal threads study from the Banner give a confirmation to a silver core wire gilded with a thin gold sheet, being flattened and entwined with silk threads for their use. Finally, using the radiocarbon results, it was possible to postulate with huge accuracy that the Banner date manufacture was between the XV-XVI century and subject to restoration processes with addition of textiles in modern times. Together with, was evident that the state of degradation of the fabric is due to natural degradation in the silk fibers, having that its color has faded and its mechanical properties decreased, leading to loss of rigidity and disappearance of the physical structure. Similarly, it was clear the original colors of the emblem and highlight problems of detachment of paper due to crystallization of the adhesive. In the same way, was found that the metal threads suffer corrosion by sulfur and detachment of its crystals. Finally, combining the analytical results and the historical sources data found from the so-called Francisco Pizarro’s Banner of Arms, allows to postulate that its manufacture process was done in Europe employing precious materials to obtain a long-life object with a deep message for its viewers. Also, the data obtained helps to support the possible idea that the object was employed by Francisco Pizarro in the Peru conquest process. However, by the symbols present in the object, its elaboration date and materials, this object its clearly unique in its kind, and the most important, by its linguistic message, does not represent to Francisco Pizarro or his army, meanwhile, represents the Spanish crown. Therefore, instead to be labeled as Francisco Pizarro’s Banner of Arms, it should be called the Colonial Royal Banner of Charles V in the New World; RESUMEN: El estudio de textiles es un área abierta de investigación científica, la cual por su variedad de componentes materiales y la diversidad de condiciones físico-químicas presentes en estos objetos, lo hace un campo de interés para estudios científicos en el patrimonio cultural. Los textiles arqueológicos/históricos brindan la posibilidad de realizar estudios en materiales orgánicos como fibras, elementos de adhesión, tinturas, papel, etc., e inorgánicos como metales, aleaciones, piedras preciosas y demás materiales decorativos añadidos. Por su variedad de composición, es posible emplear diversas técnicas analíticas para resolver aquellas preguntas propias del objeto en una investigación arqueométrica. Uno de los objetos textiles que brinda gran información cultural debido a su representación lingüística empleada por las sociedades portadoras, son las banderas/estandartes/emblemas. Donde varía dependiendo de su uso y/o propósito, los materiales empleados en su elaboración, al igual que su iconografía (estilo, color, emblema, forma). El estudio de estos objetos construidos con un propósito de comunicación no verbal, da la posibilidad de extraer información a través de sus materiales y técnicas de elaboración sobre un rango temporal-espacial, un evento determinado en la historia o incluso a un personaje en específico. Las banderas han sido empleadas desde el siglo XI como objetos representativos de poder, jerarquía, organización social o militar, o como medio de comunicación. El uso de estos objetos se ha extendido a lo largo del mundo posiblemente debido a su fácil interpretación y/o apropiación por distintas sociedades, haciéndolo parte de su cultura. Las banderas como símbolos de control territorial, empleando símbolos que representan a una familia, orden o armada fueron introducidas a el Nuevo Mundo (América) con la llegada de los conquistadores europeos al final del siglo XV. Las banderas/estandartes que representaban el dominio Real sobre territorios dominados, la iglesia católica y las banderas de ejércitos y/o conquistadores fueron las primeras en llegar al nuevo mundo. Una de aquellas banderas que ha soportado el paso del tiempo, teniendo un gran valor cultural tanto para las sociedades americanas como para las ibéricas, es el denominado Estandarte de armas de Francisco Pizarro. Siendo un objeto textil con decoración en hilos metálicos sobre un emblema Real. De acuerdo a fuentes históricas, este objeto fue usado por Francisco Pizarro en 1532 en el proceso de conquista del Perú, quien recibe por parte del Rey Carlos V el poder para que, en su nombre, Pizarro pueda conquistar las tierras del nuevo mundo hoy conocidas como Perú. Luego del dominio de Pizarro sobre el territorio Inca, se cree que Pizarro dejó su estandarte en la cima del templo Inca del sol como símbolo de su control. Siglos más tarde, en las campañas libertarias de América, el General Sucre, militar encargado de la armada independentista en Perú, reporta haber encontrado lo que él considera como el estandarte de Pizarro, enviándolo a Bogotá como muestra de victoria, siendo custodiada desde ese momento por el Museo Nacional de Colombia hasta la actualidad. Debido a discrepancias históricas, el verdadero significado del llamado estandarte de Pizarro ha sido objeto de discusión y debido del pasar del tiempo su estado de conservación se ha deteriorado. Dejando de este modo, un caso de estudio interesante para que por medio de estudios científicos al objeto se pueda dar respuesta a preguntas tanto históricas como de conservación del mismo. De este modo, por medio de una colaboración con el Museo Nacional de Colombia, se obtuvo un juego de 25 muestras del llamado Estandarte de armas de Francisco Pizarro, abarcando los diferentes componentes y áreas del objeto de estudio. Dichas muestras fueron sometidas a estudios analíticos para su caracterización físico-química. Análisis de observación al microscopio, análisis VSEM-EDS, espectroscopia Raman, análisis cromatográficos (HPLC-MS, GC-MS) y datación por radiocarbono catorce fueron realizados. Del mismo modo, por medio de una inspección física al objeto in situ y una profunda investigación en fuentes históricas del mismo, se buscó la información adecuada para resolver sus problemáticas. Los resultados obtenidos permitieron identificar como seda el textil empleado en la elaboración del estandarte, así como el uso de colorantes naturales para teñir las fibras en el emblema: uso de cochinilla y palo de Brasil como fuente del color rojo, plantas a base de luteolin para el color amarillo, plantas a base de indigotina para el color azul y mezcla de colorantes amarillos y azules para el color verde fueron identificadas. Del mismo modo se evidencio el uso de adhesivos animales y el uso de papel de trapos en el proceso de manufactura. El estudio de los hilos metálicos, permitió evidenciar el uso de alambres con núcleos de plata con un fino recubrimiento de oro en su exterior, siendo aplanados y entrelazados con hilos de seda para su uso. Finalmente usando la datación por radiocarbono, fue posible conocer con alta precisión que el estandarte fue elaborado entre los siglos XV-XVI y sufrió procesos de restauración con añadidura de textiles en tiempos modernos. Junto a lo anterior, es posible postular que el estado de degradación de la tela es debido a degradación natural en las fibras de seda, teniendo así que su color se ha desvanecido y sus propiedades mecánicas disminuidas, conllevando a perdida de rigidez y desaparición de la estructura. Del mismo modo se pudo conocer los colores originales del emblema y evidenciar problemas de desprendimiento del papel debido a cristalización del adhesivo. Asimismo, se comprobó que los hilos metálicos presentan corrosión por azufre y desprendimiento de sus cristales. Finalmente, combinando los resultados analíticos y la información de fuentes históricas encontradas del llamado Estandarte de armas de Francisco Pizarro, se puede postular que su elaboración fue realizada en Europa, usando materiales preciosos para obtener un objeto de larga vida con un profundo mensaje para sus observadores. También, los datos obtenidos ayudan a dar soporte la posible idea de que este objeto fue usado por Francisco Pizarro en el proceso de conquista del Perú. Sin embargo, debido a los símbolos presentes en el objeto, fecha y materiales de elaboración, este objeto es claramente único en su tipo, y lo más importante, por su mensaje lingüístico, este no representa a Francisco Pizarro o su armada, al contrario, representa a la Corona de España. Por ende, en vez de denominarse como Estandarte de armas de Francisco Pizarro, este objeto debería nombrarse como el Estandarte Real de la Colonia de Carlos V en el Nuevo Mundo.

Hidrolisado de proteína de soja em meio de cultivo para a produção de agente de controle biológico.

Os produtos de controle biológico devem ser produzidos com custo competitivo em relação aos sintéticos para que seu uso se torne generalizado. A fermentação é uma das etapas mais caras para o escalonamento da produção por causa do valor dos ingredientes dos meios de cultura. Neste trabalho, Pichia kudriavzevii L9, um agente de controle de podridão pós-colheita de frutas, foi utilizada como modelo para a avaliação de hidrolisado de proteína de soja como fonte de nitrogênio em meio de cultura líquido. Foram testadas cinco concentrações de proteína de soja (50 L-1 a 250 g L-1) em solução aquosa contendo concentrações de H2SO4 de 0 a 1,0 N, tratadas em autoclave a 121 ºC e 1,0 atm de pressão. Após o resfriamento, o produto obtido foi alcalinizado com KOH até atingir o pH de 6,0 ? 7,0. Nas condições do experimento, a melhor condição para a hidrólise do proteinato de soja e obtenção de maior concentração de aminoácidos no meio, foi de 200 g L-1 de proteinato em solução de HCl 0,5 N, produzindo 32,1 g L-1 de aminoácido livre, quantificado pelo método da ninhidrina. O hidrolisado foi utilizado para o crescimento de P. kudriavzevii L9, obtendo-se a maior produtividade de células viáveis de levedura com a adição de 2% do hidrolisado obtido no meio de cultura, na faixa entre 0,2 a 0,5 N de HCL.