bluuebunny/crossref_metadata_2025_split huggingface dataset:
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
Authors: Jones Cliff B. , Yatapanage Nisansala 
Published: April 2019

Abstract

Decomposing the design (or documentation) of large systems is a practical necessity but finding
compositional
development methods for concurrent software is technically challenging. This paper includes the development of a difficult example in order to draw out lessons about such methods. The concurrent garbage collector development is interesting in several ways; in particular, the final step of its development appears to be just beyond what can be expressed by rely/guarantee relations. This prompts an exploration of the limitations of this well-known method. Although the rely/guarantee approach is used, most of the lessons are more general.
On classical n-absorbing submodules
Authors: Naji Osama A. 
Published: April 2019

Abstract
Let R a commutative ring with identity and M be a unitary R-module. In this paper, we investigate some properties of n-absorbing submodules of M as a generalization of 2-absorbing submodules. We also define the classical n-absorbing submodule, a proper submodule N of an R-module M is called a classical n-absorbing submodule if whenever $$a_1 a_2\ldots a_{n+1} m\in N$$

a
1

a
2

…

a

n
+
1

m
∈
N

for $$a_1, a_2,\ldots , a_{n+1}\in R$$

a
1

,

a
2

,
…
,

a

n
+
1

∈
R

and $$m \in M$$

m
∈
M

, there are n of $$a_i$$

a
i

’s whose product with m is in N. Furthermore, we give some characterizations of n-absorbing and classical n-absorbing submodules under some conditions.
‘Following the Way of Heaven’: Exemplarism, Emulation, and Daoism
Authors: KIDD IAN JAMES 
Published: April 2019

AbstractMany ancient traditions recognise certain people as exemplars of virtue, the models for the good or flourishing human life. Certain traditions, however, incorporate a cosmic mode of emulation, where the virtues are manifestations, in human form, of qualities or aspects of the ground or source of the world. I defend this claim using the sustained case study of the forms of Daoist exemplarity found in theBook of Zhuangzi, then consider the charge that the aspiration to cosmic emulation is inhumane. It emerges that there are forms of emulation where the ultimate model for the good or flourishing life as manifested by the exemplar is nothing human.
HONG KONG'S CHINESE TEMPLES ORDINANCE: A CAUTIONARY CASE STUDY OF DISCRIMINATORY AND MISGUIDED REGULATION OF RELIGIOUS FRAUD
Authors: Chen Jianlin 
Published: April 2019

ABSTRACTThe Chinese Temples Ordinance was promulgated by the British colonial government in Hong Kong to address the alarming growth of “pseudo-religious establishments” exploiting the ignorant masses of uneducated Chinese residents. This article critically examines the ordinance and the 2015 proposed amendments as a case study of the potential pitfalls in state responses to religious fraud. First, this article demonstrates the discriminatory nature of the ordinance, which perceived Chinese religions as particularly prone to fraudulent practices and deserving of specific regulatory controls that are not applicable to any other religions. Tellingly, this discriminatory approach—while unconstitutional and undesirable—continues to underpin the proposed reform. Second, this article delineates the conceptual distinctions within religious fraud and the interaction dynamics between religious donors and recipients and argues that the government-sanctioned registration scheme under the ordinance is neither justified nor appropriate to address religious fraud premised on promises of divine intervention in exchange for financial contributions.
Learning from the Wood Samples in ICS, TIRI, FIRI, VIRI, and SIRI
Authors: Scott E M , Cook G T , Naysmith P , Staff R A 
Published: April 2019

ABSTRACTEach of the laboratory intercomparisons (from ICS onwards) has included wood samples, many of them dendrochronologically dated. In the early years, as a result of the majority of laboratories being radiometric, these samples were typically blocks of 20–40 rings, but more recently (SIRI), they have been single ring samples. The sample ages have spanned background through to modern. In some intercomparisons, we have examined different wood pretreatment effects, in others the focus has been on background samples. In this paper, we illustrate what we have learned from these extensive intercomparisons involving wood samples and how the results contribute to the global IntCal effort.
Egg white hydrolysate enhances insulin sensitivity in high-fat diet-induced insulin-resistant rats via Akt activation
Authors: Jahandideh F. , Zani S. C. de Campos , Son M. , Proctor S. D. , Davidge S. T. , Chan C. B. , Wu J. 
Published: April 2019

AbstractAgents that block the renin–angiotensin system (RAS) improve glucoregulation in the metabolic syndrome disorder. We evaluated the effects of egg white hydrolysate (EWH), previously shown to modulate the protein abundance of RAS component in vivo, on glucose homeostasis in diet-induced insulin-resistant rats. Sprague–Dawley rats were fed a high-fat diet (HFD) for 6 weeks to induce insulin resistance. They were then randomly divided into four groups receiving HFD or HFD supplemented with different concentrations of EWH (1, 2 and 4 %) for another 6 weeks in the first trial. In the second trial, insulin-resistant rats were divided into two groups receiving only HFD or HFD+4 % EWH for 6 weeks. Glucose homeostasis was assessed by oral glucose tolerance and insulin tolerance tests. Insulin signalling and protein abundance of RAS components, gluconeogenesis enzymes and PPARγ were evaluated in muscle, fat and liver. Adipocyte morphology and inflammatory markers were evaluated. In vivo administration of EWH increased insulin sensitivity, improved oral glucose tolerance (P < 0·0001) and reduced systemic inflammation (P < 0·05). EWH potentiated insulin-induced Akt phosphorylation in muscle (P = 0·0341) and adipose tissue (P = 0·0276), but minimal differences in the protein abundance of tissue RAS components between the EWH and control groups were observed. EWH treatment also reduced adipocyte size (P = 0·0383) and increased PPARγ2 protein abundance (P = 0·0237). EWH treatment yielded positive effects on the inflammatory profile, glucose tolerance, insulin sensitivity and adipocyte differentiation in HFD-induced insulin resistance rats. The involvement of local RAS activity requires further investigation.
Newly isolated intervarietal garden pea (Pisum sativum L.) progenies (F7) under north western Himalayan conditions of India
Authors: Sharma Akhilesh , Sekhon Bhallan Singh , Sharma Susheel , Kumar Ravi 
Published: April 2019

AbstractLow genetic diversity acts as a major bottleneck in garden pea breeding, and diverse parents are required to generate new genetic material. The diversity of parents utilized in hybridization programme was ascertained following simple sequence repeats (SSR) markers. Thirty-six homozygous F7 progenies were isolated from three intervarietal crosses through shuttle breeding programme over a period of 6 years (2009–2014). Two experiments were conducted for two consecutive years 2014/15 and 2015/16, for evaluating the agronomic performance of progenies along with four commercial control cultivars. Analysis of variance (ANOVA) revealed that genotype, growing year and their interaction had significant effects on most of the traits. Line ‘DPP-SP-6’ recorded significantly higher pod yield/plant in comparison to all other genotypes in 2014/15, 2015/16 and for pooled over years. In addition, ‘DPP-SP-22’, ‘DPP-SP-7’ and ‘DPP-SP-17’ also performed statistically at par with best-performing check ‘Pb-89’ during both the years. These superior lines, in general, showed better pod filling, green pod colour, high shelling, sweetness and resistance to powdery mildew disease. These superior progenies could act as an alternative to the popular check varieties after their exhaustive evaluation over environments.
Three Rival Versions of Moral Reasoning: Interpreting Bonhoeffer’s Ethics of Lying, Guilt, and Responsibility
Authors: Puffer Matthew 
Published: April 2019

AbstractDietrich Bonhoeffer’s unfinished and posthumously published Ethics was intended to be his magnum opus. However, its incomplete structure and the distinct ethical approaches evident in its unfinished essays have allowed for considerable debate about its overall coherence and contours, as well as the hermeneutics appropriate to the text. This essay reconsiders prior interpretations of Bonhoeffer’s Ethics through close readings that disclose three rival versions of moral reasoning operative in three manuscripts from Bonhoeffer’s Ethics. Retracing his reasoning regarding the ethics of lying, the place of guilt, and the relation between the law of God and God’s will, I argue that Bonhoeffer’s detractors and defenders alike have misconstrued the controversial ethic of “actively embracing guilt” (Schuldübernahme). Far from the paradigmatic expression of Bonhoeffer’s Ethics, its organizing theme, or the basis for his participation in the tyrannicide plot against Hitler, Bonhoeffer’s reflection on Schuldübernahme is properly understood as an outlier—a short-lived thought experiment that he critiques and reconceives in two alternative versions of moral reasoning in later chapters.
Judean Onomastic Hermeneutics in Context
Authors: Cooley Jeffrey L. 
Published: April 2019

AbstractThe termVolksetymologiehas frequently been applied to the etiological passages of the Hebrew Bible and occasionally to such passages in Mesopotamian literature that explain the origin of the name of a person, place, or thing. Originating in mid- nineteenth century GermanSprachwissenschaft, the term generally assumes that the authors of such passages were possessed of a considerable philological ignorance and naïveté. These etymological narratives are thus regularly brushed aside as childish though charming. Alternatively, they are often understood as interesting aesthetic devices, related to paronomasia and punning.It is becoming increasingly evident, however, that the activity of parsing a name is linked to broader interpretive methods employed by scribes in the ancient Near East. Indeed, our developing understanding of intellectual practices in Mesopotamia and among the Bible’s tradents has demonstrated that Babylonian and Judean scribes could employ rather sophisticated hermeneutics. This fact has significance for our evaluation of biblical etymological passages in many ways including, for example, the methods employed by ancient authors to interpret names within narratives and their motivation for doing so.
The Bible Abbreviated: Summaries in Early Modern English Bibles
Authors: Horbury Ezra 
Published: April 2019

AbstractEarly modern English Bibles are among the most significant texts in western Christianity. They contained the translation of the Bible into English and its authorisation, they facilitated the Protestant Reformation, and their effects on English Christianity and culture are felt vividly to this day. A vital facet of these editions are paratexts: the titles, summaries, glosses, and other non-canonical additions appended to scripture to aid its organisation and interpretation. Though neglected by literary, historical, and theological scholarship, these paratexts comprised huge portions of early modern Bibles and acted as productive vehicles to disseminate politics and theologies. One such form of paratext are the casus summarii, the chapter summaries that precede many chapters in early modern Bibles. In these summaries, significant biblical events or controversial subjects were condensed, omitted, reframed, rephrased, or otherwise represented to suit the editor’s purposes. This article provides the first survey of the chapter summaries in early modern English Bibles, with a table detailing the extent to which they were copied between editions. The article focuses on the Matthew, Geneva, and KJV Bibles, with additional discussion of the Coverdale, Great, and Bishops’ Bibles. The article addresses notable aspects of this material, including practices of translation, representations of Sodom, the anglicisation of names, and the sexualisation of Eve. By explicating the origins and influences of these summaries, this article facilitates the understanding and study of paratexts and demonstrates their importance to scholarship of early modern Christianity.
HPV infection in semen: results from a new molecular approach
Authors: Capra G. , Schillaci R. , Bosco L. , Roccheri M. C. , Perino A. , Ragusa M. A. 
Published: April 2019

AbstractHuman papillomavirus (HPV) is the agent of the most common sexually transmitted diseases causing a variety of clinical manifestations ranging from warts to cancer. Oncogenic HPV infection is the major cause of cervical cancer and less frequently of penile cancers. Its presence in semen is widely known, but the effects on fertility are still controversial. We developed a new approach to evaluate virus localisation in the different semen components. We analysed also the specific genotype localisation and viral DNA quantity by qPCR. Results show that HPV DNA can be identified in every fraction of semen: spermatozoa, somatic cells and seminal plasma. Different samples can contain the HPV DNA in different fractions and several HPV genotypes can be found in the same fraction. Additionally, different fractions may contain multiple HPV genotypes in different relative quantity. We analysed the wholeness of HPV DNA in sperm cells by qPCR. In one sample more than half of viral genomes were defective, suggesting a possible recombination event. The new method allows to easily distinguish different sperm infections and to observe the possible effects on semen. The data support the proposed role of HPV in decreased fertility and prompt new possible consequences of the infection in semen.
A public announcement separation logic
Authors: Courtault J.R. , van Ditmarsch H. , Galmiche D. 
Published: April 2019

AbstractWe define a Public Announcement Separation Logic (PASL) that allows us to consider epistemic possible worlds as resources that can be shared or separated, in the spirit of separation logics. After studying its semantics and illustrating its interest for modelling systems, we provide a sound and complete tableau calculus that deals with resource, agent and announcement constraints and give also a countermodel extraction method.
Logic is a harsh mistress: welfare economics for economists
Authors: Leeson Peter T. 
Published: April 2019

AbstractEvery economic explanation assumes maximization. How strange, then, that few economists accept one of maximization's most straightforward implications:every observed institution is efficient. My aim is to persuade economists of this fact and thus to dissuade them from making illogical claims about social welfare. To frame my argument, I consider the “property rights approach” to institutions developed by Yoram Barzel. I speculate that economists resist what maximization implies about institutional efficiency because they think that efficiency-always precludes them from improving the world, and hope of improving the world is what attracted them to economics in the first place. But, besides being inconsistent, resistance is unnecessary: efficiency-always does not preclude economists, or anyone else, from improving the world.
Cognitive behavioural therapy training in Tanzania: a qualitative study of clinicians’ experiences
Authors: Stone Lydia , Arroll Megan A. 
Published: April 2019

AbstractCognitive behaviour therapy (CBT) in an effective technique used widely in Western countries. However, there is limited evidence as to the utility, perception and understanding of CBT in developing countries. This study describes and investigates the experience of CBT training and practice in a group of practitioners in Tanzania. A qualitative approach to the investigation was used, and seven participants from Tanzania’s only psychiatric hospital who had completed CBT training were interviewed. The resulting verbatim transcripts were analysed via interpretative phenomenological analysis. Five superordinate themes emerged from the analysis: ‘the medical model’, ‘novelty’, ‘practicalities’, ‘process’ and ‘therapist effects’. The two themes ‘therapist effects’ and ‘process’ are discussed in detail as these may be particularly relevant to the clinical application of the therapy in a new culture and context. The implications for future development of CBT in Tanzania are considered. In developing CBT for dissemination in Tanzania, specific cultural and clinical issues highlighted by indigenous clinicians need consideration.Key learning aims(1)To identify what range of factors may influence clinicians’ perception of and learning about CBT when CBT training is delivered in a mental health setting in Tanzania, or to those with East African origins.(2)To consider the use of qualitative research approaches to inform the early stages of adapting CBT for use in new settings and applications.(3)To be able to apply knowledge about cultural differences to standard CBT in order to promote culturally sensitive practice.
The Slow Slip of Viscous Faults
Authors: Viesca Robert C. , Dublanchet Pierre 
Published: April 2019

AbstractWe examine a simple mechanism for the spatiotemporal evolution of transient, slow slip. We consider the problem of slip on a fault that lies within an elastic continuum and whose strength is proportional to sliding rate. This rate dependence may correspond to a viscously deforming shear zone or the linearization of a nonlinear, rate‐dependent fault strength. We examine the response of such a fault to external forcing, such as local increases in shear stress or pore fluid pressure. We show that the slip and slip rate are governed by a type of diffusion equation, the solution of which is found using a Green's function approach. We derive the long‐time, self‐similar asymptotic expansion for slip or slip rate, which depend on both time t and a similarity coordinate η = x/t, where x denotes fault position. The similarity coordinate shows a departure from classical diffusion and is owed to the nonlocal nature of elastic interaction among points on an interface between elastic half‐spaces. We demonstrate the solution and asymptotic analysis of several example problems. Following sudden impositions of loading, we show that slip rate ultimately decays as 1/t while spreading proportionally to t, implying both a logarithmic accumulation of displacement and a constant moment rate. We discuss the implication for models of postseismic slip as well as spontaneously emerging slow slip events.
Upscaling and Prediction of Lagrangian Velocity Dynamics in Heterogeneous Porous Media
Authors: Hakoun Vivien , Comolli Alessandro , Dentz Marco 
Published: April 2019

AbstractThe understanding of the dynamics of Lagrangian velocities is key for the understanding and upscaling of solute transport in heterogeneous porous media. The prediction of large‐scale particle motion in a stochastic framework implies identifying the relation between the Lagrangian velocity statistics and the statistical characteristics of the Eulerian flow field and the hydraulic medium properties. In this paper, we approach both challenges from numerical and theoretical points of view. Direct numerical simulations of Darcy‐scale flow and particle motion give detailed information on the evolution of the statistics of particle velocities both as a function of travel time and distance along streamlines. Both statistics evolve from a given initial distribution to different steady‐state distributions, which are related to the Eulerian velocity probability density function. Furthermore, we find that Lagrangian velocities measured isochronally as a function of travel time show intermittency dominated by low velocities, which is removed when measured equidistantly as a function of travel distance. This observation gives insight into the stochastic dynamics of the particle velocity series. As the equidistant particle velocities show a regular random pattern that fluctuates on a characteristic length scale, it is represented by two stationary Markov processes, which are parametrized by the distribution of flow velocities and a correlation distance. The velocity Markov models capture the evolution of the Lagrangian velocity statistics in terms of the Eulerian flow properties and a characteristics length scale and shed light on the role of the initial conditions and flow statistics on large‐scale particle motion.
High‐Speed Quantification of Pore‐Scale Multiphase Flow of Water and Supercritical CO2 in 2‐D Heterogeneous Porous Micromodels: Flow Regimes and Interface Dynamics
Authors: Li Yaofa , Blois Gianluca , Kazemifar Farzan , Christensen Kenneth T. 
Published: April 2019

AbstractThe pore‐scale flow of CO2 and water in 2‐D heterogeneous porous micromodels over a Ca range of nearly three orders of magnitude was explored experimentally. The porous geometry is a close reprint of real sandstone, and the experiments were performed under reservoir‐relevant conditions (i.e., 8 MPa and 21 °C), thus ensuring relevance to practical CO2 operations. High‐speed fluorescent microscopy and image processing were employed to achieve temporally and spatially resolved data, providing a unique view of the dynamics underlying this multiphase flow scenario. Under conditions relevant to CO2 sequestration, final CO2 saturation was found to decrease and increase logarithmically with Ca within the capillary and viscous‐fingering regimes, respectively, with a minimum occurring during regime crossover. Specific interfacial length generally scales linearly with CO2 saturation, with higher slopes noted at high Ca due to stronger viscous and inertial forces, as supported by direct pore‐scale observations. Statistical analysis of the interfacial movements revealed that pore‐scale events are controlled by their intrinsic dynamics at low Ca, but overrun by the bulk flow at high Ca. During postfront flow, while permeability is typically correlated with total CO2 saturation in the porous domain (regardless of its mobility), the saturation of active CO2 pathways in the current study correlated very well with permeability. This alternate approach to characterize relative permeability could serve to mitigate hysteresis in relative permeability curves. Taken together, these results provide unique insights that address inconsistent observations in the literature and previously unanswered questions about the underlying flow dynamics of this important multiphase flow scenario.