StrathSat-R : Deploying inflatable CubeSat structures in micro gravity

This paper presents the concepts, objectives and design of a student-led sounding rocket experiment which shall test novel inflatable devices in space conditions. This experiment is envisaged as the first step towards developing a CubeSat programme at the University of Strathclyde, which can exploit the novel concepts developed and the technical skills gained. The experiment itself aims to test novel, student developed, inflatable space structures in micro gravity and reduced pressure conditions. It consists of three distinct sections, the ejection housing on the rocket and the two ejectable modules that are based on CubeSat architecture. Shortly before reaching apogee, the two modules are ejected from the rocket and will deploy their own inflating structure during free flight. After landing, the ejectable modules recovery will rely upon a GPS position relayed to the team from the module by Globalstar transmission and a RF beacon for tracking with the recovery helicopter. The two modules carry two different structures resulting in distinct mission objectives: The aim of FRODO is to deploy an experimental passive de-orbiting system for high altitude spacecraft which will in the future utilise solar radiation pressure for orbit removal. The aim of SAM is to serve as a technology demonstrator for the residual air deployment method of a smart bio-inspired space structure. This paper contains details about the science objectives of the mission and how they will be achieved, its experimental design and the management of the student-led project

GPUVerify: A Verifier for GPU Kernels

We present a technique for verifying race- and divergence-freedom of GPU kernels that are written in mainstream ker-nel programming languages such as OpenCL and CUDA. Our approach is founded on a novel formal operational se-mantics for GPU programming termed synchronous, delayed visibility (SDV) semantics. The SDV semantics provides a precise definition of barrier divergence in GPU kernels and allows kernel verification to be reduced to analysis of a sequential program, thereby completely avoiding the need to reason about thread interleavings, and allowing existing modular techniques for program verification to be leveraged. We describe an efficient encoding for data race detection and propose a method for automatically inferring loop invari-ants required for verification. We have implemented these techniques as a practical verification tool, GPUVerify, which can be applied directly to OpenCL and CUDA source code. We evaluate GPUVerify with respect to a set of 163 kernels drawn from public and commercial sources. Our evaluation demonstrates that GPUVerify is capable of efficient, auto-matic verification of a large number of real-world kernels

Chimpanzee Rights: The Philosophers' Brief

In December 2013, the Nonhuman Rights Project (NhRP) filed a petition for a common law writ of habeas corpus in the New York State Supreme Court on behalf of Tommy, a chimpanzee living alone in a cage in a shed in rural New York (Barlow, 2017). Under animal welfare laws, Tommy’s owners, the Laverys, were doing nothing illegal by keeping him in those conditions. Nonetheless, the NhRP argued that given the cognitive, social, and emotional capacities of chimpanzees, Tommy’s confinement constituted a profound wrong that demanded remedy by the courts. Soon thereafter, the NhRP filed habeas corpus petitions on behalf of Kiko, another chimpanzee housed alone in Niagara Falls, and Hercules and Leo, two chimpanzees held in research facilities at Stony Brook University. Thus began the legal struggle to move these chimpanzees from captivity to a sanctuary, an effort that has led the NhRP to argue in multiple courts before multiple judges. The central point of contention has been whether Tommy, Kiko, Hercules, and Leo have legal rights. To date, no judge has been willing to issue a writ of habeas corpus on their behalf. Such a ruling would mean that these chimpanzees have rights that confinement might violate. Instead, the judges have argued that chimpanzees cannot be bearers of legal rights because they are not, and cannot be persons. In this book we argue that chimpanzees are persons because they are autonomous

The Surfactant Dipalmitoylphophatidylcholine (DPPC) Modifies Acute Responses in Alveolar Carcinoma Cells in Response to Low Dose Silver Nanoparticle Exposure

Nanotechnology is a rapidly growing field with silver nanoparticles (AgNP) in particular utilized in a wide variety of consumer products. This has presented a number of concerns relating to exposure and the associated toxicity to humans and the environment. As inhalation is the most common exposure route, this study investigates the potential toxicity of AgNP to A549 alveolar epithelial carcinoma cells and the influence of a major component of lung surfactant dipalmitoylphosphatidylcholine (DPPC) on toxicity. It was illustrated that exposure to AgNP generated low levels of oxidative stress and a reduction in cell viability. While DPPC produced no significant effect on viability studies its presence resulted in increased reactive oxygen species formation. DPPC also significantly modified the inflammatory response generated by AgNP exposure. These findings suggest a possible interaction between AgNP and DPPC causing particles to become more reactive, thus increasing oxidative insult and inflammatory response within A549 cell

A Magnetohydrodynamic enhanced entry system for space transportation: MEESST

This paper outlines the initial development of a novel magnetohydrodynamic (MHD) plasma control system which aims at mitigating shock-induced heating and the radio-frequency communication blackout typically encountered during (re-)entry into planetary atmospheres. An international consortium comprising universities, SMEs, research institutions, and industry has been formed in order to develop this technology within the MEESST project. The latter is funded by the Future and Emerging Technologies (FET) program of the European Commission’s Horizon 2020 scheme (grant no. 899298). Atmospheric entry imposes one of the harshest environments which a spacecraft can experience. The combination of hypersonic velocities and the rapid compression of atmospheric particles by the spacecraft leads to high-enthalpy, partially ionised gases forming around the vehicle. This inhibits radio communications and induces high thermal loads on the spacecraft surface. For the former problem, spacecraft can sometimes rely on satellite constellations for communicating through the plasma wake and therefore preventing the blackout. On the other hand, expensive, heavy, and non-reusable thermal protection systems (TPS) are needed to dissipate the severe thermal loads. Such TPS can represent up to 30% of an entry vehicles weight, and especially for manned missions they can reduce the cost- efficiency by sacrificing payload mass. Such systems are also prone to failure, putting the lives of astronauts at risk. The use of electromagnetic fields to exploit MHD principles has long been considered as an attractive solution for tackling the problems described above. By pushing the boundary layer of the ionized gas layer away from the spacecraft, the thermal loads can be reduced, while also opening a magnetic window for radio communications and mitigating the blackout phenomenon. The application of this MHD-enabled system has previously not been demonstrated in realistic conditions due to the required large magnetic fields (on the order of Tesla or more), which for conventional technologies would demand exceptionally heavy and power-hungry electromagnets. High-temperature superconductors (HTS) have reached a level of industrial maturity sufficient for them to act as a key enabling technology for this application. Thanks to superior current densities, HTS coils can offer the necessary low weight and compactness required for space applications, with the ability to generate the strong magnetic fields needed for entry purposes. This paper provides an overview of the MEESST project, including its goals, methodology and some preliminary design considerations

The impact of patient self assessment of deformity on HRQL in adults with scoliosis

Background: Body image and HRQL are significant issues for patients with scoliosis due to cosmetic deformity, physical and psychological symptoms, and treatment factors. A selective review of scoliosis literature revealed that self report measures of body image and HRQL share unreliable correlations with radiographic measures and clinician recommendations for surgery. However, current body image and HRQL measures do not indicate which aspects of scoliosis deformity are the most distressing for patients. The WRVAS is an instrument designed to evaluate patient self assessment of deformity, and may show some promise in identifying aspects of deformity most troubling to patients. Previous research on adolescents with scoliosis supports the use of the WRVAS as a clinical tool, as the instrument shares strong correlations with radiographic measures and quality of life instruments. There has been limited use of this instrument on adult populations. Methods: The WRVAS and the SF-36v2, a HRQL measure, were administered to 71 adults with scoliosis, along with a form to report age and gender. Preliminary validation analyses were performed on the WRVAS (floor and ceiling effects, internal consistency and collinearity, correlations with the SF-36v2, and multiple regression with the WRVAS total score as the predictor, and SF-36v2 scores as outcomes). Results: The psychometric properties of the WRVAS were acceptable. Older participants perceived their deformities as more severe than younger participants. More severe deformities were associated with lower scores on the Physical Component Summary Score of the SF-36v2. Total WRVAS score also predicted Physical Component Summary scores. Conclusion: The results of the current study indicate that the WRVAS is a reliable tool to use with adult patients, and that patient self assessment of deformity shared a relationship with physical rather than psychological aspects of HRQL. The current and previous studies concur that revision of the WRVAS is necessary to more accurately represent the diversity of scoliosis deformities. Ability to identify disturbing aspects of deformity could potentially be improved by evaluating each WRVAS items against indicators of pain, physical/psychosocial function, and self image from previous measures such as the SRS, SF-36 or BSSQ-deformity

Carpal tunnel syndrome and the "double crush" hypothesis: a review and implications for chiropractic

Upton and McComas claimed that most patients with carpal tunnel syndrome not only have compressive lesions at the wrist, but also show evidence of damage to cervical nerve roots. This "double crush" hypothesis has gained some popularity among chiropractors because it seems to provide a rationale for adjusting the cervical spine in treating carpal tunnel syndrome. Here I examine use of the concept by chiropractors, summarize findings from the literature, and critique several studies aimed at supporting or refuting the hypothesis. Although the hypothesis also has been applied to nerve compressions other than those leading to carpal tunnel syndrome, this discussion mainly examines the original application – "double crush" involving both cervical spinal nerve roots and the carpal tunnel. I consider several categories: experiments to create double crush syndrome in animals, case reports, literature reviews, and alternatives to the original hypothesis. A significant percentage of patients with carpal tunnel syndrome also have neck pain or cervical nerve root compression, but the relationship has not been definitively explained. The original hypothesis remains controversial and is probably not valid, at least for sensory disturbances, in carpal tunnel syndrome. However, even if the original hypothesis is importantly flawed, evaluation of multiple sites still may be valuable. The chiropractic profession should develop theoretical models to relate cervical dysfunction to carpal tunnel syndrome, and might incorporate some alternatives to the original hypothesis. I intend this review as a starting point for practitioners, educators, and students wishing to advance chiropractic concepts in this area

Membrane-Associated RING-CH Proteins Associate with Bap31 and Target CD81 and CD44 to Lysosomes

Membrane-associated RING-CH (MARCH) proteins represent a family of transmembrane ubiquitin ligases modulating intracellular trafficking and turnover of transmembrane protein targets. While homologous proteins encoded by gamma-2 herpesviruses and leporipoxviruses have been studied extensively, limited information is available regarding the physiological targets of cellular MARCH proteins. To identify host cell proteins targeted by the human MARCH-VIII ubiquitin ligase we used stable isotope labeling of amino-acids in cell culture (SILAC) to monitor MARCH-dependent changes in the membrane proteomes of human fibroblasts. Unexpectedly, we observed that MARCH-VIII reduced the surface expression of Bap31, a chaperone that predominantly resides in the endoplasmic reticulum (ER). We demonstrate that Bap31 associates with the transmembrane domains of several MARCH proteins and controls intracellular transport of MARCH proteins. In addition, we observed that MARCH-VIII reduced the surface expression of the hyaluronic acid-receptor CD44 and both MARCH-VIII and MARCH-IV sequestered the tetraspanin CD81 in endo-lysosomal vesicles. Moreover, gene knockdown of MARCH-IV increased surface levels of endogenous CD81 suggesting a constitutive involvement of this family of ubiquitin ligases in the turnover of tetraspanins. Our data thus suggest a role of MARCH-VIII and MARCH-IV in the regulated turnover of CD81 and CD44, two ubiquitously expressed, multifunctional proteins

A Galaxy-based bioinformatics pipeline for optimised, streamlined microsatellite development from Illumina next-generation sequencing data

© 2016, The Author(s). Microsatellites are useful tools for ecologists and conservationist biologists, but are taxa-specific and traditionally expensive and time-consuming to develop. New methods using next-generation sequencing (NGS) have reduced these problems, but the plethora of software available for processing NGS data may cause confusion and difficulty for researchers new to the field of bioinformatics. We developed a bioinformatics pipeline for microsatellite development from Illumina paired-end sequences, which is packaged in the open-source bioinformatics tool Galaxy. This optimises and streamlines the design of a microsatellite panel and provides a user-friendly graphical user interface. The pipeline utilises existing programs along with our own novel program and wrappers to: quality-filter and trim reads (Trimmomatic); generate sequence quality reports (FastQC); identify potentially-amplifiable microsatellite loci (Pal_finder); design primers (Primer3); assemble pairs of reads to enhance marker amplification success rates (PANDAseq); and filter optimal loci (Pal_filter). The complete pipeline is freely available for use via a pre-configured Galaxy instance, accessible at https://palfinder.ls.manchester.ac.uk

A Magnetohydrodynamic enhanced entry system for space transportation: MEESST

This paper outlines the initial development of a novel magnetohydrodynamic (MHD) plasma control system which aims at mitigating shock-induced heating and the radio-frequency communication blackout typically encountered during (re-)entry into planetary atmospheres. An international consortium comprising universities, SMEs, research institutions, and industry has been formed in order to develop this technology within the MEESST project. The latter is funded by the Future and Emerging Technologies (FET) program of the European Commission’s Horizon 2020 scheme (grant no. 899298). Atmospheric entry imposes one of the harshest environments which a spacecraft can experience. The combination of hypersonic velocities and the rapid compression of atmospheric particles by the spacecraft leads to high-enthalpy, partially ionised gases forming around the vehicle. This inhibits radio communications and induces high thermal loads on the spacecraft surface. For the former problem, spacecraft can sometimes rely on satellite constellations for communicating through the plasma wake and therefore preventing the blackout. On the other hand, expensive, heavy, and non-reusable thermal protection systems (TPS) are needed to dissipate the severe thermal loads. Such TPS can represent up to 30% of an entry vehicles weight, and especially for manned missions they can reduce the cost- efficiency by sacrificing payload mass. Such systems are also prone to failure, putting the lives of astronauts at risk. The use of electromagnetic fields to exploit MHD principles has long been considered as an attractive solution for tackling the problems described above. By pushing the boundary layer of the ionized gas layer away from the spacecraft, the thermal loads can be reduced, while also opening a magnetic window for radio communications and mitigating the blackout phenomenon. The application of this MHD-enabled system has previously not been demonstrated in realistic conditions due to the required large magnetic fields (on the order of Tesla or more), which for conventional technologies would demand exceptionally heavy and power-hungry electromagnets. High-temperature superconductors (HTS) have reached a level of industrial maturity sufficient for them to act as a key enabling technology for this application. Thanks to superior current densities, HTS coils can offer the necessary low weight and compactness required for space applications, with the ability to generate the strong magnetic fields needed for entry purposes. This paper provides an overview of the MEESST project, including its goals, methodology and some preliminary design considerations