SHõWA: A Self-healing Framework for Web-based Applications

The complexity of systems is considered an obstacle to the progress of the IT industry. Autonomic computing is presented as the alternative to cope with the growing complexity. It is a holistic approach, in which the systems are able to configure, heal, optimize, and protect by themselves. Web-based applications are an example of systems where the complexity is high. The number of components, their interoperability, and workload variations are factors that may lead to performance failures or unavailability scenarios. The occurrence of these scenarios affects the revenue and reputation of businesses that rely on these types of applications. In this article, we present a self-healing framework for Web-based applications (SHõWA). SHõWA is composed by several modules, which monitor the application, analyze the data to detect and pinpoint anomalies, and execute recovery actions autonomously. The monitoring is done by a small aspect-oriented programming agent. This agent does not require changes to the application source code and includes adaptive and selective algorithms to regulate the level of monitoring. The anomalies are detected and pinpointed by means of statistical correlation. The data analysis detects changes in the server response time and analyzes if those changes are correlated with the workload or are due to a performance anomaly. In the presence of per- formance anomalies, the data analysis pinpoints the anomaly. Upon the pinpointing of anomalies, SHõWA executes a recovery procedure. We also present a study about the detection and localization of anomalies, the accuracy of the data analysis, and the performance impact induced by SHõWA. Two benchmarking applications, exercised through dynamic workloads, and different types of anomaly were considered in the study. The results reveal that (1) the capacity of SHõWA to detect and pinpoint anomalies while the number of end users affected is low; (2) SHõWA was able to detect anomalies without raising any false alarm; and (3) SHõWA does not induce a significant performance overhead (throughput was affected in less than 1%, and the response time delay was no more than 2 milliseconds).

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.

A framework for scientific computing with GPUs

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

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Spatial distribution of dengue in the city of Cruzeiro, São Paulo State, Brazil: use of geoprocessing tools

The aim of this article is to identify patterns in spatial distribution of cases of dengue fever that occurred in the municipality of Cruzeiro, State of São Paulo, in 2006. This is an ecological and exploratory study using the tools of spatial analysis in the preparation of thematic maps with data from Sinan-Net. An analysis was made by area, taking as unit the IBGE census, the analysis included four months in 2006 which show the occurrence of the disease in the city. The thematic maps were constructed by TerraView 3.3.1 software, the same software provided the values of the indicators of Global Moran (I M) every month and the Kernel estimation. In the year 2006, 691 cases of dengue were georeferenced (with a rate of 864.2 cases/100,000 inhabitants); the indicators of Moran and p-values obtained were I M = 0.080 (March) p = 0.11; I M = 0.285 (April) p = 0.01; I M = 0.201 (May) p = 0.01 and I M = 0.002 (June) p = 0.57. The first cases were identified in the Northeast and Central areas of Cruzeiro and the recent cases, in the North, Northeast and Central. It was possible to identify census tracts where the epidemic began and how it occurred temporally and spatially in the city.

SPATIAL DISTRIBUTION OF PHLEBOTOMINAE IN PUERTO IGUAZU-MISIONES, ARGENTINA-BRAZIL-PARAGUAY BORDER AREA

SUMMARY The first Argentinian autochthonous human case of visceral leishmaniasis (VL) was confirmed in Posadas (Misiones) in 2006. Since then, the disease has increased its incidence and geographical distribution. In the 2006-2012 period, 107 human cases were detected (11 deaths). The presence of Lutzomyia longipalpis was detected in peridomiciles in Puerto Iguazú urban area in 2010; some of these findings were associated with households where cases of canine VL had already been reported. The objective of this study was to ascertain the abundance and spatial distribution of Lu. longipalpis in Puerto Iguazú City, on the Argentina-Brazil-Paraguay border. Lu. longipalpis proved to be exclusively urban and was found in 31% of the households sampled (n = 53), 67% of which belonged to areas of low abundance, 20% to areas of moderate abundance and 13% to areas of high abundance. Nyssomyia whitmani was the only species found both in urban and peri-urban environments, and Migonemyia migonei was registered only on the outskirts of the city. Due to the fact that Puerto Iguazú is considered to be at moderate risk at the moment, it is necessary to intensify human and canine case controls, as well as take integrated prevention and control measures regarding the environment, vectors and reservoirs on the Argentina-Brazil-Paraguay border area.

Gender Differences in Spatial Cognition: Wayfinding Performance and Sketch Mapping Activity of German Speakers

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies

Fasciola hepatica IN BOVINES IN BRAZIL: DATA AVAILABILITY AND SPATIAL DISTRIBUTION

Fasciolosis is a disease of importance for both veterinary and public health. For the first time, georeferenced prevalence data of Fasciola hepatica in bovines were collected and mapped for the Brazilian territory and data availability was discussed. Bovine fasciolosis in Brazil is monitored on a Federal, State and Municipal level, and to improve monitoring it is essential to combine the data collected on these three levels into one dataset. Data were collected for 1032 municipalities where livers were condemned by the Federal Inspection Service (MAPA/SIF) because of the presence of F. hepatica. The information was distributed over 11 states: Espírito Santo, Goiás, Minas Gerais, Mato Grosso do Sul, Mato Grosso, Pará, Paraná, Rio de Janeiro, Rio Grande do Sul, Santa Catarina and São Paulo. The highest prevalence of fasciolosis was observed in the southern states, with disease clusters along the coast of Paraná and Santa Catarina and in Rio Grande do Sul. Also, temporal variation of the prevalence was observed. The observed prevalence and the kriged prevalence maps presented in this paper can assist both animal and human health workers in estimating the risk of infection in their state or municipality.

Development of regional spatial data infrastructure (SDI) case study in hearth of Borneo

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Public private collaboration: Potentials for spatial data infrastructure development in developing countries - A caste study of Nigeria

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Spatial analysis of suicide attack incidences in Kabul City

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Distributed processing of large remote sensing images using MapReduce - A case of Edge Detection

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

SPATIAL DISTRIBUTION OF LYMNAEIDAE (MOLLUSCA, BASOMMATOPHORA), INTERMEDIATE HOST OF Fasciola hepatica LINNAEUS, 1758 (TREMATODA, DIGENEA) IN BRAZIL

Snails of the family Lymnaeidae act as intermediate hosts in the biological cycle of Fasciola hepatica, which is a biological agent of fasciolosis, a parasitic disease of medical importance for humans and animals. The present work aimed to update and map the spatial distribution of the intermediate host snails of F. hepatica in Brazil. Data on the distribution of lymnaeids species were compiled from the Collection of Medical Malacology (Fiocruz-CMM, CPqRR), Collection of Malacology (MZUSP), “SpeciesLink” (CRIA) network and through systematic surveys in the literature. Our maps of the distribution of lymnaeids show that Pseudosuccinea columella is the most common species and it is widespread in the South and Southeast with few records in the Midwest, North and Northeast regions. The distribution of the Galba viatrix, G. cubensis and G. truncatula showed a few records in the South and Southeast regions, they were not reported for the Midwest, North and Northeast. In addition, in the South region there are a few records for G. viatrix and one occurrence of Lymnaea rupestris. Our findings resulted in the first map of the spatial distribution of Lymnaeidae species in Brazil which might be useful to better understand the fasciolosis distribution and delineate priority areas for control interventions.

Spatial analysis and investigation of fire events occurrences in the Valencian Community, Spain

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Parallelization of web processing services on cloud computing: A case study of Geostatistical Methods

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.