Fractional model for malaria transmission under control strategies

We study a fractional model for malaria transmission under control strategies.Weconsider the integer order model proposed by Chiyaka et al. (2008) in [15] and modify it to become a fractional order model. We study numerically the model for variation of the values of the fractional derivative and of the parameter that models personal protection, b. From observation of the figures we conclude that as b is increased from 0 to 1 there is a corresponding decrease in the number of infectious humans and infectious mosquitoes, for all values of α. This means that this result is invariant for variation of fractional derivative, in the values tested. These results are in agreement with those obtained in Chiyaka et al.(2008) [15] for α = 1.0 and suggest that our fractional model is epidemiologically wellposed.

Desenvolvendo o pensamento algébrico no 2.º ciclo do ensino básico: o sentido dos símbolos e da generalização

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção do grau de mestre em Educação Matemática na Educação Pré-escolar e nos 1.º e 2.º Ciclos do Ensino Básico

A distributed system for learning programming on-line

Several Web-based on-line judges or on-line programming trainers have been developed in order to allow students to train their programming skills. However, their pedagogical functionalities in the learning of programming have not been clearly defined. EduJudge is a project which aims to integrate the “UVA On-line Judge”, an existing on-line programming trainer with an important number of problems and users, into an effective educational environment consisting of the e-learning platform Moodle and the competitive learning tool QUESTOURnament. The result is the EduJudge system which allows teachers to apply different pedagogical approaches using a proven e-learning platform, makes problems easy to search through an effective search engine, and provides an automated evaluation of the solutions submitted to these problems. The final objective is to provide new learning strategies to motivate students and present programming as an easy and attractive challenge. EduJudge has been tried and tested in three algorithms and programming courses in three different Engineering degrees. The students’ motivation and satisfaction levels were analysed alongside the effects of the EduJudge system on students’ academic outcomes. Results indicate that both students and teachers found that among other multiple benefits the EduJudge system facilitates the learning process. Furthermore, the experi- ment also showed an improvement in students’ academic outcomes. It must be noted that the students’ level of satisfaction did not depend on their computer skills or their gender.

Nonmonotone hybrid tabu search for inequalities and equalities: an experimental study

The main goal of this paper is to analyze the behavior of nonmono- tone hybrid tabu search approaches when solving systems of nonlinear inequalities and equalities through the global optimization of an appro- priate merit function. The algorithm combines global and local searches and uses a nonmonotone reduction of the merit function to choose the local search. Relaxing the condition aims to call the local search more often and reduces the overall computational e ort. Two variants of a perturbed pattern search method are implemented as local search. An experimental study involving a variety of problems available in the lit- erature is presented.

Estratégias de investimento em mercados liberalizados de energia elétrica

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo Energia

Besnoitia besnoiti and Toxoplasma gondii: two apicomplexan strategies to manipulate the host cell centrosome and Golgi apparatus

Besnoitia besnoiti and Toxoplasma gondii are two closely related parasites that interact with the host cell microtubule cytoskeleton during host cell invasion. Here we studied the relationship between the ability of these parasites to invade and to recruit the host cell centrosome and the Golgi apparatus. We observed that T. gondii recruits the host cell centrosome towards the parasitophorous vacuole (PV), whereas B. besnoiti does not. Notably, both parasites recruit the host Golgi apparatus to the PV but its organization is affected in different ways. We also investigated the impact of depleting and over-expressing the host centrosomal protein TBCCD1, involved in centrosome positioning and Golgi apparatus integrity, on the ability of these parasites to invade and replicate. Toxoplasma gondii replication rate decreases in cells over-expressing TBCCD1 but not in TBCCD1-depleted cells; while for B. besnoiti no differences were found. However, B. besnoiti promotes a reorganization of the Golgi ribbon previously fragmented by TBCCD1 depletion. These results suggest that successful establishment of PVs in the host cell requires modulation of the Golgi apparatus which probably involves modifications in microtubule cytoskeleton organization and dynamics. These differences in how T. gondii and B. besnoiti interact with their host cells may indicate different evolutionary paths.

Comparing the schedulers and power saving strategies with SPARTS

We have developed SPARTS, a simulator of a generic embedded real-time device. It is designed to be extensible to accommodate different task properties, scheduling algorithms and/or hardware models for the wide variety of applications. SPARTS was developed to help the community investigate the behaviour of the real-time embedded systems and to quantify the associated constraints/overheads.

Engineering a search and rescue application with a wireless sensor network - based localization mechanism

The advent of Wireless Sensor Network (WSN) technologies is paving the way for a panoply of new ubiquitous computing applications, some of them with critical requirements. In the ART-WiSe framework, we are designing a two-tiered communication architecture for supporting real-time and reliable communications in WSNs. Within this context, we have been developing a test-bed application, for testing, validating and demonstrating our theoretical findings - a search&rescue/pursuit-evasion application. Basically, a WSN deployment is used to detect, localize and track a target robot and a station controls a rescuer/pursuer robot until it gets close enough to the target robot. This paper describes how this application was engineered, particularly focusing on the implementation of the localization mechanism.

The quest for a balanced manpower capacity: different flexibility strategies examined

To cope with permanent fluctuations in demand, organizations are challenged to organize their manpower capacity in a flexible way. Different strategies of manpower planning are being used for this purpose. Using data from the 2002 Panel Survey of Organisations Flanders, we first verify to what extent temporal, contractual and functional flexibility strategies are applied in Flemish organizations. Subsequently, logistic regression is used to analyse the link between these flexible work strategies and a ‘fitting manpower capacity’. While the results show a negative association between the use of temporal or contractual flexibility measures and a balanced manpower capacity, functional flexibility seems to be positively related. The different logics in which numerical and functional flexibility proceed can be labeled as ‘curative’ versus ‘preventive’ strategies of flexibility. Further analyses discern between various interpretations of functional flexibility and assess whether different team types make a contribution to a fitting manpower capacity.

Técnica de pontas : análise do trabalho muscular, articular e postural, no 3ºano do Ensino Vocacional de Dança, na Academia de Música de Vilar do Paraíso

Relatório Final de Estágio apresentado à Escola Superior de Dança com vista à obtenção do Grau de Mestre em Ensino de Dança.

Da condição da génese do erro em enfermagem à segurança do cliente em serviços de urgência

Mestrado em Intervenção Sócio-Organizacional na Saúde - Área de especialização: Políticas de Administração e Gestão de Serviços de Saúde

Regional governance: strategies and disputes in health region management

OBJECTIVE To analyze the regional governance of the health systemin relation to management strategies and disputes.METHODOLOGICAL PROCEDURES A qualitative study with health managers from 19 municipalities in the health region of Bahia, Northeastern Brazil. Data were drawn from 17 semi-structured interviews of state, regional, and municipal health policymakers and managers; a focus group; observations of the regional interagency committee; and documents in 2012. The political-institutional and the organizational components were analyzed in the light of dialectical hermeneutics.RESULTS The regional interagency committee is the chief regional governance strategy/component and functions as a strategic tool for strengthening governance. It brings together a diversity of members responsible for decision making in the healthcare territories, who need to negotiate the allocation of funding and the distribution of facilities for common use in the region. The high turnover of health secretaries, their lack of autonomy from the local executive decisions, inadequate technical training to exercise their function, and the influence of party politics on decision making stand as obstacles to the regional interagency committee’s permeability to social demands. Funding is insufficient to enable the fulfillment of the officially integrated agreed-upon program or to boost public supply by the system, requiring that public managers procure services from the private market at values higher than the national health service price schedule (Brazilian Unified Health System Table). The study determined that “facilitators” under contract to health departments accelerated access to specialized (diagnostic, therapeutic and/or surgical) services in other municipalities by direct payment to physicians for procedure costs already covered by the Brazilian Unified Health System.CONCLUSIONS The characteristics identified a regionalized system with a conflictive pattern of governance and intermediate institutionalism. The regional interagency committee’s managerial routine needs to incorporate more democratic devices for connecting with educational institutions, devices that are more permeable to social demands relating to regional policy making.

Direct search optimization application programming interface with remote access

Search Optimization methods are needed to solve optimization problems where the objective function and/or constraints functions might be non differentiable, non convex or might not be possible to determine its analytical expressions either due to its complexity or its cost (monetary, computational, time,...). Many optimization problems in engineering and other fields have these characteristics, because functions values can result from experimental or simulation processes, can be modelled by functions with complex expressions or by noise functions and it is impossible or very difficult to calculate their derivatives. Direct Search Optimization methods only use function values and do not need any derivatives or approximations of them. In this work we present a Java API that including several methods and algorithms, that do not use derivatives, to solve constrained and unconstrained optimization problems. Traditional API access, by installing it on the developer and/or user computer, and remote API access to it, using Web Services, are also presented. Remote access to the API has the advantage of always allow the access to the latest version of the API. For users that simply want to have a tool to solve Nonlinear Optimization Problems and do not want to integrate these methods in applications, also two applications were developed. One is a standalone Java application and the other a Web-based application, both using the developed API.

Filters method in direct search optimization, new measures to admissibility

Constrained nonlinear optimization problems are usually solved using penalty or barrier methods combined with unconstrained optimization methods. Another alternative used to solve constrained nonlinear optimization problems is the lters method. Filters method, introduced by Fletcher and Ley er in 2002, have been widely used in several areas of constrained nonlinear optimization. These methods treat optimization problem as bi-objective attempts to minimize the objective function and a continuous function that aggregates the constraint violation functions. Audet and Dennis have presented the rst lters method for derivative-free nonlinear programming, based on pattern search methods. Motivated by this work we have de- veloped a new direct search method, based on simplex methods, for general constrained optimization, that combines the features of the simplex method and lters method. This work presents a new variant of these methods which combines the lters method with other direct search methods and are proposed some alternatives to aggregate the constraint violation functions.

A web-based tool to evaluate the iterative processes of direct search methods

Constrained and unconstrained Nonlinear Optimization Problems often appear in many engineering areas. In some of these cases it is not possible to use derivative based optimization methods because the objective function is not known or it is too complex or the objective function is non-smooth. In these cases derivative based methods cannot be used and Direct Search Methods might be the most suitable optimization methods. An Application Programming Interface (API) including some of these methods was implemented using Java Technology. This API can be accessed either by applications running in the same computer where it is installed or, it can be remotely accessed through a LAN or the Internet, using webservices. From the engineering point of view, the information needed from the API is the solution for the provided problem. On the other hand, from the optimization methods researchers’ point of view, not only the solution for the problem is needed. Also additional information about the iterative process is useful, such as: the number of iterations; the value of the solution at each iteration; the stopping criteria, etc. In this paper are presented the features added to the API to allow users to access to the iterative process data.