Self reported aggravating activities do not demonstrate a consistent directional pattern in chronic non specific low back pain patients: An observational study

Question: Do the self-reported aggravating activities of chronic non-specific low back pain patients demonstrate a consistent directional pattern? Design: Cross-sectional observational study. Participants: 240 chronic non specific low back pain patients. Outcome measure: We invited experienced clinicians to classify each of the three self-nominated aggravating activities from the Patient Specific Functional Scale by the direction of lumbar spine movement. Patients were described as demonstrating a directional pattern if all nominated activities moved the spine into the same direction. Analyses were undertaken to determine if the proportion of patients demonstrating a directional pattern was greater than would be expected by chance. Results: In some patients, all tasks did move the spine into the same direction, but this proportion did not differ from chance (p = 0.328). There were no clinical or demographic differences between those who displayed a directional pattern and those who did not (all p > 0.05). Conclusion: Using patient self-reported aggravating activities we were unable to demonstrate the existence of a consistent pattern of adverse movement in patients with chronic non-specific low back pain

Transcutaneous Electrical Nerve Stimulation (TENS) for chronic pain - an overview of Cochrane reviews (Protocol)

This is the protocol for a review and there is no abstract. The objectives are as follows: To provide an overview of evidence from Cochrane systematic reviews of the effectiveness of TENS to reduce pain in adults with chronic pain (excluding headache or migraine). To provide an overview of evidence from Cochrane systematic reviews of the safety of TENS to reduce pain in adults with chronic pain (excluding headache or migraine). To identify possible sources of inconsistency in the approaches taken to evaluating the evidence related to TENS for chronic pain (excluding headache or migraine) in the Cochrane Library with a view to recommending strategies to improve consistency. To highlight areas of remaining uncertainty regarding the effectiveness of TENS for chronic pain (excluding headache or migraine) with a view to recommending strategies to reduce any uncertainty

A reification calculus for model-oriented software specification

This paper presents a transformational approach to the derivation of implementations from model-oriented specifications of abstract data types. The purpose of this research is to reduce the number of formal proofs required in model refinement, which hinder software development. It is shown to be appli- cable to the transformation of models written in Meta-iv (the specification lan- guage of Vdm) towards their refinement into, for example, Pascal or relational DBMSs. The approach includes the automatic synthesis of retrieve functions between models, and data-type invariants. The underlying algebraic semantics is the so-called final semantics “`a la Wand”: a specification “is” a model (heterogeneous algebra) which is the final ob ject (up to isomorphism) in the category of all its implementations. The transformational calculus approached in this paper follows from exploring the properties of finite, recursively defined sets. This work extends the well-known strategy of program transformation to model transformation, adding to previous work on a transformational style for operation- decomposition in META-IV. The model-calculus is also useful for improving model-oriented specifications.(undefined

Quantifying Robotic Swarm Coverage

In the field of swarm robotics, the design and implementation of spatial density control laws has received much attention, with less emphasis being placed on performance evaluation. This work fills that gap by introducing an error metric that provides a quantitative measure of coverage for use with any control scheme. The proposed error metric is continuously sensitive to changes in the swarm distribution, unlike commonly used discretization methods. We analyze the theoretical and computational properties of the error metric and propose two benchmarks to which error metric values can be compared. The first uses the realizable extrema of the error metric to compute the relative error of an observed swarm distribution. We also show that the error metric extrema can be used to help choose the swarm size and effective radius of each robot required to achieve a desired level of coverage. The second benchmark compares the observed distribution of error metric values to the probability density function of the error metric when robot positions are randomly sampled from the target distribution. We demonstrate the utility of this benchmark in assessing the performance of stochastic control algorithms. We prove that the error metric obeys a central limit theorem, develop a streamlined method for performing computations, and place the standard statistical tests used here on a firm theoretical footing. We provide rigorous theoretical development, computational methodologies, numerical examples, and MATLAB code for both benchmarks.Comment: To appear in Springer series Lecture Notes in Electrical Engineering (LNEE). This book contribution is an extension of our ICINCO 2018 conference paper arXiv:1806.02488. 27 pages, 8 figures, 2 table

Characterization of the seismic environment at the Sanford Underground Laboratory, South Dakota

An array of seismometers is being developed at the Sanford Underground Laboratory, the former Homestake mine, in South Dakota to study the properties of underground seismic fields and Newtonian noise, and to investigate the possible advantages of constructing a third-generation gravitational-wave detector underground. Seismic data were analyzed to characterize seismic noise and disturbances. External databases were used to identify sources of seismic waves: ocean-wave data to identify sources of oceanic microseisms, and surface wind-speed data to investigate correlations with seismic motion as a function of depth. In addition, sources of events contributing to the spectrum at higher frequencies are characterized by studying the variation of event rates over the course of a day. Long-term observations of spectral variations provide further insight into the nature of seismic sources. Seismic spectra at three different depths are compared, establishing the 4100-ft level as a world-class low seismic-noise environment.Comment: 29 pages, 16 figure

A Symmetric Approach to Compilation and Decompilation

Just as specializing a source interpreter can achieve compilation from a source language to a target language, we observe that specializing a target interpreter can achieve compilation from the target language to the source language. In both cases, the key issue is the choice of whether to perform an evaluation or to emit code that represents this evaluation. We substantiate this observation by specializing two source interpreters and two target interpreters. We first consider a source language of arithmetic expressions and a target language for a stack machine, and then the lambda-calculus and the SECD-machine language. In each case, we prove that the target-to-source compiler is a left inverse of the source-to-target compiler, i.e., it is a decompiler. In the context of partial evaluation, compilation by source-interpreter specialization is classically referred to as a Futamura projection. By symmetry, it seems logical to refer to decompilation by target-interpreter specialization as a Futamura embedding

Global and Local Three-dimensional Studies of The Residual Vector Field from 2MASS and Hipparcos-2 Catalog

[EN] The Gaia mission will provide a six-parameter solution for millions of stars, including a tridimensional map of our Galaxy. The estimation of distances has been made for the Tycho-Gaia Astrometric Solution (TGAS), while to contrast the proper motions it is interesting to consider positions from the different Gaia Data Release with older ones given in ground-based massive catalogs. This process has been followed to build, for example, the PMA catalog using the 2MASS. Our aim is to improve the positions of this catalog (although the process is applicable to any other). The first stage, presented here, consists of carrying out a three-dimensional study using vector spherical harmonics (VSH) development of the systematisms in position for the stars common with Hipparcos-2; we take into account the distances, magnitudes, and spectral types. To this aim, we use linear polynomial regression of first order that fits vector fields and the derivatives of their components. We verify that the coefficients of the developments of first order have different behavior according to the characteristics of stars and distances. To deepen the study, we focus on the conservative component of the field, applying the Helmholtz theorem. Each potential function is obtained solving a Poisson equation on the sphere, after finding the divergence of the corresponding vector field. Both vector and potential fields present patterns, at certain points, that depend on the three considered parameters (distance, magnitude, and spectral type); their sources and shrinks correspond to maxima and minima. In this sense, we observe that these critical points are also critical points of the surface that represents the VT magnitude of Tycho-2, which makes sense because this catalog was used in the reduction of 2MASS positions. Finally, we selected some stars near the critical points of the vector fields and apply the adjustments obtained in the previous sections. The difference with the positions in DR1 allows us to compare the proper motions: those from the PMA and those induced after our corrections.This paper was partially supported by the UJI-B2016-18, 16I356 project.Marco Castillo, FJ.; Martínez Uso, MJ.; Lopez, J. (2019). Global and Local Three-dimensional Studies of The Residual Vector Field from 2MASS and Hipparcos-2 Catalog. Publications of the Astronomical Society of the Pacific. 131(998):1-22. https://doi.org/10.1088/1538-3873/aaed5dS122131998Akhmetov, V. S., Fedorov, P. N., Velichko, A. B., & Shulga, V. M. (2017). The PMA Catalogue: 420 million positions and absolute proper motions. Monthly Notices of the Royal Astronomical Society, 469(1), 763-773. doi:10.1093/mnras/stx812Arenou, F., Luri, X., Babusiaux, C., Fabricius, C., Helmi, A., Robin, A. C., … Bragaglia, A. (2017). Gaia Data Release 1. Astronomy & Astrophysics, 599, A50. doi:10.1051/0004-6361/201629895Astraatmadja, T. L., & Bailer-Jones, C. A. L. (2016). ESTIMATING DISTANCES FROM PARALLAXES. II. PERFORMANCE OF BAYESIAN DISTANCE ESTIMATORS ON AGAIA-LIKE CATALOGUE. The Astrophysical Journal, 832(2), 137. doi:10.3847/0004-637x/832/2/137Astraatmadja, T. L., & Bailer-Jones, C. A. L. (2016). ESTIMATING DISTANCES FROM PARALLAXES. III. DISTANCES OF TWO MILLION STARS IN THEGaiaDR1 CATALOGUE. The Astrophysical Journal, 833(1), 119. doi:10.3847/1538-4357/833/1/119Bailer-Jones, C. A. L. (2015). Estimating Distances from Parallaxes. Publications of the Astronomical Society of the Pacific, 127(956), 994-1009. doi:10.1086/683116Davies, G. R., Lund, M. N., Miglio, A., Elsworth, Y., Kuszlewicz, J. S., North, T. S. H., … Schofield, M. (2017). Using red clump stars to correct theGaiaDR1 parallaxes. Astronomy & Astrophysics, 598, L4. doi:10.1051/0004-6361/201630066Gontcharov, G. A. (2017). Systematic error of the Gaia DR1 TGAS parallaxes from data for the red giant clump. Astronomy Letters, 43(8), 545-558. doi:10.1134/s1063773717060044Jeffreys, S. H. (1967). A Completeness Theorem for Expansions of a Vector Function in Spherical Harmonics. Geophysical Journal International, 12(5), 465-468. doi:10.1111/j.1365-246x.1967.tb03126.xLindegren, L., Lammers, U., Bastian, U., Hernández, J., Klioner, S., Hobbs, D., … Butkevich, A. (2016). GaiaData Release 1. Astronomy & Astrophysics, 595, A4. doi:10.1051/0004-6361/201628714Lindegren, L., Lammers, U., Hobbs, D., O’Mullane, W., Bastian, U., & Hernández, J. (2012). The astrometric core solution for theGaiamission. Astronomy & Astrophysics, 538, A78. doi:10.1051/0004-6361/201117905Makarov, V. V., & Murphy, D. W. (2007). The Local Stellar Velocity Field via Vector Spherical Harmonics. The Astronomical Journal, 134(1), 367-375. doi:10.1086/518242Marco, F. J., Martínez, M. J., & López, J. A. (2004). A critical discussion on parametric and nonparametric regression methods applied to Hipparcos-FK5 residuals. Astronomy & Astrophysics, 418(3), 1159-1170. doi:10.1051/0004-6361:20034441Marco, F. J., Martínez, M. J., & López, J. A. (2013). Homogenization in compiling ICRF combined catalogs. Astronomy & Astrophysics, 558, A98. doi:10.1051/0004-6361/201321995Marco, F. J., Martínez, M. J., & López, J. A. (2015). APPLICATION OF VECTOR SPHERICAL HARMONICS AND KERNEL REGRESSION TO THE COMPUTATIONS OF OMM PARAMETERS. The Astronomical Journal, 149(4), 129. doi:10.1088/0004-6256/149/4/129Masry, E., & Jianqing Fan. (1997). Local Polynomial Estimation of Regression Functions for Mixing Processes. Scandinavian Journal of Statistics, 24(2), 165-179. doi:10.1111/1467-9469.00056Michalik, D., Lindegren, L., & Hobbs, D. (2015). TheTycho-Gaiaastrometric solution. Astronomy & Astrophysics, 574, A115. doi:10.1051/0004-6361/201425310Michalik, D., Lindegren, L., Hobbs, D., & Lammers, U. (2014). Joint astrometric solution of HIPPARCOS andGaia. Astronomy & Astrophysics, 571, A85. doi:10.1051/0004-6361/201424606Mignard, F., & Klioner, S. (2012). Analysis of astrometric catalogues with vector spherical harmonics. Astronomy & Astrophysics, 547, A59. doi:10.1051/0004-6361/201219927De Ridder, J., Molenberghs, G., Eyer, L., & Aerts, C. (2016). Asteroseismic versusGaiadistances: A first comparison. Astronomy & Astrophysics, 595, L3. doi:10.1051/0004-6361/201629799Roeser, S., Demleitner, M., & Schilbach, E. (2010). THE PPMXL CATALOG OF POSITIONS AND PROPER MOTIONS ON THE ICRS. COMBINING USNO-B1.0 AND THE TWO MICRON ALL SKY SURVEY (2MASS). The Astronomical Journal, 139(6), 2440-2447. doi:10.1088/0004-6256/139/6/2440Röser, S., Schilbach, E., Schwan, H., Kharchenko, N. V., Piskunov, A. E., & Scholz, R.-D. (2008). PPM-Extended (PPMX) – a catalogue of positions and proper motions. Astronomy & Astrophysics, 488(1), 401-408. doi:10.1051/0004-6361:200809775Schönrich, R., & Aumer, M. (2017). Assessing distances and consistency of kinematics in Gaia/TGAS. Monthly Notices of the Royal Astronomical Society, 472(4), 3979-3998. doi:10.1093/mnras/stx2189Schwan, H. (2001). An analytical representation of the systematic differences HIPPARCOS-FK5. Astronomy & Astrophysics, 367(3), 1078-1086. doi:10.1051/0004-6361:20000521Simonoff, J. S. (1996). Smoothing Methods in Statistics. Springer Series in Statistics. doi:10.1007/978-1-4612-4026-6Skrutskie, M. F., Cutri, R. M., Stiening, R., Weinberg, M. D., Schneider, S., Carpenter, J. M., … Wheelock, S. (2006). The Two Micron All Sky Survey (2MASS). The Astronomical Journal, 131(2), 1163-1183. doi:10.1086/498708Stassun, K. G., & Torres, G. (2016). EVIDENCE FOR A SYSTEMATIC OFFSET OF −0.25 mas IN THE GAIA DR1 PARALLAXES. The Astrophysical Journal, 831(1), L6. doi:10.3847/2041-8205/831/1/l6Van Leeuwen, F. (2007). Validation of the new Hipparcos reduction. Astronomy & Astrophysics, 474(2), 653-664. doi:10.1051/0004-6361:20078357Van Leeuwen, F. (Ed.). (2007). Hipparcos, the New Reduction of the Raw Data. Astrophysics and Space Science Library. doi:10.1007/978-1-4020-6342-8Vityazev, V. V., & Tsvetkov, A. S. (2009). Analysis of the three-dimensional stellar velocity field using vector spherical functions. Astronomy Letters, 35(2), 100-113. doi:10.1134/s1063773709020042Vityazev, V. V., & Tsvetkov, A. S. (2011). Application of vector spherical harmonics for kinematic analysis of stars from zonal catalogues. Astronomy Letters, 37(12), 874-887. doi:10.1134/s1063773711120103Vityazev, V. V., & Tsvetkov, A. S. (2013). UCAC4: Stellar kinematics with vector spherical functions. Astronomische Nachrichten, 334(8), 760-768. doi:10.1002/asna.201311917Vityazev, V. V., & Tsvetkov, A. S. (2014). Intercomparison of kinematics derived from catalogues UCAC4, PPMXL and XPM with vector spherical harmonics. Monthly Notices of the Royal Astronomical Society, 442(2), 1249-1264. doi:10.1093/mnras/stu953Vityazev, V. V., & Tsvetkov, A. S. (2015). Systematic differences between the positions and proper motions of stars from the PPMXL and UCAC4 catalogs. Astronomy Letters, 41(7), 317-333. doi:10.1134/s1063773715070063Vityazev, V. V., Tsvetkov, A. S., Petrov, S. D., Trofimov, D. A., & Kiyaev, V. I. (2017). Properties of the Tycho-2 catalogue from Gaia data release. Astronomy Letters, 43(11), 730-750. doi:10.1134/s106377371711007xVityazev, V. V., Tsvetkov, A. S., Bobylev, V. V., & Bajkova, A. T. (2017). Galactic Kinematics Derived From Data in the RAVE5, UCAC4, PPMXL, and Gaia TGAS Catalogs. Astrophysics, 60(4), 462-483. doi:10.1007/s10511-017-9499-0Vityazev, V. V., Tsvetkov, A. S., Petrov, S. D., & Trofimov, D. A. (2017). Comparison of XPM and UCAC4 catalogues in the galactic coordinate system. Astronomische Nachrichten, 338(4), 489-502. doi:10.1002/asna.201613220Zacharias, N., Finch, C., & Frouard, J. (2017). UCAC5: New Proper Motions UsingGaiaDR1. The Astronomical Journal, 153(4), 166. doi:10.3847/1538-3881/aa6196Zacharias, N., Finch, C. T., Girard, T. M., Henden, A., Bartlett, J. L., Monet, D. G., & Zacharias, M. I. (2013). THE FOURTH US NAVAL OBSERVATORY CCD ASTROGRAPH CATALOG (UCAC4). The Astronomical Journal, 145(2), 44. doi:10.1088/0004-6256/145/2/44Zacharias, N., Urban, S. E., Zacharias, M. I., Hall, D. M., Wycoff, G. L., Rafferty, T. J., … Winter, L. (2000). The First US Naval Observatory CCD Astrograph Catalog. The Astronomical Journal, 120(4), 2131-2147. doi:10.1086/301563Zacharias, N., Urban, S. E., Zacharias, M. I., Wycoff, G. L., Hall, D. M., Monet, D. G., & Rafferty, T. J. (2004). The Second US Naval Observatory CCD Astrograph Catalog (UCAC2). The Astronomical Journal, 127(5), 3043-3059. doi:10.1086/386353Zinn, J. C., Huber, D., Pinsonneault, M. H., & Stello, D. (2017). Evidence for Spatially CorrelatedGaiaParallax Errors in theKeplerField. The Astrophysical Journal, 844(2), 166. doi:10.3847/1538-4357/aa7c1

Sub-femto-g free fall for space-based gravitational wave observatories: LISA pathfinder results

We report the first results of the LISA Pathfinder in-flight experiment. The results demonstrate that two free-falling reference test masses, such as those needed for a space-based gravitational wave observatory like LISA, can be put in free fall with a relative acceleration noise with a square root of the power spectral density of 5.2 ± 0.1 fm s−2/√Hz or (0.54 ± 0.01) × 10−15 g/√Hz, with g the standard gravity, for frequencies between 0.7 and 20 mHz. This value is lower than the LISA Pathfinder requirement by more than a factor 5 and within a factor 1.25 of the requirement for the LISA mission, and is compatible with Brownian noise from viscous damping due to the residual gas surrounding the test masses. Above 60 mHz the acceleration noise is dominated by interferometer displacement readout noise at a level of (34.8 ± 0.3) fm/√Hz, about 2 orders of magnitude better than requirements. At f ≤ 0.5 mHz we observe a low-frequency tail that stays below 12 fm s−2/√Hz down to 0.1 mHz. This performance would allow for a space-based gravitational wave observatory with a sensitivity close to what was originally foreseen for LISA