Pervasive business intelligence platform to improve the quality of decision process in primary and secondary education – A Portuguese case study

Business Intelligence (BI) can be seen as a method that gathers information and data from information systems in order to help companies to be more accurate in their decision-making process. Traditionally BI systems were associated with the use of Data Warehouses (DW). The prime purpose of DW is to serve as a repository that stores all the relevant information required for making the correct decision. The necessity to integrate streaming data became crucial with the need to improve the efficiency and effectiveness of the decision process. In primary and secondary education, there is a lack of BI solutions. Due to the schools reality the main purpose of this study is to provide a Pervasive BI solution able to monitoring the schools and student data anywhere and anytime in real-time as well as disseminating the information through ubiquitous devices. The first task consisted in gathering data regarding the different choices made by the student since his enrolment in a certain school year until the end of it. Thereafter a dimensional model was developed in order to be possible building a BI platform. This paper presents the dimensional model, a set of pre-defined indicators, the Pervasive Business Intelligence characteristics and the prototype designed. The main contribution of this study was to offer to the schools a tool that could help them to make accurate decisions in real-time. Data dissemination was achieved through a localized application that can be accessed anywhere and anytime.

Interacting and making personalized recommendations of places of interest to tourists

Advances in Intelligent Systems and Computing, 353

Cationic Liposomes as antigenic delivery systems: development of an immunoprotective strategy against Candida albicans

Tese de Doutoramento Biologia Molecular e Ambiental - Especialidade em Biologia Celular e Saúde

Towards "green" smart materials for force and strain sensors: The case of polyaniline

Stress/strain sensors constitute a class of devices with a global ever-growing market thanks to their use in many fields of modern life. They are typically constituted by thin metal foils deposited on flexible supports. However, the low inherent resistivity and limited flexibility of their constituents make them inadequate for several applications, such as measuring large movements in robotic systems and biological tissues. As an alternative to the traditional compounds, in the present work we will show the advantages to employ a smart material, polyaniline (PANI), prepared by an innovative environmentally friendly route, for force/strain sensor applications wherein simple processing, environmental friendliness and sensitivity are particularly required.

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)

Grasses and legumes as cover crop in no-tillage system in northeastern Pará Brazil

Studies to select one or more species of coverage plants adapted to Amazonian soil and climate conditions of the Amazon are a promising strategy for the improvement of environmental quality, establishing no-till agricultural systems, and thereby reducing the impacts of monoculture farming. The aim of this study was to assess the persistence time, half-life time, macronutrient content and accumulation, and C:N ratio of straw coverage in a Ultisol in northeastern Pará. Experimental design was randomized blocks with five treatments and five replicates. Plants were harvested after 105 days, growth and biomass production was quantified. After 84 days, soil coverage was 97, 85, 52, 50, and 15% for signalgrass (Brachiaria brizantha) (syn. Urochloa), dense crowngrass (Panicum purpurascens), jack bean (Canavalia ensiformes), pearl millet (Pennisetum americanum) and sunn hemp (Crotalaria juncea,), respectively. Signalgrass yielded the greatest dry matter production (9,696 kg ha-1). It also had high C:N ratio (38.4), long half-life (86.5 days) and a high persistence in the field. Jack bean also showed high dry matter production (8,950 kg ha-1), but it had low C:N ratio (17.4) and lower half-life time (39 days) than the grasses. These attributes indicate that signalgrass and jack bean have a high potential for use as cover plants in no-till agricultural systems in the State of Pará.

Optimization of magnetoelectric composites based on electroactive polymers for energy harvesting and sensor application

Tese de Doutoramento em Engenharia de Materiais.

Marine origin polysaccharides in drug delivery systems

Oceans are a vast source of natural substances. In them, we find various compounds with wide biotechnological and biomedical applicabilities. The exploitation of the sea as a renewable source of biocompounds can have a positive impact on the development of new systems and devices for biomedical applications. Marine polysaccharides are among the most abundant materials in the seas, which contributes to a decrease of the extraction costs, besides their solubility behavior in aqueous solvents and extraction media, and their interaction with other biocompounds. Polysaccharides such as alginate, carrageenan and fucoidan can be extracted from algae, whereas chitosan and hyaluronan can be obtained from animal sources. Most marine polysaccharides have important biological properties such as biocompatibility, biodegradability, and anti-inflammatory activity, as well as adhesive and antimicrobial actions. Moreover, they can be modified in order to allow processing them into various shapes and sizes and may exhibit response dependence to external stimuli, such as pH and temperature. Due to these properties, these biomaterials have been studied as raw material for the construction of carrier devices for drugs, including particles, capsules and hydrogels. The devices are designed to achieve a controlled release of therapeutic agents in an attempt to fight against serious diseases, and to be used in advanced therapies, such as gene delivery or regenerative medicine.

Enzymatic treatments to improve mechanical properties and surface hydrophobicity of jute fiber membranes

Fiber membranes prepared from jute fragments can be valuable, low cost, and renewable. They have broad application prospects in packing bags, geotextiles, filters, and composite reinforcements. Traditionally, chemical adhesives have been used to improve the properties of jute fiber membranes. A series of new laccase, laccase/mediator systems, and multi-enzyme synergisms were attempted. After the laccase treatment of jute fragments, the mechanical properties and surface hydrophobicity of the produced fiber membranes increased because of the cross-coupling of lignins with ether bonds mediated by laccase. The optimum conditions were a buffer pH of 4.5 and an incubation temperature of 60 °C with 0.92 U/mL laccase for 3 h. Laccase/guaiacol and laccase/alkali lignin treatments resulted in remarkable increases in the mechanical properties; in contrast, the laccase/2,2-azino-bis-(3-ethylthiazoline-6-sulfonate) (ABTS) and laccase/2,6-dimethoxyphenol treatments led to a decrease. The laccase/ guaiacol system was favorable to the surface hydrophobicity of jute fiber membranes. However, the laccase/alkali lignin system had the opposite effect. Xylanase/laccase and cellulase/laccase combined treatments were able to enhance both the mechanical properties and the surface hydrophobicity of jute fiber membranes. Among these, cellulase/laccase treatment performed better; compared to mechanical properties, the surface hydrophobicity of the jute fiber membranes showed only a slight increase after the enzymatic multi-step processes.

Pharmacological evaluation of plant extracts from Chapada Diamantina (Bahia, Brazil): Focus on antioxidant and cytotoxic properties

Tese de Doutoramento em Biologia de Plantas MAP - Bioplant

Biocatalysis in micellar systems

[Excert] Biocatalysis and biotransformations are environmentally friendly, and allow the development of sustainable production processes on a large scale. Thus, these processes are becoming important alternatives to conventional chemistry in the drug, biochemical, and emerging biorenewable energy industries. Biocatalysts are required to function under non-conventional conditions, such as in organic solvents, being competitive in terms of cost and efficiency. In fact, the technological utility of enzymes can be enhanced greatly by using them in the presence of organic solvents, rather than in their natural aqueous reaction media. Multiphase systems are more complex but offer a new field of possibilities. The presence of hydrophobic solvents in biocatalysis allows the conversion of poorly water soluble substrates more efficiently. The accessibility of hydrophobic substrates to enzymes or whole cells presents an interesting challenge for researchers and technologists. In this context, microemulsions are a promising tool in enzyme technology. This chapter presents an overview of the characterization of biphasic and microemulsion systems and their applications in biotransformation processes (...).

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.

Pervasive decision support to predict football corners and goals by means of data mining

Football is considered nowadays one of the most popular sports. In the betting world, it has acquired an outstanding position, which moves millions of euros during the period of a single football match. The lack of profitability of football betting users has been stressed as a problem. This lack gave origin to this research proposal, which it is going to analyse the possibility of existing a way to support the users to increase their profits on their bets. Data mining models were induced with the purpose of supporting the gamblers to increase their profits in the medium/long term. Being conscience that the models can fail, the results achieved by four of the seven targets in the models are encouraging and suggest that the system can help to increase the profits. All defined targets have two possible classes to predict, for example, if there are more or less than 7.5 corners in a single game. The data mining models of the targets, more or less than 7.5 corners, 8.5 corners, 1.5 goals and 3.5 goals achieved the pre-defined thresholds. The models were implemented in a prototype, which it is a pervasive decision support system. This system was developed with the purpose to be an interface for any user, both for an expert user as to a user who has no knowledge in football games.

The effects of sodium hypochlorite against selected drinking water-isolated bacteria in planktonic and sessile states

Chlorine is the most commonly used agent for general disinfection, particularly for microbial growth control in drinking water distribution systems. The goals of this study were to understand the effects of chlorine, as sodium hypochlorite (NaOCl), on bacterial membrane physicochemical properties (surface charge, surface tension and hydrophobicity) and on motility of two emerging pathogens isolated from drinking water, Acinetobacter calcoaceticus and Stenotrophomonas maltophilia. The effects of NaOCl on the control of single and dual-species monolayer adhered bacteria (2 h incubation) and biofilms (24 h incubation) was also assessed. NaOCl caused significant changes on the surface hydrophobicity and motility of A. calcoaceticus, but not of S. maltophilia. Planktonic and sessile S. maltophilia were significantly more resistant to NaOCl than A. calcoaceticus. Monolayer adhered co-cultures of A. calcoaceticus-S. maltophilia were more resilient than the single species. Oppositely, dual species biofilms were more susceptible to NaOCl than their single species counterparts. In general, biofilm removal and killing demonstrated to be distinct phenomena: total bacterial viability reduction was achieved even if NaOCl at the higher concentrations had a reduced removal efficacy, allowing biofilm reseed. In conclusion, understanding the antimicrobial susceptibility of microorganisms to NaOCl can contribute to the design of effective biofilm control strategies targeting key microorganisms, such as S. maltophilia, and guarantying safe and high-quality drinking water. Moreover, the results reinforce that biofilms should be regarded as chronic contaminants of drinking water distribution systems and accurate methods are needed to quantify their presence as well as strategies complementary/alternative to NaOCl are required to effectively control the microbiological quality of drinking water.

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.