5 resultados para symbolic test generation
em CentAUR: Central Archive University of Reading - UK
Resumo:
Warfarin resistance was first discovered among Norway rat (Rattus norvegicus) populations in Scotland in 1958 and further reports of resistance, both in this species and in others, soon followed from other parts of Europe and the United States. Researchers quickly defined the practical impact of these resistance phenomena and developed robust methods by which to monitor their spread. These tasks were relatively simple because of the high degree of immunity to warfarin conferred by the resistance genes. Later, the second generation anticoagulants were introduced to control rodents resistant to the warfarin-like compounds, but resistance to difenacoum, bromadiolone and brodifacoum is now reported in certain localities in Europe and elsewhere. However, the adoption of test methods designed initially for use with the first generation compounds to identify resistance to compounds of the second generation has led to some practical difficulties in conducting tests and in establishing meaningful resistance baselines. In particular, the results of certain test methodologies are difficult to interpret in terms of the likely impact on practical control treatments of the resistance phenomena they seek to identify. This paper defines rodenticide resistance in the context of both first and second generation anticoagulants. It examines the advantages and disadvantages of existing laboratory and field methods used in the detection of rodent populations resistant to anticoagulants and proposes some improvements in the application of these techniques and in the interpretation of their results.
Resumo:
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
Resumo:
We conducted 2 longitudinal meditational studies to test an integrative model of goals, stress and coping, and well‐being. Study 1 documented avoidance personal goals as an antecedent of life stressors and life stressors as a partial mediator of the relation between avoidance goals and longitudinal change in subjective well‐being (SWB). Study 2 fully replicated Study 1 and likewise validated avoidance goals as an antecedent of avoidance coping and avoidance coping as a partial mediator of the relation between avoidance goals and longitudinal change in SWB. It also showed that avoidance coping partially mediates the link between avoidance goals and life stressors and validated a sequential meditational model involving both avoidance coping and life stressors. The aforementioned results held when controlling for social desirability, basic traits, and general motivational dispositions. The findings are discussed with regard to the integration of various strands of research on self‐regulation. (PsycINFO Database Record (c) 2012 APA, all rights reserved)(journal abstract)
Resumo:
Using data from the EISCAT (European Incoherent Scatter) VHF and CUTLASS (Co-operative UK Twin- Located Auroral Sounding System) HF radars, we study the formation of ionospheric polar cap patches and their relationship to the magnetopause reconnection pulses identified in the companion paper by Lockwood et al. (2005). It is shown that the poleward-moving, high-concentration plasma patches observed in the ionosphere by EISCAT on 23 November 1999, as reported by Davies et al. (2002), were often associated with corresponding reconnection rate pulses. However, not all such pulses generated a patch and only within a limited MLT range (11:00–12:00 MLT) did a patch result from a reconnection pulse. Three proposed mechanisms for the production of patches, and of the concentration minima that separate them, are analysed and evaluated: (1) concentration enhancement within the patches by cusp/cleft precipitation; (2) plasma depletion in the minima between the patches by fast plasma flows; and (3) intermittent injection of photoionisation-enhanced plasma into the polar cap. We devise a test to distinguish between the effects of these mechanisms. Some of the events repeat too frequently to apply the test. Others have sufficiently long repeat periods and mechanism (3) is shown to be the only explanation of three of the longer-lived patches seen on this day. However, effect (2) also appears to contribute to some events. We conclude that plasma concentration gradients on the edges of the larger patches arise mainly from local time variations in the subauroral plasma, via the mechanism proposed by Lockwood et al. (2000).
Resumo:
Electronic word-of-mouth (eWOM) is recognised as a means of interpersonal communication and a powerful marketing tool. However, previous studies have focussed on related motivations, and limited attention has been given to understanding the antecedents of eWOM communication behaviour in the travel industry. This study proposes a full and partial mediation model, which brings together for the first time three key antecedents: adoption of electronic communication technology, consumer dis/satisfaction with travel consumption experience, and subjective norm. The model aims to understand the impact of these antecedents on travellers' attitude towards eWOM communication and intention to use eWOM communication media. The data were collected from international travellers (n = 524), and structural equation modelling is used to test the conceptual framework. The findings of the study suggest that overall attitude towards eWOM communication partially mediates the impact of the traveller's adoption of electronic communication technology and subjective norm, and fully mediates the impact of consumer dis/satisfaction with travel consumption experience on travellers' intention to use eWOM communication media.