Flow updating: fault-tolerant aggregation for dynamic networks

Documento submetido para revisão pelos pares. A publicar em Journal of Parallel and Distributed Computing. ISSN 0743-7315

Epidemic store for massive scale systems

The MAP-i doctoral program of the Universities of Minho, Aveiro and Porto

Monitoring energy consumption in android applications

Dissertação de Mestrado em Engenharia Informática

Spectrum-based energy leak localization

Dissertação de Mestrado em Engenharia Informática

Ensaios sobre a responsabilidade social corporativa e sua divulgação no setor portuário

Tese de Doutoramento em Contabilidade

A comunicação do compromisso para com o desenvolvimento sustentável, das organizações portuguesas certificadas em qualidade, ambiente e segurança

Dissertação de mestrado em Engenharia Industrial (área de especialização em Qualidade, Segurança e Manutenção)

[Letter to the editor] Sustained effects of a neural-based intervention in a refractory case of Tourette syndrome

There are only a few treatments available for Tourette syndrome (TS). These treatments frequently do notwork in patients with moderate to severe TS [1]. Neuroimaging studies show a correlation between tics severity and increased activation over motor pathways, along with reduced activation over the control areas of the cortico-striato-thalamo-cortical circuits [2]. Moreover, the temporal pattern of tic generation suggests that cortical activation especially in the SMA precedes subcortical activation [3]. Following this assumption, here we explored the brain effects of 10-daily sessions of cathodal transcranial Direct Current Stimulation (tDCS) delivered over the pre-SMA in a patient with refractory and severe TS and also assessed whether those changes were long lasting (up to 6 months).

Mineralizações associadas a shear zone networking na vertente oriental da Serra de Arga (Minho, Portugal)

Dissertação de mestrado em Ordenamento e Valorização de Recursos Geológicos

Aplicação móvel android de apoio a gestão de empréstimos e reservas das bibliotecas da Universidade do Minho

Dissertação de mestrado integrado em Engenharia de Telecomunicações e Informática

Divulgação de informação sobre o governo das sociedades em Portugal: Extensão e determinantes

Tese de Doutoramento em Contabilidade

Avaliação quantitativa da geodiversidade: desenvolvimento de instrumentos metodológicos com aplicação ao ordenamento do território

Tese de Doutoramento em Ciências (Especialidade de Geologia)

A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.

Contabilidade e relato dos intangíveis: Análise das empresas cotadas na BM&FBOVESPA

O presente trabalho de investigação avalia a situação atual relativa à adoção do disposto na IAS 38 e suas consequências no reconhecimento, mensuração e divulgação obrigatória, e à divulgação voluntária, interna e externa, dos intangíveis nas empresas brasileiras cotadas na BM&FBOVESPA. Adotando a perspectiva positivista e uma abordagem quantitativa, foi utilizado o inquérito por questionário como método de recolha de dados. O questionário foi elaborado de raiz, suportado pelo arcabouço teórico. Os resultados são interpretados à luz dos argumentos da teoria dos stakeholders e da teoria institucional, que revelaram um bom potencial explicativo para o fenômeno em análise. Com a adoção das IAS/IFRS para elaboração dos balanços consolidados de empresas cotadas e não cotadas, o Brasil passa a utilizar a IAS 38, para o registro das operações envolvendo os ativos intangíveis, obrigatoriamente no exercício de 2010. A adoção deste normativo se deu essencialmente por pressões legais. No entanto, as empresas que adotaram a IAS 38 de forma voluntária validaram as razões apresentadas na literatura. Constatou-se que existe concordância quanto à nova forma de contabilização dos intangíveis prevista, sendo o grau de satisfação relativamente ao tratamento contábil dos ativos intangíveis de acordo com o novo modelo contábil adotado no Brasil (IAS 38 e CPC 04) elevado. Como principais dificuldades no reconhecimento contábil dos ativos intangíveis segundo o normativo em vigor, foram confirmados os problemas evidenciados na literatura, tais como incerteza quanto aos benefícios econômicos futuros e falta de medida com confiabilidade suficiente para o registro das transações. As empresas brasileiras acreditam ser importante que haja uma expansão da divulgação sobre intangíveis, no entanto a divulgação interna e externa está ainda em fase embrionária, não sendo uma prática generalizada. Contudo, os objetivos apresentados na literatura para a divulgação interna e externa de informações sobre intangíveis encontram suporte empírico no estudo desenvolvido. No que diz respeito aos stakeholders, conclui-se que as empresas brasileiras têm grande preocupação em atendê-los quando se trata de divulgação voluntária sobre intangíveis, entendendo que todos eles poderão beneficiar com estas informações.

O Espelho do Índio: A estética da afetividade no autorretrato da criança indígena na Fotopintura

Tese de Doutoramento em Estudos da Criança - Especialidade Comunicação Visual e Expressão Plástica

A carta do presidente e o relato voluntário do capital intelectual: análise das empresas do segmento do novo mercado da BM&FBOVESPA

Dissertação de mestrado em Contabilidade