Solving large 0–1 multidimensional knapsack problems by a new simplified binary artificial fish swarm algorithm

The artificial fish swarm algorithm has recently been emerged in continuous global optimization. It uses points of a population in space to identify the position of fish in the school. Many real-world optimization problems are described by 0-1 multidimensional knapsack problems that are NP-hard. In the last decades several exact as well as heuristic methods have been proposed for solving these problems. In this paper, a new simpli ed binary version of the artificial fish swarm algorithm is presented, where a point/ fish is represented by a binary string of 0/1 bits. Trial points are created by using crossover and mutation in the different fi sh behavior that are randomly selected by using two user de ned probability values. In order to make the points feasible the presented algorithm uses a random heuristic drop item procedure followed by an add item procedure aiming to increase the profit throughout the adding of more items in the knapsack. A cyclic reinitialization of 50% of the population, and a simple local search that allows the progress of a small percentage of points towards optimality and after that refines the best point in the population greatly improve the quality of the solutions. The presented method is tested on a set of benchmark instances and a comparison with other methods available in literature is shown. The comparison shows that the proposed method can be an alternative method for solving these problems.

A structured inventory of spiders (Arachnida, Araneae) in natural and artificial forest gaps at Porto Urucu, Western Brazilian Amazonia

A preliminary survey of the spider fauna in natural and artificial forest gap formations at “Porto Urucu”, a petroleum/natural gas production facility in the Urucu river basin, Coari, Amazonas, Brazil is presented. Sampling was conducted both occasionally and using a protocol composed of a suite of techniques: beating trays (32 samples), nocturnal manual samplings (48), sweeping nets (16), Winkler extractors (24), and pitfall traps (120). A total of 4201 spiders, belonging to 43 families and 393 morphospecies, were collected during the dry season, in July, 2003. Excluding the occasional samples, the observed richness was 357 species. In a performance test of seven species richness estimators, the Incidence Based Coverage Estimator (ICE) was the best fit estimator, with 639 estimated species. To evaluate differences in species richness associated with natural and artificial gaps, samples from between the center of the gaps up to 300 meters inside the adjacent forest matrix were compared through the inspection of the confidence intervals of individual-based rarefaction curves for each treatment. The observed species richness was significantly higher in natural gaps combined with adjacent forest than in the artificial gaps combined with adjacent forest. Moreover, a community similarity analysis between the fauna collected under both treatments demonstrated that there were considerable differences in species composition. The significantly higher abundance of Lycosidae in artificial gap forest is explained by the presence of herbaceous vegetation in the gaps themselves. Ctenidae was significantly more abundant in the natural gap forest, probable due to the increase of shelter availability provided by the fallen trees in the gaps themselves. Both families are identified as potential indicators of environmental change related to the establishment or recovery of artificial gaps in the study area.

MOEA/VAN: Multiobjective Evolutionary Algorithm based on Vector Angle Neighborhood

Natural selection favors the survival and reproduction of organisms that are best adapted to their environment. Selection mechanism in evolutionary algorithms mimics this process, aiming to create environmental conditions in which artificial organisms could evolve solving the problem at hand. This paper proposes a new selection scheme for evolutionary multiobjective optimization. The similarity measure that defines the concept of the neighborhood is a key feature of the proposed selection. Contrary to commonly used approaches, usually defined on the basis of distances between either individuals or weight vectors, it is suggested to consider the similarity and neighborhood based on the angle between individuals in the objective space. The smaller the angle, the more similar individuals. This notion is exploited during the mating and environmental selections. The convergence is ensured by minimizing distances from individuals to a reference point, whereas the diversity is preserved by maximizing angles between neighboring individuals. Experimental results reveal a highly competitive performance and useful characteristics of the proposed selection. Its strong diversity preserving ability allows to produce a significantly better performance on some problems when compared with stat-of-the-art algorithms.

Influence of saliva and mucin on the adhesion of Candida oral clinical isolates

Objectives: This research work intends to clarify the role of artificial saliva, in particularly the role of mucin, a salivary protein, on the surface properties and adhesion ability of Candida spp. oral clinical isolates to abiotic surfaces. Methods: Four oral clinical isolates of Candida spp. were used: two Candida albicans strains (AC; AM) and two Candida parapsilosis strains (AD; AM2). The strains were isolated from patients using oral prosthesis. The microorganisms were cultured in the absence or presence of mucin and artificial saliva, and their adhesion to an abiotic surface (coated with mucin and artificial saliva) was evaluated. Results: The presence of mucin per se onto the abiotic surface decreased the adhesion of all strains, although the combination of mucin with artificial saliva had reduced this effect. No direct correlation between adhesion and the surface free energies of adhesion of the microorganisms was found. Significance: Candida spp. were human commensal microorganisms that became pathogenic when the host immune defenses were compromised. Medical devices were colonized by Candida spp. particularly, oral prostheses, which might lead to the degradation of the prostheses and systemic infections. The salivary secretions that constantly cover the oral cavity influenced Candida spp. adhesion process. Therefore, it was important to understand the interactions between Candida spp., salivary proteins and the characteristic of oral prosthesis when developing materials for oral prostheses.

O professor como construtor do currículo: integração da tecnologia em atividades de aprendizagem de matemática

O desenvolvimento profissional dos professores de matemática, por meio de progra¬mas nacionais e formações contínuas, deve proporcionar experiências que envolvam investigação, pensamento, planeamento, prática e reflexão. No caso da tecnologia, não nos devemos focar nas ferramentas em si, mas no modo como são usadas pelos docentes em contexto de sala de aula. Existem taxonomias de atividades de apren¬dizagem baseadas no conteúdo assentes na ideia do professor como construtor do currículo, que, para integrar com sucesso a tecnologia educativa nas aulas, desenvolve o conhecimento pedagógico e tecnológico do conteúdo (TPACK), e apresenta-se a de matemática. Desse modo, reflete-se, por meio de vários estudos nacionais e internacionais, que as tecnologias deverão ser usadas pelos professores de acordo com objetivos, conteúdos e pedagogias específicas para terem um efeito positivo na aprendizagem dos alunos sobre as atividades baseadas no conteúdo que melhor se enquadram com essas tecnologias.

Tecnologia e configurações do humano na era digital: Contribuições para uma nova sociologia da técnica

(Excerto) Com a expansão das novas tecnologias digitais da infor­mação e da comunicação e as biotecnologias, o mundo social e técnico está a transformar-se de uma forma acelerada nas últimas décadas. Uma alteração que tem dois efeitos impor­tantes: em primeiro lugar, uma mudança na relação entre o humano e a tecnologia; em segundo, uma crise da forma tra­dicional das ciências sociais pensarem a questão da técnica.

Forest structure of artificial islands in the Tucuruí dam reservoir in northern Brazil: a test core-area model

Construction of hydroelectric dams in tropical regions has been contributing significantly to forest fragmentation. Alterations at edges of forest fragments impact plant communities that suffer increases in tree damage and dead, and decreases in seedling recruitment. This study aimed to test the core-area model in a fragmented landscape caused by construction of a hydroelectric power plant in the Brazilian Amazon. We studied variations in forest structure between the margin and interiors of 17 islands of 8-100 hectares in the Tucuruí dam reservoir, in two plots (30 and >100m from the margin) per island. Mean tree density, basal area, seedling density and forest cover did not significantly differ between marginal and interior island plots. Also, no significant differences were found in liana density, dead tree or damage for margin and interior plots. The peculiar topographic conditions associated with the matrix habitat and shapes of the island seem to extend edge effects to the islands' centers independently of the island size, giving the interior similar physical microclimatic conditions as at the edges. We propose a protocol for assessing the ecological impacts of edge effects in fragments of natural habitat surrounded by induced (artificial) edges. The protocol involves three steps: (1) identification of focal taxa of particular conservation or management interest, (2) measurement of an "edge function" that describes the response of these taxa to induced edges, and (3) use of a "Core-Area Model" to extrapolate edge function parameters to existing or novel situations.

Wear of PEEK-Ti6Al4V systems under micro-abrasion and linear sliding conditions

Dissertação de mestrado integrado em Engenharia Biomédica

Desenvolvimento de rede neuronal artificial para o diagnóstico de doenças neurodegenerativas

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores

Artificial nest predation rates vary depending on visibility in the eastern Brazilian Amazon

Observational and experimental studies have shown that increased concealment of bird nests reduces nest predation rates. The objective of the present study was to evaluate differences in predation rates between two experimental manipulations of artificial ground nests (i.e., clearing an area around the artificial nest or leaving it as natural as possible), and test whether environmental variables also affected nest predation in an undisturbed area of Amazonian forest in eastern Brazil. A generalized linear model was used to examine the influence of five variables (manipulation type, perpendicular distance from the main trail, total basal area of trees surrounding the nest site, understorey density, and liana quantity) on nest predation rates. Model results, showed that manipulation type was the only variable that significantly affected nest predation rates. Thus, to avoid systematic biases, the influence of nest site manipulation must be taken into consideration when conducting experiments with artificial nests.

Deteção remota na avaliação das alterações da cobertura do solo no Parque Nacional da Peneda-Gerês

Dissertação de mestrado integrado em Engenharia Civil

Immersiveness of ubiquitous computing environments prototypes: A case study

The development of ubiquitous computing (ubicomp) environments raises several challenges in terms of their evaluation. Ubicomp virtual reality prototyping tools enable users to experience the system to be developed and are of great help to face those challenges, as they support developers in assessing the consequences of a design decision in the early phases of development. Given the situated nature of ubicomp environments, a particular issue to consider is the level of realism provided by the prototypes. This work presents a case study where two ubicomp prototypes, featuring different levels of immersion (desktop-based versus CAVE-based), were developed and compared. The goal was to determine the cost/benefits relation of both solutions, which provided better user experience results, and whether or not simpler solutions provide the same user experience results as more elaborate one.

Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.

Logificação da Psicologia o itinerário intelectual de Edmundo Curvelo sobre a Mente, a Lógica e a Filosofia

Tese de Doutoramento em Filosofia - Especialidade de Filosofia da Mente

Development of a novel aptamer-based multi-sensor device for the detection of osteopontin

Doctoral Dissertation for PhD degree in Chemical and Biological Engineering