Program slicing by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually oriented towards the imperative or object paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird-Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general, alternative to slicing functional programs

An adaptation of correspondence analysis for square tables

The application of correspondence analysis to square asymmetrictables is often unsuccessful because of the strong role played by thediagonal entries of the matrix, obscuring the data off the diagonal. A simplemodification of the centering of the matrix, coupled with the correspondingchange in row and column masses and row and column metrics, allows the tableto be decomposed into symmetric and skew--symmetric components, which canthen be analyzed separately. The symmetric and skew--symmetric analyses canbe performed using a simple correspondence analysis program if the data areset up in a special block format.

Governança das áreas marinhas protegidas da província biogeográfica da Macaronésia

As áreas marinhas protegidas (AMPs), enquanto instrumentos de conservação da natureza, contribuem para a conservação, preservação e gestão dos ecossistemas costeiros e marinhos a nível mundial. Na Província Biogeográfica da Macaronésia, as AMPs existentes desempenham este papel de forma preponderante, principalmente no que diz respeito às espécies com impacte económico local. A governança consiste nas interacções entre estruturas, processos e tradições, as quais determinam como são exercidas as responsabilidades, como as decisões são tomadas e como é que a opinião dos cidadãos e grupos de interesse (stakeholders) é integrada no processo de decisão. Assim, a governança das AMPs é um factor determinante para o seu sucesso. Foi estudada a governança das AMPs na Província Biogeográfica da Macaronésia (arquipélagos dos Açores, Madeira, Canárias e Cabo Verde), com a finalidade de verificar se o actual estado de estabelecimento e gestão de AMPs nos quatro arquipélagos é ou não favorável a uma governança conjunta do meio marinho nesta província biogeográfica, tendo em vista os objectivos de conservação da natureza à escala global. Foi desenvolvida uma metodologia própria baseada na análise do quadro legal nacional e internacional e das estruturas governativas das AMPs, e ainda em entrevistas no arquipélago com menor disponibilidade de informação (Cabo Verde). Conclui-se que os três países que fazem parte da área de estudo detêm os quadros legais (internacional, regional e nacional) e institucional considerados suficientes para a conservação dos ecossistemas costeiros e marinhos. Esta análise permitiu a definição de acções que poderão ser desenvolvidas pelos quatro arquipélagos, visando uma gestão conjunta integrada das AMPs na área de estudo. Apesar de existirem vários diplomas e regulamentos jurídicos a nível nacional/regional sobre a conservação marinha, há ainda um longo caminho a percorrer no que diz respeito aos planos de gestão destinados a promover uma abordagem integrada da conservação à escala biogeográfica

Tax Credit Evaluation Study: Iowa New Jobs Training Program (260E) Part 1: Background

During the 2005 Legislative Session the Iowa Department of Revenue received an appropriation to establish the Tax Credits Tracking and Analysis Program (TCTAP) to track tax credit awards and claims. In addition, the Department was directed to perform periodic evaluations of tax credit programs. The purpose of these studies is three-fold: (1) To provide a comparison of the Iowa tax credit program to similar federal and other states’ programs (2) To summarize information related to the usage of the Iowa tax credit (3) To evaluate the economic impact of the tax credit program.

Development of LRFD Procedures for Bridge Pile Foundations in Iowa: Volume II: Field Testing of Steel Piles in Clay, Sand, and Mixed Soils and Data Analysis, September 2011

In response to the mandate on Load and Resistance Factor Design (LRFD) implementations by the Federal Highway Administration (FHWA) on all new bridge projects initiated after October 1, 2007, the Iowa Highway Research Board (IHRB) sponsored these research projects to develop regional LRFD recommendations. The LRFD development was performed using the Iowa Department of Transportation (DOT) Pile Load Test database (PILOT). To increase the data points for LRFD development, develop LRFD recommendations for dynamic methods, and validate the results ofLRFD calibration, 10 full-scale field tests on the most commonly used steel H-piles (e.g., HP 10 x 42) were conducted throughout Iowa. Detailed in situ soil investigations were carried out, push-in pressure cells were installed, and laboratory soil tests were performed. Pile responses during driving, at the end of driving (EOD), and at re-strikes were monitored using the Pile Driving Analyzer (PDA), following with the CAse Pile Wave Analysis Program (CAPWAP) analysis. The hammer blow counts were recorded for Wave Equation Analysis Program (WEAP) and dynamic formulas. Static load tests (SLTs) were performed and the pile capacities were determined based on the Davisson’s criteria. The extensive experimental research studies generated important data for analytical and computational investigations. The SLT measured loaddisplacements were compared with the simulated results obtained using a model of the TZPILE program and using the modified borehole shear test method. Two analytical pile setup quantification methods, in terms of soil properties, were developed and validated. A new calibration procedure was developed to incorporate pile setup into LRFD.

Surface-dependent strategies and energy flux in benthic marine communities or, why corals do not exist in the Mediterranean

Most structure-building organisms in rocky benthic communities are surface-dependent because their energy inputs depend mainly on the surface they expose to water. Two photosynthetic strategies, divided into calcareous and non calcareous algae, strict suspension-feeders and photosynthetic suspension feeders (e.g. hermatypic corals) are the four main strategies evolutively acquired by benthic organisms. Competition between those strategies occur in relation to productivity of the different species, in such a way that, for given environmental conditions, species with a higher growth (P/B ratio) would dominate. At a worldwide scale, littoral marine benthos can he considered to fit into the four fields defined by two main axes: the first, relates to productivity and relies atrophic and oligotrophic waters and the second is defined by the degree of environmental variability or seasonality (from high to low). Coral reefs (marine ecosystems dominated by photosynthetic suspension feeders) develop in the space of oligotrophic areas with low variability, while kelp beds (marine ecosystem dominated by large, non calcareous algae) are to be found only in eutrophic places with a high variability. The space of eutrophic waters with a low variability do not has specially adapted, high structured, benthic marine ecosystems, and in these conditions opportunistic algae and animals predominate. Finally, photophilic mediterranean benthos -devoid of kelps and without hermatypic corals- typifies the field of oligotrophic areas with high variability; in its more genuine aspect, Mediterranean benthos is represented by small algae with a high percentage of calcareous thallii. In all cases strict suspension-feeders compete successfully with photosynthetic organisms only in situations of low irradiances or very high inputs of POM. In its turn, Mediterranean rocky benthos, in spite of its relative uniformity, is geographically organized along the same axes. The Gulf of Lions and the insular bottoms (Balearic Islands, for example) would correspond to the extremes of eutrophic-high variability areas and oligotrophic-low variability areas, respectively. Irradiance, nutrient and POM concentration, and hydrodynamism are the three variables which mainly affect the distribution of the different surface-dependent strategies, and thus, these parameters are of paramount interest for understanding the trophic structure of Mediterranean benthic communities. In environments non limited by light, nutrient availability, defined as the product between nutrient -POM concentration and hydrodynamism, states the dominance of calcareous versus non calcareous algae. Calcareous algae dominate in oligotrophic waters while non-calcareous algae dominate in moderately eutrophic waters. In light-limited environments, passive suspension feeders (octocorallaria, gorgonians) become dominant species if POM availability is enhanced by a high hydrodynamism (strong currents); in waters with a low charge of POM organisms of other groups, mainly active suspension feeders, predominate (sponges, bryozoans, scleractiniarians). In any case, there always exists a very variable bathymetric zone, depending on light attenuation and nutrient-POM availability, where encrusting calcareous algae strongly compete with suspension feeders (coralligenous).

A global marine sedimentary response to the end-Permian mass extinction: Examples from southern Turkey and the western United States

The end-Permian mass extinction greatly diminished marine diversity and brought about a whole-scale restructuring of marine ecosystems; these ecosystem changes also profoundly affected the sedimentary record. Data presented here, attained through facies analyses of strata deposited during the immediate aftermath of the end-Permian mass extinction (southern Turkey) and at the close of the Early Triassic (southwestern United States), in combination with a literature review, show that sedimentary systems were profoundly affected by: (1) a reduction in biotic diversity and abundance and (2) long-term environmental fluctuations that resulted from the end-Permian crisis. Lower Triassic strata display widespread microbialite and carbonate seafloor fan development and contain indicators of suppressed infaunal bioturbation such as flat-pebble conglomerates and wrinkle structures (facies considered unusual in post-Cambrian subtidal deposits). Our observations suggest that depositional systems, too, respond to biotic crises, and that certain facies may act as barometers of ecologic and environmental change independent of fossil assemblage analyses. Close investigation of facies changes during other critical times in Earth history may serve as an important tool in interpreting the ecology of metazoans and their environment.

Development of LRFD Design Procedures for Bridge Piles in Iowa – Field Testing of Steel H-Piles in Clay, Sand, and Mixed Soils and Data Analysis (Volume II), TR-583, 2011

In response to the mandate on Load and Resistance Factor Design (LRFD) implementations by the Federal Highway Administration (FHWA) on all new bridge projects initiated after October 1, 2007, the Iowa Highway Research Board (IHRB) sponsored these research projects to develop regional LRFD recommendations. The LRFD development was performed using the Iowa Department of Transportation (DOT) Pile Load Test database (PILOT). To increase the data points for LRFD development, develop LRFD recommendations for dynamic methods, and validate the results of LRFD calibration, 10 full-scale field tests on the most commonly used steel H-piles (e.g., HP 10 x 42) were conducted throughout Iowa. Detailed in situ soil investigations were carried out, push-in pressure cells were installed, and laboratory soil tests were performed. Pile responses during driving, at the end of driving (EOD), and at re-strikes were monitored using the Pile Driving Analyzer (PDA), following with the CAse Pile Wave Analysis Program (CAPWAP) analysis. The hammer blow counts were recorded for Wave Equation Analysis Program (WEAP) and dynamic formulas. Static load tests (SLTs) were performed and the pile capacities were determined based on the Davisson’s criteria. The extensive experimental research studies generated important data for analytical and computational investigations. The SLT measured load-displacements were compared with the simulated results obtained using a model of the TZPILE program and using the modified borehole shear test method. Two analytical pile setup quantification methods, in terms of soil properties, were developed and validated. A new calibration procedure was developed to incorporate pile setup into LRFD.

Feeding ecology and trophic position of three sympatric demersal chondrichthyans in the Northwestern Mediterranean.

Understanding how marine predators interact is a scientific challenge. In marine ecosystems, segregation in feeding habits has been largely described as a common mechanism to allow the coexistence of several competing marine predators. However, little is known about the feeding ecology of most species of chondrichthyans, which play a pivotal role in the structure of marine food webs worldwide. In this study, we examined the trophic ecology of 3 relatively abundant chondrichthyans coexisting in the Mediterranean Sea: the blackmouth catshark Galeus melastomus , the velvet belly lanternshark Etmopterus spinax and the rabbit fish Chimaera monstrosa. To examine their trophic ecology and interspecific differences in food habits, we combined the analysis of stomach content and stable isotopes. Our results highlighted a trophic segregation between C. monstrosa and the other 2 species. G. melastomus showed a diet composed mainly of cephalopods, while E. spinax preyed mainly on shrimps and C. monstrosa on crabs. Interspecific differences in the trophic niche were likely due to different feeding capabilities and body size. Each species showed different isotopic niche space and trophic level. Specifically, C. monstrosa showed a higher trophic level than E. spinax and G. melastomus. The high trophic levels of the 3 species highlighted their important role as predators in the marine food web. Our results illustrate the utility of using complementary approaches that provide information about the feeding behaviour at short (stomach content) and long-term scales (stable isotopes), which could allow more efficient monitoring of marine food-web changes in the study area.

Customer relationship management through life cycle analysis, case professional service firm in B2B market

The objective of this master’s thesis was to study how customer relationships should be assessed and categorized in order to support customer relationship management (CRM) in the context of business-to-business (B2B) and professional services. This sophisticated and complex market is utilizing possibilities of CRM only rarely and even then the focus is often on technology. The theoretical part considered first CRM from the value chain point of view and then discussed the cyclical nature of relationships. The case study focused on B2B professional service firm. The data was collected from company databases and included the sample of 90 customers. The research was conducted in three phases first studying the age, then the service type of relationships and finally executing the cluster analysis. The data was analysed by statistical analysis program SAS Enterprise Guide. The results indicate that there are great differences between developments of customer relationships. While some relationships are dynamically growing and changing, most of customers are remaining constant. This implies expectations and requirements of customers are similarly divergent and relationships should be managed accordingly.

Identification et caractérisation des protéines responsables de l’entrée en phase M chez Lingulodinium polyedrum

Les dinoflagellés sont des eucaryotes unicellulaires qui composent une grande partie du phytoplancton et qui jouent un rôle important au niveau de la photosynthèse, de la production primaire et de la conservation des écosystèmes marins. Les dinoflagellés se distinguent des autres eucaryotes par leur biologie et leur organisation nucléaire unique. Lors de la mitose, leur membrane nucléaire demeure intacte et la ségrégation des chromosomes se fait à partir de fuseaux mitotiques formés dans le cytoplasme et qui traversent le noyau au travers de canaux spécialisés Aussi, leurs chromosomes sont condensés en permanence et le processus utilisé pour y arriver est encore très mal compris puisque les dinoflagellés ne possèdent aucunes histones détectables. Lingulodinium polyedrum est un dinoflagellé photosynthétique marin utilisé comme organisme modèle en ce qui concerne l’étude des rythmes circadiens (bioluminescence, migration verticale, mitose et photosynthèse). La découverte et l’étude des éléments régulateurs du cycle cellulaire peuvent nous amener à comprendre le mécanisme, l’influence et la portée du contrôle circadien sur le cycle cellulaire. De plus, l’étude du cycle cellulaire pourrait permettre de révéler des indices quant aux caractéristiques singulières des dinoflagellés qui sont pour le moment énigmatiques. Par le passé, une étude chez Lingulodinium polyedrum a permis d’identifier la cycline impliquée dans la mitose, LpCyc1, le premier régulateur du cycle cellulaire a être découvert chez les dinoflagellés. La présente étude s’attarde sur la caractérisation de la LpCyc1, soit son expression, sa localisation, sa phosphorylation. Ces trois éléments concordent de façon à synchroniser l’activité de la LpCyc1 (et ainsi la mitose) de façon circadienne. Cette étude présente aussi la création et le développement d’un outil majeur pour l’étude future de Lingulodinium polyedrum, le transcriptome des ARNm à partir d’un iv séquençage Illumina. C’est d’ailleurs avec cet outil que nous avons découvert la CDK responsable du contrôle de la phase M, LpCdk1. Cette CDK possède tous les domaines d’une CDK classique, un site de liaison des substrats, un site de liaison à l’ATP, une boucle activatrice, et une interface de liaison avec la cycline. Le transcriptome de Lingulodinium polyedrum a aussi permis de recenser toutes les protéines conservées normalement retrouvées dans le contrôle du cycle cellulaire, qui nous a permis de faire une ébauche préliminaire du cycle cellulaire de L. polyedrum. Cette analyse est une première chez Lingulodinium polyedrum et peut s’étendre pour l’étude d’une multitude d’autres processus métaboliques.

Mortality of Migratory Birds from Marine Commercial Fisheries and Offshore Oil and Gas Production in Canada

There is an imminent need for conservation and best-practice management efforts in marine ecosystems where global-scale declines in the biodiversity and biomass of large vertebrate predators are increasing and marine communities are being altered. We examine two marine-based industries that incidentally take migratory birds in Canada: (1) commercial fisheries, through bycatch, and (2) offshore oil and gas exploration, development, and production. We summarize information from the scientific literature and technical reports and also present new information from recently analyzed data to assess the magnitude and scope of mortality. Fisheries bycatch was responsible for the highest levels of incidental take of migratory bird species; estimated combined take in the longline, gillnet, and bottom otter trawl fisheries within the Atlantic, including the Gulf of St. Lawrence, and Pacific regions was 2679 to 45,586 birds per year. For the offshore oil and gas sector, mortality estimates ranged from 188 to 4494 deaths per year due to the discharge of produced waters resulting in oil sheens and collisions with platforms and vessels; however these estimates for the oil and gas sector are based on many untested assumptions. In spite of the uncertainties, we feel levels of mortality from these two industries are unlikely to affect the marine bird community in Canada, but some effects on local populations from bycatch are likely. Further research and monitoring will be required to: (1) better estimate fisheries-related mortality for vulnerable species and populations that may be impacted by local fisheries, (2) determine the effects of oil sheens from produced waters, and attraction to platforms and associated mortality from collisions, sheens, and flaring, so that better estimates of mortality from the offshore oil and gas sector can be obtained, and (3) determine impacts associated with accidental spills, which are not included in our current assessment. With a better understanding of the direct mortality of marine birds from industry, appropriate mitigation and management actions can be implemented. Cooperation from industry for data collection, research to fill knowledge gaps, and implementation of mitigation approaches will all be needed to conserve marine birds in Canada.

Nitrogen fluxes from the landscape are controlled by net anthropogenic nitrogen inputs and by climate

The flux of nitrogen (N) to coastal marine ecosystems is strongly correlated with the “net anthropogenic nitrogen inputs” (NANI) to the landscape across 154 watersheds, ranging in size from 16 km2 to 279 000 km2, in the US and Europe. When NANI values are greater than 1070 kg N km−2 yr−1, an average of 25% of the NANI is exported from those watersheds in rivers. Our analysis suggests a possible threshold at lower NANI levels, with a smaller fraction exported when NANI values are below 1070 kg N km−2 yr−1. Synthetic fertilizer is the largest component of NANI in many watersheds, but other inputs also contribute substantially to the N fluxes; in some regions, atmospheric deposition of N is the major component. The flux of N to coastal areas is controlled in part by climate, and a higher percentage of NANI is exported in rivers, from watersheds that have higher freshwater discharge.

Do phytoplankton communities evolve through a self-regulatory abundance-diversity relationship?

A small group of phytoplankton species that produce toxic or allelopathic chemicals has a significant effect on plankton dynamics in marine ecosystems. The species of non-toxic phytoplankton, which are large in number, are affected by the toxin-allelopathy of those species. By analysis of the abundance data of marine phytoplankton collected from the North-West coast of the Bay of Bengal, an empirical relationship between the abundance of the potential toxin-producing species and the species diversity of the non-toxic phytoplankton is formulated. A change-point analysis demonstrates that the diversity of non-toxic phytoplankton increases with the increase of toxic species up to a certain level. However, for a massive increase of the toxin-producing species the diversity of phytoplankton at species level reduces gradually. Following the results, a deterministic relationship between the abundance of toxic phytoplankton and the diversity of non-toxic phytoplankton is developed. The abundance–diversity relationship develops a unimodal pathway through which the abundance of toxic species regulates the diversity of phytoplankton. These results contribute to the current understanding of the coexistence and biodiversity of phytoplankton, the top-down vs. bottom-up debate, and to that of abundance–diversity relationship in marine ecosystems.

Multiyear predictability of tropical marine productivity

Phytoplankton is at the base of the marine food web. Its carbon fixation, the net primary productivity (NPP), sustains most living marine resources. In regions like the tropical Pacific (30°N–30°S), natural fluctuations of NPP have large impacts on marine ecosystems including fisheries. The capacity to predict these natural variations would provide an important asset to science-based management approaches but remains unexplored yet. In this paper, we demonstrate that natural variations of NPP in the tropical Pacific can be forecasted several years in advance beyond the physical environment, whereas those of sea surface temperature are limited to 1 y. These results open previously unidentified perspectives for the future development of science-based management techniques of marine ecosystems based on multiyear forecasts of NPP.