Statistical Software Properties: Definition, Inference and Monitoring

Software properties define how software systems should operate. Specifying correct properties, however, can be difficult and expensive as it requires deep knowledge of the system\u27s expected behavior and the environment in which it operates. Automated analysis techniques to infer properties from code or code executions can mitigate that cost, but are still unable to go beyond state properties and the simplest patterns of temporal properties. This limitation renders properties that sacrifice fault detection power. To address this problem, we introduce a new type of software properties called \textit{statistical properties}, which characterize significant statistical relationships among the values of variables across program states. We define an approach to infer these relationships automatically and support their monitoring while controlling the trade-offs between overhead and the precision and recall of the inferred properties. We perform several experiments to assess the approach in the context of distributed robotics applications. Our findings indicate that the inferred statistical properties can be use to generate precise and cost-effective models capable of detecting faults in software systems while keeping the number of false positives close to zero and previous knowledge of the software system design and behavior unnecessary. Adviser: Sebastian Elbau

Statistical Software Properties: Definition, Inference and Monitoring

Software properties define how software systems should operate. Specifying correct properties, however, can be difficult and expensive as it requires deep knowledge of the system\u27s expected behavior and the environment in which it operates. Automated analysis techniques to infer properties from code or code executions can mitigate that cost, but are still unable to go beyond state properties and the simplest patterns of temporal properties. This limitation renders properties that sacrifice fault detection power. To address this problem, we introduce a new type of software properties called \textit{statistical properties}, which characterize significant statistical relationships among the values of variables across program states. We define an approach to infer these relationships automatically and support their monitoring while controlling the trade-offs between overhead and the precision and recall of the inferred properties. We perform several experiments to assess the approach in the context of distributed robotics applications. Our findings indicate that the inferred statistical properties can be use to generate precise and cost-effective models capable of detecting faults in software systems while keeping the number of false positives close to zero and previous knowledge of the software system design and behavior unnecessary. Adviser: Sebastian Elbau

Apresentação:desafios para 2021 na Educação

Presentation.Presentación.Apresentação

Bacterial Transformations

This report is a review of the literature on bacterial transformations. First, this paper discusses the historical development; and discoveries from the time of Griffith in 1928 up through the years until 1963. Then examples of the known transformation reactions are given, followed by a discussion of competence. Also included is a chapter on the mechanism of transformation. All this leads to a final chapter on significance, which shows why research on transformation is important today.Natural Scienc

Janelas ao corpo extenso magia e pintura

Esta série de trabalhos se deu na montagem de quatro Janelas de Conexão, obras baseadas em altares de fé compostas de um busto de papel, de velas, pedras, água, flores, ervas e ferramentas magísticas (copos, panelas, jóias, tecidos, entre outras) e sua seguinte representação em pinturas de aquarela. O trabalho acompanha a força do festival japonês Hina-matsuri, o Festival de Bonecas ou Dia das Meninas, que acontece no dia 3 de março, buscando formas de representar energias elementares da natureza e de específicos aspectos da humanidade. É em memória da mãe amada Rosina Pereira e um agradecimento à Deusa e a estudantes do sagrado

A Netflix e a educação em rede "pelo" e "sobre" espaço

A popularização da internet no mundo transformou a maneira como consumimos informações, entretenimento e, consequentemente, como somos educados por meio de pedagogias culturais. Neste contexto, os serviços de streaming, ganharam espaço e a Netflix se destaca como a empresa com maior número de assinantes e conteúdo, no mundo. Assim, problematizamos os modos como ela interfere na educação de sujeitos, estabelecendo relações entre o cinema e o espaço. Argumentamos que a Netflix educa populações por meio do modo como se configura enquanto rede geográfica e das espacialidades que emergem por meio do Soft Power