Implementation of an interior point source in the ultra weak variational formulation through source extraction

The Ultra Weak Variational Formulation (UWVF) is a powerful numerical method for the approximation of acoustic, elastic and electromagnetic waves in the time-harmonic regime. The use of Trefftz-type basis functions incorporates the known wave-like behaviour of the solution in the discrete space, allowing large reductions in the required number of degrees of freedom for a given accuracy, when compared to standard finite element methods. However, the UWVF is not well disposed to the accurate approximation of singular sources in the interior of the computational domain. We propose an adjustment to the UWVF for seismic imaging applications, which we call the Source Extraction UWVF. Differing fields are solved for in subdomains around the source, and matched on the inter-domain boundaries. Numerical results are presented for a domain of constant wavenumber and for a domain of varying sound speed in a model used for seismic imaging.

Formulation and implementation of a residual-mean ocean circulation model

A parameterization of mesoscale eddies in coarse-resolution ocean general circulation models (GCM) is formulated and implemented using a residual-mean formalism. In that framework, mean buoyancy is advected by the residual velocity (the sum of the Eulerian and eddy-induced velocities) and modified by a residual flux which accounts for the diabatic effects of mesoscale eddies. The residual velocity is obtained by stepping forward a residual-mean momentum equation in which eddy stresses appear as forcing terms. Study of the spatial distribution of eddy stresses, derived by using them as control parameters to ‘‘fit’’ the residual-mean model to observations, supports the idea that eddy stresses can be likened to a vertical down-gradient flux of momentum with a coefficient which is constant in the vertical. The residual eddy flux is set to zero in the ocean interior, where mesoscale eddies are assumed to be quasi-adiabatic, but is parameterized by a horizontal down-gradient diffusivity near the surface where eddies develop a diabatic component as they stir properties horizontally across steep isopycnals. The residual-mean model is implemented and tested in the MIT general circulation model. It is shown that the resulting model (1) has a climatology that is superior to that obtained using the Gent and McWilliams parameterization scheme with a spatially uniform diffusivity and (2) allows one to significantly reduce the (spurious) horizontal viscosity used in coarse resolution GCMs.

Stay calm! Regulating emotional responses by implementation intentions: assessing the impact on physiological and subjective arousal

Implementation intention (IMP) has recently been highlighted as an effective emotion regulatory strategy (Schweiger Gallo et al., 2009). Most studies examining the effectiveness of IMPs to regulate emotion have relied on self-report measures of emotional change. In two studies we employed electrodermal activity (EDA) and heart rate (HR) in addition to arousal ratings (AR) to assess the impact of an IMP on emotional responses. In Study 1, 60 participants viewed neutral and two types of negative pictures (weapon vs. non-weapon) under the IMP “If I see a weapon, then I will stay calm and relaxed!” or no self-regulatory instructions (Control). In Study 2, additionally to the Control and IMP conditions, participants completed the picture task either under goal intention (GI) to stay calm and relaxed or warning instructions highlighting that some pictures contain weapons. In both studies, participants showed lower EDA, reduced HR deceleration and lower AR to the weapon pictures compared to the non-weapon pictures. In Study 2, the IMP was associated with lower EDA compared to the GI condition for the weapon pictures, but not compared to the weapon pictures in the Warning condition. AR were lower for IMP compared to GI and Warning conditions for the weapon pictures.

Working through the layers: curriculum implementation in language education

This chapter presents findings on English Language instruction at the lower primary level in the context of policies for curricular innovation at national, school and classroom levels. The focus is on policies which connect national and school levels, and on how they might be interpreted when implemented in multiple schools within Singapore’s educational system. Referring to case studies in two schools and to individual lesson observations in 10 schools, we found much agreement with national policies in terms of curriculum (i.e. lesson content and activity selection),leading to great uniformity in the lessons taught by different teachers in different schools. In addition, we found that schools had an important mediating influence on implementation of national policies. However, adoptions and adaptations of policy innovations at the classroom level were somewhat superficial as they were more related to changes in educational facilities and procedures than in philosophies.

Community projects: an experimental analysis of a fair implementation process

We define and experimentally test a public provision mechanism that meets three basic ethical requirements and allows community members to influence, via monetary bids, which of several projects is implemented. For each project, participants are assigned personal values, which can be positive or negative. We provide either public or private information about personal values. This produces two distinct public provision games, which are experimentally implemented and analyzed for various projects. In spite of the complex experimental task, participants do not rely on bidding their own personal values as an obvious simple heuristic whose general acceptance would result in fair and efficient outcomes. Rather, they rely on strategic underbidding. Although underbidding is affected by projects’ characteristics, the provision mechanism mostly leads to the implementation of the most efficient project.

Design, implementation and interpretation of in vitro batchculture experiments to assess enteric methane mitigation in ruminants—a review

In vitro fermentation techniques (IVFT) have been widely used to evaluate the nutritivevalue of feeds for ruminants and in the last decade to assess the effect of different nutritionalstrategies on methane (CH4) production. However, many technical factors may influencethe results obtained. The present review has been prepared by the ‘Global Network’ FACCE-JPI international research consortium to provide a critical evaluation of the main factorsthat need to be considered when designing, conducting and interpreting IVFT experimentsthat investigate nutritional strategies to mitigate CH4emission from ruminants. Given theincreasing and wide-scale use of IVFT, there is a need to critically review reports in the lit-erature and establish what criteria are essential to the establishment and implementationof in vitro techniques. Key aspects considered include: i) donor animal species and numberof animal used, ii) diet fed to donor animals, iii) collection and processing of rumen fluidas inoculum, iv) choice of substrate and incubation buffer, v) incubation procedures andCH4measurements, vi) headspace gas composition and vii) comparability of in vitro andin vivo measurements. Based on an evaluation of experimental evidence, a set of techni-cal recommendations are presented to harmonize IVFT for feed evaluation, assessment ofrumen function and CH4production.

Sequence-specific reconstruction from fragmentary databases using seed sequences: implementation and validation on SAGE, proteome and generic sequencing data

Motivation: DNA assembly programs classically perform an all-against-all comparison of reads to identify overlaps, followed by a multiple sequence alignment and generation of a consensus sequence. If the aim is to assemble a particular segment, instead of a whole genome or transcriptome, a target-specific assembly is a more sensible approach. GenSeed is a Perl program that implements a seed-driven recursive assembly consisting of cycles comprising a similarity search, read selection and assembly. The iterative process results in a progressive extension of the original seed sequence. GenSeed was tested and validated on many applications, including the reconstruction of nuclear genes or segments, full-length transcripts, and extrachromosomal genomes. The robustness of the method was confirmed through the use of a variety of DNA and protein seeds, including short sequences derived from SAGE and proteome projects.