bluuebunny/crossref_metadata_2025_split huggingface dataset:
Test-data generation for control coverage by proof
Authors: Cavalcanti Ana , King Steve , O’Halloran Colin , Woodcock Jim 
Published: May 2013

Abstract
Many tools can check if a test set provides control coverage; they are, however, of little or no help when coverage is not achieved and the test set needs to be completed. In this paper, we describe how a formal characterisation of a coverage criterion can be used to generate test data; we present a procedure based on traditional programming techniques like normalisation, and weakest precondition calculation. It is a basis for automation using an algebraic theorem prover. In the worst situation, if automation fails to produce a specific test, we are left with a specification of the compliant test sets. Many approaches to model-based testing rely on formal models of a system under test. Our work, on the other hand, is not concerned with the use of abstract models for testing, but with coverage based on the text of programs.
Mosaic tissue distribution of the tandem duplication of LAMP2 exons 4 and 5 demonstrates the limits of Danon disease cellular and molecular diagnostics
Authors: Majer Filip , Pelak Ondrej , Kalina Tomas , Vlaskova Hana , Dvorakova Lenka , Honzik Tomas , Palecek Tomas , Kuchynka Petr , Masek Martin , Zeman Jiri , Elleder Milan , Sikora Jakub 
Published: May 2013

AbstractAlu‐mediated tandem duplication of exons 4 and 5 (g.15815_22218dup6404) is a novel mutation that has been detected in the LAMP2 gene (Xq24). This exon copy number variation was found in two brothers with the typical phenotype of Danon disease, including characteristic myocardial changes on magnetic resonance imaging. The 6.4 kb duplication was identified in both boys by a combination of exon dosage qPCR analyses and duplication breakpoint/junction mapping. The rearrangement results in a plethora of abnormal LAMP2 splicing variants and also in use of likely cryptic splice sites in the 3′ terminus of LAMP2 gene. Although we found minute amounts of normal LAMP2B and LAMP2A mRNAs, no protein was detectable in peripheral blood leukocytes by flow cytometry in both brothers. Uniquely, the fraction of LAMP2‐deficient granulocytes (0.06 %) assessed by flow cytometry in the patients’ asymptomatic mother substantially differed from the random distribution of X‐chromosome inactivation in her leukocytes. This discrepancy was later explained by molecular genetic methods as a consequence of mosaic distribution of the mutation in her somatic tissues. Altogether, we report a novel and mosaically distributed exon copy number rearrangement in the LAMP2 gene and comment on obstacles this genetic setup presents to the overall cellular and molecular diagnostic algorithm of Danon disease. Our observations of the mosaicism in the asymptomatic mother suggest that similarly affected females could be a potentially under‐diagnosed Danon disease carrier group and that LAMP2 flow cytometry, because of its supreme sensitivity, can be an efficient method for pedigree screening.
The Effect of Hand Massage on Preoperative Anxiety in Ambulatory Surgery Patients
Authors: Brand Leanne R. , Munroe Donna J. , Gavin Julie 
Published: May 2013

AbstractAnxiety in patients awaiting surgery and diagnostic procedures in an ambulatory department can affect the patient's physiological and psychological well‐being and outcome. We conducted a quasi‐experimental study at a midwestern US community hospital to determine the effects of hand massage on patient anxiety in the ambulatory surgery setting. We also investigated whether adding the hand massage procedure affected the timing and flow of procedures. The results indicated that hand massage reduces anxiety for patients awaiting ambulatory surgery and outpatient procedures. Participants who received hand massage experienced lower anxiety levels than those who received customary nursing care. In addition, the performance of hand massage did not affect the flow or timing of procedures. Hand massage is an easy procedure for nurses to learn and administer, and it is within the scope of perioperative nursing practice.
Perspective food addiction, caloric restriction, and dopaminergic neurotransmission
Authors: Stankowska Arwen Urrsula Malgorzata , Gjedde Albert 
Published: May 2013

People attempt to change their lifestyle when obesity impairs their quality of life. The attempts often fail when multiple habits must be changed in unison. Here we explore relations among food addiction, the neurobiology of habits, and caloric restriction, when people seek to return to normal eating behaviour, with particular emphasis on the role of dopaminergic neurotransmission.Severely obese individuals have specific neurobiological characteristics in common with drug abusers, including low availability of dopamine receptors in the striatum, impaired neuronal responses to dopamine, and reduced activity in prefrontal regions of the cerebral cortex. The neurobiological characteristics suggest that obese people also have a pathological dependence in common with addicts, in the form of food addiction.Malnutrition and dieting both relate to binge eating, possibly as a compensation for a reduced cognitive reward condition. The combination of caloric restriction and food addiction imparts a high risk of relapse as a result of further reduction of dopaminergic neurotransmission and the subsequent loss of reward. As with drugs of abuse, ingestion of large quantities of sugar in circumstances of uncontrolled eating increases dopamine release in the nucleus accumbens. This and other evidence suggests that abuse of food is a habit learned by means of mechanisms centred in the basal ganglia, with an increased risk of relapse in the presence of associative amplifiers. This risk is predicted by the relationship between dopamine receptor availability in the striatum and sensation-seeking in the form of an inverted U, suggested by recent findings, consistent with two opposite states of hypodopaminergic and hyperdopaminergic neuromodulation.
Study of ethylene kinetics during and after germination of sugar beet (Beta vulgarisL.) seeds and fruits
Authors: Abts Willem , Vissers Carolien , Vandenbussche Bert , De Proft Maurice M.P. 
Published: May 2013

AbstractThe interaction between ethylene production and seed germination of sugar beet (Beta vulgarisL.) was studied. For intact fruits, deoperculated fruits and true seeds, ethylene was only produced after the start of radicle emergence. Removal of the operculum or the whole pericarp, likely allowing better water uptake and gas exchange by the true seed, actually increased the time span between the start of radicle emergence and the beginning of ethylene production compared to intact fruits. ACC (1-aminocyclopropane-1-carboxylic acid), AOA (aminooxyacetic acid), AIB (2-amino isobutyric acid) and STS (silver thiosulphate) in the imbibition medium did not influence the germination pattern. Based on these findings, the function of ethylene during the germination of sugar beet is uncertain.
Granulomatous tubercular myocarditis: a rare cause of heart failure in the young
Authors: Gupta Mohit D. , Yadav Neeraj , Palleda Girish M. 
Published: May 2013

AbstractGranulomatous myocarditis is a rare disease of the heart. The present case highlights a potentially life-threatening and rare tubercular involvement of the myocardium in a young woman in the form of granulomas and abscess.
The Role of Impoundments, Temperature, and Discharge on Colonization of the Columbia River Basin, USA, by Nonindigenous American Shad
Authors: Hinrichsen Richard A. , Hasselman Daniel J. , Ebbesmeyer Curtis C. , Shields Barbara A. 
Published: May 2013

AbstractEcologists have become increasingly aware of the combined effects of habitat disturbance and climate change on the establishment and proliferation of invasive species. Long‐term data on the population of the invasive American ShadAlosa sapidissimain the U.S. portion of the Columbia River basin provide an opportunity to examine how habitat disturbances affect the abundance and spatial distribution of an invasive species in a heavily modified environment. After the establishment of American Shad in the Columbia River in the late 1800s, the drainage was transformed from its natural lotic state to a series of reservoirs, with concomitant changes to discharge and temperature regimes, which are confounded by climate change. As the Columbia River was dammed, American Shad extended its range and increased in abundance. A large and rapid increase in spawning population abundance (recruits per spawner = 63) followed completion of The Dalles Dam in 1957, which inundated Celilo Falls, a natural barrier to upriver American Shad migration. Regressions revealed that the annual percentage of American Shad migrating upstream from McNary Dam varied with water temperature and discharge (R2= 0.72), but not population density. When Atlantic coast rivers were dammed, however, American Shad lost spawning habitat and declined in abundance. Understanding the rapid colonization of the Columbia River by American Shad may reveal ways to help American Shad recolonize rivers where they are native. Understanding the roles of water temperature and discharge may allow us to project effects of climate change on the future distribution and abundance of American Shad in the Columbia River basin. Our results suggest that dam construction and alterations to the temperature and discharge regimes of the Columbia River have contributed to the increase in abundance and spatial distribution of American Shad. These changes might have improved the reproductive success of American Shad by providing access to additional spawning grounds and creating suitable juvenile rearing conditions.
Trophic Niche and Diet Overlap between Invasive White Perch and Resident White Bass in a Southeastern Reservoir
Authors: Feiner Zachary S. , Rice James A. , Bunch Aaron J. , Aday D. Derek 
Published: May 2013

AbstractThe White Bass Morone chrysops is a popular sport fish that appears to be negatively affected by invasions of White Perch M. americana and often declines or disappears from invaded systems. In 2008, the first discovery of White Perch in Lake James, North Carolina, provided a rare opportunity to investigate trophic overlap between White Perch and a robust population of White Bass near the onset of invasion. We investigated the potential for resource competition between White Perch and White Bass by assessing their relative abundance (CPUE), trophic position, niche size, diet breadth, and diet overlap across 2 years. White Perch were more abundant than White Bass and had wider diet breadth and trophic niche size across seasons. White Perch also occupied lower trophic positions than White Bass, indicating that White Bass maintain a more piscivorous diet. However, diet and stable isotope analysis showed a high overlap between juvenile White Bass and all sizes of White Perch. Thus, juvenile White Bass may be susceptible to competition with White Perch where resources are limited. Therefore, biologists should take steps to prevent White Perch introductions into systems with popular White Bass fisheries.
Estimating and Evaluating Mechanisms Related to Walleye Escapement from Rathbun Lake, Iowa
Authors: Weber Michael J. , Flammang Mark , Schultz Randall 
Published: May 2013

Abstract
Reservoir fisheries present managers a unique set of challenges. One of the most obvious, yet overlooked, challenges to maintaining sustainable reservoir fisheries is escapement. Yet, little is known about the escapement of reservoir fishes or factors influencing escapement. From June 2009 through March 2011, 4,137 Walleyes Sander vitreus &gt;300 mm were collected in the tailrace of Rathbun Lake, Iowa, individually tagged with visual implant tags, and returned to the reservoir to estimate escapement rates and identify influential factors. During this time, escapement was estimated as (1) the percentage of tagged Walleyes at large that were recaptured in the tailrace and (2) the proportion of tagged to untagged Walleyes present in Rathbun Lake. Tailrace recapture rates during individual sampling events ranged between 0.0% and 2.1% and minimum annual tailrace escapement was estimated as 13.6% (SE, 3%). In spring 2010, 8% (SE, 1%) of the Rathbun Lake Walleye population had been tagged and by spring 2011, 26% (SE, 2%) of the Walleyes were tagged, indicating that they had previously escaped. To understand factors related to escapement, individual fish capture–recapture data were analyzed in Program MARK using a multistate model to estimate apparent survival, detection, and escapement probability. Probability of escapement increased with increasing mean daily discharge and decreased with increasing fish length and release distance from the dam. Variable weights indicated that discharge was the primary factor related to escapement. Escapement probability increased exponentially with daily discharge and doubled as discharge increased from 40 to 60 m3/s. Our results suggest a substantial proportion of the Rathbun Lake Walleye population has been lost recently, due in part to record water releases, making management of this reservoir fishery challenging.
Received September 6, 2012; accepted March 12, 2013
When a trap is not a trap: converging entry and exit rates and their effect on trap saturation of black sea bass (Centropristis striata)
Authors: Bacheler Nathan M. , Schobernd Zeb H. , Berrane David J. , Schobernd Christina M. , Mitchell Warren A. , Geraldi Nathan R. 
Published: May 2013

AbstractBacheler, N. M., Schobernd, Z. H., Berrane, D. J., Schobernd, C. M., Mitchell, W. A., and Geraldi, N. R. 2013. When a trap is not a trap: converging entry and exit rates and their effect on trap saturation of black sea bass (Centropristis striata) – ICES Journal of Marine Science, 70: 873–882. Catch rates are often used to index the abundance of marine organisms, but catch saturation (i.e. declining catch rate as fishing time increases) can decouple catch and abundance. Researchers have struggled to account for saturation when using trap catch to infer population dynamics. We used the underwater video to document entries and exits of black sea bass (Centropristis striata) from chevron traps (n = 26) to quantify catch saturation. Black sea bass catch varied between 3 and 188 individuals for soak times of ∼90 min. Overall, 3564 black sea bass entered the traps and 1826 exited; therefore, over half (51%) of black sea bass entering traps exited before traps were retrieved. Black sea bass catch rates were non-linear and asymptotic for most (81%) trap samples, despite short soak times. Moreover, catch saturation occurred at 50 min, when the entry rate declined and the exit rate increased to a point where their confidence intervals overlapped. Several lines of evidence suggest that the level of black sea bass catch once saturation occurred may be positively related to true abundance, but additional research is needed to more fully test this hypothesis.
A combined long period fiber grating multi‐parameter sensor
Authors: Zhan Yage , Gu Kan , Wu Hua , Luo Jun 
Published: May 2013

PurposeThe on‐line concentration and temperature measurement of solutions is of great interest as a means of quality production control in many industrial processes, such as in food service industry, pharmaceuticals industry, chemical industry and environmental engineering, especially for harmful solutions or solutions that cannot be reached by the operator. This paper seeks to address these issues.Design/methodology/approachA high resolution all‐fiber multi‐parameter sensor system has been studied theoretically and experimentally. The sensor system can be used for on‐line monitoring of concentration and temperature simultaneously and dynamically. A combined long period fiber grating (CLPG) is used as the sensor head based on its resonance wavelength shifts being almost linearly with concentration and temperature, and also based on that the two applied resonance peaks have different concentration‐wavelength coefficients and different temperature‐wavelength coefficients. Two wavelength‐matched fiber Bragg gratings (FBGs) are used to convert resonance peak wavelengths of the CLPG into corresponding intensities for interrogation.FindingsWhen the concentration and the temperature all fluctuate dynamically during experiments, a concentration resolution of 0.03 g/L has been achieved in the range of 0∼200 g/L, and a temperature resolution of 0.02C has been realized in the range of −20∼60C.Originality/valueOn‐line monitoring of concentration and temperature for solutions is a means of quality production control in biological, chemical and other many industrial processes, such as in food service industry, pharmaceuticals industry, chemical industry, and also in environmental engineering, especially for harmful solutions or solutions that cannot be reached by the operator. Optical fiber sensors have numerous advantages over traditional sensors, such as immunity to electromagnetic interference, higher stability and sensitivity, more easiness of multiplex, being competent for application in harsh environments, “smart structures” and on‐site measurements. Long period optical fiber grating sensor is the most appropriate sensor for multi‐parameter monitoring in the fields mentioned above, which has all the advantages of optical fiber sensor. Besides, optical fiber grating sensors can be used for monitoring more accurately because its signal is coded by wavelength. The all‐fiber sensor system is suitable for remote monitoring of many solutions, such as the solutions of NaCl, glucose, alcohol, and hydrocarbon.
Critical success factors for B2B e‐markets: a strategic fit perspective
Authors: Johnson Michael 
Published: May 2013

PurposeThe objective of this paper is to explore and determine a set of factors that are critical to the success of business‐to‐business (B2B) e‐markets in the aerospace and defence, healthcare, higher education and local government industry sectors, in order to advance our current understanding of what factors facilitate e‐market adoption and success. The paper examines critical success factors (CSFs) for e‐markets from a strategic fit perspective.Design/methodology/approachThe study adopted a semi‐inductive qualitative approach based on a review of the literature, followed by a pilot study and 58 indepth semi‐structured interviews with senior level executives in buyer, supplier, e‐market and third‐party organisations. Qualitative data analysis software, QSR N6, was used to code and analyse the interview data for citations that corresponded with the candidate e‐market CSFs that had been identified either in the literature, pilot study or during the course of the interviews with respondents. The CSFs for e‐markets were ranked by the frequency of respondents citing a particular CSF.FindingsThe study found eight factors that are critical to e‐market success and four factors (critical mass, integration issues, value proposition, and leadership participation) were found to be conducive to e‐market success in all four industry sectors. Likewise, four factors (industry knowledge, revenue model, branding and reputation, and rich content) were found to be only conducive to e‐market success in three of the four industry sectors.Practical implicationsThe paper can help academic researchers, managers, consultants, practitioners and other professionals better understand what factors are critical to the success of e‐markets and other online enterprises operating in the B2B marketspace.Originality/valueThere have been numerous calls for more empirical research on the dynamics of e‐market adoption for more than a decade. To date, research on the CSFs for e‐markets has been largely anecdotal and sporadic with a paucity of studies noting factors that are likely to be favourable to e‐market success. This study addresses the call for more research on e‐markets and imparts empirical evidence on factors that are perceived to be conducive to the success of e‐markets. It contributes to the base of knowledge on e‐markets by relating the concept of CSFs with the theory of strategic fit as, to date, no known study has examined CSFs for e‐markets from a strategic fit perspective. The study also presents the benefits capabilities‐industry participants’ needs fit conceptual model as a precursor for theory building in future studies on B2B e‐markets and informs stakeholders involved in developing e‐markets or other online B2B ventures to better comprehend the conditions and determinants of success.
Brand leaders and me‐too alternatives: how do consumers choose?
Authors: Quintal Vanessa , Phau Ian 
Published: May 2013

PurposeThe purpose of this paper is to examine brand familiarity, extrinsic attributes, self‐confidence, perceived quality and six dimensions of perceived risk for their effects on purchase intentions between the prototypical and me‐too brands of MP3 players.Design/methodology/approachA self‐administered survey was employed to collect data from 348 lead users of MP3 players. Existing scales were selected for their tested reliability in buying situations and adapted to suit the context of the current study. Hypothesized relationships were examined with structural equation modeling.FindingsBrand familiarity had positive effects and extrinsic attributes had negative effects on the perceived equivalent quality of the MP3 players for both the prototypical and me‐too brands. Further, brand familiarity and extrinsic attributes produced direct effects on purchase intentions for the me‐too and prototypical brands respectively. While perceived equivalent quality had a positive mediating effect on the brand familiarity‐purchase intentions relationship for the me‐too brands, it had a negative mediating effect on the extrinsic attributes‐purchase intentions relationship for the prototypical brand. Finally, perceived social/physical, financial/performance, time and psychological risks produced negative mediating effects on the perceived equivalent quality‐purchase intentions relationship for the prototypical brand, while social/physical risk produced a positive mediating effect for the me‐too brands.Originality/valuePrevious empirical research has focused primarily on the individual effects of these antecedents. A research model integrates these antecedents with the dimensions of perceived risk and tests their hypothesized effects on purchase intentions. Comparisons between the prototypical and me‐too brands of MP3 players provide insights for practitioners when managing their brands.