EVIV: An end-to-end verifiable Internet voting system

Traditionally, a country's electoral system requires the voter to vote at a specific day and place, which conflicts with the mobility usually seen in modern live styles. Thus, the widespread of Internet (mobile) broadband access can be seen as an opportunity to deal with this mobility problem, i.e. the adoption of an Internet voting system can make the live of voter's much more convenient; however, a widespread Internet voting systems adoption relies on the ability to develop trustworthy systems, i.e. systems that are verifiable and preserve the voter's privacy. Building such a system is still an open research problem. Our contribution is a new Internet voting system: EVIV, a highly sound End-to-end Verifiable Internet Voting system, which offers full voter's mobility and preserves the voter's privacy from the vote casting PC even if the voter votes from a public PC, such as a PC at a cybercafe or at a public library. Additionally, EVIV has private vote verification mechanisms, in which the voter just has to perform a simple match of two small strings (4-5 alphanumeric characters), that detect and protect against vote manipulations both at the insecure vote client platform and at the election server side. (c) 2012 Elsevier Ltd. All rights reserved.

Sistema de visão para percepção e navegação de um UAV Quadrotor

Mestrado em Engenharia Electrotécnica e de Computadores

The flipped-broadcast learning system, application on Azores

On this work we suggest a teaching solution that can be implemented in Azores, an archipelago of nine islands of Portugal, based in already known system of e-learning, with a twist based on the flipped method. Structured in a cooperative way, the organization of the system allows to isolated groups of people to have access to a certain level of teaching, if they cannot have the possibility to have physical presence in school due to problems emerging from territory discontinuity. Our suggestion can be elaborate in a model that can be adapted to any level of education, and can be adapted also in cases that a cut of budget exists. We suggest the name of fb-learning: Flipped Broadcast Learning.

WEXSYS - Web Expert System

Desde o início que os sistemas periciais não foram vistos apenas como sistemas que poderiam substituir os peritos. Os peritos por sua vez, independentemente da área em que operam, eram tidos como indivíduos que atingiram a excelência através da experiência, estudo e total dedicação, por vezes durante anos. Hoje, mais do que assumir o papel de um perito na excelência de uma área de actuação, os sistemas periciais sobressaem pela disponibilidade contínua, acessos facilitados, custos reduzidos, estabilidade de funcionamento e coerência de raciocínio. Empurrados pelos avanços actuais das redes em termos de velocidade e propagação global, estes sistemas são hoje disponibilizados de forma mais simples e acessível. Este trabalho é realizado com o propósito de evoluir o actual sistema para uma versão mais apelativa, funcional e fiável. Um dos objectivos passa pela evolução do actual modo de funcionamento, utilização local e apenas um utilizador, para um modo de funcionamento que permita uma disponibilização num ambiente de acesso global, acessível a qualquer hora e em qualquer local.

Perspectives on access to in vitro fertilization in Portugal

OBJECTIVE: To analyze users' reasons for choosing in vitro fertilization treatment in public or private services and to identify their suggestions for improving fertility treatment. METHODS: A qualitative study using an interpretative approach was conducted. Fifteen semi-structured interviews were conducted with patients undergoing in vitro fertilization treatment (nine women, one man and five couples) at home or at their workplace in the districts of Viana do Castelo, Braga, Porto and Lisbon, Portugal, between July 2005 and February 2006. RESULTS: Users evaluated access to in vitro fertilization treatment in public and private services based mainly on their individual experiences and called for more access to less costly, faster and friendlier care with suitable facilities, appropriate time management and caring medical providers. These perceptions were also associated with views on the need for fighting stigmatization of infertility, protecting children's rights and guaranteeing sustainability of health care system. Interviewees sought to balance reduced waiting time and more attentive care with costs involved. The choice of services depended on the users' purchase power and place of residence and availability of attentive care. CONCLUSIONS: Current national policies on in vitro fertilization treatment meet user's demands of promoting access to, and quality, availability and affordability of in vitro fertilization treatment. However, their focus on legal regulation and technical-scientific aspects contrasts with the users' emphasis on reimbursement, insurance coverage and focus on emotional aspects of the treatment. The study showed these policies should ensure insurance coverage, participation of user representatives in the National Council for Assisted Reproductive Technology, promotion of infertility research and certification of fertility laboratories.

Queuing and routing in a hierarchical powerline communication system

Although power-line communication (PLC) is not a new technology, its use to support data communication with timing requirements is still the focus of ongoing research. A new infrastructure intended for communication using power lines from a central location to dispersed nodes using inexpensive devices was presented recently. This new infrastructure uses a two-level hierarchical power-line system, together with an IP-based network. Due to the master-slave behaviour of the PLC medium access, together with the inherent dynamic topology of power-line networks, a mechanism to provide end-to-end communication through the two levels of the power-line system must be provided. In this paper we introduce the architecture of the PLC protocol layer that is being implemented for this end.

Using a prioritized medium access control protocol for incrementally obtaining an interpolation of sensor readings

This paper addresses sensor network applications which need to obtain an accurate image of physical phenomena and do so with a high sampling rate in both time and space. We present a fast and scalable approach for obtaining an approximate representation of all sensor readings at high sampling rate for quickly reacting to critical events in a physical environment. This approach is an improvement on previous work in that after the new approach has undergone a startup phase then the new approach can use a very small sampling period.

Simulation of offshore wind system with two-level converters: HVDC power transmission

A new integrated mathematical model for the simulation of offshore wind energy conversion system performance is presented in this paper. The mathematical model considers an offshore variable-speed turbine in deep water equipped with a permanent magnet synchronous generator using full-power two-level converter, converting the energy of a variable frequency source in injected energy into the electric network with constant frequency, through a high voltage DC transmission submarine cable. The mathematical model for the drive train is a concentrate two mass model which incorporates the dynamic for the structure and tower due to the need to emulate the effects of the moving surface. Controller strategy considered is a proportional integral one. Also, pulse width modulation using space vector modulation supplemented with sliding mode is used for trigger the transistor of the converter. Finally, a case study is presented to access the system performance. © 2014 IEEE.

Access to medicines for acute illness in middle income countries in Central America

OBJECTIVE : To analyze the main predictors of access to medicines for persons who experienced acute health conditions. METHODS : This was a cross-sectional analytic study, based on data from household surveys. We examined the predictors of: (1) seeking care for acute illness in the formal health care system and (2) obtaining all medicines sought for the acute condition. RESULTS : The significant predictors of seeking health care for acute illnesses were urban geographic location, head of household with secondary school education or above, age under 15, severity of illness perceived by the respondent, and having health insurance. The most important predictor of obtaining full access to medicines was seeking care in the formal health care system. People who sought care in the formal system were three times more likely to receive all the medicines sought (OR 3.0, 95%CI 2.3;4.0). For those who sought care in the formal health system, the strongest predictors of full access to medicines were seeking care in the private sector, having secondary school education or above, and positive perceptions of quality of health care and medicines in public sector health facilities. For patients who did not seek care in the formal health system, full access to medicines was more likely in Honduras or Nicaragua than in Guatemala. Urban geographic location, higher economic status, and male gender were also significant predictors. CONCLUSIONS : A substantial part of the population in these three countries sought and obtained medicines outside of the formal health care system, which may compromise quality of care and pose a risk to patients. Determinants of full access to medicines inside and outside the formal health care system differ, and thus may require different strategies to improve access to medicines. 

A traffic differentiation add-on to the IEEE 802.15.4 protocol: implementation and experimental validation over a real-time operating system

The IEEE 802.15.4 is the most widespread used protocol for Wireless Sensor Networks (WSNs) and it is being used as a baseline for several higher layer protocols such as ZigBee, 6LoWPAN or WirelessHART. Its MAC (Medium Access Control) supports both contention-free (CFP, based on the reservation of guaranteed time-slots GTS) and contention based (CAP, ruled by CSMA/CA) access, when operating in beacon-enabled mode. Thus, it enables the differentiation between real-time and best-effort traffic. However, some WSN applications and higher layer protocols may strongly benefit from the possibility of supporting more traffic classes. This happens, for instance, for dense WSNs used in time-sensitive industrial applications. In this context, we propose to differentiate traffic classes within the CAP, enabling lower transmission delays and higher success probability to timecritical messages, such as for event detection, GTS reservation and network management. Building upon a previously proposed methodology (TRADIF), in this paper we outline its implementation and experimental validation over a real-time operating system. Importantly, TRADIF is fully backward compatible with the IEEE 802.15.4 standard, enabling to create different traffic classes just by tuning some MAC parameters.

How a cyber-physical system can efficiently obtain a snapshot of physical information even in the presence of sensor faults

We present a distributed algorithm for cyber-physical systems to obtain a snapshot of sensor data. The snapshot is an approximate representation of sensor data; it is an interpolation as a function of space coordinates. The new algorithm exploits a prioritized medium access control (MAC) protocol to efficiently transmit information of the sensor data. It scales to a very large number of sensors and it is able to operate in the presence of sensor faults.

Biological drugs for the treatment of psoriasis in a public health system

OBJECTIVE To analyze the access and utilization profile of biological medications for psoriasis provided by the judicial system in Brazil.METHODSThis is a cross-sectional study. We interviewed a total of 203 patients with psoriasis who were on biological medications obtained by the judicial system of the State of Sao Paulo, from 2004 to 2010. Sociodemographics, medical, and political-administrative characteristics were complemented with data obtained from dispensation orders that included biological medications to treat psoriasis and the legal actions involved. The data was analyzed using an electronic data base and shown as simple variable frequencies. The prescriptions contained in the lawsuits were analyzed according to legal provisions.RESULTS A total of 190 lawsuits requesting several biological drugs (adalimumab, efalizumab, etanercept, and infliximab) were analyzed. Patients obtained these medications as a result of injunctions (59.5%) or without having ever demanded biological medication from any health institution (86.2%), i.e., public or private health services. They used the prerogative of free legal aid (72.6%), even though they were represented by private lawyers (91.1%) and treated in private facilities (69.5%). Most of the patients used a biological medication for more than 13 months (66.0%), and some patients were undergoing treatment with this medication when interviewed (44.9%). Approximately one third of the patients discontinued treatment due to worsening of their illness (26.6%), adverse drug reactions (20.5%), lack of efficacy, or because the doctor discontinued this medication (13.8%). None of the analyzed medical prescriptions matched the legal prescribing requirements. Clinical monitoring results showed that 70.3% of the patients had not undergone laboratory examinations (blood work, liver and kidney function tests) for treatment control purposes.CONCLUSIONS The plaintiffs resorted to legal action to get access to biological medications because they were either unaware or had difficulty in accessing them through institutional public health system procedures. Access by means of legal action facilitated long-term use of this type of medication through irregular prescriptions and led to a high rate of adverse drug reactions as well as inappropriate clinical monitoring.

Socioeconomic inequalities in the access to and quality of health care services

OBJECTIVE To assess the inequalities in access, utilization, and quality of health care services according to the socioeconomic status. METHODS This population-based cross-sectional study evaluated 2,927 individuals aged ≥ 20 years living in Pelotas, RS, Southern Brazil, in 2012. The associations between socioeconomic indicators and the following outcomes were evaluated: lack of access to health services, utilization of services, waiting period (in days) for assistance, and waiting time (in hours) in lines. We used Poisson regression for the crude and adjusted analyses. RESULTS The lack of access to health services was reported by 6.5% of the individuals who sought health care. The prevalence of use of health care services in the 30 days prior to the interview was 29.3%. Of these, 26.4% waited five days or more to receive care and 32.1% waited at least an hour in lines. Approximately 50.0% of the health care services were funded through the Unified Health System. The use of health care services was similar across socioeconomic groups. The lack of access to health care services and waiting time in lines were higher among individuals of lower economic status, even after adjusting for health care needs. The waiting period to receive care was higher among those with higher socioeconomic status. CONCLUSIONS Although no differences were observed in the use of health care services across socioeconomic groups, inequalities were evident in the access to and quality of these services.

Access to continued-use medication among older adults, Brazil

OBJECTIVE To determine the prevalence and associated access factors for all continued-use prescription drugs and the ways in which they can be obtained.METHODS Data was obtained from the 2008 Household National Survey. The sample comprised 27,333 individuals above 60 years who reported that they used continued-use prescription drugs. A descriptive analysis and binary and multiple multinomial logistic regressions were performed.RESULTS 86.0% of the older adults had access to all the medication they needed, and among them, 50.7% purchased said medication. Those who obtained medication from the public health system were younger (60-64 years), did not have health insurance plans, and belonged to the lower income groups. It is remarkable that 14.0% of the subjects still had no access to any continued-use medication, and for those with more than four chronic diseases, this amount reached 22.0%. Those with a greater number of chronic diseases ran a higher risk of not having access to all the medication they needed.CONCLUSIONS There are some groups of older adults with an increased risk of not obtaining all the medication they need and of purchasing it. The results of this study are expected to contribute to guide programs and plans for access to medication in Brazil.

Simulation of offshore wind system with two levels converters: HVDC power transmission

A new integrated mathematical model for the simulation of offshore wind energy conversion system performance is presented in this paper. The mathematical model considers an offshore variable-speed turbine in deep water equipped with a permanent magnet synchronous generator using full-power two-level converter, converting the energy of a variable frequency source in injected energy into the electric network with constant frequency, through a high voltage DC transmission submarine cable. The mathematical model for the drive train is a concentrate two mass model which incorporates the dynamic for the structure and tower due to the need to emulate the effects of the moving surface. Controller strategy considered is a proportional integral one. Also, pulse width modulation using space vector modulation supplemented with sliding mode is used for trigger the transistor of the converter. Finally, a case study is presented to access the system performance. © 2014 IEEE.