bluuebunny/crossref_metadata_2025_split huggingface dataset:
Continuous Abstract Data Types for Verified Computation
Authors: Park Sewon 
Published: February 2022

AbstractWe devise imperative programming languages for verified real number computation where real numbers are provided as abstract data types such that the users of the languages can express real number computation by considering real numbers as abstract mathematical entities. Unlike other common approaches toward real number computation, based on an algebraic model that lacks implementability or transcendental computation, or finite-precision approximation such as using double precision computation that lacks a formal foundation, our languages are devised based on computable analysis, a foundation of rigorous computation over continuous data. Consequently, the users of the language can easily program real number computation and reason about the behaviours of their programs, relying on their mathematical knowledge of real numbers without worrying about artificial roundoff errors. As the languages are imperative, we adopt precondition–postcondition-style program specification and Hoare-style program verification methodologies. Consequently, the users of the language can easily program a computation over real numbers, specify the expected behaviour of the program, including termination, and prove the correctness of the specification. Furthermore, we suggest extending the languages with other interesting continuous data, such as matrices, continuous real functions, et cetera.Abstract taken directly from the thesis.E-mail: sewonpark17@gmail.comURL: https://sewonpark.com/thesis
Sex Differences in Functional Outcomes Following Endovascular Treatment for Acute Ischemic Stroke
Authors: Momen Amirah I. , Francis Troy , Schaafsma Joanna D. , Rac Valeria , Baig Ammar , Pereira Vitor M. , Pikula Aleksandra 
Published: February 2022

ABSTRACT:Background:Sex disparities have been reported across many aspects of acute ischemic stroke (AIS) care; however, there is a relative paucity of research examining sex differences in outcomes following endovascular treatment (EVT). Some studies report worse functional independence for females following EVT. Few, if any of these studies account for differences in age, baseline function, and comorbidity burden. This retrospective cohort study aimed to assess for sex differences in functional outcomes following EVT by comparing 90-day modified Rankin Scale (mRS) of males and females while controlling for baseline function and comorbidity burden.Methods:Baseline demographic and clinical data, and stroke severity were compared for 230 consecutive patients undergoing EVT for AIS between October 2014 and July 2019 at a tertiary stroke centre in Toronto, Canada. Effect of sex on likelihood of functional independence post-EVT was assessed using regression analysis with and without correction for age, baseline mRS, and Charlson Comorbidity Index (CCI).Results:Females undergoing EVT for AIS were older (75 ± 13 vs. 66 ± 15, p < 0.0001), with worse clinical and functional baselines. Unadjusted, males were more functionally independent (90-day mRS < 3) [OR = 1.831, 95%CI 1.082–3.098]. After controlling for age, baseline mRS and CCI, there was no difference between groups [OR 1.21, 95%CI 0.61–2.37].Conclusions:This study provides evidence that prior findings of sex disparities in function after EVT may be accounted for by differences in age, baseline clinical status and functional independence between males and females when a comprehensive measure of comorbidity burden is utilized.
On the stability of tracer simulations with opposite-signed diffusivities
Authors: Haigh Michael , Berloff Pavel 
Published: February 2022

Many recent studies have diagnosed opposite-signed diffusion eigenvalues to be a prevalent feature of the transfer tensor for diffusive tracer transport by oceanic mesoscale eddies. This diagnosed tensor, which we refer to as the diffusion tensor, therefore accounts for tracer filamentation effects. The preferential orientation of this filamentation is quantified by the principal axis of the diffusion tensor, namely the diffusion axis. Parameterisations of eddy diffusion commonly invoke a diffusion tensor, typically one with non-negative eigenvalues to avoid numerical issues. Motivated by the need to parameterise tracer filamentation, in this study we examine diffusion of a Gaussian tracer patch with imposed opposite-signed diffusion eigenvalues, and in particular we focus on the time scale for the onset of instability. For a fixed diffusion axis, numerical instability is an inevitable consequence of persistent up-gradient fluxes associated with the negative eigenvalue. For typical oceanic scales and diffusion magnitudes, this time scale is of the order of

$100$

days, but is shorter for larger negative eigenvalues or for finer grid resolutions. We show that imposing a time-dependent diffusion axis can lead to simulations with no onset of instability after 100 000 days of tracer evolution. Although motivated by oceanographic fluid dynamics, our results have much broader applications since diffusive processes are present in a wide range of fluid flows.
TAMARKIN–TSYGAN CALCULUS AND CHIRAL POISSON COHOMOLOGY
Authors: BOUAZIZ EMILE 
Published: February 2022

AbstractWe construct and study some vertex theoretic invariants associated with Poisson varieties, specializing in the conformal weight
$0$
case to the familiar package of Poisson homology and cohomology. In order to do this conceptually, we sketch a version of the calculus, in the sense of [12], adapted to the context of vertex algebras. We obtain the standard theorems of Poisson (co)homology in this chiral context. This is part of a larger project related to promoting noncommutative geometric structures to chiral versions of such.
‘The object of sense and experiment’: the ontology of sensation in William Hunter's investigation of the human gravid uterus
Authors: Bellis Richard T. 
Published: February 2022

AbstractWilliam Hunter's anatomical inquiry employed all of his senses, but how did his personal experiences with the cadaver become generalized scientific knowledge teachable to students and understandable by fellow practitioners? Moving beyond a historiographical focus on Hunter's images and extending Lorraine Daston's (2008) concept of an ‘ontology of scientific observation’ to include non-visual senses, I argue that Hunter's work aimed to create a stabilized object of the cadaver that he and his students could perceive in common. Crucial to this stabilization was the sense of touch and its interaction with other senses, creating intersensory knowledge of the cadaver. Through a close reading of his neglected posthumous publication An Anatomical Description of the Human Gravid Uterus (1794), I demonstrate that Hunter wrote extensively about touch and other sensory experiences, using comparative metaphors and other linguistic strategies to engender clear ideas of the cadaver in the mind of the reader. That these ideas could be consistent between practitioners was guaranteed by God, but required practitioners to appropriately reflect on their sensory experiences with cadavers. Hunter's experimental practice encompassed both simple and complex methods, all aimed at increasing the range of sensorial experiences he had with the gravid uterus. His preservations of these experiences in text, image and preparation could then be used to support further anatomical investigations.
Transcriptome analysis uncovers different avenues for manipulating cold performance in Chrysomya megacephala (Diptera, Calliphoridae)
Authors: Qi Xuewei , Wang Yaohui , Zhang Guijian , Cao Shuai , Xu Penghui , Ren Xueming , Mansour Abdelaziz , Niu Changying 
Published: February 2022

AbstractTemperature strongly impacts the rates of physiological and biochemical processes, which in turn can determine the survival and population size of insects. At low temperatures performance is limited, however, cold tolerance and performance at low temperature can be improved after short- or long-term acclimation in many insect species. To understand mechanisms underlying acclimation, we sequenced and compared the transcriptome of the blowfly Chrysomya megacephala under rapid cold hardening (RCH) and long-term cold acclimation (LCA) conditions. The RCH response was dominated by genes related to immune response, spliceosome, and protein processing in endoplasmic reticulum with up-regulation during recovery from RCH. In contrast, LCA was associated with genes related to carbohydrate metabolism and cytoskeleton branching and stabilizing. Meanwhile, mRNA levels of genes related to glycerophospholipid metabolism, and some heat shock proteins (Hsps) were collectively up-regulated by both RCH and LCA. There were more genes and pathway adjustments associated with LCA than RCH. Overall, the transcriptome data provide basic information of molecular mechanisms underpinning the RCH and LCA response. The partly independent molecular responses to RCH and LCA suggest that several avenues for manipulating cold performance exist and RCH might be more effective as it only triggers fewer genes and affects the general metabolisms less. These observations provide some appropriate methods to improve cold tolerance of C. megacephala, and hold promise for developing an extended use of mass-reared C. megacephala with better cold performance as a pollinator of crops at low temperatures.
The Talat-Tehlirian Complex: Contentious Narratives of Martyrdom and Revenge in Post-Conflict Societies
Authors: Yenen Alp 
Published: February 2022

AbstractThe assassination of Talat Pasha by Soghomon Tehlirian on 15 March 1921 in Berlin, as well as Tehlirian’s trial and acquittal on 2–3 June 1921, have contributed to the formation of conflicting legacies of the Armenian Genocide. Though minuscule in terms of violence and legal ramifications, these events and their reimagination in contentious narratives have shaped a dominant prism of sensemaking in Turkish-Armenian relations. In the imagination of rival groups, Talat and Tehlirian compete for the very same normative categories of hero and victim at once and each are demonized as a villain and perpetrator. Moreover, it is each figure’s embodiment of martyrdom and revenge that explains why their heroizations have proved so enduring and effective across time and space. This mutual framework of sensemaking, which I call the Talat-Tehlirian complex, ultimately denies the chances of historical reconciliation. In terms of its theoretical implications, this case study explains how a martyr-avenger complex can continuously demand solidarity, sustain grievances, and sacralize violence in post-conflict societies. Based on a thick description of what happened in Berlin in 1921 and its contentious narratives across different generations, this paper calls for a transition to a post-heroic age in Turkish-Armenian relations.
Rheological and microstructural characterisation of heat-induced whey protein isolate gels affected by the addition of caseinomacropeptide
Authors: Guedes Paula V. , de Freitas Rilton A. , Franco Célia R. C. , Cândido Lys Mary B. 
Published: February 2022

AbstractCaseinomacropeptide (CMP) is derived from the chymosin cleavage of κ-casein during cheese production. This study developed gels from CMPs, which were isolated by different ultrafiltration systems, and whey protein isolate (WPI), and studied their rheological and ultrastructural characteristics. The 30% WPI gel showed high elastic modulus (G′) values and stronger structure than the other samples with CMP. Another gel, with 50% protein, 30% WPI and 20% CMP sample isolated from the 30 kDa retentate, had a weaker structure and lower G′ value. The third gel, with 30% WPI and 20% CMP sample from the 5 kDa retentate derived from the 30 kDa retentate, presented intermediate structural strength. Despite the increase in protein concentration from the addition of CMP, there was a decrease in the strength of the gel network. Different CMP isolation processes also contributed to differences in the microscopic analysis of gel structures with the same protein content.
Dissociation of basolateral and central amygdala effective connectivity predicts the stability of emotion-related impulsivity in adolescents and emerging adults with borderline personality symptoms: a resting-state fMRI study
Authors: Hall Nathan T. , Hallquist Michael N. 
Published: February 2022

AbstractBackgroundBorderline personality disorder (BPD) is associated with altered activity in the prefrontal cortex (PFC) and amygdala, yet no studies have examined fronto-limbic circuitry in borderline adolescents and emerging adults. Here, we examined the contribution of fronto-limbic effective connectivity (EC) to the longitudinal stability of emotion-related impulsivity, a key feature of BPD, in symptomatic adolescents and young adults.MethodsWe compared resting-state EC in 82 adolescents and emerging adults with and without clinically significant borderline symptoms (n BPD = 40, ages 13–30). Group-specific directed networks were estimated amongst fronto-limbic nodes including PFC, ventral striatum (VS), central amygdala (CeN), and basolateral amygdala (BLA). We examined the association of directed centrality metrics with initial levels and rates of change in emotion-related impulsivity symptoms over a one-year follow-up using latent growth curve models (LGCMs).ResultsIn controls, ventromedial prefrontal cortex (vmPFC) and dorsal ACC had a directed influence on CeN and VS, respectively. In the BPD group, bilateral BLA had a directed influence on CeN, whereas in the healthy group CeN influenced BLA. LGCMs indicated that emotion-related impulsivity was stable across a one-year follow-up in the BPD group. Further, higher EC of R CeN to other regions in controls was associated with stronger within-person decreases in emotion-related impulsivity.ConclusionsFunctional inputs from BLA and vmPFC appear to play competing roles in influencing CeN activity. In borderline adolescents and young adults, BLA may predominate over CeN activity, while in controls the ability of CeN to influence BLA activity predicted more rapid reductions in emotion-related impulsivity.
Absolute identity and the Trinity
Authors: Tweedt Chris 
Published: February 2022

AbstractTrinitarians are charged with at least two contradictions. First, the Father is God and the Son is God, so it seems to follow that the Father is the Son. Trinitarians affirm the premises but deny the conclusion, which seems contradictory. Second, the Father is a God, the Son is a God, and the Holy Spirit is a God, but the Father is not the Son, the Father is not the Holy Spirit, and the Son is not the Holy Spirit. This argument seems to entail that there are three Gods. Again, Trinitarians affirm the premises but deny the conclusion. In this article, I present a novel Trinitarian solution to these alleged contradictions. The solution allows one to maintain that the premises in the above arguments are absolute identity statements, forestalls the need to develop a new way of counting (e.g. by sortals or numerical sameness), and is compatible with divine simplicity.
Images of fractional Brownian motion with deterministic drift: Positive Lebesgue measure and non-empty interior
Authors: ERRAOUI MOHAMED , HAKIKI YOUSSEF 
Published: February 2022

AbstractLet
$B^{H}$
be a fractional Brownian motion in
$\mathbb{R}^{d}$
of Hurst index
$H\in\left(0,1\right)$
,
$f\;:\;\left[0,1\right]\longrightarrow\mathbb{R}^{d}$
a Borel function and
$A\subset\left[0,1\right]$
a Borel set. We provide sufficient conditions for the image
$(B^{H}+f)(A)$
to have a positive Lebesgue measure or to have a non-empty interior. This is done through the study of the properties of the density of the occupation measure of
$(B^{H}+f)$
. Precisely, we prove that if the parabolic Hausdorff dimension of the graph of f is greater than Hd, then the density is a square integrable function. If, on the other hand, the Hausdorff dimension of A is greater than Hd, then it even admits a continuous version. This allows us to establish the result already cited.
A lesson in urban renewal: the role of residents in designing clearance and construction policy in an Israeli neighbourhood
Authors: Kabalo Paula , Etkin Elia 
Published: February 2022

AbstractIn January 1969, the Israeli minister of housing announced his intention of declaring a set of neighbourhoods in Jerusalem, known as Zikhronot-Nahlaot, an urban-renewal area. For the next seven years, the topic of renewal would be central in a public struggle led by two organizations of residents against a brace of establishment players. The resulting trail of documentation tells the story of a community struggle. By focusing on the role of the residents in shaping this transformation, we aim to uncover the residents’ perceptions of the renewal plans, their actions to make sure their point of view would be taken into account, and the extent of their influence on policy-makers, planners and implementers. We claim that residents’ ideas became part of the policy-makers’ and planners’ discourse. The internal discussions reveal a transformation from the ‘bulldozer era’ to the urban-renewal approach and then to first flickerings of equity planning.
Advancements in mammalian X and Y sperm differences and sex control technology
Authors: He Qifu , Huang Min , Cao Xuyang , Zhang Kang , Liu Jun , Quan Fusheng 
Published: February 2022

SummaryMammal sex determination depends on whether the X sperm or Y sperm binds to the oocyte during fertilization. If the X sperm joins in oocyte, the offspring will be female, if the Y sperm fertilizes, the offspring will be male. Livestock sex control technology has tremendous value for livestock breeding as it can increase the proportion of female offspring and improve the efficiency of livestock production. This review discusses the detailed differences between mammalian X and Y sperm with respect to their morphology, size, and motility in the reproductive tract and inin vitroconditions, as well as ’omics analysis results. Moreover, research progress in mammalian sex control technology has been summarized.
Absent pulmonary valve with double-outlet left ventricle: a case report
Authors: Sakai Wataru , Asai Hidetsugu , Ebuoka Noriyoshi 
Published: February 2022

AbstractAbsent pulmonary valve syndrome and double-outlet left ventricle are rare congenital anomalies, with, to the best of our knowledge, no cases reported to date. We present the treatment course in a patient with an absent pulmonary valve, double-outlet left ventricle, dextrocardia, hypoplastic right ventricle, valvular aortic stenosis, and bronchomalacia.
Heat Health Management in a Quarantine and Isolation Facility in the Tropics
Authors: Stephens Dianne , Brearley Matt , Vermeulen Lisa 
Published: February 2022

AbstractIntroduction:The Howard Springs Quarantine Facility (HSQF) is located in tropical Northern Australia and has 875 blocks of four rooms (3,500 rooms in total) spread over 67 hectares. The HSQF requires a large outdoor workforce walking outdoor pathways to provide individual care in the ambient climate. The personal protective equipment (PPE) required for the safety of quarantine workers varies between workgroups and limits body heat dissipation that anecdotally contributes to excessive sweating, which combined with heat stress symptoms of fatigue, headache, and irritability, likely increases the risk of workplace injuries including infection control breaches.Study Objective:The purpose of this study was the description of qualitative and quantitative assessment for HSQF workers exposed to tropical environmental conditions and provision of evidenced-based strategies to mitigate the risk of heat stress in an outdoor quarantine and isolation workforce.Methods:The study comprised two components - a cross-sectional physiological monitoring study of 18 workers (eight males/ten females; means: 41.4 years; 1.69m; 80.6kg) during a single shift in November 2020 and a subjective heat health survey completed by participants on a minimum of four occasions across the wet season/summer period from November 2020 through February 2021. The physiological monitoring included continuous core temperature monitoring and assessment of fluid balance.Results:The mean apparent temperature across first-half and second-half of the shift was 34.7°C (SD = 0.8) and 35.6°C (SD = 1.9), respectively. Across the work shift (mean duration 10.1 hours), the mean core temperature of participants was 37.3°C (SD = 0.2) with a range of 37.0°C - 37.7°C. The mean maximal core temperature of participants was 37.7°C (SD = 0.3). In the survey, for the workforce in full PPE, 57% reported feeling moderately, severely, or unbearably hot compared to 49% of those in non-contact PPE, and the level of fatigue was reported as moderate to severe in just over 25% of the workforce in both groups.Conclusion:Heat stress is a significant risk in outdoor workers in the tropics and is amplified in the coronavirus disease 2019 (COVID-19) frontline workforce required to wear PPE in outdoor settings. A heat health program aimed at mitigating risk, including workplace education, limiting exposure times, encouraging hydration, buddy system, active cooling, and monitoring, is recommended to limit PPE breaches and other workplace injuries in this workforce.
Bicameral Distinctiveness in American State Legislatures
Authors: Makse Todd 
Published: February 2022

AbstractMany important traits of state legislatures vary across chambers within a state. Yet according to existing typologies in the comparative study of bicameralism, the 49 bicameral American state legislatures would be deemed quite homogeneous. To resolve this disjuncture, I identify a novel dimension of bicameralism that distinguishes among state legislatures by capturing the extent to which the two chambers serve as meaningfully different venues for influence. Based on this framework, I develop an index of bicameral “distinctiveness” rooted in three traits that speak to policy influence across chambers: the ratio of seats, bipartisan representation, and constituency dissimilarity. This measure reveals sizable variation across states and a conspicuous geographic pattern, with considerably greater bicameral distinctiveness in the Eastern United States. In turn, I assess the construct validity of this measure, showing how patterns of second chamber bill amendment vary systematically with the level of bicameral distinctiveness.