The Chemical Mechanism of a Brown-Rot Decay Mimtic System and its Application in Paper Recycling Processes

This work is aimed at improving our current knowledge of the non-enzymatic inecl~anisins involved in brown-rot decay, as well as the exploration of potential applications of a brown-rot mimetic model system in paper recycling processes. The study was divided into two parts. The first part focussed on the chemical mechanisms involved in chelation and reduction of iron by a low molecular weight chelator (isolated from the brown-rot fungus Gloeophyllz~m tmbeum) and its model compound 2,3- dihydroxybenzoic acid (2,3-DHBA). Chelation as well as free radical generation mediated by this system were studied by ESR measurement. The results indicate that the effects of the chelator/iron ratio, the pH, and other reaction parameters on hydroxyl radical generation by a Fenton type system could be determined using ESR spin-trapping techniques. The results also support the hypothesis that superoxide radicals are involved in the chelator-mediated Fenton process. In the second part of the study, the effect of a chelator-mediated Fenton system for the improvement of deinking efficiency and the n~odification of fiber and paper properties was studied. For the deinking study, copy paper was laser printed with an identical standard pattern. Then repulping and flotation operations were performed to remove ink particles. Under properly controlled deinking conditions, the chelator mediated treatment (CMT) resulted in a reduction in dirt count over that of conventional deinking procedures with no significant loss of pulp strength. To study the effect of the chelator system treatment on the quality of pulp with different fines content, a fully bleached hardwood kraft pulp was beaten to different freeness levels and treated with the chelator-mediated free radical system. The result shows that virgin fiber and heavily beaten fiber respond differently to the free radical treatment. Unbeaten fibers become more flexible and easier to collapse after free radical treatment, while beaten fibers show a reduction in fines and small materials after mild free radical treatment.

Type-Aware Programming Models for Distributed Applications

Thesis (Ph.D.)--University of Washington, 2016-08

Accumulation of manganese in Neisseria gonorrhoeae correlates with resistance to oxidative killing by superoxide anion and is independent of superoxide dismutase activity

As a facultative aerobe with a high iron requirement and a highly active aerobic respiratory chain, Neisseria gonorrhoeae requires defence systems to respond to toxic oxygen species such as superoxide. It has been shown that supplementation of media with 100 muM Mn(II) considerably enhanced the resistance of this bacterium to oxidative killing by superoxide. This protection was not associated with the superoxide dismutase enzymes of N. gonorrhoeae. In contrast to previous studies, which suggested that some strains of N. gonorrhoeae might not contain a superoxide dismutase, we identified a sodB gene by genome analysis and confirmed its presence in all strains examined by Southern blotting, but found no evidence for sodA or sodC. A sodB mutant showed very similar susceptibility to superoxide killing to that of wild-type cells, indicating that the Fe-dependent SOD B did not have a major role in resistance to oxidative killing under the conditions tested. The absence of a sodA gene indicated that the Mn-dependent protection against oxidative killing was independent of Mn-dependent SOD A. As a sodB mutant also showed Mn-dependent resistance to oxidative killing, then it is concluded that this resistance is independent of superoxide dismutase enzymes. Resistance to oxidative killing was correlated with accumulation of Mn(II) by the bacterium. We hypothesize that this bacterium uses Mn(II) as a chemical quenching agent in a similar way to the already established process in Lactobacillus plantarum. A search for putative Mn(II) uptake systems identified an ABC cassette-type system (MntABC) with a periplasmic-binding protein (MntC). An mntC mutant was shown to have lowered accumulation of Mn(II) and was also highly susceptible to oxidative killing, even in the presence of added Mn(II). Taken together, these data show that N. gonorrhoeae possesses a Mn(II) uptake system that is critical for resistance to oxidative stress.

Core language for web applications

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

A calculus for modeling and analyzing conversations in service-oriented computing

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Gestão de Componentes em Dinâmico

A crescente evolução das tecnologias de informação e comunicação, aliadas ao desenvolvimento industrial, proporcionou um aumento de competitividade entre as indústrias, originando uma subida do nível da relação qualidade preço. Esta premissa causou uma maior preocupação com a procura contínua pela melhoria dos processos, de forma a aumentar as actividades de valor acrescentado, eliminando todo o tipo de desperdícios. Nesta conjuntura, a Grohe Portugal Componentes Sanitários, Lda propôs uma melhoria no âmbito da gestão de stocks de componentes existentes em dinâmico. Esta acção de melhoria passa pela definição e implementação de um método de gestão destes componentes, acompanhado por um conjunto de regras de identificação de actividades e respectivos intervenientes, por forma a optimizar os meios existentes e evitar a ocorrência de falhas de componentes nas linhas. Trata-se de um método baseado no cálculo das necessidades das linhas, que através da procura média semanal e constituição dos produtos finais define um nível de prioridade entre os componentes, identificando quais os mais requisitados pelas linhas e possibilitando a gestão do dinâmico. Na contínua tentativa de combater possíveis falhas, desenvolveu-se um sistema de gestão do tipo Kanban com a capacidade de gerir o produto semi-acabado para consumo interno. Foram, ainda, criadas melhorias que permitem um acréscimo de eficiência na gestão dos componentes em estante dinâmica, diminuindo o capital imobilizado investido em stocks, levando a um rearranjo de layouts, proporcionando melhores condições de trabalho e optimizando percursos e recursos. Descreve-se detalhadamente o processo de (i) actualização, definição e implementação do método de gestão de componentes em dinâmico, acompanhado pelo respectivo conjunto de regras, (ii) a implementação de um sistema do tipo Kanban orientado às reais preocupações da empresa, (iii) a redefinição de layouts em conformidade com a actualização dos dinâmicos e (iv) a identificação e execução de um conjunto de melhorias. Todas estas actividades acompanhadas pelo impacto financeiro na organização. Por fim, efectua-se o balanço deste projecto e sugerem-se oportunidades de melhoria.

Information flow analysis using data-dependent logical propositions

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

The human eye as human-machine interface

Eye tracking as an interface to operate a computer is under research for a while and new systems are still being developed nowadays that provide some encouragement to those bound to illnesses that incapacitates them to use any other form of interaction with a computer. Although using computer vision processing and a camera, these systems are usually based on head mount technology being considered a contact type system. This paper describes the implementation of a human-computer interface based on a fully non-contact eye tracking vision system in order to allow people with tetraplegia to interface with a computer. As an assistive technology, a graphical user interface with special features was developed including a virtual keyboard to allow user communication, fast access to pre-stored phrases and multimedia and even internet browsing. This system was developed with the focus on low cost, user friendly functionality and user independency and autonomy.

Evaluation of the heating of broilers in shed by means of gas hoods and underfloor heating

This study was conducted to evaluate and compare the behavior of the heating inside poultry shed through gas hood and underfloor heating. The experiment was conducted in poultry shed belonging to the Federal Institute of Education, Science and Technology of Triângulo Mineiro Region, Uberlândia city – state of Minas Gerais (MG), Brazil. The dimensions of the shed are 24 meters long and 9.6 meters wide and with a ceiling height of 3.2 meters. The temperature was measured with an optical thermometer of Minipa brand, MT 350 model. It was used, to the analysis of temperature behavior, the public domain software FEMM 4.2, which uses finite elements techniques, with data collected from two lots. Underfloor heating is made using hot water flowing through a serpentine type system, which is installed below the bed; this hot water is from solar heaters. An energetic and economic assessment of the warming shed for raising chickens was realized. From the results obtained with the simulations, it may observe that the heating through the floor provides a more homogeneous distribution of temperature when compared with the hood heating. The flow of heat is upwards supplying, thus, the greatest need of heating of the bird, which is the pectoral part.

Memory Usage Inference for Object-Oriented Programs

We present a type-based approach to statically derive symbolic closed-form formulae that characterize the bounds of heap memory usages of programs written in object-oriented languages. Given a program with size and alias annotations, our inference system will compute the amount of memory required by the methods to execute successfully as well as the amount of memory released when methods return. The obtained analysis results are useful for networked devices with limited computational resources as well as embedded software.

Rehabilitation with ear prosthesis linked to osseointegrated implants

Background: The absence of an ear, which can be the result of a congenital malformation, surgical tumour resection or traumatic injury, is a significant aesthetic problem. Attachment of ear prostheses with adhesives can cause local irritation for the wearer and affect the colour of the prostheses. Use of implants in craniofacial reconstruction can improve the retention and stability of prostheses giving to patient greater comfort and security relative to adhesive attachment.Objective: The aim of this report was to present a clinical case of a mutilated patient who was rehabilitated by means of installing an ear prosthesis fixed through osseointegrated implants.Materials and methods: The patient had two implants installed in the mastoid region that were linked by a bar, and a clip-type system was used. The ear prosthesis was constructed from medical-use silicone, pigmented to match the patient's skin colour and linked to the retention system.Conclusion: The patient's rehabilitation was satisfactory from both a functional and an aesthetic point of view, making it possible for the patient to return to a normal social life and regain lost self-esteem.

Comunicação científica: agregação, compartilhamento e reuso de elementos informacionais

Pós-graduação em Ciência da Informação - FFC

Visão contemporânea do uso de implantes de conexão interna tipo cone morse

The Morse Taper implant system, developed from its introduction in engineering, has become increasingly effective for use in dentistry. However, other systems, main external hexagon type, have been used more frequently today. Current studies have been reported the positive features of the Morse taper system and even emphasized as ideal within the systems used in implantology. Unfortunately, some professional duty by not knowing this system, or even prefer hexagon type system by decreased cost of components, have refused to use it. Thus, this study was aimed to perform a brief review of the Morse taper system, emphasizing its main points of interest in dentistry, in an attempt to familiarize the professionals to at least learn more about this system that has the prospect to become the leading system implants used in dentistry in the coming years. It is concluded that this system of dental implants is favorable showing predictability and success.

Novos materiais multifuncionais para aplicação em fotocatálise

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)