bluuebunny/crossref_metadata_2025_split huggingface dataset:
Consistency-preserving refactoring of refinement structures in Event-B models
Authors: Kobayashi Tsutomu , Ishikawa Fuyuki , Honiden Shinichi 
Published: February 2019

Abstract
Event-B has been attracting much interest because it supports a flexible refinement mechanism that reduces the complexity of constructing and verifying models of complicated target systems by taking into account multiple abstraction layers of the models. Although most previous studies on Event-B focused on model construction, the constructed models need to be maintained. Moreover, parts of existing models are often reused to construct other models. In this paper, a method is introduced that improves the maintainability and reusability of existing Event-B models. It automatically reconstructs the refinement structure of existing models by constructing models about different sets of variables than that used in the original models, while maintaining the consistencies checked in the original models. The method automatically decomposes each refinement step into multiple steps by taking certain predicates from existing models and deriving additional predicates from the consistency conditions of existing models to create new models consistent with the original ones. By combining the decomposing of refinement steps with the composing of refinement steps, this method automatically restructures a refinement step in accordance with given sets of variables to be taken into account in refinement steps of the refactored models. The results of case studies in which large refinement steps in existing models were decomposed and existing models were restructured to extract reusable parts for constructing other models demonstrated that the proposed method facilitates effective use of the refinement mechanism of Event-B.
You are where you build: Hierarchy, Inequality, and Equalitarianism in Mandara Highland Architecture
Authors: Chétima Melchisedek 
Published: February 2019

Abstract:Ethnic groups living in the Mandara Mountains are assumed to be segmentary in structure, which is why scholarly literature portrays them as egalitarian societies. The configuration of the architectural landscape reveals a different reality. This article shows how the architectural landscapes of the Mandara Highlands are ideologically constructed to represent and legitimize hierarchies between clans and individuals. Physical entities appear as particular elements of social space, and as places socially constructed and tinged with ideologies. These fieldwork-based observations provide the foundation for interrogating the meaning of egalitarianism in African society.
Inhaled methoxyflurane for the reduction of acute anterior shoulder dislocation in the emergency department
Authors: Umana Etimbuk , Kelliher Josephine Hannah , Blom Christiaan Johannes , McNicholl Brian 
Published: February 2019

ABSTRACTObjectivesMethoxyflurane is an inhalation analgesic used in the emergency department (ED) but also has minimal sedative properties. The major aim of this study was to evaluate the success rate of methoxyflurane for acute anterior shoulder dislocation (ASD) reduction. The secondary aim was to assess the impact of methoxyflurane on ED patient flow compared to propofol.MethodsA health record review was performed for all patients presenting with ASD who underwent reduction with either methoxyflurane or propofol over a 13-month period (December 2016 – December 2017). The primary outcome was reduction success for methoxyflurane, while secondary outcomes such as recovery time and ED length of stay (LOS) were also assessed compared to propofol. Patients with fracture dislocations, polytrauma, intravenous, or intramuscular opioids in the pre-hospital setting, no sedation for reduction, and alternative techniques of sedation or analgesia for reduction were excluded.ResultsA total of 151 patients presented with ASD during the study period. Eighty-two patients fulfilled our inclusion criteria. Fifty-two patients had ASD reduction with propofol while 30 patients had methoxyflurane. Successful reduction was achieved in 80% (95% CI 65.69% to 94.31%) patients who used methoxyflurane. The median recovery time and ED LOS were 30 minutes [19.3-44] and 70.5 minutes [49.3-105], which was found to be shorter for the methoxyflurane group, who had successful reductions compared to sedation with propofol.ConclusionMethoxyflurane was used successfully in 30% of the 82 patients undergoing reduction for ASD, while potentially improving ED efficiency.
Paramedics providing palliative care at home: A mixed-methods exploration of patient and family satisfaction and paramedic comfort and confidence
Authors: Carter Alix J. E. , Arab Marianne , Harrison Michelle , Goldstein Judah , Stewart Barbara , Lecours Mireille , Sullivan James , Villard Carolyn , Crowell Wilma , Houde Katherine , Jensen Jan L. , Downer Kathryn , Pereira Jose 
Published: February 2019

ABSTRACTObjectiveParamedics Providing Palliative Care at Home was launched in two provinces, including a new clinical practice guideline, database, and paramedic training. The aim of this study was to evaluate patient/family satisfaction and paramedic comfort and confidence.MethodsIn Part A, we gathered perspectives of patients/families via surveys mailed at enrolment and telephone interviews after an encounter. Responses were reported descriptively and by thematic analysis. In Part B, we surveyed paramedics online pre- and 18 months post-launch. Comfort and confidence were scored on a 4-point Likert scale, and attitudes on a 7-point Likert scale, reported as the median (interquartile range [IQR]); analysis with Wilcoxon ranked sum/thematic analysis of free text.ResultsIn Part A, 67/255 (30%) enrolment surveys were returned. Three themes emerged: fulfilling wishes, peace of mind, and feeling prepared for emergencies. In 18 post-encounter interviews, four themes emerged: 24/7 availability, paramedic professionalism and compassion, symptom relief, and a plea for program continuation. Thematic saturation was reached with little divergence. In Part B, 235/1255 (18.9%) pre- and 267 (21.3%) post-surveys were completed. Comfort with providing palliative care without transport improved post launch (p = < 0.001) as did confidence in palliative care without transport (p = < 0.001). Respondents strongly agreed that all paramedics should be able to provide basic palliative care.ConclusionsAfter implementation of the multifaceted Paramedics Providing Palliative Care at Home Program, paramedics describe palliative care as important and rewarding. The program resulted in high patient/family satisfaction; simply registering provides peace of mind. After an encounter, families particularly noted the compassion and professionalism of the paramedics.
High damage threshold liquid crystal binary mask for laser beam shaping
Authors: Xia Gang , Fan Wei , Huang Dajie , Cheng He , Guo Jiangtao , Wang Xiaoqin 
Published: February 2019

In order to improve the damage threshold and enlarge the aperture of a laser beam shaper, photolithographic patterning technology is adopted to design a new type of liquid crystal binary mask. The inherent conductive metal layer of commercial liquid crystal electro-optical spatial light modulators is replaced by azobenzene-based photoalignment layers patterned by noncontact photolithography. Using the azobenzene-based photoalignment layer, a liquid crystal binary mask for beam shaping is fabricated. In addition, the shaping ability, damage threshold, write/erase flexibility and stability of the liquid crystal binary mask are tested. Using a 1 Hz near-IR (1064 nm) laser, the multiple-shot nanosecond damage threshold of the liquid crystal mask is measured to be higher than$15~\text{J}/\text{cm}^{2}$. The damage threshold of the azobenzene-based photoalignment layer is higher than$50~\text{J}/\text{cm}^{2}$under the same testing conditions.
Sex difference of the predictive value of BMI, waist circumference and percentage body fat mass for gallstone disease
Authors: Hsu Hsin-Yin , Huang Chun-Yuan , Hwang Lee-Ching 
Published: February 2019

AbstractGallstone disease (GSD) represents a significant health burden and is reported to be strongly related to obesity. This study examined the effect of sex on the association of BMI, waist circumference (WC) and percentage body fat mass (%FM) with GSD. We enrolled 15 671 middle-aged Taiwanese adults undergoing a physical check-up at a health examination centre. Multiple logistic regression analysis was conducted to identify the association of BMI, WC and %FM with the presence of GSD. AUC of the receiver–operating characteristic (ROC) curves were calculated for BMI, WC and %FM to compare their respective ability to correctly classify patients with GSD. From our findings, GSD prevalence was 8·1 % in men and 6·3 % in women. The percentage of markedly increased obesity indicators was significantly higher in patients with GSD than in those without GSD. Multivariate analysis showed that all obesity indicators were significant predictors of the presence of GSD in women after adjustment. In men, only BMI and WC were significantly associated with the presence of GSD. In the ROC curve analysis, BMI and WC were the best predictors of GSD risk in women and men, respectively. The obesity indicators better predicted the presence of GSD in women than in men. In conclusion, the best obesity indicator of GSD risk differed by sex. In addition to body weight, fat mass and central obesity were associated with GSD risk in women. In men, central obesity may play a more important role in predicting GSD risk.
On the Ideal Case of a Conjecture of Huneke and Wiegand
Authors: Celikbas Olgur , Goto Shiro , Takahashi Ryo , Taniguchi Naoki 
Published: February 2019

AbstractA conjecture of Huneke and Wiegand claims that, over one-dimensional commutative Noetherian local domains, the tensor product of a finitely generated, non-free, torsion-free module with its algebraic dual always has torsion. Building on a beautiful result of Corso, Huneke, Katz and Vasconcelos, we prove that the conjecture is affirmative for a large class of ideals over arbitrary one-dimensional local domains. Furthermore, we study a higher-dimensional analogue of the conjecture for integrally closed ideals over Noetherian rings that are not necessarily local. We also consider a related question on the conjecture and give an affirmative answer for first syzygies of maximal Cohen–Macaulay modules.
Dust vortices in a direct current glow discharge plasma: a delicate balance between ion drag and Coulomb force
Authors: Bose Sayak , Kaur M. , Chattopadhyay P. K. , Ghosh J. , Thomas Edward , Saxena Y. C. 
Published: February 2019

Dust vortices with a void at the centre are reported in this paper. The role of the spatial variation of the plasma potential in the rotation of dust particles is studied in a parallel plate glow discharge plasma. Probe measurements reveal the existence of a local potential minimum in the region of formation of the dust vortex. The minimum in the potential well attracts positively charged ions, while it repels the negatively charged dust particles. Dust rotation is caused by the interplay of the two oppositely directed ion drag and Coulomb forces. The balance between these two forces is found to play a major role in the radial confinement of the dust particles above the cathode surface. Evolution of the dust vortex is studied by increasing the discharge current from 15 to 20 mA. The local minimum of the potential profile is found to coincide with the location of the dust vortex for both values of discharge currents. Additionally, it is found that the size of the dust vortex as well as the void at the centre increases with the discharge current.
Retirement Expectations of Older Workers with Arthritis and Diabetes Compared with Those of Workers with No Chronic Diseases
Authors: Gignac Monique A.M. , Smith Peter M. , Ibrahim Selahadin , Kristman Vicki , Beaton Dorcas E. , Mustard Cameron A. 
Published: February 2019

RÉSUMÉLes plans de retraite des adultes atteints de maladies chroniques sont peu connus. Dans le cadre de cette étude, des travailleurs canadiens âgés de 50 à 67 ans provenant d’un regroupement national de 80 000 personnes (arthrite, n = 631 ; diabète, n = 286 ; arthrite et diabète, n = 111 ; aucune maladie chronique invalidante, n = 538) ont participé à une enquête transversale sur ce sujet. Les questions posées aux participants traitaient de l’âge prévu pour leur départ à la retraite, de leurs plans de travail futurs, de la possibilité d’un départ hâtif à la retraite et de la transition vers la retraite. Des analyses de khi-carré, de variance et des régressions ont permis d’évaluer les attentes et les facteurs qui y étaient associés. Les travailleurs souffrant d’arthrite et de diabète avaient des plans de retraite semblables à ceux des participants sains, malgré leurs problèmes de santé, et ces plans concordaient avec les attentes associées au fait de travailler jusqu’à un âge de retraite conventionnel. Toutefois, le nombre de répondants souffrant d’arthrite ou de diabète qui avaient prévu une retraite anticipée était plus élevé que celui des participants en bonne santé. Contrairement aux prévisions, la part de la variance associée aux facteurs liés à la santé était moindre que celle des autres facteurs en ce qui concerne les attentes en matière de retraite. Ces résultats mettent en lumière la complexité des attentes liées à la retraite et soulignent l’importance de l’adéquation personne-travail, malgré la présence de maladies.
Emotion regulation across the psychosis continuum
Authors: Chapman Hannah C. , Visser Katherine F. , Mittal Vijay A. , Gibb Brandon E. , Coles Meredith E. , Strauss Gregory P. 
Published: February 2019

AbstractEmotion regulation dysfunction is characteristic of psychotic disorders, but little is known about how the use of specific types of emotion regulation strategies differs across phases of psychotic illness. This information is vital for understanding factors contributing to psychosis vulnerability states and developing targeted treatments. Three studies were conducted to examine emotion regulation across phases of psychosis, which included (a) adolescent community members with psychotic-like experiences (PLEs; n = 262) and adolescents without PLEs (n = 1,226); (b) adolescents who met clinical high-risk criteria for a prodromal syndrome (n = 29) and healthy controls (n = 29); and (c) outpatients diagnosed with schizophrenia or schizoaffective disorder (SZ; n = 61) and healthy controls (n = 67). In each study, participants completed the Emotion Regulation Questionnaire and measures of psychiatric symptoms and functional outcome. The three psychosis groups did not differ from each other in reported use of suppression; however, there was evidence for a vulnerability-related, dose-dependent decrease in reappraisal. Across each sample, a lower use of reappraisal was associated with poorer clinical outcomes. Findings indicate that emotion regulation abnormalities occur across a continuum of psychosis vulnerability and represent important targets for intervention.
High acetylsalicylic acid dosing in infants after modified Blalock–Taussig shunt
Authors: Saini Arun , Joshi Ashwini D. , Cowan Krista M. , Wayne Gatewood Connor , Kumar Susheel T. K. , Allen Jerry , Shah Samir H. , Nouer Simonne S. , Jones Tamekia , Knott-Craig Christopher J. , Boston Umar S. 
Published: February 2019

AbstractObjectiveShunt-related adverse events are frequent in infants after modified Blalock–Taussig despite use of acetylsalicylic acid prophylaxis. A higher incidence of acetylsalicylic acid-resistance and sub-therapeutic acetylsalicylic acid levels has been reported in infants. We evaluated whether using high-dose acetylsalicylic acid can decrease shunt-related adverse events in infants after modified Blalock–Taussig.MethodsIn this single-centre retrospective cohort study, we included infants ⩽1-year-old who underwent modified Blalock–Taussig placement and received acetylsalicylic acid in the ICU. We defined acetylsalicylic acid treatment groups as standard dose (⩽7 mg/kg/day) and high dose (⩾8 mg/kg/day) based on the initiating dose.ResultsThere were 34 infants in each group. Both groups were similar in age, gender, cardiac defect type, ICU length of stay, and time interval to second stage or definitive repair. Shunt interventions (18 versus 32%, p=0.16), shunt thrombosis (14 versus 17%, p=0.74), and mortality (9 versus 12%, p=0.65) were not significantly different between groups. On multiple logistic regression analysis, single-ventricle morphology (odds ratio 5.2, 95% confidence interval of 1.2–23, p=0.03) and post-operative red blood cells transfusion ⩾24 hours [odds ratio 15, confidence interval of (3–71), p<0.01] were associated with shunt-related adverse events. High-dose acetylsalicylic acid treatment [odds ratio 2.6, confidence interval of (0.7–10), p=0.16] was not associated with decrease in these events.ConclusionsHigh-dose acetylsalicylic acid may not be sufficient in reducing shunt-related adverse events in infants after modified Blalock–Taussig. Post-operative red blood cells transfusion may be a modifiable risk factor for these events. A randomised trial is needed to determine appropriate acetylsalicylic acid dosing in infants with modified Blalock–Taussig.
The Uighur Word Materials in a Manuscript ofHuá-yí-yì-yǔ(華夷譯語) in the Library of Seoul National University (V) — 天文門tianwenmen‘the category of astronomy’ —
Authors: LI YONG-SŎNG 
Published: February 2019

AbstractThe Huá-yí-yì-yǔ is a general name for the various wordbooks between the Chinese language and its neighbouring languages compiled from the beginning of the Ming dynasty (1368–1644). It has broadly 4 different classes. In the wordbooks of the third class the words of each foreign language were transliterated only in Chinese characters and the letters of the language in question were not used. To this third class belongs the manuscript in the collection of the library of Seoul National University. Its seventh volume is for the Uighur language. It contains 19 categories. In this paper the first category of astronomy with 85 entries is treated.There are many scribal errors in these materials. Apart from the shortcomings of the Chinese characters, this may be the main reason why the Uighur word materials in the wordbooks of this class are not highly regarded.
The habitable zone for Earth-like exomoons orbiting Kepler-1625b
Authors: Forgan Duncan H. 
Published: February 2019

AbstractThe recent announcement of a Neptune-sized exomoon candidate orbiting the Jupiter-sized object Kepler-1625b has forced us to rethink our assumptions regarding both exomoons and their host exoplanets. In this paper, I describe calculations of the habitable zone for Earth-like exomoons in the orbit of Kepler-1625b under a variety of assumptions. I find that the candidate exomoon, Kepler-1625b-i, does not currently reside within the exomoon habitable zone, but may have done so when Kepler-1625 occupied the main sequence. If it were to possess its own moon (a ‘moon–moon’) that was Earth-like, this could potentially have been a habitable world. If other exomoons orbit Kepler-1625b, then there are a range of possible semi-major axes/eccentricities that would permit a habitable surface during the main sequence phase, while remaining dynamically stable under the perturbations of Kepler-1625b-i. This is however contingent on effective atmospheric CO2regulation.
Populism, participation, and political equality
Authors: Anduiza Eva , Guinjoan Marc , Rico Guillem 
Published: February 2019

AbstractThis article analyses the relationship between populist attitudes and political participation. We argue that populist attitudes can be a motivation for participation through their identity, emotional, and moral components, and that they have the potential to narrow socioeconomic gaps in participation. Using survey data from nine European countries, our results show that populist attitudes are positively related to expressive non-institutionalized modes of participation (petition signing, online participation and, in some contexts, demonstrating), but not to turnout. In addition, populist attitudes are found to reduce education-based gaps and even reverse income-based inequalities in political participation. The implications of these findings are discussed.
A Possible Second Large Subglacial Impact Crater in Northwest Greenland
Authors: MacGregor Joseph A. , Bottke William F. , Fahnestock Mark A. , Harbeck Jeremy P. , Kjær Kurt H. , Paden John D. , Stillman David E. , Studinger Michael 
Published: February 2019

AbstractFollowing the discovery of the Hiawatha impact crater beneath the northwest margin of the Greenland Ice Sheet, we explored satellite and aerogeophysical data in search of additional such craters. Here we report the discovery of a possible second subglacial impact crater that is 36.5‐km wide and 183 km southeast of the Hiawatha impact crater. Although buried by 2 km of ice, the structure's rim induces a conspicuously circular surface expression, it possesses a central uplift, and it causes a negative gravity anomaly. The existence of two closely spaced and similarly sized complex craters raises the possibility that they formed during related impact events. However, the second structure's morphology is shallower, its overlying ice is conformal and older, and such an event can be explained by chance. We conclude that the identified structure is very likely an impact crater, but it is unlikely to be a twin of the Hiawatha impact crater.
Seismic Structure of Marine Sediments and Upper Oceanic Crust Surrounding Hawaii
Authors: Doran A. K. , Laske G. 
Published: February 2019

AbstractWe present models of compressional and shear velocity structure of the oceanic sediments and upper crust surrounding the Hawaiian islands. The models were derived from analysis of seafloor compliance data and measurements of Ps converted phases originating at the sediment‐bedrock interface. These data were estimated from continuous broadband ocean bottom seismometer acceleration and pressure records collected during the Plume‐Lithosphere Undersea Mantle Experiment, an amphibious array of wideband and broadband instruments with an aperture of over 1,000 km. Our images result from a joint inversion of compliance and Ps delay data using a nonlinear inversion scheme whereby deviation from a priori constraints is minimized. In our final model, sediment thickness increases from 50 m at distal sites to over 1.5 km immediately adjacent to the islands. The sedimentary shear velocity profiles exhibit large regional variations. While sedimentary structure accounts for the majority of the compliance signal, we infer variations in shear velocity in the uppermost bedrock on the order of ±5%. We also require relatively high values of Poisson's ratio in the uppermost crust. Lower crustal velocities are generally seen to the north and west of the islands but do not appear well correlated with the Hawaiian Swell bathymetry. A region of strong low velocity anomalies to the northeast of Hawaii may be associated with the Molokai fracture zone.