Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel

The Linux kernel does not export a stable, well-defined kernel interface, complicating the development of kernel-level services, such as device drivers and file systems. While there does exist a set of functions that are exported to external modules, this set of functions frequently changes, and the functions have implicit, ill-documented preconditions. No specific debugging support is provided. We present Diagnosys, an approach to automatically constructing a debugging interface for the Linux kernel. First, a designated kernel maintainer uses Diagnosys to identify constraints on the use of the exported functions. Based on this information, developers of kernel services can then use Diagnosys to generate a debugging interface specialized to their code. When a service including this interface is tested, it records information about potential problems. This information is preserved following a kernel crash or hang. Our experiments show that the generated debugging interface provides useful log information and incurs a low performance penalty.     

An intercomparison of bio-optical techniques for detecting dominant phytoplankton size class from satellite remote sensing

Satellite remote sensing of ocean colour is the only method currently available for synoptically measuring wide-area properties of ocean ecosystems, such as phytoplankton chlorophyll biomass. Recently, a variety of bio-optical and ecological methods have been established that use satellite data to identify and differentiate between either phytoplankton functional types (PFTs) or phytoplankton size classes (PSCs). In this study, several of these techniques were evaluated against in situ observations to determine their ability to detect dominant phytoplankton size classes (micro-, nano- and picoplankton). The techniques are applied to a 10-year ocean-colour data series from the SeaWiFS satellite sensor and compared with in situ data (6504 samples) from a variety of locations in the global ocean. Results show that spectral-response, ecological and abundance-based approaches can all perform with similar accuracy. Detection of microplankton and picoplankton were generally better than detection of nanoplankton. Abundance-based approaches were shown to provide better spatial retrieval of PSCs. Individual model performance varied according to PSC, input satellite data sources and in situ validation data types. Uncertainty in the comparison procedure and data sources was considered. Improved availability of in situ observations would aid ongoing research in this field.     

Knowledge transfer in globally distributed teams: the role of transactive memory

This paper explores the role of transactive memory in enabling knowledge transfer between globally distributed teams. While the information systems literature has recently acknowledged the role transactive memory plays in improving knowledge processes and performance in colocated teams, little is known about its contribution to distributed teams. To contribute to filling this gap, knowledge‐transfer challenges and processes between onsite and offshore teams were studied at TATA Consultancy Services. In particular, the paper describes the transfer of knowledge between onsite and offshore teams through encoding, storing and retrieving processes. An in‐depth case study of globally distributed software development projects was carried out, and a qualitative, interpretive approach was adopted. The analysis of the case suggests that in order to overcome differences derived from the local contexts of the onsite and offshore teams (e.g. different work routines, methodologies and skills), some specific mechanisms supporting the development of codified and personalized ‘directories’ were introduced. These include the standardization of templates and methodologies across the remote sites as well as frequent teleconferencing sessions and occasional short visits. These mechanisms contributed to the development of the notion of ‘who knows what’ across onsite and offshore teams despite the challenges associated with globally distributed teams, and supported the transfer of knowledge between onsite and offshore teams. The paper concludes by offering theoretical and practical implications.     

High-Energy Physics on the Grid: the ATLAS and CMS Experience

In this paper we present the experience of the ATLAS and CMS High-Energy Physics (HEP) experiments at the Large Hadron Collider (LHC) with the LCG/EGEE Grid infrastructure. The activity developed around the following two main lines: large-scale physics and detector simulations and end-user analysis. The LCG/EGEE Grid infrastructure offers a large amount of computing and storage resources and is growing very rapidly. It provides the natural environment for large-scale physics and detector simulations. Also, the analysis of these detector simulation data (and in the near future of the reconstructed data from physics collisions) requires efficient end-users access to Grid resources. In this paper, the main findings and lessons learned in terms of performance, robustness and scalability of the whole system are discussed in detail.     

The influence of lift frequency, lift duration and work experience on discomfort reporting

Discomfort surveys are commonly used to assess risk in the workplace and prioritize jobs for interventions before an injury or illness occurs. However, discomfort is a subjective measure and the relationship of discomfort to work-related factors is poorly understood. The objective of this study was to understand how reports of discomfort relate to work-related risk factors for the low back. A total of 12 novice and 12 experienced manual materials handlers performed repetitive, asymmetric lifts at different load levels and at six different lift frequencies throughout an 8-h exposure period. Discomfort was recorded hourly throughout the day. Analyses were performed to determine which experimental factors influenced reporting of discomfort and if discomfort trends matched spine loading trends. Novice lifters reported significantly higher discomfort levels than experienced subjects. They also reported increases in discomfort as moment exposure increased and as the exposure time increased. Novices lifting at 8 Nm load moment level reported increased discomfort from 0.07 to 0.63 by the end of the day, at 36 Nm they reported an increase from 0.04 to 0.40 and at 85 Nm they reported an increase from 0.37 to 3.06. Experienced subjects, on the other hand, reported low levels of discomfort regardless of moment exposure, lift frequency or exposure duration. The reported discomforts were generally unrelated to the biomechanical loading on the spine. Discomfort reporting appears to be more a reflection of experience than of work risk factor exposure. Experienced subjects may have more efficient motor patterns, which reduce spinal load and thus discomfort. Novice subjects seemed to have a lower threshold of discomfort. Caution is needed when using discomfort reporting as a means to identify jobs in need of interventions, in that biomechanical loading may not be accurately represented. Discomfort should only be used as a supplement to objective measures, such as spinal loading, to assess the risk of low back disorders.     

Consumers' Creative Talent: Which Characteristics Qualify Consumers for Open Innovation Projects? An Exploration of Asymmetrical Effects

Virtual customer integration and open innovation are considered as appropriate means to improve the success of new product development. However, only when consumers are qualified and motivated to contribute promising ideas and relevant know‐how they are able to add value to a producer's innovation process. In this study, we explore the symmetric and asymmetric impact of various creativity components on consumers' idea generation, concept development, or prototype building abilities as well as interest in co‐creation projects. Our results show that creativity components are of different importance. While some characteristics are needed above certain thresholds to successfully accomplish a certain development task, exceeding those does not necessarily lead to better outputs. Other characteristics improve the creative output only if they exceed specific levels.     

The reality of divorce. Reply to Gordon (2005).

R. M. Gordon (2005; see record 2005-08806-011) insists in his commentary on J. S. Wallerstein and J. M. Lewis's (2004; see record 2004-17367-002) work that the impact of divorce on children is fleeting, and he proposes, without supporting evidence, that the long-lasting psychological problems displayed by children of divorce in adolescence and adulthood reflect more the preexisting psychopathology of the parents and their traumatic parenting than any consequence of the disrupted marriage and the unhappy sequelae that so regularly constitute the postdivorce family. The authors' data, based on intensive periodic clinical study of these youngsters and their parents over several decades, indicate the contrary. No research has established that divorcing parents exhibit as a class more mental illness than parents in intact families. The authors' findings speak to the unmet needs of children of divorce for psychological help with their intimate relationships when they enter adulthood. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Science and technology in the region: The output of regional science and technology, its strengths and its leading institutions

Summary We operationalize scientific output in a region by means of the number of articles (as in the SciSearch database) per year and technology output by means of the number of patent applications (as in the database of the European Patent Office) per priority year. All informetric analyses were done using the DIALOG online-system. The main research questions are the following: Which scientific and technological fields or topics are most influent within a region and which institutions or companies are mainly publishing articles or holding patents? Do the distributions of regional science and technology fields and of publishing institutions follow the well-known informetric function? Are there - as it is expected - only few fields and few institutions which dominate the region? Is there a connection between the economic power of a region and the regional publication and patent output? Examples studied in detail are seven German regions: Aachen, Düsseldorf, Hamburg, Köln (Cologne), Leipzig - Halle - Dessau, München (Munich), and Stuttgart. Three different indicators were used, science and technology attraction of a region (number of scientific articles and patents), science and technology intensity (articles and patents per 1,000 inhabitants), and science and technology density (articles and patents per 1 billion EURO gross value added). Top region concerning both attraction and intensity is Munich, concerning density it is Aachen.     

Mapping of continuous floristic gradients in grasslands using hyperspectral imagery

Transitions between plant species assemblages are often continuous with the form of the transition dependent on the ‘slope’ of environmental gradients and on the style of self-organization in vegetation. Image segmentation can present misleading or even erroneous results if applied to continuous spatial changes in vegetation. Even methods that allow for multiple-class memberships of pixels presuppose the existence of ideal types of species assemblages that constitute mixtures—an assumption that does not fit the case of continua where any section of a gradient is as ‘pure’ as any other section like in modulations of grassland species composition.Thus, we attempted to spatially model floristic gradients in Bavarian meadows by extrapolating axes of an unconstrained ordination of species data. The models were based on high-resolution hyperspectral airborne imagery. We further modelled the distribution of plant functional response types (Ellenberg indicator values) and the cover values of selected species. The models were made with partial least squares (PLS) regression analyses. The realistic utility of the regression models was evaluated by full leave-one-out cross-validation.The modelled floristic gradients showed a considerable agreement with ground-based observations of floristic gradients (R²=0.71 and 0.66 for the first two axes of ordination). Apart from mapping the most important continuous floristic differences, we mapped gradients in the appearance of plant functional response groups as represented by averaged Ellenberg indicator values for soil pH (R²=0.76), water supply (R²=0.66) and nutrient supply (R²=0.75), while models for the cover of single species were weak.Compared to many other vegetation attributes, plant species composition is difficult to detect with remote sensing techniques. This is partly caused by a lack of compatibility between methods of vegetation ecology and remote sensing. We believe that the present study has the potential to increase compatibility as neither spectral nor vegetation information gets lost by a classifying step.