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.

A multivariate analysis of socio-demographic factors, water contact patterns and Schistosoma mansoni infection in an endemic area in Brazil

Associations between socio-demographic factors, water contact patterns and Schistosoma mansoni infection were investigated in 506 individuals (87% of inhabitants over 1 year of age) in an endemic area in Brazil (Divino), aiming at determining priorities for public health measures to prevent the infection. Those who eliminated S. mansoni eggs (n = 198) were compared to those without eggs in the stools (n = 308). The following explanatory variables were considered: age, sex, color, previous treatment with schistosomicide, place of birth, quality of the houses, water supply for the household, distance from houses to stream, and frequency and reasons for water contact. Factors found to be independently associated with the infection were age (10-19 and > 20 yrs old), and water contact for agricultural activities, fishing, and swimming or bathing (Adjusted relative odds = 5.0, 2.4, 3.2, 2.1 and 2.0, respectively). This suggests the need for public health measures to prevent the infection, emphasizing water contact for leisure and agricultural activities in this endemic area.

Seasonal patterns of polycyclic aromatic hydrocarbons in digestive gland and arm of octopus (Octopus vulgaris) from the Northwest Atlantic

Among organic pollutants existing in coastal areas, polycyclic aromatic hydrocarbons (PAHs) are of great concern due to their ubiquity and carcinogenic potential. The aim of this study was to evaluate the seasonal patterns of PAHs in the digestive gland and arm of the common octopus (Octopus vulgaris) from the Northwest Atlantic Portuguese coast. In the different seasons, 18 PAHs were determined and the detoxification capacity of the species was evaluated. Ethoxyresorufin O-deethylase (EROD) and ethoxycoumarin O-deethylase (ECOD) activities were measured to assess phase I biotransformation capacity. Individual PAH ratios were used for major source (pyrolytic/petrogenic) analysis. Risks for human consumption were determined by the total toxicity equivalence approach. Generally, low levels of PAHs were detected in the digestive gland and in the arm of octopus, with a predominance of low molecular over high molecular weight compounds. PAHs exhibited seasonality in the concentrations detected and in their main emission sources. In the digestive gland, the highest total PAH levels were observed in autumn possibly related to fat availability in the ecosystem and food intake. The lack of PAH elimination observed in the digestive gland after captivity could be possibly associated to a low biotransformation capacity, consistent with the negligible/undetected levels of EROD and ECOD activity in the different seasons. The emission sources of PAHs found in the digestive gland varied from a petrogenic profile observed in winter to a pyrolytic pattern in spring. In the arm, the highest PAH contents were observed in June; nevertheless, levels were always below the regulatory limits established for food consumption. The carcinogenic potential calculated for all the sampling periods in the arm were markedly lower than the ones found in various aquatic species from different marine environments. The results presented in this study give relevant baseline data for environmental monitoring of organic pollution in coastal areas.

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.

Orbital forcing of stratal patterns in an inner platform carbonate sucession: an example from an Upper Hauterivian series of the Lusitanian Basin, Portugal

With an example taken from a late-Hauterivian series of the Lusitanian Basin (Portugal), we will demonstrate the sedimentary record of orbital pattern variations and, consequently, climate variations in an inner platform environment with patterns and isolation changes, allows us to establish 4 major orders of periodicity related to orbital components:- The large cycles ob bed thickness variation, constituted by 31-32 beds, recording the 400 ky eccentricity cycle component;- The medium cycles, represented by byndles of 8-9 beds, related to the 100 ky eccentricity cycle component; - The small cycles, of 3-5 beds, recording the 41 ky obliquity components;- The very small cycles, of 2 beds, related to the 22 ky and 26 ky precession components. The mean duration of each bed is around 11.8 ky, a number very close to that of the precession hemi-cycle. Climatic control on qualitative production is confirmed by the close relation between the bed thickness variations, the insolation variability and the variation of micritized elements concentrations.

Static detection of anomalies in transactional memory programs

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Long term follow-up and patterns of response of ALT in patients with chronic hepatitis NANB/C treated with recombinant interferon-alpha

The response to interferon treatment in chronic hepatitis NANB/C has usually been classified as complete, partial or absent, according to the behavior of serum alanine aminotransferase (ALT). However, a more detailed observation of the enzymatic activity has shown that the patterns may be more complex. The aim of this study was to describe the long term follow-up and patterns of ALT response in patients with chronic hepatitis NANB/C treated with recombinant interferon-alpha. A follow-up of 6 months or more after interferon-a was achieved in 44 patients. We have classified the serum ALT responses into six patterns and the observed frequencies were as follows: I. Long term response = 9 (20.5%); II. Normalization followed by persistent relapse after IFN = 7 (15.9%); III. Normalization with transient relapse = 5 (11.9%); IV. Temporary normalization and relapse during IFN = 4 (9.1%); V. Partial response (more than 50% of ALT decrease) = 7 (15.9%); VI. No response = 12 (27.3%). In conclusion, ALT patterns vary widely during and after IFN treatment and can be classified in at least 6 types.

Trypanosoma cruzi strains: behavior after passage into authoctonous or foreign species of triatomine (biological and biochemical patterns)

The behavior of T. cruzi strains from S. Felipe - BA (19 SF, 21 SF and 22 SF) classified as Type II Zymodeme 2, was investigated after passage through the authoctonous (P. megistus) and foreign vectors (T. infestans and R. prolixus). For each strain Swiss mice were infected: I - with blood forms (control); II - with metacyclic forms (MF) from P. megistus; III - with MF from T. infestans; IV - with MF from R. prolixus. Inocula: MF from the three species of triatomine, 60 to 120 days after feeding in infected mice, adjusted to 10 4. Biological behavior in mice (parasitemia, morphology, mortality, virulence and pathogenicity) after passage through triatomine was compared with data from the same strain in control mice. Isoenzymic electrophoresis (ASAT, ALAT, PGM, GPI) were also performed after culture into Warren medium. The three strains maintained the isoenzyme profiles (zymodeme 2), in the control groups and after passages through different species of triatomine. Biological characterization disclosed Type II strains patterns for all groups. An increased virulence was observed with the 22 SF strain isolated from P. megistus and T. infestans and higher levels of parasitemia and predominance of slender forms in mice inoculated with the 19 SF and 21 SF from these same species. Results indicate that the passage through the two species T. infestans and P. megistus had a positive influence on the virulence of the regional strains of S. Felipe, regardless of being autocthonous (P. megistus) or foreign to the area (T. infestans).

An integer programming model for the minimum interval graph completion problem

The minimum interval graph completion problem consists of, given a graph G = ( V, E ), finding a supergraph H = ( V, E ∪ F ) that is an interval graph, while adding the least number of edges |F| . We present an integer programming formulation for solving the minimum interval graph completion problem recurring to a characteri- zation of interval graphs that produces a linear ordering of the maximal cliques of the solution graph.

Changing patterns of Salmonella serovars: increase of Salmonella Enteritidis in São Paulo, Brazil

Serovars of a total of 5,490 Salmonella strains isolated during the period of 1991-95, from human infections (2,254 strains) and from non-human materials (3,236 strains) were evaluated. In the studied period, 81 different serovars were determined among human isolates. Salmonella Enteritidis corresponded to 1.2% in 1991, 2% in 1992, 10.1% in 1993, 43.3% in 1994, and 64.9% in 1995 of all isolates. A significant rise on the isolation of this serovar was seen since 1993 linked to food poisoning outbreaks. It is reported also an increase on the isolation of S. Enteritidis from blood cultures, associated mainly with patients with immunodeficiency syndrome. S. Enteritidis was prevalent among one hundred and thirty different serovars isolated from non-human sources. Increasing number of isolation of this serovar was seen from shell eggs, breeding flocks and from environmental samples. It is also reported a contamination of commercial feed stuffs by S. Enteritidis which represents a major concern for Brazilian poultry industry.

Increase of the Delivered Power Probability in Distribution Networks using Pareto DC Programming

A methodology to increase the probability of delivering power to any load point through the identification of new investments in distribution network components is proposed in this paper. The method minimizes the investment cost as well as the cost of energy not supplied in the network. A DC optimization model based on mixed integer non-linear programming is developed considering the Pareto front technique in order to identify the adequate investments in distribution networks components which allow increasing the probability of delivering power for any customer in the distribution system at the minimum possible cost for the system operator, while minimizing the energy not supplied cost. Thus, a multi-objective problem is formulated. To illustrate the application of the proposed methodology, the paper includes a case study which considers a 180 bus distribution network

Water-contact patterns and risk factors for Schistosoma mansoni infection in a rural village of Northeast Brazil

Schistosomiasis mansoni in the Serrano village, municipality of Cururupu, state of Maranhão, Brazil, is a widely spread disease. The PECE (Program for the Control of Schistosomiasis), undertaken since 1979 has reduced the prevalence of S. mansoni infection and the hepatosplenic form of the disease. Nevertheless piped water is available in 84% of the households, prevalence remains above 20%. In order to identify other risk factors responsible for the persistence of high prevalence levels, a cross-sectional survey was carried out in a systematic sample of 294 people of varying ages. Socioeconomic, environmental and demographic variables, and water contact patterns were investigated. Fecal samples were collected and analyzed by the Kato-Katz technique. Prevalence of S. mansoni infection was 24.1%, higher among males (35.5%) and between 10-19 years of age (36.6%). The risk factors identified in the univariable analysis were water contacts for vegetable extraction (Risk Ratio - RR = 2.92), crossing streams (RR = 2.55), bathing (RR = 2.35), fishing (RR = 2.19), hunting (RR = 2.17), cattle breeding (RR = 2.04), manioc culture (RR = 1.90) and leisure (RR = 1.56). After controlling for confounding variables by proportional hazards model the risks remained higher for males, vegetable extraction, bathing in rivers and water contact in rivers or in periodically inundated parts of riverine woodland (swamplands)

Engineering Temporal and Spatial Aspects in OWL using Patterns

WWW is a huge, open, heterogeneous system, however its contents data is mainly human oriented. The Semantic Web needs to assure that data is readable and “understandable” to intelligent software agents, though the use of explicit and formal semantics. Ontologies constitute a privileged artifact for capturing the semantic of the WWW data. Temporal and spatial dimensions are transversal to the generality of knowledge domains and therefore are fundamental for the reasoning process of software agents. Representing temporal/spatial evolution of concepts and their relations in OWL (W3C standard for ontologies) it is not straightforward. Although proposed several strategies to tackle this problem but there is still no formal and standard approach. This work main goal consists of development of methods/tools to support the engineering of temporal and spatial aspects in intelligent systems through the use of OWL ontologies. An existing method for ontology engineering, Fonte was used as framework for the development of this work. As main contributions of this work Fonte was re-engineered in order to: i) support the spatial dimension; ii) work with OWL Ontologies; iii) and support the application of Ontology Design Patterns. Finally, the capabilities of the proposed approach were demonstrated by engineering time and space in a demo ontology about football.