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.

Built environment research in West Africa current trends and future directions

The countries in West Africa (WA) are pushing for socio-economic development. The construction sector has an important part to play in helping to realise these aspirations. This necessitates an increased emphasis on research in the built environment, as a key contributor to developing capacity, knowledge and technologies for the sector. The West Africa Built Environment Research (WABER) conference was initiated in 2008. The objective was to: help young built environment researchers in West Africa (WA) to develop their research work and skills through constructive face-to-face interaction with their peers and experienced international academics; supply a platform for interaction among more senior academics and an outlet for disseminating their research work; and to serve as a vehicle for developing the built environment field in Africa. Three conferences have so far been organised, 2009 - 2011, bringing together ~300 academics, researchers and practitioners from the WA region. This paper draws on content analysis of the 189 papers in the proceedings of three conferences: 2009 (25); 2010 (57) and 2011 (107). These papers provide a window into current research priorities and trends and, thus, offer an opportunity to understand the kinds of research work undertaken by built environment researchers in West Africa. The aim is to illuminate the main research themes and methods that are currently pursued and the limitations thereof. The findings lay bare some of the many challenges that are faced by academics in WA and provide suggestions for alternative directions for future research and development work with indications of a potential research agenda.

Built environment research in West Africa: current trends and future directions

The countries in West Africa (WA) are pushing for socio-economic development. The construction sector has an important part to play in helping to realise these aspirations. This necessitates an increased emphasis on research in the built environment, as a key contributor to developing capacity, knowledge and technologies for the sector. The West Africa Built Environment Research (WABER) conference was initiated in 2008. The objective was to: help young built environment researchers in West Africa (WA) to develop their research work and skills through constructive face-to-face interaction with their peers and experienced international academics; supply a platform for interaction among more senior academics and an outlet for disseminating their research work; and to serve as a vehicle for developing the built environment field in Africa. Three conferences have so far been organised, 2009 - 2011, bringing together ~300 academics, researchers and practitioners from the WA region. This paper draws on content analysis of the 189 papers in the proceedings of three conferences: 2009 (25); 2010 (57) and 2011 (107). These papers provide a window into current research priorities and trends and, thus, offer an opportunity to understand the kinds of research work undertaken by built environment researchers in West Africa. The aim is to illuminate the main research themes and methods that are currently pursued and the limitations thereof. The findings lay bare some of the many challenges that are faced by academics in WA and provide suggestions for alternative directions for future research and development work with indications of a potential research agenda.

Understanding El Niño in ocean-atmosphere general circulation models: progress and challenges

Determining how El Niño and its impacts may change over the next 10 to 100 years remains a difficult scientific challenge. Ocean–atmosphere coupled general circulation models (CGCMs) are routinely used both to analyze El Niño mechanisms and teleconnections and to predict its evolution on a broad range of time scales, from seasonal to centennial. The ability to simulate El Niño as an emergent property of these models has largely improved over the last few years. Nevertheless, the diversity of model simulations of present-day El Niño indicates current limitations in our ability to model this climate phenomenon and to anticipate changes in its characteristics. A review of the several factors that contribute to this diversity, as well as potential means to improve the simulation of El Niño, is presented.

Exploring other childhoods through quantitative secondary analyses of large scale surveys: opportunities and challenges for children's geographers

This paper considers the potential contribution of secondary quantitative analyses of large scale surveys to the investigation of 'other' childhoods. Exploring other childhoods involves investigating the experience of young people who are unequally positioned in relation to multiple, embodied, identity locations, such as (dis)ability, 'class', gender, sexuality, ethnicity and race. Despite some possible advantages of utilising extensive databases, the paper outlines a number of methodological problems with existing surveys which tend to reinforce adultist and broader hierarchical social relations. It is contended that scholars of children's geographies could overcome some of these problematic aspects of secondary data sources by endeavouring to transform the research relations of large scale surveys. Such endeavours would present new theoretical, ethical and methodological complexities, which are briefly considered.

Observed trends and teleconnections of the Siberian high: A recently declining center of action

This study investigates variability in the intensity of the wintertime Siberian high (SH) by defining a robust SH index (SHI) and correlating it with selected meteorological fields and teleconnection indices. A dramatic trend of -2.5 hPa decade(-1) has been found in the SHI between 1978 and 2001 with unprecedented (since 1871) low values of the SHI. The weakening of the SH has been confirmed by analyzing different historical gridded analyses and individual station observations of sea level pressure (SLP) and excluding possible effects from the conversion of surface pressure to SLP. SHI correlation maps with various meteorological fields show that SH impacts on circulation and temperature patterns extend far outside the SH source area extending from the Arctic to the tropical Pacific. Advection of warm air from eastern Europe has been identified as the main mechanism causing milder than normal conditions over the Kara and Laptev Seas in association with a strong SH. Despite the strong impacts of the variability in the SH on climatic variability across the Northern Hemisphere, correlations between the SHI and the main teleconnection indices of the Northern Hemisphere are weak. Regression analysis has shown that teleconnection indices are not able to reproduce the interannual variability and trends in the SH. The inclusion of regional surface temperature in the regression model provides closer agreement between the original and reconstructed SHI.

Combination therapy: opportunities and challenges for polymer-drug conjugates as anticancer nanomedicines.

The discovery of new molecular targets and the subsequent development of novel anticancer agents are opening new possibilities for drug combination therapy as anticancer treatment. Polymer-drug conjugates are well established for the delivery of a single therapeutic agent, but only in very recent years their use has been extended to the delivery of multi-agent therapy. These early studies revealed the therapeutic potential of this application but raised new challenges (namely, drug loading and drugs ratio, characterisation, and development of suitable carriers) that need to be addressed for a successful optimisation of the system towards clinical applications.

Translating climate forecasts into agricultural terms: advances and challenges

Seasonal climate prediction offers the potential to anticipate variations in crop production early enough to adjust critical decisions. Until recently, interest in exploiting seasonal forecasts from dynamic climate models (e.g. general circulation models, GCMs) for applications that involve crop simulation models has been hampered by the difference in spatial and temporal scale of GCMs and crop models, and by the dynamic, nonlinear relationship between meteorological variables and crop response. Although GCMs simulate the atmosphere on a sub-daily time step, their coarse spatial resolution and resulting distortion of day-to-day variability limits the use of their daily output. Crop models have used daily GCM output with some success by either calibrating simulated yields or correcting the daily rainfall output of the GCM to approximate the statistical properties of historic observations. Stochastic weather generators are used to disaggregate seasonal forecasts either by adjusting input parameters in a manner that captures the predictable components of climate, or by constraining synthetic weather sequences to match predicted values. Predicting crop yields, simulated with historic weather data, as a statistical function of seasonal climatic predictors, eliminates the need for daily weather data conditioned on the forecast, but must often address poor statistical properties of the crop-climate relationship. Most of the work on using crop simulation with seasonal climate forecasts has employed historic analogs based on categorical ENSO indices. Other methods based on classification of predictors or weather types can provide daily weather inputs to crop models conditioned on forecasts. Advances in climate-based crop forecasting in the coming decade are likely to include more robust evaluation of the methods reviewed here, dynamically embedding crop models within climate models to account for crop influence on regional climate, enhanced use of remote sensing, and research in the emerging area of 'weather within climate'.

Translating climate forecasts into agricultural terms: advances and challenges

Seasonal climate prediction offers the potential to anticipate variations in crop production early enough to adjust critical decisions. Until recently, interest in exploiting seasonal forecasts from dynamic climate models (e.g. general circulation models, GCMs) for applications that involve crop simulation models has been hampered by the difference in spatial and temporal scale of GCMs and crop models, and by the dynamic, nonlinear relationship between meteorological variables and crop response. Although GCMs simulate the atmosphere on a sub-daily time step, their coarse spatial resolution and resulting distortion of day-to-day variability limits the use of their daily output. Crop models have used daily GCM output with some success by either calibrating simulated yields or correcting the daily rainfall output of the GCM to approximate the statistical properties of historic observations. Stochastic weather generators are used to disaggregate seasonal forecasts either by adjusting input parameters in a manner that captures the predictable components of climate, or by constraining synthetic weather sequences to match predicted values. Predicting crop yields, simulated with historic weather data, as a statistical function of seasonal climatic predictors, eliminates the need for daily weather data conditioned on the forecast, but must often address poor statistical properties of the crop-climate relationship. Most of the work on using crop simulation with seasonal climate forecasts has employed historic analogs based on categorical ENSO indices. Other methods based on classification of predictors or weather types can provide daily weather inputs to crop models conditioned on forecasts. Advances in climate-based crop forecasting in the coming decade are likely to include more robust evaluation of the methods reviewed here, dynamically embedding crop models within climate models to account for crop influence on regional climate, enhanced use of remote sensing, and research in the emerging area of 'weather within climate'.

'Fair trade gold': Antecedents, prospects and challenges

This paper critically examines the challenges with, and impacts of, adopting the models in place for fair trade agriculture in the artisanal gold mining sector. Over the past two years, an NGO-led 'fair trade gold' movement has surfaced, its crystallization fuelled by a burgeoning body of evidence that points to impoverished artisanal miners in developing countries receiving low payments for their gold, as well as working in hazardous and unsanitary conditions. Proponents of fair trade gold contest that increased interaction between artisanal miners and Western jewellers could facilitate the former receiving fairer prices for gold, accessing support services, and ultimately, improving their quality of life. In the case of sub-Saharan Africa, however, the gold being mined on an artisanal scale does not supply Western retailers as perhaps believed; it is rather an important source of foreign exchange, which host governments employ buyers to collect for their coffers. It is maintained here that if the underlying purpose of fair trade is to improve the livelihoods and well-being of subsistence producers in developing countries, then the models that have proved so successful in alleviating the hardships of agro-producers of 'tropical' commodities such as coffee, tea, bananas and cocoa, should be adapted to artisanal gold mining in sub-Saharan Africa. Campaigns promoting 'fair trade gold' in the region should view host governments, and not Western retailers, as the 'end consumer', and focus on improving governance at the grassroots, organizing informal operators into working cooperatives, and addressing complications with purchasing arrangements - all of which would go a long way toward improving the livelihoods of subsistence artisanal miners. A case study of Noyem, Ghana, the location of a sprawling illegal gold mining community, is presented, which magnifies these challenges further and provides perspective on how they can be overcome. (c) 2007 Elsevier Ltd. All rights reserved.

In vitro cumulative gas production techniques: History, methodological considerations and challenges

Methodology used to measure in vitro gas production is reviewed to determine impacts of sources of variation on resultant gas production profiles (GPP). Current methods include measurement of gas production at constant pressure (e.g., use of gas tight syringes), a system that is inexpensive, but may be less sensitive than others thereby affecting its suitability in some situations. Automated systems that measure gas production at constant volume allow pressure to accumulate in the bottle, which is recorded at different times to produce a GPP, and may result in sufficiently high pressure that solubility of evolved gases in the medium is affected, thereby resulting in a recorded volume of gas that is lower than that predicted from stoichiometric calculations. Several other methods measure gas production at constant pressure and volume with either pressure transducers or sensors, and these may be manual, semi-automated or fully automated in operation. In these systems, gas is released as pressure increases, and vented gas is recorded. Agitating the medium does not consistently produce more gas with automated systems, and little or no effect of agitation was observed with manual systems. The apparatus affects GPP, but mathematical manipulation may enable effects of apparatus to be removed. The amount of substrate affects the volume of gas produced, but not rate of gas production, provided there is sufficient buffering capacity in the medium. Systems that use a very small amount of substrate are prone to experimental error in sample weighing. Effect of sample preparation on GPP has been found to be important, but further research is required to determine the optimum preparation that mimics animal chewing. Inoculum is the single largest source of variation in measuring GPP, as rumen fluid is variable and sampling schedules, diets fed to donor animals and ratios of rumen fluid/medium must be selected such that microbial activity is sufficiently high that it does not affect rate and extent of fermentation. Species of donor animal may also cause differences in GPP. End point measures can be mathematically manipulated to account for species differences, but rates of fermentation are not related. Other sources of inocula that have been used include caecal fluid (primarily for investigating hindgut fermentation in monogastrics), effluent from simulated rumen fermentation (e.g., 'Rusitec', which was as variable as rumen fluid), faeces, and frozen or freeze-dried rumen fluid (which were both less active than fresh rumen fluid). Use of mixtures of cell-free enzymes, or pure cultures of bacteria, may be a way of increasing GPP reproducibility, while reducing reliance on surgically modified animals. However, more research is required to develop these inocula. A number of media have been developed which buffer the incubation and provide relevant micro-nutrients to the microorganisms. To date, little research has been completed on relationships between the composition of the medium and measured GPP. However, comparing GPP from media either rich in N or N-free, allows assessment of contributions of N containing compounds in the sample. (c) 2005 Published by Elsevier B.V.