An online data access prediction and optimization approach for distributed systems

Current scientific applications have been producing large amounts of data. The processing, handling and analysis of such data require large-scale computing infrastructures such as clusters and grids. In this area, studies aim at improving the performance of data-intensive applications by optimizing data accesses. In order to achieve this goal, distributed storage systems have been considering techniques of data replication, migration, distribution, and access parallelism. However, the main drawback of those studies is that they do not take into account application behavior to perform data access optimization. This limitation motivated this paper which applies strategies to support the online prediction of application behavior in order to optimize data access operations on distributed systems, without requiring any information on past executions. In order to accomplish such a goal, this approach organizes application behaviors as time series and, then, analyzes and classifies those series according to their properties. By knowing properties, the approach selects modeling techniques to represent series and perform predictions, which are, later on, used to optimize data access operations. This new approach was implemented and evaluated using the OptorSim simulator, sponsored by the LHC-CERN project and widely employed by the scientific community. Experiments confirm this new approach reduces application execution time in about 50 percent, specially when handling large amounts of data.

Metal biosorption onto dry biomass of Arthrospira (Spirulina) platensis and Chlorella vulgaris: Multi-metal systems

Binary and ternary systems of Ni2+, Zn2+, and Pb2+ were investigated at initial metal concentrations of 0.5, 1.0 and 2.0 mM as competitive adsorbates using Arthrospira platensis and Chlorella vulgaris as biosorbents. The experimental results were evaluated in terms of equilibrium sorption capacity and metal removal efficiency and fitted to the multi-component Langmuir and Freundlich isotherms. The pseudo second order model of Ho and McKay described well the adsorption kinetics, and the FT-IR spectroscopy confirmed metal binding to both biomasses. Ni2+ and Zn2+ interference on Pb2+ sorption was lower than the contrary, likely due to biosorbent preference to Pb. In general, the higher the total initial metal concentration, the lower the adsorption capacity. The results of this study demonstrated that dry biomass of C. vulgaris behaved as better biosorbent than A. platensis and suggest its use as an effective alternative sorbent for metal removal from wastewater. (C) 2012 Elsevier B.V. All rights reserved.

Type Systems for Distributed Programs: Components and Sessions

Modern software systems, in particular distributed ones, are everywhere around us and are at the basis of our everyday activities. Hence, guaranteeing their cor- rectness, consistency and safety is of paramount importance. Their complexity makes the verification of such properties a very challenging task. It is natural to expect that these systems are reliable and above all usable. i) In order to be reliable, compositional models of software systems need to account for consistent dynamic reconfiguration, i.e., changing at runtime the communication patterns of a program. ii) In order to be useful, compositional models of software systems need to account for interaction, which can be seen as communication patterns among components which collaborate together to achieve a common task. The aim of the Ph.D. was to develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems appeared to be an adequate methodology, considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like, deadlock or livelock freedom in a concurrent setting. The main contributions of this dissertation are twofold. i) On the components side: we design types and a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations related to modifications of communication patterns in a program during execution time. ii) On the communication side: we study advanced safety properties related to communication in complex distributed systems like deadlock-freedom, livelock- freedom and progress. Most importantly, we exploit an encoding of types and terms of a typical distributed language, session π-calculus, into the standard typed π- calculus, in order to understand their expressive power.

Systems medicine and integrated care to combat chronic noncommunicable diseases

We propose an innovative, integrated, cost-effective health system to combat major non-communicable diseases (NCDs), including cardiovascular, chronic respiratory, metabolic, rheumatologic and neurologic disorders and cancers, which together are the predominant health problem of the 21st century. This proposed holistic strategy involves comprehensive patient-centered integrated care and multi-scale, multi-modal and multi-level systems approaches to tackle NCDs as a common group of diseases. Rather than studying each disease individually, it will take into account their intertwined gene-environment, socio-economic interactions and co-morbidities that lead to individual-specific complex phenotypes. It will implement a road map for predictive, preventive, personalized and participatory (P4) medicine based on a robust and extensive knowledge management infrastructure that contains individual patient information. It will be supported by strategic partnerships involving all stakeholders, including general practitioners associated with patient-centered care. This systems medicine strategy, which will take a holistic approach to disease, is designed to allow the results to be used globally, taking into account the needs and specificities of local economies and health systems.

Farming Systems and Resilience Building in a Changing Climate On-Farm Comparisons of Organic and Conventional Cocoa Cultivation in Alto Beni, Bolivia

Resilience research has been applied to socioeconomic as well as for agroecological studies in the last 20 years. It provides a conceptual and methodological approach for a better understanding of interrelations between the performance of ecological and social systems. In the research area Alto Beni, Bolivia, the production of cocoa (Theobroma cacao L.), is one of the main sources of income. Farmers in the region have formed producers’ associations to enhance organic cocoa cultivation and obtain fair prices since the 1980s. In cooperation with the long-term system comparisons by the Research Institute of Organic Agriculture (FiBL) in Alto Beni, aspects of the field trial are applied for the use in on-farm research: a comparison of soil fertility, biomass and crop diversity is combined with qualitative interviews and participatory observation methods. Fieldwork is carried out together with Bolivian students through the Swiss KFPE-programme Echanges Universitaires. For the system comparisons, four different land-use types were classified according to their ecological complexity during a preliminary study in 2009: successional agroforestry systems, simple agroforestry systems (both organically managed and certified), traditional systems and conventional monocultures. The study focuses on interrelations between different ways of cocoa cultivation, livelihoods and the related socio-cultural rationales behind them. In particular this second aspect is innovative as it allows to broaden the biophysical perspective to a more comprehensive evaluation with socio-ecological aspects thereby increasing the relevance of the agronomic field studies for development policy and practice. Moreover, such a socio-ecological baseline allows to assess the potential of organic agriculture regarding resilience-building face to socio-environmental stress factors. Among others, the results of the pre-study illustrate local farmers’ perceptions of climate change and the consequences for the different crop-systems: all interviewees mentioned rising temperatures and/or an extended dry season as negative impacts more with regard to their own working conditions than to their crops. This was the case in particular for conventional monocultures and in plots where slash-and-burn cultivation was practised whereas for organic agroforestry systems the advantage of working in the shade was stressed indicating that their relevance rises in the context of climate change.

FOSSIL PLANTS AND PALYNOMORPHS FROM THE LATE PALEOZOIC CUTLER FORMATION, EASTERN PARADOX BASIN

The late Paleozoic Cutler Formation, where exposed near the modern-day town of Gateway, Colorado, has traditionally been interpreted as the product of alluvial fan deposition within the easternmost portion of the Paradox Basin. The Paradox Basin formed between the western margin of the Uncompahgre Uplift segment of the Ancestral Rocky Mountains and the western paleoshoreline of the North American portion of Pangea. The Paradox Basin region is commonly thought to have experienced semi-arid to arid conditions and warm temperatures during the Pennsylvanian and Permian. Evidence described in this paper support prior interpretations regarding paleoclimate conditions and the inferred depositional environment for the Cutler Formation near Gateway, Colorado. Plant fossils collected from the late Paleozoic Cutler Formation in The Palisade Wilderness Study Area (managed by the U.S. Department of the Interior, Bureau of Land Management) of western Colorado include Calamites, Walchia, Pecopteris, and many calamitean fragments. The flora collected is interpreted to have lived in an arid or semi-arid environment that included wet areas of limited areal extent located near the apex of an alluvial fan system. Palynological analysis of samples collected revealed the presence of the common Pennsylvanian palynomorphs Thymospora pseudothiessenii and Lophotriletes microsaetosus. These fossils suggest that warm and at least seasonally and locally wet conditions existed in the area during the time that the plants were growing. All evidence of late Paleozoic plant life collected during this study was found along the western margin of the Uncompahgre Uplift segment of the Ancestral Rocky Mountains. During the late Paleozoic, sediment was eroded from the Uncompahgre Uplift and deposited in the adjacent Paradox Basin. The preservation of plant fossils in the most proximal parts of the Paradox Basin is remarkable due to the fact that much of the proximal Cutler Formation consists of conglomerates and sandstones deposited as debris flow and by fluvial systems. The plants must have grown in a protected setting, possibly an abandoned channel on the alluvial fan, and been rapidly buried in the subsiding Paradox Basin. It is likely that there was abundant vegetation in and adjacent to low-lying wet areas at the time the Cutler Formation was deposited.

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

This book provides the latest in a series of books growing out of the International Joint Conferences on Computer, Information and Systems Sciences and Engineering. It includes chapters in the most advanced areas of Computing, Informatics, Systems Sciences and Engineering. It has accessible to a wide range of readership, including professors, researchers, practitioners and students. This book includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computer Science, Informatics, and Systems Sciences, and Engineering. It includes selected papers form the conference proceedings of the Ninth International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2013). Coverage includes topics in: Industrial Electronics, Technology & Automation, Telecommunications and Networking, Systems, Computing Sciences and Software Engineering, Engineering Education, Instructional Technology, Assessment, and E-learning.

Small aliquot and single grain IRSL and post-IR IRSL dating of fluvial and alluvial sediments from the Pativilca valley, Peru

Infrared stimulated luminescence (IRSL) and post-IR IRSL are applied to small aliquots and single grains to determine the equivalent dose (De) of eleven alluvial and fluvial sediment samples collected in the Pativilca valley, Central Peru at ca. 10°S latitude. Small aliquot De distributions are rather symmetric and display over-dispersion values between 15 and 46%. Small aliquot g-values range between 4 and 8% per decade for the IRSL and 1 and 2% per decade for the post-IR IRSL signal. The single grain De distributions are highly over-dispersed with some of them skewed to higher doses, implying partial bleaching; this is especially true for the post-IR IRSL. Measurements of a modern analog reveal that residuals due to partial bleaching are present in both the IRSL as well as the post-IR IRSL signal. The g-values of individual grains exhibit a wide range with high individual uncertainties and might contribute significantly to the spread of the single grain De values, at least for the IRSL data. Electron Microprobe Analysis performed on single grains reveal that a varying K-content can be excluded as the origin of over-dispersion. Final ages for the different approaches are calculated using the Central Age Model and the Minimum Age Model (MAM). The samples are grouped into well-beached, potentially well-bleached and partially bleached according to the evaluation of the single grain distributions and the agreement of age estimates between methods. The application of the MAM to the single grain data resulted in consistent age estimates for both the fading corrected IRSL and the post-IR IRSL ages, and suggests that both approaches are suitable for dating these samples. Keywords

Impact of dams, dam removal and dam-related river engineering structures on sediment connectivity and channel morphology of the Fugnitz and the Kaja Rivers

In terms of changing flow and sediment regimes of rivers, dams are often regarded as the most dominant form of human impact on fluvial systems. Dams can decrease the flux of water and sediments leading to channel changes such as upstream aggradation and downstream degradation. The opposite effects occur when dams are removed. Channel degradation often requires further intervention in terms of river bed and bank protection works. The situation evolves more complex in river systems that are impacted by a series of dams due to feedback processes between the different system compartments. A number of studies have recently investigated geomorphic systems using connectivity approaches to improve the understanding of geomorphic system response to change. This paper presents a case study investigating the impact of dam construction, dam removal and dam-related river bed and bank protection measures on the sediment connectivity and channel morphology of the Fugnitz and the Kaja Rivers using a combination of DEM analyses, field surveys and landscape evolution modelling. For both river systems the results revealed low sediment connectivity accompanied by a fine river bed sediment facies in river sections upstream of active dams and of removed dams with protection measures. Contrarily, high sediment connectivity which was accompanied by a coarse river bed sediment facies was observed in river sections either located downstream of active dams or of removed dams with upstream protection. In terms of channel changes, significant channel degradation was examined at locations downstream of active dams and of removed dams. Channel bed and bank protection measures prevent erosion and channel slope recovery after dam removal. Landscape evolution modeling revealed a complex geomorphic response to dam construction and dam removal as sediment output rates and therefore geomorphic processes have been shown to act in a non-linear manner. These insights are deemed to have major implications for river management and conservation, as quality and state of riverine habitats are determined by channel morphology and river bed sediment composition.

Migrant Background and Higher Education Participation in Europe. The Effect of the Educational Systems

The main aim of this article is to shed light on the extent to which differences in higher education participation between people with and without a migrant background of low/higher social origin can be explained by two macro-level characteristics of national educational institutions: stratification of the secondary school system and provision of alternative access to higher education. General assumptions are that people with a migrant background of low social origin benefit in low-stratified secondary school systems and in systems that provide alternative access to institutions of higher education more than their native peers in the same social stratum, owing to primary and secondary effects of migrant background. Database is a pooled dataset of the five waves of the European Social Survey. Results of logistic multi-level analyses indicate that a low-stratified secondary school system improves the probability of people with a migrant background/low social origin attaining a higher education degree. On the other hand, a stratified secondary school system reduces their chances regarding this educational stage. The provision of alternative access to an institution of higher education improves their likelihood of becoming higher education graduates.

Distribution of cutin and suberin biomarkers under forest trees with different root systems

Background and aims Differences in chemical composition of root compounds and root systems among tree species may affect organic matter (OM) distribution, source and composition in forest soils. The objective of this study was to elucidate the contribution of species specific cutin and suberin biomarkers as proxies for shoot- and root-derived organic carbon (OC) to soil OM at different depths with increasing distance to the stems of four different tree species. Methods The contribution of cutin- and suberin-derived lipids to OM in a Cutanic Alisol was analyzed with increasing soil depth and distance to the stems of Fagus sylvatica L., Picea abies (L.) Karst., Quercus robur L. and Pseudotsuga menziesii (Mirb.) Franco. Cutin and suberin monomers of plants and soils were analyzed by alkaline hydrolysis and subsequent gas chromatography–mass spectrometry. Results The amount and distribution of suberin-derived lipids in soil clearly reflected the specific root system of the different tree species. The amount of cutin-derived lipids decreased strongly with soil depth, indicating that the input of leaf/needle material is restricted to the topsoil. In contrast to the suberin-derived lipids, the spatial pattern of cutin monomer contribution to soil OM did not depend on tree species. Conclusions Our results document the importance of tree species as a main factor controlling the composition and distribution of OM in forest soils. They reveal the impact of tree species on root-derived OM distribution and the necessity to distinguish among different zones when studying soil OM storage in forests.

Comparative Study of Digital Rights Management Systems for Music and Text Files

Digital Rights Management Systems (DRMS) are seen by content providers as the appropriate tool to, on the one hand, fight piracy and, on the other hand, monetize their assets. Although these systems claim to be very powerful and include multiple protection technologies, there is a lack of understanding about how such systems are currently being implemented and used by content providers. The aim of this paper is twofold. First, it provides a theoretical basis through which we present shortly the seven core protection technologies of a DRMS. Second, this paper provides empirical evidence that the seven protection technologies outlined in the first section of this paper are the most commonly used technologies. It further evaluates to what extent these technologies are being used within the music and print industry. It concludes that the three main Technologies are encryption, password, and payment systems. However, there are some industry differences: the number of protection technologies used, the requirements for a DRMS, the required investment, or the perceived success of DRMS in fighting piracy.

An environmental magnetic study, sedimentological and numerical methods around Tauranga Harbour, New Zealand

Magnetic iron minerals are widespread and indicative sediment constituents in estuarine, coastal and shelf systems. We combine environmental magnetic, sedimentological and numerical methods to identify magnetite-enriched placer-like zones in a complex coastal system and delineate their formation mechanisms. Magnetic susceptibility and remanence measurements on 245 surficial sediment samples collected in and around Tauranga Harbour, the largest barrier-enclosed tidal estuary of New Zealand, reveal several discrete enrichment zones controlled by local hydrodynamic conditions. Active magnetite enrichment takes place in tidal channels, which feed into two coast-parallel nearshore magnetite-enriched belts centered at water depths of 6-10 m and 10-20 m. A close correlation between magnetite content and magnetic grain size was found, where higher susceptibility values are associated within coarser magnetic crystal sizes. Two key mechanisms for magnetite enrichment are identified. First, tide-induced residual currents primarily enable magnetite enrichment within the estuarine channel network. A coast-parallel, fine sand magnetite enrichment belt in water depths of less than 10 m along the barrier island has a strong decrease in magnetite content away from the southern tidal inlet and is apparently related to active coast-parallel transport combined with mobilizing surf zone processes. A second, less pronounced, but more uniform magnetite enrichment belt at 10-20 m water depth is composed of non-mobile, medium-coarse-grained relict sands, which have been reworked during post-glacial sea level transgression. We demonstrate the potential of magnetic methods to reveal and differentiate coastal magnetite enrichment patterns and investigate their formative mechanisms.

Using attributed variables in the implementation of concurrent and parallel logic programming systems

Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to it. This approach is very attractive in that by adding a few primitives any logic programming system can be turned into a generic constraint logic programming system in which constraint solving can be user deñned, and at source level - an extreme example of the "glass box" approach. In this paper we propose a different and novel use for the concept of attributed variables: developing a generic parallel/concurrent (constraint) logic programming system, using the same "glass box" flavor. We argüe that a system which implements attributed variables and a few additional primitives can be easily customized at source level to implement many of the languages and execution models of parallelism and concurrency currently proposed, in both shared memory and distributed systems. We illustrate this through examples and report on an implementation of our ideas.

WWW Programming using computational logic systems (and the PiLLoW/Ciao library)

We discuss from a practical point of view a number of issues involved in writing Internet and WWW applications using LP/CLP systems. We describe Pd_l_oW, a public-domain Internet and WWW programming library for LP/CLP systems which we argüe significantly simplifies the process of writing such applications. Pd_l_oW provides facilities for generating HTML structured documents, producing HTML forms, writing form handlers, accessing and parsing WWW documents, and accessing code posted at HTTP addresses. We also describe the architecture of some application classes, using a high-level model of client-server interaction, active modules. We then propose an architecture for automatic LP/CLP code downloading for local execution, using generic browsers. Finally, we also provide an overview of related work on the topic. The PiLLoW library has been developed in the context of the &- Prolog and CIAO systems, but it has been adapted to a number of popular LP/CLP systems, supporting most of its functionality.