bluuebunny/crossref_metadata_2025_split huggingface dataset:
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
Authors: Hayes Ian J. , Meinicke Larissa A. , Winter Kirsten , Colvin Robert J. 
Published: August 2018

Abstract
In this paper we introduce an abstract algebra for reasoning about concurrent programs, that includes an abstract algebra of atomic steps, with sub-algebras of program and environment steps, and an abstract synchronisation operator. We show how the abstract synchronisation operator can be instantiated as a synchronous parallel operator with interpretations in rely-guarantee concurrency for shared-memory systems, and in process algebras CCS and CSP. It is also instantiated as a weak conjunction operator, an operator that is useful for the specification of rely and guarantee conditions in rely/guarantee concurrency. The main differences between the parallel and weak conjunction instantiations of the synchronisation operator are how they combine individual atomic steps. Lemmas common to these different instantiations are proved once using the axiomatisation of the abstract synchronous operator. Using the sub-algebras of program and environment atomic steps, rely and guarantee conditions, as well as Morgan-style specification commands, are defined at a high-level of abstraction in the program algebra. Lifting these concepts from rely/guarantee concurrency to a higher level of abstraction makes them more widely applicable. We demonstrate the practicality of the algebra by showing how a core law from rely-guarantee theory, the parallel introduction law, can be abstracted and verified easily in the algebra. In addition to proving fundamental properties for reasoning about concurrent shared-variable programs, the algebra is instantiated to prove abstract process synchronisation properties familiar from the process algebras CCS and CSP. The algebra has been encoded in Isabelle/HOL to provide a basis for tool support for concurrent program verification based on the rely/guarantee technique. It facilitates simpler, more general, proofs that allow a higher level of automation than what is possible in low-level, model-specific interpretations.
Utility of the Addenbrooke’s Cognitive Examination in Amyotrophic Lateral Sclerosis
Authors: Chenji Sneha , Mah Dennell , Johnston Wendy , Camicioli Richard , Fisher Nancy , Kalra Sanjay 
Published: August 2018

AbstractObjectiveAmyotrophic lateral sclerosis (ALS) is a neurodegenerative condition that primarily affects motor neurons. Cognitive changes are reported in 25%-50% of patients, secondary to frontotemporal involvement. The objective of this study was to evaluate the utility of a screening tool, the Addenbrooke’s Cognitive Examination (ACE), in ALS patients.MethodsIn this retrospective cross-sectional study, performance on the ACE was compared between 55 ALS patients and 49 healthy controls. The validation of the ACE in ALS patients was explored using a neuropsychometric battery. Correlations between the ACE and clinical variables such as the ALS Functional Rating Scale-Revised (ALSFRS-R) and forced vital capacity were computed.ResultsA higher percentage of patients were below cut-off scores, although this remained non-significant between the patient and control groups. The ACE did not reveal significant differences between ALS patients and controls. The scores on the ACE displayed moderate correlations with our neuropsychometric battery for some domains, whereas others showed poor or no associations. Poor ACE Total was associated with lower ALSFRS-R and finger-tapping scores.ConclusionsPerformance on the ACE was comparable between patients and controls. Associations with motor function pose a challenge to accurate interpretation of ACE performance. It is likely that patients with poor cognition have greater disability, or that poor ACE performance reflects reduced motor ability to perform the task. This raises concern for the utility of the ACE as a screening tool in ALS patients, especially since recent versions of the ACE continue to include motor-based tasks.
Interface-resolved simulations of particle suspensions in Newtonian, shear thinning and shear thickening carrier fluids
Authors: Alghalibi Dhiya , Lashgari Iman , Brandt Luca , Hormozi Sarah 
Published: August 2018

We present a numerical study of non-colloidal spherical and rigid particles suspended in Newtonian, shear thinning and shear thickening fluids employing an immersed boundary method. We consider a linear Couette configuration to explore a wide range of solid volume fractions ($0.1\leqslant \unicode[STIX]{x1D6F7}\leqslant 0.4$) and particle Reynolds numbers ($0.1\leqslant Re_{p}\leqslant 10$). We report the distribution of solid and fluid phase velocity and solid volume fraction and show that close to the boundaries inertial effects result in a significant slip velocity between the solid and fluid phase. The local solid volume fraction profiles indicate particle layering close to the walls, which increases with the nominal $\unicode[STIX]{x1D6F7}$. This feature is associated with the confinement effects. We calculate the probability density function of local strain rates and compare the latter’s mean value with the values estimated from the homogenisation theory of Chateau et al. (J. Rheol., vol. 52, 2008, pp. 489–506), indicating a reasonable agreement in the Stokesian regime. Both the mean value and standard deviation of the local strain rates increase primarily with the solid volume fraction and secondarily with the $Re_{p}$. The wide spectrum of the local shear rate and its dependency on $\unicode[STIX]{x1D6F7}$ and $Re_{p}$ point to the deficiencies of the mean value of the local shear rates in estimating the rheology of these non-colloidal complex suspensions. Finally, we show that in the presence of inertia, the effective viscosity of these non-colloidal suspensions deviates from that of Stokesian suspensions. We discuss how inertia affects the microstructure and provide a scaling argument to give a closure for the suspension shear stress for both Newtonian and power-law suspending fluids. The stress closure is valid for moderate particle Reynolds numbers, $O(Re_{p})\sim 10$.
THE MEANING AND SIGNIFICANCE OF CONSCIENCE IN PRIVATE LAW
Authors: Agnew Sinéad 
Published: August 2018

AbstractThis article argues that the idea of conscience can play a useful, albeit limited and highly general, explanatory role in private law, if we have regard to two distinctive contexts in which it is used. First, it tells us something about how equitable obligations arise and reminds us that they directly enforce moral duties. Second, it conveys the message that the courts are reluctant to impose primary liabilities which restrict the exercise of legal rights absent a past or prospective breach of moral duty by the defendant. Without further explanation, the indiscriminate invocation of conscience in both contexts can lead to confusion and uncertainty, but if the distinction between obligation and liability is observed, the explanatory force of conscience in relation to each becomes clearer, and it plays a valuable role in bolstering the authority of private law.
ImprovedA1−A∞and Related Estimates for Commutators of Rough Singular Integrals
Authors: Rivera-Ríos Israel P. 
Published: August 2018

AbstractAnA1−A∞estimate, improving on a previous result for [b, TΩ] with$\Omega \in L^{infty}({\open S}^{n - 1})$andb∈BMO is obtained. A new result in terms of theA∞constant and the one supremumAq−A∞expconstant is also proved, providing a counterpart for commutators of the result obtained by Li. Both of the preceding results rely upon a sparse domination result in terms of bilinear forms, which is established using techniques from Lerner.
Symmetric Bi-Skew Maps and Symmetrized Motion Planning in Projective Spaces
Authors: González Jesús 
Published: August 2018

AbstractThis work is motivated by the question of whether there are spacesXfor which the Farber–Grant symmetric topological complexity TCS(X) differs from the Basabe–González–Rudyak–Tamaki symmetric topological complexity TCΣ(X). For a projective space${\open R}\hbox{P}^m$, it is known that$\hbox{TC}^S ({\open R}\hbox{P}^{m})$captures, with a few potential exceptional cases, the Euclidean embedding dimension of${\open R}\hbox{P}^{m}$. We now show that, for allm≥1,$\hbox{TC}^{\Sigma}({\open R}\hbox{P}^{m})$is characterized as the smallest positive integernfor which there is a symmetric${\open Z}_{2}$-biequivariant mapSm×Sm→Snwith a ‘monoidal’ behaviour on the diagonal. This result thus lies at the core of the efforts in the 1970s to characterize the embedding dimension of real projective spaces in terms of the existence of symmetric axial maps. Together with Nakaoka's description of the cohomology ring of symmetric squares, this allows us to compute both TC numbers in the case of${\open R}\hbox{P}^{2^{e}}$fore≥1. In particular, this leaves the torusS1×S1as the only closed surface whose symmetric (symmetrized) TCS(TCΣ) invariant is currently unknown.
THE SHAPE OF ASPIRATION: CLANDESTINE MASONRY HOUSE CONSTRUCTION IN LOURENÇO MARQUES, MOZAMBIQUE (1960–75)
Authors: MORTON DAVID 
Published: August 2018

AbstractThis article argues for the importance of including the construction of informal housing in histories of the African built environment. It examines the proliferation of illegally built masonry houses in the unplanned, predominately African neighborhoods of Lourenço Marques (today's Maputo) during the last years of Portuguese rule. Officials tolerated reed construction in these neighborhoods, but they saw unauthorized permanent construction there as an obstacle to the expansion of the formalized, predominately European city core. These ‘modern’ masonry houses, however, embodied some of the highest aspirations of their builders – aspirations that increasingly overlapped with those of lower-income whites that lived in such close proximity. Racial politics was manifested as material politics as clandestine construction challenged the divisions that had long defined the city. Informal housing thus helps to illuminate some of the peculiarities of race in urban lusophone Africa during the last years of colonial rule, a period usually understood in terms of wars for independence, but that in cities were also years of surging economies and the rising expectations of many African workers.
Clipping of sigmoid sinus diverticulum: how I do it
Authors: Hassannia F , Carr S D , Busato G-M , Rutka J A 
Published: August 2018

AbstractObjectiveTo report two cases of transmastoid clipping of a sigmoid sinus diverticulum.MethodsTwo patients with pulsatile tinnitus resulting from a sigmoid sinus diverticulum underwent clipping at the diverticulum neck using intra-operative Doppler ultrasonography.ResultsAt six months’ follow up, both patients reported complete resolution of pulsatile tinnitus with no complications.ConclusionTransmastoid clipping of a sigmoid sinus diverticulum can be a safe and effective method of managing pulsatile tinnitus resulting from a sigmoid sinus diverticulum.
NotCensusbutDeductio: Reconsidering the ‘Araof Domitius Ahenobarbus’
Authors: Maschek Dominik 
Published: August 2018

AbstractSince its rediscovery in the late nineteenth century, the ‘Araof Domitius Ahenobarbus’ has become a keystone in the history of Roman republican art. Following the seminal interpretation of Alfred von Domaszewski, the monument is usually understood as commemorating the key stages of the Roman census. This paper offers a fundamental reappraisal of theAra's imagery, based on an iconographic analysis which takes into account all relevant signs of rank and status such as shoes, clothing and other attributes. From this it becomes clear that none of the three protagonists on theAracan be identified as a censor. Consequently, the monument neither commemorated a census nor was it a censorial location. Instead, I suggest that theAraactually shows another important political event, namely thedeductioof a Roman colony which I tentatively identify as thecolonia Neptuniafounded by Gaius Gracchus in 123b.c.
Left to right: labour market policy, labour market status and political affinities
Authors: Meyer Brett 
Published: August 2018

AbstractIn recent decades, there has been a gradual decline in working-class organisations, including social democratic parties and trade unions, and an increase in support for populist radical right parties across western democracies. These trends have a plausible common cause: an increase in labour market insecurity associated with deindustrialisation may cause disenchantment with establishment organisations and support for politicians who criticise them. In this article, I examine how individual labour market status interacts with labour market policies to affect attitudes towards trade unions and populist radical right parties. I find that individuals with insecure employment status become less likely to support trade unions and more likely to support populist radical right parties as employment protection for secure workers increases. This effect is offset somewhat by spending on active labour market policies. I find evidence for these predictions in data for 27 Organisation for Economic Co-Operation and Development countries from 1995 to 2009.
Effect of pre-plasma on the ion acceleration by intense ultra-short laser pulses
Authors: Varmazyar Parvin , Mirzanejhad Saeed , Mohsenpour Taghi 
Published: August 2018

AbstractIn the interaction of short-laser pulses with a solid density target, pre-plasma can play a major role in ion acceleration processes. So far, complete analysis of pre-plasma effect on the ion acceleration by ultra-short laser pulses in the radiation pressure acceleration (RPA) regime has been unknown. Then the effect of pre-plasma on the ion acceleration efficiency is analyzed by numerical results of the particle-in-cell simulation in the RPA regime. It is shown that, for long-laser pulses (τp > 50 fs), the presence of pre-plasma makes a destructive effect on ion acceleration while it may have a contributing effect for short-laser pulses (τp < 50 fs). Therefore, the 35 fs (20 fs) laser pulse can accelerate ions up to 40 MeV (55 eV), which is almost two (three) times larger in energy rather than use of a 100 fs pulse with the same pre-plasma scale length.
Spatiotemporal analysis and forecasting model of hemorrhagic fever with renal syndrome in mainland China
Authors: Sun Ling , Zou Lu-Xi 
Published: August 2018

AbstractHemorrhagic fever with renal syndrome (HFRS) caused by hantaviruses is a serious public health problem in China, accounting for 90% of HFRS cases reported globally. In this study, we applied geographical information system (GIS), spatial autocorrelation analyses and a seasonal autoregressive-integrated moving average (SARIMA) model to describe and predict HFRS epidemic with the objective of monitoring and forecasting HFRS in mainland China. Chinese HFRS data from 2004 to 2016 were obtained from National Infectious Diseases Reporting System (NIDRS) database and Chinese Centre for Disease Control and Prevention (CDC). GIS maps were produced to detect the spatial distribution of HFRS cases. The Moran'sIwas adopted in spatial global autocorrelation analysis to identify the integral spatiotemporal pattern of HFRS outbreaks, while the local Moran'sIiwas performed to identify ‘hotspot’ regions of HFRS at province level. A fittest SARIMA model was developed to forecast HFRS incidence in the year 2016, which was selected by Akaike information criterion and Ljung–Box test. During 2004–2015, a total of 165 710 HFRS cases were reported with the average annual incidence at province level ranged from 0 to 13.05 per 100 000 persons. Global Moran'sIanalysis showed that the HFRS outbreaks presented spatially clustered distribution, with the degree of cluster gradually decreasing from 2004 to 2009, then turned out to be randomly distributed and reached lowest point in 2012. Local Moran'sIiidentified that four provinces in northeast China contributed to a ‘high–high’ cluster as a traditional epidemic centre, and Shaanxi became another HFRS ‘hotspot’ region since 2011. The monthly incidence of HFRS decreased sharply from 2004 to 2009 in mainland China, then increased markedly from 2010 to 2012, and decreased again since 2013, with obvious seasonal fluctuations. The SARIMA ((0,1,3) × (1,0,1)12) model was the most fittest forecasting model for the dataset of HFRS in mainland China. The spatiotemporal distribution of HFRS in mainland China varied in recent years; together with the SARIMA forecasting model, this study provided several potential decision supportive tools for the control and risk-management plan of HFRS in China.
Improving measles incidence inference using age-structured serological data
Authors: Prada Joaquin M. , Metcalf C. Jessica E. , Ferrari Matthew J. 
Published: August 2018

AbstractMeasles is a target for elimination in all six WHO regions by 2020, and over the last decade, there has been considerable progress towards this goal. Surveillance is recognised as a cornerstone of elimination programmes, allowing early identification of outbreaks, thus enabling control and preventing re-emergence. Fever–rash surveillance is increasingly available across WHO regions, and this symptom-based reporting is broadly used for measles surveillance. However, as measles control increases, symptom-based cases are increasingly likely to reflect infection with other diseases with similar symptoms such as rubella, which affects the same populations, and can have a similar seasonality. The WHO recommends that cases from suspected measles outbreaks be laboratory-confirmed, to identify ‘true’ cases, corresponding to measles IgM titres exceeding a threshold indicative of infection. Although serological testing for IgM has been integrated into the fever–rash surveillance systems in many countries, the logistics of sending in every suspected case are often beyond the health system's capacity. We show how age data from serologically confirmed cases can be leveraged to infer the status of non-tested samples, thus strengthening the information we can extract from symptom-based surveillance. Applying an age-specific confirmation model to data from three countries with divergent epidemiology across Africa, we identify the proportion of cases that need to be serologically tested to achieve target levels of accuracy in estimated infected numbers and discuss how this varies depending on the epidemiological context. Our analysis provides an approach to refining estimates of incidence leveraging all available data, which has the potential to improve allocation of resources, and thus contribute to rapid and efficient control of outbreaks.
Swarna × Oryza nivara introgression lines: a resource for seedling vigour traits in rice
Authors: Addanki Krishnam Raju , Balakrishnan Divya , Yadavalli Venkateswara Rao , Surapaneni Malathi , Mesapogu Sukumar , Beerelli Kavitha , Neelamraju Sarla 
Published: August 2018

AbstractSeedling vigour is an important indicator of crop establishment, subsequent crop growth and yield. Initial seedling vigour is most vital in case of water-limited conditions and in environments where the crop is exposed to different stresses at the early growth stage. Wild and weedy species are well known for their vigour and survival in adverse environmental conditions. Seedling vigour traits of backcross introgression lines (BILs) derived from Swarna × Oryza nivara IRGC81848(S) (accession from Uttar Pradesh, India) and IRGC81832 (K) (accession from Bihar, India) were studied in wet (Kharif) and dry (Rabi) seasons. Seedling vigour was estimated in terms of plant height and tiller number at 30 and 60 d after transplanting under field conditions. In both the seasons, 148S showed highest seedling vigour for plant height. The highest number of tillers were produced by 7K in Kharif and 248S in Rabi season. 75S showed the highest percentage increase in tiller number consistently. High yielding BILs 166S, 14S and 148S showed higher seedling vigour indices compared with checks Tulasi and Sahbhagidhan. Seedling vigour was also evaluated using paper roll method and shoot length, root length and dry weight were used to estimate vigour index. Season-wise association studies were conducted to determine the relative contribution of seedling vigour to yield traits. Seedling vigour was significantly correlated with yield traits. Markers RM217 and RM253 on chromosome 6 differentiated lines with high seedling vigour from those with low seedling vigour and have the potential for use in marker-assisted breeding.
ILB 938, a valuable faba bean (Vicia faba L.) accession
Authors: Khazaei H. , Link W. , Street K. , Stoddard F. L. 
Published: August 2018

AbstractHere we review the potential of ILB 938 (IG 12132 – doi: 10.18730/60FD2), a unique faba bean accession originating from the Andean region of Colombia and Ecuador, maintained at ICARDA – International Center for Agricultural Research in the Dry Areas, with resistance to multiple biotic and abiotic stresses and carrying some useful morphological markers. It has been used as a donor of leaf-related drought adaptation traits and chocolate spot (Botrytis fabae) resistance genes in faba bean breeding programmes worldwide. From generated populations of recombinant inbred lines, quantitative traits loci associated with these useful traits have been mapped. Other markers, such as a lack of stipule-spot pigmentation and clinging pod wall, show the presence of unusual changes in biochemical pathways that may have economic value in the future.
Feminist Cringe Comedy: Dear Dick, The Joke Is on You
Authors: Marso Lori 
Published: August 2018

AbstractFeminist cringe comedies eschew the conventions of romance and sentimentality in favor of comedy that discomforts. Cringe comedies are one example of what I call feminism's visual realisms, so named for doing feminist political work by evoking laughter and the cringe. The cringe pulls us inward in our posture, while laughter opens us to others. This bodily response to cringe comedies interrupts the fantasies of the male gaze and makes space for spectators to acknowledge the excessive, complicated, and seemingly shameful realities of female desire. My primary example is Jill Soloway's television adaptation of Chris Kraus's I Love Dick, a series that builds on the feminist legacy of avant-garde director Catherine Breillat. Departing from politically correct narratives and comforting or sentimental affect, I Love Dick achieves feminist community through the appeal, the cringe, and the irruption of laughter.