bluuebunny/crossref_metadata_2025_split huggingface dataset:
LusRegTes: A Regression Testing Tool for Lustre Programs
Authors: Binh Nguyen Thanh , Duy Trinh Cong , Parissis Ioannis 
Published: October 2017

Lustre is a synchronous data-flow declarative language widely used for safety-critical applications (avionics, energy, transport...). In such applications, the testing activity for detecting errors of the system plays a crucial role. During the development and maintenance processes, Lustre programs are often evolving, so regression testing should be performed to detect bugs. In this paper, we present a tool for automatic regression testing of Lustre programs. We have defined an approach to generate test cases in regression testing of Lustre programs. In this approach, a Lustre program is represented by an operator network, then the set of paths is identified and the path activation conditions are symbolically computed for each version. Regression test cases are generated by comparing paths between versions. The approach was implemented in a tool, called LusRegTes, in order to automate the test process for Lustre programs.
250 MHz Multiphase Delay Locked Loop for Low Power Applications
Authors: Suman Shruti , Sharma K. G. , Ghosh P. K. 
Published: October 2017

Delay locked loop is a critical building block of high speed synchronous circuits. An improved architecture of amixed signaldelay locked loop (DLL) is presented here. In this DLL, delay cell based on single ended differential pair configuration is used for voltage controlled delay line (VCDL) implementation. This delay cell provides a high locking range with less phase noise and jitter due to differential pair configuration.For increasing the acquisition range and locking speed of the DLL, modified true single phase clock (TSPC) based phase frequency detector is used. The proposed design is implemented at 0.18 <em>um </em>CMOS technology and at power supply of 1.8<em>V </em>. It has power consumption of 1.39 <em>mW </em>at 125 <em>MHz</em> center frequency with locking range from 0.5 <em>MHz</em> to 250 <em>MHz.</em>
Solving Course Selection Problem by a Combination of Correlation Analysis and Analytic Hierarchy Process
Authors: Al-Sarem Mohammed 
Published: October 2017

<p>In the universities where students have a chance to select and enroll in a particular course, they require special support to avoid the wrong combination of courses that might lead to delay their study. Analysis shows that the students' selection is mainly influenced by list of factors which we categorized them into three groups of concern: course factors, social factors, and individual factors. This paper proposed a two-phased model where the most correlated courses are generated and prioritized based on the student preferences. At this end, we have applied the multi-criteria analytic hierarchy process (MC-AHP) in order to generate the optimum set of courses from the available courses pool. To validate the model, we applied it to the data from students of the Information System Department at Taibah University, Kingdom of Saudi Arabia. </p>
The Response of an Idealized Atmosphere to Localized Tropical Heating: Superrotation and the Breakdown of Linear Theory
Authors: Lutsko Nicholas J. 
Published: October 2017

An equatorial heat source mimicking the strong diabatic heating above the west Pacific is added to an idealized, dry general circulation model. For small (<0.5 K day−1) heating rates the responses closely match the expectations from linear Matsuno–Gill theory, though the amplitudes of the responses increase sublinearly. This “linear” regime breaks down for larger heating rates and it is found that this is because the stability of the tropical atmosphere increases. At the same time, the equatorial winds increasingly superrotate. This superrotation is driven by stationary eddy momentum fluxes by the waves excited by the heating and is damped by the vertical advection of low-momentum air by the mean flow and, at large heating rates, by the divergence of momentum by transient eddies. These dynamics are explored in additional experiments in which the equator-to-pole temperature gradient is varied. Very strong superrotation is produced when a large heating rate is applied to a setup with a relatively weak equator-to-pole temperature gradient, though there is no evidence that this is a case of “runaway” superrotation.
A Simple Nonlinear and End-Member-Free Approach for Obtaining Ocean Remineralization Patterns
Authors: De La Fuente Patricia , Pelegrí Josep L. , Canepa Antonio , Gasser Marc , Domínguez Francisco , Marrasé Cèlia 
Published: October 2017

AbstractThe variability of a biogeochemical property in the ocean is the outcome of both nonconservative (such as respiration and photosynthesis) and conservative (mixing of water masses with distinct concentrations at origin) processes. One method to separate both contributions is based on a multiple regression of the biogeochemical property in terms of temperature θ and salinity S as conservative proxies of water masses. This regression delivers the variability related to the conservative fraction and hence allows for identifying the residual as the biogeochemical anomaly. Here, the standard multiple linear regression (MLR) method, which assumes that water masses mix locally and linearly, is compared with a nonlinear polynomial regression (PR) over the entire (θ, S) space. The PR method has two important advantages over MLR: allows for simultaneous nonlinear mixing of all water masses and does not require knowing the end-member water types. Both approaches are applied to data along 7.5°N in the equatorial Atlantic Ocean, and the biogeochemical anomalies are calculated for humic-like fluorescent dissolved organic matter, apparent oxygen utilization, and nitrate—all of them related through in situ remineralization processes. The goodness of both approaches is assessed by analyzing the linear dependence and the coefficient of correlation between the anomalies. The results show that the PR method can be applied over the entire water column and yet retains the local variability associated with nonconservative processes. The potential of the PR approach is also illustrated by calculating the oxygen–nitrate stoichiometric ratio for the entire 7.5°N transatlantic section.
Retail Sugar From One Zambian Community Does Not Meet Statutory Requirements for Vitamin A Fortification
Authors: Greene Matthew D. , Kabaghe Gladys , Musonda Mofu , Palmer Amanda C. 
Published: October 2017

Background: Industrial food fortification is a major strategy to improve dietary micronutrient intakes and prevent deficiencies. Zambia introduced mandatory sugar fortification with vitamin A, at a target of 10 mg/kg, in 1998. Representative surveys conducted since that time do not support marked improvement in vitamin A status. Objective: To describe vitamin A concentrations in retail sugar, as well as vendor practices, perceptions of fortified foods, and sugar use practices. Methods: We conducted a census of sugar vendors in one Zambian community, capturing information on vendors, available brands and packaging options, and storage conditions. We purchased all brands and package types of sugar available at each vendor. In a 15% subsample, we conducted semi-structured interviews with vendor–consumer pairs. We tested 50% of sugar samples at random for vitamin A using an iCheck portable fluorimeter. Results: The distribution of vitamin A in sugar in market samples was highly skewed, with a median of 3.1 mg/kg (25th-75th percentiles: 1.8-5.5) and a range from 0.2 to 29.9 mg/kg. Only 11.3% of samples met the 10 mg/kg statutory requirement. Sugar was primarily repackaged and sold in small quantities, with rapid turnover of stocks. Perceptions of fortification by vendors and consumers were generally positive. Conclusions: Vitamin A in fortified sugar fell well below statutory requirements. Our data point to challenges at regional depot and/or poor adherence to fortification standards at the factory level. A renewed commitment to monitoring and enforcement will be required for Zambia to benefit from a food fortification strategy.
Association between patient outcomes and key performance indicators of stroke care quality: A systematic review and meta-analysis
Authors: Urimubenshi Gerard , Langhorne Peter , Cadilhac Dominique A , Kagwiza Jeanne N , Wu Olivia 
Published: October 2017

Purpose Translating research evidence into clinical practice often uses key performance indicators to monitor quality of care. We conducted a systematic review to identify the stroke key performance indicators used in large registries, and to estimate their association with patient outcomes. Method We sought publications of recent (January 2000–May 2017) national or regional stroke registers reporting the association of key performance indicators with patient outcome (adjusting for age and stroke severity). We searched Ovid Medline, EMBASE and PubMed and screened references from bibliographies. We used an inverse variance random effects meta-analysis to estimate associations (odds ratio; 95% confidence interval) with death or poor outcome (death or disability) at the end of follow-up. Findings We identified 30 eligible studies (324,409 patients). The commonest key performance indicators were swallowing/nutritional assessment, stroke unit admission, antiplatelet use for ischaemic stroke, brain imaging and anticoagulant use for ischaemic stroke with atrial fibrillation, lipid management, deep vein thrombosis prophylaxis and early physiotherapy/mobilisation. Lower case fatality was associated with stroke unit admission (odds ratio 0.79; 0.72–0.87), swallow/nutritional assessment (odds ratio 0.78; 0.66–0.92) and antiplatelet use for ischaemic stroke (odds ratio 0.61; 0.50–0.74) or anticoagulant use for ischaemic stroke with atrial fibrillation (odds ratio 0.51; 0.43–0.64), lipid management (odds ratio 0.52; 0.38–0.71) and early physiotherapy or mobilisation (odds ratio 0.78; 0.67–0.91). Reduced poor outcome was associated with adherence to swallowing/nutritional assessment (odds ratio 0.58; 0.43–0.78) and stroke unit admission (odds ratio 0.83; 0.77–0.89). Adherence with several key performance indicators appeared to have an additive benefit. Discussion Adherence with common key performance indicators was consistently associated with a lower risk of death or disability after stroke. Conclusion Policy makers and health care professionals should implement and monitor those key performance indicators supported by good evidence.
Extracellular fluid tonicity impacts sickle red blood cell deformability and adhesion
Authors: Carden Marcus A. , Fay Meredith E. , Lu Xinran , Mannino Robert G. , Sakurai Yumiko , Ciciliano Jordan C. , Hansen Caroline E. , Chonat Satheesh , Joiner Clinton H. , Wood David K. , Lam Wilbur A. 
Published: October 2017

Key Points
Intravenous fluids are used when treating VOE, but guidelines are lacking, and how IVF tonicity affects sickle red cell biomechanics is unknown. Modifying extracellular fluid tonicity alters deformability, adhesivity, and occlusion risk for sRBCs in microfluidic vascular models.
Common best proximity point theorem for multivalued mappings in partially ordered metric spaces
Authors: Pragadeeswarar V , Poonguzali G , Marudai M , Radenović Stojan 
Published: October 2017

AbstractIn this paper, we prove the existence of a common best proximity point for a pair of multivalued non-self mappings in partially ordered metric spaces. Also, we provide some interesting examples to illustrate our main results.
Lamotrigine-induced sexual dysfunction and non-adherence: case analysis with literature review
Authors: Kaufman Kenneth R. , Coluccio Melissa , Sivaraaman Kartik , Campeas Miriam 
Published: October 2017

BackgroundOptimal anti-epileptic drug (AED) treatment maximises therapeutic response and minimises adverse effects (AEs). Key to therapeutic AED treatment is adherence. Non-adherence is often related to severity of AEs. Frequently, patients do not spontaneously report, and clinicians do not specifically query, critical AEs that lead to non-adherence, including sexual dysfunction. Sexual dysfunction prevalence in patients with epilepsy ranges from 40 to 70%, often related to AEDs, epilepsy or mood states. This case reports lamotrigine-induced sexual dysfunction leading to periodic non-adherence.AimsTo report lamotrigine-induced sexual dysfunction leading to periodic lamotrigine non-adherence in the context of multiple comorbidities and concurrent antidepressant and antihypertensive pharmacotherapy.MethodCase analysis with PubMed literature review.ResultsA 56-year-old male patient with major depression, panic disorder without agoraphobia and post-traumatic stress disorder was well-controlled with escitalopram 20 mg bid, mirtazapine 22.5 mg qhs and alprazolam 1 mg tid prn. Comorbid conditions included complex partial seizures, psychogenic non-epileptic seizures (PNES), hypertension, gastroesophageal reflux disease and hydrocephalus with patent ventriculoperitoneal shunt that were effectively treated with lamotrigine 100 mg tid, enalapril 20 mg qam and lansoprazole 30 mg qam. He acknowledged non-adherence with lamotrigine secondary to sexual dysfunction. With lamotrigine 300 mg total daily dose, he described no libido with impotence/anejaculation/anorgasmia. When off lamotrigine for 48 h, he described becoming libidinous with decreased erectile dysfunction but persistent anejaculation/anorgasmia. When off lamotrigine for 72 h to maximise sexual functioning, he developed auras. Family confirmed patient's consistent monthly non-adherence for 2–3 days during the past year.ConclusionsSexual dysfunction is a key AE leading to AED non-adherence. This case describes dose-dependent lamotrigine-induced sexual dysfunction with episodic non-adherence for 12 months. Patient/clinician education regarding AED-induced sexual dysfunction is warranted as are routine sexual histories to ensure adherence.
Increased IRS2 mRNA Expression in SGA Neonates: PCR Analysis of Insulin/IGF Signaling in Cord Blood
Authors: Fujimoto Masanobu , Sonoyama Yuki Kawashima , Fukushima Kenji , Imamoto Aya , Miyahara Fumiko , Miyahara Naoki , Nishimura Rei , Yamada Yuko , Miura Mazumi , Adachi Kaori , Nanba Eiji , Hanaki Keiichi , Kanzaki Susumu 
Published: October 2017

AbstractContextHypoglycemia is the most common metabolic problem among small-for-gestational-age (SGA) neonates. However, the pathological mechanism and insulin/ insulin-like growth factor (IGF) signaling axis in neonates remain unknown.ObjectiveTo determine the insulin/IGF axis in neonates, we analyzed the messenger RNA (mRNA) expression of insulin/IGF signaling in fetal umbilical cord blood.SettingThe Perinatal Medical Center of Tottori University Hospital.ParticipantsFifty-two [42 appropriate-for-gestational-age (AGA) and 10 SGA] neonates.InterventionsImmediately collected cord blood was placed into a PAXgene Blood RNA Tube. Total RNA from the blood was purified using reagents provided in the PAXgene Blood RNA Kit within 4 days, and reverse transcription polymerase chain reaction (PCR) was performed.Main Outcome MeasureQuantitative real-time PCR analysis was applied to evaluate the mRNA expression of insulin receptor (INSR), IGF-I receptor (IGF1R), insulin receptor substrate 1 (IRS1), IRS2, and glucose transporters (SLC2A2 and SLC2A4). β-Actin was used as a control gene.ResultsSerum glucose and IGF-I levels in SGA neonates were significantly lower. The cord serum insulin levels were similar between AGA and SGA neonates. The IRS2 mRNA expression was significantly higher in SGA than in AGA neonates (P &lt; 0.05). The IRS2 mRNA expression was significantly higher in hypoglycemic SGA neonates than in normoglycemic SGA neonates.ConclusionsWe determined that intrauterine growth restriction induces increased IRS2 mRNA expression in cord blood, without hyperinsulinemia. The increased expression of IRS2 mRNA might be associated with abnormal glucose metabolism in SGA neonates. Our findings might lead to the elucidation of abnormal glucose metabolism in SGA neonates.
Foreword
Authors: Ryan Claire , Burcombe Russell , Coleby Tracey 
Published: October 2017

Delivering multifaceted, quality care to women living with metastatic breast cancer (MBC) demands professional competence and an advanced level of practice. The breast cancer nursing community is evolving to meet this need as more nurses are appointed specifically for the advanced disease setting, while nurses who previously worked only in early stage disease are now delivering care across the disease trajectory, fulfilling a ‘diagnosis to death’ nursing model.The MBC nursing community, linked by UK charity Breast Cancer Care and the Roche Nursing Matters programme, offers forums for learning, and provides ongoing support to this group of nurses. This supplement has been commissioned by Roche Products Ltd to continue supporting nurses who treat patients with MBC by sharing learning and best practice, with a view to encouraging innovation in service delivery.
THE INNOVATIVE POLICY OPTIONS FOR COASTAL FISHERIES ECONOMIC DEVELOPMENT: A CASE OF KWANDANG BAY COASTAL ECOSYSTEM
Authors: Moore Noel Taylor 
Published: October 2017

<p><em>Socio-environmental problems, such as climate change, pollution and habitat destruction, present serious challenges for fisheries economic development. The integration of interventions or investments within a coastal marine ecosystem, a defined spatial area, is considered important in the economic development of local communities leading to the planned outcomes of livelihoods, food security and conservation The coastal marine ecosystem, is the provider of products and services to the local economy adjacent to the ecosystem</em><em> where the benefit flows, within that area, are interconnected</em><em>. The roles of science, technology and innovation (STI) are an integral part of these multi-dimensional interventions. </em><em>H</em><em>ence the need for an integrated approach for these interventions by government and/or through donor funded projects to enhance economic development of coastal communities. The policy framework proposed is therefore an STI perspective of the links between these intervention and investment options, based on a ‘fisheries economic development Hub’ (Hub) and discussed using the multi-level perspective (MLP). The policy innovation proposal suggests an implementation strategy of a pilot project and analyses the selection and implications of a potential Indonesian site for the application of the Hub. This paper aims to introduce the MLP into the framework of coastal community-based fisheries economic development.</em></p><p><strong><em> </em></strong></p><p><em>Key words: policy innovation. coastal marine ecosystem, fisheries economic development Hub, value chains, multi-level perspective (MLP)</em></p>
The Digital Archaeology Collection on ScienceOpen
Authors: Hagmann Dominik 
Published: October 2017

This collection on ScienceOpen is meant to provide an overview of state-of-the-art contributions to the wide field of digital archaeology. Digital archaeology deals with the implementation of tools, methods, and theories derived from information and communications technology in archaeology and can thereby be seen as some kind of metascience which correlates to all different subdisciplines in the whole field of archaeology (such as Mesoamerican, classical, or post-medieval archaeology).
Within this bibliography, popular articles focusing on this topic as well as highly specialized papers on single aspects are provided, trying to deliver a holistic collection of papers on digital archaeology. The editor continuously tries to keep this collection up to date. Due to technical limitations only journal articles are currently supported.
Antioxidant activities, anticancer activity and polyphenolics profile, of leaf, fruit and stem extracts of Pistacia lentiscus from Tunisia
Authors: Yemmen M. , Landolsi A. , Ben Hamida J. , Mégraud F. , Trabelsi Ayadi M. 
Published: October 2017

Plant derived compounds have played an important role in the development of several clinically useful anticancer drugs. The aim of the present study was 1) to evaluate for the first time the anti-proliferative activity of a polyphenol enriched extract obtained from leaf, fruit and stem of Tunisian variety of Pistacia lentiscus against two cultured cancer cells, and 2) to carry out a phytochemical analysis of vegetable extracts particularly by determining the chemical composition of phenolics (total polyphenols, flavonoids and condensed tannins content in solvents with varying polarities), 3) to evaluate the antioxidant activity and identify the major compounds by RP-HPLC. Leaf extract using methanol/water (8:2) showed the highest polyphenol content (124.1 mg GAE/g DW). Moreover, total antioxidant capacity, reducing power and antiradical capacities against DPPH were maximal in leaf extracts with IC50 significantly lower than that standard (BHT). In MTT assay, methanol (8:2) extract exerted the most potent cytotoxic effect. The leaf extract exhibited an important antiproliferative activity (IC50: 135.67 ± 2.5 and 250.45 ± 1.96 Î¼g/ml in CaCo2 and AGS cells respectively) but the infusion extracts of fruit stems and leaves were inactive. The RP-HPLC analysis revealed the presence of several phenolic compounds in P. lentiscus leaf, fruit and stem including tannic acid, gallic acid, digalloyl quinic acid derivative, quercetin and p-coumaric acid as major phenolics. The high phenolic content and the important antioxidant activities of P. lentiscus extract could be a useful source of natural products and may be increasingly important for human consumption, prevention of damages caused by oxygen free as well as for the agro-food, cosmetic and pharmaceutical industries.
Validation of the Theoretical Model of Determining the Strength of Cores Made by the Blowing Method
Authors: Dańko R. 
Published: October 2017

AbstractCore sands for blowing processes, belong to these sands in which small amount of the applied binding material has the ability of covering the sand matrix surface in a way which - at relatively small coating thickness - allows to achieve the high strength. Although the deciding factor constitute, in this aspect, strength properties of a binder, its viscosity and ability to moisten the matrix surface, the essential meaning for the strength properties of the prepared moulding sand and the mould has the packing method of differing in sizes sand grains with the coating of the binding material deposited on their surfaces.The knowledge of the influence of the compaction degree of grains forming the core on the total contact surface area can be the essential information concerning the core strength.Forecasting the strength properties of core sands, at known properties of the applied chemically hardened binder and the quartz matrix, requires certain modifications of the existing theoretical models. They should be made more realistic with regard to assumptions concerning grain sizes composition of quartz sands and the packing structure deciding on the active surface area of the contacts between grains of various sizes and - in consequence - on the final strength of cores.