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.

Programming exercises evaluation systems: an interoperability survey

Learning computer programming requires solving programming exercises. In computer programming courses teachers need to assess and give feedback to a large number of exercises. These tasks are time consuming and error-prone since there are many aspects relating to good programming that should be considered. In this context automatic assessment tools can play an important role helping teachers in grading tasks as well to assist students with automatic feedback. In spite of its usefulness, these tools lack integration mechanisms with other eLearning systems such as Learning Management Systems, Learning Objects Repositories or Integrated Development Environments. In this paper we provide a survey on programming evaluation systems. The survey gathers information on interoperability features of these systems, categorizing and comparing them regarding content and communication standardization. This work may prove useful to instructors and computer science educators when they have to choose an assessment system to be integrated in their e-Learning environment.

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.

Bridging between programming exercises formats with BabeLO

Assessment plays a vital role in learning. This is certainly the case with assessment of computer programs, both in curricular and competitive learning. The lack of a standard – or at least a widely used format – creates a modern Ba- bel tower made of Learning Objects, of assessment items that cannot be shared among automatic assessment systems. These systems whose interoperability is hindered by the lack of a common format include contest management systems, evaluation engines, repositories of learning objects and authoring tools. A prag- matical approach to remedy this problem is to create a service to convert among existing formats. A kind of translation service specialized in programming prob- lems formats. To convert programming exercises on-the-fly among the most used formats is the purpose of the BabeLO – a service to cope with the existing Babel of Learning Object formats for programming exercises. BabeLO was designed as a service to act as a middleware in a network of systems typically used in auto- matic assessment of programs. It provides support for multiple exercise formats and can be used by: evaluation engines to assess exercises regardless of its format; repositories to import exercises from various sources; authoring systems to create exercises in multiple formats or based on exercises from other sources. This paper analyses several of existing formats to highlight both their differ- ences and their similar features. Based on this analysis it presents an approach to extensible format conversion. It presents also the features of PExIL, the pivotal format in which the conversion is based; and the function definitions of the proposed service – BabeLO. Details on the design and implementation of BabeLO, including the service API and the interfaces required to extend the conversion to a new format, are also provided. To evaluate the effectiveness and efficiency of this approach this paper reports on two actual uses of BabeLO: to relocate exercises to a different repository; and to use an evaluation engine in a network of heterogeneous systems.

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.

Waste recovery into activated carbon for water purification from heavy metals

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Química Pela Universidade Nova de Lisboa,Faculdade de Ciências e Tecn

Gender and reproductive autonomy : are there second-class citizens in Europe?

EUROPEAN MASTER’S DEGREE IN HUMAN RIGHTS AND DEMOCRATISATION Academic Year 2007/2008

O teatro como lugar de reinvenção de públicos: conceções sobre a formação do espectador

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Educação Artística, na especialização de Teatro na Educação

Towards Active Course Marks for Autonomous Sailing Competitions

This paper describes the environmental monitoring / regatta beacon buoy under development at the Laboratory of Autonomous Systems (LSA) of the Polytechnic Institute of Porto. On the one hand, environmentalmonitoring of open water bodies in real or deferred time is essential to assess and make sensible decisions and, on the other hand, the broadcast in real time of position, water and wind related parameters allows autonomous boats to optimise their regatta performance. This proposal, rather than restraining the boats autonomy, fosters the development of intelligent behaviour by allowing the boats to focus on regatta strategy and tactics. The Nautical and Telemetric Application (NAUTA) buoy is a dual mode reconfigurable system that includes communications, control, data logging, sensing, storage and power subsystems. In environmental monitoring mode, the buoy gathers and stores data from several underwater and above water sensors and, in regatta mode, the buoy becomes an active course mark for the autonomous sailing boats in the vicinity. During a race, the buoy broadcasts its position, together with the wind and the water current local conditions, allowing autonomous boats to navigate towards and round the mark successfully. This project started with the specification of the requirements of the dual mode operation, followed by the design and building of the buoy structure. The research is currently focussed on the development of the modular, reconfigurable, open source-based control system. The NAUTA buoy is innovative, extensible and optimises the on board platform resources.

Trypanossoma cruzi: course of infection in platelets-depleted mice

The effect of platelet depletion on the course of Trypanosoma cruzi infection in BALB/c mice was investigated. Thrombocytopenia was achieved by inoculation of rabbit anti-platelet IgG during the parasitemic phase of the infection. The number of parasites in the blood of anti-platelet IgG treated was significantly higher than that of non-treated control mice, during the phase of high parasitemia. Cumulative mortality of platelet-depleted mice was consistently but not significantly higher than that of control mice up to the 32nd day of infection; from the 33rd day on they were equivalent, no mortalities occurring from then on, until observations were discontinued on the 60th day. These results suggest that platelets participate of the mechanisms of parasites removal from the bloodstream, but do not have an effective role in the mechanisms of defence against T. cruzi, during the acute phase of infection.

Bergantim: trabalho de projecto

Trabalho de Projeto submetido à Escola Superior de Teatro e Cinema para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teatro, especialização em Teatro e Comunidade.

O sonho: teatro-música experimental

Trabalho de Projeto submetido à Escola Superior de Teatro e Cinema para cumprimento dos requisitos necessários à obtenção do grau de Mestre em TEATRO - especialização em Artes Performativas (Teatro-Música).

Dynamic programming for a Markov-switching jump–diffusion

We consider an optimal control problem with a deterministic finite horizon and state variable dynamics given by a Markov-switching jump–diffusion stochastic differential equation. Our main results extend the dynamic programming technique to this larger family of stochastic optimal control problems. More specifically, we provide a detailed proof of Bellman’s optimality principle (or dynamic programming principle) and obtain the corresponding Hamilton–Jacobi–Belman equation, which turns out to be a partial integro-differential equation due to the extra terms arising from the Lévy process and the Markov process. As an application of our results, we study a finite horizon consumption– investment problem for a jump–diffusion financial market consisting of one risk-free asset and one risky asset whose coefficients are assumed to depend on the state of a continuous time finite state Markov process. We provide a detailed study of the optimal strategies for this problem, for the economically relevant families of power utilities and logarithmic utilities.

A formação de professores para o ensino da Matemática no ensino básico a alunos com deficiência visual

Resumo: Este estudo surge no âmbito do Mestrado em Reabilitação na Especialidade de Deficiência Visual ministrado em conjunto pelas Faculdades de Ciências Médicas e Motricidade Humana. Na dissertação intitulada Formação de Professores para o Ensino da Matemática no Ensino Básico a Alunos com DV foi desenvolvida uma investigação, incidindo sobre a temática atrás referida. Na primeira parte apresenta-se uma revisão de literatura, onde se exploram vários conceitos relevantes como a deficiência visual, o currículo de matemática no Ensino Básico, as adaptações curriculares dos alunos com DV, as tecnologias de apoio e a Formação dos Professores, entre outros. Na segunda parte apresentam-se as fundamentações teóricas que subjazem à escolha da metodologia de investigação e instrumentação bem como a descrição dos procedimentos de investigação. Participaram neste estudo 52 professores de Matemática dos três ciclos do ensino básico, que tinham alunos cegos ou com baixa visão nas suas turmas. Os dados foram recolhidos através de um questionário aplicados aos professores. Na terceira parte apresentam-se alguns resultados desta pesquisa. Relativamente à Formação de Professores, sendo N= 52, no que diz respeito à Deficiência Visual, a maioria dos professores (58%) diz não ter conhecimento da mesma e 40% dos professores diz ter algum conhecimento sobre a deficiência visual. Destes professores, grande parte referiu não considerar suficiente a informação recebida, pelo que concluímos ser pertinente a proposta de cursos versando a formação de professores em Deficiência Visual. Conclui-se também que os professores sentem dificuldades com os materiais e equipamentos disponíveis embora refiram que tivessem tido alguma informação sobre os mesmos.----------------------------------------- ABSTRACT: This study is the subject of the Master Course on the Specialty of Visual impaired given by both the Faculties of Ciências Médicas and Motricidade Humana. In the dissertation, the title of Which is Vocational Training of Teachers for the Mathematies teaching in the Basic Compulsory education to students with Visual impaired inside of the thematic behind referred. In the first part it is presented a literature revision, where some concepts are explored like the visual impaired, the curriculum of mathematics in the Basic Compulsory Education, the curriculum adaptations to the pupils with visual impaired, the technologies of support and the vocational training of the teachers, among others. In the second part we can recognize the theoretical recitals that support the choice of the research methodology and the whole instrumens meedes as well as the description of the research procedures. 52 professors of Mathematics from the three cycles of basic compulsory education participated in this study, they had blind pupils or with low vision in their classes. The data had been collected through a questionnaire applied to the teachers. In the third part, we come to some results of this research. In what concerns the vocational training of the teachers being N= 52, the majority of them (58%) says not to have knowledge of it and 40% of them says that they have some knowledge on the visual impaired. Among, a great part mentioned not having received sufficient information, as we conclude to be pertinent the proposal of courses makina the vocational training of teachers in visual impaired a reality. One also concludes that the teachers have difficulties with the materials and available equipment even though they mention to have had some information about them.

Epidemic dengue 4 in the Yucatán, México, 1984

An outbreak of dengue 4 occurred in the Yucatán, México in 1984. During the course of the outbreak, 538 of 5486 reported cases of dengue-like illness were studied; 200 were confirmed as dengue serologically and/or virologically. Dengue 4 virus was isolated from 34 patients and dengue 1 from one. Severe haemorrhagic symptoms were observed in 9 laboratory confirmed patients, including four deaths. Thus, the outbreak in Yucatán is the second dengue epidemic in the Americas after the Cuban epidemic in 1981 in which a number of patients suffered from haemorrhagic complications. It was notable that 5 of 9 hospitalized, severe cases were young adults and that only one met the WHO criteria of DHF, in contrast to primary pediatric nature of DHF in Southeast Asia. In this paper we describe clinical, serologic, and virologic studies conducted during the outbreak.