MRI changes in psoriatic dactylitisextent of pathology, relationship to tenderness and correlation with clinical indices

Objectives. To quantify the extent of inflammation in psoriatic dactylitis and to examine the relationship between clinical and magnetic resonance imaging (MRI) data in both tender and non-tender dactylitis. Methods. Seventeen patients with psoriatic dactylitis underwent clinical assessment for 6 months after change of treatment, usually to methotrexate. Measures of dactylitis included the Leeds Dactylitis Index, the assessment tool used in the Infliximab in Psoriatic Arthritis Clinical Trial (IMPACT), a simple count of tender dactlylitic digits and a count of all dactylitic digits, both tender and non-tender. MRI scans of the affected hand or foot were performed before and after treatment using a 1.5T Siemens scanner pre- and post-contrast. Results. All patients improved clinically, as did their respective dactylitis scores and MRI images. The findings on MRI in both dactylitic and non-dactylitic digits were profound and widespread. The difference between tender and non-tender dactylitis was quantitative rather than qualitative. Synovitis and soft-tissue oedema were the most frequent abnormalities being present in 69 of tender dactylitic digits but bone oedema and flexor tenosynovitis were also frequently seen. Soft-tissue oedema was circumferential and enhancing and not limited to association with the flexor or extensor tendons. None of the clinical indices of dactylitis showed a close relationship to the extent of MRI abnormalities. Conclusions. MRI images demonstrate widespread abnormalities in digits of people with psoriatic arthritis. Tender dactylitic digits have more abnormalities than other digits but the relationship between clinical and MRI scores is not strong

A dimension-breaking phenomenon for water waves with weak surface tension

It is well known that the water-wave problem with weak surface tension has small-amplitude line solitary-wave solutions which to leading order are described by the nonlinear Schr\"odinger equation. The present paper contains an existence theory for three-dimensional periodically modulated solitary-wave solutions which have a solitary-wave profile in the direction of propagation and are periodic in the transverse direction; they emanate from the line solitary waves in a dimension-breaking bifurcation. In addition, it is shown that the line solitary waves are linearly unstable to long-wavelength transverse perturbations. The key to these results is a formulation of the water wave problem as an evolutionary system in which the transverse horizontal variable plays the role of time, a careful study of the purely imaginary spectrum of the operator obtained by linearising the evolutionary system at a line solitary wave, and an application of an infinite-dimensional version of the classical Lyapunov centre theorem.Comment: The final publication is available at Springer via http://dx.doi.org/10.1007/s00205-015-0941-

Dust in dwarf galaxies: The case of NGC 4214

We have carried out a detailed modelling of the dust heating and emission in the nearby, starbursting dwarf galaxy NGC 4214. Due to its proximity and the great wealth of data from the UV to the millimeter range (from GALEX, HST, {\it Spitzer}, Herschel, Planck and IRAM) it is possible to separately model the emission from HII regions and their associated photodissociation regions (PDRs) and the emission from diffuse dust. Furthermore, most model parameters can be directly determined from the data leaving very few free parameters. We can fit both the emission from HII+PDR regions and the diffuse emission in NGC 4214 with these models with "normal" dust properties and realistic parameters.Comment: 4pages, 3 figures. To appear in 'The Spectral Energy Distribution of Galaxies' Proceedings IAU Symposium No 284, 201

Modelling the Pan-Spectral Energy Distributions of Starburst & Active Galaxies

We present results of a self-consistent model of the spectral energy distribution (SED) of starburst galaxies. Two parameters control the IR SED, the mean pressure in the ISM and the destruction timescale of molecular clouds. Adding a simplified AGN spectrum provides mixing lines on IRAS color : color diagrams. This reproduces the observed colors of both AGNs and starbursts.Comment: Poster Paper for IAU 222: The Interplay among Black Holes, Stars and ISM in Galactic Nucle

Arkansas Cotton Variety Test 2002

The primary aim of the Arkansas Cotton Variety Test is to provide unbiased data regarding the agronomic performance of cotton varieties and advanced breeding lines in the major cotton-growing areas of Arkansas. This information helps seed dealers establish marketing strategies and assists producers in choosing varieties to plant. In this way, the annual test facilitates the inclusion of new, improved genetic material into Arkansas cotton production. Variety adaptation is determined by evaluation of the varieties and lines at four University of Arkansas research stations located near Keiser, Clarkedale, Marianna, and Rohwer. Tests are duplicated in irrigated and non-irrigated culture at the Keiser and Marianna locations. In 2002, 37 entries were evaluated in the main test and 25 were evaluated in the first-year test. This report also includes the Mississippi County Cotton Variety Test (a large-plot, on-farm evaluation of 12 Round-up Ready varieties) and 12 other on-farm cotton variety tests conducted by the University of Arkansas Cooperative Extension Service

GNSS Shadow Matching: The Challenges Ahead

GNSS shadow matching is a new technique that uses 3D mapping to improve positioning accuracy in dense urban areas from tens of meters to within five meters, potentially less. This paper presents the first comprehensive review of shadow matching’s error sources and proposes a program of research and development to take the technology from proof of concept to a robust, reliable and accurate urban positioning product. A summary of the state of the art is also included. Error sources in shadow matching may be divided into six categories: initialization, modelling, propagation, environmental complexity, observation, and algorithm approximations. Performance is also affected by the environmental geometry and it is sometimes necessary to handle solution ambiguity. For each error source, the cause and how it impacts the position solution is explained. Examples are presented, where available, and improvements to the shadow-matching algorithms to mitigate each error are proposed. Methods of accommodating quality control within shadow matching are then proposed, including uncertainty determination, ambiguity detection, and outlier detection. This is followed by a discussion of how shadow matching could be integrated with conventional ranging-based GNSS and other navigation and positioning technologies. This includes a brief review of methods to enhance ranging-based GNSS using 3D mapping. Finally, the practical engineering challenges of shadow matching are assessed, including the system architecture, efficient GNSS signal prediction and the acquisition of 3D mapping data

The Importance of Human Motion for Simulation Testing of GNSS

Human motion is generally considered benign to the performance of global navigation satellite system (GNSS) and other positioning sensors. This study proves that this is not the case, even for typical human behaviour involving GNSS user equipment, e.g. in smartphones. Using recorded human motion, it is shown that phase-lock loops (PLLs) in GNSS receivers are sensitive to jerk dynamics induced by user motion, resulting in carrier cycle slips. To test the effects of human dynamics on GNSS carrier tracking, real human motion profiles were captured. These profiles comprised typical types of movements using a mobile phone, e.g. holding, answering and texting, different types of activities, e.g. walking or jogging, as well as different phone locations on the human body, e.g. in a hand, pocket, backpack and on an arm band. The data were captured outdoors using an Xsens MTi-G MEMS (Micro-Electronic Mechanical Systems) Inertial Measurement Unit (IMU) aided by a Global Positioning System (GPS) receiver with a 100Hz output rate. Then the captured motion (MoCap) was processed and input into a simulated PLL in Matlab with different tracking loop bandwidths (BL_CA) and carrier power-to-noise density ratios (C/N0). The results show that pedestrian gestures and type of activity, e.g. walking or jogging, affect the performance of the simulated PLL more adversely than the location of the phone on the human body. Also, to track pedestrian motion encompassing these gestures, activities and receiver locations, a minimum of 15Hz tracking bandwidth is required. Consequently, receiver manufacturers should exercise caution before reducing tracking bandwidths to compensate for the reduction in C/N0 resulting from GNSS antenna design, human body masking and the effects of buildings, trees and other environmental features. This paper also proposes and describes a pedestrian motion model (PMM) that simulates the GNSS antenna trajectory in 3D, when it is held by or attached to a pedestrian. The PMM will be validated using real MoCap scenarios and will enable Spirent to increase their product offering in the area of simulation-based testing of positioning sensors for pedestrian applications by generating human motion profiles which affect realistically the performance of GNSS user equipment

Computer-aided verification in mechanism design

In mechanism design, the gold standard solution concepts are dominant strategy incentive compatibility and Bayesian incentive compatibility. These solution concepts relieve the (possibly unsophisticated) bidders from the need to engage in complicated strategizing. While incentive properties are simple to state, their proofs are specific to the mechanism and can be quite complex. This raises two concerns. From a practical perspective, checking a complex proof can be a tedious process, often requiring experts knowledgeable in mechanism design. Furthermore, from a modeling perspective, if unsophisticated agents are unconvinced of incentive properties, they may strategize in unpredictable ways. To address both concerns, we explore techniques from computer-aided verification to construct formal proofs of incentive properties. Because formal proofs can be automatically checked, agents do not need to manually check the properties, or even understand the proof. To demonstrate, we present the verification of a sophisticated mechanism: the generic reduction from Bayesian incentive compatible mechanism design to algorithm design given by Hartline, Kleinberg, and Malekian. This mechanism presents new challenges for formal verification, including essential use of randomness from both the execution of the mechanism and from the prior type distributions. As an immediate consequence, our work also formalizes Bayesian incentive compatibility for the entire family of mechanisms derived via this reduction. Finally, as an intermediate step in our formalization, we provide the first formal verification of incentive compatibility for the celebrated Vickrey-Clarke-Groves mechanism

K 3-22: a D-type symbiotic star

A goal of the IPHAS survey is to determine the frequency and nature of emission-line sources in the Galactic plane. According to our selection criteria, K 3-22 is a candidate symbiotic star, but it was previously classified as a planetary nebula. To determine its nature, we acquired a low-resolution optical spectrum of K 3-22. Our analysis of our spectroscopy demonstrates that K 3-22 is indeed a D-type symbiotic star, because of its high excitation nebular spectrum and the simultaneous presence of Raman-scattered O VI emission at 6825 and 7082 angstrom, which is detected primarily in symbiotic stars.Comment: 3 pages, 1 figure. Accepted for publication on Astronomy and Astrophysic