Modelling an e-learning environment for learning programming languages

It is widely accepted that solving programming exercises is fundamental to learn how to program. Nevertheless, solving exercises is only effective if students receive an assessment on their work. An exercise solved wrong will consolidate a false belief, and without feedback many students will not be able to overcome their difficulties. However, creating, managing and accessing a large number of exercises, covering all the points in the curricula of a programming course, in classes with large number of students, can be a daunting task without the appropriated tools working in unison. This involves a diversity of tools, from the environments where programs are coded, to automatic program evaluators providing feedback on the attempts of students, passing through the authoring, management and sequencing of programming exercises as learning objects. We believe that the integration of these tools will have a great impact in acquiring programming skills. Our research objective is to manage and coordinate a network of eLearning systems where students can solve computer programming exercises. Networks of this kind include systems such as learning management systems (LMS), evaluation engines (EE), learning objects repositories (LOR) and exercise resolution environments (ERE). Our strategy to achieve the interoperability among these tools is based on a shared definition of programming exercise as a Learning Object (LO).

PExIL: Programming Exercises Interoperability Language

Several standards appeared in recent years to formalize the metadata of learning objects, but they are still insufficient to fully describe a specialized domain. In particular, the programming exercise domain requires interdependent resources (e.g. test cases, solution programs, exercise description) usually processed by different services in the programming exercise life-cycle. Moreover, the manual creation of these resources is time-consuming and error-prone leading to what is an obstacle to the fast development of programming exercises of good quality. This paper focuses on the definition of an XML dialect called PExIL (Programming Exercises Interoperability Language). The aim of PExIL is to consolidate all the data required in the programming exercise life-cycle, from when it is created to when it is graded, covering also the resolution, the evaluation and the feedback. We introduce the XML Schema used to formalize the relevant data of the programming exercise life-cycle. The validation of this approach is made through the evaluation of the usefulness and expressiveness of the PExIL definition. In the former we present the tools that consume the PExIL definition to automatically generate the specialized resources. In the latter we use the PExIL definition to capture all the constraints of a set of programming exercises stored in a learning objects repository.

Modelling a network of heterogeneous e-learning systems

In recent years emerged several initiatives promoted by educational organizations to adapt Service Oriented Architectures (SOA) to e-learning. These initiatives commonly named eLearning Frameworks share a common goal: to create flexible learning environments by integrating heterogeneous systems already available in many educational institutions. However, these frameworks were designed for integration of systems participating in business like processes rather than on complex pedagogical processes as those related to automatic evaluation. Consequently, their knowledge bases lack some fundamental components that are needed to model pedagogical processes. The objective of the research described in this paper is to study the applicability of eLearning frameworks for modelling a network of heterogeneous eLearning systems, using the automatic evaluation of programming exercises as a case study. The paper surveys the existing eLearning frameworks to justify the selection of the e-Framework. This framework is described in detail and identified the necessary components missing from its knowledge base, more precisely, a service genre, expression and usage model for an evaluation service. The extensibility of the framework is tested with the definition of this service. A concrete model for evaluation of programming exercises is presented as a validation of the proposed approach.

PETCHA: a Programming Exercises Teaching Assistant

This paper presents a tool called Petcha that acts as an automated Teaching Assistant in computer programming courses. The ultimate objective of Petcha is to increase the number of programming exercises effectively solved by students. Petcha meets this objective by helping both teachers to author programming exercises and students to solve them. It also coordinates a network of heterogeneous systems, integrating automatic program evaluators, learning management systems, learning object repositories and integrated programming environments. This paper presents the concept and the design of Petcha and sets this tool in a service oriented architecture for managing learning processes based on the automatic evaluation of programming exercises. The paper presents also a case study that validates the use of Petcha and of the proposed architecture.

Making programming exercises interoperable with PExIL

Several standards have appeared in recent years to formalize the metadata of learning objects, but they are still insufficient to fully describe a specialized domain. In particular, the programming exercise domain requires interdependent resources (e.g. test cases, solution programs, exercise description) usually processed by different services in the programming exercise lifecycle. Moreover, the manual creation of these resources is time-consuming and error-prone, leading to an obstacle to the fast development of programming exercises of good quality. This chapter focuses on the definition of an XML dialect called PExIL (Programming Exercises Interoperability Language). The aim of PExIL is to consolidate all the data required in the programming exercise lifecycle from when it is created to when it is graded, covering also the resolution, the evaluation, and the feedback. The authors introduce the XML Schema used to formalize the relevant data of the programming exercise lifecycle. The validation of this approach is made through the evaluation of the usefulness and expressiveness of the PExIL definition. In the former, the authors present the tools that consume the PExIL definition to automatically generate the specialized resources. In the latter, they use the PExIL definition to capture all the constraints of a set of programming exercises stored in a learning objects repository.

Evaluation of enzyme-linked immunosorbent and alternative assays for detection of HIV antibodies using panels of Brasilian sera

Sera from 472 Brazilian subjects, confirmed to be either positive or negative for HIV antibodies and comprising the total clinical spectrum of HIV infection, were utilized in the evaluation of six commercially available enzyme-linked immunosorbent assays (ELISA), as well as of four alternative assays, namely indirect immunofluorescence (IIF), passive hemagglutination (PHA), dot blot and Karpas AIDS cell test. The sensitivities ranged from 100% (Abbott and Roche ELISA) to 84.2% (PHA) and the specificities ranged from 99.3% (IIF) to 80.2% (PHA). The sensitivity and specificity of the PHA and the sensitivity of the Karpas cell test were significantly lower than those of the other tests. Although the IFF and dot blot had good sensitivities and specificities, the six ELISA were more attractive than those tests when other parameters such as ease of reading and duration of assay were considered.

Standardization of dot-ELISA for the serological diagnosis of toxocariasis and comparision of the assay with ELISA

The dot-enzyme-linked immunosorbent assay (dot-ELISA) was standardized using somatic (S) and excretory-secretory (ES) antigens of Toxocara-canis for the detection of specific antibodies in 22 serum samples from children aged 1 to 15 years, with clinical signs of toxocariasis. Fourteen serum samples from apparently normal individuals and 28 sera from patients with other pathologies were used as controls. All samples were used before and after absorption with Ascaris suum extract. When the results were evaluated in comparison with ELISA, the two tests were found to have similar sensitivity, but dot-ELISA was found to be more specific in the presence of the two antigens studied. Dot-ELISA proved to be effective for the diagnosis of human toxocariasis, presenting advantages in terms of yield, stability, time and ease of execution and low cost.

Desenvolvimento de Aplicação para a Otimização de Processo Produtivo

Empreendimentos industriais requerem o acompanhamento completo e preciso de dados de máquinas em tempo real, integrando as atividades do chão de fábrica com a engenharia, suporte e negócios. É reconhecido que sistemas de monitorização são fundamentais para melhorar a qualidade do produto, reduzir os tempos e para a adaptação rápida às mudanças de produção. Os sensores de processos possuem custos altos, não são compactos e são de difícil implementação. Portanto, seria estratégico desenvolver sistemas de monitorização que usufruem ao máximo dos recursos já existentes nas máquinas e ferramentas e que não representem custos adicionais elevados e de difícil implementação. O uso de PLC nas indústrias é crescente. Estes mostram-se como ferramentas potenciais para atender a estas exigências. Os PLC possuem os recursos necessários para a aquisição de informações e controlo das máquinas, facilitando a interação com um sistema SCADA. O objetivo do presente trabalho é pesquisar soluções sobre sistemas de monitorização que possam substituir um sistema instalado antiquado e encontrar uma solução para o controlo de um processo de vazamento. Para tal, foram consideradas duas soluções: uma passaria por desenvolver um sistema de monitorização que controlasse o processo de vazamento, e outra que permitisse ser o PLC a fazer o controlo, adquirindo um HMI apenas para monitorização. Esta última solução revelou-se como a melhor, visto que um PLC tem mais durabilidade em relação a um PC, em termos de atualizações de hardware e software. Assim, foram criadas funções no PLC para fazer o controlo de vazamento e foi adquirido uma consola Beijer, e respetivo software de programação SCADA, para a criação do sistema de monitorização. Os resultados mostram que o PLC é capaz de executar o controlo, não sendo necessário investir em PC que são mais caros, bastando para isso adquirir sistemas SCADA simples e capazes.

EVIDENCE OF Leishmania (Leishmania) infantum INFECTION IN DOGS FROM JUIZ DE FORA, MINAS GERAIS STATE, BRAZIL, BASED ON IMMUNOCHROMATOGRAPHIC DUAL-PATH PLATFORM (DPP®) AND PCR ASSAYS

In Brazil, domestic dogs are branded as the primary reservoir for zoonotic visceral leishmaniasis, due to the clear positive correlation observed between human and canine infection rates. This study aimed to carry out a serological survey of canine visceral leishmaniasis (CVL) in dogs housed at a public kennel in the municipality of Juiz de Fora, Minas Gerais State, Brazil, using the immunochromatographic TR DPP® CVL rapid test. Additionally, conventional and/or real time PCR assay was used to detect and confirm L. infantum infection in the DPP positive dogs only. Of the 400 dogs studied, most did not present clinical signs for CVL (p < 0.05), and fifteen (3.8%) were seropositive in the DPP test. There was no statistically significant difference between the DPP seropositive dogs and the clinical signs of the disease (p > 0.05). Both conventional and real time PCR tests confirmed L. infantum infection in nine (75.0%) of the twelve DPP seropositive dogs that remained alive during the follow-up period. This study is the first seroepidemiologic survey of CVL held in the city of Juiz de Fora, and the results reinforce the idea that this disease is currently in a process of expansion and urbanization in Brazil. Furthermore, this study highlights the use of the DPP test as an alternative for diagnosing CVL in large and mid-sized cities, due to its ease of implementation.

Assessment of Notch1 ligands production - key protein targets in breast cancer

Cell-to-cell communication is required for many biological processes in development and adult life. One of the most common systems utilized by a wide range of eukaryotes is the Notch signalling pathway. Four Notch receptors and five ligands have been identified in mammals that interact via their extracellular domains leading to transcription activation. Studies have shown that the Notch ligands expression is undetectable in normal breast tissues, but moderate to high expression has been detected in breast cancer. Thus, any of the Notch1 ligands can be studied as possible therapeutic targets for breast cancer. To study Notch pathway proteins there is the need to obtain stable protein solutions. E. coli is the host of excellence for recombinant proteins for the ease of use, fast growth and high cell densities. However, the expression of mammalian proteins in such systems may overwhelm the bacterial cellular machinery, which does not possess the ability for post-translational modifications, or dedicated compartments for protein synthesis. Mammalian cells are therefore preferred, despite their technical and financial increased demands. We aim to determine the best expression and purification conditions for the different ligand protein constructs, to develop specific function-blocking antibodies using the Phage Display technology. Moreover, we propose to crystallize the Notch1 ligands alone and in complex with the phage display selected antibodies, unveiling molecular details. hJag2DE3 and hDll1DE6 proteins were purified from refolded inclusion bodies or mammalian cell culture supernatants, respectively, and purity was confirmed by SDS-PAGE (>95%). Protein produced in mammalian cells showed to be more stable, apparently with the physiological disulfide pattern, contrary to what was observed in the refolded protein. Several nano-scale crystallization experiments were set up in 96-well plates, but no positive result was obtained. We will continue to pursue for the best expression for the Notch ligand constructs in both expression systems.

Occurrence of severe dengue in Rio de Janeiro: an ecological study

Introduction This study aimed to analyze the relationship between the incidence of severe dengue during the 2008 epidemic in Rio de Janeiro, Brazil, and socioeconomic indicators, as well as indicators of health service availability and previous circulation of the dengue virus serotype-3 (DENV-3). Methods In this ecological study, the units of analysis were the districts of Rio de Janeiro. The data were incorporated into generalized linear models, and the incidence of severe dengue in each district was the outcome variable. Results The districts with more cases of dengue fever in the 2001 epidemic and a higher percentage of residents who declared their skin color or race as black had higher incidence rates of severe dengue in the 2008 epidemic [incidence rate ratio (IRR)= 1.21; 95% confidence interval (95%CI)= 1.05-1.40 and IRR= 1.34; 95%CI= 1.16-1.54, respectively]. In contrast, the districts with Family Health Strategy (FHS) clinics were more likely to have lower incidence rates of severe dengue in the 2008 epidemic (IRR= 0.81; 95%CI= 0.70-0.93). Conclusions At the ecological level, our findings suggest the persistence of health inequalities in this region of Brazil that are possibly due to greater social vulnerability among the self-declared black population. Additionally, the protective effect of FHS clinics may be due to the ease of access to other levels of care in the health system or to a reduced vulnerability to dengue transmission that is afforded by local practices to promote health.

Da modelação matemática à simulação computacional: a experimentação matemática no ensino

Tese de Doutoramento em Ciências (área de especialização em Matemática).

Da modelação matemática à simulação computacional: a experimentação matemática no ensino

Tese de Doutoramento em Ciências (área de especialização em Matemática).

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.

A study of risk-aware program transformation

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.