Static analysis for checking data format compatibility of programs

Large software systems are developed by composing multiple programs. If the programs manip-ulate and exchange complex data, such as network packets or files, it is essential to establish that they follow compatible data formats. Most of the complexity of data formats is associated with the headers. In this paper, we address compatibility of programs operating over headers of network packets, files, images, etc. As format specifications are rarely available, we infer the format associated with headers by a program as a set of guarded layouts. In terms of these formats, we define and check compatibility of (a) producer-consumer programs and (b) different versions of producer (or consumer) programs. A compatible producer-consumer pair is free of type mismatches and logical incompatibilities such as the consumer rejecting valid outputs gen-erated by the producer. A backward compatible producer (resp. consumer) is guaranteed to be compatible with consumers (resp. producers) that were compatible with its older version. With our prototype tool, we identified 5 known bugs and 1 potential bug in (a) sender-receiver modules of Linux network drivers of 3 vendors and (b) different versions of a TIFF image library.

A coat of many scents: Cuticular hydrocarbons in multitrophic interactions of fig wasps with ants

The fig fig wasp system of Ficus racemosa constitutes an assemblage of galler and parasitoid wasps in which tritrophic interactions occur. Since predatory ants (Oecophylla smaragdina and Technomyrmex albipes) or mostly trophobiont-tending ants (Myrmicaria brunnea) were previously shown to differentially use volatile organic compounds (VOCs) from figs as proximal cues for predation on fig wasps, we examined the response of these ants to the cuticular hydrocarbons (CHCs) of the wasps. CHC signatures of gallers were distinguished from those of parasitoids by the methyl-branched alkanes 5-methylpentacosane and 13-methylnonacosane which characterised trophic group membership. CHC profiles of wasp predator and wasp prey were congruent suggesting that parasitoids acquire CHCs from their prey; the CHC composition of the parasitoid Apocrypta sp 2 clustered with that of its galler host Apocryptophagus fusca, while the CHC profile of the parasitoid Apocryptophagus agraensis clustered with its galler prey, the fig pollinator Ceratosolen fusciceps. In behavioural assays with ants, parasitoid CHC extracts evoked greater response in all ant species compared to galler extracts, suggesting that parasitoid CHC extracts contain more elicitors of ant behaviour than those of plant feeders. CHCs of some wasp species did not elicit significant responses even in predatory ants, suggesting chemical camouflage. Contrary to earlier studies which demonstrated that predatory ants learned to associate wasp prey with specific fig VOCs, prior exposure to fig wasp CHCs did not affect the reaction of any ant species to these CHCs. (C) 2015 Elsevier Masson SAS. All rights reserved.

Biology, ecology, control and management of the invasive Indo-Pacific lionfish: An updated integrated assessment

Venomous Indo-Pacific lionfish (Pterois miles and P. volitans) are now established along the Southeast U.S.A. and parts of the Caribbean and pose a serious threat to reef fish communities of these regions. Lionfish are likely to invade the Gulf of Mexico and potentially South America in the near future. Introductions of lionfish were noted since the 1980s along south Florida and by 2000 lionfish were established off the coast of North Carolina. Lionfish are now one of the more numerous predatory reef fishes at some locations off the Southeast U.S.A. and Caribbean. Lionfish are largely piscivores that feed occasionally on economically important reef fishes. The trophic impacts of lionfish could alter the structure of native reef fish communities and potentially hamper stock rebuilding efforts of the Snapper –Grouper Complex. Additional effects of the lionfish invasion are far-reaching and could increase coral reef ecosystem stress, threaten human health, and ultimately impact the marine aquarium industry. Control strategies for lionfish are needed to mitigate impacts, especially in protected areas. This integrated assessment provides a general overview of the biology and ecology of lionfish including genetics, taxonomy, reproductive biology, early life history and dispersal, venom defense and predation, and feeding ecology. In addition, alternative management actions for mitigating the negative impacts of lionfish, approaches for reducing the risk of future invasions, and directions for future research are provided.

Food composition and digestive enzymes in the gut of the African electric catfish Malapterurus electricus (Gmelin 1789) (Malapteruridae)

Analyses of stomach contents of 330 Malapterurus electricus (standard length, 10.1-30.5 cm) in Mahin Lagoon (southwestern Nigeria) established it as a bottom feeder. There was a preponderance of insects accounting for >80% occurrence and >25% of total volume in stomachs of specimens, suggesting a stenophagous predatory habit. Qualitative and quantitative assays of digestive enzymes in the different regions of the gut (oesophagus, stomach, duodenum, ileum, rectum) were investigated. Carbohydrases (amylase, maltase), chitinase, proteases (pepsin, chymotrypsin, trypsin) and lipases were detected in different gut regions with different activity. The pattern of distribution and relative activity of the enzymes correlated with the predatory diet

The effect of long term exploitation by the gill net fishery on the multispecies fish stocks in Kainji Lake, Nigeria, 1969-1997

The findings are presented of an assessment made of the gillnet fishery in Kainji Lake, Nigeria from 1969 to the present, on the basis of data sets from commercial and experimental gillnet fishing, with the purpose to detect trends in some key fishery monitoring indicators. During this period, there has been an increase in the number of small meshed nets in the fishery resulting in a shift in the mode to lower mesh sizes; consequently, the average mesh size declined gradually in the fishery. This trend is found to be directly correlated with the decline in the CPUE and mean weight of the fish species. It is argued that the observed trend in CPUE and mean weight is forcing the fishermen to switch effort to gears such as traps which have very small meshes and can indescriminately take all sizes of the fish. It is shown that the catch composition by weight of Citharinus citharus, Lates niloticus and tilapias declined in the gillnet fishery in the late 70's and early 80's. Recent data, from 1994 to 1996, however indicates that C. citharus is recovering, but with declining mean weight. This suggests that the exploitation pattern is shifting to the smaller fish through the use of small meshed nets. In general, however, there has not been drastic changes in species bio-diversity in the Lake as a result of predatory effect and ecosystem overfishing as has happened in other great African Lakes. The species composition since lake formation continued to be dominated by fewer that 20 species. The potential yield for the lake has been estimated to be 32,166 tonnes (excluding clupeids) and the required optimum fishing effort to be 1,814 fishing canoes. In view of the relative stability of the species diversity in the lake and the current fish production level, it is proposed here that this MSY be adopted for all species. This would be achieved with the current effort level in the lake assuming that the efficiency of the fishermen and their gears do not improve. It should be reviewed after 10 or more years of catch and effort data collection. (PDF contains 65 pages)

Ground beetles and rove beetles be associated with temporary ponds in England

To date, research on the ecology and conservation of wetland invertebrates has concentrated overwhelmingly on fully aquatic organisms. Many of these spend part of their life-cycle in adjacent terrestrial habitats, either as pupae (water beetles) or as adults (mayflies, dragonflies, stoneflies, caddisflies and Diptera or true-flies). However, wetland specialist species also occur among several families of terrestrial insects (Williams & Feltmate 1992) that complete their whole life-cycle in the riparian zone or on emergent vegetation. There are 441 terrestrial invertebrate species which characteristically occur in riparian habitats along British rivers. Most of these species belong to two families of predatory beetles: the ground beetles (Carabidae) and the rove beetles (Staphylinidae). This paper describes the diversity of ground and rove beetles around ponds, summarises life-histories, hibernation strategies, and morphological and behavioural adaptions.

Projetos de cuidado em Fisioterapia

As práticas de cuidado em fisioterapia, em muitas situações, resgatam a função do fisioterapeuta de executor de técnicas que lhe era atribuída nos primórdios da profissão. Ao exercer essa função meramente técnica, muitas vezes deixando-se substituir pelo equipamento nas suas ações, o profissional compromete o estabelecimento do vínculo terapeuta-paciente, contribuindo para o esvaziamento do encontro em saúde. Nessas situações, predomina o êxito técnico (a eficiência na realização do procedimento) sobre o sucesso prático (os benefícios trazidos para vida das pessoas). Para que o sucesso prático seja atingido, é fundamental que haja o questionamento sobre o que sonham as pessoas, profissionais e pacientes, para as suas vidas e para a saúde, quais são suas perspectivas e projetos de vida, seus projetos de felicidade. Nesse sentido, é imprescindível considerar, também, os projetos de felicidade dos profissionais da saúde enquanto sujeitos desse encontro. Afinal, é a partir deles que o profissional elabora o seu projeto de cuidado para cada paciente. Assim, esse trabalho buscou compreender os elementos que configuram a construção de projetos de cuidado em fisioterapia a partir da reflexão dos próprios fisioterapeutas. Para tanto, utilizou-se a metodologia qualitativa de pesquisa por meio de entrevistas semi-estruturadas para que fossem produzidas narrativas da história de vida do trabalho. Os discursos foram analisados integralmente e a categorização foi feita em três sub-temas: exercício profissional, relação com os pacientes e reflexões. Foi possível perceber que muitos dos arranjos de trabalho estabelecidos visam coibir o vínculo profissional-paciente, transformando-o em valor de troca e mercantilizando a relação terapêutica. Expropriada do vínculo, a prática se resume à realização de procedimentos independentes de sua finalidade, minando as possibilidades de sucesso prático. Nesse caso, não é a tecnologia que gera o afastamento e a mecanização, mas são as estratégias de mercantilização do cuidado fisioterápico. Essa situação só pode ocorrer por um processo de subordinação do profissional e seu saber, o que está fortemente associado a condições de trabalho exploratórias. Podemos dizer que a mercantilização do cuidado facilita a restrição sobre as condições de trabalho e também é fruto dela. O problema é que essa restrição é vista pelos profissionais como não definitiva, mas como um caminho para se alcançar reconhecimento na busca pelo exercício liberal da fisioterapia. A intenção desse estudo não foi traçar um plano normativo de conduta para a profissão, mas imaginamos que o equacionamento dessas questões passa necessariamente pelo reconhecimento, pelas inquietações e indignações com o problema. O que se espera, portanto, é facilitar esse processo de desconforto por meio da proximidade dessas questões trazidas pelas narrativas.

Los fenómenos de marea roja y toxicidad de moluscos bivalvos en el Mar Argentino

Two unusual blooms of dinoflagellates appeared in the Argentine Continental Shelf in spring/summer period of 1980 and 1981, but these differed, one from the other. The first was an intense red-tide with which were associated no signs of toxicity, whereas the second, although; not showing special coloration, was associated with (and doubtless the cause of) intense toxicity in bivalves of the Gulfs of San Matías and San José and of the shelf waters off Península Valdés; the death of two fishermen was atributed to the latter. The first bloom developed as an unusual surface concentration of the predatory dinoflagellate Noctiluca scintillans. It was supposed that this concentration was produced by a particular combination of processes of circulation of water masses. The second bloom was characterizaed by high concentrations of Gonyalax excavata. Investigations at the time determined that toxins in molluscs of the area correasponded to what is called "paralytic shellfish poison". The bloom of G. excavata was associated with a front between well mixed and well stratified water masses. The maximum toxicity centre occured in the mussel bank "Constanza" (42°23'27"S and 62°45'66"W) which coincides with the front referred to above. (PDF contains 93 pages)

Os modos de vida na cidade: Belterra, um estudo de caso na Amazônia brasileira

O objetivo desta tese é analisar os modos de vida na cidade de Belterra. Foram analisados dois períodos de tempo (1934-1945 / 1995-2011) da vida social do lugar, para identificar como a ação do capital, com base no apoio estatal, se deslocou para a Amazônia Brasileira, se apropriou de grandes porções do território, destruiu ou desorganizou os modos de vida preexistentes em nome das exigências do mercado internacional. No primeiro período, buscou-se identificar como ocorreu o processo de ressocialização do migrante em uma cidade-empresa da Companhia Ford Industrial do Brasil, baseada na criação de uma hierarquia sociofuncional do sistema fordista de produção e uma restrição da convivência dos americanos em relação aos brasileiros. No segundo período, analisamos a presença da soja na cidade e em seu entorno. O rural e o urbano estão contidos na cidade, simultaneamente, como práticas socioculturais que não se fazem pela oposição. A ligação entre os dois períodos encontra-se nas mudanças dos modos de vida preexistentes, no uso predatório da natureza e na enunciação de estereótipos pelos de fora contra a população do lugar sob o abrigo da fala do desenvolvimento. As técnicas usadas foram a observação de campo, as entrevistas, as conversas informais, o levantamento bibliográfico, documental e fotográfico. Permitindo a construção de mapas que resumem estes movimentos. Pudemos realizar entrevistas com perguntas semi-estruturadas para tratar dos dois períodos de tempo considerados em nossa pesquisa. Desse modo, observamos que na cidade praticada, onde se realiza a mediação entre o lugar e a totalidade-mundo, os híbridos presentes na vida cotidiana e o contexto de sua realização nos informam sobre a Amazônia e, em particular, da presença étnica (quilombola e indígena), do rural e do urbano na cidade, uma vez que a vida naquele espaço subnacional não se realiza pelas oposições criadas pelo pensamento abstrato.

Étude du crabe rouge profond Geryon quinquedens en Côte d'Ivoire. 2 - Éléments de biologie et d'écologie avec références aux résultats obtenus au Congo

Geryon quinquedens is present along the West African continental slope at depths from 300 to 1000 m, on silt-clay sediments. Geryon is a cold and rather poorly oxygenated water loving species. It is easily caught by traps as it is a scavenger and predatory crustacea. In a given area its distribution does not appear to be homogeneous: for example, densities of red crabs are higher in the eastern and western region of Côte d'Ivoire than in the central zone. Similar observations can be made off Congo, Angola and United States. It can be assumed that there is a relation between the abundance of Geryon and the productivity level of the area. Geographical variations of sex ratio are suspected to be correlated with the density distribution. Males and females have not the same bathymetric distribution: females are only common in the shallower waters (300-500 m) whereas males are present in the whole biotope. Seasonal migrations occur down and up the slope in both the sexes and are certainly related to the reproductive biology. Knowledge of the reproductive biology is also necessary to understand fishing-trap catch rate: egg maturation extends over several months and ovigerous females are exceptionally caught by traps; males also are less available during the same period (March to August) when migrations are less important; in this period, mean size increases and probably this happens at the end of a moult. From September to February the catch-rates increase. Growth is slow compared with other littoral Guinean Crustacea (Peneides). Females become sexually mature at a size of 80 mm (carapace width): modification in the allometric relations of abdomen and carapace are then conspicuous.

O pensamento-ação de Darcy Ribeiro e a universidade brasileira: repensando a universidade necessária

Esta tese analisa o pensamento-ação de Darcy Ribeiro e como seus fazimentos podem ter influenciado a educação superior brasileira. Com uma intensa participação política no campo governamental, nos anos 1960 criou a Universidade de Brasília (UnB) e, posteriormente, a Universidade Estadual do Norte Fluminense (UENF) nos anos 1990. Este estudo por meio da análise das categorias Ideologia, Estado e Sociedade Civil analisa como se naturalizam os fatos históricos, relativizando as pretensões teóricas do liberalismo. Também assinala as tendências culturais e econômicas predatórias do processo de globalização econômica. Assim, seguindo as orientações dos organismos internacionais, os governos brasileiros vêm delegando para o setor privado responsabilidades de oferta da educação superior, por meio de diferentes estratégias privatizantes no setor público. Por fim, o presente estudo investiga a importância do pensamento humanista e das ações do intelectual Darcy Ribeiro. Desta forma, abordamos seus fazimentos para a universidade brasileira, inspirado na diversificação dos povos e no reconhecimento do que chamou processo civilizatório, vinculando seus escritos às ações concretas, para a construção da Universidade Necessária.

A emergência das políticas de avaliação no processo de reforma da universidade brasileira

Esta tese analisa a emergência das políticas de avaliação e a ênfase atribuída aos procedimentos avaliativos no processo de (re)estruturação da universidade brasileira. O recorte temporal refere-se ao período que engloba o pós-reforma universitária de 1968 (no contexto da Ditadura Civil-Militar brasileira), contemplando o período de redemocratização (década de 1980) até o momento de ascensão e efetivação das políticas de avaliação (Governos FHC e Lula), enfocando o eixo da avaliação da universidade no contexto da redefinição do papel do Estado, no curso das políticas de cunho neoliberal. Tal periodização tem por objetivo identificar as relações de continuidade e descontinuidade nas políticas de avaliação direcionadas à Educação Superior ao longo do período investigado. Também, este estudo indica como as orientações predatórias dos organismos internacionais e dos governos brasileiros (militar/civil) por meio de diferentes estratégias fortalece a lógica privatista no setor público do ensino superior.

Distribution patterns of tidepool fishes on a tropical flat reef

Rockpools on a tropical f lat reef off the southeastern coast of Brazil were sampled to determine the influence of pool morphometry and water characteristics on fish community structure. The pool closest to the inner fringe of the reef had lower salinity and higher temperature due to inflow of groundwater. The other pools varied only with respect to their morphometric characteristics, algal cover, and bottom composition. Species with a strong affinity for estuarine- like waters characterized the pool closest to the beach and distinguished its fish community from that of the other pools. Instead of being strongly structured by the physicochemical setting and position in the reef, fish communities of the other pools were determined by behavioral preferences and intra- and interspecific interactions. Differences in community structure were related to pool size (the larger sizes permitting the permanency of schooling species), to algal cover (which allowed camouflage for large predatory species), to bottom composition (which provided substrate for turf flora available to territorial herbivores), and to ecological effects (e.g., competition, territoriality, and predation). Although distribution patterns of tidepool fishes have previously been related to the availability of niches, independent of pool position in the reef, our results show synergistic interactions between water properties, presence or absence of niches, and ecological relationships in structuring tidepool fish communities.

Diet composition and food habits of demersal and pelagic marine fishes from Terengganu waters, east coast of Peninsular Malaysia

Fish stomachs from 18 demersal and pelagic fishes from the coast of Terengganu in Malaysia were examined. The components of the fishes’ diets varied in number, weight, and their frequency of occurrence. The major food items in the stomachs of each species were determined using an Index of Relative Importance. A conceptual food web structure indicates that fish species in the study area can be classified into three predatory groups: (1) predators on largely planktivorous or pelagic species; (2) predators on largely benthophagous or demersal species; and (3) mixed feeders that consume both pelagic and demersal species.

The South China Sea: analyzing fisheries catch data in an ecosystem context

The South China Sea is an important fishing area with an annual harvest of some 5 million tonnes, or 10% of the catches jointly taken by the developing nations of the world. Details are given of a model of the area describing fisheries catches and biological interactions. The area, viewed as a large marine ecosystem, was divided into 10 subsystems; each subsystem was then linked with adjacent subsystems by predatory links, and detritus flows. An analysis was then made of catch statistics for each of the subsystems. It is believed that if all systems could be harvested at around the highest efficiency, an additional 5-6 million tonnes could be taken annually from the South China Sea; however, more refined analyses are needed to further investigate these possibilities. If linked with careful studies of the economic and human aspects of fishing, such analyses will provide guidelines for integrated fisheries management advice.