Functional verification: approaches and challenges

It's a fact that functional verification (FV) is paramount within the hardware's design cycle. With so many new techniques available today to help with FV, which techniques should we really use? The answer is not straightforward and is often confusing and costly. The tools and techniques to be used in a project have to be decided upon early in the design cycle to get the best value for these new verification methods. This paper gives a quick survey in the form of an overview on FV, establishes the difference between verification and validation, describes the bottlenecks that appear in the verification process, examines the challenges in FV and exposes the current FV technologies and trends.

The implications of service-dominant logic and integrated solutions on the sales function

This study explores the implications of an organization moving toward service-dominant logic (S-D logic) on the sales function. Driven by its customers’ needs, a service orientation by its nature requires personal interaction and sales personnel are in an ideal position to develop offerings with the customer. However, the development of S-D logic may require sales staff to develop additional skills. Employing a single case study, the study identified that sales personnel are quick to appreciate the advantages of S-D logic for customer satisfaction and six specific skills were highlighted and explored. Further, three propositions were identified: in an organization adopting S-D logic, the sales process needs to elicit needs at both embedded-value and value-in-use levels. In addition, the sales process needs to coproduce not just goods and service attributes but also attributes of the customer’s usage processes. Further, the sales process needs to coproduce not just goods and service attributes but also attributes of the customer’s usage processes.

‘Once a miner, always a miner’: Poverty and livelihood diversification in Akwatia, Ghana

This paper offers an alternative viewpoint on why people choose to engage in artisanal mining – the low tech mineral extraction and processing of mainly precious metals and stones – for extended periods in sub-Saharan Africa. Drawing upon experiences from Akwatia, Ghana’s epicentre of diamond production since the mid-1920s, the analysis challenges the commonly-held view that the region’s people are drawn to artisanal mining solely because of a desire ‘to get rich quick’. A combination of events, including the recent closure of Ghana Consolidated Diamonds Ltd’s industrial-scale operation and decreased foreign investment in the country’s diamond industry over concerns of it potentially harbouring ‘conflict’ stones from neighbouring Coˆte D’Ivoire, has had a debilitating economic impact on Akwatia. In an attempt to alleviate their hardships, many of the town’s so-called ‘lifetime’ diamond miners have managed to secure employment in neighbouring artisanal gold mining camps. But their decision has been condemned by many of the country’s policymakers and traditional leaders, who see it solely as a move to secure ‘fast money’. It is argued here, however, that these people pursue work in surrounding artisanal gold mining communities mainly because of poverty, and that their decision has more to do with a desire to immerse in activities with which they are familiar, that offer stable employment and consistent salaries, and provide immediate debt relief. Misdiagnosis of cases such as Akwatia underscores how unfamiliar policymakers and donors are with the dynamics of ASM in sub-Saharan Africa.

Exploring social barriers to adaptation: insights from Western Nepal

As the challenges and opportunities posed by climate change become increasingly apparent, the need for facilitating successful adaptation and enhancing adaptive capacity within the context of sustainable development is clear. With adaptation high on the agenda, the notion of limits and barriers to adaptation has recently received much attention within both academic and policymaking spheres. While emerging literature has been quick to depict limits and barriers in terms of natural, financial, or technologic processes, there is a clear shortfall in acknowledging social barriers to adaptation. It is against such a backdrop that this paper sets out to expose and explore some of the underlying features of social barriers to adaptation, drawing on insights from two case studies in the Western Nepal. This paper exposes the significant role of cognitive, normative and institutional factors in both influencing and prescribing adaptation. It explores how restrictive social environments can limit adaptation actions and influence adaptive capacity at the local level, particularly for the marginalised and socially excluded. The findings suggest a need for greater recognition of the diversity and complexity of social barriers, strategic planning and incorporation at national and local levels, as well as an emphasis on tackling the underlying drivers of vulnerability and social exclusion.

Use of the ratio plot in capture-recapture estimation

Statistical graphics are a fundamental, yet often overlooked, set of components in the repertoire of data analytic tools. Graphs are quick and efficient, yet simple instruments of preliminary exploration of a dataset to understand its structure and to provide insight into influential aspects of inference such as departures from assumptions and latent patterns. In this paper, we present and assess a graphical device for choosing a method for estimating population size in capture-recapture studies of closed populations. The basic concept is derived from a homogeneous Poisson distribution where the ratios of neighboring Poisson probabilities multiplied by the value of the larger neighbor count are constant. This property extends to the zero-truncated Poisson distribution which is of fundamental importance in capture–recapture studies. In practice however, this distributional property is often violated. The graphical device developed here, the ratio plot, can be used for assessing specific departures from a Poisson distribution. For example, simple contaminations of an otherwise homogeneous Poisson model can be easily detected and a robust estimator for the population size can be suggested. Several robust estimators are developed and a simulation study is provided to give some guidance on which should be used in practice. More systematic departures can also easily be detected using the ratio plot. In this paper, the focus is on Gamma mixtures of the Poisson distribution which leads to a linear pattern (called structured heterogeneity) in the ratio plot. More generally, the paper shows that the ratio plot is monotone for arbitrary mixtures of power series densities.

Assessing hepatic metabolic changes during progressive colonization of germ-free mouse by 1H NMR spectroscopy

It is well known that gut bacteria contribute significantly to the host homeostasis, providing a range of benefits such as immune protection and vitamin synthesis. They also supply the host with a considerable amount of nutrients, making this ecosystem an essential metabolic organ. In the context of increasing evidence of the link between the gut flora and the metabolic syndrome, understanding the metabolic interaction between the host and its gut microbiota is becoming an important challenge of modern biology.1-4 Colonization (also referred to as normalization process) designates the establishment of micro-organisms in a former germ-free animal. While it is a natural process occurring at birth, it is also used in adult germ-free animals to control the gut floral ecosystem and further determine its impact on the host metabolism. A common procedure to control the colonization process is to use the gavage method with a single or a mixture of micro-organisms. This method results in a very quick colonization and presents the disadvantage of being extremely stressful5. It is therefore useful to minimize the stress and to obtain a slower colonization process to observe gradually the impact of bacterial establishment on the host metabolism. In this manuscript, we describe a procedure to assess the modification of hepatic metabolism during a gradual colonization process using a non-destructive metabolic profiling technique. We propose to monitor gut microbial colonization by assessing the gut microbial metabolic activity reflected by the urinary excretion of microbial co-metabolites by 1H NMR-based metabolic profiling. This allows an appreciation of the stability of gut microbial activity beyond the stable establishment of the gut microbial ecosystem usually assessed by monitoring fecal bacteria by DGGE (denaturing gradient gel electrophoresis).6 The colonization takes place in a conventional open environment and is initiated by a dirty litter soiled by conventional animals, which will serve as controls. Rodents being coprophagous animals, this ensures a homogenous colonization as previously described.7 Hepatic metabolic profiling is measured directly from an intact liver biopsy using 1H High Resolution Magic Angle Spinning NMR spectroscopy. This semi-quantitative technique offers a quick way to assess, without damaging the cell structure, the major metabolites such as triglycerides, glucose and glycogen in order to further estimate the complex interaction between the colonization process and the hepatic metabolism7-10. This method can also be applied to any tissue biopsy11,12.

Firm size and competition: a comparison of the housebuilding industries in Australia, the UK and the USA

Housebuilding is frequently viewed as an industry full of small firms. However, large firms exist in many countries. Here, a comparative analysis is made of the housebuilding industries in Australia, Britain and the USA. Housebuilding output is found to be much higher in Australia and the USA than in Britain when measured on a per capita basis. At the same time, the degree of market concentration in Australia and the USA is relatively low but in Britain it is far greater, with a few firms having quite substantial market shares. Investigation of the size distribution of the top 100 or so firms ranked by output also shows that the decline in firm size from the largest downwards is more rapid in Britain than elsewhere. The exceptionalism of the British case is put down to two principal reasons. First, the close proximity of Britain’s regions enables housebuilders to diversify successfully across different markets. The gains from such diversification are best achieved by large firms, because they can gain scale benefits in any particular market segment. Second, land shortages induced by a restrictive planning system encourage firms to takeover each other as a quick and beneficial means of acquiring land. The institutional rules of planning also make it difficult for new entrants to come in at the bottom end of the size hierarchy. In this way, concentration grows and a handful of large producers emerge. These conditions do not hold in the other two countries, so their industries are less concentrated. Given the degree of rivalry between firms over land purchases and takeovers, it is difficult to envisage them behaving in a long-term collusive manner, so that competition in British housebuilding is probably not unduly compromised by the exceptional degree of firm concentration. Reforms to lower the restrictions, improve the slow responsiveness and reduce the uncertainties associated with British planning systems’ role in housing supply are likely to greatly improve the ability of new firms to enter housebuilding and all firms’ abilities to increase output in response to rising housing demand. Such reforms would also probably lower overall housebuilding firm concentration over time.

Multiple routes to mammalian diversity

The radiation of the mammals provides a 165-million-year test case for evolutionary theories of how species occupy and then fill ecological niches. It is widely assumed that species often diverge rapidly early in their evolution, and that this is followed by a longer, drawn-out period of slower evolutionary fine-tuning as natural selection fits organisms into an increasingly occupied niche space1,2. But recent studies have hinted that the process may not be so simple3–5. Here we apply statistical methods that automatically detect temporal shifts in the rate of evolution through time to a comprehensive mammalian phylogeny6 and data set7 of body sizes of 3,185 extant species. Unexpectedly, the majority of mammal species, including two of the most speciose orders (Rodentia and Chiroptera), have no history of substantial and sustained increases in the rates of evolution. Instead, a subset of the mammals has experienced an explosive increase (between 10- and 52-fold) in the rate of evolution along the single branch leading to the common ancestor of their monophyletic group (for example Chiroptera), followed by a quick return to lower or background levels. The remaining species are a taxonomically diverse assemblage showing a significant, sustained increase or decrease in their rates of evolution. These results necessarily decouple morphological diversification from speciation and suggest that the processes that give rise to the morphological diversity of a class of animals are far more free to vary than previously considered. Niches do not seem to fill up, and diversity seems to arise whenever, wherever and at whatever rate it is advantageous.

The time course of implicit affective picture processing: an eye movement study

Consistent with a negativity bias account, neuroscientific and behavioral evidence demonstrates modulation of even early sensory processes by unpleasant, potentially threat-relevant information. The aim of this research is to assess the extent to which pleasant and unpleasant visual stimuli presented extrafoveally capture attention and impact eye movement control. We report an experiment examining deviations in saccade metrics in the presence of emotional image distractors that are close to a nonemotional target. We additionally manipulate the saccade latency to test when the emotional distractor has its biggest impact on oculomotor control. The results demonstrate that saccade landing position was pulled toward unpleasant distractors, and that this pull was due to the quick saccade responses. Overall, these findings support a negativity bias account of early attentional control and call for the need to consider the time course of motivated attention when affect is implicit

A depth-integrated 2D coastal and estuarine model with conformal boundary-fitted mesh generation

Details are given of the development and application of a 2D depth-integrated, conformal boundary-fitted, curvilinear model for predicting the depth-mean velocity field and the spatial concentration distribution in estuarine and coastal waters. A numerical method for conformal mesh generation, based on a boundary integral equation formulation, has been developed. By this method a general polygonal region with curved edges can be mapped onto a regular polygonal region with the same number of horizontal and vertical straight edges and a multiply connected region can be mapped onto a regular region with the same connectivity. A stretching transformation on the conformally generated mesh has also been used to provide greater detail where it is needed close to the coast, with larger mesh sizes further offshore, thereby minimizing the computing effort whilst maximizing accuracy. The curvilinear hydrodynamic and solute model has been developed based on a robust rectilinear model. The hydrodynamic equations are approximated using the ADI finite difference scheme with a staggered grid and the solute transport equation is approximated using a modified QUICK scheme. Three numerical examples have been chosen to test the curvilinear model, with an emphasis placed on complex practical applications

Interpersonal interaction and economic theory: the case of public goods

Interpersonal interaction in public goods contexts is very different in character to its depiction in economic theory, despite the fact that the standard model is based on a small number of apparently plausible assumptions. Approaches to the problem are reviewed both from within and outside economics. It is argued that quick fixes such as a taste for giving do not provide a way forward. An improved understanding of why people contribute to such goods seems to require a different picture of the relationships between individuals than obtains in standard microeconomic theory, where they are usually depicted as asocial. No single economic model at present is consistent with all the relevant field and laboratory data. It is argued that there are defensible ideas from outside the discipline which ought to be explored, relying on different conceptions of rationality and/or more radically social agents. Three such suggestions are considered, one concerning the expressive/communicative aspect of behaviour, a second the possibility of a part-whole relationship between interacting agents and the third a version of conformism.

Anhedonia and reward-circuit connectivity distinguish nonresponders from responders to dorsomedial prefrontal rTMS in major depression

Background Depression is a heterogeneous mental illness. Neurostimulation treatments, by targeting specific nodes within the brain’s emotion-regulation network, may be useful both as therapies and as probes for identifying clinically relevant depression subtypes. Methods Here, we applied 20 sessions of magnetic resonance imaging-guided repetitive transcranial magnetic stimulation (rTMS) to the dorsomedial prefrontal cortex in 47 unipolar or bipolar patients with a medication-resistant major depressive episode. Results Treatment response was strongly bimodal, with individual patients showing either minimal or marked improvement. Compared with responders, nonresponders showed markedly higher baseline anhedonia symptomatology (including pessimism, loss of pleasure, and loss of interest in previously enjoyed activities) on item-by-item examination of Beck Depression Inventory-II and Quick Inventory of Depressive Symptomatology ratings. Congruently, on baseline functional magnetic resonance imaging, nonresponders showed significantly lower connectivity through a classical reward pathway comprising ventral tegmental area, striatum, and a region in ventromedial prefrontal cortex. Responders and nonresponders also showed opposite patterns of hemispheric lateralization in the connectivity of dorsomedial and dorsolateral regions to this same ventromedial region. Conclusions The results suggest distinct depression subtypes, one with preserved hedonic function and responsive to dorsomedial rTMS and another with disrupted hedonic function, abnormally lateralized connectivity through ventromedial prefrontal cortex, and unresponsive to dorsomedial rTMS. Future research directly comparing the effects of rTMS at different targets, guided by neuroimaging and clinical presentation, may clarify whether hedonia/reward circuit integrity is a reliable marker for optimizing rTMS target selection.

Array based detection of antibiotic resistance genes in Gram negative bacteria isolated from retail poultry meat in the UK and Ireland

The use of antibiotics in birds and animals intended for human consumption within the European Union (EU) and elsewhere has been subject to regulation prohibiting the use of antimicrobials as growth promoters and the use of last resort antibiotics in an attempt to reduce the spread of multi-resistant Gram negative bacteria. Given the inexorable spread of antibiotic resistance there is an increasing need for improved monitoring of our food. Using selective media, Gram negative bacteria were isolated from retail chicken of UK-Intensively reared (n = 27), Irish-Intensively reared (n = 19) and UK-Free range (n = 30) origin and subjected to an oligonucleotide based array system for the detection of 47 clinically relevant antibiotic resistance genes (ARGs) and two integrase genes. High incidences of β-lactamase genes were noted in all sample types, acc (67%), cmy (80%), fox (55%) and tem (40%) while chloramphenicol resistant determinants were detected in bacteria from the UK poultry portions and were absent in bacteria from the Irish samples. Denaturing Gradient Gel Electrophoresis (DGGE) was used to qualitatively analyse the Gram negative population in the samples and showed the expected diversity based on band stabbing and DNA sequencing. The array system proved to be a quick method for the detection of antibiotic resistance gene (ARG) burden within a mixed Gram negative bacterial population.

The effect of light exposure on the degradation of latent fingerprints on brass surfaces: the use of silver electroless deposition as a visualization technique

We have studied the degradation of sebaceous fingerprints on brass surfaces using silver electroless deposition (SED) as a visualization technique. We have stored fingerprints on brass squares either (i) in a locked dark cupboard or (ii) in glass-filtered natural daylight for periods of 3 h, 24 h, 1 week, 3 weeks, and 6 weeks. We find that fingerprints on brass surfaces degrade much more rapidly when kept in the light than they do under dark conditions with a much higher proportion of high-quality prints found after 3 or 6 weeks of aging when stored in the dark. This process is more marked than for similar fingerprints on black PVC surfaces. Identifiable prints can be achieved on brass surfaces using both SED and cyanoacrylate fuming (CFM). SED is quick and straightforward to perform. CFM is more time-consuming but is versatile and can be applied to a wider range of metal surfaces than SED, for example brass surfaces which have been coated by a lacquer.

On the 'special' status of emotional faces... Comment on Yang, Hong, and Blake (2010)

A wealth of literature suggests that emotional faces are given special status as visual objects: Cognitive models suggest that emotional stimuli, particularly threat-relevant facial expressions such as fear and anger, are prioritized in visual processing and may be identified by a subcortical “quick and dirty” pathway in the absence of awareness (Tamietto & de Gelder, 2010). Both neuroimaging studies (Williams, Morris, McGlone, Abbott, & Mattingley, 2004) and backward masking studies (Whalen, Rauch, Etcoff, McInerney, & Lee, 1998) have supported the notion of emotion processing without awareness. Recently, our own group (Adams, Gray, Garner, & Graf, 2010) showed adaptation to emotional faces that were rendered invisible using a variant of binocular rivalry: continual flash suppression (CFS, Tsuchiya & Koch, 2005). Here we (i) respond to Yang, Hong, and Blake's (2010) criticisms of our adaptation paper and (ii) provide a unified account of adaptation to facial expression, identity, and gender, under conditions of unawareness