Abstract computation in schizophrenia detection through artificial neural network based systems

Schizophrenia stands for a long-lasting state of mental uncertainty that may bring to an end the relation among behavior, thought, and emotion; that is, it may lead to unreliable perception, not suitable actions and feelings, and a sense of mental fragmentation. Indeed, its diagnosis is done over a large period of time; continuos signs of the disturbance persist for at least 6 (six) months. Once detected, the psychiatrist diagnosis is made through the clinical interview and a series of psychic tests, addressed mainly to avoid the diagnosis of other mental states or diseases. Undeniably, the main problem with identifying schizophrenia is the difficulty to distinguish its symptoms from those associated to different untidiness or roles. Therefore, this work will focus on the development of a diagnostic support system, in terms of its knowledge representation and reasoning procedures, based on a blended of Logic Programming and Artificial Neural Networks approaches to computing, taking advantage of a novel approach to knowledge representation and reasoning, which aims to solve the problems associated in the handling (i.e., to stand for and reason) of defective information.

Thrombophilia screening: An artificial neural network approach

Thrombotic disorders have severe consequences for the patients and for the society in general, being one of the main causes of death. These facts reveal that it is extremely important to be preventive; being aware of how probable is to have that kind of syndrome. Indeed, this work will focus on the development of a decision support system that will cater for an individual risk evaluation with respect to the surge of thrombotic complaints. The Knowledge Representation and Reasoning procedures used will be based on an extension to the Logic Programming language, allowing the handling of incomplete and/or default data. The computational framework in place will be centered on Artificial Neural Networks.

Antibacterial properties of fibrous stents coated with silver oxide nanocoatings

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.

Project management under uncertainty: a study on solution methods

Project Management involves onetime endeavors that demand for getting it right the first time. On the other hand, project scheduling, being one of the most modeled project management process stages, still faces a wide gap from theory to practice. Demanding computational models and their consequent call for simplification, divert the implementation of such models in project management tools from the actual day to day project management process. Special focus is being made to the robustness of the generated project schedules facing the omnipresence of uncertainty. An "easy" way out is to add, more or less cleverly calculated, time buffers that always result in project duration increase and correspondingly, in cost. A better approach to deal with uncertainty seems to be to explore slack that might be present in a given project schedule, a fortiori when a non-optimal schedule is used. The combination of such approach to recent advances in modeling resource allocation and scheduling techniques to cope with the increasing flexibility in resources, as can be expressed in "Flexible Resource Constraint Project Scheduling Problem" (FRCPSP) formulations, should be a promising line of research to generate more adequate project management tools. In reality, this approach has been frequently used, by project managers in an ad-hoc way.

Review of robotic technology for keyhole transcranial stereotactic neurosurgery

The research of stereotactic apparatus to guide surgical devices began in 1908, yet a major part of today's stereotactic neurosurgeries still rely on stereotactic frames developed almost half a century ago. Robots excel at handling spatial information, and are, thus, obvious candidates in the guidance of instrumentation along precisely planned trajectories. In this review, we introduce the concept of stereotaxy and describe a standard stereotactic neurosurgery. Neurosurgeons' expectations and demands regarding the role of robots as assistive tools are also addressed. We list the most successful robotic systems developed specifically for or capable of executing stereotactic neurosurgery. A critical review is presented for each robotic system, emphasizing the differences between them and detailing positive features and drawbacks. An analysis of the listed robotic system features is also undertaken, in the context of robotic application in stereotactic neurosurgery. Finally, we discuss the current perspective, and future directions of a robotic technology in this field. All robotic systems follow a very similar and structured workflow despite the technical differences that set them apart. No system unequivocally stands out as an absolute best. The trend of technological progress is pointing toward the development of miniaturized cost-effective solutions with more intuitive interfaces.

Performance assessment of electrically small antennas for implantable microsystems with wireless power and communications

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Eletrónica Médica)

Reengenharia do sistema de armazenamento duma empresa do setor da metalomecânica

Dissertação de mestrado em Engenharia Industrial

Predation of bat (Molossus molossus: Molossidae) by the centipede Scolopendra viridicornis (Scolopendridae) in Southern Amazonia

Centipedes are opportunistic carnivore predators, and large species can feed on a wide variety of vertebrates, including bats. The aim of this study was to report the third record of bat predation by centipedes worldwide, the first record in the Amazon region, while covering aspects of foraging, capture and handling of prey. We observed the occurence in a fortuitous encounter at Cristalino State Park, located in the Amazon region of the state of Mato Grosso, Brazil. The attack took place in a small wooden structure, at about three meters from the floor, and was observed for 20 minutes. During the observation, the centipede stung the neck and abdominal region of the bat several times, grabbing the prey with its 15 pairs of front legs while hanging from the ceiling with its hind legs. This type of observation suggests that vertebrates can be important preys for invertebrates such as giant centipedes, both for its nutritional composition and for the amount of energy available in a single prey.

Processamento e caracterização de compósitos de Ti-HAP para aplicações biomédicas

Dissertação de mestrado integrado em Engenharia de Materiais

Estudo e conceção de um sistema de encaixe rápido e simples para próteses de membros inferiores

Dissertação de mestrado integrado em Engenharia Biomédica

Modelação de governo electrónico para países emergentes: O caso de São Tomé e Príncipe

Tese de Doutoramento em Tecnologias e Sistemas de Informação

O ensino da flauta de bisel em grupo como inovação pedagógica: Uma investigação-ação no 2.º Ciclo do Ensino Básico

Tese de Doutoramento em Estudos da Criança (Especialidade em Educação Musical)

Algorithms and computational tools for metabolic flux analysis

PhD thesis in Biomedical Engineering

A linear algebra approach to OLAP

Inspired by the relational algebra of data processing, this paper addresses the foundations of data analytical processing from a linear algebra perspective. The paper investigates, in particular, how aggregation operations such as cross tabulations and data cubes essential to quantitative analysis of data can be expressed solely in terms of matrix multiplication, transposition and the Khatri–Rao variant of the Kronecker product. The approach offers a basis for deriving an algebraic theory of data consolidation, handling the quantitative as well as qualitative sides of data science in a natural, elegant and typed way. It also shows potential for parallel analytical processing, as the parallelization theory of such matrix operations is well acknowledged.

Modelling and verifying smell-free architectures with the Archery language

Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.