An Experience-Driven Pedagogy for the Instruction of Software Testing in Computer Science

In the realm of computer programming, the experience of writing a program is used to reinforce concepts and evaluate ability. This research uses three case studies to evaluate the introduction of testing through Kolb's Experiential Learning Model (ELM). We then analyze the impact of those testing experiences to determine methods for improving future courses. The first testing experience that students encounter are unit test reports in their early courses. This course demonstrates that automating and improving feedback can provide more ELM iterations. The JUnit Generation (JUG) tool also provided a positive experience for the instructor by reducing the overall workload. Later, undergraduate and graduate students have the opportunity to work together in a multi-role Human-Computer Interaction (HCI) course. The interactions use usability analysis techniques with graduate students as usability experts and undergraduate students as design engineers. Students get experience testing the user experience of their product prototypes using methods varying from heuristic analysis to user testing. From this course, we learned the importance of the instructors role in the ELM. As more roles were added to the HCI course, a desire arose to provide more complete, quality assured software. This inspired the addition of unit testing experiences to the course. However, we learned that significant preparations must be made to apply the ELM when students are resistant. The research presented through these courses was driven by the recognition of a need for testing in a Computer Science curriculum. Our understanding of the ELM suggests the need for student experience when being introduced to testing concepts. We learned that experiential learning, when appropriately implemented, can provide benefits to the Computer Science classroom. When examined together, these course-based research projects provided insight into building strong testing practices into a curriculum.

Effect of Altered Polar Headgroup of Phosphatidylethanolamines on Transbilayer Aminophospholipid Distribution in Sonicated Vesicles

The transbilayer aminophospholipid distributions in small unilamellar vesicles comprising of phosphatidylethanolamine or its analogs (bearing modifications in the polar headgroup) and egg hosphatidylcholine were ascertained using trinitrobenzenesulfonic acid as external membrane probe. These vesicles, containing 10-30 mol% phosphatidylethanolamine or its analogs, were formed by sonication and fractionated by centrifugation. Phosphatidylethanolamine at low concentrations (10 mol%) preferentially localized in the outer monolayer. This preference appeared to be reversed at higher phosphatidylethanolamine concentrations (30 mol%). Unlike this finding, phosphatidylethanolamine bearing ethyl, phenyl and benzyl substituents at the carbon atom adjacent to the amino group distributed mainly in the outer surface irrespective of their concentrations. Similar results were obtained when the phosphate and amino groups were separated by three methylene residues. These observations suggest that the effective polar headgroup volume and/or hydrogen-bonding capacity of phospholipids are the important factors that determine their distribution in small unilamellar vesicles.

Analysis of the 207Bi, 194Hg/Au and 173Lu distribution in the irradiated MEGAPIE target

Samples obtained from different locations within the prototype liquid metal spallation target MEGAPIE irradiated in 2006 at PSI were analysed using γ-spectrometry. A variety of radionuclides formed by reaction of the target material, lead–bismuth eutectic (LBE), with the proton beam and secondary particles were identified. While nuclides representing the target material itself (207Bi) and nuclides of noble metals were found in LBE samples throughout the target, nuclides of electropositive metals were found to be quantitatively deposited on free surfaces and material interfaces within the target system. This behaviour is analysed in more detail based on results obtained for three nuclides representing groups of elements with distinct chemical behaviour, namely 207Bi, 194Hg/Au and 173Lu. Quantitative analysis results are given and compared with predictions obtained using nuclear physics calculations for those nuclides showing rather homogeneous distribution within the target. Possible reasons for the separation of radionuclides from the liquid metal and their deposition on surfaces are given, and consequences arising for nuclear facilities utilizing liquid metals are discussed.

Measurement of the Z/ѵ* boson transverse momentum distribution in pp collisions at √s = 7 TeV with the ATLAS detector

This paper describes a measurement of the Z/ѵ* boson transverse momentum spectrum using ATLAS proton-proton collision data at a centre-of-mass energy of √s = 7 TeV at the LHC. The measurement is performed in the Z/ѵ* → e+e− and Z/ѵ* → μ+μ− channels, using data corresponding to an integrated luminosity of 4.7 fb−1. Normalized differential cross sections as a function of the Z/ѵ* boson transverse momentum are measured for transverse momenta up to 800 GeV. The measurement is performed inclusively for Z/ѵ* rapidities up to 2.4, as well as in three rapidity bins. The channel results are combined, compared to perturbative and resummed QCD calculations and used to constrain the parton shower parameters of Monte Carlo generators.

Effect of the Tiger Stripes on the water vapor distribution in Enceladus' exosphere

The jet activity emanating from Enceladus' exosphere south pole region observed by Cassini is a subject of intensive study. The in situ and remote sensing observations performed since 2005 triggered an active modeling campaign. Such modeling is essential for better understanding of the measurements performed by individual instruments as well as to link them for a more complete picture of the volatile and ice grain distribution in Enceladus' exosphere. This paper is focused on the investigation of the effect that diffuse gas sources along the Tiger Stripes have on distribution of the water vapor in Enceladus' exosphere using the updated version of our multiplume model. We have found that accounting for the gas production by Tiger Stripes is critical for interpretation of the Cassini data. According to our calculations, sources along the Tiger Stripes (apart from those originally identified by Spitale and Porco (2007)) must contribute about 23–32% to the total plume source rate, which varies in the range of (6.4–29) ×1027 s−1. The effect of the previously unidentified source suggested in the paper is found to be critical for explaining the Ultraviolet Imaging Spectrograph 2007 and 2010 observations in the whole range of the elapsed times.

Particle concentration and size distribution in the NGRIP ice core

A novel laser microparticle detector used in conjunction with continuous sample melting has provided a more than 1500 m long record of particle concentration and size distribution of the NGRIP ice core, covering continuously the period approximately from 9.5-100 kyr before present; measurements were at 1.65 m depth resolution, corresponding to approximately 35-200 yr. Particle concentration increased by a factor of 100 in the Last Glacial Maximum (LGM) compared to the Preboreal, and sharp variations of concentration occurred synchronously with rapid changes in the delta18O temperature proxy. The lognormal mode µ of the volume distribution shows clear systematic variations with smaller modes during warmer climates and coarser modes during colder periods. We find µ ~ 1.7 µm diameter during LGM and µ ~ 1.3 µm during the Preboreal. On timescales below several 100 years µ and the particle concentration exhibit a certain degree of independence present especially during warm periods, when µ generally is more variable. Using highly simplifying considerations for atmospheric transport and deposition of particles we infer that (1) the observed changes of µ in the ice largely reflect changes in the size of airborne particles above the ice sheet and (2) changes of µ are indicative of changes in long range atmospheric transport time. From the observed size changes we estimate shorter transit times by roughly 25% during LGM compared to the Preboreal. The associated particle concentration increase from more efficient long range transport is estimated to less than one order of magnitude.

La escasez impuesta : el software libre y el status económico de los bienes inmateriales

Ante el despliegue de posibilidades para crear, reproducir y compartir contenidos que la informática proporciona, surgieron incesantes debates sobre su estatuto económico. Las leyes de propiedad intelectual promulgan medidas cada vez más restrictivas para consumidores y productores, lo que erige barreras a la cultura y favorece monopolios sobredimensionados. Frente a esta situación emergen voces disidentes como el movimiento del software libre. En este artículo, haremos un análisis del debate de los bienes inmateriales, el papel de las leyes de propiedad intelectual y las reivindicaciones del los partidarios del software libre.

Benthic isopod species in the Ross Sea and their distribution in the Southern Ocean

In this study isopod species of the Ross Sea were investigated. Literature until May 2008 was checked to provide an overview of all known and described species in the Ross Sea. This species checklist was then enlarged through material of the 19th Italica expedition in 2004. During this expedition for the first time a small mesh net (500 µm) was used. Nine thousand four hundred and eighty one isopod specimens were collected during this expedition. Through this material the number of isopod species in the Ross Sea increased from 42 to 117 species, which belong to 20 families and 49 genera. Fifty-six percentage of the isopods species collected during the Italica expedition are new to science. The zoogeography of the 117 species was investigated. A non-transformed binary presence-absence data matrix was constructed using the Bray-Curtis coefficient. The results were displayed in a cluster analysis and by nonmetric multidimensional scaling (MDS). This paper gives a first insight into the occurrence and distribution of the isopod species of the Ross Sea.

Depth profiles of pore-water and solid-phase constituents, respiration rates and grain size distribution in sediments of the Clarion-Clipperton Fracture Zone

Manganese nodules of the Clarion-Clipperton Fracture Zone (CCFZ) in the NE Pacific Ocean are highly enriched in Ni, Cu, Co, Mo and rare-earth elements, and thus may be the subject of future mining operations. Elucidating the depositional and biogeochemical processes that contribute to nodule formation, as well as the respective redox environment in both, water column and sediment, supports our ability to locate future nodule deposits and evaluates the potential ecological and environmental effects of future deep-sea mining. For these purposes we evaluated the local hydrodynamics and pore-water geochemistry with respect to the nodule coverage at four sites in the eastern CCFZ. Furthermore, we carried out selective leaching experiments at these sites in order to assess the potential mobility of Mn in the solid phase, and compared them with the spatial variations in sedimentation rates. We found that the oxygen penetration depth is 180 - 300 cm at all four sites, while reduction of Mn and NO3- is only significant below the oxygen penetration depth at sites with small or no nodules on the sediment surface. At the site without nodules, potential microbial respiration rates, determined by incubation experiments using 14C-labelled acetate, are slightly higher than at sites with nodules. Leaching experiments showed that surface sediments covered with big or medium-sized nodules are enriched in mobilizable Mn. Our deep oxygen measurements and pore-water data suggest that hydrogenetic and oxic-diagenetic processes control the present-day nodule growth at these sites, since free manganese from deeper sediments is unable to reach the sediment surface. We propose that the observed strong lateral contrasts in nodule size and abundance are sensitive to sedimentation rates, which in turn, are controlled by small-scale variations in seafloor topography and bottom-water current intensity.

Pollen distribution in marine sediment samples along the south-western African coast

The distribution of pollen in marine sediments is used to reconstruct pathways of terrigenous input to the oceans and provides a record of vegetation change on adjacent continents. The wind transport routes of aeolian pollen is comprehensively illustrated by clusters of trajectories. Isobaric, 4-day backward trajectories are calculated using the modelled wind-field of ECHAM3, and are clustered on a seasonal basis to estimate the main pathways of aeolian particles to sites of marine cores in the south-eastern Atlantic. Trajectories and clusters based on the modelled wind-field of the Last Glacial Maximum hardly differ from those of the present-day. Trajectory clusters show three regional, and two seasonal patterns, determining the pathways of aeolian pollen transport into the south-eastern Atlantic ocean. Mainly, transport out of the continent occurs during austral fall and winter, when easterly and south-easterly winds prevail. South of 25°S, winds blow mostly from the west and southwest, and aeolian terrestrial input is very low. Generally, a good latitudinal correspondence exists between the distribution patterns of pollen in marine surface sediments and the occurrence of the source plants on the adjacent continent. The northern Angola Basin receives pollen and spores from the Congolian and Zambezian forests mainly through river discharge. The Zambezian vegetation zone is the main source area for wind-blown pollen in sediments of the Angola Basin, while the semi-desert and desert areas are the main sources for pollen in sediments of the Walvis Basin and on the Walvis Ridge. A transect of six marine pollen records along the south-western African coast indicates considerable changes in the vegetation of southern Africa between glacial and interglacial periods. Important changes in the vegetation are the decline of forests in equatorial Africa and the north of southern Africa and a northward shift of winter rain vegetation along the western escarpment.

(Table 1) Lithofacies interpretation and distribution in sediment core CRP-3

Seven hundred and nineteen samples from throughout the Cainozoic section in CRP-3 were analysed by a Malvern Mastersizes laser particle analyser, in order to derive a stratigraphic distribution of grain-size parameters downhole. Entropy analysis of these data (using the method of Woolfe & Michibayashi, 1995) allowed recognition of four groups of samples, each group characterised by a distinctive grain-size distribution. Group 1, which shows a multi-modal distribution, corresponds to mudrocks, interbedded mudrock/sandstone facies, muddy sandstones and diamictites. Group 2, with a sand-grade mode but showing wide dispersion of particle size, corresponds to muddy sandstones, a few cleaner sandstones and some conglomerates. Group 3 and Group 4 are also sand-dominated, with better grain-size sorting, and correspond to clean, well-washed sandstones of varying mean grain-size (medium and fine modes, respectively). The downhole disappearance of Group 1, and dominance of Groups 3 and 4 reflect a concomitant change from mudrock- and diamictite-rich lithology to a section dominated by clean, well-washed sandstones with minor conglomerates. Progressive downhole increases in percentage sand and principal mode also reflect these changes. Significant shifts in grain-size parameters and entropy group membership were noted across sequence boundaries and seismic reflectors, as recognised in other studies.

Ba distribution in surface sediments of the Southern Ocean

We present excess Ba (Baxs) data (i.e., total Ba corrected for lithogenic Ba) for surface sediments from a north-south transect between the Polar Front Zone and the northern Weddell Gyre in the Atlantic sector and between the Polar Front Zone and the Antarctic continent in the Indian sector. Focus is on two different processes that affect excess Ba accumulation in the sediments: sediment redistribution and excess Ba dissolution. The effect of these processes needs to be corrected for in order to convert accumulation rate into vertical rain rate, the flux component that can be linked to export production. In the Southern Ocean a major process affecting Ba accumulation rate is sediment focusing, which is corrected for using excess 230Th. This correction, however, may not always be straightforward because of boundary scavenging effects. A further major process affecting excess Ba accumulation is barite dissolution during exposure at the sediment-water column interface. Export production estimates derived from excess 230Th and barite dissolution corrected Baxs accumulation rates (i.e., excess Ba vertical rain rates) are of the same magnitude but generally larger than export production estimates based on water column proxies (234Th-deficit in the upper water column; particulate excess Ba enrichment in the mesopelagic water column). We believe export production values based on excess Ba vertical rain rate might be overestimated due to inaccurate assessment of the Baxs preservation rate. Barite dissolution has, in general, been taken into account by relating it to exposure time before burial depending on the rate of sediment accumulation. However, the observed decrease of excess Ba content with increasing water column depth (or increasing hydrostatic pressure) illustrates the dependence of barite preservation on degree of saturation in the deep water column in accordance with available thermodynamic data. Therefore correction for barite dissolution would not be appropriate by considering only exposure time of the barite to some uniformly undersaturated deep water but requires also that regional differences in degree of undersatuation be taken into account.

Design and Optimization of Power Delivery and Distribution Systems Using Evolutionary Computation Techniques

Nowadays computing platforms consist of a very large number of components that require to be supplied with diferent voltage levels and power requirements. Even a very small platform, like a handheld computer, may contain more than twenty diferent loads and voltage regulators. The power delivery designers of these systems are required to provide, in a very short time, the right power architecture that optimizes the performance, meets electrical specifications plus cost and size targets. The appropriate selection of the architecture and converters directly defines the performance of a given solution. Therefore, the designer needs to be able to evaluate a significant number of options in order to know with good certainty whether the selected solutions meet the size, energy eficiency and cost targets. The design dificulties of selecting the right solution arise due to the wide range of power conversion products provided by diferent manufacturers. These products range from discrete components (to build converters) to complete power conversion modules that employ diferent manufacturing technologies. Consequently, in most cases it is not possible to analyze all the alternatives (combinations of power architectures and converters) that can be built. The designer has to select a limited number of converters in order to simplify the analysis. In this thesis, in order to overcome the mentioned dificulties, a new design methodology for power supply systems is proposed. This methodology integrates evolutionary computation techniques in order to make possible analyzing a large number of possibilities. This exhaustive analysis helps the designer to quickly define a set of feasible solutions and select the best trade-off in performance according to each application. The proposed approach consists of two key steps, one for the automatic generation of architectures and other for the optimized selection of components. In this thesis are detailed the implementation of these two steps. The usefulness of the methodology is corroborated by contrasting the results using real problems and experiments designed to test the limits of the algorithms.

Impact of N on the atomic-scale Sb distribution in quaternary GaAsSbN-capped InAs quantum dots

The use of GaAsSbN capping layers on InAs/GaAs quantum dots (QDs) has recently been proposed for micro- and optoelectronic applications for their ability to independently tailor electron and hole confinement potentials. However, there is a lack of knowledge about the structural and compositional changes associated with the process of simultaneous Sb and N incorporation. In the present work, we have characterized using transmission electron microscopy techniques the effects of adding N in the GaAsSb/InAs/GaAs QD system. Firstly, strain maps of the regions away from the InAs QDs had revealed a huge reduction of the strain fields with the N incorporation but a higher inhomogeneity, which points to a composition modulation enhancement with the presence of Sb-rich and Sb-poor regions in the range of a few nanometers. On the other hand, the average strain in the QDs and surroundings is also similar in both cases. It could be explained by the accumulation of Sb above the QDs, compensating the tensile strain induced by the N incorporation together with an In-Ga intermixing inhibition. Indeed, compositional maps of column resolution from aberration-corrected Z-contrast images confirmed that the addition of N enhances the preferential deposition of Sb above the InAs QD, giving rise to an undulation of the growth front. As an outcome, the strong redshift in the photoluminescence spectrum of the GaAsSbN sample cannot be attributed only to the N-related reduction of the conduction band offset but also to an enhancement of the effect of Sb on the QD band structure.

Decentralized multi-tasks distribution in heterogeneous robot teams by means of ant colony optimization and learning automata

This paper focuses on the general problem of coordinating multiple robots. More specifically, it addresses the self-election of heterogeneous specialized tasks by autonomous robots. In this paper we focus on a specifically distributed or decentralized approach as we are particularly interested on decentralized solution where the robots themselves autonomously and in an individual manner, are responsible of selecting a particular task so that all the existing tasks are optimally distributed and executed. In this regard, we have established an experimental scenario to solve the corresponding multi-tasks distribution problem and we propose a solution using two different approaches by applying Ant Colony Optimization-based deterministic algorithms as well as Learning Automata-based probabilistic algorithms. We have evaluated the robustness of the algorithm, perturbing the number of pending loads to simulate the robot’s error in estimating the real number of pending tasks and also the dynamic generation of loads through time. The paper ends with a critical discussion of experimental results.