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.

Hearing evaluation of portuguese school communities: school‑based audiology and hearing screening

Introduction: Hearing loss h sone raised impact in the development and academic progress of a child. In several developed countries, early detection is part of the national health plan through universal neonatal hearing screening (UNHS) and also with school hearing screening programs (SHSP), but only a few have published national data and revised protocols. Currently in Portugal, the UNHS is implemented in the main district hospitals but not the SHPS, as well we still do not make use of concrete data nor publication of studies on the national reality. Objectives: The incidence of the hearing loss and of otological problems was studied in school communities in the north of the country with 2550 participants between 3 and 17 years old. Methods: Statistical data collected within the schools with a standard auditory hearing screening protocol. All participants were evaluated with the same protocol, an audiological anamnesis, otoscopy and audiometric exam screening (500, 1000, 2000 and 4000 Hz) were fulfilled. Results: Different otological problems were identified and the audiometric screening exam counted auditory thresholds that outpointed uni and bilateral hearing loss in about 5.7% of the cases. Conclusions: The study has demonstrated that auditory school screening should take place as early as possible and be part of the primary health care to identify and direct children to appropriate rehabilitation, education and attendance. Thus, reducing high costs with late treatment.

Brewer's spent grain from different types of malt: Evaluation of the antioxidant activity and identification of the major phenolic compounds

The antioxidant activity and phenolic composition of brewer's spent grain (BSG) extracts obtained by microwave-assisted extraction from twomalt types (light and darkmalts) were investigated. The total phenolic content (TPC) and antioxidant activity among the light BSG extracts (pilsen, melano, melano 80 and carared)were significantly different (p b 0.05) compared to dark extracts (chocolate and black types), with the pilsen BSG showing higher TPC (20 ± 1 mgGAE/g dry BSG). In addition, the antioxidant activity assessed by 2,2-diphenyl- 1-picrylhydrazyl, 2,2′-azino-bis(3-ethylbenzothiazoline-6-sulfonic acid) and deoxyribose assays decreased as a result of increasing kilning temperatures in the following order: pilsen N melano N melano 80 N carared N chocolate N black. HPLC-DAD/ESI-MS/MS analysis indicated the presence of phenolic acids, such as ferulic, p-coumaric and syringic acids, as well as several isomeric ferulate dehydrodimers and one dehydrotrimer. Chocolate and black extracts, obtained frommalts submitted to the highest kilning temperatures, showed the lowest levels of ferulic and p-coumaric acids. These results suggested that BSG extracts from pilsen malt might be used as an inexpensive and good natural source of antioxidants with potential interest for the food, pharmaceutical and/or cosmetic industries after purification.

Determination of ochratoxin A in bread: evaluation of microwave-assisted extraction using an orthogonal composite design coupled with response surface methodology

An analytical method using microwave-assisted extraction (MAE) and liquid chromatography (LC) with fluorescence detection (FD) for the determination of ochratoxin A (OTA) in bread samples is described. A 24 orthogonal composite design coupled with response surface methodology was used to study the influence of MAE parameters (extraction time, temperature, solvent volume, and stirring speed) in order to maximize OTA recovery. The optimized MAE conditions were the following: 25 mL of acetonitrile, 10 min of extraction, at 80 °C, and maximum stirring speed. Validation of the overall methodology was performed by spiking assays at five levels (0.1–3.00 ng/g). The quantification limit was 0.005 ng/g. The established method was then applied to 64 bread samples (wheat, maize, and wheat/maize bread) collected in Oporto region (Northern Portugal). OTAwas detected in 84 % of the samples with a maximum value of 2.87 ng/g below the European maximum limit established for OTA in cereal products of 3 ng/g.

Evaluation of atmospheric deposition and patterns of polycyclic aromatic hydrocarbons in façades of historic monuments of Oporto (Portugal)

Atmospheric pollution by motor vehicles is considered a relevant source of damage to architectural heritage. Thus the aim of this work was to assess the atmospheric depositions and patterns of polycyclic aromatic hydrocarbons (PAHs) in façades of historical monuments. Eighteen PAHs (16 PAHs considered by US EPA as priority pollutants, dibenzo[a,l]pyrene and benzo[j]fluoranthene) were determined in thin black layers collected from façades of two historical monuments: Hospital Santo António and Lapa Church (Oporto, Portugal). Scanning electron microscopy (SEM) was used for morphological and elemental characterisation of thin black layers; PAHs were quantified by microwave-assisted extraction combined with liquid chromatography (MAE-LC). The thickness of thin black layers were 80–110 μm and they contained significant levels of iron, sulfur, calcium and phosphorus. Total concentrations of 18 PAHs ranged from 7.74 to 147.92 ng/g (mean of 45.52 ng/g) in thin black layers of Hospital Santo António, giving a range three times lower than at Lapa Church (5.44– 429.26 ng/g; mean of 110.25 ng/g); four to six rings compounds accounted at both monuments approximately for 80–85% of ΣPAHs. The diagnostic ratios showed that traffic emissions were significant source of PAHs in thin black layers. Composition profiles of PAHs in thin black layers of both monuments were similar to those of ambient air, thus showing that air pollution has a significant impact on the conditions and stone decay of historical building façades. The obtained results confirm that historical monuments in urban areas act as passive repositories for air pollutants present in the surrounding atmosphere.

Ensemble: an e-learning framework

E-Learning frameworks are conceptual tools to organize networks of elearning services. Most frameworks cover areas that go beyond the scope of e-learning, from course to financial management, and neglects the typical activities in everyday life of teachers and students at schools such as the creation, delivery, resolution and evaluation of assignments. This paper presents the Ensemble framework - an e-learning framework exclusively focused on the teaching-learning process through the coordination of pedagogical services. The framework presents an abstract data, integration and evaluation model based on content and communications specifications. These specifications must base the implementation of networks in specialized domains with complex evaluations. In this paper we specialize the framework for two domains with complex evaluation: computer programming and computer-aided design (CAD). For each domain we highlight two Ensemble hotspots: data and evaluations procedures. In the former we formally describe the exercise and present possible extensions. In the latter, we describe the automatic evaluation procedures.

Mixed integer non linear programming and artificial neural network based approach to ancillary services dispatch in competitive electricity markets

Ancillary services represent a good business opportunity that must be considered by market players. This paper presents a new methodology for ancillary services market dispatch. The method considers the bids submitted to the market and includes a market clearing mechanism based on deterministic optimization. An Artificial Neural Network is used for day-ahead prediction of Regulation Down, regulation-up, Spin Reserve and Non-Spin Reserve requirements. Two test cases based on California Independent System Operator data concerning dispatch of Regulation Down, Regulation Up, Spin Reserve and Non-Spin Reserve services are included in this paper to illustrate the application of the proposed method: (1) dispatch considering simple bids; (2) dispatch considering complex bids.

Evaluation of distinct input methods of an intelligent wheelchair in simulated and real environments: a performance and usability study

This paper focuses on evaluating the usability of an Intelligent Wheelchair (IW) in both real and simulated environments. The wheelchair is controlled at a high-level by a flexible multimodal interface, using voice commands, facial expressions, head movements and joystick as its main inputs. A Quasi-experimental design was applied including a deterministic sample with a questionnaire that enabled to apply the System Usability Scale. The subjects were divided in two independent samples: 46 individuals performing the experiment with an Intelligent Wheelchair in a simulated environment (28 using different commands in a sequential way and 18 with the liberty to choose the command); 12 individuals performing the experiment with a real IW. The main conclusion achieved by this study is that the usability of the Intelligent Wheelchair in a real environment is higher than in the simulated environment. However there were not statistical evidences to affirm that there are differences between the real and simulated wheelchairs in terms of safety and control. Also, most of users considered the multimodal way of driving the wheelchair very practical and satisfactory. Thus, it may be concluded that the multimodal interfaces enables very easy and safe control of the IW both in simulated and real environments.

Evaluation of dynamic pass-through of carbon prices into electricity prices – a cointegrated VECM analysis

This paper addresses the impact of the CO2 opportunity cost on the wholesale electricity price in the context of the Iberian electricity market (MIBEL), namely on the Portuguese system, for the period corresponding to the Phase II of the European Union Emission Trading Scheme (EU ETS). In the econometric analysis a vector error correction model (VECM) is specified to estimate both long–run equilibrium relations and short–run interactions between the electricity price and the fuel (natural gas and coal) and carbon prices. The model is estimated using daily spot market prices and the four commodities prices are jointly modelled as endogenous variables. Moreover, a set of exogenous variables is incorporated in order to account for the electricity demand conditions (temperature) and the electricity generation mix (quantity of electricity traded according the technology used). The outcomes for the Portuguese electricity system suggest that the dynamic pass–through of carbon prices into electricity prices is strongly significant and a long–run elasticity was estimated (equilibrium relation) that is aligned with studies that have been conducted for other markets.

Programming atomic multicasts in CAN

In Distributed Computer-Controlled Systems (DCCS), a special emphasis must be given to the communication infrastructure, which must provide timely and reliable communication services. CAN networks are usually suitable to support small-scale DCCS. However, they are known to present some reliability problems, which can lead to an unreliable behaviour of the supported applications. In this paper, an atomic multicast protocol for CAN networks is proposed. This protocol explores the CAN synchronous properties, providing a timely and reliable service to the supported applications. The implementation of such protocol in Ada, on top of the Ada version of Real-Time Linux is presented, which is used to demonstrate the advantages and disadvantages of the platform to support reliable communications in DCCS.

Evaluation of a real time DGPS data server

The goal of the this paper is to show that the DGPS data Internet service we designed and developed provides campus-wide real time access to Differential GPS (DGPS) data and, thus, supports precise outdoor navigation. First we describe the developed distributed system in terms of architecture (a three tier client/server application), services provided (real time DGPS data transportation from remote DGPS sources and campus wide data dissemination) and transmission modes implemented (raw and frame mode over TCP and UDP). Then we present and discuss the results obtained and, finally, we draw some conclusions.

EMMON - EMbedded MONitoring

Despite the steady increase in experimental deployments, most of research work on WSNs has focused only on communication protocols and algorithms, with a clear lack of effective, feasible and usable system architectures, integrated in a modular platform able to address both functional and non–functional requirements. In this paper, we outline EMMON [1], a full WSN-based system architecture for large–scale, dense and real–time embedded monitoring [3] applications. EMMON provides a hierarchical communication architecture together with integrated middleware and command and control software. Then, EM-Set, the EMMON engineering toolset will be presented. EM-Set includes a network deployment planning, worst–case analysis and dimensioning, protocol simulation and automatic remote programming and hardware testing tools. This toolset was crucial for the development of EMMON which was designed to use standard commercially available technologies, while maintaining as much flexibility as possible to meet specific applications requirements. Finally, the EMMON architecture has been validated through extensive simulation and experimental evaluation, including a 300+ nodes testbed.

Nano-CF: a Coordination Framework for macro-programming in wireless sensor networks

Wireless Sensor Networks (WSN) are being used for a number of applications involving infrastructure monitoring, building energy monitoring and industrial sensing. The difficulty of programming individual sensor nodes and the associated overhead have encouraged researchers to design macro-programming systems which can help program the network as a whole or as a combination of subnets. Most of the current macro-programming schemes do not support multiple users seamlessly deploying diverse applications on the same shared sensor network. As WSNs are becoming more common, it is important to provide such support, since it enables higher-level optimizations such as code reuse, energy savings, and traffic reduction. In this paper, we propose a macro-programming framework called Nano-CF, which, in addition to supporting in-network programming, allows multiple applications written by different programmers to be executed simultaneously on a sensor networking infrastructure. This framework enables the use of a common sensing infrastructure for a number of applications without the users having to worrying about the applications already deployed on the network. The framework also supports timing constraints and resource reservations using the Nano-RK operating system. Nano- CF is efficient at improving WSN performance by (a) combining multiple user programs, (b) aggregating packets for data delivery, and (c) satisfying timing and energy specifications using Rate- Harmonized Scheduling. Using representative applications, we demonstrate that Nano-CF achieves 90% reduction in Source Lines-of-Code (SLoC) and 50% energy savings from aggregated data delivery.

A parallel programming model for ada

Over the last three decades, computer architects have been able to achieve an increase in performance for single processors by, e.g., increasing clock speed, introducing cache memories and using instruction level parallelism. However, because of power consumption and heat dissipation constraints, this trend is going to cease. In recent times, hardware engineers have instead moved to new chip architectures with multiple processor cores on a single chip. With multi-core processors, applications can complete more total work than with one core alone. To take advantage of multi-core processors, parallel programming models are proposed as promising solutions for more effectively using multi-core processors. This paper discusses some of the existent models and frameworks for parallel programming, leading to outline a draft parallel programming model for Ada.

The dark side of DEMMON: what is behind the scene in engineering large-scale wireless sensor networks

Most research work on WSNs has focused on protocols or on specific applications. There is a clear lack of easy/ready-to-use WSN technologies and tools for planning, implementing, testing and commissioning WSN systems in an integrated fashion. While there exists a plethora of papers about network planning and deployment methodologies, to the best of our knowledge none of them helps the designer to match coverage requirements with network performance evaluation. In this paper we aim at filling this gap by presenting an unified toolset, i.e., a framework able to provide a global picture of the system, from the network deployment planning to system test and validation. This toolset has been designed to back up the EMMON WSN system architecture for large-scale, dense, real-time embedded monitoring. It includes network deployment planning, worst-case analysis and dimensioning, protocol simulation and automatic remote programming and hardware testing tools. This toolset has been paramount to validate the system architecture through DEMMON1, the first EMMON demonstrator, i.e., a 300+ node test-bed, which is, to the best of our knowledge, the largest single-site WSN test-bed in Europe to date.