bluuebunny/crossref_metadata_2025_split huggingface dataset:
Static analysis of JavaScript libraries in a scalable and precise way using loop sensitivity
Authors: Park Changhee , Lee Hongki , Ryu Sukyoung 
Published: October 2017

SummaryStatically analyzing JavaScript applications often requires an analysis of JavaScript libraries because many JavaScript applications use libraries. However, static analysis techniques for JavaScript are not yet ready for analyzing libraries in a scalable and precise manner. Simply loading JavaScript libraries uses various dynamic features of JavaScript, which cause static analyzers to suffer from mutually intermingled problems of scalability and imprecision. In this paper, we present a loop‐sensitive analysis (LSA) technique, which can improve the analysis scalability when analyzing JavaScript libraries by enhancing the analysis precision of loops. The LSA technique distinguishes loop iterations when loop conditions can be determined to be either true or false precisely. We formalize LSA in the abstract interpretation framework in the presence of tricky language features such as exceptions and prove its soundness and precision theorems using Coq. We evaluate our LSA implementation with the analysis results of programs that use 5 JavaScript libraries and show that LSA significantly improves the analysis scalability and precision of an existing JavaScript static analyzer when analyzing JavaScript libraries. In addition, using the configurability of LSA, we experimentally show the correlation between scalability and precision in the analysis of JavaScript libraries. We found that even the analysis of simple programs that just load jQuery, which is the most popular JavaScript library, in a scalable way requires distinguishing not only the last 4 functions being called but also 40 iterations in each loop with 2‐level nested loops at least. Both the mechanization and implementation of LSA are publicly available.
A pilot survey of farm animal welfare in Serbia, a country preparing for EU accession
Authors: Phythian Clare J. , Mullan Siobhan , Butterworth Andrew , Lambton Sarah , Ilić Jelena , Burazerović Jelena , Burazerović Elvir , Leach Katharine A. 
Published: October 2017

AbstractThe selection and field application of animal‐based welfare measures for pigs, sheep, dairy cows and broilers was the first step towards the future development of welfare improvement schemes for Serbia – a country that is applying for EU accession. The aim of this pilot study was to: (1) test the feasibility of a protocol for monitoring farm animal welfare in Serbia, (2) ascertain preliminary data on animal‐based outcomes of farm welfare and (3) gain insight into Serbian farmers’ understanding of animal welfare as part of a wider project working towards inclusion of animal‐based assessments in a ‘higher welfare’ voluntary assurance scheme. This study encompasses the first national survey of farm animal welfare in which animal‐based outcomes were tested on 105 farms by a total of ten trained assessors. Data on the views and aspirations of the farmers from these 105 farms were also systematically gathered during face‐to‐face interviews. Existing animal‐based measures for pigs, sheep, dairy cows and broilers that have been successfully applied and identified as valid, reliable and feasible measures in other countries, were found to be largely transferable. However, some on‐farm protocols, previously used in other countries, had to be shortened for logistical reasons when used in Serbia. Our findings suggest that further refinement may be needed in order to allow local application of all measures. While the term ‘animal welfare’ has only recently been introduced into the Serbian language, seventy‐three percent of farmers had heard of it. Overall, few positive associations were found between farmer satisfaction with animals’ living conditions and animal‐based data. Many farmers had aspirations to develop and expand their farms, which may potentially enhance animal welfare, but these farmers identified that financial and technical advice and support would be needed in order to achieve these goals.
Biostratigraphy and Depositional Environment of the Miocene Limestone Bed of Baripada, Mayurbhanj District, Odisha: Foraminiferal, Sedimentological and Bulk Organic Geochemical Evidences
Authors: Bhaaumik Ajoy K. , Paikray Joydeep , Dutta Jagadish , Mitra Arijit , Tiwari Devleena , Patil Dattatray J. 
Published: October 2017

ABSTRACT
Baripada Marine Beds (BMB) have been studied extensively in terms of its mega fossil content. However, not much has been discussed about the foraminiferal content and the organic matter assemblage in these beds. The fossiliferous sequence of BMB consists of sandstone, shale and limestone units. The present study is persued on the limestone unit of BMB. Foraminiferal, thin section and rock-eval pyrolysis studies were performed on the 33 surface samples collected from five sections of Jamdapal and Mukurmatia region along the Budhabalang river bank. Foraminifera are less abundant in the samples of Jamdapal, whereas Mukurmatia is comparatively rich. First appearance datum of Globorotalia menardii[ranges since middle Miocene (12.6 Ma); FAD at planktic foraminiferal zone N12] and last appearance datum of Neogloboquadrina continuosa [ranges between early Miocene (23.2 Ma) to late Miocene (8.3 Ma); FAD at planktic foraminiferal zone N4B and LAD at N16] together suggest that the limestone unit was deposited in between 12.6 to 8.3 Ma within the upper Miocene. Also, the association of shallow water benthic foraminifera (Species of Ammonia, Asterorotalia, Bolivina, Buliminella, Cibicides, Challengerella, Criboelphidium, Cribononion, Elphidium, Hanzawaia, Nonionella) and planktic foraminifera (Globigerina falcoensis, Globigerina woodi, Globorotalia menardii, Neogloboquadrina continuosa) together with oyster bank and shark teeth suggest deposition of limestone within well oxygenated, tropical, shallow water, open marine condition (within 40m water depth). Lithological and thin section studies together with global sea level fluctuation history advocate that upper Miocene marine transgression promoted the formation of this unit. Bulk organic geochemical data obtained by the rock-eval pyrolysis studies on selected samples indicate a low total organic carbon (TOC), with low hydrogen index (HI), high oxygen index (OI). The organic facies is characterised by type-IV kerogen with major contribution from near shore terrestrial plants. This also suggests deposition in shallow, oxygenated environments that did not promote significant accumulation and preservation of organic content in sediments.
Pain catastrophizing, perceived injustice, and pain intensity impair life satisfaction through differential patterns of physical and psychological disruption
Authors: Sturgeon John A. , Ziadni Maisa S. , Trost Zina , Darnall Beth D. , Mackey Sean C. 
Published: October 2017

Abstract

Background and purpose
Previous research has highlighted the importance of cognitive appraisal processes in determining the nature and effectiveness of coping with chronic pain. Two of the key variables implicated in appraisal of pain are catastrophizing and perceived injustice, which exacerbate the severity of pain-related distress and increase the risk of long-term disability through maladaptive behavioural responses. However, to date, the influences of these phenomena have not been examined concurrently, nor have they been related specifically to quality of life measures, such as life satisfaction.

Methods
Using data froman online survey of330 individuals with chronic pain, structural path modelling techniques were used to examine the independent effects of pain catastrophizing, perceived injustice, and average pain intensity on life satisfaction. Two potential mediators of these relationships were examined: depressive symptoms and pain-related interference.

Results
Results indicated that depressive symptoms fully mediated the relationship between pain catastrophizing and life satisfaction, and pain interference fully mediated the relationship between pain intensity and life satisfaction. Both depressive symptoms and pain interference were found to significantly mediate the relationship between perceived injustice and life satisfaction, but perceived injustice continued to demonstrate a significant and negative relationship with life satisfaction, above and beyond the other study variables.

Conclusions
The current findings highlight the distinct affective and behavioural mediators of pain and maladaptive cognitive appraisal processes in chronic pain, and highlight their importance in both perceptions of pain-related interference and longer-term quality of life.
Are there any collective nouns among lexical plurals in English?
Authors: Gardelle Laure 
Published: October 2017

AbstractThe grammatical tradition has excluded lexical plurals from the category of collective nouns on the sole basis of their morphology (no discrepancy between singular form and so-called plural reference); but this criterion has led to hesitations, some linguists including, for instance,cattleorpeople. This study therefore considers other, semantic, criteria to establish more convincingly whether lexical plurals that denote pluralities of entities may be collective nouns. Relying on distinctions between meronymy and (non-taxonomic) hyperonymy, collectiveness and cohesion, and(a) crew(collective sense) /(several) crew(uninflected plural), it concludes that they are definitely not collective nouns, but aggregate nouns (or senses of nouns). Two sets are established. Some, mainly denoting humans, typically originate in the collective sense of the noun through a coercion mechanism; the others, mainly denoting objects, result from an operation of abstraction. For some of these, the notion of “hyperonyms of plural classes” is put forward.
A lacustrine record of East Asian summer monsoon and atmospheric dust loading since the last interglaciation from Lake Xingkai, northeast China
Authors: Sun Weiwei , Shen Ji , Yu Shi-Yong , Long Hao , Zhang Enlou , Liu Enfeng , Chen Rong 
Published: October 2017

AbstractA 336-cm-long sediment core spanning the last 130 ka was recovered from Lake Xingkai on the northeastern margin of the East Asian summer monsoon domain to reveal the linkage between lacustrine depositional processes and environmental changes. Bayesian end member modeling analysis was conducted to partition and interpret the grain-size distributions of Lake Xingkai sediments. Our results suggest that the sedimentary system is characterized by three end members (EMs). EM1 and EM2, with a modal value of 13 and 10 μm, respectively, indicate the variation of local hydraulic conditions. EM3, with a modal value of 5 μm, reflects the background atmospheric dust loading. High atmospheric dust concentration generally occurred during Marine Isotope Stage (MIS) 5d, MIS 4, and early MIS 3, when the climate in the Asian dust source region was cold and dry. In contrast, low dust concentration prevailed during MIS 2, likely due to the southward shift of the westerlies driven by maximum ice volume in the high latitudes.
A maternal high-fat, high-sucrose diet alters insulin sensitivity and expression of insulin signalling and lipid metabolism genes and proteins in male rat offspring: effect of folic acid supplementation
Authors: Cuthbert Candace E. , Foster Jerome E. , Ramdath D. Dan 
Published: October 2017

AbstractA maternal high-fat, high-sucrose (HFS) diet alters offspring glucose and lipid homoeostasis through unknown mechanisms and may be modulated by folic acid. We investigated the effect of a maternal HFS diet on glucose homoeostasis, expression of genes and proteins associated with insulin signalling and lipid metabolism and the effect of prenatal folic acid supplementation (HFS/F) in male rat offspring. Pregnant Sprague–Dawley rats were randomly fed control (CON), HFS or HFS/F diets. Offspring were weaned on CON; at postnatal day 70, fasting plasma insulin and glucose and liver and skeletal muscle gene and protein expression were measured. Treatment effects were assessed by one-way ANOVA. Maternal HFS diet induced higher fasting glucose in offspringv. HFS/F (P=0·027) and down-regulation (P<0·05) of genes coding for v-Akt murine thymoma viral oncogene homolog 2, resistin and v-Raf-1 murine leukaemia viral oncogene homolog 1 (Raf1) in offspring skeletal muscle and acetyl-CoA carboxylase (Acaca), fatty acid synthase and phosphatidylinositol-4,5-biphosphate 3-kinase, catalytic subunitβin offspring liver. Skeletal muscle neuropeptide Y and hepatic Kruppel-like factor 10 were up-regulated in HFSv. CON offspring (P<0·05). Compared with CON,AcacaandRaf1protein expression levels were significantly lower in HFS offspring. Maternal HFS induced higher homoeostasis model of assessment index of insulin resistancev. CON (P=0·030) and HFS/F was associated with higher insulin (P=0·016) and lower glucose (P=0·025). Maternal HFS diet alters offspring insulin sensitivity andde novohepatic lipogenesis via altered gene and protein expression, which appears to be potentiated by folate supplementation.
A pathway to recovery: the Critically Endangered Sumatran tigerPanthera tigris sumatraein an ‘in danger’ UNESCO World Heritage Site
Authors: Pusparini Wulan , Batubara Timbul , Surahmat Fahrudin , Ardiantiono  , Sugiharti Tri , Muslich Muhammad , Amama Fahrul , Marthy William , Andayani Noviar 
Published: October 2017

AbstractReliable information on wildlife populations and the threats they face is crucial for assessing the performance of conservation strategies. As part of its efforts to improve the effectiveness of Bukit Barisan Selatan National Park in Sumatra, Indonesia, and aid the recovery of flagship species, the Park's management authority designated a 1,000 km2forest block an Intensive Protection Zone. To set a baseline from which to evaluate the performance of this zone, we investigated the density of tigersPanthera tigris sumatrae, and spatio-temporal interactions between tigers, their principle prey and threats. The estimated density of tigers was 2.8 per 100 km2, whereas in 2002 camera-trapping failed to record any tigers in the Intensive Protection Zone. We found the study area contained a rich prey base, with muntjac deerMuntiacus muntjak, macaquesMacaca nemestrinaand wild pigsSus scrofaoccupying 85–98% of the area, and sambarRusa unicolor61%. Despite these promising findings we also recorded a relatively high number of people entering the Park illegally, with 77 incidents over 6 months, of which 20% involved armed poachers. The poachers operated mainly at night and were concentrated in two locations. Law enforcement patrol teams were active during the day, and therefore had little overlap with the poachers. Prioritizing these at-risk areas for increased protection by rangers would further secure the Intensive Protection Zone, and expanding ranger activity across the Park would support efforts to remove the Park from UNESCO's List of World Heritage In Danger.
Numerical investigation of the influence of wavefront distortion on the laser near-field characteristics
Authors: Li S. , Lu Z. , Fan X. , Ding L. 
Published: October 2017

AbstractThe effect of the initial phase distortion of the laser on near-field transmission characteristics in free space is investigated both numerically and theoretically. It is demonstrated and proposed that the near-field modulation and fluence contrast of the output laser beam are changing with the increase of both spatial low- and high-frequency wavefront distortion. The simulation results show that in order to ensure the beam quality in propagation, the Fresnel number should be controlled not <50 generally and the wavefront distortion should also be minimized by controlling both low- and high-frequency phase coefficient not larger than 0.6.
Relationships between livestock grazing practices, disease risk, and antimicrobial use among East African Agropastoralists
Authors: Ahmed Haseeb , Call Douglas R. , Quinlan Robert J. , Yoder Jonathan K. 
Published: October 2017

AbstractLivestock health is economically important for agropastoral households whose wealth is held partly as livestock. Households can invest in disease prevention and treatment, but livestock disease risk is also affected by grazing practices that result in inter-herd contact and disease transmission in regions with endemic communicable diseases. This paper examines the relationships between communal grazing and antimicrobial use in Maasai, Chagga and Arusha households in northern Tanzania. We develop a theoretical model of the economic connection between communal grazing, disease transmission risk, risk perceptions, and antimicrobial use, and derive testable hypotheses about these connections. Regression results suggest that history of disease and communal grazing are associated with higher subjective disease risk and greater antimicrobial use. We discuss the implications of these results in light of the potential for relatively high inter-herd disease transmission rates among communal grazers and potential contributions to antimicrobial resistance due to antimicrobial use.
5 = 100: Long Live the “Filologicheskaia Revoliutsiia”
Authors: Fratto Elena 
Published: October 2017

In his pamphlet 5 = 100, published inKnizhnyi ugolin 1922, Boris Eikhenbaum looked back at the first few years of Formalist activity in parallel to the recent social and political upheavals, and compared the deep renovation that the OPOIAZ (Obshchestvo izucheniia poeticheskogo iazyka) circle was bringing about in the field of literary studies to the revolutions that had shaken and transformed the country in 1917. He defined the emergence of the Formal method as afilologicheskaia revoliutsiia. The correlation was not just a seductive metaphor, and not only did it gesture at the principle of the scholar as a public figure—one that the Russian Formalists, with their active participation and transformation of the cultural scene of their city and country, fully embodied. With this essay I aim to unpack Eikhenbaum's concept offilologicheskaia revoliutsiiain its manifold declensions—on the one hand, I will foreground the profound connections between the political turmoil of the late 1910s and the powerful recasting of methods and approaches that the Formalists brought about in the field of cultural studies; on the other, I will highlight the “permanent revolution” that their theories have set in motion by exploring their rich heritage a hundred years after 1917.
Multi-wavelength anomalous diffraction de novo phasing using a two-colour X-ray free-electron laser with wide tunability
Authors: Gorel Alexander , Motomura Koji , Fukuzawa Hironobu , Doak R. Bruce , Grünbein Marie Luise , Hilpert Mario , Inoue Ichiro , Kloos Marco , Kovácsová Gabriela , Nango Eriko , Nass Karol , Roome Christopher M. , Shoeman Robert L. , Tanaka Rie , Tono Kensuke , Joti Yasumasa , Yabashi Makina , Iwata So , Foucar Lutz , Ueda Kiyoshi , Barends Thomas R. M. , Schlichting Ilme 
Published: October 2017

AbstractSerial femtosecond crystallography at X-ray free-electron lasers (XFELs) offers unprecedented possibilities for macromolecular structure determination of systems prone to radiation damage. However, de novo structure determination, i.e., without prior structural knowledge, is complicated by the inherent inaccuracy of serial femtosecond crystallography data. By its very nature, serial femtosecond crystallography data collection entails shot-to-shot fluctuations in X-ray wavelength and intensity as well as variations in crystal size and quality that must be averaged out. Hence, to obtain accurate diffraction intensities for de novo phasing, large numbers of diffraction patterns are required, and, concomitantly large volumes of sample and long X-ray free-electron laser beamtimes. Here we show that serial femtosecond crystallography data collected using simultaneous two-colour X-ray free-electron laser pulses can be used for multiple wavelength anomalous dispersion phasing. The phase angle determination is significantly more accurate than for single-colour phasing. We anticipate that two-colour multiple wavelength anomalous dispersion phasing will enhance structure determination of difficult-to-phase proteins at X-ray free-electron lasers.
Breakdown of magnons in a strongly spin-orbital coupled magnet
Authors: Winter Stephen M. , Riedl Kira , Maksimov Pavel A. , Chernyshev Alexander L. , Honecker Andreas , Valentí Roser 
Published: October 2017

AbstractThe description of quantized collective excitations stands as a landmark in the quantum theory of condensed matter. A prominent example occurs in conventional magnets, which support bosonic magnons—quantized harmonic fluctuations of the ordered spins. In striking contrast is the recent discovery that strongly spin-orbital-coupled magnets, such as α-RuCl3, may display a broad excitation continuum inconsistent with conventional magnons. Due to incomplete knowledge of the underlying interactions unraveling the nature of this continuum remains challenging. The most discussed explanation refers to a coherent continuum of fractional excitations analogous to the celebrated Kitaev spin liquid. Here, we present a more general scenario. We propose that the observed continuum represents incoherent excitations originating from strong magnetic anharmonicity that naturally occurs in such materials. This scenario fully explains the observed inelastic magnetic response of α-RuCl3 and reveals the presence of nontrivial excitations in such materials extending well beyond the Kitaev state.
Microbial mineralization of cellulose in frozen soils
Authors: Segura Javier H. , Nilsson Mats B. , Haei Mahsa , Sparrman Tobias , Mikkola Jyri-Pekka , Gräsvik John , Schleucher Jürgen , Öquist Mats G. 
Published: October 2017

AbstractHigh-latitude soils store ~40% of the global soil carbon and experience winters of up to 6 months or more. The winter soil CO2 efflux importantly contributes to the annual CO2 budget. Microorganisms can metabolize short chain carbon compounds in frozen soils. However, soil organic matter (SOM) is dominated by biopolymers, requiring exoenzymatic hydrolysis prior to mineralization. For winter SOM decomposition to have a substantial influence on soil carbon balances it is crucial whether or not biopolymers can be metabolized in frozen soils. We added 13C-labeled cellulose to frozen (−4 °C) mesocosms of boreal forest soil and followed its decomposition. Here we show that cellulose biopolymers are hydrolyzed under frozen conditions sustaining both CO2 production and microbial growth contributing to slow, but persistent, SOM mineralization. Given the long periods with frozen soils at high latitudes these findings are essential for understanding the contribution from winter to the global carbon balance.
Curvature instability of chiral colloidal membranes on crystallization
Authors: Saikia Lachit , Sarkar Tanmoy , Thomas Meera , Raghunathan V. A. , Sain Anirban , Sharma Prerna 
Published: October 2017

AbstractBuckling and wrinkling instabilities are failure modes of elastic sheets that are avoided in the traditional material design. Recently, a new paradigm has appeared where these instabilities are instead being utilized for high-performance applications. Multiple approaches such as heterogeneous gelation, capillary stresses, and confinement have been used to shape thin macroscopic elastic sheets. However, it remains a challenge to shape two-dimensional self-assembled monolayers at colloidal or molecular length scales. Here, we show the existence of a curvature instability that arises during the crystallization of finite-sized monolayer membranes of chiral colloidal rods. While the bulk of the membrane crystallizes, its edge remains fluid like and exhibits chiral ordering. The resulting internal stresses cause the flat membrane to buckle macroscopically and wrinkle locally. Our results demonstrate an alternate pathway based on intrinsic stresses instead of the usual external ones to assemble non-Euclidean sheets at the colloidal length scale.