Combining paraconsistent and dynamic logic for Qiskit

Dissertação de mestrado integrado em Engenharia FísicaThis dissertation introduces a logic aimed at combining dynamic logic and paraconsistent logic for application to the quantum domain, to reason about quantum phase properties: Paraconsistent Phased Logic Of Quantum Programs (PhLQP◦ ). In the design PhLQP◦ , firstly the dynamic was built first, Phased Logic Of Quantum Programs (PhLQP). PhLQP is itself a dynamic logic capable of dealing with quantum phase properties, quantum measurements, unitary evolutions, and entanglements in compound systems , since it is a redesign of the already existing Logic Of Quantum Programs (LQP), [14], over a representation of quantum states restricted to a space B equipped with only two computational basis, standard and Hadamard. As instances of applications of the logic PhLQP, there is a formal proof of the correctness of the Quantum Teleportation Protocol, of the 2-party and 4-party of the Quantum Leader Election (QLE) protocol, and of the Quantum Fourier Transform (QFT) operator for 1, 2 and 3 qubits . On a second stage, PhLQP was extended with the connective ◦ known as the consistency operator, a typical connective of the paraconsistent logics Logics of Formal Inconsistency (LFIs), [8, 21, 22]. The definition of consistent quantum state and a set of proper para consistent axioms for the quantum domain, Fundamental Paraconsistent Quantum Axioms (FParQAxs), were provided. An example of application of PhLQP◦ is the possibility of express and prove correctness of the universal quantum gate, the Deustch gate.Esta dissertação introduz uma lógica que tem como objectivo combinar lógica dinâmica e lógica paraconsistente com aplicação no domínio quântico, assim como expressar propriedades relacionadas com fases quânticas: PhLQP◦. No projetar da PhLQP◦, primeiramente concebeu-se a sua componente dinâmica, PhLQP. PhLQP por si só é uma lógica capaz de lidar com propriedades de fases quânticas, evoluções unitárias, e entrelaçamento em sistemas compostos, uma vez que é um redesenhar da já existente LQP, [14], sobre uma representação de estados quânticos restrita a um espaço B munido de apenas duas bases computacionais, standard e Hadamard. Como instâncias de aplicação da lógica PhLQP, há uma prova formal para a correção do protocolo de Teletransporte Quântico, para o protocolo QLE para uma party quer de 2 quer de 4 agentes, e para o operador de QFT de 1, 2, e 3 qubits. Numa segunda fase, PhLQP é extendida com a conectiva ◦, conhecida como operador de consistência, uma conectiva característica das LFIs, [8, 21, 22]. E a partir desta conectiva a definição de estado quântico consistente é um conjunto de axiomas paraconsistentes próprios para o domínio quântico, FParQAxs. Um exemplo de aplicação da PhLQP◦ é a possibilidade de expressar e permitir correção para o comportamento da gate quântica universal, a Deutsch-gate

Equity research: Ferrari - a luxury manufacturer in adaptation to the new market demands

Ferrari is an Italian car manufacturer founded in 1929. Since then, it has become one of the most notable luxury car manufacturers in the world, known for its high-performance cars and its presence in the racing world, more precisely in Formula 1. This report focuses on valuing Ferrari, analyzing its performance, standalone and in comparison with its competitors and the remaining industry. Our valuation model yielded a target price of €266.10 for FY 2022, resulting in a BUY recommendation

Potential impact of brexit in marks and spencer

Brexit still did not happen, but its consequences already came up: consumer confidence index (CCI)in UK has been decreasing since the election, the housing market has been softening and there are signs of a step-down in transactions. The future consequences can be severe for M&S and to the UK retail segment in general: (1) CCI decrease, (2) GBP devaluation, (3) less immigration and (4) more operational complexity in selling products outside the UK can be relevant for M&S and affect FCF for investors. The company should make effort to hedge these risks

The Contribution of Complement to the Pathogenesis of IgA Nephropathy: Are Complement-Targeted Therapies Moving from Rare Disorders to More Common Diseases?

Primary IgA nephropathy (IgAN) is a leading cause of chronic kidney disease and kidney failure for which there is no disease-specific treatment. However, this could change, since novel therapeutic approaches are currently being assessed in clinical trials, including complement-targeting therapies. An improved understanding of the role of the lectin and the alternative pathway of complement in the pathophysiology of IgAN has led to the development of these treatment strategies. Recently, in a phase 2 trial, treatment with a blocking antibody against mannose-binding protein-associated serine protease 2 (MASP-2, a crucial enzyme of the lectin pathway) was suggested to have a potential benefit for IgAN. Now in a phase 3 study, this MASP-2 inhibitor for the treatment of IgAN could mark the start of a new era of complement therapeutics where common diseases can be treated with these drugs. The clinical development of complement inhibitors requires a better understanding by physicians of the biology of complement, the pathogenic role of complement in IgAN, and complement-targeted therapies. The purpose of this review is to provide an overview of the role of complement in IgAN, including the recent discovery of new mechanisms of complement activation and opportunities for complement inhibitors as the treatment of IgAN

A gestão de resíduos urbanos e a economia circular ao nível local: o caso da Maia

Este relatório de estágio apresenta uma análise das estratégias de Economia Circular e de Desenvolvimento Sustentável a nível europeu e nacional, dando ainda enfoque à gestão de resíduos sólidos urbanos, ao analisar a empresa municipal Maiambiente. Mais concretamente, pretendemos, em primeiro lugar, identificar os compromissos nacionais (e europeus) com a Economia Circular e o Desenvolvimento Sustentável e, em segundo lugar, apurar de que forma a política de resíduos sólidos urbanos está a ser aplicada, nomeadamente no estudo de caso que é a Maiambiente. Esta instituição, local onde decorreu o estágio, tem por missão a remoção dos resíduos sólidos urbanos, a recolha seletiva de materiais recicláveis e a manutenção e higiene dos locais públicos do concelho da Maia. Considerada uma instituição ímpar a nível internacional e nacional, a Maiambiente desempenha um papel essencial na Economia Circular local. Através de um inquérito realizado junto de empresas da Maia que usufruem dos seus serviços, conclui-se que a Maiambiente contribui muito para a separação de resíduos. Adicionalmente apurámos que esta pode, igualmente, contribuir para que as empresas maiatas estejam cada vez mais próximas dos princípios da Economia Circular.This internship report presents an analysis of the strategies of Circular Economy and Sustainable Development at European and national level, while still focusing on the management of solid urban waste, when analysing the municipal company Maiambiente. In particular, we want to identify national (and European) commitments to the Circular Economy and Sustainable Development and, secondly, to determine how solid urban waste policy is being implemented, in particular in the study of if that is the Maiambiente. This institution, where the internship took place, has as its mission the removal of municipal solid waste, the selective collection of recyclable materials and the maintenance and hygiene of public places in the municipality of Maia. Considered a unique institution at international and national level, Maiambiente plays a key role in the local Circular Economy. Through a survey carried out with Maia companies that benefit from its services, it is concluded that Maiambiente contributes a great deal to the separation of waste. In addition, we have found that it can also help the companies from Maia to get increasingly closer to the principles of the Circular Economy.Mestrado em Administração e Gestão Públic

Effectiveness of physiotherapy intervention on the quality of life of women with breast cancer who underwent sentinel lymph node biopsy

publishersversionpublishe

Estudo das atividades biológicas da alga Undaria pinnatifida

Tese de mestrado em Bioquímica (Bioquímica Médica) Universidade de Lisboa, Faculdade de Ciências, 2019Na atualidade, tem havido cada vez mais a procura por um estilo de vida saudável e grande parte dele advém da alimentação. Como tal, nesta área tem-se investigado os compostos que vários alimentos têm e os seus benefícios para a saúde, nomeadamente as algas. Estas têm sido estudadas devido às suas capacidades antioxidantes e anti-obesidade e é neste âmbito que se iniciou este trabalho experimental, centrado no estudo de Undaria pinnatifida. Começou-se então por liofilizar a alga para obtermos o material inicial para desenvolver o trabalho. De seguida, efetuaram-se duas decocções, que permitiram a extração dos compostos de U. pinnatifida e a obtenção de extratos aquosos. A primeira durante 24 horas sob agitação à temperatura ambiente (W24) e a segunda durante 30 minutos a 100 º C (W100). A ambas foi feita a precipitação de mucilagens, com o objetivo de obter um sobrenadante constituído maioritariamente por compostos fenólicos, obtendo-se assim um total de quatro extratos: cozida durante 30 minutos, com e sem mucilagens, e 24 horas sob agitação, a temperatura ambiente, com e sem mucilagens. De seguida, determinaram-se as atividades biológicas destes quatro extratos tendo-se quantificado os fenóis totais, avaliado a capacidade de redução do radical DPPH e de inibição dos enzimas acetilcolinesterase e HMGR. Destes ensaios chegou-se à conclusão de que o melhor extrato é o da alga cozida durante 30 minutos, uma vez que apresenta uma maior capacidade de inibir ambos os enzimas em estudo e de reduzir o radical DPPH, mesmo apresentando uma menor quantidade de fenóis. Por último, observou-se o perfil de cada um dos extratos obtido através da análise por HPLC-DAD, de forma a tentar entender as diferenças de atividades, sendo que não foram encontradas diferenças significativas que justificassem os resultados obtidos. Deste modo, pode concluir-se que a qualidade dos compostos extraídos da alga cozida seriam superiores, explicando as melhores atividades. O próximo passo consistiu em estudar que modificações ocorreriam nas algas quando sujeitas à digestão no nosso organismo. Para tal realizou-se uma digestão in vitro com suco gástrico e suco pancreático da alga liofilizada, retirando-se alíquotas às 0 e 4 horas, sendo também feita uma digestão de 24 horas para saber se era possível a extração de novos compostos (de um ponto de vista biotecnológico) e todas estas amostras foram para analisar no HPLC-DAD. Os cromatogramas foram esclarecedores mostrando que após a digestão de 4 horas não há muita alteração aos extratos. No entanto, no caso das 24 horas com suco pancreático (WDig), não só foram extraídos novos compostos como também em maior quantidade aqueles que já se encontravam presentes no extrato antes da digestão. Foram então determinadas as atividades biológicas deste extrato revelando que existe uma maior quantidade de fenóis totais, porém não se traduziu num aumento de bioatividade. Por último, com os extratos que obtiveram melhores resultados, nomeadamente o da alga cozida durante 30 minutos e o da digestão de 24 horas com suco pancreático, realizou-se o LC-MS/MS com a finalidade de tentar identificar quais os compostos responsáveis pelas diferenças de atividades. Adicionalmente, para se tentar ver algumas diferenças morfológicas dos diferentes extratos, fez-se a microscopia eletrónica de varrimento. Fechando o capítulo das bioatividades, passou-se ao estudo de U. pinnatifida com células cancerígenas do cólon (Caco-2) e com células cancerígenas do fígado (Hep-G2). Primeiramente, nas células Caco-2 foi medida a citotoxicidade dos extratos W100 e W24, com e sem mucilagens, nas concentrações de 0,1 e 0,5 mg/mL. Não foi revelada nenhuma atividade citotóxica nestas concentrações. Efetuou-se também a eletroforese bidimensional para observar as mudanças do perfil proteico, tendo-se estudado o extrato da alga liofilizada, W100 e WDig. Por último, mediu-se novamente a citotoxicidade nas células Hep-G2 dos extratos W100 e WDig, nas concentrações de 0,1; 0,2 e 0,5 mg/mL. O extrato WDig foi mais citotóxico que W100, com os respetivos valores de IC50 de 0,93 e 1,96 mg/mL. Por fim, efetuou-se uma eletroforese unidimensional para se entender também se existem modificações nos perfis proteicos das células quando em contacto com as amostras em estudo.In recent years there´s been a growing search for a healthy lifestyle and a big part of it comes from diet. As such, in this area several foods are being looked into for their compounds and related health benefits, namely algae. These have been studied because of their antioxidant and anti-obesity activities and it is with that goal in mind that this experimental work took place, focusing on the study of Undaria pinnatifida. This work started with lyophilizing the algae in order to obtain the initial material. With this lyophilized algae decoctions were made, obtaining aqueous extracts. Two initial decoctions were done. One during 24 hours under agitation at room temperature (W24) and one cooked for 30 minutes (W100). To both mucilage precipitation was made with the objective of obtaining a supernatant comprised with a majority of phenolic compounds getting a total of four extracts: cooked algae for 30 minutes, with and without mucilage, and algae 24 hours under agitation at room temperature, also with and without mucilage. Initially, the biological activities of all four extracts were determined, namely total phenol quantification, DPPH radical reduction capacity, acetylcholinesterase inhibition and HMGR inhibition. With this trials we came to the conclusion that the best extract was the cooked algae for 30 minutes since it had the highest inhibition of both acetylcholinesterase and HMGR, as well as highest DPPH reduction capacity with a lower total phenol quantity. Lastly, through HPLC-DAD analysis we observed the obtained profile of each extracts to try to comprehend the difference in activities. However no significant differences were found that justified the results. Consequently, the conclusion to take was that the quality of the compounds extracted from the cooked algae was superior, explaining the better bioactivities. The next step was to study what happened to the algae when it was subjected to digestion in our organism. To such extent, digestion with gastric juice and with pancreatic juice of the lyophilized algae was done, taking aliquots at time 0, 4 hours and also 24 hours digestion was made to see if we could extract new compounds (from a biotechnological standpoint) and all were analysed by HPLC-DAD. The chromatograms were enlightening showing that after 4 hours digestion not much alterations occurred. However in the case of the 24 hours digestion with pancreatic juice (WDig), not only new compounds were extracted but also at larger quantity. The biological activities of this extract were then determined which pointed out an existing larger quantity of total phenols, yet it didn´t manifest in an increase of bioactivity. Finally, with the extracts that had the better results, namely the cooked algae and the digested 24 hours with pancreatic juice, LC-MS/MS was done with the intent of identifying which compounds were responsible for the differences in bioactivities. Additionally scanning electron microscopy was made of the different extracts to see if we could spot some morphological changes. Closing the chapter of the biological activities we moved on to the study of U. pinnatifida with Caco-2 cells, which are colon carcinogenic cells that simulate the intestinal barrier, and with Hep-G2 cells, which are liver carcinogenic cells since this organ has a strong impact in the body´s bioactivities. Firstly, the cytotoxicity of the W100 and W24 extracts, with and without mucilage, was measured in the Caco-2 cells with the concentrations of 0,1 and 0,5 mg/mL. No cytotoxic activity was revealed at either concentration. We also did bidimensional electrophoresis to observe the change of the protein profile, having studied the lyophilized algae, W100 and WDig. Moreover, we again measured the cytotoxicity in Hep-G2 cells of the W100 and WDig extracts at 0,1; 0,2 and 0,5 mg/mL concentrations. WDig was more cytotoxic than W100, with respective IC50 values of 0,93 and 1,96 mg/mL. Lastly, another electrophoresis was done, this time one dimensional, to also better understand the differences in the protein profiles

Estudo energetico de colunas de destilação atraves da analise exergetica

Orientador: Roger Josef ZemDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia QuimicaResumo: Dentre os processos de separação, destilação é um dos maiores consumidores de energia. Justamente por este motivo, muito esforço tem sido feito para a determinação de métodos que permitam avaliar e melhorar a eficiência do processo de destilação, proporcionando economia de energia. Neste trabalho um novo método de otimização de colunas de destilação é apresentado. O método se baseia na análise termodinâmica de colunas de destilação através da propriedade termodinâmica exergia. Balanços de exergia aplicados a colunas de destilação determinam a sua eficiência termodinâmica. Isto fornece parâmetros para a avaliação do quanto a eficiência da coluna se distancia da eficiência termodinâmica máxima(coluna reversível). Entretanto, o simples balanço total de exergia não identifica as mudanças necessárias na coluna para que a sua eficiência aumente. O estudo de um perfil de perdas de exergia montado a partir de balanços de exergia em cada estágio de uma coluna de destilação permite identificar estas alterações, sejam elas, mudanças na condição térmica da alimentação, estágio de alimentação ou a necessidade da utilização de um refervedor e/ou condensador intermediário. Os dados necessários são obtidos a partir de um perfil de coluna convergido. Comparado com métodos tradicionais de otimização de colunas, a análise da distribuição das forças motrizes baseada no conceito de exergia é muito simples e pode ser aplicada a colunas independentemente do número de componentes, número de estágios, número de alimentações ou retiradas laterais e do uso de refervedores e/ou condensadores intermediários...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digitalAbstract: Distillation is undoubtedly the most used separation process in the chemical industry, also being the most energy intensive. Much work has been done to improve the energy efficiency of distillation columns. Besides stand-alone optimisation, methods that provide a systematic procedure for a better heat integration of columns with the background process have also been sought for. Changes in feed stage location, feed condition and the benefit of using side-condensers or/and side-reboilers have a very strong efffect on the energy efficiency of a column, and its suitability to be integrated with other processes. ... Note: The complete abstract is available with the full electronic digital thesis or dissertationsMestradoSistemas de Processos Quimicos e InformaticaMestre em Engenharia Químic

A Lista Top 100

"Evitar a extinção das espécies é um dos maiores desafios actuais da ciência da conservação. A magnitude da perda de espécies é hoje tão importante que alguns autores defendem que estamos a ser testemunhas da sexta grande extinção na história da vida (Leakey & Lewin, 1995). De facto, no nosso planeta desta vez é a acção devastadora do Homem a força motriz que está a alterar habitats, a colocar em risco ecossistemas, e a extinguir inúmeras espécies, muitas delas desconhecidas para a ciência (Lawton & May, 1995; Pimm et al., 1995, 1996; Chapin et al., 2000). Durante os últimos séculos estas extinções tem sido muito significativas nas ilhas de todo o mundo (Reid & Miller, 1989; Lawton & May, 1995; Sadler, 1999; Steadman & Martin, 2003), o que tem estimulado o debate sobre a questão se os endemismos insulares são intrinsecamente mais sensíveis às ameaças do que as formas continentais (Manne et al., 1999; Sax et al., 2002; Frankham, 2005). Contudo embora não pareça claro que assim seja (Manne & Pimm, 2001; Biber, 2002), o facto é que as ilhas por serem territórios com muitos taxa endémicos de distribuição reduzida a espaços limitados e, como consequência disso, com poucas possibilidades de escapar a uma eventual ameaça –como por exemplo a introdução de um novo predador–, tem o risco de extinção aumentado (Duncan & Blackburn, 2007). Evidências mostram igualmente que nas ilhas o número de espécies de plantas vasculares não nativas tem subido mais do que a extinção do número de espécies nativas mas que nas aves as extinções igualam o ganho de espécies exóticas (Sax et al., 2002). O facto é que, independentemente da maior ou menor propensão ao desaparecimento das espécies insulares, as consequências devastadoras das ameaças externas nos territórios isolados levam a que as extinções nas ilhas sejam mais frequentes do que nos espaços abertos continentais (Quammen, 1997). [...]