Miracle-dz/UniFAR-FTUs huggingface dataset:
Direct Measurement of Low‐Energy Electron Foreshock Beams

Electrostatic plasma waves above and below the local electron plasma frequency represent a characteristic feature of the foreshock region. These waves are known to be generated by electron beams originating from the bow shock and their spectrum varies from narrowband intense waves close to foreshock edge to weaker broadband emissions further downstream. We present a statistical analysis of electron beams observed in the terrestrial foreshock by the Cluster spacecraft. We compared the energy of foreshock electron beams with the spectrum of electrostatic waves and established a clear correspondence between beam energy and spectrum of the waves. The broadband emissions are correlated with low‐energy beams, while high‐energy electron beams are associated with narrowband Langmuir waves. Next we solved the linear dispersion relation for a subset of observed electron plasma distributions. We discovered that while the observed electron distributions often exhibit a “bump on tail” feature necessary for an instability, the observed combination of beam energy, density, and temperature typically corresponds to a stable situation. This indicates that strongly unstable electron beams are quickly dissipated by the quasi‐linear processes and only stable or marginally stable beams persist long enough to be observed by the instrument.
Medium-term effects of Dynesys dynamic stabilization versus posterior lumbar interbody fusion for treatment of multisegmental lumbar degenerative disease

Objective To compare the medium-term clinical and radiographic outcomes of Dynesys dynamic stabilization and posterior lumbar interbody fusion (PLIF) for treatment of multisegmental lumbar degenerative disease. Methods Fifty-seven patients with multisegmental lumbar degenerative disease underwent Dynesys stabilization (n = 26) or PLIF (n = 31) from December 2008 to February 2010. The mean follow-up period was 50.3 (range, 46–65) months. Clinical outcomes were evaluated using a visual analogue scale (VAS) and the Oswestry disability index (ODI). Radiographic evaluations included disc height and range of motion (ROM) of the operative segments and proximal adjacent segment on lumbar flexion-extension X-rays. The intervertebral disc signal change was defined by magnetic resonance imaging, and disc degeneration was classified by the Pfirrmann grade. Results The clinical outcomes including the VAS score and ODI were significantly improved in both groups at 3 months and the final follow-up, but the difference between the two was not significant. At the final follow-up, the disc height of stabilized segments in both groups was significantly increased; the increase was more notable in the Dynesys than PLIF group. The ROM of stabilized segments at the final follow-up decreased from 6.20° to 2.76° and 6.56° to 0.00° in the Dynesys and PLIF groups, respectively. There was no distinct change in the height of the proximal adjacent segment in the two groups. The ROM of the proximal adjacent segment in both groups increased significantly at the final follow-up; the change was significantly greater in the PLIF than Dynesys group. Only one case of adjacent segment degeneration occurred in the PLIF group, and this patient underwent a second operation. Conclusions Both Dynesys stabilization and PLIF can improve the clinical and radiographic outcomes of multisegmental lumbar degenerative disease. Compared with PLIF, Dynesys stabilization can maintain the mobility of the stabilized segments with less influence on the proximal adjacent segment and may help to prevent the occurrence of adjacent segment degeneration. Dynesys is reliable for the treatment of multisegmental lumbar degenerative disease at the medium-term follow-up.
Infrared Mass-to-Light Profile throughout the Infall Region of the Coma Cluster

Using a redshift survey of 1779 galaxies and photometry from the Two Micron All Sky Survey covering 200 deg2, we calculate independent mass and light profiles for the infall region of the Coma Cluster of galaxies. The redshift survey is complete to Ks = 12.2 (622 galaxies), 1.2 mag fainter than M at the distance of Coma. We confirm the mass profile obtained by Geller, Diaferio, and Kurtz. The enclosed mass-to-light ratio measured in the Ks band is approximately constant to a radius of 10 h-1 Mpc, where M/L = 75 ± 23 h M☉/L☉, in agreement with weak-lensing results on similar scales. Within 2.5 h-1 Mpc, X-ray estimates yield similar mass-to-light ratios (67 ± 32 h). The constant enclosed mass-to-light ratio with radius suggests that the K-band light from bright galaxies in clusters traces the total mass on scales ≲10 h-1 Mpc. Uncertainties in the mass profile imply that the mass-to-light ratio inside r200 may be as much as a factor of 2.5 larger than that outside r200. These data demonstrate that the K-band light is not positively biased with respect to the mass; we cannot rule out antibias. These results imply that Ωm = 0.17 ± 0.05. Estimates of possible variations in M/L with radius suggest that the density parameter is no smaller than Ωm ≈ 0.08.
Linear and non-linear behavior of mechanical resonators for optimized inertial electromagnetic microgenerators

In this work, the design, fabrication and characterization of an electromagnetic inertial microgenerator compatible with Si micro-systems technology is presented. The device includes a fixed micromachined coil and a movable magnet mounted on a resonant polymeric structure. The characterization of the fabricated prototypes has allowed to observe the presence of non-linear effects that lead to the appearance of hysteretic vibrational phenomenon and strongly affect the output of the microgenerator. These effects are likely related to the mechanical characteristics of the polymeric membrane, and determine an additional dependence of vibration frequency on the excitation amplitude. Under such non-linear conditions, power densities up to 40 μW/cm3 are obtained for devices working with low level excitation conditions similar to those present in domestic and office environment.
Video Streaming and Multimedia Broadcasting Over Vehicular Ad Hoc Networks

Video dissemination capabilities are crucial for the deployment of many services over VANETs. These services range from enhancing safety via the dissemination of video from the scene of an accident, to advertisement of local services or businesses. This work considers the infrastructure-less scenario of VANETs and dissemination of video content over this network environment, which is extremely challenging mainly due to its dynamic topology and stringent requirements for video streaming. This study discusses issues and challenges that need to be tackled for disseminating high-quality video over VANETs. Furthermore it surveys and analyzes the suitability of different existing solutions aimed towards effective and efficient techniques for video dissemination in vehicular networks. As a result, a set of the most promising techniques are selected, described in detail and evaluated based on standard terms in quality of service. This thesis also discusses efficiency and suitability of these techniques for video dissemination and compares their performance over the same network condition. In addition, a detailed study on the effect of network coding on video dissemination protocols has been conducted to guide how to employ this technique properly for video streaming over VANETs. From this study, a summary of the observations was obtained and used to design a new hybrid solution by deploying robust and efficient techniques in number of existing protocols in an optimal manner. The proposed hybrid video dissemination protocol outperforms other protocols in term of delivery ratio and complies with other quality-of-service requirements for video broadcasting over vehicular environments.
Improved decoding of Reed-Solomon and algebraic-geometry codes

Given an error-correcting code over strings of length n and an arbitrary input string also of length n, the list decoding problem is that of finding all codewords within a specified Hamming distance from the input string. We present an improved list decoding algorithm for decoding Reed-Solomon codes. The list decoding problem for Reed-Solomon codes reduces to the following "curve-fitting" problem over a field F: given n points ((x/sub i//spl middot/y/sub i/))/sub i=1//sup n/, x/sub i/, y/sub i//spl isin/F, and a degree parameter k and error parameter e, find all univariate polynomials p of degree at most k such that y/sub i/=p(x/sub i/) for all but at most e values of i/spl isin/(1,.,n). We give an algorithm that solves this problem for e 1/3, where the result yields the first asymptotic improvement in four decades. The algorithm generalizes to solve the list decoding problem for other algebraic codes, specifically alternant codes (a class of codes including BCH codes) and algebraic-geometry codes. In both cases, we obtain a list decoding algorithm that corrects up to n-/spl radic/(n(n-d')) errors, where n is the block length and d' is the designed distance of the code. The improvement for the case of algebraic-geometry codes extends the methods of Shokrollahi and Wasserman (see in Proc. 29th Annu. ACM Symp. Theory of Computing, p.241-48, 1998) and improves upon their bound for every choice of n and d'. We also present some other consequences of our algorithm including a solution to a weighted curve-fitting problem, which may be of use in soft-decision decoding algorithms for Reed-Solomon codes.
Observing Expertise-Related Actions Leads to Perfect Time Flow Estimations

The estimation of the time of exposure of a picture portraying an action increases as a function of the amount of movement implied in the action represented. This effect suggests that the perceiver creates an internal embodiment of the action observed as if internally simulating the entire movement sequence. Little is known however about the timing accuracy of these internal action simulations, specifically whether they are affected by the level of familiarity and experience that the observer has of the action. In this study we asked professional pianists to reproduce different durations of exposure (shorter or longer than one second) of visual displays both specific (a hand in piano-playing action) and non-specific to their domain of expertise (a hand in finger-thumb opposition and scrambled-pixels) and compared their performance with non-pianists. Pianists outperformed non-pianists independently of the time of exposure of the stimuli; remarkably the group difference was particularly magnified by the pianists’ enhanced accuracy and stability only when observing the hand in the act of playing the piano. These results for the first time provide evidence that through musical training, pianists create a selective and self-determined dynamic internal representation of an observed movement that allows them to estimate precisely its temporal duration.
Methylmercury Exposure and Incident Diabetes in U.S. Men and Women in Two Prospective Cohorts

OBJECTIVE Emerging in vitro and animal evidence suggests that methylmercury could increase type 2 diabetes, but little evidence exists in humans. We aimed to prospectively determine associations of mercury exposure, as assessed by biomarker measurement, with incident diabetes. RESEARCH DESIGN AND METHODS We used neutron activation analysis to measure toenail mercury, an objective biomarker of methylmercury exposure, in 9,267 adults free of diabetes at baseline in two separate U.S. prospective cohorts. Incident diabetes was identified from biennial questionnaires and confirmed by validated supplementary questionnaire using symptoms, diagnostic tests, and medical therapy. Associations of mercury exposure with incident diabetes were assessed using Cox proportional hazards. RESULTS During mean ± SD follow-up of 19.7 ± 7.0 years, 1,010 new cases of diabetes were diagnosed. The 95th percentile of toenail mercury was 1.32 μg/g in men and 0.76 μg/g in women, corresponding to exposures ∼3.5-fold and 2-fold higher than the U.S. Environmental Protection Agency reference dose. In multivariable analyses, toenail mercury concentrations were not associated with higher incidence of diabetes in women, men, or both cohorts combined. Comparing the highest to lowest quintile of exposure, the hazard ratio (95% CI) for incident diabetes was 0.86 (0.66–1.11) in women, 0.69 (0.42–1.15) in men, and 0.77 (0.61–0.98) in the combined cohorts. Findings were similar when more extreme categories (deciles) of mercury were compared, and in analyses stratified by fish or omega-3 consumption, BMI, and age. CONCLUSIONS These findings from two separate large prospective cohorts do not support adverse effects of methylmercury on development of diabetes in men or women at usual levels of exposure seen in these populations.
Dual enhancement of T and NK cell function by pulsatile inhibition of SHIP1 improves antitumor immunity and survival

Intermittent inhibition of the phosphatase SHIP1 promotes antitumor immunity and memory in mouse models of lymphoma and colon cancer. Finding the right balance in immunotherapy To stimulate the immune system’s activity against tumors, therapies often inhibit the regulatory pathways that suppress or counteract stimulatory signaling in immune cells. The phosphatase SHIP1 is one such target; however, chronic inhibition or genetic ablation of SHIP1 in mouse models of cancer fails to induce effective antitumor immunity, perhaps because chronic activation causes immune cell exhaustion. Gumbleton et al. found that, instead, a pulsatile regimen of SHIP1 inhibition not only enhanced the antitumor activity of critical populations of immune cells and extended the survival of mice with lymphoma and colon cancer but also induced immunological memory against the tumor cells. This treatment strategy may thus be effective at killing various types of tumors and preventing relapse in cancer patients. The success of immunotherapy in some cancer patients has revealed the profound capacity for cytotoxic lymphocytes to eradicate malignancies. Various immunotherapies work by blocking key checkpoint proteins that suppress immune cell activity. The phosphatase SHIP1 (SH2-containing inositol polyphosphate 5-phosphatase) limits signaling from receptors that activate natural killer (NK) cells and T cells. However, unexpectedly, genetic ablation studies have shown that the effector functions of SHIP1-deficient NK and T cells are compromised in vivo. Because chronic activation of immune cells renders them less responsive to activating signals (a host mechanism to avoid autoimmunity), we hypothesized that the failure of SHIP1 inhibition to induce antitumor immunity in those studies was caused by the permanence of genetic ablation. Accordingly, we found that reversible and pulsatile inhibition of SHIP1 with 3-α-aminocholestane (3AC; “SHIPi”) increased the antitumor response of NK and CD8+ T cells in vitro and in vivo. Transient SHIP1 inhibition in mouse models of lymphoma and colon cancer improved the median and long-term tumor-free survival rates. Adoptive transfer assays showed evidence of immunological memory to the tumor in hematolymphoid cells from SHIPi-treated, long-term surviving mice. The findings suggest that a pulsatile regimen of SHIP1 inhibition might be an effective immunotherapy in some cancer patients.
Estimating the probability of demonstrating vaccine efficacy in the declining Ebola epidemic: a Bayesian modelling approach

Objectives We investigate the chance of demonstrating Ebola vaccine efficacy in an individually randomised controlled trial implemented in the declining epidemic of Forécariah prefecture, Guinea. Methods We extend a previously published dynamic transmission model to include a simulated individually randomised controlled trial of 100 000 participants. Using Bayesian methods, we fit the model to Ebola case incidence before a trial and forecast the expected dynamics until disease elimination. We simulate trials under these forecasts and test potential start dates and rollout schemes to assess power to detect efficacy, and bias in vaccine efficacy estimates that may be introduced. Results Under realistic assumptions, we found that a trial of 100 000 participants starting after 1 August had less than 5% chance of having enough cases to detect vaccine efficacy. In particular, gradual recruitment precludes detection of vaccine efficacy because the epidemic is likely to go extinct before enough participants are recruited. Exclusion of early cases in either arm of the trial creates bias in vaccine efficacy estimates. Conclusions The very low Ebola virus disease incidence in Forécariah prefecture means any individually randomised controlled trial implemented there is unlikely to be successful, unless there is a substantial increase in the number of cases.
Main drivers of transparent exopolymer particle distribution across the surface Atlantic Ocean

Abstract. Transparent exopolymer particles (TEPs) are a class of gel particles, produced mainly by microorganisms, which play important roles in biogeochemical processes such as carbon cycling and export. TEPs (a) are colonized by carbon-consuming microbes; (b) mediate aggregation and sinking of organic matter and organisms, thereby contributing to the biological carbon pump; and (c) accumulate in the surface microlayer (SML) and affect air–sea gas exchange. The first step to evaluate the global influence of TEPs in these processes is the prediction of TEP occurrence in the ocean. Yet, little is known about the physical and biological variables that drive their abundance, particularly in the open ocean. Here we describe the horizontal TEP distribution, along with physical and biological variables, in surface waters along a north–south transect in the Atlantic Ocean during October–November 2014. Two main regions were separated due to remarkable differences: the open Atlantic Ocean (OAO, n=30), and the Southwestern Atlantic Shelf (SWAS, n=10). TEP concentration in the entire transect ranged 18.3–446.8 µg XG eq L−1 and averaged 117.1±119.8 µg XG eq L−1, with the maximum concentrations in the SWAS and in a station located at the edge of the Canary Coastal Upwelling (CU), and the highest TEP to chlorophyll a (TEP:Chl a) ratios in the OAO (183±56) and CU (1760). TEPs were significantly and positively related to Chl a and phytoplankton biomass, expressed in terms of C, along the entire transect. In the OAO, TEPs were positively related to some phytoplankton groups, mainly Synechococcus. They were negatively related to the previous 24 h averaged solar irradiance, suggesting that sunlight, particularly UV radiation, is more a sink than a source for TEP. Multiple regression analyses showed the combined positive effect of phytoplankton and heterotrophic prokaryotes (HPs) on TEP distribution in the OAO. In the SWAS, TEPs were positively related to high nucleic acid-containing prokaryotic cells and total phytoplankton biomass, but not to any particular phytoplankton group. Estimated TEP–carbon constituted an important portion of the particulate organic carbon pool in the entire transect (28 %–110 %), generally higher than the phytoplankton and HP carbon shares, which highlights the importance of TEPs in the cycling of organic matter in the ocean.
THE EFFECT OF DIETARY ENERGY AND PROTEIN ON CARCASS COMPOSITION WITH A NOTE ON A METHOD FOR ESTIMATING CARCASS COMPOSITION.

Abstract THE importance of considering carcass composition of animals reared for meat purposes has long been appreciated (Lawes and Gilbert, 1859; Haecker, 1920; McMeekan, 1940). In large animals, especially swine, a great deal of work has been done in developing rations and methods of feeding which would produce carcasses of desired composition at the time of slaughter (Crampton et al., 1954; Hill and O’Carroll, 1962; and others). Although much work has been done in developing rations to finish chickens, there is little information available on the influence of diet on carcass composition at time of marketing except for some studies on the effect of hormones (Donovan and Sherman, 1960; and Bogdonoff et al., 1961) and antibiotics (Jukes et al., 1957). It is becoming increasingly important to consider not only weight gain and feed efficiency of meat animals but also their carcass composition. The increased demands of the processor for broilers of…
SyGuS-Comp 2016: Results and Analysis

Syntax-Guided Synthesis (SyGuS) is the computational problem of finding an implementation f that meets both a semantic constraint given by a logical formula $\varphi$ in a background theory T, and a syntactic constraint given by a grammar G, which specifies the allowed set of candidate implementations. Such a synthesis problem can be formally defined in SyGuS-IF, a language that is built on top of SMT-LIB. The Syntax-Guided Synthesis Competition (SyGuS-Comp) is an effort to facilitate, bring together and accelerate research and development of efficient solvers for SyGuS by providing a platform for evaluating different synthesis techniques on a comprehensive set of benchmarks. In this year's competition we added a new track devoted to programming by examples. This track consisted of two categories, one using the theory of bit-vectors and one using the theory of strings. This paper presents and analyses the results of SyGuS-Comp'16.
Identification of nif genes in N2‐fixing bacterial strains isolated from rice fields along the Yangtze River Plain

The aim of this research was to identify nifH and nifHDKYE ′ genes in twenty strains of N2‐fixing heterotrophic bacteria isolated from rice fields in the Yangtze River Plain. Southern hybridization of the total DNA from each strain was performed with the Klebsiella pneumoniae nifHDKYE ′ gene probe (6.2 kb Eco RI fragment from pSA30) and the Azospirillum brasilense nifH gene probe (0.6 kb Eco RI‐Hin dIII fragment from pHU8). We found that Eco RI fragments of total DNA from Aeromonas hydrophila HY2, Bacillus azotoformans FD, Bacillus licheniformis NCH1, NCH5, WH4, Bacillus brevis NC2, Bacillus pumilus NC12, Bacillus cereus NCH2, Citrobacter freundii HY5, HY9, Derxia gummosa HZ5, Pseudomonas mendocina HZ1 and Pseudomonas pseudoalcaligenes WH3 were positively hybridized with both of the probes. Agrobacterium radiobacter HY17, Corynebacterium sp. HY12, YZ and Pseudomonas sp. HY11 had Eco RI fragments hybridized with the K. pneumoniae nifHDKYE ′ gene probe. An Eco RI fragment of total DNA from Bacillus megaterium YY4 was positively hybridized to the A. brasilense nifH gene probe. No hybridization sign was found in the total DNA fragments from Alcaligenes cupidus YY6 and Corynebacterium sp. NC11 hybridized with either of the gene probes. The data provide the number and size of EcoRI fragments of the total DNA hybridized with the nif gene probes for these strains of rarely studied species, suggesting additional evidence for N2 fixing and nif gene diversity of N2‐fixing bacteria in rice fields along the Yangtze River Plain. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)