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.

Quantum field theory approach to the optical conductivity of strained and deformed graphene

The computation of the optical conductivity of strained and deformed graphene is discussed within the framework of quantum field theory in curved spaces. The analytical solutions of the Dirac equation in an arbitrary static background geometry for one dimensional periodic deformations are computed, together with the corresponding Dirac propagator. Analytical expressions are given for the optical conductivity of strained and deformed graphene associated with both intra and interbrand transitions. The special case of small deformations is discussed and the result compared to the prediction of the tight-binding model.

Development of advanced cell/tissue culture systems, based on enhanced polymeric scaffolds and sophisticated bioreactors, for tissue engineering applications

Programa Doutoral em Engenharia Biomédica

Systems biology approaches for the design of novel Saccharomyces cerevisiae winemaking strains for enhanced flavour compounds synthesis

Tese de Doutoramento em Biologia Ambiental e Molecular

An evolutionary approach to the use of Petri net based models: from parallel controllers to HW/SW co-design

"A workshop within the 19th International Conference on Applications and Theory of Petri Nets - ICATPN’1998"

A UML-based approach for modeling industrial control applications

The main purpose of the poster is to present how the Unified Modeling Language (UML) can be used for diagnosing and optimizing real industrial production systems. By using a car radios production line as a case study, the poster shows the modeling process that can be followed during the analysis phase of complex control applications. In order to guarantee the continuity mapping of the models, the authors propose some guidelines to transform the use cases diagrams into a single object diagram, which is the main diagram for the next phases of the development.

Vermiculite bio-barriers for Cu and Zn remediation: an eco-friendly approach for freshwater and sediments protection

The increase in heavy metal contamination in freshwater systems causes serious environmental problems in most industrialized countries, and the effort to find ecofriendly techniques for reducing water and sediment contamination is fundamental for environmental protection. Permeable barriers made of natural clays can be used as low-cost and eco-friendly materials for adsorbing heavy metals from water solution and thus reducing the sediment contamination. This study discusses the application of permeable barriers made of vermiculite clay for heavy metals remediation at the interface between water and sediments and investigates the possibility to increase their efficiency by loading the vermiculite surface with a microbial biofilm of Pseudomonas putida, which is well known to be a heavy metal accumulator. Some batch assays were performed to verify the uptake capacity of two systems and their adsorption kinetics, and the results indicated that the vermiculite bio-barrier system had a higher removal capacity than the vermiculite barrier (?34.4 and 22.8 % for Cu and Zn, respectively). Moreover, the presence of P. putida biofilm strongly contributed to fasten the kinetics of metals adsorption onto vermiculite sheets. In open-system conditions, the presence of a vermiculite barrier at the interface between water and sediment could reduce the sediment contamination up to 20 and 23 % for Cu and Zn, respectively, highlighting the efficiency of these eco-friendly materials for environmental applications. Nevertheless, the contribution of microbial biofilm in open-system setup should be optimized, and some important considerations about biofilm attachment in a continuous-flow system have been discussed.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Environmental management systems implementation

All organisations make some contribution to the degradation of the environment through their use of resources and production of waste. Environmental management systems (EMS) standards can provide a tool for companies to systematically reduce their environmental impacts. ISO 14001 was published in 1996. This fitted in with plans of the case study company to take proactive action in this area, even though there was no legislative requirement for them to do so. As EMS implementation was a new area at the time, appropriate methodologies were developed to address different aspects of the implementation, and ISO 14001 was successfully implemented in the company. The results of the primary research included: ♦ Drawing up a methodology for identifying and interpreting the environmental legislation that may have an impact on the organisation and compiling a register of such regulations. ♦ Developing a robust methodology for assessing significant environmental aspects and impacts and applying this to the software company. ♦ Establishing objectives and targets for those aspects identified as significant and implementing environmental management programmes to meet these. ♦ Developing an internal environmental audit procedure based on auditing against the significant aspects. ♦ Integrating areas of the EMS with the existing quality management system in order to avoid duplication of effort. ♦ Undergoing an external assessment process in order to achieve certification of the system. The thesis concludes that the systematic approach defined in ISO 14001 provided a mechanism that the organisation was able to adopt to bring about improvement in its environmental performance. The system was based on a thorough evaluation of the organisation's significant environmental aspects in order to bring about a reduction in its negative impacts. The ISO 14001 requirement for continual improvement is the key driver of the system, and this is what differentiates it from ISO 9000.

Development of an inspection regime for on-site domestic wastewater treatment systems

The overall purpose of this study was to develop a thorough inspection regime for onsite wastewater treatment systems, which is practical and could be implemented on all site conditions across the country. With approximately 450,000 onsite wastewater treatment systems in Ireland a risk based methodology is required for site selection. This type of approach will identify the areas with the highest potential risk to human health and the environment and these sites should be inspected first. In order to gain the required knowledge to develop an inspection regime in-depth and extensive research was earned out. The following areas of pertinent interest were examined and reviewed, history of domestic wastewater treatment, relevant wastewater legislation and guidance documents and potential detrimental impacts. Analysis of a questionnaire from a prior study, which assessed the resources available and the types of inspections currently undertaken by Local authorities was carried out. In addition to the analysis of the questionnaire results, interviews were carried out with several experts involved in the area of domestic wastewater treatment. The interview focussed on twelve key questions which were directed towards the expert’s opinions on the vital aspects of developing an inspection regime. The background research, combined with the questionnaire analysis and information from the interviews provided a solid foundation for the development of an inspection regime. Chapter 8 outlines the inspection regime which has been developed for this study. The inspection regime includes a desktop study, consultation with the homeowners, visual site inspection, non-invasive site tests, and inspection of the treatment systems. The general opinion from the interviews carried out, was that a standardised approach for the inspections was necessary. For this reason an inspection form was produced which provides a standard systematic approach for inspectors to follow. This form is displayed in Appendix 3. The development of a risk based methodology for site selection was discussed and a procedure similar in approach to the Geological Survey of Irelands Groundwater Protection Schemes was proposed. The EPA is currently developing a risk based methodology, but it is not available to the general public yet. However, the EPA provided a copy of a paper outlining the key aspects of their methodology. The methodology will use risk maps which take account of the following parameters: housing density, areas with inadequate soil conditions, risk of water pollution through surface and subsurface pathways. Sites identified with having the highest potential risk to human health and the environment shall be inspected first. Based on the research carried out a number of recommendations were made which are outlined in Chapter 10. The principle conclusion was that, if these systems fail to operate satisfactorily, home owners need to understand that these systems dispose of the effluent to the 'ground' and the effluent becomes part of the hydrological cycle; therefore, they are a potential hazard to the environment and human health. It is the owners, their families and their neighbours who will be at most immediate risk.

Application of Fuzzy Variables for Systems of Management Decision Support

The following article describes an approach covering the variety of opinions and uncertainties of estimates within the chosen technique of decision support. Mathematical operations used for assessment of options are traced to operations of working with functions that are used for assessment of possible options of decision-making. Approach proposed could be used within any technique of decision support based on elementary mathematical operations. In this article the above-mentioned approach is described under analytical hierarchy process.

Empiricism in ecological economics: a perspective from complex systems theory

Economies are open complex adaptive systems far from thermodynamic equilibrium, and neo-classical environmental economics seems not to be the best way to describe the behaviour of such systems. Standard econometric analysis (i.e. time series) takes a deterministic and predictive approach, which encourages the search for predictive policy to ‘correct’ environmental problems. Rather, it seems that, because of the characteristics of economic systems, an ex-post analysis is more appropriate, which describes the emergence of such systems’ properties, and which sees policy as a social steering mechanism. With this background, some of the recent empirical work published in the field of ecological economics that follows the approach defended here is presented. Finally, the conclusion is reached that a predictive use of econometrics (i.e. time series analysis) in ecological economics should be limited to cases in which uncertainty decreases, which is not the normal situation when analysing the evolution of economic systems. However, that does not mean we should not use empirical analysis. On the contrary, this is to be encouraged, but from a structural and ex-post point of view.

Enabling dCache to use preexistent mass storage systems

A mesura que la investigació depèn cada vegada més dels computadors, l'emmagatzematge de dades comença a convertir-se en un recurs escàs per als projectes, i suposa una gran part del cost total. Alguns projectes intenten resoldre aquest problema emprant emmagatzament distribuït. És doncs necessari que alguns centres proveeixin de grans quantitats d'emmagatzematge massiu de baix cost basat en cintes magnètiques. L'inconvenient d'aquesta solució és que el rendiment disminueix, particularment a l'hora de tractar-se de grans quantitats d'arxius petits. El nostre objectiu és crear un híbrid entre un sistema d'alt cost i rendiment basat en discs, i un de baix cost i rendiment basat en cintes. Per això, unirem dCache, un sistema d'emmagatzematge distribuït, amb Castor, un sistema d'emmagatzematge jeràrquic, creant sistemes de fitxers virtuals que contindran grans quantitats d'arxius petits per millorar el rendiment global del sistema.

Numerical simulation of combined heat transfer phenomena (conduction, convection, and radiation). Application to he optimisation of thermal systems

Thermal systems interchanging heat and mass by conduction, convection, radiation (solar and thermal ) occur in many engineering applications like energy storage by solar collectors, window glazing in buildings, refrigeration of plastic moulds, air handling units etc. Often these thermal systems are composed of various elements for example a building with wall, windows, rooms, etc. It would be of particular interest to have a modular thermal system which is formed by connecting different modules for the elements, flexibility to use and change models for individual elements, add or remove elements without changing the entire code. A numerical approach to handle the heat transfer and fluid flow in such systems helps in saving the full scale experiment time, cost and also aids optimisation of parameters of the system. In subsequent sections are presented a short summary of the work done until now on the orientation of the thesis in the field of numerical methods for heat transfer and fluid flow applications, the work in process and the future work.