bluuebunny/crossref_metadata_2025_split huggingface dataset:
Doubly symmetric finite-core heton equilibria
Authors: Makarov V. G. , Sokolovskiy M. A. , Kizner Z. 
Published: August 2012

AbstractA finite-core heton is a baroclinic$f$-plane modon of a special type: it is composed of two patches of uniform quasi-geostrophic potential vorticity (PV) residing in different layers of a two-layer rotating fluid. This paper focuses on numerical construction of steadily translating, doubly symmetric, finite-core hetons and testing their stability. Such a heton, which possesses symmetry about the translation axis and the transverse axis, is a stationary solution to the equations of PV conservation in each of the layers when considered in a comoving frame of reference. When constructing the heton solutions and examining their bifurcations, we identify a heton by a pair of independent non-dimensional parameters, the half-length (in the translation direction) of a PV patch and the distance of the front point of the upper patch from the translation axis. The advantage of this method over other tried approaches is that it allows one to obtain solutions of new, previously unknown types. The results of testing the heton stability are presented on the plane made by a mean radius of a PV patch and the (horizontal) separation between the centroids of the patches. Two kinds of stability are tested separately, the stability to arbitrary perturbations that do not preserve the symmetry of the initial state and the stability to so-called symmetric perturbations that do not violate the initial symmetry. The hetons comparable in size with the Rossby radius, and smaller, are always stable in both senses. However, when some critical size is exceeded, the heton stability becomes dependent on the separation, and the larger the heton, the higher the separation required for stability. The separation guaranteeing the stability to symmetric perturbations is smaller than that required for the stability to arbitrary perturbations. Interrelations between instabilities and bifurcations are briefly discussed.
Approaches for quantifying gastrointestinal nutrient absorption and metabolism in a native and a modern pig breed
Authors: RODRÍGUEZ-LÓPEZ J. M. , LACHICA M. , GONZÁLEZ-VALERO L. , FERNÁNDEZ-FÍGARES I. 
Published: August 2012

SUMMARYWhen working with multi-catheterized animals, success and failure are separated by surgical procedures and minor details in catheter design and care. The current paper is a detailed description of novel approaches to multi-catheterization of pigs for investigations into nutrient absorption and metabolism of portal-drained viscera (PDV) in a native obese (Iberian) and a modern (Landrace) breed. Three Iberian and three Landrace gilts (25 kg average body weight; BW) were fitted with catheters in the carotid artery (CA), the portal vein (PV) and the ileal vein (IV). Tygon rings were attached to the catheter to mark the extent of introduction into the vessel and facilitate its fixing by means of a non-absorbable suture. The PV was catheterized through the visceral side of the left-lateral lobe of the liver and IV through a branch of the vein. The CA was secured directly in place with a purse-string suture where the artery was not occluded. Patency of the catheters was checked weekly and catheters filled with sterile heparinized saline and closed by two knots. Portal blood flow was determined to test the procedures. A 15 ml pulse dose of para-aminohippuric acid (PAH; 2% w/v) was infused into IV 45 min prior to blood sampling, followed by continuous infusion of 0·8 ml/min. Blood samples (4·5 ml) were taken simultaneously from CA and PV, using heparinized tubes, 5 min before feeding 0·25 of the total daily ration (barley–soybean meal diet; 160 g crude protein (CP)/kg; 14–14·5 MJ metabolizable energy (ME)/kg dry matter (DM); 2·4×ME for maintenance), and every 30 min for 4 h and then hourly until 6 h after feeding. Blood was centrifuged and plasma harvested and stored at −20 °C until PAH analysis. Whole-blood flow was based on the Fick principle. Post-prandial PDV blood flow was lower for the Iberian pigs than Landrace (866 and 1464 ml/min, respectively). The concurrence of access to the PV through the liver with a minimal wound, the non-occluded blood flow in CA, and the catheter design and care were all critical for the fast recovery of pigs and catheter patency. The procedures followed are recommended for studies of absorption of nutrients from the gastrointestinal tract and the impact of PDV on the metabolism of conscious, unrestrained, growing pigs.
The mucosal response of hamsters exposed to weekly repeated infections with the hookwormAncylostoma ceylanicum
Authors: Alkazmi L.M.M. , Behnke J.M. 
Published: August 2012

AbstractAn experiment was carried out to assess mucosal changes in hamsters exposed to weekly repeated low-intensity infections with the hookwormAncylostoma ceylanicum. The experiment included control groups of naïve, uninfected hamsters and groups that received a single-pulse primary infection. Changes in the intestinal architecture and in the density of inflammatory cells in the mucosa, including mast cells, goblet cells, Paneth cells and eosinophils were examined in relation to changes in hookworm burdens. As in the single-pulse primary infection, hamsters exposed to repeated infections responded with marked changes in the intestinal architecture and in mucosal populations of inflammatory cells. However, there were distinct differences in the kinetics of the responses to these two types of infection (primary single-pulse and repeated). The reduction in villous height and the increase in crypt depth in animals exposed to repeated infections were both initially slower but eventually equalled and exceeded the responses in hamsters given a chronic primary infection, despite the presence of fewer adult worms in the former. Similarly, changes in the mitotic figures of epithelial cells in the mucosa and the mast cell response were both initially slower and less intense in repeatedly infected hamsters, but eventually exceeded the response to primary infection. Furthermore, the eosinophil response was found to be initially greater in repeated infections and overall more persistent. In contrast, both goblet and Paneth cell responses were less marked in repeatedly infected animals compared to those carrying a primary infection. These results are discussed in the context of host protective resistance to infection withA. ceylanicum.
Cervical osteophytes causing vocal fold paralysis: case report and literature review
Authors: Virk J S , Majithia A , Lingam R K , Singh A 
Published: August 2012

AbstractObjectives:To increase awareness of cervical osteophytes as an extremely rare cause of recurrent laryngeal nerve palsy; to outline the clinical approach to patients with unilateral vocal fold paralysis and to provide an update on the current management of osteoarthritis and osteophytes.Case report:An elderly man presented with right unilateral vocal fold immobility and a small phonatory gap. By a diagnosis of exclusion, a cervical osteophyte at the level of the sixth and seventh cervical vertebrae was shown to be the cause. The patient responded to speech therapy and no further intervention was required.Method:A literature review, using Medline, identified only one previously published case of vocal fold paralysis due to osteophytes secondary to osteoarthritis.Conclusion:The aetiology of unilateral paralysis of the hemilarynx must be fully investigated, as the innervating system has a protracted course, particularly on the left side. Degenerative cervical spine disease, although rare, should be considered as part of the differential diagnosis.
Pre-operative embolisation of the thyroid artery in a patient with a large papillary carcinoma of the thyroid
Authors: Shojaku H , Takakura H , Watanabe Y , Seto H 
Published: August 2012

AbstractObjective:To demonstrate the usefulness of pre-operative selective embolisation of the thyroid arteries in an unusual case with a large, vascular thyroid tumour.Case report:A 29-year-old man presented with a large papillary carcinoma of the thyroid (weighing approximately 300 g on palpation) with extension to the mediastinum and compression of the trachea. A computed tomography scan of the neck and thorax revealed a large tumour the solid part of which was enhanced after contrast medium application, indicating a substantial vascular supply. Pre-operative selective embolisation of both superior thyroid arteries and one inferior thyroid artery, using gelatin sponge particles, was performed 4 days before surgery, under conventional angiography. After selective embolisation of these thyroid arteries, the patient experienced mild anterior neck pain and mild fever. This procedure allowed a significant reduction in blood perfusion to the tumour, which facilitated its surgical removal without blood transfusion.Conclusion:Pre-operative selective embolisation of both superior thyroid arteries and one inferior thyroid artery may be an effective, minimally invasive procedure for patients with a large, vascular thyroid tumour.
Pott's puffy tumour and intracranial complications of frontal sinusitis in pregnancy
Authors: Domville-Lewis C , Friedland P L , Santa Maria P L 
Published: August 2012

AbstractIntroduction:A Pott's puffy tumour is a subperiosteal abscess and osteomyelitis of the frontal bone secondary to frontal sinusitis. Intracranial complications are seen in approximately 40 per cent of cases and are potentially life-threatening; such complications have not previously been reported in pregnancy.Case report:A 21-year-old woman at 35 weeks' gestation presented with a history of frontal headaches and swelling, periorbital oedema, pain and chemosis. Imaging confirmed Pott's puffy tumour with right-sided epidural empyema and periorbital cellulitis. A multidisciplinary team was involved in the patient's management. Intravenous antibiotics were commenced and initial percutaneous drainage through the frontal sinus skin was performed, followed by endoscopic sinus drainage. A caesarean section was performed 3 days later. Complete resolution of the sinus and intracranial collections was noted on imaging performed six weeks later.Conclusion:This case highlights the challenges of managing rare intracranial complications of sinusitis in pregnancy, and the importance of multidisciplinary care.
Outcomes of canalplasty for chronic obliterative otitis externa
Authors: Potter C P S , Bottrill I D 
Published: August 2012

AbstractIntroduction:Chronic obliterative otitis externa is a rare cause of conductive hearing loss, characterised by stenosis of the deep ear canal secondary to chronic inflammation. A multitude of canalplasty techniques have been described, with variable success.Method:Fourteen patients undergoing canalplasty performed by the senior author for refractory obliterative otitis externa, over an 8-year period, were included in the study. All underwent split-skin grafting of the denuded canal and meticulous post-operative aural care. Outcome measures included the Glasgow Benefit Inventory and pure tone audiology.Results:At 3 months post-operatively, the four-tone average threshold had improved by a mean of 13.9 dB (95 per cent confidence interval –9.9 to 37.8 dB;t < 0.001) in the operated ear. The mean Glasgow Benefit Inventory score was 20 (95 per cent confidence interval −2.3 to 42.1).Conclusion:Significant improvements in both hearing and quality of life are achievable in patients with end-stage obliterative otitis externa treated surgically. Highly trained and competent aural care practitioners are a prerequisite for the success of the procedure, and a substantial number of patients must be prepared to submit to long-term follow-up care.
Disturbed microstructural integrity of the frontostriatal fiber pathways and executive dysfunction in children with attention deficit hyperactivity disorder
Authors: Shang C. Y. , Wu Y. H. , Gau S. S. , Tseng W. Y. 
Published: August 2012

BackgroundAttention deficit hyperactivity disorder (ADHD) is recognized as an early-onset neuropsychiatric disorder with executive dysfunctions and neurobiological deficits. The authors compared executive functions and microstructural integrity of the frontostriatal circuit in children with ADHD and typically developing children.MethodWe assessed 25 children with ADHD and 25 age-, sex-, handedness- and intelligence-matched typically developing children by using psychiatric interviews, the Wechsler Intelligence Scale for Children – third edition, and the tasks involving executive functions in the Cambridge Neuropsychological Test Automated Battery. The frontostriatal tracts were reconstructed by diffusion spectrum imaging tractography and were subdivided into four functionally distinct segments, including dorsolateral, medial prefrontal, orbitofrontal and ventrolateral tracts. Tract-specific and matched case-control analyses were used and generalized fractional anisotropy values were computed.ResultsChildren with ADHD had lower generalized fractional anisotropy of all the bilateral frontostriatal fiber tracts and poorer performance in verbal and spatial working memory, set-shifting, sustained attention, cognitive inhibition and visuospatial planning. The symptom severity of ADHD and the executive functioning performance significantly correlated with integrity of the frontostriatal tracts, particularly the left orbitofrontal and ventrolateral tracts. Children with ADHD also demonstrated loss of the leftward asymmetry in the dorsolateral and medial prefrontal tracts that was present in typically developing children.ConclusionsOur findings demonstrate disturbed structural connectivity of the frontostriatal circuitry in children with ADHD and add new evidence of associations between integrity of the frontostriatal tracts and measures of core symptoms of ADHD and a wide range of executive dysfunctions in both groups.
Structural marginalisation among the long-term care workforce in England: evidence from mixed-effect models of national pay data
Authors: HUSSEIN SHEREEN , MANTHORPE JILL 
Published: August 2012

ABSTRACTThe long-term care sector is generally characterised by low pay and difficult working conditions. Understanding pay structures and differentials within this sector is important in enhancing recruitment, retention, quality of care and productivity. This article uses new national data on the long-term care workforce in England to investigate employer and individual effects on pay levels and differentials, using mixed-effects modelling controlling for region, sector and employer hierarchical factors. We further examine whether gender and ethnic pay gaps exist among different groups of workers. The results indicate a significant relationship between sector and pay across different job roles. The analysis further identifies ethnic and gender pay differences even after controlling for the effects of sector and individual employers. The implications of this are discussed in relation to sustaining the care workforce in the context of an ageing society and the potential for structural employment marginalisation to reflect the marginalisation of older people receiving care.
Age-training gaps in the European Union
Authors: CARMICHAEL FIONA , ERCOLANI MARCO G. 
Published: August 2012

ABSTRACTThis paper examines the relationship between age and training in the 15 European Union countries (EU-15) that were member states prior to the 2004 enlargement. The analysis is carried out using European Union Labour Force Survey data. We report cross-country comparisons of the training undertaken by older people (aged 50–64) and younger people (aged 20–49). We extend previous research by adding an analysis of the training undertaken by non-workers as well as that of workers. We also consider whether training is work-related, whether it is undertaken during normal work-hours and the time spent in training. Our results show that across the EU-15 not only are older people less likely to participate in training in general but, more importantly, they are less likely to participate in work-related training. Our evidence suggests that there is considerable scope for raising the training rates of older people and particularly older people who are out of work.
Weak Cayley tables and generalized centralizer rings of finite groups
Authors: HUMPHRIES STEPHEN P. , RODE EMMA L. 
Published: August 2012

AbstractFor a finite groupGwe study certain rings(k)Gcalledk-S-rings, one for eachk≥ 1, where(1)Gis the centraliser ringZ(ℂG) ofG. These rings have the property that(k+1)Gdetermines(k)Gfor allk≥ 1. We study the relationship of(2)Gwith the weak Cayley table ofG. We show that(2)Gand the weak Cayley table together determine the sizes of the derived factors ofG(noting that a result of Mattarei shows that(1)G=Z(ℂG) does not). We also show that(4)GdeterminesGfor any groupGwith finite conjugacy classes, thus giving an answer to a question of Brauer. We give a criteria for two groups to have the same 2-S-ring and a result guaranteeing that two groups have the same weak Cayley table. Using these results we find a pair of groups of order 512 that have the same weak Cayley table, are a Brauer pair, and have the same 2-S-ring.
Research on encouraging sketching in engineering design
Authors: Schmidt Linda C. , Hernandez Noe Vargas , Ruocco Ashley L. 
Published: August 2012

AbstractThe value of sketching in engineering design has been widely documented. This paper reviews trends in recent studies on sketching in engineering design and focuses on the encouragement of sketching. The authors present three experimental studies on sketching that look at (1) sketching assignments and their motivation, (2) the impact of a sketching lesson, and (3) the use of Smartpen technology to record sketching; overall these studies address the research question: Can sketching frequency be influenced in engineering education? Influencing sketching frequency is accomplished through motivation, learning, and use of technology for sketching, respectively. Results indicate that these three elements contribute to the encouragement of sketching in engineering design.
RATA.Gesture: A gesture recognizer developed using data mining
Authors: Chang Samuel Hsiao-Heng , Blagojevic Rachel , Plimmer Beryl 
Published: August 2012

AbstractAlthough many approaches to digital ink recognition have been proposed, most lack the flexibility and adaptability to provide acceptable recognition rates across a variety of problem spaces. This project uses a systematic approach of data mining analysis to build a gesture recognizer for sketched diagrams. A wide range of algorithms was tested, and those with the best performance were chosen for further tuning and analysis. Our resulting recognizer, RATA.Gesture, is an ensemble of four algorithms. We evaluated it against four popular gesture recognizers with three data sets; one of our own and two from other projects. Except for recognizer–data set pairs (e.g., PaleoSketch recognizer and PaleoSketch data set) the results show that it outperforms the other recognizers. This demonstrates the potential of this approach to produce flexible and accurate recognizers.
Systematic abstraction of abstract machines
Authors: VAN HORN DAVID , MIGHT MATTHEW 
Published: August 2012

AbstractWe describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines for higher-order and imperative programming languages. To demonstrate the technique and support our claim, we transform the CEK machine of Felleisen and Friedman (Proc. of the 14th ACM SIGACT-SIGPLAN Symp. Prin. Program. Langs, 1987, pp. 314–325), a lazy variant of Krivine's machine (Higher-Order Symb. Comput. Vol 20, 2007, pp. 199–207), and the stack-inspecting CM machine of Clements and Felleisen (ACM Trans. Program. Lang. Syst. Vol 26, 2004, pp. 1029–1052) into abstract interpretations of themselves. The resulting analyses bound temporal ordering of program events; predict return-flow and stack-inspection behavior; and approximate the flow and evaluation of by-need parameters. For all of these machines, we find that a series of well-known concrete machine refactorings, plus a technique of store-allocated continuations, leads to machines that abstract into static analyses simply by bounding their stores. These machines are parameterized by allocation functions that tune performance and precision and substantially expand the space of analyses that this framework can represent. We demonstrate that the technique scales up uniformly to allow static analysis of realistic language features, including tail calls, conditionals, mutation, exceptions, first-class continuations, and even garbage collection. In order to close the gap between formalism and implementation, we provide translations of the mathematics as running Haskell code for the initial development of our method.
Every bit counts: The binary representation of typed data and programs
Authors: KENNEDY ANDREW J. , VYTINIOTIS DIMITRIOS 
Published: August 2012

AbstractWe show how the binary encoding and decoding of typed data and typed programs can be understood, programmed and verified with the help of question–answer games. The encoding of a value is determined by the yes/no answers to a sequence of questions about that value; conversely, decoding is the interpretation of binary data as answers to the same question scheme. We introduce a general framework for writing and verifying game-based codecs. We present games in Haskell for structured, recursive, polymorphic and indexed types, building up to a representation of well-typed terms in the simply-typed λ-calculus with polymorphic constants. The framework makes novel use of isomorphisms between types in the definition of games. The definition of isomorphisms together with additional simple properties make it easy to prove that codecs derived from games never encode two distinct values using the same code, never decode two codes to the same value and interpret any bit sequence as a valid code for a value or as a prefix of a valid code. Formal properties of the framework have been proved using the Coq proof assistant.
Fortifying macros
Authors: CULPEPPER RYAN 
Published: August 2012

AbstractExisting macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of the specification and thus produce low-quality language extensions. If they choose robustness, they must write in a style that mingles the implementation with the specification and therefore obscures the latter. This paper introduces a new language for writing macros. With the new macro system, programmers naturally write robust language extensions using easy-to-understand specifications. The system translates these specifications into validators that detect misuses—including violations of context-sensitive constraints—and automatically synthesize appropriate feedback, eliminating the need for ad hoc validation code.