Natural antioxidants extraction and their incorporation into model pharmaceutical systems

Dissertation to obtain a Master Degree in Biotechnology

An information model for lean, agile, resilient and green supply chain management

Dissertação para a obtenção de Grau de Mestre em Engenharia e Gestão Industrial

Real-Time Application Mapping for Many-Cores Using a Limited Migrative Model

Many-core platforms are an emerging technology in the real-time embedded domain. These devices offer various options for power savings, cost reductions and contribute to the overall system flexibility, however, issues such as unpredictability, scalability and analysis pessimism are serious challenges to their integration into the aforementioned area. The focus of this work is on many-core platforms using a limited migrative model (LMM). LMM is an approach based on the fundamental concepts of the multi-kernel paradigm, which is a promising step towards scalable and predictable many-cores. In this work, we formulate the problem of real-time application mapping on a many-core platform using LMM, and propose a three-stage method to solve it. An extended version of the existing analysis is used to assure that derived mappings (i) guarantee the fulfilment of timing constraints posed on worst-case communication delays of individual applications, and (ii) provide an environment to perform load balancing for e.g. energy/thermal management, fault tolerance and/or performance reasons.

Cidadão e comunidade : que relevância no processo de contratualizaç

RESUMO - Nas últimas décadas, a especialização dos cuidados médicos tem conduzido a uma fragmentação do sistema de prestação, que, associada a uma deficiente coordenação entre serviços, cuidados e prestadores, torna a navegabilidade dos utentes nos sistemas de saúde uma tarefa complexa. Um novo modelo de organização, assente na procura de valor para os cidadãos, deve adoptar uma abordagem sistémica, que tenha subjacente uma coordenação integrada de serviços, numa perspectiva de ciclo de cuidados. Reorientar a prestação de cuidados para a obtenção de resultados e valor em saúde, exige uma reengenharia em torno da estrutura, organização e avaliação1 dos cuidados, requerendo, nomeadamente: i) instrumentos e ferramentas que auxiliem e estruturem este novo modelo; ii) assumpção dos papéis definidos para cada um dos actores do sistema, nomeadamente ao nível da coordenação; iii) encorajamento à adopção de modelos de contratualização, pagamento e competição, que responsabilizem os actores envolvidos não só pela prática que desenvolvem, mas pelos resultados em saúde. Estes mecanismos constituem uma oportunidade para expandir e sustentar abordagens, programas e intervenções integradas. Investir num sistema de pagamento por valor em saúde — P4V — payment for value, traduz uma aposta na relação entre diagnóstico, tratamento, resultados clínicos e custos, enquanto estratégia para assegurar ganhos em qualidade dos cuidados, eficiência dos processos e valor em saúde para o cidadão. Neste contexto, a gestão da doença enquanto modelo direccionado para o reforço da perspectiva e participação activa do cidadão, e avaliação compreensiva de novas formas de organização e gestão do sistema de prestação, constitui um instrumento para informar e sustentar esse processo de reengenharia do sistema. Um modelo que procura assegurar o encontro entre o estado da arte na prestação de cuidados e um nível óptimo, garantindo a qualidade de vida expectável para a pessoa com doença crónica. ----------------- ---------ABSTRACT – In the last decades advanced medical sciences trend to specialized care and fragmented health systems, leaving patients with a challenge on navigating services and care, requiring them to see a sequence of specialists each delivering discrete interventions. To overcome these challenges, every health system must redefine health care delivery to use its resources more efficiently and improve quality of care through an organization of the system as a whole. A system currently organized around value for patients, entails a framework that comprises the entire set of activities needed to address a patient´s medical condition, over the full cycle of care. Value- based care delivery therefore requires an integrated practice, both across services and time, and implies a movement through new structures, organization models, evaluation efforts and payment systems that enables, catalyze and reinforces the extension and sustainability of the steps needed to the change required. A shift from a payment for performance to a payment for value focuses attention on maximizing the overall value of care, and encourages coordination and integration between components of care that extends from screening, diagnoses, all the way through treatment, outcomes and costs, and ensuring an incentive for potentially high value types of care as well as innovation. These leave the actors of the system with the task of best allocating and valuing components of care. Disease management as a model designed to structure patient engagement and involvement in their care, and assure a comprehensive evaluation and monitoring of new organization and care delivery strategies align an opportunity as a source of information and sustainability for the progress of a growing number of likeminded efforts now underway across care delivery for chronic diseases. This framework will allow the fulfillment of the gap between sta

Typhoid fever as cellular microbiological model

The knowledge about typhoid fever pathogenesis is growing in the last years, mainly about the cellular and molecular phenomena that are responsible by clinical manifestations of this disease. In this article are discussed several recent discoveries, as follows: a) Bacterial type III protein secretion system; b) The five virulence genes of Salmonella spp. that encoding Sips (Salmonella invasion protein) A, B, C, D and E, which are capable of induce apoptosis in macrophages; c) The function of Toll R2 and Toll R4 receptors present in the macrophage surface (discovered in the Drosophila). The Toll family receptors are critical in the signalizing mediated by LPS in macrophages in association with LBP and CD14; d) The lines of immune defense between intestinal lumen and internal organs; e) The fundamental role of the endothelial cells in the inflammatory deviation from bloodstream into infected tissues by bacteria. In addition to above subjects, the authors comment the correlation between the clinical features of typhoid fever and the cellular and molecular phenomena of this disease, as well as the therapeutic consequences of this knowledge.

McCoy cell line as a possible model containing CD4+ receptors for the study of HIV-1 replication

Several studies have recently shown the use of recombinant rabies virus as potential vector-viral vaccine for HIV-1. The sequence homology between gp 120 and rabies virus glycoprotein has been reported. The McCoy cell line has therefore been used to show CD4+ or CD4+ like receptors. Samples of HIV-1 were isolated, when plasma of HIV-1 positive patients was inoculated in the McCoy cell line. The virus infection was then studied during successive virus passages. The proteins released in the extra cellular medium were checked for protein activity, by exposure to SDS Electrophoresis and blotting to nitro-cellulose filter, then reacting with sera of HIV positive and negative patients. Successive passages were performed, and showed viral replication, membrane permeabilization, the syncytium formation, and the cellular lysis (cytopathic effect). Flow cytometry analysis shows clear evidence that CD4+ receptors are present in this cell line, which enhances the likelihood of easy isolation and replication of HIV. The results observed allow the use of this cell line as a possible model for isolating HIV, as well as for carrying out studies of the dynamics of viral infection in several situations, including exposure to drugs in pharmacological studies, and possibly studies and analyses of the immune response in vaccine therapies.

An Execution Model for Fine-Grained Parallelism in Ada

20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 25 to 29, Jun, 2015. Madrid, Spain. Best Paper Award.

The CONCERTO methodology for model-based development of avionics SW

20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 22 to 26, Jun, 2015, Madrid, Spain.

A Multi-DAG Model for Real-Time Parallel Applications with Conditional Execution

The 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015). 13 to 17, Apr, 2015, Embedded Systems. Salamanca, Spain.

A reliability-based measure of robustness for concrete structures subjected to corrosion

This work is a contribution to the definition and assessment of structural robustness. Special emphasis is given to reliability of reinforced concrete structures under corrosion of longitudinal reinforcement. On this communication several authors’ proposals in order to define and measure structural robustness are analyzed and discussed. The probabilistic based robustness index is defined, considering the reliability index decreasing for all possible damage levels. Damage is considered as the corrosion level of the longitudinal reinforcement in terms of rebar weight loss. Damage produces changes in both cross sectional area of rebar and bond strength. The proposed methodology is illustrated by means of an application example. In order to consider the impact of reinforcement corrosion on failure probability growth, an advanced methodology based on the strong discontinuities approach and an isotropic continuum damage model for concrete is adopted. The methodology consist on a two-step analysis: on the first step an analysis of the cross section is performed in order to capture phenomena such as expansion of the reinforcement due to the corrosion products accumulation and damage and cracking in the reinforcement surrounding concrete; on the second step a 2D deteriorated structural model is built with the results obtained on the first step of the analysis. The referred methodology combined with a Monte Carlo simulation is then used to compute the failure probability and the reliability index of the structure for different corrosion levels. Finally, structural robustness is assessed using the proposed probabilistic index.

A system model and stack for the parallelization of time-critical applications on many-core architectures

3rd Workshop on High-performance and Real-time Embedded Systems (HIRES 2015). 21, Jan, 2015. Amsterdam, Netherlands.

Study of forbidden transitions in atomic systems

A Thesis submitted for the co-tutelle degree of Doctor in Physics at Universidade Nova de Lisboa and Université Pierre et Marie Curie

Per-unit royalty and fixed-fee licensing in a differentiated Stackelberg model

In the present paper we consider a differentiated Stackelberg model, when the leader firm engages in an R&D process that gives an endogenous cost-reducing innovation. The aim is to study the licensing of the cost-reduction by a per-unit royalty and a fixed-fee. We analyse the implications of these types of licensing contracts over the R&D effort, the profits of the firms, the consumer surplus and the social welfare. By using comparative static analysis, we conclude that the degree of the differentiation of the goods plays an important role in the results.