Partial derivative automata formalized in Coq

In this paper we present a computer assisted proof of the correctness of a partial derivative automata construction from a regular expression within the Coq proof assistant. This proof is part of a for- malization of Kleene algebra and regular languages in Coq towards their usage in program certification.Fundação para a Ciência e Tecnologia (FCT) Program POSI, RESCUE (PTDC/EIA/65862/2006), SFRH/BD/33233/2007

Mesoscopic modelling of 2-CN-PPV/PPV polymer LED

Although optoelectronic devices made of polymers are very attractive ones (low cost, easy to make), problems related to charge transport, exciton quenching, among others, can be an obstacle for their performance. The use of heterojunctions made of two polymers can be a strategy for improving the efficiency of polymer light emitting diodes (PLEDs) at low bias. Here we present a theoretical study of the influence of bilayer structure in a PLED made of PPV and 2-CN-PPV, by adopting a mesoscopic approach. Our results show that the presence of the polymer/polymer interface improves charge injection and leads to a confinement of charges near it, which will increase the number recombination events in the middle of the device compared to the equivalent single-layer PLEDs.Fundação para a Ciência e a Tecnologia (FCT) Programa Operacional “Ciência , Tecnologia, Inovação” POCTI/CTM/41574/2001, CONC-REEQ/443/EEI/2001 e SFRH/BD/22143/200

Theoretical study of the influence of the morphology in polymer-based devices functioning

It is well known that the morphology of polymer-based optoelectronic devices can influence their efficiency, since the ways that polymer chains pack inside the active layer can influence not only the charge transport but also the optic properties of the device. By using a mesoscopic model we carried out computer experiments to study the influence of the polymer morphology on the processes of charge injection, transport, recombination and collection by the electrodes opposite to those where the injection of bipolar charge carriers take place. Our results show that for polymer layers where the conjugated segments have perpendicular and random orientation relative to the electrodes surface, the competition between charge collection and charge recombination is affected when the average conjugation length of the polymer strands increase. This effect is more pronounced with the increase of the potential barrier at polymer/electrode interfaces that limit charge injection and increase charge collection. For these molecular arrangements the intra-molecular charge transport plays a major role in device performance, being this effect negligible when the polymer molecules have their axis parallel to the electrodes. Although the polymer morphology modelled in this work is far from real, we believe that our model can give some insights on the role of the microstructure on the functioning of polymer-based devices.European Community Fund (FEDER)Fundação para a Ciência e a Tecnologia (FCT) – Programa Operacional “Ciência , Tecnologia, Inovação” – POCTI/CTM/41574/2001, CONC-REEQ/443/EEI/2005 e SFRH/BD/22143/200

Green coffee seed residue: A sustainable source of antioxidant compounds.

Made available in DSpace on 2018-05-22T00:53:03Z (GMT). No. of bitstreams: 1 ART18004.pdf: 1065695 bytes, checksum: f98193cd878bcb43d577ff3d8be34290 (MD5) Previous issue date: 2018-03-20bitstream/item/177373/1/ART18004.pd

Development and evaluation of an emulsion containing lycopene for combating acceleration of skin aging

Licopeno é um carotenóide com potente atividade antioxidante encontrado em grande quantidade no tomate e usado no combate a diversas doenças como doenças cardiovasculares e diferentes tipos de cânceres, incluindo o câncer de próstata. O objetivo desse trabalho foi desenvolver uma emulsão contendo extrato de licopeno obtido do tomate salada e avaliar a citotoxicidade do extrato, a estabilidade, o comportamento reológico, atividade antioxidante e permeação do fitocosmético. O cosmético foi desenvolvido utilizando fase oleosa contendo derivados de Karité e submetido à avaliação da estabilidade físico-química, espalhabilidade, análise térmica, comportamento reológico, qualidade microbiológica, citotoxicidade, atividade antioxidante e testes de permeação e retenção cutânea. Os resultados demonstraram que o fitocosmético é estável, apresenta comportamento reológico desejável para uma formulação tópica e é um produto promissor para ser utilizado no combate à aceleração do envelhecimento cutâneo.Lycopene, a carotenoid and potent antioxidant is found in large quantities in tomatoes. Lycopene combats diseases, such as cardiovascular disease and different types of cancer, including prostate cancer. However, its topical use in emulsion form for the combat of skin aging is under-explored. The aim of the present study was to develop an emulsion containing lycopene extracted from salad tomatoes and evaluate its cytotoxicity, stability, rheological behavior, antioxidant activity and phytocosmetic permeation. The developed cosmetic comprised an oil phase made up of shea derivatives and was evaluated in terms of its physiochemical stability, spreadability, thermal analysis, rheological behavior, microbiological quality, cytotoxicity, antioxidant activity, cutaneous permeation and retention. The results demonstrate that this phytocosmetic is stable, exhibits satisfactory rheological behavior for a topical formula and is a promising product for combating skin aging