Miracle-dz/UniFAR-FTUs huggingface dataset:
On separating the read-k-times branching program hierarchy

WC obtain an exponential separation between consecutive levels in the hierarchy of classes of functions computable by syntactic read-k-times branching programs of polynomial size, for all k > 0, as conjectured by various authors [24, 22, 161, For every k, we exhibit two explicit functions that can be computed by linear-sized read-(k+l)-times branching programs but require size to be computed by any read-k-times branching program. The result actually gives the strongest possible separation the exponential lower bound applies to both nondeterministic read-k-times branching programs and randomized read-k-times branching programs with Zsided error E, for some E > 0. The only previously known results are the separation between k = 1 and k = 2 [6] and a aopnration of non-deterministic read-k from deterministic road-(kink/ In2 + C), where C is some appropriate constant, for each k [IS]. A simple corollary of our results is that randomization is not more powerful than non-determinism for read-k-times branching programs, A combinatorial result that we prove along the way is a “hash-mixing lemma” [12] for fnmilics of hash functions that are almost universal, which may be of independent interest.
Investigating the cost-effectiveness of reinspections in software development

Software inspection is one of the most effective methods to detect defects. Reinspection repeats the inspection process for software products that are suspected to contain a significant number of undetected defects after an initial inspection. As a reinspection is often believed to be less efficient than an inspection an important question is whether a reinspection justifies its cost. In this paper we propose a cost-benefit model for inspection and reinspection. We discuss the impact of cost and benefit parameters on the net gain of a reinspection with empirical data from an experiment in which 31 student teams inspected and reinspected a requirements document. Main findings of the experiment are: a) For reinspection benefits and net gain were significantly lower than for the initial inspection. Yet, the reinspection yielded a positive net gain for most teams with conservative cost-benefit assumptions. B) Both the estimated benefits and number of major defects are key factors for reinspection net gain, which emphasizes the need for appropriate estimation techniques.
A systematic review and meta‐analysis of adjuvant interferon therapy after curative treatment for patients with viral hepatitis‐related hepatocellular carcinoma

The efficacy of adjuvant interferon treatment for the management of patients with viral hepatitis‐related hepatocellular carcinoma (HCC) following curative treatment is controversial. We have conducted a systematic review with meta‐analysis to assess the effects of adjuvant interferon therapy on survival outcomes. Randomized and nonrandomized studies (NRSs) comparing adjuvant interferon treatment with the standard of care for viral hepatitis‐related HCC after curative treatment were included. CENTRAL, Medline, EMBASE and the Science Citation Index were searched with complementary manual searches. The primary outcomes were recurrence‐free survival (RFS) and overall survival (OS). Nine randomized trials and 13 NRSs were included in the meta‐analysis. These nine randomized trials included 942 participants, of whom, 490 were randomized to the adjuvant interferon treatment group and 452 to the control group. The results of meta‐analysis showed unexplained heterogeneity for both RFS and OS. The 13 NRSs included 2214 participants, of whom, 493 were assigned to the adjuvant interferon treatment group and 1721 to the control group. The results of meta‐analysis showed that, compared with controls, adjuvant interferon treatment significantly improved the RFS [hazard ratio (HR) 0.66, 95% confidence interval (CI) 0.52–0.84, I2 = 29%] and OS (HR 0.43, 95% CI 0.34–0.56, I2 = 0%) of patients with hepatitis C virus‐related HCC following curative treatment. There was little evidence for beneficial effects on patients with hepatitis B virus‐related HCC. Future research should be aimed at clarifying whether the effects of adjuvant interferon therapy are more prominent in hepatitis C patients with sustained virological responses.
Psychological Aspects of Widowhood and Divorce

Despite advances in standard of living of the population, the condition of widows and divorced women remains deplorable in society. The situation is worse in developing nations with their unique social, cultural and economic milieu, which at times ignores the basic human rights of this vulnerable section of society. A gap exists in life expectancies of men and women in both developing and developed nations. This, coupled with greater remarriage rates in men, ensures that the number of widows continues to exceed that of widowers. Moreover, with women becoming more educated, economically independent and aware of their rights, divorce rates are increasing along with associated psychological ramifications. The fact that widowed/divorced women suffer from varying psychological stressors is often ignored. It has been concluded in various studies that such stressors could be harbingers of psychiatric illnesses (e.g., depression, anxiety, substance dependence), and hence should be taken into account by treating physicians, social workers and others who come to the aid of such women. A change in mindset of the society is required before these women get their rightful place, for which a strong will is needed in the minds of the people, and in law-governing bodies.
Effects of Stimulation and Blockade of D2 Receptor on Depression-Like Behavior in Ovariectomized Female Rats

The aim of the present study was to explore the hedonic effects of D2 receptor agonist, quinpirole and D2 receptor antagonist, and sulpiride alone or in combination with a low dose of 17β-E2-estradiol (17β-E2) in the adult ovariectomized female rats (OVX). OVX rats of Wistar strain were used in all experiments. Two weeks after surgery rats were chronically treated with vehicle, a low dose of 17β-E2 (5.0 μg/rat), quinpirole (0.1 mg/kg), sulpiride (10.0 mg/kg), quinpirole plus 17β-E2, or sulpiride plus 17β-E2 for 14 days before the forced swimming test. We found that sulpiride significantly decreased immobility time in the OVX females. A combination of sulpiride with a low dose of 17β-E2 induced more profound decrease of immobility time in the OVX rats compared to the rats treated with sulpiride alone. On the contrary, quinpirole failed to modify depression-like behavior in the OVX rats. In addition, quinpirole significantly blocked the antidepressant-like effect of 17β-E2 in OVX rats. Thus, the D2 receptor antagonist sulpiride alone or in combination with a low dose of 17β-E2 exerted antidepressant-like effect in OVX female rats, while the D2 receptor agonist quinpirole produced depressant-like profile on OVX rats.
Sustainable intensification of agricultural production: a review of four soil amendments

Summary Dwindling natural resources, growing population pressure, climate change, and degraded soils threaten agricultural production. In order to feed the growing world population, we have to develop strategies to sustainably intensify current agricultural production while reducing the adverse effects of agriculture. Currently, a number of amendments have come into focus for improving structure and fertility of soils. Zeolites, biochar (BC), lime, and nitrification inhibitors (NIs) are reviewed for their properties. Zeolites and BC share many characteristics, such as a high cation exchange capacity (CEC), high specific surface area, and high porosity. Lime, on the other hand, works above all through its buffering capacity and can improve aggregate stability. Although the latter amendments change soil physicochemical characteristics, NIs do not act on soil properties but constrain a chemical/enzymatic reaction directly. These amendments are potential strategies to mitigate ongoing soil degradation and to secure soil fertility, under the global challenges. While the ecological effects of these soil amendments are studied intensively, the extent to which they can contribute to sustainable intensification is not fully explored. We want to contribute to the debate by providing an overview that seeks to integrate ecological evidence with the agronomic perspective.
Dating the Timeline of Financial Bubbles During the Subprime Crisis

A new recursive regression methodology is introduced to analyze the bubble characteristics of various financial time series during the subprime crisis. The methods modify a technique proposed in Phillips, Wu and Yu (2010) and provide a technology for identifying bubble behavior and consistent dating of their origination and collapse. The tests also serve as an early warning diagnostic of bubble activity. Seven relevant financial series are investigated, including three financial assets (the Nasdaq index, home price index and asset-backed commercial paper), two commodities (the crude oil price and platinum price), one bond rate (Baa), and one exchange rate (Pound/USD). Statistically significant bubble characteristics are found in all of these series. The empirical estimates of the origination and collapse dates suggest an interesting migration mechanism among the financial variables: a bubble first emerged in the equity market during mid-1995 lasting to the end of 2000, followed by a bubble in the real estate market between January 2001 and July 2007 and in the mortgage market between November 2005 and August 2007. After the subprime crisis erupted, the phenomenon migrated selectively into the commodity market and the foreign exchange market, creating bubbles which subsequently burst at the end of 2008, just as the effects on the real economy and economic growth became manifest. Our empirical estimates of the origination and collapse dates match well with the general datetimes of this crisis put forward in a recent study by Caballero, Farhi and Gourinchas (2008).
Comparing three-dimensional serial optical coherence tomography histology to MRI imaging in the entire mouse brain

Abstract. An automated serial histology setup combining optical coherence tomography (OCT) imaging with vibratome sectioning was used to image eight wild type mouse brains. The datasets resulted in thousands of volumetric tiles resolved at a voxel size of (4.9×4.9×6.5) μm3 stitched back together to give a three-dimensional map of the brain from which a template OCT brain was obtained. To assess deformation caused by tissue sectioning, reconstruction algorithms, and fixation, OCT datasets were compared to both in vivo and ex vivo magnetic resonance imaging (MRI) imaging. The OCT brain template yielded a highly detailed map of the brain structure, with a high contrast in white matter fiber bundles and was highly resemblant to the in vivo MRI template. Brain labeling using the Allen brain framework showed little variation in regional brain volume among imaging modalities with no statistical differences. The high correspondence between the OCT template brain and its in vivo counterpart demonstrates the potential of whole brain histology to validate in vivo imaging.
The RNA-dependent RNA polymerase essential for post-transcriptional gene silencing in Neurospora crassa interacts with replication protein A

Post-transcriptional gene silencing (PTGS) pathways play a role in genome defence and have been extensively studied, yet how repetitive elements in the genome are identified is still unclear. It has been suggested that they may produce aberrant transcripts (aRNA) that are converted by an RNA-dependent RNA polymerase (RdRP) into double-stranded RNA (dsRNA), the essential intermediate of PTGS. However, how RdRP enzymes recognize aberrant transcripts remains a key question. Here we show that in Neurospora crassa the RdRP QDE-1 interacts with Replication Protein A (RPA), part of the DNA replication machinery. We show that both QDE-1 and RPA are nuclear proteins and that QDE-1 is specifically recruited onto the repetitive transgenic loci. We speculate that this localization of QDE-1 could allow the in situ production of dsRNA using transgenic nascent transcripts as templates, as in other systems. Supporting a link between the two proteins, we found that the accumulation of short interfering RNAs (siRNAs), the hallmark of silencing, is dependent on an ongoing DNA synthesis. The interaction between QDE-1 and RPA is important since it should guide further studies aimed at understanding the specificity of the RdRP and it provides for the first time a potential link between a PTGS component and the DNA replication machinery.
The fascinating but deceptive ferritin: to measure it or not to measure it in chronic kidney disease?

Although the emergence of erythropoiesis-stimulating agents has revolutionized the anemia management of chronic kidney disease (CKD) in the past two decades, strategies to assess iron (Fe) status and to provide Fe supplementation have remained indistinct. The reported cases of hemochromatosis in dialysis patients from the pre-erythropoiesis-stimulating agent era along with the possible associations of Fe with infection and oxidative stress have fueled the "iron apprehension. " To date, no reliable marker of Fe stores in CKD has been agreed on. Serum ferritin continues to be the focus of attention. Almost half of all maintenance hemodialysis patients have a serum ferritin >500 ng/ml. In this ferritin range, Fe supplementation currently is not encouraged, although most reported hemochromatosis cases had a serum ferritin >2000 ng/ml. The moderate-range hyperferritinemia (500 to 2000 ng/ml) seems to be due mostly to non-Fe-related conditions, including inflammation, malnutrition, liver disease, infection, and malignancy. Recent epidemiologic studies have shown that a low, rather than a high, serum Fe is associated with a poor survival in maintenance hemodialysis patients. In multivariate adjusted models that mitigate the confounding effect of malnutrition-inflammation, serum ferritin <1200 ng/ml and Fe saturation ratio in 30 to 50% range are associated with the greatest survival in maintenance hemodialysis patients. Although ferritin is a fascinating molecule, moderate hyperferritinemia is a misleading marker of Fe stores in patients with CKD. It may be time to revisit the utility of serum ferritin in CKD and ask ourselves whether its measurement has helped us or has caused more confusion and controversy.
Immunomodulation by MYB is associated with tumor relapse in patients with early stage colorectal cancer

ABSTRACT The presence of tumor immune infiltrating cells (TILs), particularly CD8+ T-cells, is a robust predictor of outcome in patients with colorectal cancer (CRC). We revisited TIL abundance specifically in patients with microsatellite stable (MSS) CRC without evidence of lymph node or metastatic spread. Examination of the density of CD8+ T-cells in primary tumors in the context of other pro-oncogenic markers was performed to investigate potential regulators of TILs. Two independent cohorts of patients with MSS T2-4N0M0 CRC, enriched for cases with atypical relapse, were investigated. We quantified CD8+ and CD45RO+ -TILs, inflammatory markers, NFkBp65, pStat3, Cyclo-oxygenase-2 (COX2) and GRP78 as well as transcription factors (TF), β-catenin and MYB. High CD8+ TILs correlated with a better relapse-free survival in both cohorts (p = 0.002) with MYB and its target gene, GRP78 being higher in the relapse group (p = 0.001); no difference in pSTAT3 and p65 was observed. A mouse CRC (CT26) model was employed to evaluate the effect of MYB on GRP78 expression as well as T-cell infiltration. MYB over-expressing in CT26 cells increased GRP78 expression and the analysis of tumor-draining lymph nodes adjacent to tumors showed reduced T-cell activation. Furthermore, MYB over-expression reduced the efficacy of anti-PD-1 to modulate CT26 tumor growth. This high MYB and GRP78 show a reciprocal relationship with CD8+ TILs which may be useful refining the prediction of patient outcome. These data reveal a new immunomodulatory function for MYB suggesting a basis for further development of anti-GRP78 and/or anti-MYB therapies.
Sea level projections for the Australian region in the 21st century

Sea level rise exhibits significant regional differences. Based on Coupled Model Intercomparison Project Phase 5 (CMIP5) models, sea level projections have been produced for the Australian region by taking account of regional dynamic changes, ocean thermal expansion, mass loss of glaciers, changes in Greenland and Antarctic ice sheets and land water storage, and glacial isostatic adjustment. However, these regional projections have a coarse resolution (~100 km), while coastal adaptation planners demand finer scale information at the coast. To address this need, a 1/10° near‐global ocean model driven by ensemble average forcings from 17 CMIP5 models is used to downscale future climate. We produce high‐resolution sea level projections by combining downscaled dynamic sea level with other contributions. Off the southeast coast, dynamic downscaling provides better representation of high sea level projections associated with gyre circulation and boundary current changes. The high‐resolution sea level projection should be a valuable product for detailed coastal adaptation planning.
A structure in the early Universe at z ∼ 1.3 that exceeds the homogeneity scale of the R-W concordance cosmology

A Large Quasar Group (LQG) of particularly large size and high membership has been identified in the DR7QSO catalogue of the Sloan Digital Sky Survey. It has characteristic size (volume 1/3 ) � 500 Mpc (proper size, present epoch), longest dimension � 1240 Mpc, membership of 73 quasars, and mean redshift ¯ = 1.27. In terms of both size and membership it is the most extreme LQG found in the DR7QSO catalogue for the redshift range 1.0 6 z 6 1.8 of our current investigation. Its location on the sky is � 8.8 ◦ north (� 615 Mpc projected) of the Clowes & Campusano LQG at the same redshift, ¯ z = 1.28, which is itself one of the more extreme examples. Their boundaries approach to within � 2 ◦ (� 140 Mpc projected). This new, huge LQG appears to be the largest structure currently known in the early universe. Its size suggests incompatibility with the Yadav et al. scale of homogeneity for the concordance cosmology, and thus challenges the assumption of the cosmological principle.
Swing kinematics in skilled male golfers following putting practice.

STUDY DESIGN Control laboratory study consisting of preintervention and postintervention measurements. OBJECTIVE To determine the effects of a putting practice session on the kinematics of full golf swings made by skilled male golfers. BACKGROUND Skilled golfers perform putting practice for prolonged periods. The combination of sustained trunk flexion with minimal trunk motion may affect the endurance capacity of the trunk extensor muscles. Because of their important role in the golf swing, any impairment of the trunk extensors may negatively influence full-swing kinematics, but this has not been previously evaluated. METHODS AND MEASURES Three-dimensional swing kinematics and holding time on the Biering-Sørensen test of isometric trunk extensor endurance were evaluated in 29 skilled male golfers before and after performing a 40-minute putting task. RESULTS After the intervention, peak segmental speeds were reduced and total swing duration increased (mean +/- SD, 36 +/- 55 milliseconds). There were reductions in the magnitude of pelvis and torso axial rotation during the downswing (mean +/- SD, -2.3 degrees +/- 2.6 degrees and -2.3 degrees +/- 4.7 degrees , respectively). The peak difference between torso rotation and pelvis rotation during early downswing was also significantly reduced by 0.9 degrees +/- 2.0 degrees (P<.05). The effects on pelvis and torso rotation were smallest for golfers with higher body mass index (BMI). Holding time on the Biering-Sørensen test after putting practice was significantly reduced by 25.7 +/- 23.8 seconds (P = .01). CONCLUSION Changes in swing kinematics observed following 40 minutes of putting practice might have resulted from fatigue-related impairment of the trunk extensor muscles, a view supported by the poorer performance on the postintervention Biering-Sørensen test. Results showed that swing kinematics of golfers with high BMI were least affected by the putting practice. LEVEL OF EVIDENCE Harm, level 5.
Elastic Spatial Query Processing in OpenStack Cloud Computing Environment for Time-Constraint Data Analysis

Geospatial big data analysis (GBDA) is extremely significant for time-constraint applications such as disaster response. However, the time-constraint analysis is not yet a trivial task in the cloud computing environment. Spatial query processing (SQP) is typical computation-intensive and indispensable for GBDA, and the spatial range query, join query, and the nearest neighbor query algorithms are not scalable without using MapReduce-liked frameworks. Parallel SQP algorithms (PSQPAs) are trapped in screw-processing, which is a known issue in Geoscience. To satisfy time-constrained GBDA, we propose an elastic SQP approach in this paper. First, Spark is used to implement PSQPAs. Second, Kubernetes-managed Core Operation System (CoreOS) clusters provide self-healing Docker containers for running Spark clusters in the cloud. Spark-based PSQPAs are submitted to Docker containers, where Spark master instances reside. Finally, the horizontal pod auto-scaler (HPA) would scale-out and scale-in Docker containers for supporting on-demand computing resources. Combined with an auto-scaling group of virtual instances, HPA helps to find each of the five nearest neighbors for 46,139,532 query objects from 834,158 spatial data objects in less than 300 s. The experiments conducted on an OpenStack cloud demonstrate that auto-scaling containers can satisfy time-constraint GBDA in clouds.
Evolution of Burkholderia pseudomallei in Recurrent Melioidosis

Burkholderia pseudomallei, the etiologic agent of human melioidosis, is capable of causing severe acute infection with overwhelming septicemia leading to death. A high rate of recurrent disease occurs in adult patients, most often due to recrudescence of the initial infecting strain. Pathogen persistence and evolution during such relapsing infections are not well understood. Bacterial cells present in the primary inoculum and in late infections may differ greatly, as has been observed in chronic disease, or they may be genetically similar. To test these alternative models, we conducted whole-genome comparisons of clonal primary and relapse B. pseudomallei isolates recovered six months to six years apart from four adult Thai patients. We found differences within each of the four pairs, and some, including a 330 Kb deletion, affected substantial portions of the genome. Many of the changes were associated with increased antibiotic resistance. We also found evidence of positive selection for deleterious mutations in a TetR family transcriptional regulator from a set of 107 additional B. pseudomallei strains. As part of the study, we sequenced to base-pair accuracy the genome of B. pseudomallei strain 1026b, the model used for genetic studies of B. pseudomallei pathogenesis and antibiotic resistance. Our findings provide new insights into pathogen evolution during long-term infections and have important implications for the development of intervention strategies to combat recurrent melioidosis.