New insights on integer-programming models for the kidney exchange problem

In recent years several countries have set up policies that allow exchange of kidneys between two or more incompatible patient–donor pairs. These policies lead to what is commonly known as kidney exchange programs. The underlying optimization problems can be formulated as integer programming models. Previously proposed models for kidney exchange programs have exponential numbers of constraints or variables, which makes them fairly difficult to solve when the problem size is large. In this work we propose two compact formulations for the problem, explain how these formulations can be adapted to address some problem variants, and provide results on the dominance of some models over others. Finally we present a systematic comparison between our models and two previously proposed ones via thorough computational analysis. Results show that compact formulations have advantages over non-compact ones when the problem size is large.

CodeSkelGen: a program skeleton generator

Existent computer programming training environments help users to learn programming by solving problems from scratch. Nevertheless, initiating the resolution of a program can be frustrating and demotivating if the student does not know where and how to start. Skeleton programming facilitates a top-down design approach, where a partially functional system with complete high level structures is available, so the student needs only to progressively complete or update the code to meet the requirements of the problem. This paper presents CodeSkelGen - a program skeleton generator. CodeSkelGen generates skeleton or buggy Java programs from a complete annotated program solution provided by the teacher. The annotations are formally described within an annotation type and processed by an annotation processor. This processor is responsible for a set of actions ranging from the creation of dummy methods to the exchange of operator types included in the source code. The generator tool will be included in a learning environment that aims to assist teachers in the creation of programming exercises and to help students in their resolution.

How to teach mathematics with MOODLE

The aim of this article is to present a Project in the Oporto’s Institute of Accounting and Administration, which pretends to contribute for a change in the way of teaching and learning Mathematics. One of the main objectives of this project is to innovate the teaching and learning processes, exploring technologies as a pedagogical resource and to induce higher motivation to students, improve the rate of success and make available to students a set of materials adapted to their needs. This concern is justified due to the fact that students have a weak preparation, without consolidated basis. Since the year 2007/2008 the courses were adjusted to the Bologna process, which requires several changes in teacher’s and student’s roles, methodologies and assessment. The number of weekly classes has been reduced, so it was necessary to develop new strategies and methodologies to support the student. With the implementation of the Bologna Process in the Accounting degree, we felt a great need to provide other types of activities to students. To complement our theoretical and practical classes we have developed a project called MatActiva based on the Moodle platform offered by PAOL - Projecto de Apoio On-Line (Online Support Project). Moodle allows us to use the language TEX to create materials that use mathematical symbols. Using this functionality, we created a set of easy to use interactive resources. In MatActiva project, the students have access to a variety of different materials. We have followed a strategy that makes the project compatible with the theoretical and practical subjects/classes, complementing them. To do so, we created some resources, for instance multiple-choice tests, which are the most accessed by the students. These tests can be realized and corrected on-line and for each wrong answer there is a feedback with the resolution. We can find other types of resources: diagnostic tests, theoretical notes. There are not only the pre-requirements for subjects mathematics, but also materials to help students follow up the programs. We also developed several lessons. This activity consists of a number of pages, where each page has contents and leads to other pages, based on the student's progress. The teacher creates the choices and determines the next page that the student will see, based upon their knowledge. There is also an area of doubts, where the students can place all the mathematical doubts they have, and a teacher gives the answers or clues to help them in their work. MatActiva also offers an area where we can find some humour, curiosities, contests and games including mathematical contents to test the math skills, as well as links to pages about mathematical contents that could be useful for the study. Since ISCAP receives ERASMUS students and some of them attend mathematics, we developed some materials in English, so they can also use MatActiva. The main objectives of our project are not only to bring success in the subjects of mathematics, but also to motivate the students, encourage them to overcome theirs difficulties through an auto-study giving them more confidence and improve their relationship with the mathematics as well as the communication between students and teachers and among students.

La social stock exchange au Portugal: un nouvel allié de l'économie sociale

Résumé Cet article vise à contribuer à la connaissance de la Bolsa de Valores Sociais (BVS) — Social Stock Exchange — récemment créé au Portugal, dont le but primatial était de permettre la prise de moyens de financement des entités de l'Économie Sociale engagées dans des projets d'éducation et d'entreprenariat. Il se penchera sur la qualification juridique des divers types d'entités cotées dans la BVS, sur le concept d'investisseur social et sur la protection dont il jouira, vis-à-vis des exigences de transparence et de gouvernance qui incombent à ces entités. Le thème proposé sera examiné en soulignant les virtualités et le potentiel de la BVS, faisant référence à l'un ou à l'autre sujet qui viennent à effet, avec un accent particulier sur l'avantage d'élaborer un code de gouvernance corporative pour les entités de l'Économie Sociale. Abstract This article aims to contribute to the knowledge of the Bolsa de Valores Sociais (BVS) — Social Stock Exchange — recently created in Portugal, whose primatial purpose was to allow the taking of means of financing the Social Economy entities, engaged in projects in education and entrepreneurship. It will reflect on the legal classification of the various types of entities rated in the BVS, on the concept of social investor and on the protection he will enjoy, leading to the consequent demands for transparency and governance that falls upon those entities. The proposed theme will be discussed highlighting the virtues and potential of BVS, playing in one or two topics that comes to purpose, with particular emphasis on the relevance of drawing up a code of corporate governance for entities of the Social Economy. Resumen Este artículo tiene como objetivo contribuir al conocimiento de la Bolsa de Valores Sociales (BVS), recientemente creada en Portugal, cuya finalidad principal es que las entidades de la economía social dedicadas a proyectos en las áreas de educación y de iniciativa empresarial puedan obtener medios financieros. Se abordará la calificación jurídica de los diversos tipos de entidades que cotizan en la BVS, así como el concepto de inversor social y la protección de que éste goza, con las consiguientes exigencias en materia de transparencia y de gobierno que recaen sobre esas entidades. Se analizará la temática propuesta destacando las virtudes y potencialidades de la BVS, sin omitir algún otro tópico adyacente que resulte relevante, en especial la conveniencia de que sea elaborado un código de gobernanza corporativa para las entidades de la economía social.

Becoming a teacher: student teachers´ experiences and perceptions about teaching practice

In an attempt to build a more comprehensive and holistic understanding of the complexity, dynamics and idiosyncrasies involved in becoming a teacher, this study focussed on the experiences of 295 student teachers. Their feelings, cognitions and perceptions regarding teaching practice were analysed using the short version of the Inventory of Experiences and Perceptions of the Teaching Practice. Results emphasise some of the difficulties experienced during this period (e.g., stress, sense of weariness and ‘vulnerability’), as well the positive perceptions of these student teachers regarding their growing knowledge and skilfulness, as well as their sense of efficacy, flexibility and spontaneity in their performance and interactions. Their perception of their accomplishments in achieving reasonable levels of acceptance and recognition within the school community and their positive evaluation of the guidance and support provided by their supervisors are also emphasised. Differences were found – in terms of gender and graduate course background – in the way these student teachers experienced some aspects of teaching practice.

Virtual power players demand response programs management based on locational marginal prices

Power systems have been suffering huge changes mainly due to the substantial increase of distributed generation and to the operation in competitive environments. Virtual power players can aggregate a diversity of players, namely generators and consumers, and a diversity of energy resources, including electricity generation based on several technologies, storage and demand response. Resource management gains an increasing relevance in this competitive context, while demand side active role provides managers with increased demand elasticity. This makes demand response use more interesting and flexible, giving rise to a wide range of new opportunities.This paper proposes a methodology for managing demand response programs in the scope of virtual power players. The proposed method is based on the calculation of locational marginal prices (LMP). The evaluation of the impact of using demand response specific programs on the LMP value supports the manager decision concerning demand response use. The proposed method has been computationally implemented and its application is illustrated in this paper using a 32 bus network with intensive use of distributed generation.

A simulation tool for demand response programs implementation

The design and development of simulation models and tools for Demand Response (DR) programs are becoming more and more important for adequately taking the maximum advantages of DR programs use. Moreover, a more active consumers’ participation in DR programs can help improving the system reliability and decrease or defer the required investments. DemSi, a DR simulator, designed and implemented by the authors of this paper, allows studying DR actions and schemes in distribution networks. It undertakes the technical validation of the solution using realistic network simulation based on PSCAD. DemSi considers the players involved in DR actions, and the results can be analyzed from each specific player point of view.

Using data mining techniques to support DR programs definition in smart grids

In recent years, Power Systems (PS) have experimented many changes in their operation. The introduction of new players managing Distributed Generation (DG) units, and the existence of new Demand Response (DR) programs make the control of the system a more complex problem and allow a more flexible management. An intelligent resource management in the context of smart grids is of huge important so that smart grids functions are assured. This paper proposes a new methodology to support system operators and/or Virtual Power Players (VPPs) to determine effective and efficient DR programs that can be put into practice. This method is based on the use of data mining techniques applied to a database which is obtained for a large set of operation scenarios. The paper includes a case study based on 27,000 scenarios considering a diversity of distributed resources in a 32 bus distribution network.

Demand response programs definition supported by clustering and classification techniques

The growing importance and influence of new resources connected to the power systems has caused many changes in their operation. Environmental policies and several well know advantages have been made renewable based energy resources largely disseminated. These resources, including Distributed Generation (DG), are being connected to lower voltage levels where Demand Response (DR) must be considered too. These changes increase the complexity of the system operation due to both new operational constraints and amounts of data to be processed. Virtual Power Players (VPP) are entities able to manage these resources. Addressing these issues, this paper proposes a methodology to support VPP actions when these act as a Curtailment Service Provider (CSP) that provides DR capacity to a DR program declared by the Independent System Operator (ISO) or by the VPP itself. The amount of DR capacity that the CSP can assure is determined using data mining techniques applied to a database which is obtained for a large set of operation scenarios. The paper includes a case study based on 27,000 scenarios considering a diversity of distributed resources in a 33 bus distribution network.

Numerical experiments with a modified regularization scheme for mathematical programs with complementarity constraints

On this paper we present a modified regularization scheme for Mathematical Programs with Complementarity Constraints. In the regularized formulations the complementarity condition is replaced by a constraint involving a positive parameter that can be decreased to zero. In our approach both the complementarity condition and the nonnegativity constraints are relaxed. An iterative algorithm is implemented in MATLAB language and a set of AMPL problems from MacMPEC database were tested.

Relatório de estágio em Educação Pré-Escolar

Mestrado em Educação Pré-Escolar

The capacity exchange protocol

This paper proposes a new strategy to integrate shared resources and precedence constraints among real-time tasks, assuming no precise information on critical sections and computation times is available. The concept of bandwidth inheritance is combined with a capacity sharing and stealing mechanism to efficiently exchange bandwidth among tasks to minimise the degree of deviation from the ideal system’s behaviour caused by inter-application blocking. The proposed Capacity Exchange Protocol (CXP) is simpler than other proposed solutions for sharing resources in open real-time systems since it does not attempt to return the inherited capacity in the same exact amount to blocked servers. This loss of optimality is worth the reduced complexity as the protocol’s behaviour nevertheless tends to be fair and outperforms the previous solutions in highly dynamic scenarios as demonstrated by extensive simulations. A formal analysis of CXP is presented and the conditions under which it is possible to guarantee hard real-time tasks are discussed.

Using remote labs in education: two little ducks in remote experimentation

A book about remote labs and engineering education begs to begin with the question, “Why do engineering programs include lab work?” Although this may seem like a given and not worth discussing, whenever we’re faced with innovative ideas, it’s important to “put everything on the table” in order to reassess its value to our program or goals. What is it about lab work that is of value to students? Are there elements of traditional labs that we could let go of? Are there elements that we don’t want to lose? These questions can help us to clarify how and why labs are integrated into an engineering education program.

Using remote labs to serve different teacher's needs a case study with VISIR and RemotElectLab

Remote Laboratories are an emergent technological and pedagogical tool at all education levels, and their widespread use is an important part of their own improvement and evolution. This paper describes several issues encountered on laboratorial classes, on higher education courses, when using remote laboratories based on PXI systems, either using the VISIR system or an alternate in-house solution. Three main issues are presented and explained, all reported by teachers that gave support to students use of remote laboratories. The first issue deals with the need to allow students to select the actual place where an ammeter is to be inserted on electric circuits, even incorrectly, therefore emulating real world difficulties. The second one deals with problems with timing when several measurements are required at short intervals, as in the discharge cycle of a capacitor. And the last issue deals with the use of a multimeter in DC mode when reading AC values, a use that collides with the lab settings. All scenarios are presented and discussed including the solution found for each case. The conclusion derived from the described work is that the remote laboratories area is an expanding field, where practical use leads to improvement and evolution of the available solutions, requiring a strict cooperation and information sharing between all actors, i.e. developers, teachers and students.