Connecting Scientific Data to Scientific Experiments with Provenance

As scientific workflows and the data they operate on, grow in size and complexity, the task of defining how those workflows should execute (which resources to use, where the resources must be in readiness for processing etc.) becomes proportionally more difficult. While "workflow compilers", such as Pegasus, reduce this burden, a further problem arises: since specifying details of execution is now automatic, a workflow's results are harder to interpret, as they are partly due to specifics of execution. By automating steps between the experiment design and its results, we lose the connection between them, hindering interpretation of results. To reconnect the scientific data with the original experiment, we argue that scientists should have access to the full provenance of their data, including not only parameters, inputs and intermediary data, but also the abstract experiment, refined into a concrete execution by the "workflow compiler". In this paper, we describe preliminary work on adapting Pegasus to capture the process of workflow refinement in the PASOA provenance system.

Monitoring and Explanation of Contract Execution: A Case Study in the Aerospace Domain

In the domain of aerospace aftermarkets, which often has long supply chains that feed into the maintenance of aircraft, contracts are used to establish agreements between aircraft operators and maintenance suppliers. However, violations at the bottom of the supply chain (part suppliers) can easily cascade to the top (aircraft operators), making it difficult to determine the source of the violation, and seek to address it. In this context, we have developed a global monitoring architecture that ensures the detection of norm violations and generates explanations for the origin of violations. In this paper, we describe the implementation and deployment of a global monitor in the aerospace domain of [8] and show how it generates explanations for violations within the maintenance supply chain. We show how these explanations can be used not only to detect violations at runtime, but also to uncover potential problems in contracts before their deployment, thus improving them.

DCE: the dynamic conditional execution in a multipath control independent architecture

This thesis presents DCE, or Dynamic Conditional Execution, as an alternative to reduce the cost of mispredicted branches. The basic idea is to fetch all paths produced by a branch that obey certain restrictions regarding complexity and size. As a result, a smaller number of predictions is performed, and therefore, a lesser number of branches are mispredicted. DCE fetches through selected branches avoiding disruptions in the fetch flow when these branches are fetched. Both paths of selected branches are executed but only the correct path commits. In this thesis we propose an architecture to execute multiple paths of selected branches. Branches are selected based on the size and other conditions. Simple and complex branches can be dynamically predicated without requiring a special instruction set nor special compiler optimizations. Furthermore, a technique to reduce part of the overhead generated by the execution of multiple paths is proposed. The performance achieved reaches levels of up to 12% when comparing a Local predictor used in DCE against a Global predictor used in the reference machine. When both machines use a Local predictor, the speedup is increased by an average of 3-3.5%.

O acesso a justiça no estado do Maranhão e a implementação dos recursos do fundo especial para reaparelhamento do judiciário: a visão dos juízes de 1º grau

O direito à assistência está subsidiado pela Constituição Federal de 1988 como um direito fundamental de todos os cidadãos considerados hipossuficientes. Em face dessa gratuidade, direito fundamental, são protegidos e viabilizados outros princípios constitucionais maiores, como a igualdade entre os cidadãos, haja vista a desigualdade social e econômica evidenciadas na sociedade brasileira. Portanto, é imprescindível um instrumento que garanta o acesso à tutela jurisdicional. Através de pesquisa realizada com os magistrados das entrâncias do Estado do Maranhão, todos possuem conhecimento da finalidade do Fundo Especial para Reaparelhamento do Judiciário (FERJ), apenas um pequeno número dos juízes desconhecem o plano de elaboração e execução de programas e projetos para a modernização e o desenvolvimento dos serviços judiciários. Assim, torna-se grande o número de processos acumulados, em face do número insuficiente de juízes, além da burocracia excessiva que dificultam o andamento das ações. Conclui-se que, a reestruturação do Poder Judiciário no Maranhão não trouxe as melhorias esperadas.

Auditoria fiscal na área do imposto de renda pessoa jurídica: proposta de um modelo de programa alternativo para empresas comerciais/industriais tributadas com base no lucro real a alíquota normal de 35%

Este trabalho teve por objetivo elaborar um modelo de programa alternativo capaz de orientar a realização de uma auditoria fiscal na área do imposto de renda pessoa júridica, para empresas comerciais e/ou industriais, tributadas com base no lucro real, à aliquota de 35%. Através de uma pesquisa de campo de natureza exploratória, levantamos dados junto a auditores fiscais, atuantes na área publica e privada. A partir dos dados levantados, dos elementos obtidos na literatura sobre a matéria e da nossa experiência profissional, procedemos à sistematização dos conhecimentos e propusemos o modelo de programa. Posteriormente, submetemos o projeto a teste, narealização de auditorias fiscais, concluindo que a presença desse primeiro e principal papel de trabalho de auditoria era, embora com restrições, útil e necessária à execuçao eficiente das tarefas dos auditores militantes na área, sendo capaz de traçar parâmetros de conduta, padronizar os procedimentos da equipe e colaborar na transmissão dos conhecimentos adquiridos.

A assimetria funcional inter-hemisférica

A temática da assimetria funcional inter-hemisférica e analisada, neste trabalho, através de uma revisão crítica da literatura concernente aos estudos clínicos e experimentais (realizados tanto com pacientes neurológicos quanto com indivíduos normais) que se mostraram mais significativos para a configuração atual deste campo do saber. Inicialmente são analisados os estudos efetuados com pacientes neurológicos lesados unilateralmente, que forneceram as primeiras evidências sobre uma organização assimétrica dos hemisférios cerebrais. Na medida em que tal assimetria refere-se principalmente aos processos cognitivos, focalizou-se esta análise nos estudos mais significativos realizados sobre os quadros de afasias, apraxias, agnosias e amnésias, diretamente relacionados à problemática da assimetria cerebral. Os estudos empregando a técnica de Wada e com pacientes comissurotomizados foram abordados a seguir procurando-se evidenciar o grande avanço que propiciaram nos conhecimentos concernentes à assimetria funcional inter-hemisférica, quer em termos da caracterização funcional de cada hemisfério cerebral (o que acabou por levar a substituição da problemática de dominância cerebral pela de assimetria funcional inter-hemisférica) quer em termos da mobilização de interesse por esta área da pesquisa neuropsicológica. No que concerne aos estudos com indivíduos normais, procurou-se enfatizar a progressão de um enfoque centrado nas caracterizações hemisféricas para um enfoque centrado na análi¬se dos requerimentos cognitivos de uma determinada tarefa, com o objetivo de avaliar a participação relativa dos hemisférios cerebrais nas tarefas complexas. As diferenças individuais quanto ao padrão de lateralização funcional foram particularmente examinadas em relação aos estudos vinculados a variáveis comportamentais facilmente observáveis tais como a preferência manipulatória e sua história familiar, a preferência ocular e o sexo, dando-se ênfase a estudos correlacionais entre aquela primeira variável e a lateralização para a linguagem, que têm tido maior suporte empírico. Os principais modelos emergentes na literatura sobre a atuação conjunta dos hemisférios cerebrais, tentando explicar sua din5mica, foram objeto de um tópico ulterior. Dentre os diversos modelos propostos considerou-se mais consistente o de Dimond e Beaumont (Beaumont, 1974) que propõe uma atuação mais integrada entre os hemisférios cerebrais, embora não se revele totalmente satisfatório. Análises de questões filogenética, ontogenética e referentes aos diferentes processamentos cognitivos requeridos em tarefas complexas foram efetuadas já que constituem grande foco de interesse na literatura atual concernente à assimetria funcional inter-hemisférica.

Reusing values in a dynamic conditional execution architecture

A Execução Condicional Dinâmica (DCE) é uma alternativa para redução dos custos relacionados a desvios previstos incorretamente. A idéia básica é buscar todos os fluxos produzidos por um desvio que obedecem algumas restrições relativas à complexidade e tamanho. Como conseqüência, um número menor de previsões é executado, e assim, um número mais baixo de desvios é incorretamente previsto. Contudo, tal como outras soluções multi-fluxo, o DCE requer uma estrutura de controle mais complexa. Na arquitetura DCE, é observado que várias réplicas da mesma instrução são despachadas para as unidades funcionais, bloqueando recursos que poderiam ser utilizados por outras instruções. Essas réplicas são geradas após o ponto de convergência dos diversos fluxos em execução e são necessárias para garantir a semântica correta entre instruções dependentes de dados. Além disso, o DCE continua produzindo réplicas até que o desvio que gerou os fluxos seja resolvido. Assim, uma seção completa do código pode ser replicado, reduzindo o desempenho. Uma alternativa natural para esse problema é reusar essas seções (ou traços) que são replicadas. O objetivo desse trabalho é analisar e avaliar a efetividade do reuso de valores na arquitetura DCE. Como será apresentado, o princípio do reuso, em diferentes granularidades, pode reduzir efetivamente o problema das réplicas e levar a aumentos de desempenho.

Do controle da legalidade às auditorias operacionais : os Tribunais de Contas e o controle financeiro da administração pública brasileira.

A tendência de ampliação do papel dos Tribunais de Contas no cenário político nacional através dos mecanismos de controle que lhes foram atribuídos pela Constituição Federal de 1988, antes limitada a uma simples verificação da legalidade dos atos dos gestores públicos, sua área de atuação, foi acrescida da capacidade de auditar a qualidade da gestão pública, visando, principalmente a economicidade, eficiência, eficácia e efetividade das políticas implementadas. Neste cenário, a auditoria operacional surge como uma ferramenta importante para que estes órgãos de controle possam exercer a missão de fiscalização dos gestores da res pública, de forma a garantir que estes conduzam a máquina pública sempre utilizando a política pública mais eficiente para a obtenção de resultados que sejam positivos para a sociedade. O objetivo deste trabalho é verificar como os Tribunais de Contas brasileiros estão lidando com a tarefa de fiscalizar as questões relativas à Auditoria Operacional, respondendo a duas perguntas básicas: a) Se as auditorias operacionais realizadas pelas entidades fiscalizadoras têm, efetivamente, contribuído para o alcance dos objetivos das políticas públicas, e; b) Se as técnicas até aqui utilizadas na execução das auditorias operacionais são adequadas para a avaliação dessas políticas. Em relação à primeira questão, concluímos que, da forma com que as auditorias operacionais estão sendo realizadas no Brasil, ainda há uma distância razoável a ser percorrida antes que se possa dizer que sim, devido, principalmente, a falta de uma determinação no sentido de responsabilizar nominalmente os responsáveis pela condução das recomendações expedidas pelos Tribunais de Contas, quando da publicação do acórdão que se origina dos trabalhos de auditoria. Quanto ao segundo questionamento, acreditamos que a realização de auditorias de natureza operacional engloba uma série de fatores que vão desde a dificuldade de se obter dos jurisdicionados indicadores que indiquem claramente quais os objetivos que se procurou atingir com determinada política, até a necessidade dos próprios tribunais de contas de instituírem quadros de pessoal específicos, voltados para esta tarefa.

The consequences of the culture aspect and the power distance in the execution of global strategies in multinational companies in Brazil

One of the challenges presented by the current conjecture in Global Companies is to recognize and understand that the culture and levels in structure of the Power Distance in Organizations in different countries contribute, significantly, toward the failure or success of their strategies. The alignment between the implementation and execution of new strategies for projects intended for the success of the Organization as a whole, rather than as an individual part thereof, is an important step towards reducing the impacts of Power Distance (PDI) on the success of business strategies. A position at odds with this understanding by Companies creates boundaries that increase organizational chasms, also taking into consideration relevant aspects such as, FSAs (Firm-Specific Advantages) and CSAs (Country-Specific Advantages). It is also important that the Organizations based in countries or regions of low Power Distance (PDI) between its individuals be more flexible and prepared to ask and to hear the suggestions from Regional and Local Offices. Thus, the purpose of this study is to highlight the elements of effective strategy implementation considering the relevant aspects at all levels of global corporate culture that justify the influences of power distance when implementing new strategies and also to minimize the impacts of this internal business relationship. This study also recognizes that other corporate and cultural aspects are relevant for the success of business strategies so consider, for instance, the lack of alignment between global and regional/local organizations, the need for competent leadership resources, as well as the challenges that indicate the distance between the hierarchical levels ─ Headquarters and Regional Office ─ as some of the various causes that prevent the successful execution of global strategies. Finally, we show that the execution of the strategy cannot be treated as a construction solely created by the Headquarters or by only one Board and that it needs to be understood as a system aimed at interacting with the surroundings.

Integrating eye tracking in virtual reality for stroke rehabilitation

This thesis reports on research done for the integration of eye tracking technology into virtual reality environments, with the goal of using it in rehabilitation of patients who suffered from stroke. For the last few years, eye tracking has been a focus on medical research, used as an assistive tool  to help people with disabilities interact with new technologies  and as an assessment tool  to track the eye gaze during computer interactions. However, tracking more complex gaze behaviors and relating them to motor deficits in people with disabilities is an area that has not been fully explored, therefore it became the focal point of this research. During the research, two exploratory studies were performed in which eye tracking technology was integrated in the context of a newly created virtual reality task to assess the impact of stroke. Using an eye tracking device and a custom virtual task, the system developed is able to monitor the eye gaze pattern changes over time in patients with stroke, as well as allowing their eye gaze to function as an input for the task. Based on neuroscientific hypotheses of upper limb motor control, the studies aimed at verifying the differences in gaze patterns during the observation and execution of the virtual goal-oriented task in stroke patients (N=10), and also to assess normal gaze behavior in healthy participants (N=20). Results were found consistent and supported the hypotheses formulated, showing that eye gaze could be used as a valid assessment tool on these patients. However, the findings of this first exploratory approach are limited in order to fully understand the effect of stroke on eye gaze behavior. Therefore, a novel model-driven paradigm is proposed to further understand the relation between the neuronal mechanisms underlying goal-oriented actions and eye gaze behavior.

Quantifying epistemic actions in human-computer interaction

As digital systems move away from traditional desktop setups, new interaction paradigms are emerging that better integrate with users’ realworld surroundings, and better support users’ individual needs. While promising, these modern interaction paradigms also present new challenges, such as a lack of paradigm-specific tools to systematically evaluate and fully understand their use. This dissertation tackles this issue by framing empirical studies of three novel digital systems in embodied cognition – an exciting new perspective in cognitive science where the body and its interactions with the physical world take a central role in human cognition. This is achieved by first, focusing the design of all these systems on a contemporary interaction paradigm that emphasizes physical interaction on tangible interaction, a contemporary interaction paradigm; and second, by comprehensively studying user performance in these systems through a set of novel performance metrics grounded on epistemic actions, a relatively well established and studied construct in the literature on embodied cognition. The first system presented in this dissertation is an augmented Four-in-a-row board game. Three different versions of the game were developed, based on three different interaction paradigms (tangible, touch and mouse), and a repeated measures study involving 36 participants measured the occurrence of three simple epistemic actions across these three interfaces. The results highlight the relevance of epistemic actions in such a task and suggest that the different interaction paradigms afford instantiation of these actions in different ways. Additionally, the tangible version of the system supports the most rapid execution of these actions, providing novel quantitative insights into the real benefits of tangible systems. The second system presented in this dissertation is a tangible tabletop scheduling application. Two studies with single and paired users provide several insights into the impact of epistemic actions on the user experience when these are performed outside of a system’s sensing boundaries. These insights are clustered by the form, size and location of ideal interface areas for such offline epistemic actions to occur, as well as how can physical tokens be designed to better support them. Finally, and based on the results obtained to this point, the last study presented in this dissertation directly addresses the lack of empirical tools to formally evaluate tangible interaction. It presents a video-coding framework grounded on a systematic literature review of 78 papers, and evaluates its value as metric through a 60 participant study performed across three different research laboratories. The results highlight the usefulness and power of epistemic actions as a performance metric for tangible systems. In sum, through the use of such novel metrics in each of the three studies presented, this dissertation provides a better understanding of the real impact and benefits of designing and developing systems that feature tangible interaction.

Economic analysis of the intercropping of lettuce and tomato in different seasons under protected cultivation

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)