Miracle-dz/UniFAR-FTUs huggingface dataset:
Magnetic field inversions at 1 AU: Comparisons between mapping predictions and observations

Large‐scale magnetic field configurations are important for the transport of solar wind strahl electrons, which are suprathermal and directed along the field outward from the Sun. Strahl electrons are routinely used to infer not only the field configurations between the Sun and Earth but also local field structures, i.e., field inversions, where the magnetic field is locally folded back or inverted. Using solar wind data from ACE observations and a 2‐D data‐driven solar wind model with nonzero azimuthal magnetic field at the solar wind source surface, magnetic field lines are mapped between the Sun and Earth and beyond, in the solar equatorial plane. Standard verification metrics are used to assess, for five solar rotations at different phases of solar cycle 23, the performance of the mapping predictions for observed inversions, which are inferred from solar wind suprathermal electrons and magnetic fields measured by ACE. The probability of detection is consistently ≈0.70 across the different phases. The success ratio, the Hanssen‐Kuipers skill score, and the Heidke skill score are ≈0.55–0.70 for the four rotations in the rising, solar maximum, and declining phases, but ≈0.35–0.60 for the rotation near solar minimum, during which almost half of the samples have undetermined field configurations. Our analyses confirm the persistence of inversions throughout solar cycle 23, suggest for most observed inversions a solar/coronal origin at the wind's source surface or below, and predict that inversions should be less common for larger heliocentric distance r ∼> 3 AU than for smaller r.
Trace Eyeblink Conditioning in Mice Is Dependent upon the Dorsal Medial Prefrontal Cortex, Cerebellum, and Amygdala: Behavioral Characterization and Functional Circuitry1,2,3

Abstract Trace eyeblink conditioning is useful for studying the interaction of multiple brain areas in learning and memory. The goal of the current work was to determine whether trace eyeblink conditioning could be established in a mouse model in the absence of elicited startle responses and the brain circuitry that supports this learning. We show here that mice can acquire trace conditioned responses (tCRs) devoid of startle while head-restrained and permitted to freely run on a wheel. Most mice (75%) could learn with a trace interval of 250 ms. Because tCRs were not contaminated with startle-associated components, we were able to document the development and timing of tCRs in mice, as well as their long-term retention (at 7 and 14 d) and flexible expression (extinction and reacquisition). To identify the circuitry involved, we made restricted lesions of the medial prefrontal cortex (mPFC) and found that learning was prevented. Furthermore, inactivation of the cerebellum with muscimol completely abolished tCRs, demonstrating that learned responses were driven by the cerebellum. Finally, inactivation of the mPFC and amygdala in trained animals nearly abolished tCRs. Anatomical data from these critical regions showed that mPFC and amygdala both project to the rostral basilar pons and overlap with eyelid-associated pontocerebellar neurons. The data provide the first report of trace eyeblink conditioning in mice in which tCRs were driven by the cerebellum and required a localized region of mPFC for acquisition. The data further reveal a specific role for the amygdala as providing a conditioned stimulus-associated input to the cerebellum.
Stochastic Maximum Principle for Mean-Field Type Optimal Control Under Partial Information

This technical note is concerned with a partially observed optimal control problem, whose novel feature is that the cost functional is of mean-field type. Hence determining the optimal control is time inconsistent in the sense that Bellman's dynamic programming principle does not hold. A maximum principle is established using Girsanov's theorem and convex variation. Some nonlinear filtering results for backward stochastic differential equations (BSDEs) are developed by expressing the solutions of the BSDEs as some Itô's processes. An illustrative example is demonstrated in terms of the maximum principle and the filtering.
Combining Natural and Artificial Examples to Improve Implicit Discourse Relation Identification

This paper presents the first experiments on identifying implicit discourse relations (i.e., relations lacking an overt discourse connective) in French. Given the little amount of annotated data for this task, our system resorts to additional data automatically labeled using unambiguous connectives, a method introduced by (Marcu and Echihabi, 2002). We first show that a system trained solely on these artificial data does not generalize well to natural implicit examples, thus echoing the conclusion made by (Sporleder and Lascarides, 2008) for English. We then explain these initial results by analyzing the different types of distribution difference between natural and artificial implicit data. This finally leads us to propose a number of very simple methods, all inspired from work on domain adaptation, for combining the two types of data. Through various experiments on the French ANNODIS corpus, we show that our best system achieves an accuracy of 41.7%, corresponding to a 4.4% significant gain over a system solely trained on manually labeled data.
Optimization of Bioglass® Scaffold Fabrication Process

The production of mechanically reliable scaffolds from bioceramics for use in bone tissue engineering remains challenging. This paper describes the establishment of optimal processing parameters of Bioglass® scaffolds using the replication/slurry-dip-coating technique, based on theoretical design and experimental investigation. The foams fabricated under the optimized conditions, i.e., 5–20 μm particles and sintering at 1000°C–1100°C for 1–2 h, showed reproducible mechanical properties that could be predicted by Gibson and Ashby's theory. Excessively small (nano-sized) or overly large (>30 μm) particles both resulted in poor quality scaffolds with unsatisfactory mechanical performance, due to a high population of microcracks in struts and poor fusion between particles during sintering, respectively. In conclusion, a mechanically reliable scaffold can be achieved using Bioglass® and the replication/slurry-dip-coating technique, provided that the particle size of the Bioglass powder is within the range of 5–20 μm and an appropriate sintering program (1000°C–1100°C, 1–2 h) is used.
Cooperative Output Regulation With Application to Multi-Agent Consensus Under Switching Network

In this paper, we consider the cooperative output regulation of linear multi-agent systems under switching network. The problem can be viewed as a generalization of the leader-following consensus problem of multi-agent systems. Due to the limited information exchanges of different subsystems, the problem cannot be solved by the decentralized approach and is not allowed to be solved by the centralized control. By devising a distributed observer network, we can solve the problem by both dynamic state feedback control and dynamic measurement output feedback control. As an application of our main result, we show that a special case of our results leads to the solution of the leader-following consensus problem of linear multi-agent systems.
Mori-Tanaka Based Estimates of Effective Thermal Conductivity of Various Engineering Materials

The purpose of this paper is to present a simple micromechanics-based model to estimate the effective thermal conductivity of macroscopically isotropic materials of matrix-inclusion type. The methodology is based on the well-established Mori-Tanaka method for composite media reinforced with ellipsoidal inclusions, extended to account for imperfect thermal contact at the matrix-inclusion interface, random orientation of particles and particle size distribution. Using simple ensemble averaging arguments, we show that the Mori-Tanaka relations are still applicable for these complex systems, provided that the inclusion conductivity is appropriately modified. Such conclusion is supported by the verification of the model against a detailed finite-element study as well as its validation against experimental data for a wide range of engineering material systems.
Prediction of Stroke by Self-Measurement of Blood Pressure at Home Versus Casual Screening Blood Pressure Measurement in Relation to the Joint National Committee 7 Classification: The Ohasama Study

Background and Purpose— To compare the predictive power of self-measured home blood pressure (HBP) and casual blood pressure (CBP) for stroke risk in relation to the Joint National Committee 7 (JNC-7) classification. Methods— HBP and CBP measurements were taken in 1702 subjects (≥40 years) without a history of stroke, who were followed up for an average of 11 years. Subjects were classified into 4 groups on the basis of either HBP or CBP, according to the JNC-7 criteria: group 1 (HBP <115/75 mm Hg; CBP <120/80 mm Hg); group 2 (115/75≤HBP<135/85 mm Hg; 120/80≤CBP<140/90 mm Hg); group 3 (135/85≤HBP<150/95 mm Hg; 140/90≤CBP<160/100 mm Hg); and group 4 (HBP≥150/95 mm Hg; CBP ≥160/100 mm Hg). Groups 2, 3, and 4 were further divided into 2 subgroups (a and b): those without and with cardiovascular disease risks, respectively. The risk of the first stroke in these groups was examined by the Cox hazards model adjusted for age and sex. Results— The stroke risk in groups 3b and 4b (defined by HBP and CBP) was 2 to 5× higher than that in group 1 with significant differences. The risk in groups 2a, 3a, and even 4a was not significantly different from that in group 1 by the CBP-based classification, but the risk in group 4a was significantly higher than that in group 1 by the HBP-based classification, which also showed a stepwise increase in risk from groups 2a to 4a. Conclusions— The JNC-7 classification had a stronger predictive power using HBP-based classification compared with CBP-based classification, suggesting the usefulness of HBP in the management of hypertension.
A Dynamical System Modelling Approach to Gross' Model of Emotion Regulation

This paper introduces a computational model for emotion regulation formalising the model informally described by Gross (1998). The model has been constructed using a highlevel modelling language, and integrates both quantitative aspects (such as levels of emotional response) and qualitative aspects (such as decisions to regulate one’s emotion). A number of simulation experiments have been performed, demonstrating that the computational model successfully reflects the model as described by Gross.
Optimal transfer function neural networks

Neural networks use neurons of the same type in each layer but such architecture cannot lead to data models of optimal complexity and accuracy. Net- works with architectures (number of neurons, connections and type of neurons) optimized for a given problem are described here. Each neuron may implement transfer function of different type. Complexity of such networks is controlled by statistical criteria and by adding penalty terms to the error function. Results of numerical experiments on artificial data are reported.
Identification and characterization of an intervening sequence within the 23S ribosomal RNA genes of Campylobacter jejuni

Campylobacter jejuni is a significant cause of bacterial enteritis in humans. Three of seven C. jejuni isolates examined were found to contain fragmented 23S rRNA. The occurrence of fragmented 23S rRNA correlated with the presence of an intervening sequence (IVS) within the 23S rRNA genes. The IVS is 157 nucleotides in length and replaces an eight nucleotide sequence in the 23S rRNA genes of C. jejuni isolates that contain intact 23S rRNA. The two ends of the IVS share 31 bases of complementarity that could form a stem‐loop structure. Fragmentation of the 23S ribosomal RNA results from the excision of the IVS from the transcribed RNA; the 3’ cleavage site maps within the putative stem‐loop formed by the IVS. Southern hybridization analysis revealed that the IVS is not present in the genomes of isolates that contain intact 23S rRNA, suggesting that the IVS is not derived from Campylobacter chromosomal sequences. The C. jejuni IVS is located at a position analogous to that of the IVSs found in both Salmonella and Yersinia spp.
Sensitive and Specific Protein Sensing Using Single-Mode Tapered Fiber Immobilized With Biorecognition Molecules

We examine and demonstrate a biosensor using single-mode tapered fiber that has been immobilized with biorecognition molecules to sense targeted proteins. Interaction of evanescent waves with the external medium surrounding the tapered region produces an interferometric-patterned spectrum, which shifts correspondingly to any changes of refractive index (RI) in the external medium. The proposed setup managed to obtain an RI sensitivity and concentration sensitivity of 2526.8 nm/RIU and 20.368 nm/μM, respectively, which, to our knowledge, is highly sensitive when compared with previous studies. The dynamic performance, good specificity, and high sensitivity of the proposed method highlight an immensely beneficial choice for immunological diagnostics.
Review of Clinical Trials on Effects of Oral Antioxidants on Basic Semen and Other Parameters in Idiopathic Oligoasthenoteratozoospermia

Infertility affects 50 to 80 million people worldwide. Male factor is a cause of infertility in almost half of cases, mainly due to oligoasthenoteratozoospermia (OAT). With common diagnostic methods no cause can be found in approximately 30% of cases of male infertility due to OAT and these are considered idiopathic. Reactive oxygen species (ROS) play an important role in male infertility and are proved to be higher in infertile men; antioxidants could oppose their effect. The aim of this paper was to review the literature on clinical trials in the period from year 2000 to year 2013 studying the effects of various types of antioxidant supplements on basic and other sperm parameters and pregnancy rates in subfertile males with idiopathic OAT. The majority of studies were randomized and placebo controlled and confirmed beneficial effect of antioxidants on at least one of the semen parameters; the biggest effect was determined on sperm motility. In many of these trials combinations of more antioxidants were assessed. The optimal dosages of one or more antioxidants were not defined. We concluded that antioxidants play an important role in protecting semen from ROS and can improve basic sperm parameters in case of idiopathic OAT.
EDTA Inhibits Biofilm Formation, Extracellular Vesicular Secretion, and Shedding of the Capsular Polysaccharide Glucuronoxylomannan by Cryptococcus neoformans

ABSTRACT The fungal pathogen Cryptococcus neoformans can grow as a biofilm on a range of synthetic and prosthetic materials. Cryptococcal biofilm formation can complicate the placement of shunts used to relieve increased intracranial pressure in cryptococcal meningitis and can serve as a nidus for chronic infection. Biofilms are generally advantageous to pathogens in vivo, as they can confer resistance to antimicrobial compounds, including fluconazole and voriconazole in the case of C. neoformans. EDTA can inhibit biofilm formation by several microbes and enhances the susceptibility of biofilms to antifungal drugs. In this study, we evaluated the effect of sublethal concentrations of EDTA on the growth of cryptococcal biofilms. EDTA inhibited biofilm growth by C. neoformans, and the inhibition could be reversed by the addition of magnesium or calcium, implying that the inhibitory effect was by divalent cation starvation. EDTA also reduced the amount of the capsular polysaccharide glucuronoxylomannan shed into the biofilm matrix and decreased vesicular secretion from the cell, thus providing a potential mechanism for the inhibitory effect of this cation-chelating compound. Our data imply that the growth of C. neoformans biofilms requires the presence of divalent metals in the growth medium and suggest that cations are required for the export of materials needed for biofilm formation, possibly including extracellular vesicles.
Emergency department utilization patterns among older adults.

BACKGROUND We identified 4-year (2 years before and 2 years after the index [baseline] interview) ED use patterns in older adults and the factors associated with them. METHODS A secondary analysis of baseline interview data from the nationally representative Survey on Assets and Health Dynamics Among the Oldest Old linked to Medicare claims data. Participants were 4310 self-respondents 70 years old or older. Current Procedural Terminology (CPT) codes 99281 and 99282 identified low-intensity use, and CPT codes 99283-99285 identified high-intensity use. Exploratory factor analysis and multivariable multinomial logistic regression were used. RESULTS The majority (56.6%) of participants had no ED visits during the 4-year period. Just 5.7% had only low-intensity ED use patterns, whereas 28.9% used the ED only for high-intensity visits, and 8.7% had a mixture of low-intensity and high-intensity use. Participants with lower immediate word recall scores and those who did not live in major metropolitan areas were more likely to be low-intensity-only ED users. Older individuals, those who did not live in rural counties, had greater morbidity and functional status burdens, and lower immediate word recall scores were more likely to be high-intensity-only ED users. Participants who were older, did not live in major cities, had lower education levels, had greater morbidity and functional status burdens, and lower immediate word recall scores were more likely to have mixed ED use patterns. CONCLUSIONS Nearly half of these older adults used the ED at least once over a 4-year period, with a mean annual ED use percentage of 18.4. Few, however, used the ED only for visits that may have been avoidable. This finding suggests that triaging Medicare patients would not decrease ED overcrowding, although continued surveillance is necessary to detect potential changes in ED use patterns among older adults.
Faster Increases in Human Life Expectancy Could Lead to Slower Population Aging

Counterintuitively, faster increases in human life expectancy could lead to slower population aging. The conventional view that faster increases in human life expectancy would lead to faster population aging is based on the assumption that people become old at a fixed chronological age. A preferable alternative is to base measures of aging on people’s time left to death, because this is more closely related to the characteristics that are associated with old age. Using this alternative interpretation, we show that faster increases in life expectancy would lead to slower population aging. Among other things, this finding affects the assessment of the speed at which countries will age.
Composing annotations without regret? Practical experiences using FeatureC

Software product lines enable developers to derive similar products from a common code base. Existing implementation techniques can be categorized as composition‐based and annotation‐based approaches, with both approaches promising complementary benefits. However, annotation‐based approaches are commonly used in practice despite composition allowing physical separation of features and, thus, improving traceability and maintenance. A main hindrance to migrate annotated systems toward a composition‐based product line is the challenging and time‐consuming transformation task. For a company, it is difficult to predict the corresponding costs, and a successful outcome is uncertain. To overcome such problems, a solution proposed by the previous work is to use a hybrid approach, utilizing composition and annotation simultaneously. Based on this idea, we introduce a stepwise migration process from annotation‐based toward composition‐based approaches to lower the adoption barrier of composition. This process itself is independent of used implementation techniques and enables developers to incrementally migrate toward composition. We support our approach with detailed examples by partially migrating a real‐world system. In detail, we describe the following: (1) our migration process, (2) its application on a real‐world system, and (3) discuss practical challenges we face. We implemented the proposed approach and show that appropriate tool support helps to migrate toward composition‐based product lines. Based on the case study, we show that the hybrid product lines work correctly and can compete with the performance of the original annotated system. However, the results also illustrate open issues that have to be solved to apply such migrations in practice.
A Social Skills Training Program for Preschoolers with Developmental Delays

This investigation was designed to assess a social skills training program with 32 developmen-tally delayed preschoolers. Subjects were evaluated in an unstructured play session, matched for levels of appropriate and inappropriate social behaviors, and assigned to either a treatment or control condition. The treatment group (N = 16) was presented with a 6-week protocol involving positive reinforcement, modeling, rehearsal, feedback, and time out. Controls (N = 16) received no instruction beyond regular classroom activities during the 6 weeks. The two groups were reevaluated in a posttest session and again in a generalization setting where two peers with developmental delays (not included in either experimental condition) were included. Prosocial behaviors were successfully taught and maintained in generalization settings. Efforts to reduce inappropriate behaviors were less successful. A test of social validity via teachers' ratings of videotapes of pretest and posttest assessments was also conducted. Implications for generalization and social validity research are discussed.
On the Computational Complexity of Verifying One-Counter Processes

One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems over one-counter processes: model checking with the temporal logic EF, where formulas are given as directed acyclic graphs, and weak bisimilarity checking against finite systems. We show that both problems are $\P^\NP$-complete. This is achieved by establishing a close correspondence with the membership problem for a natural fragment of Presburger Arithmetic, which we show to be$\P^\NP$-complete. This fragment is also a suitable representation for the global versions of the problems. We also show that there already exists a fixed EF formula(resp. a fixed finite system) such that model checking (resp. weak bisimulation) over one-counter processes is hard for $\P^{\NP[\log]}$. However, the complexity drops to $\P$ if the one-counter process is fixed.