Android as a cloud ticket validator

Trabalho Final de Mestrado para a obtenção do grau de Mestre em Engenharia Informática e de Computadores

A checkpointing-enabled and resource-aware Java Virtual Machine for efficient and robust e-Science applications in grid environments

Object-oriented programming languages presently are the dominant paradigm of application development (e. g., Java,. NET). Lately, increasingly more Java applications have long (or very long) execution times and manipulate large amounts of data/information, gaining relevance in fields related with e-Science (with Grid and Cloud computing). Significant examples include Chemistry, Computational Biology and Bio-informatics, with many available Java-based APIs (e. g., Neobio). Often, when the execution of such an application is terminated abruptly because of a failure (regardless of the cause being a hardware of software fault, lack of available resources, etc.), all of its work already performed is simply lost, and when the application is later re-initiated, it has to restart all its work from scratch, wasting resources and time, while also being prone to another failure and may delay its completion with no deadline guarantees. Our proposed solution to address these issues is through incorporating mechanisms for checkpointing and migration in a JVM. These make applications more robust and flexible by being able to move to other nodes, without any intervention from the programmer. This article provides a solution to Java applications with long execution times, by extending a JVM (Jikes research virtual machine) with such mechanisms. Copyright (C) 2011 John Wiley & Sons, Ltd.

Hélices e Espirais em Micro e Nanofibras Celulósicas

A celulose é o polímero renovável mais abundante do mundo. É conhecido pela sua excelente biocompatibilidade, propriedades térmicas e mecânicas. A celulose assim como os polipéptideos e o ADN, pertence a uma família de moléculas orgânicas que dão origem à formação de fases líquidas cristalinas (LCs) colestéricas. A Passiflora Edulis, tal como outras plantas trepadeiras, possui longas e flexíveis gavinhas que permitem à planta encontrar um suporte para se fixar. As gavinhas podem assumir a forma de espirais ou de hélices consoante sejam sustentadas por apenas uma ou por ambas as extremidades. As hélices apresentam muitas vezes duas porções helicoidais, uma esquerda e outra direita, separadas por um segmento recto denominado perversão. Este comportamento é consequência da curvatura intrínseca das gavinhas produzidas pela planta trepadeira. O mesmo comportamento pode ser observado em micro e nanofibras celulósicas fabricadas a partir de soluções líquido-cristalinas, numa escala três a quatro ordens de grandeza inferior à das gavinhas. Este facto sugere que o modelo físico utilizado tenha invariância de escala. Neste trabalho é feito o estudo de fibras e jactos que imitam as estruturas helicoidais apresentadas pelas gavinhas das plantas trepadeiras. As fibras e jactos são produzidos a partir de soluções líquidas cristalinas celulósicas. De modo a determinar as características morfológicas e estruturais, que contribuem para a curvatura das fibras, foram utilizadas técnicas de imagem por ressonância magnética (MRI), microscopia óptica com luz polarisada (MOP), microscopia electrónica de varrimento (SEM) e microscopia de força atómica (AFM) . A variação da forma das estruturas helicoidais com a temperatura parece ser relevante para o fabrico de membranas não tecidas para aplicação em sensores termo-mecânicos.

Simulação de plataformas para dispositivos móveis: infraestrutura de simulação sensorial para android

Projeto para obtenção do grau de Mestre em Engenharia Informática e de Computadores

A resource for signs and Feynman diagrams of the standart model

When performing a full calculation within the standard model (SM) or its extensions, it is crucial that one utilizes a consistent set of signs for the gauge couplings and gauge fields. Unfortunately, the literature is plagued with differing signs and notations. We present all SM Feynman rules, including ghosts, in a convention-independent notation, and we table the conventions in close to 40 books and reviews.