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.

Artificial neural networks in diagnosis of liver diseases

Liver diseases have severe patients’ consequences, being one of the main causes of premature death. These facts reveal the centrality of one`s daily habits, and how important it is the early diagnosis of these kind of illnesses, not only to the patients themselves, but also to the society in general. Therefore, this work will focus on the development of a diagnosis support system to these kind of maladies, built under a formal framework based on Logic Programming, in terms of its knowledge representation and reasoning procedures, complemented with an approach to computing grounded on Artificial Neural Networks.

Logic programming and artificial neural networks in breast cancer detection

About 90% of breast cancers do not cause or are capable of producing death if detected at an early stage and treated properly. Indeed, it is still not known a specific cause for the illness. It may be not only a beginning, but also a set of associations that will determine the onset of the disease. Undeniably, there are some factors that seem to be associated with the boosted risk of the malady. Pondering the present study, different breast cancer risk assessment models where considered. It is our intention to develop a hybrid decision support system under a formal framework based on Logic Programming for knowledge representation and reasoning, complemented with an approach to computing centered on Artificial Neural Networks, to evaluate the risk of developing breast cancer and the respective Degree-of-Confidence that one has on such a happening.

Lithium-doped silk fibroin films for application in electrochromic devices

Silk fibroin (SF) is a commonly available natural biopolymer produced in specialized glands of arthropods, with a long history of use in textile production and also in health cares. The exceptional intrinsic properties of these fibers, such as self-assembly, machinability, biocompatibility, biodegradation or non-toxicity, offer a wide range of exciting opportunities [1]. It has long been recognized that silk can be a rich source of inspiration for designing new materials with tailored properties, enhanced performance and high added value for targeted applications, opening exciting new prospects in the domain of materials science and related technological fields, including bio-friendly integration, miniaturization and multifunctionalization. In recent years it has been demonstrated that fibroin is an excellent material for active components in optics and photonics devices. Progress in new technological fields such as optics, photonics and electronics are emerging [2,3]. The incorporation of polymer electrolytes as components of various devices (advanced batteries, smart windows, displays and supercapacitors) offers significant advantages with respect to traditional electrolytes, including enhanced reliability and improved safety. SF films are particularly attractive in this context. They have near-perfect transparency across the VIS range, surface flatness (together with outstanding mechanical robustness), ability to replicate patterned substrates and their thickness may be easily tailored from a few nanometers to hundreds of micrometers through spin-casting of a silk solution into subtract. Moreover, fibroin can be added to other biocomponents or salts in order to modify the biomaterial properties leading to optimized and total different functions. Preliminary tests performed with a prototype electrochromic device (ECD) incorporating SF films doped with lithium triflate and lithium tetrafluoroborate (LiTFSI and LiBF4, respectively) as electrolyte and WO3 as cathodic electrochromic layer, are extremely encouraging. Aiming to evaluate the performance of the ion conducting SF membranes doped with LiTFSI and LiBF4 (SF-Li), small ECDs with glass/ITO/WO3/SF-Li/CeO2-TiO2/ITO/glass configuration were assembled and characterized. The device exhibited, after 4500 cycles, the insertion of charge at -3.0 V reached –1.1 mC.cm-2 in 15 s. After 4500 cycles the window glass-staining, glass/ITO/WO3/Fibrin-Li salts electrolyte/CeO2-TiO2/ITO/glass configuration was reversible and featured a T  8 % at λ = 686 nm

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

Immersiveness of ubiquitous computing environments prototypes: A case study

The development of ubiquitous computing (ubicomp) environments raises several challenges in terms of their evaluation. Ubicomp virtual reality prototyping tools enable users to experience the system to be developed and are of great help to face those challenges, as they support developers in assessing the consequences of a design decision in the early phases of development. Given the situated nature of ubicomp environments, a particular issue to consider is the level of realism provided by the prototypes. This work presents a case study where two ubicomp prototypes, featuring different levels of immersion (desktop-based versus CAVE-based), were developed and compared. The goal was to determine the cost/benefits relation of both solutions, which provided better user experience results, and whether or not simpler solutions provide the same user experience results as more elaborate one.

Communications with QoS in IoT&Cloud environment

Dissertação de mestrado integrado em Engenharia de Telecomunicações e Informática

An investigation into system security requirements and implementation in an Application Service Provider (ASP) environment

Although the ASP model has been around for over a decade, it has not achieved the expected high level of market uptake. This research project examines the past and present state of ASP adoption and identifies security as a primary factor influencing the uptake of the model. The early chapters of this document examine the ASP model and ASP security in particular. Specifically, the literature and technology review chapter analyses ASP literature, security technologies and best practices with respect to system security in general. Based on this investigation, a prototype to illustrate the range and types of technologies that encompass a security framework was developed and is described in detail. The latter chapters of this document evaluate the practical implementation of system security in an ASP environment. Finally, this document outlines the research outputs, including the conclusions drawn and recommendations with respect to system security in an ASP environment. The primary research output is the recommendation that by following best practices with respect to security, an ASP application can provide the same level of security one would expect from any other n-tier client-server application. In addition, a security evaluation matrix, which could be used to evaluate not only the security of ASP applications but the security of any n-tier application, was developed by the author. This thesis shows that perceptions with regard to fears of inadequate security of ASP solutions and solution data are misguided. Finally, based on the research conducted, the author recommends that ASP solutions should be developed and deployed on tried, tested and trusted infrastructure. Existing Application Programming Interfaces (APIs) should be used where possible and security best practices should be adhered to where feasible.

Numerische Simulation von Strömung und Massentransport in (elektro-)chromatographischen Systemen

Electrochromatography, numerical simulation, electrokinetics, electroosmosis, parallel computing

On the stability of periodic orbits in Rn

We consider an autonomous differential system in Rn with a periodic orbit and we give a new method for computing the characteristic multipliers associated to it. Our method works when the periodic orbit is given by the transversal intersection of n ¡ 1 codimension one hypersurfaces and is an alternative to the use of the first order variational equations. We apply it to study the stability of the periodic orbits in several examples, including a periodic solution found by Steklov studying the rigid body dynamics.

Plataforma Computing@home

En este proyecto se han visto dos sistemas de computación distribuida diferentes entre ellos: Condor y BOINC. Se exploran las posibilidades para poder conseguir que ambos sistemas logren trabajar conjuntamente, escogiendo la parte más efectiva de cada uno de los sistemas con el fin de complementarse.

High-magnification vascular imaging to reject false-positive sites in situ during Hexvix® fluorescence cystoscopy.

Fluorescence imaging for detection of non-muscle-invasive bladder cancer is based on the selective production and accumulation of fluorescing porphyrins-mainly, protoporphyrin IX-in cancerous tissues after the instillation of Hexvix®. Although the sensitivity of this procedure is very good, its specificity is somewhat limited due to fluorescence false-positive sites. Consequently, magnification cystoscopy has been investigated in order to discriminate false from true fluorescence positive findings. Both white-light and fluorescence modes are possible with the magnification cystoscope, allowing observation of the bladder wall with magnification ranging between 30× for standard observation and 650×. The optical zooming setup allows adjusting the magnification continuously in situ. In the high-magnification (HM) regime, the smallest diameter of the field of view is 600 microns and the resolution is 2.5 microns when in contact with the bladder wall. With this cystoscope, we characterized the superficial vascularization of the fluorescing sites in order to discriminate cancerous from noncancerous tissues. This procedure allowed us to establish a classification based on observed vascular patterns. Seventy-two patients subject to Hexvix® fluorescence cystoscopy were included in the study. Comparison of HM cystoscopy classification with histopathology results confirmed 32?33 (97%) cancerous biopsies and rejected 17?20 (85%) noncancerous lesions.

In vivo measurement of tissue oxygenation by time-resolved luminescence spectroscopy: advantageous properties of dichlorotris(1, 10-phenanthroline)-ruthenium(II) hydrate.

Measuring tissue oxygenation in vivo is of interest in fundamental biological as well as medical applications. One minimally invasive approach to assess the oxygen partial pressure in tissue (pO2) is to measure the oxygen-dependent luminescence lifetime of molecular probes. The relation between tissue pO2 and the probes' luminescence lifetime is governed by the Stern-Volmer equation. Unfortunately, virtually all oxygen-sensitive probes based on this principle induce some degree of phototoxicity. For that reason, we studied the oxygen sensitivity and phototoxicity of dichlorotris(1, 10-phenanthroline)-ruthenium(II) hydrate [Ru(Phen)] using a dedicated optical fiber-based, time-resolved spectrometer in the chicken embryo chorioallantoic membrane. We demonstrated that, after intravenous injection, Ru(Phen)'s luminescence lifetime presents an easily detectable pO2 dependence at a low drug dose (1 mg∕kg) and low fluence (120 mJ∕cm2 at 470 nm). The phototoxic threshold was found to be at 10 J∕cm2 with the same wavelength and drug dose, i.e., about two orders of magnitude larger than the fluence necessary to perform a pO2 measurement. Finally, an illustrative application of this pO2 measurement approach in a hypoxic tumor environment is presented.

Monitorització d'alt nivell per a el computing de l'experiment ATLAS (LHC)

Aquest projecte descriu la fusió de les necessitats diaries de monitorització del experiment ATLAS des del punt de vista del cloud. La idea principal es desenvolupar un conjunt de col·lectors que recullin informació de la distribució i processat de les dades i dels test de wlcg (Service Availability Monitoring), emmagatzemant-la en BBDD específiques per tal de mostrar els resultats en una sola pàgina HLM (High Level Monitoring). Un cop aconseguit, l’aplicació ha de permetre investigar més enllà via interacció amb el front-end, el qual estarà alimentat per les estadístiques emmagatzemades a la BBDD.

Scheduling in virtual infrastructure

For the execution of the scientific applications, different methods have been proposed to dynamically provide execution environments for such applications that hide the complexity of underlying distributed and heterogeneous infrastructures. Recently virtualization has emerged as a promising technology to provide such environments. Virtualization is a technology that abstracts away the details of physical hardware and provides virtualized resources for high-level scientific applications. Virtualization offers a cost-effective and flexible way to use and manage computing resources. Such an abstraction is appealing in Grid computing and Cloud computing for better matching jobs (applications) to computational resources. This work applies the virtualization concept to the Condor dynamic resource management system by using Condor Virtual Universe to harvest the existing virtual computing resources to their maximum utility. It allows existing computing resources to be dynamically provisioned at run-time by users based on application requirements instead of statically at design-time thereby lay the basis for efficient use of the available resources, thus providing way for the efficient use of the available resources.