13 resultados para Ease of Programming
em Universidade do Minho
Resumo:
Tese de Doutoramento em Ciências (área de especialização em Matemática).
Resumo:
Tese de Doutoramento em Ciências (área de especialização em Matemática).
Resumo:
Stents are rigid and perforated tubular structures, which are inserted into blood vessels in order to prevent or inhibit the constriction of blood flow, restoring the normal blood flow, when blood vessels are clogged, being used in 70% of angioplasties. These medical devices assume great importance in the treatment of cardiovascular diseases (CVD) which are the leading cause of death worldwide. In the European Union CVD account for 40% of deaths and assume an estimated annual cost of 196 billion euros[1]. Stents must possess certain requirements, in order to, adequately, perform its function, such as biocompatibility (so that its use does not c ause damage on the health of its user), mechanical strength, radiopacity (so that it is easy to view), longitudinal flexibility, ease of handling, corrosion resistance and having high strength and high radial expansion ability to recover. Stents can be made of different materials, but metals, particularly stainless steel, are the most common. However, metallic stents present several dRawbacks such as corrosion and restenosis, leading to health complications for the patient, or even death. In order to minimize these disadvantages, new materials, like fibrous materials, have been used [2]. Monofilaments present high potential for stents development because, in addition to its biocompatibility, these materials allow the application of various surface treatments, such as antibacterial coatings. Furthermore, monofilament exhibit excellent mechanical properties, like greater stiffness and good results when subjected to compression, tensile and bending forces, since these forces will be directly supported by the monofilament [3]. To minimize the reaction of the human body and Limit the adhesion of microorganisms to the stent surface, some coatings have been developed, including the use of novel metals with antimicrobial properties, like silver. The main objective of this study was the development of fibrous stents, incorporation of silver oxide nanocoating. For the development of the stent, polyester monofilaments with 0.27mm of diameter were used in braiding technology, with a mandrel diameter of 6mm and a braiding angle of 35⁰. The mechanical behaviour of the stent were evaluated by mechanical testing under longitudinal and radial compression, bending. The results of compressive strength tests are according with value from literature: 1.13 to 2.9 N for radial compression and 0. 16-5.28N to longitudinal compression. From literature is also possible to verify that stents must present 75% of unchanged diameter during the bending test and must possess a porosity between 70% and 80% [4]. The produced polyester stent presents values of 1.29N for radial compression, 0.23N for longitudinal compression, 80% of porosity and 85.5% of unchanged diameter, during bending tests. For the antibacterial functionalization, silver oxide nanocoatings were prepared, through reactive magnetron g, with an Ag target in an Ar +O2 atmosphere. In order to evaluate the nanostructure and morphology of the coatings, d ifferent technique s like X-ray diffraction (XRD), scanning electron microscopy (SEM) and and X- ray photoelectron spectroscopy (XPS were used. From the analyses of XRD it is possible to verify that the peaks corresponds to planes of Ag2 O and MATERIAIS 2015 Porto, 21-23 June, 2015 characterize a cubic phase. The presence of Ag2 O is corroborated by XPS spectrum, where it is possible to observe silver, not only, in oxide state, but a lso in mettalic state, and it is possible to verify the presence of silver clusters, confirmed by SEM analysis. Films’ roughness and topography, parameters influencing the wettability of the surface and microorganism adhesion, were measured by Atomic Force Microscopy (AFM), and it was observed that the roughness is very low (under 10 nm). Coatings’ hydrophobicity and surface tension parameters were determined by contact angle measurement, and it was verified the hydrophobic behavior of the coatings. For antibacterial tests were used Staphylococcus epidermidis strain (IE186) and Staphylococcus aureus(ATCC 6538), and halo inhibition zone tests were realized. Ag+release rates were studied by means of inductively coupled plasma mass spectrometry (ICP -MS). The obtained results suggest that silver oxide coatings do not modify significantly surface properties of the substrate, like hydrophobicity and roughness, and present antimicrobial properties for both bacteria used.
Resumo:
In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.
Resumo:
This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.
Resumo:
Relatório de estágio de mestrado em Educação Pré-Escolar e Ensino do 1ºCiclo do Ensino Básico
Resumo:
Dissertação de mestrado em Engenharia de Telecomunicações e Informática
Resumo:
Among the various possible embodiements of Advanced Therapies and in particular of Tissue Engineering the use of temporary scaffolds to regenerate tissue defects is one of the key issues. The scaffolds should be specifically designed to create environments that promote tissue development and not merely to support the maintenance of communities of cells. To achieve that goal, highly functional scaffolds may combine specific morphologies and surface chemistry with the local release of bioactive agents. Many biomaterials have been proposed to produce scaffolds aiming the regeneration of a wealth of human tissues. We have a particular interest in developing systems based in nanofibrous biodegradable polymers1,2. Those demanding applications require a combination of mechanical properties, processability, cell-friendly surfaces and tunable biodegradability that need to be tailored for the specific application envisioned. Those biomaterials are usually processed by different routes into devices with wide range of morphologies such as biodegradable fibers and meshes, films or particles and adaptable to different biomedical applications. In our approach, we combine the temporary scaffolds populated with therapeutically relevant communities of cells to generate a hybrid implant. For that we have explored different sources of adult and also embryonic stem cells. We are exploring the use of adult MSCs3, namely obtained from the bone marrow for the development autologous-based therapies. We also develop strategies based in extra-embryonic tissues, such as amniotic fluid (AF) and the perivascular region of the umbilical cord4 (Whartonâ s Jelly, WJ). Those tissues offer many advantages over both embryonic and other adult stem cell sourcess. These tissues are frequently discarded at parturition and its extracorporeal nature facilitates tissue donation by the patients. The comparatively large volume of tissue and ease of physical manipulation facilitates the isolation of larger numbers of stem cells. The fetal stem cells appear to have more pronounced immunomodulatory properties than adult MSCs. This allogeneic escape mechanism may be of therapeutic value, because the transplantation of readily available allogeneic human MSCs would be preferable as opposed to the required expansion stage (involving both time and logistic effort) of autologous cells. Topics to be covered: This talk will review our latest developments of nanostructured-based biomaterials and scaffolds in combination with stem cells for bone and cartilage tissue engineering.
Resumo:
Tese de Doutoramento em Ciências da Comunicação (área de especialização em Sociologia da Comunicação e da Informação).
Resumo:
Dissertação de mestrado em Ciências da Comunicação (área de especialização em Audiovisuais e Multimédia)
Resumo:
Relatório de estágio de mestrado em Ensino de Informática
Resumo:
Current data mining engines are difficult to use, requiring optimizations by data mining experts in order to provide optimal results. To solve this problem a new concept was devised, by maintaining the functionality of current data mining tools and adding pervasive characteristics such as invisibility and ubiquity which focus on their users, providing better ease of use and usefulness, by providing autonomous and intelligent data mining processes. This article introduces an architecture to implement a data mining engine, composed by four major components: database; Middleware (control); Middleware (processing); and interface. These components are interlinked but provide independent scaling, allowing for a system that adapts to the user’s needs. A prototype has been developed in order to test the architecture. The results are very promising and showed their functionality and the need for further improvements.
Resumo:
Dissertação de mestrado integrado em Engenharia e Gestão Industrial