Miracle-dz/UniFAR-FTUs huggingface dataset:
A Neural Model of Rule Generation in Inductive Reasoning

Inductive reasoning is a fundamental and complex aspect of human intelligence. In particular, how do subjects, given a set of particular examples, generate general descriptions of the rules governing that set? We present a biologically plausible method for accomplishing this task and implement it in a spiking neuron model. We demonstrate the success of this model by applying it to the problem domain of Raven's Progressive Matrices, a widely used tool in the field of intelligence testing. The model is able to generate the rules necessary to correctly solve Raven's items, as well as recreate many of the experimental effects observed in human subjects.
Crucial Role of CB2 Cannabinoid Receptor in the Regulation of Central Immune Responses during Neuropathic Pain

Neuropathic pain is a clinical manifestation of nerve injury difficult to treat even with potent analgesic compounds. Here, we used different lines of genetically modified mice to clarify the role played by CB2 cannabinoid receptors in the regulation of the central immune responses leading to the development of neuropathic pain. CB2 knock-out mice and wild-type littermates were exposed to sciatic nerve injury, and both genotypes developed a similar hyperalgesia and allodynia in the ipsilateral paw. Most strikingly, knock-outs also developed a contralateral mirror image pain, associated with an enhanced microglial and astrocytic expression in the contralateral spinal horn. In agreement, hyperalgesia, allodynia, and microglial and astrocytic activation induced by sciatic nerve injury were attenuated in transgenic mice overexpressing CB2 receptors. These results demonstrate the crucial role of CB2 cannabinoid receptor in modulating glial activation in response to nerve injury. The enhanced manifestations of neuropathic pain were replicated in irradiated wild-type mice reconstituted with bone marrow cells from CB2 knock-outs, thus demonstrating the implication of the CB2 receptor expressed in hematopoietic cells in the development of neuropathic pain at the spinal cord.
Structure of Graphs with Locally Restricted Crossings

We consider relations between the size, treewidth, and local crossing number (maximum number of crossings per edge) of graphs embedded on topological surfaces. We show that an $n$-vertex graph embedded on a surface of genus $g$ with at most $k$ crossings per edge has treewidth $O(\sqrt{(g+1)(k+1)n})$ and layered treewidth $O((g+1)k)$, and that these bounds are tight up to a constant factor. As a special case, the $k$-planar graphs with $n$ vertices have treewidth $O(\sqrt{(k+1)n})$ and layered treewidth $O(k+1)$, which are tight bounds that improve a previously known $O((k+1)^{3/4}n^{1/2})$ treewidth bound. Analogous results are proved for map graphs defined with respect to any surface. Finally, we show that for $g<m$, every $m$-edge graph can be embedded on a surface of genus~$g$ with $O((m/(g+1))\log^2 g)$ crossings per edge, which is tight to a polylogarithmic factor.
Combined morphological-spectral unsupervised image segmentation

The goal of segmentation is to partition an image into disjoint regions, in a manner consistent with human perception of the content. For unsupervised segmentation of general images, however, there is the competing requirement not to make prior assumptions about the scene. Here, a two-stage method for general image segmentation is proposed, which is capable of processing both textured and nontextured objects in a meaningful fashion. The first stage extracts texture features from the subbands of the dual-tree complex wavelet transform. Oriented median filtering is employed, to circumvent the problem of texture feature response at step edges in the image. From the processed feature images, a perceptual gradient function is synthesised, whose watershed transform provides an initial segmentation. The second stage of the algorithm groups together these primitive regions into meaningful objects. To achieve this, a novel spectral clustering technique is proposed, which introduces the weighted mean cut cost function for graph partitioning. The ability of the proposed algorithm to generalize across a variety of image types is demonstrated.
Otoconia‐deficient mice show selective spatial deficits

The vestibular system contributes to the performance of various spatial memory tasks, but few studies have attempted to disambiguate the roles of the semicircular canals and otolith organs in this performance. This study tested the otolithic contribution to spatial working and reference memory by evaluating the performance of otoconia‐deficient tilted mice on a radial arm maze and a Barnes maze. One radial arm maze task provided both intramaze and extramaze cues, whereas the other task provided only extramaze cues. The Barnes maze task provided only extramaze cues. On the radial arm maze, tilted mice performed similar to control mice when intramaze cues were available, but committed more working and reference memory errors than control mice when only extramaze cues were available. On the Barnes maze task, control and tilted mice showed similar latency, distance, and errors during acquisition training. On the subsequent probe trial, both groups spent the greatest percentage of time in the goal quadrant, indicating they were able to use extramaze cues to guide their search. Overall, these results suggest signals originating in the otolith organs contribute to spatial memory, but are not necessary for all aspects of spatial performance. © 2014 Wiley Periodicals, Inc.
Enhancing the usefulness of the Mini-BESTest for measuring dynamic balance: a Rasch validation study.

BACKGROUND Recently, a new balance scale, the Mini-BESTest, was introduced. This scale can be administered in about 15 min, and focuses on "dynamic balance". In spite of the recently increased use of this scale, further psychometric studies seem called for to enhance confidence in its use in different fields of clinical practice and research. AIM To re-examine through Rasch analysis the metric properties of the Mini-BESTest and provide a nomogram that allow to quickly transform raw scores of the scale into linear estimates of dynamic balance. DESIGN Observational cross-sectional study. SETTING Rehabilitation hospital. POPULATION A total of 234 patients were consecutively admitted with a variety of neurological diseases causing balance impairment. METHODS Internal construct validity was assessed by determining how well data fit the Rasch model. Reliability was estimated for both persons and items. Scale unidimensionality and local independence of items were analysed performing a principal component analysis (PCA) on the standardized residuals. Also, a differential item functioning (DIF) analysis was run to assess the stability of item calibration across subsamples of patients. RESULTS All 14 items of Mini-BESTest fitted the "dynamic balance" construct, i.e., the mean of the squared residuals for both the infit and outfit was between 0.8 and 1.2. The person abilities-item difficulty matching was very good. The reliability indices of the Mini-BESTest were as follows: person separation index=3.24 and person reliability=0.91; item separation index=12.00 and item reliability=0.99. The PCA of standardized residuals showed that the variance attributable to the Rasch factor was good (68%) and the eigenvalue of the unexplained variance in the first contrast was just 1.9, thus confirming the unidimensionality of the scale. No DIF was found across gender and age groups. CONCLUSION The reliability indexes confirmed their high values, giving a high degree of conﬁdence in the consistency of both person-ability and item-difficulty estimates. Results allowed to transform the ordinal summed raw scores of the Mini-BESTest into interval-level measurements using a nomogram. Since no significant local dependence between items was found, this means that each Mini-BESTest item is appropriate for measuring the variable of interest (dynamic balance) and not redundant. DIF analysis showed the stability of item hierarchy and difficulty among subsamples of patients of different gender and age. CLINICAL REHABILITATION IMPACT This study further increases confidence in use of the Mini-BESTest for clinical assessment of dynamic balance in patients undergoing rehabilitation.
Teaching peer review and the process of scientific writing.

Many undergraduate and graduate students understand neither the process of scientific writing nor the significance of peer review. In response, some instructors have created writing assignments that teach or mimic parts of the scientific publishing process. However, none fully reproduced peer review and revision of papers together with the writing and publishing process from research to final, accepted draft. In addition, most have been instituted at the graduate rather than undergraduate level. We present a detailed method for teaching undergraduate students the full scientific publishing process, including anonymous peer review, during the process of writing a "term paper. " The result is a review article in the format for submission to a major scientific journal. This method has been implemented in the course Cell and Molecular Biology for Engineers at the University of Virginia. Use of this method resulted in improved grades, much higher quality in the final manuscript, greater objectivity in grading, and improved understanding of the importance of peer review.
Cultural adaptation in measuring common client characteristics with an urban Mainland Chinese sample

Abstract Objectives: This study aimed to develop a culturally adapted version of the Systematic Treatment Selection-Innerlife (STS) in China. Methods: A total of 300 nonclinical participants collected from Mainland China and 240 nonclinical US participants were drawn from archival data. A Chinese version of the STS was developed, using translation and back-translation procedures. After confirmatory factor analysis (CFA) of the original STS sub scales failed on both samples, exploratory factor analysis (EFA) was then used to access whether a simple structure would emerge on these STS treatment items. Parallel analysis and minimum average partial were used to determine the number of factor to retain. Results: Three cross-cultural factors were found in this study, Internalized Distress, Externalized Distress and interpersonal relations. Conclusions: This supported that regardless of whether one is in presumably different cultural contexts of the USA or China, psychological distress is expressed in a few basic channels of internalized distress, externalized distress, and interpersonal relations, from which different manifestations in different culture were also discussed.
Revisiting the controller placement problem

The controller placement problem (CPP) is one of the key challenges of software defined networks to increase performance. Given the locations of switches, CPP consists of choosing the controller locations that minimize the latency between switches and controllers. In its current form, however, CPP assumes a fixed traffic and no existing solutions adapt the placement to the load. In this paper, we introduce the dynamic controller placement problem that consists of (i) determining the locations of controller modules to bound communication latencies, and of (ii) determining the number of controllers per module to support the load. We propose, LiDy, a solution that combines a controller placement algorithm with a dynamic flow management algorithm. We evaluate the latency and the controller utilization of LiDy on sparse and dense regions. Our results show that, in all settings, LiDy achieves a higher utilization than the most recent controller placement solution.
Contemporary Reviews in Cardiovascular Medicine Dietary Sodium Intake in Heart Failure

Dietary sodium restriction is arguably the most frequent self-care behavior recommended to patients with heart failure (HF)1,2 and is endorsed by all HF guidelines.2–10 However, the data on which this recommendation is drawn are modest, and the limited trials conducted have produced inconsistent findings. Americans consume 3700 mg sodium daily,11 whereas the US Department of Agriculture and the Department of Health and Human Services recommend 2300 mg daily intake for the general population, with a stricter recommendation of 1500 mg/d for those 50 years of age, blacks, or individuals with hypertension, diabetes mellitus, or chronic kidney disease.12 According to a recent report from the National Health and Nutrition Examination Survey, although 47.6% of persons aged 2 years meet the criteria to limit daily sodium intake to 1500 mg, the usual intake for 98.6% of those persons was 1500 mg; in 88.2% of the remaining population, daily intake was greater than the recommended 2300 mg.13 The American Heart Association now recommends sodium intake of 1500 mg/d for all Americans,14 similar to the recommendation by the Institute of Medicine.15 Interestingly, and paradoxically, the suggested 1500 mg daily sodium intake for the general population is less than the limit proposed for HF patients by most guidelines, which appears as a contradiction. Whether this contradiction suggests inconsistent policy or a limited understanding of sodium homeostasis in the HF versus non-HF state is debatable. Sodium homeostasis physiology is altered in HF as opposed to healthy individuals and those with hypertension, and may partially explain these incongruous recommendations. This review summarizes the studies assessing the effects of sodium restriction in HF, highlighting knowledge gaps and future directions.
Human placenta and fetal membranes contain peptide YY1-36 and peptide YY3-36.

Extracts of human term amniotic, placental, and chorion/decidua tissue contained, respectively, 4.36 +/- 2.79 (pmol/g wet wt; mean +/- S.E.M.: n = 5). 2.78 +/- 0.5 (n = 5) and 0.68 +/- 0.68 (n = 5) peptide YY (PYY)-like immunoreactivity. Using a specific PYY antiserum, gel filtration chromatography and reverse-phase high performance liquid chromatography (HLPC), amniotic, placental and fetal intestinal tissue extracts were demonstrated to contain PYY-like immunoreactivity consisting of equal amounts of PYY1-36 and PYY3-36. The presence of pancreatic polypeptide was not detected in any of the extracts. Positive immunohistochemical staining for PYY was seen in extravillous trophoblasts in the decidual septa and fetal membranes, the syncytiotrophoblast and cytotrophoblasts, amniotic epithelial cells and in maternal decidual stromal cells. Positive staining for PYY was found at the earliest date examined (9.5 weeks) and remained present throughout pregnancy to term. PYY1-36 and PYY3-36 may play important roles in human pregnancy, acting via endocrine or paracrine mechanisms.
The Impact of Climate Change on U.S. Agriculture: The Roles of Adaptation Techniques and Emissions Reductions

We investigate the impact of climate change on U.S. agricultural productivity using county-level yield and weather data from 1950 to 2015. We present two new methods of modelling how producers adapt agricultural techniques to harsh temperatures, including a new panel data estimator that allows for two-dimensional fixed-effects in slopes. We find evidence of adaptation to geographic and temporal variation in climate, but it has stalled since 1989. We show that adaptation implies fixed-effects slope heterogeneity in the relationship between crop yield and temperature, and ignoring this leads to biased estimates of temperature sensitivity. We use our estimates to project corn yields to 2100 using a variety of climate models and emission scenarios, and find that unmitigated climate change will have severe effects on yields. Our models indicate that adaptation techniques can mitigate 10 to 45% of the damage, but significant emissions reductions can mitigate far more (i.e., 42 to 91%).
The Effects of Reduced Gluten Barley Diet on Humoral and Cell-Mediated Systemic Immune Responses of Gluten-Sensitive Rhesus Macaques

Celiac disease (CD) affects approximately 1% of the general population while an estimated additional 6% suffers from a recently characterized, rapidly emerging, similar disease, referred to as non-celiac gluten sensitivity (NCGS). The only effective treatment of CD and NCGS requires removal of gluten sources from the diet. Since required adherence to a gluten-free diet (GFD) is difficult to accomplish, efforts to develop alternative treatments have been intensifying in recent years. In this study, the non-human primate model of CD/NCGS, e.g., gluten-sensitive rhesus macaque, was utilized with the objective to evaluate the treatment potential of reduced gluten cereals using a reduced gluten (RG; 1% of normal gluten) barley mutant as a model. Conventional and RG barleys were used for the formulation of experimental chows and fed to gluten-sensitive (GS) and control macaques to determine if RG barley causes a remission of dietary gluten-induced clinical and immune responses in GS macaques. The impacts of the RG barley diet were compared with the impacts of the conventional barley-containing chow and the GFD. Although remission of the anti-gliadin antibody (AGA) serum responses and an improvement of clinical diarrhea were noted after switching the conventional to the RG barley diet, production of inflammatory cytokines, e.g., interferon-gamma (IFN-γ), tumor necrosis factor (TNF) and interleukin-8 (IL-8) by peripheral CD4+ T helper lymphocytes, persisted during the RG chow treatment and were partially abolished only upon re-administration of the GFD. It was concluded that the RG barley diet might be used for the partial improvement of gluten-induced disease but its therapeutic value still requires upgrading—by co-administration of additional treatments.
Computers and Mathematics with Applications New Exact Traveling Wave Solutions for the Klein–gordon–zakharov Equations

Keywords: The extended hyperbolic functions method Klein–Gordon–Zakharov equations Explicit and exact solutions Solitary wave solutions Periodic wave solutions a b s t r a c t Based on the extended hyperbolic functions method, we obtain the multiple exact explicit solutions of the Klein–Gordon–Zakharov equations. The solutions obtained in this paper include (a) the solitary wave solutions of bell-type for u and n, (b) the solitary wave solutions of kink-type for u and bell-type for n, (c) the solitary wave solutions of a compound of the bell-type and the kink-type for u and n, (d) the singular traveling wave solutions, (e) periodic traveling wave solutions of triangle function types, and solitary wave solutions of rational function types. We not only rederive all known solutions of the Klein–Gordon–Zakharov equations in a systematic way but also obtain several entirely new and more general solutions. The variety of structures of the exact solutions of the Klein–Gordon–Zakharov equations is illustrated.
Proper Generalized Decomposition Method Applied to Solve 3-D Magnetoquasi-Static Field Problems Coupling With External Electric Circuits

In the domain of numerical computation, proper generalized decomposition (PGD), which consist in approximating the solution by a truncated sum of separable functions, is applied more and more in mechanics, and has shown its efficiency in terms of computation time and memory requirements. We propose to evaluate the PGD method to solve three-dimensional (3-D) quasi-static field problems coupling with an external electric circuit. The numerical model, obtained from the PGD formulation, is used to study the 3-D examples. The results are compared with those obtained when solving the full original problem. It is shown in this paper that the computation time rate versus the number of time steps is very small compared with the one in a classical time-stepping method, and can be very efficient to solve problems when small time steps are required.
Probabilistic Generation of Weather Forecast Texts

This paper reports experiments in which pC RU — a generation framework that combines probabilistic generation methodology with a comprehensive model of the generation space — is used to semi-automatically create several versions of a weather forecast text generator. The generators are evaluated in terms of output quality, development time and computational efficiency against (i) human forecasters, (ii) a traditional handcrafted pipelined NLG system, and (iii) a HALOGEN-style statistical generator. The most striking result is that despite acquiring all decision-making abilities automatically, the best pC RU generators receive higher scores from human judges than forecasts written by experts.
The inner structure of the S0 galaxy NGC 3384

We re-investigate the lenticular galaxy NGC 3384, a member of the Leo I galaxy group, using HST and multi-colour Calar Alto observations. Various approaches are used to visualize the two known peculiar components, the so-called inner component (IC) and the elongated component (EC), on the HST images. The methods were checked in detail using synthetical images from simulated galaxies. For the first time, we make the IC as well as the inner part of the EC visible on direct images. The results confirm both the bar-like appearance of the inner EC and the quasi-elliptical shape of the IC. The IC resembles an inclined disk where the surface brightness becomes successively shallower towards the centre compared to an exponential profile. The orientation of the inner part of the EC is perpendicular to the major axis of the IC. The broad-band colour indices are shown to be in agreement with model predictions for a 5 to 7 Gyr old stellar population of quasi-solar metallicity. No significant large-scale variations of the colour indices over the main body of the galaxy are found. We discuss the previously reported colour gradients close to the nucleus and argue that the most plausible explanation is reddening by small amounts of dust though unsharp masked HST images do not provide significant hints for clumpy dust. According to the episodic dust settling scenario suggested by Lauer et al. (2005), the very low dust fraction indicates that NGC 3384 is in a post-activity phase and at the beginning of a new dust-settling cycle. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)
Psychological Mechanisms Running head: PSYCHOLOGICAL MECHANISMS Identifying Psychological Mechanisms Underpinning a Cognitive Behavioural Therapy Intervention for Emotional Burnout

One hundred employees of a UK government department were randomly assigned to one of two conditions: (1) a worksite, group-based, CBT intervention called Acceptance and Commitment Therapy (ACT; n = 43), which aimed to increase participants’ psychological flexibility; and, (2) a waitlist control group (control; n = 57). The ACT group received three half-day sessions of training spread over two and a half months. Data were collected at baseline (T1), at the beginning of the second (T2) and third (T3) workshops, and at six months follow-up (T4). Consistent with ACT theory, analyses revealed that, in comparison to the control group, a significant increase in psychological flexibility from T2 to T3 in the ACT group mediated the subsequent T2 to T4 decrease in emotional exhaustion in the ACT group. Consistent with a theory of emotional burnout development, this significant decrease in emotional exhaustion from T2 to T4 in the ACT group prevented the significant T3 to T4 increase in depersonalization seen in the control group. Strain also decreased from T2 to T3 in the ACT group, only, but no mediator of that improvement was identified. Discussion focuses on implications for theory and practice in the fields of ACT and emotional burnout.