Quantum field theory approach to the optical conductivity of strained and deformed graphene

The computation of the optical conductivity of strained and deformed graphene is discussed within the framework of quantum field theory in curved spaces. The analytical solutions of the Dirac equation in an arbitrary static background geometry for one dimensional periodic deformations are computed, together with the corresponding Dirac propagator. Analytical expressions are given for the optical conductivity of strained and deformed graphene associated with both intra and interbrand transitions. The special case of small deformations is discussed and the result compared to the prediction of the tight-binding model.

Finite integration methods for isospectral flows

In this paper we consider the approximate computation of isospectral flows based on finite integration methods( FIM) with radial basis functions( RBF) interpolation,a new algorithm is developed. Our method ensures the symmetry of the solutions. Numerical experiments demonstrate that the solutions have higher accuracy by our algorithm than by the second order Runge- Kutta( RK2) method.

O setor de distribuição farmacêutica em Portugal estrutura e estratégias

A presente investigação desenvolveu uma análise profunda do setor da distribuição farmacêutica, no período compreendido entre 2000 e 2009, procurando identificar as possíveis relações de interdependência entre o meio envolvente e as opções de estratégia das empresas que constituíram a amostra de estudo e entre as referidas opções de estratégia e as estruturas e o desempenho dessas empresas. A dinâmica do mercado do medicamento na economia nacional, com um valor de 3,2 mil milhões de euros anuais (Infarmed, 2010), apresenta um impacto significativo na esperança de vida e na qualidade de vida dos cidadãos. Segundo a OCDE, os produtos farmacêuticos são responsáveis por quase um quinto de todos os gastos com saúde, em média, nos países da OCDE. Neste contexto, a distribuição farmacêutica representa uma componente crítica. A disponibilização de medicamentos em ambulatório num curto espaço de tempo só é possível devido a uma estrutura logística com características muito específicas. A qualidade do armazenamento e do transporte dos medicamentos desde a saída dos laboratórios até à chegada às farmácias é rigorosamente monitorizada e controlada. O setor da distribuição farmacêutica assume assim uma postura elementar na cadeia do medicamento, contribuindo para a melhoria da qualidade do sistema de saúde que se tem vindo a verificar nas últimas décadas e prestando um serviço com valor para a comunidade, uma vez que se compromete a assegurar um adequado e contínuo fornecimento de medicamentos para que as necessidades dos doentes e das populações em geral sejam satisfeitas. As alterações verificadas ao longo dos últimos anos estimularam a dinâmica concorrencial entre os diferentes agentes neste mercado, bastante regulamentado e com elevado entrosamento financeiro com o Estado, o que obrigou a rápidas mudanças. Neste contexto, a sobrevivência das empresas, o seu crescimento e a sua perenidade futura têm constituído um desafio abordado de forma diversa por cada empresa.

A bio-inspired computational model for motion detection

Tese de Doutoramento (Programa Doutoral em Engenharia Biomédica)

A survey of distributed data aggregation algorithms

Distributed data aggregation is an important task, allowing the de- centralized determination of meaningful global properties, that can then be used to direct the execution of other applications. The resulting val- ues result from the distributed computation of functions like count, sum and average. Some application examples can found to determine the network size, total storage capacity, average load, majorities and many others. In the last decade, many di erent approaches have been pro- posed, with di erent trade-o s in terms of accuracy, reliability, message and time complexity. Due to the considerable amount and variety of ag- gregation algorithms, it can be di cult and time consuming to determine which techniques will be more appropriate to use in speci c settings, jus- tifying the existence of a survey to aid in this task. This work reviews the state of the art on distributed data aggregation algorithms, providing three main contributions. First, it formally de nes the concept of aggrega- tion, characterizing the di erent types of aggregation functions. Second, it succinctly describes the main aggregation techniques, organizing them in a taxonomy. Finally, it provides some guidelines toward the selection and use of the most relevant techniques, summarizing their principal characteristics.

Desenvolvimento de um laboratório pedagógico de vias de comunicação na Universidade do Minho

Dissertação de mestrado integrado em Engenharia Civil

ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data

We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., the third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source — even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland’13), ADSNARK achieves up to 25× improvement in proof-computation time and a 20× reduction in prover storage space.

Requisitos de gestão e técnicos no Laboratório de Análises das Águas do Porto à luz da norma NP EN ISO-IEC 17025

Dissertação de mestrado em Técnicas de Caracterização e Análise Química

Introduction [to Contact force models for multibody dynamics]

"Series: Solid mechanics and its applications, vol. 226"

Integração no laboratório da Lameirinho e controlo aos tecidos acabados

Dissertação de mestrado em Técnicas de Caraterização e Análise Química

Descodificação do De re aedificatoria de Alberti: gramáticas de forma para a análise e geração de edifícios sagrados

Teses de Doutoramento em Arquitectura.