Petri net model decomposition - a model based approach supporting distributed execution

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica, Especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Proposal for shared services performance management model applied to portugueses public administration

Comunicação apresentada no 8º Congresso Nacional de Administração Pública - Desafios e Soluções, em Carcavelos de 21 a 22 de Novembro de 2011.

Competitiveness of chitosan-based implants

Biomaterials have been extensively developed and applied in medical devices. Among these materials, bioabsorbable polymers have attracted special attention for orthopedic applications where a transient existence of an implant can provide better results, when compared with permanent implants. Chitosan, a natural biopolymer, has generated enormous interest due to its various advantages such as biocompatibility, biodegradability and osteoconductive properties. In this paper, an assessment of the potential of a developed innovative production process of 3D solid and dense chitosan-based products for biomedical applications is performed and presented. Therefore, it starts with a brief explanation of the technology, highlighting its main features. Then, several potential applications and their markets were identified and assessed. After choosing a primary application and market, its potential as well as its uncertainties and risks were identified. A business model suggesting how to materialize the value from the application was sketched. After that, a brief description of the market as well as the identification of the main competitors and their distinctive features was made. The supply chain analysis and the go-to-market strategy were the following steps. In the end, a final recommendation based on the assessment of the information was prepared.

Práticas de contabilidade e controlo de gestão no setor automóvel

Dissertação apresentada para obtenção do Grau de Mestre em Contabilidade e Finanças, sob orientação de: Amélia Ferreira da Silva José António Fernandes Lopes Oliveira Vale

EcoTerra Model - application of environmental fiscal reform in local government financing in Portugal

Critical Issues in Environmental Taxation: International and Comparative Perspectives: Volume VI, 699-715

Preserving the validity of the two-Higgs-doublet model up to the Planck scale

We examine the constraints on the two Higgs doublet model (2HDM) due to the stability of the scalar potential and absence of Landau poles at energy scales below the Planck scale. We employ the most general 2HDM that incorporates an approximately Standard Model (SM) Higgs boson with a flavor aligned Yukawa sector to eliminate potential tree-level Higgs-mediated flavor changing neutral currents. Using basis independent techniques, we exhibit robust regimes of the 2HDM parameter space with a 125 GeV SM-like Higgs boson that is stable and perturbative up to the Planck scale. Implications for the heavy scalar spectrum are exhibited.

Downstream processing development of enveloped viruses for clinical applications: innovative tools for rational process optimization

Dissertation presented to obtain a Ph.D. degree in Engineering and Technology Sciences, Biotechnology at the Instituto de Tecnologia Química e Biológica, Universidade Nova de Lisboa

Flucytosine + fluconazole association in the treatment of a murine experimental model of cryptococcosis

The efficacy of flucytosine (5-FC) and fluconazole (FLU) association in the treatment of a murine experimental model of cryptococcosis, was evaluated. Seven groups of 10 Balb C mice each, were intraperitoneally inoculated with 10(7) cells of Cryptococcus neoformans. Six groups were allocated to receive 5-FC (300 mg/kg) and FLU (16 mg/ kg), either combined and individually, by daily gavage beginning 5 days after the infection, for 2 and 4 weeks. One group received distilled water and was used as control. The evaluation of treatments was based on: survival time; macroscopic examination of brain, lungs, liver and spleen at autopsy; presence of capsulated yeasts in microscopic examination of wet preparations of these organs and cultures of brain homogenate. 5-FC and FLU, individually or combined, significantly prolonged the survival time of the treated animals with respect to the control group (p<0.01). Animals treated for 4 weeks survived significantly longer than those treated for 2 weeks (p<0.01). No significant differences between the animals treated with 5-FC and FLU combined or separately were observed in the survival time and morphological parameters. The association of 5-FC and FLU does not seem to be more effective than 5-FC or FLU alone, in the treatment of this experimental model of cryptococcosis.

The impact of an online mathematics education project (MATACTIVA) on higher education students

The Online Mathematics Education Project (MatActiva) is an exciting new initiative which aims to support and enhance mathematics education. The project is led by the Institute of Accounting and Administration of Porto (ISCAP), part of the Polytechnic Institute of Porto (IPP). It provides innovative resources and carefully constructed materials around themes such as Elementary Mathematics, Calculus, Algebra, Statistics and Financial Mathematics to help support and inspire students and teachers of mathematics. The goal is to increase mathematical understanding, confidence and enjoyment, enrich the mathematical experience of each person, and promote creative and imaginative approaches to mathematics. Furthermore the project can be used to deliver engaging and effective mathematics instruction through the flipped classroom model. This paper also presents the findings of a large survey, whose propose was to study the student’s reaction to the project.

Iberian peninsula ecosystem carbon fluxes: a model-data integration study

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia do Ambiente pela Universidade Nova de Lisboa,Faculdade de Ciências e Tecnologia

Pré-processamento e Tag automático de imagens em ambiente móvel e web, aplicado a um sistema de informação geográfica

No panorama socioeconómico atual, a contenção de despesas e o corte no financiamento de serviços secundários consumidores de recursos conduzem à reformulação de processos e métodos das instituições públicas, que procuram manter a qualidade de vida dos seus cidadãos através de programas que se mostrem mais eficientes e económicos. O crescimento sustentado das tecnologias móveis, em conjunção com o aparecimento de novos paradigmas de interação pessoa-máquina com recurso a sensores e sistemas conscientes do contexto, criaram oportunidades de negócio na área do desenvolvimento de aplicações com vertente cívica para indivíduos e empresas, sensibilizando-os para a disponibilização de serviços orientados ao cidadão. Estas oportunidades de negócio incitaram a equipa do projeto a desenvolver uma plataforma de notificação de problemas urbanos baseada no seu sistema de informação geográfico para entidades municipais. O objetivo principal desta investigação foca a idealização, conceção e implementação de uma solução completa de notificação de problemas urbanos de caráter não urgente, distinta da concorrência pela facilidade com que os cidadãos são capazes de reportar situações que condicionam o seu dia-a-dia. Para alcançar esta distinção da restante oferta, foram realizados diversos estudos para determinar características inovadoras a implementar, assim como todas as funcionalidades base expectáveis neste tipo de sistemas. Esses estudos determinaram a implementação de técnicas de demarcação manual das zonas problemáticas e reconhecimento automático do tipo de problema reportado nas imagens, ambas desenvolvidas no âmbito deste projeto. Para a correta implementação dos módulos de demarcação e reconhecimento de imagem, foram feitos levantamentos do estado da arte destas áreas, fundamentando a escolha de métodos e tecnologias a integrar no projeto. Neste contexto, serão apresentadas em detalhe as várias fases que constituíram o processo de desenvolvimento da plataforma, desde a fase de estudo e comparação de ferramentas, metodologias, e técnicas para cada um dos conceitos abordados, passando pela proposta de um modelo de resolução, até à descrição pormenorizada dos algoritmos implementados. Por último, é realizada uma avaliação de desempenho ao par algoritmo/classificador desenvolvido, através da definição de métricas que estimam o sucesso ou insucesso do classificador de objetos. A avaliação é feita com base num conjunto de imagens de teste, recolhidas manualmente em plataformas públicas de notificação de problemas, confrontando os resultados obtidos pelo algoritmo com os resultados esperados.

An integer programming model for the minimum interval graph completion problem

The minimum interval graph completion problem consists of, given a graph G = ( V, E ), finding a supergraph H = ( V, E ∪ F ) that is an interval graph, while adding the least number of edges |F| . We present an integer programming formulation for solving the minimum interval graph completion problem recurring to a characteri- zation of interval graphs that produces a linear ordering of the maximal cliques of the solution graph.