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

Decay of antibody isotypes against early developmental stages of Schistosoma mansoni after treatment of schistosomiasis patients

Antibodies to a number of parasite antigens are found in schistosomiasis patients, and antibodies to early developmental stages were demonstrated to be efficient immunologic markers for the diagnosis of schistosomiasis. In the present study, decay patterns of IgM and IgG antibodies against cercariae and schistosomula were investigated, in comparison to antibodies against worms and eggs in schistosomiasis patients after chemotherapy, for an investigation of seroepidemiologic aspects. Data obtained in the study of 359 serum samples from patients with Schistosoma mansoni infection, noninfected individuals, and patients followed-up for a period of 12 to 15 months after treatment provided the basis to postulate a general pattern for the kinetics of antibody decay. Before treatment, the antibody pattern was represented by a unimodal curve, which shifted to a bimodal curve after treatment, and ended with a unimodal curve similar to that for the noninfected group. Different types of antibodies were classified into four categories according to their decay features, and anti-schistosomulum IgM was classified into the moderate-decay caterogy, whereas other antibodies to early parasite stages were classified into the slow-decay category. The present methodology permits the identification of the most suitable antibodies to be detected in field control programs for schistosomiasis or other parasitoses

Novel Secretion Apparatus Maintains Spore Integrity and Developmental Gene Expression in Bacillus subtilis

Plos Genetics, 5(7): ARTe1000566

Database repairs with answer set programming

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

A Visual Programming Framework for Wireless Sensor Networks in Smart Home Applications

International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP 2015). 7 to 9, Apr, 2015. Singapure, Singapore.

Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

A Modular Programming Approach for IoTBased Wireless Sensor Networks

Poster presented in 12th European Conference on Wireless Sensor Network (EWSN 2015). 9 to 11, Feb, 2015. Porto, Portugal.

Ensemble: an innovative approach to practice computer programming

Currently, the teaching-learning process in domains, such as computer programming, is characterized by an extensive curricula and a high enrolment of students. This poses a great workload for faculty and teaching assistants responsible for the creation, delivery, and assessment of student exercises. The main goal of this chapter is to foster practice-based learning in complex domains. This objective is attained with an e-learning framework—called Ensemble—as a conceptual tool to organize and facilitate technical interoperability among services. The Ensemble framework is used on a specific domain: computer programming. Content issues are tacked with a standard format to describe programming exercises as learning objects. Communication is achieved with the extension of existing specifications for the interoperation with several systems typically found in an e-learning environment. In order to evaluate the acceptability of the proposed solution, an Ensemble instance was validated on a classroom experiment with encouraging results.

Design a computer programming learning environment for Massive Open Online Courses

Teaching and learning computer programming is as challenging as difficult. Assessing the work of students and providing individualised feedback to all is time-consuming and error prone for teachers and frequently involves a time delay. The existent tools and specifications prove to be insufficient in complex evaluation domains where there is a greater need to practice. At the same time Massive Open Online Courses (MOOC) are appearing revealing a new way of learning, more dynamic and more accessible. However this new paradigm raises serious questions regarding the monitoring of student progress and its timely feedback. This paper provides a conceptual design model for a computer programming learning environment. This environment uses the portal interface design model gathering information from a network of services such as repositories and program evaluators. The design model includes also the integration with learning management systems, a central piece in the MOOC realm, endowing the model with characteristics such as scalability, collaboration and interoperability. This model is not limited to the domain of computer programming and can be adapted to any complex area that requires systematic evaluation with immediate feedback.

A filter inexact-restoration method for nonlinear programming

A new iterative algorithm based on the inexact-restoration (IR) approach combined with the filter strategy to solve nonlinear constrained optimization problems is presented. The high level algorithm is suggested by Gonzaga et al. (SIAM J. Optim. 14:646–669, 2003) but not yet implement—the internal algorithms are not proposed. The filter, a new concept introduced by Fletcher and Leyffer (Math. Program. Ser. A 91:239–269, 2002), replaces the merit function avoiding the penalty parameter estimation and the difficulties related to the nondifferentiability. In the IR approach two independent phases are performed in each iteration, the feasibility and the optimality phases. The line search filter is combined with the first one phase to generate a “more feasible” point, and then it is used in the optimality phase to reach an “optimal” point. Numerical experiences with a collection of AMPL problems and a performance comparison with IPOPT are provided.

SOIL CONTAMINATION IN PUBLIC SQUARES IN BELO HORIZONTE, MINAS GERAIS, BY CANINE PARASITES IN DIFFERENT DEVELOPMENTAL STAGES

SUMMARY To evaluate soil contamination by parasites in different developmental stages in public squares used as recreation and leisure areas for children in Belo Horizonte (MG, Brazil), 210 soil samples and 141 canine fecal samples were collected from 42 squares in the city. These samples were analyzed by the Caldwell and Caldwell technique and the Hoffman, Pons, and Janer technique. Of the samples analyzed, 89 (42.4%) soil samples and 104 (73.5%) fecal samples were contaminated with Ancylostoma sp., Toxocara sp., Trichuris sp., or Dipylidium sp. eggs; Giardia sp. cysts; or Isospora sp. oocysts. The commonest parasite was Ancylostoma sp., found in 85% soil and 99% fecal samples, followed by Toxocara sp., found in 43.7% soil and 30.7% fecal samples.

Parallel programming in biomedical signal processing

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica