Beyond Worst-Case Analysis for Joins with Minesweeper

We describe a new algorithm, Minesweeper, that is able to satisfy stronger runtime guarantees than previous join algorithms (colloquially, `beyond worst-case guarantees') for data in indexed search trees. Our first contribution is developing a framework to measure this stronger notion of complexity, which we call {\it certificate complexity}, that extends notions of Barbay et al. and Demaine et al.; a certificate is a set of propositional formulae that certifies that the output is correct. This notion captures a natural class of join algorithms. In addition, the certificate allows us to define a strictly stronger notion of runtime complexity than traditional worst-case guarantees. Our second contribution is to develop a dichotomy theorem for the certificate-based notion of complexity. Roughly, we show that Minesweeper evaluates $\beta$-acyclic queries in time linear in the certificate plus the output size, while for any $\beta$-cyclic query there is some instance that takes superlinear time in the certificate (and for which the output is no larger than the certificate size). We also extend our certificate-complexity analysis to queries with bounded treewidth and the triangle query.Comment: [This is the full version of our PODS'2014 paper.

L'épreuve de la descendance chez le porc large white français de 1953 a 1966. I. – Analyse de la variation

International audienc

Improved Laboratory Transition Probabilities for Neutral Chromium and Re-determination of the Chromium Abundance for the Sun and Three Stars

Branching fraction measurements from Fourier transform spectra in conjunction with published radiative lifetimes are used to determine transition probabilities for 263 lines of neutral chromium. These laboratory values are employed to derive a new photospheric abundance for the Sun: log $\epsilon$(Cr I)$_{\odot}$ = 5.64$\pm$0.01 ($\sigma = 0.07$). These Cr I solar abundances do not exhibit any trends with line strength nor with excitation energy and there were no obvious indications of departures from LTE. In addition, oscillator strengths for singly-ionized chromium recently reported by the FERRUM Project are used to determine: log $\epsilon$(Cr II)$_{\odot}$ = 5.77$\pm$0.03 ($\sigma = 0.13$). Transition probability data are also applied to the spectra of three stars: HD 75732 (metal-rich dwarf), HD 140283 (metal-poor subgiant), and CS 22892-052 (metal-poor giant). In all of the selected stars, Cr I is found to be underabundant with respect to Cr II. The possible causes for this abundance discrepancy and apparent ionization imbalance are discussed.Comment: 44 pages, 6 figure

Molecular Epidemiology of Eastern Equine Encephalitis Virus, New York

Southern strains are undergoing amplification, perpetuation, and overwintering in New York

Improved Laboratory Transition Probabilities for Er II and Applications to the Erbium Abundances of the Sun and Five r-Process Rich, Metal-Poor Stars

Recent radiative lifetime measurements accurate to +/- 5% (Stockett et al. 2007, J. Phys. B 40, 4529) using laser-induced fluorescence (LIF) on 8 even-parity and 62 odd-parity levels of Er II have been combined with new branching fractions measured using a Fourier transform spectrometer (FTS) to determine transition probabilities for 418 lines of Er II. This work moves Er II onto the growing list of rare earth spectra with extensive and accurate modern transition probability measurements using LIF plus FTS data. This improved laboratory data set has been used to determine a new solar photospheric Er abundance, log epsilon = 0.96 +/- 0.03 (sigma = 0.06 from 8 lines), a value in excellent agreement with the recommended meteoric abundance, log epsilon = 0.95 +/- 0.03. Revised Er abundances have also been derived for the r-process-rich metal-poor giant stars CS 22892-052, BD+17 3248, HD 221170, HD 115444, and CS 31082-001. For these five stars the average Er/Eu abundance ratio, = 0.42, is in very good agreement with the solar-system r-process ratio. This study has further strengthened the finding that r-process nucleosynthesis in the early Galaxy which enriched these metal-poor stars yielded a very similar pattern to the r-process which enriched later stars including the Sun.Comment: 20 pages, 4 tables, 10 figures; To be published in the Astrophysical Journal Supplemen

Southern Galactic Plane Survey Measurements of the Spatial Power Spectrum of Interstellar H I in the Inner Galaxy

Using data from the Southern Galactic Plane Survey we have measured the spatial power spectrum of the interstellar neutral atomic hydrogen in the fourth Galactic quadrant. This function shows the same power law behavior that has been found for H I in the second quadrant of the Milky Way and in the Magellanic Clouds, with the same slope. When we average over velocity intervals broader than the typical small-scale velocity dispersion, we find that the slope steepens, from approx. -3 to -4 for the warm gas, as predicted by theories of interstellar turbulence if the column density fluctuations are dominated by variations in the gas density on small spatial scales. The cool gas shows a different increase of slope, that suggests that it is in the regime of turbulence dominated by fluctuations in the velocity field. Overall, these results confirm that the small scale structure and motions in the neutral atomic medium are well described by a turbulent cascade of kinetic energy.Comment: 20 pages with 8 figures, LaTeX. Accepted by Ap. J. (scheduled for ApJ Vol. 561 num. 2, November 10, 2001

Molecular Dynamics for Low Temperature Plasma-Surface Interaction Studies

The mechanisms of physical and chemical interactions of low temperature plasmas with surfaces can be fruitfully explored using molecular dynamics (MD) simulations. MD simulations follow the detailed motion of sets of interacting atoms through integration of atomic equations of motion, using inter-atomic potentials that can account for bond breaking and formation that result when energetic species from the plasma impact surfaces. This article summarizes the current status of the technique for various applications of low temperature plasmas to material processing technologies. The method is reviewed, and commonly used inter-atomic potentials are described. Special attention is paid to the use of MD in understanding various representative applications, including tetrahedral amorphous carbon film deposition from energetic carbon ions; the interactions of radical species with amorphous hydrogenated silicon films; silicon nano-particles in plasmas; and plasma etching.Comment: Manuscript #271801, Accepted in J. Phys. D, November 10th, 200

Technology-assisted stroke rehabilitation in Mexico: a pilot randomized trial comparing traditional therapy to circuit training in a Robot/technology-assisted therapy gym

Background Stroke rehabilitation in low- and middle-income countries, such as Mexico, is often hampered by lack of clinical resources and funding. To provide a cost-effective solution for comprehensive post-stroke rehabilitation that can alleviate the need for one-on-one physical or occupational therapy, in lower and upper extremities, we proposed and implemented a technology-assisted rehabilitation gymnasium in Chihuahua, Mexico. The Gymnasium for Robotic Rehabilitation (Robot Gym) consisted of low- and high-tech systems for upper and lower limb rehabilitation. Our hypothesis is that the Robot Gym can provide a cost- and labor-efficient alternative for post-stroke rehabilitation, while being more or as effective as traditional physical and occupational therapy approaches. Methods A typical group of stroke patients was randomly allocated to an intervention (n = 10) or a control group (n = 10). The intervention group received rehabilitation using the devices in the Robot Gym, whereas the control group (n = 10) received time-matched standard care. All of the study subjects were subjected to 24 two-hour therapy sessions over a period of 6 to 8 weeks. Several clinical assessments tests for upper and lower extremities were used to evaluate motor function pre- and post-intervention. A cost analysis was done to compare the cost effectiveness for both therapies. Results No significant differences were observed when comparing the results of the pre-intervention Mini-mental, Brunnstrom Test, and Geriatric Depression Scale Test, showing that both groups were functionally similar prior to the intervention. Although, both training groups were functionally equivalent, they had a significant age difference. The results of all of the upper extremity tests showed an improvement in function in both groups with no statistically significant differences between the groups. The Fugl-Meyer and the 10 Meters Walk lower extremity tests showed greater improvement in the intervention group compared to the control group. On the Time Up and Go Test, no statistically significant differences were observed pre- and post-intervention when comparing the control and the intervention groups. For the 6 Minute Walk Test, both groups presented a statistically significant difference pre- and post-intervention, showing progress in their performance. The robot gym therapy was more cost-effective than the traditional one-to-one therapy used during this study in that it enabled therapist to train up to 1.5 to 6 times more patients for the approximately same cost in the long term. Conclusions The results of this study showed that the patients that received therapy using the Robot Gym had enhanced functionality in the upper extremity tests similar to patients in the control group. In the lower extremity tests, the intervention patients showed more improvement than those subjected to traditional therapy. These results support that the Robot Gym can be as effective as traditional therapy for stroke patients, presenting a more cost- and labor-efficient option for countries with scarce clinical resources and funding. Trial registration ISRCTN98578807

The Imaging Magnetograph eXperiment (IMaX) for the Sunrise balloon-borne solar observatory

The Imaging Magnetograph eXperiment (IMaX) is a spectropolarimeter built by four institutions in Spain that flew on board the Sunrise balloon-borne telesocope in June 2009 for almost six days over the Arctic Circle. As a polarimeter IMaX uses fast polarization modulation (based on the use of two liquid crystal retarders), real-time image accumulation, and dual beam polarimetry to reach polarization sensitivities of 0.1%. As a spectrograph, the instrument uses a LiNbO3 etalon in double pass and a narrow band pre-filter to achieve a spectral resolution of 85 mAA. IMaX uses the high Zeeman sensitive line of Fe I at 5250.2 AA and observes all four Stokes parameters at various points inside the spectral line. This allows vector magnetograms, Dopplergrams, and intensity frames to be produced that, after reconstruction, reach spatial resolutions in the 0.15-0.18 arcsec range over a 50x50 arcsec FOV. Time cadences vary between ten and 33 seconds, although the shortest one only includes longitudinal polarimetry. The spectral line is sampled in various ways depending on the applied observing mode, from just two points inside the line to 11 of them. All observing modes include one extra wavelength point in the nearby continuum. Gauss equivalent sensitivities are four Gauss for longitudinal fields and 80 Gauss for transverse fields per wavelength sample. The LOS velocities are estimated with statistical errors of the order of 5-40 m/s. The design, calibration and integration phases of the instrument, together with the implemented data reduction scheme are described in some detail.Comment: 17 figure

Effect of pathology type and severity on the distribution of MRI signal intensities within the degenerated nucleus pulposus: application to idiopathic scoliosis and spondylolisthesis

<p>Abstract</p> <p>Background</p> <p>Disc degeneration is characterized by a loss of cellularity, degradation of the extracellular matrix, and, as a result, morphological changes and biomechanical alterations. We hypothesized that the distribution of the MR signal intensity within the nucleus zone of the intervertebral disc was modified according to the pathology and the severity of the pathology. The objective of this study was to propose new parameters characterizing the distribution of the signal intensity within the nucleus zone of lumbar intervertebral discs, and to quantify these changes in patients suffering from spondylolisthesis or idiopathic scoliosis.</p> <p>Methods</p> <p>A retrospective study had been performed on T2-weighted MR images of twenty nine patients suffering from spondylolisthesis and/or scoliosis. The high intensity zone of the nucleus pulposus was semi-automatically detected. The distance "DX" between the center weighted by the signal intensity and the geometrical center was quantified. The sum of the signal intensity on the axis perpendicular to the longitudinal axis of the disc was plotted for each position of the longitudinal axis allowing defining the maximum sum "SM" and its position "PSM".</p> <p>Results</p> <p>"SM" was clearly higher and "PSM" was more shifted for scoliosis than for spondylolisthesis. A two-way analysis of variance showed that the differences observed on "DX" were not attributed to the pathology nor its severity, the differences observed on "SM" were attributed to the pathology but not to its severity, and the differences observed on "PSM" were attributed to both the pathology and its severity.</p> <p>Conclusions</p> <p>The technique proposed in this study showed significant differences in the distribution of the MR signal intensity within the nucleus zone of intervertebral discs due to the pathology and its severity. The dependence of the "PSM" parameter to the severity of the pathology suggests this parameter as a predictive factor of the pathology progression. This new technique should be useful for the early diagnosis of intervertebral disc pathologies as it highlights abnormal patterns in the MRI signal for low severity of the pathology.</p