bluuebunny/crossref_metadata_2025_split huggingface dataset:
Interfacial potential approach for Ag/Si(111) interface
Authors: Liu Yong-Qiang , Song Hong-Quan , Shen Jiang 
Published: April 2016

By applying the Chen–Möbius inversion method, a concise formula is introduced to get the pair potentials of the Ag/Si(111) interface by inversion of the ab initio adhesive energies. The check shows that the inversed potentials are self-consistent. Then, by using the interfacial potentials obtained, we analyze the changes of the energy, stress and atomic structures, giving a detailed presentation of the fracture process about the Ag/Si(111) interface. Meanwhile, we know that there are three kinds of fracture mode. In this work, the fracture process is performed in mode II (shear).
Synthesis and characterization of NaAlSi2O6 jadeite under high pressure from 4.0 GPa to 5.5 GPa
Authors: Wang Fang Biao , Zuo Gui Hong , Wang Li Juan , Zheng You Jin , Jia Xiao Peng , Ma Hong An 
Published: April 2016

The method of high pressure and high temperature (HPHT) has been used for the synthesis of jadeite. Through this method, the NaAlSi2O6 jadeite can be obtained in the pressure range of 4.0–5.5 GPa. All the experimental results reveal that the microstructure and properties of synthetic jadeite resemble the natural jadeite very much. The research indicates that the crystallization temperature of the synthesized NaAlSi2O6 jadeite rises with the increase of the pressure, which will help in gaining a deep understanding on the origin of natural jadeite.
A Different Approach to Design Non-Isolated DC–DC Converters for Maximum Power Point Tracking in Solar Photovoltaic Systems
Authors: Verma Deepak , Nema S. , Shandilya A. M. 
Published: April 2016

Maximum power point tracking (MPPT) is an essential part of solar photovoltaic (PV) system to draw maximum available power which is generated by the solar PV. The concept of MPPT is based on maximum power transfer theorem. When the impedance of source is equal to the load impedance then only, source or solar PV delivers maximum power to the load. Impedance matching is done through DC–DC converter, whereas the duty cycle of the converter is decided by the MPPT algorithm. Nonetheless, DC–DC converter design is a key aspect in any tracking scheme, bulk of publications on MPPT are available in literature but very less information can be obtained on DC–DC converter design. Thus, the main focus of this paper is to provide an easy converter design procedure for MPPT in solar PV applications on the basis of solar panels impedance. In this paper, a step by step design of buck converter, boost converter and buck–boost converter particularly for MPPT applications is presented and results are verified through OPAL-RT OP4500 Real Time Simulator.
Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic
Authors: Dodds Mike , Jagannathan Suresh , Parkinson Matthew J. , Svendsen Kasper , Birkedal Lars 
Published: April 2016

Synchronization constructs lie at the heart of any reliable concurrent program. Many such constructs are standard (e.g., locks, queues, stacks, and hash-tables). However, many concurrent applications require custom synchronization constructs with special-purpose behavior. These constructs present a significant challenge for verification. Like standard constructs, they rely on subtle racy behavior, but unlike standard constructs, they may not have well-understood abstract interfaces. As they are custom built, such constructs are also far more likely to be unreliable.
This article examines the formal specification and verification of custom synchronization constructs. Our target is a library of channels used in automated parallelization to enforce sequential behavior between program statements. Our high-level specification captures the conditions necessary for correct execution; these conditions reflect program dependencies necessary to ensure sequential behavior. We connect the high-level specification with the low-level library implementation to prove that a client’s requirements are satisfied. Significantly, we can reason about program and library correctness without breaking abstraction boundaries.
To achieve this, we use a program logic called iCAP (impredicative Concurrent Abstract Predicates) based on separation logic. iCAP supports both high-level abstraction and low-level reasoning about races. We use this to show that our high-level channel specification abstracts three different, increasingly complex low-level implementations of the library. iCAP’s support for higher-order reasoning lets us prove that sequential dependencies are respected, while iCAP’s next-generation semantic model lets us avoid ugly problems with cyclic dependencies.
Letramento Infantil na Biblioteca Escolar: desenvolvendo habilidades básicas para futuros leitores competentes
Authors: Hommerding Nádia Maria dos Santos 
Published: April 2016

Este artigo busca relatar parte da experiência e aprendizado da autora atuando como bibliotecária no Sistema de Biblioteca Publicas de Miami Dade (MDPLS) em Miami, Estados Unidos. Apresenta o conceito de Letramento Infantil (Early Literacy) e as seis competências básicas para seu desenvolvimento em bebês e crianças de zero mês a seis anos de idade em relação aos hábitos de leitura e interação com os livros e biblioteca. Aponta para o importante e estratégico papel da biblioteca escolar e da integração de práticas profissionais entre bibliotecários e professores escolares quanto ao desenvolvimento de habilidades de leitura e escrita, considerando os conceitos de letramento e alfabetização, em leitores na primeira infância. Reconhece na biblioteca escolar, importante aliada no processo de criação e apropriação de hábitos de leitura, alem do desenvolvimento de opinião crítica nos pequenos cidadãos, quando apropriadamente incluída nos projetos pedagógicos da instituição de ensino
Intentional Fracture of Maximally Dilated Balloon-Expandable Pulmonary Artery Stents Using Ultra–High-Pressure Balloon Angioplasty
Authors: Morray Brian H. , McElhinney Doff B. , Marshall Audrey C. , Porras Diego 
Published: April 2016

Background—
Treatment with endovascular stents has become increasingly common for the management of vascular stenosis in congenital heart disease. The use of stents in smaller patients has been tempered by concerns about the potential for stent expansion to accommodate somatic growth. One solution to limited stent diameter is the intentional fracture of maximally dilated stents, which can be accomplished using ultra–high-pressure (UHP) balloons.

Methods and Results—
This retrospective cohort study compared procedural characteristics and adverse events between a cohort of patients with branch pulmonary artery (PA) stents who underwent stent fracture using UHP balloons and control patients who underwent UHP redilation of previously placed PA stents without stent fracture between 2004 and 2014. Two control patients were selected for every case. Thirty-three PA stents were fractured in 31 patients with a median of 10 years after initial stent placement. The median balloon:waist ratio was 1.17 (1–1.71), and the median inflation pressure was 20 (8–30) atm. There were significant reductions in pressure gradient after angioplasty, with no difference in postangioplasty gradients between cases and controls. There were no major PA complications in the stent fracture group and no difference in the number of adverse events between the 2 groups.

Conclusions—
In this small series, PA stent fracture using UHP balloon angioplasty was feasible and did not result in major complications although predictors of successful fracture were not identified. Intentional fracture with UHP balloon angioplasty may be considered when treating stents that have become restrictive despite maximal dilation.
And then came molecular phylogenetics—Reactions to a monographic study of Hypericum (Hypericaceae)
Authors: ROBSON NORMAN K.B. 
Published: April 2016

Completion of a detailed monograph of Hypericum using traditional methods has stimulated the publication of phylogenetic treatments of the genus using molecular methods. The relationships thereby revealed differ from those of the traditional account in several ways that are discussed here. A key point of conflict concerns taxa that share a specific set of morphological characters, i.e. the ‘Elodes’ syndrome (pseudotubular corolla, sterile stamen fascicles, stamen filaments ± united in the fascicle and sometimes petal appendages), which was found to be paraphyletic in each molecular study. The various groups with this syndrome were shown to have arisen from various parts of Hypericum, apparently suddenly, probably as the result of a genetic switch, the action of which can also be reversed. The formerly segregated genera with this floral syndrome should therefore all be re-incorporated in Hypericum. This necessitates the re-establishment of one section, namely Hypericum sect. Elodea, and recognition of two new sections within Hypericum, namely Hypericum sect. Lianthus and Hypericum sect. Thornea, which are proposed here. The remaining species have resolved in various places in recent molecular phylogenetic trees that differ from each other and from the classification adopted in the monograph. In particular, in molecular results the herbaceous species with ‘3’ (i.e. 2+2+1) stamen fascicles all form a single clade; whereas, in the traditional treatment adopted in the monograph, they form three distinct, distantly related groups. In light of recent molecular studies, Hypericum is now interpreted to comprise two distinct groups (respectively mainly Old World and mainly New World) that differ in the presence or absence of dark (hypericin-containing) glands and in the arrangement of the stamen fascicles. These two clades are described as subgenera, with the New World clade named Hypericum subgenus Brathys. By drawing attention to this grouping, the molecular work has improved on the monograph.
Trend Analysis and Forecast of Precipitation, Reference Evapotranspiration, and Rainfall Deficit in the Blackland Prairie of Eastern Mississippi
Authors: Feng Gary , Cobb Stacy , Abdo Zaid , Fisher Daniel K. , Ouyang Ying , Adeli Ardeshir , Jenkins Johnie N. 
Published: April 2016

AbstractTrend analysis and estimation of monthly and annual precipitation, reference evapotranspiration ETo, and rainfall deficit are essential for water-resources management and cropping-system design. Rainfall, ETo, and water-deficit patterns and trends at Macon in eastern Mississippi for a 120-yr period (1894–2014) were analyzed for annual, seasonal, and monthly periods. The analysis showed historical average annual rainfall, ETo, and dryness index (DI) in the location to be 1307 mm, 1210 mm, and 0.97, respectively. Monthly rainfall and ETo ranged from 72 to 118 mm and from 94 to 146 mm, respectively, between May and October, resulting in a monthly rain deficit from 22 to 62 mm. Annual rainfall showed an increasing trend of 1.17 mm yr−1 while annual ETo exhibited a decreasing trend of −0.51 mm yr−1, resulting in an annual DI reduction of 0.001 per year. Seasonal trends were found for rainfall in autumn (1.06 mm yr−1), ETo in summer (−0.29 mm yr−1) and autumn (−0.18 mm yr−1), and DI in autumn (−0.006). An autoregressive, integrated, and moving-average (ARIMA) approach was used to model monthly and annual rainfall, ETo, and DI and to predict those values in the future. Low values of the root-mean-square error (RMSE) and mean absolute error (with both statistics being normalized to the mean of the observed values), low values of average percent bias, and low values of the ratio of the RMSE to the standard deviation of observed data, along with values of 1.0 for Nash–Sutcliffe modeling efficiency and the index of agreement, all suggest that the performance of the models is acceptable. The ARIMA models forecast 1319 mm of mean annual rainfall, 1203 mm of mean annual ETo, and 0.82 of mean annual DI from 2015 to 2024. The results obtained from this research can guide development of water-management practices and cropping systems in the area that rely on this weather station. The approaches used and the models fitted in this study can serve as a demonstration of how a time series trend can be analyzed and a model fitted at other locations.
The CT Scan: Pitfalls and Posterior Fossa Cisternography
Authors: Luetje Charles M. 
Published: April 2016

A case of an inadequately enhanced 4‐cm acoustic tumor missed by initial CT scan and diagnosed six months later on a second, different CT scanner is reported. The most common pitfall in acoustic tumor diagnosis by CT scan is the inability to resolve tumors less than 1.5 cm. This necessitates a posterior fossa cisternogram. A method of tumor size classification based on CT scan and cisternography is proposed.
A Longitudinal Study of Cellular Changes in Experimental Otitis Media
Authors: Goycoolea Marcos V. , Paparella Michael M. , Carpenter Anna Mary , Juhn S. K. 
Published: April 2016

A longitudinal sequential study of otitis media in an experimental animal (cat) using eustachian tube obstruction was done. Fifty animals were used.The continuum of mucoperiosteal changes from one day to six months after obstruction revealed gradual changes that were similar for each animal. Stages were defined, and by using different staining techniques, including immunocytochemistry, an overall middle ear defense system was postulated and documented. Nonspecific as well as specific defense systems, including localized immunity, were described.Effusions were studied in a continuum, and their pathogenesis was discussed.
Unilateral Tonsillar Enlargement
Authors: Cortez Edwin A. , Mattox Douglas E. , Holt G. Richard , Gates George A. 
Published: April 2016

Unilateral tonsillar enlargement may result from infection, chronic inflammatory response, or neoplasm. Neoplasms that commonly produce a unilaterally enlarged tonsil include lymphomas (lymphocytic and histiocytic types) and squamous cell carcinomas. Rarer tumors include extramedullary plasmacytomas, Hodgkin's disease, leukemia, and metastatic neoplasms.Sixteen cases of unilateral tonsillar enlargement owing to causes other than squamous cell carcinoma are reviewed. When examining a patient with unilateral tonsillar enlargement, diagnosis of a neoplastic disease must be considered.
Fibromatosis Colli: A Case Report
Authors: McQueen William J. , Johnson Jonas T. , Edwards Paul A. 
Published: April 2016

Fibromatosis colli is a distinctive form of fibromatosis that develops in the sternocleidomastoid muscle of the newborn. When the diagnosis is certain, the treatment of choice is frequent passive stretching of the sternocleidomastoid muscle. Open tenotomy or excision of the mass may be needed if the problem persists beyond the age of 6 months. A case report is presented, and the literature is reviewed.
Prolapse of the Laryngeal Ventricle
Authors: Barnes David R. , Holinger Lauren D. , Pellettiere Edmund V. 
Published: April 2016

Many varied lesions may protrude into the laryngeal lumen from between the true and false vocal cords. These protrusions can be precisely diagnosed only by biopsy. Prolapse of the laryngeal ventricle is one of these lesions; it is a distinct clinicopathologic entity, a primary lesion unrelated to other laryngeal or systemic disease. Eversion of the ventricle (or saccule) is a similar protrusion that is secondary to pulsion or traction by an associated laryngeal lesion. Other lesions that may produce similar clinical findings and gross appearance include benign tumors, cysts, and, rarely, squamous cell carcinoma. Biopsy is therefore mandatory to plan rational treatment.A review of 26 patients who had been diagnosed as having prolapse resulted in the reclassification of 20 cases of prolapse and six cases of eversion. Prolapse is possibly unrelated etiologically to cough, or chronic laryngeal or respiratory tract infection. The histopathologic data suggest further that prolapse is a result of fatty infiltration, edema, and inflammation of the periventricular tissue above the ventricle, which cause the tissue to enlarge and protrude into the laryngeal lumen from between the true and false vocal cords.
Featuring the e-service quality of online website from a varied perspective
Authors: Chuang Huan-Ming , Chen You-Shyang , Lin Chyuan-Yuh , Yu Pei-Chih 
Published: April 2016

AbstractThe websites vigorously grow and inevitably need to provide consumers high-quality service to create excellent experience and win the customers’ heart to establish mutually beneficial and long-term relationship. Consequently, the e-service quality attracts priority-concerns. The research purpose differentiates three service quality models that make the effects on consumer loyalty-related behavior under e-service environment. Data were surveyed from online consumers to test the research model. Conclusively, the empirical results indicate: (1) service quality (SERVQUAL) model appears superior to quality of electronic service (QES) model and website performance index (WPI) model in explaining e-service quality; (2) service quality has significant positive effects on affective, continuance, and normative commitment; (3) affective commitment has significant positive effects on loyalty and advocacy intention; (4) normative commitment has significant effects on loyalty, advocacy intentions, and willingness to pay more; while continuance commitment does not have the same effects.
Toward a New, Musical Paradigm of Place: The Port River Symphonic of Chester Schultz
Authors: Ryan Robin 
Published: April 2016

AbstractIn privileging music as a focus for applied ecology, the goal of this essay is to deepen perspectives on the musical representation of land in an age of complex environmental challenge. As the metaphor driving public narration of environmental crises, the notion of Earth as our home—signified by the prefix “eco”—brings with it a critical expectation for the musical academy to retreat from bland talk about a “sense of place.” Based on the premise that damaged ecologies are a matter of concern to many people, Indigenous and Settler; and building on the late Val Plumwood's theory of “shadow” or “denied” places (Plumwood, 2008), the author introduces Within Our Reach: A Symphony of the Port River Soundscapes by anti-elitist South Australian composer Chester Schultz (b. 1945). Inspired by the tradition of R. Murray Schafer's performances for outdoor sites, Schultz predicated this niche symphony on the noise-polluting defoliation of Adelaide's “wetland wonder,” the Old Port Reach. Presented as a series of narrative soundscapes, the symphony harnesses the power of music, including popular genres, to engender a sense of local “belonging” to the Port. In an ecological subtext an Indigenous Elder sings in the re-awakening language of the Kaurna people who, in 1890, were evicted from their “nourishing terrain” (terminology after Rose, 1996) by the CSR Sugar Refinery. Schultz's ethical musical representation of local oral, natural and industrial history generates a benchmark opus for what shadow place composition might sound like in the modern global city.
A Space for Justice: Messianic Time in the Graphs of Climate Change
Authors: Callaway Elizabeth 
Published: April 2016

Abstract
This article turns toward scientific literature to consider the basic strategies used in presenting the temporality of climate change. While the majority of literary criticism argues that the experience of climate change is either apocalyptic or banal, the scientific graphs of the Intergovernmental Panel on Climate Change organize time in a way aligned with Giorgio Agamben's concept of messianic time. Like Agamben's messianic time, the figures of the IPCC depict a disjointed present. Every figure is either a reconstruction of past climate or a projection of future climate—never a reconstruction the past that moves through the present and projects the future. Crucially, it is this disjuncture at the present moment that perhaps leaves a space open for justice—a justice that reveals itself in a series of figures that exhibit an underlying ethical relationship to the past and future. As a literary analysis, this paper brings out new aspects of scientific figures. Instead of focusing on the data these graphs communicate, it reveals how formal choices in presentation affect meaning and how scientific figures structure, articulate, and inform our experience of time.
Uncharismatic Invasives
Authors: Clark Jonathan L. 
Published: April 2016

AbstractAlthough philosophers have examined the ethics of invasive species management, there has been little research approaching this topic from a descriptive, ethnographic perspective. In this article I examine how invasive species managers think about the moral status of the animals they seek to manage. I do so through a case study of Oregon's efforts to manage the invasive species that are rafting across the Pacific attached to tsunami debris in the wake of the Japanese tsunami of 2011. Focusing on the state's response to a dock that washed ashore on Agate Beach with various marine invertebrates attached to it, I argue that these animals' position on two intersecting scales of moral worth—the sociozoologic scale and the phylogenetic scale—rendered them unworthy of moral consideration.
Spillovers from Wiring Schools with Broadband: The Critical Role of Children
Authors: Belo Rodrigo , Ferreira Pedro , Telang Rahul 
Published: April 2016

Providing broadband to schools can be an effective way to foster household Internet adoption in neighboring areas. On the one hand, the infrastructure put into place to meet schools’ needs can also serve households. On the other hand, students get acquainted with the Internet at school and signal its usefulness to adults at home who, consequently, can be more likely to adopt it. In this paper, we model the roles that broadband use at school and Internet adoption in neighboring households play in the decision to adopt the Internet at home and measure their effects empirically. We use data from Portugal between 2006 and 2009 on household Internet penetration and on how much schools use broadband. We use two different sets of instruments for the schools’ broadband use to alleviate endogeneity concerns. Both approaches yield similar results. We find that broadband use at school leads to higher levels of Internet penetration in neighboring households. Broadband use in schools was responsible for a year-over-year increase of 3.5 percentage points on Internet penetration in households with children. Across our data set this effect accounts for about 17% of the increase in home Internet adoption. We also find evidence of regional spillovers in Internet adoption across households. These were roughly responsible for an increase of 2.1 percentage points in Internet penetration or 38% of the total increase in household Internet penetration between 2006 and 2009. These results show that wiring schools with broadband is an effective policy to lower the barriers for Internet adoption at home and as such contributes to accelerating the pace of broadband diffusion.This paper was accepted by Lorin Hitt, information systems.