Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning using Temporal Logic

Safe planning for fleets of Unmaned Aircraft Systems (UAS) performing complex missions in urban environments has typically been a challenging problem. In the United States of America, the National Aeronautics and Space Administration (NASA) and the Federal Aviation Administration (FAA) have been studying the regulation of the airspace when multiple such fleets of autonomous UAS share the same airspace, outlined in the Concept of Operations document (ConOps). While the focus is on the infrastructure and management of the airspace, the Unmanned Aircraft System (UAS) Traffic Management (UTM) ConOps also outline a potential airspace reservation based system for operation where operators reserve a volume of the airspace for a given time inter- val to operate in, but it makes clear that the safety (separation from other aircraft, terrain, and other hazards) is a responsibility of the drone fleet operators. In this work, we present a tool that allows an operator to plan out missions for fleets of multi-rotor UAS, performing complex time- bound missions. The tool builds upon a correct-by-construction planning method by translating missions to Signal Temporal Logic (STL). Along with a simple user interface, it also has fast and scalable mission planning abilities. We demonstrate our tool for one such mission

Generation and quality control of lipidomics data for the alzheimers disease neuroimaging initiative cohort.

Alzheimers disease (AD) is a major public health priority with a large socioeconomic burden and complex etiology. The Alzheimer Disease Metabolomics Consortium (ADMC) and the Alzheimer Disease Neuroimaging Initiative (ADNI) aim to gain new biological insights in the disease etiology. We report here an untargeted lipidomics of serum specimens of 806 subjects within the ADNI1 cohort (188 AD, 392 mild cognitive impairment and 226 cognitively normal subjects) along with 83 quality control samples. Lipids were detected and measured using an ultra-high-performance liquid chromatography quadruple/time-of-flight mass spectrometry (UHPLC-QTOF MS) instrument operated in both negative and positive electrospray ionization modes. The dataset includes a total 513 unique lipid species out of which 341 are known lipids. For over 95% of the detected lipids, a relative standard deviation of better than 20% was achieved in the quality control samples, indicating high technical reproducibility. Association modeling of this dataset and available clinical, metabolomics and drug-use data will provide novel insights into the AD etiology. These datasets are available at the ADNI repository at http://adni.loni.usc.edu/

The MIQE Guidelines: Minimum Information for Publication of Quantitative Real-Time PCR Experiments

BACKGROUND: Currently, a lack of consensus exists on how best to perform and interpret quantitative real-time PCR (qPCR) experiments. The problem is exacerbated by a lack of sufficient experimental detail in many publications, which impedes a reader's ability to evaluate critically the quality of the results presented or to repeat the experiments. CONTENT: The Minimum Information for Publication of Quantitative Real-Time PCR Experiments (MIQE) guidelines target the reliability of results to help ensure the integrity of the scientific literature, promote consistency between laboratories, and increase experimental transparency. MIQE is a set of guidelines that describe the minimum information necessary for evaluating qPCR experiments. Included is a checklist to accompany the initial submission of a manuscript to the publisher. By providing all relevant experimental conditions and assay characteristics, reviewers can assess the validity of the protocols used. Full disclosure of all reagents, sequences, and analysis methods is necessary to enable other investigators to reproduce results. MIQE details should be published either in abbreviated form or as an online supplement. SUMMARY: Following these guidelines will encourage better experimental practice, allowing more reliable and unequivocal interpretation of qPCR results

Systematic comparison of different techniques to measure hippocampal subfield volumes in ADNI2

OBJECTIVE: Subfield-specific measurements provide superior information in the early stages of neurodegenerative diseases compared to global hippocampal measurements. The overall goal was to systematically compare the performance of five representative manual and automated T1 and T2 based subfield labeling techniques in a sub-set of the ADNI2 population. METHODS: The high resolution T2 weighted hippocampal images (T2-HighRes) and the corresponding T1 images from 106 ADNI2 subjects (41 controls, 57 MCI, 8 AD) were processed as follows. A. T1-based: 1. Freesurfer + Large-Diffeomorphic-Metric-Mapping in combination with shape analysis. 2. FreeSurfer 5.1 subfields using in-vivo atlas. B. T2-HighRes: 1. Model-based subfield segmentation using ex-vivo atlas (FreeSurfer 6.0). 2. T2-based automated multi-atlas segmentation combined with similarity-weighted voting (ASHS). 3. Manual subfield parcellation. Multiple regression analyses were used to calculate effect sizes (ES) for group, amyloid positivity in controls, and associations with cognitive/memory performance for each approach. RESULTS: Subfield volumetry was better than whole hippocampal volumetry for the detection of the mild atrophy differences between controls and MCI (ES: 0.27 vs 0.11). T2-HighRes approaches outperformed T1 approaches for the detection of early stage atrophy (ES: 0.27 vs.0.10), amyloid positivity (ES: 0.11 vs 0.04), and cognitive associations (ES: 0.22 vs 0.19). CONCLUSIONS: T2-HighRes subfield approaches outperformed whole hippocampus and T1 subfield approaches. None of the different T2-HghRes methods tested had a clear advantage over the other methods. Each has strengths and weaknesses that need to be taken into account when deciding which one to use to get the best results from subfield volumetry

Quantification of longitudinal tissue pO2 gradients in window chamber tumours: impact on tumour hypoxia

We previously reported that the arteriolar input in window chamber tumours is limited in number and is constrained to enter the tumour from one surface, and that the pO2 of tumour arterioles is lower than in comparable arterioles of normal tissues. On average, the vascular pO2 in vessels of the upper surface of these tumours is lower than the pO2 of vessels on the fascial side, suggesting that there may be steep vascular longitudinal gradients (defined as the decline in vascular pO2 along the afferent path of blood flow) that contribute to vascular hypoxia on the upper surface of the tumours. However, we have not previously measured tissue pO2 on both surfaces of these chambers in the same tumour. In this report, we investigated the hypothesis that the anatomical constraint of arteriolar supply from one side of the tumour results in longitudinal gradients in pO2 sufficient in magnitude to create vascular hypoxia in tumours grown in dorsal flap window chambers. Fischer-344 rats had dorsal flap window chambers implanted in the skin fold with simultaneous transplantation of the R3230AC tumour. Tumours were studied at 9–11 days after transplantation, at a diameter of 3–4 mm; the tissue thickness was 200 μm. For magnetic resonance microscopic imaging, gadolinium DTPA bovine serum albumin (BSA-DTPA-Gd) complex was injected i.v., followed by fixation in 10% formalin and removal from the animal. The sample was imaged at 9.4 T, yielding voxel sizes of 40 μm. Intravital microscopy was used to visualize the position and number of arterioles entering window chamber tumour preparations. Phosphorescence life time imaging (PLI) was used to measure vascular pO2. Blue and green light excitations of the upper and lower surfaces of window chambers were made (penetration depth of light ~50 vs >200 μm respectively). Arteriolar input into window chamber tumours was limited to 1 or 2 vessels, and appeared to be constrained to the fascial surface upon which the tumour grows. PLI of the tumour surface indicated greater hypoxia with blue compared with green light excitation (P < 0.03 for 10th and 25th percentiles and for per cent pixels < 10 mmHg). In contrast, illumination of the fascial surface with blue light indicated less hypoxia compared with illumination of the tumour surface (P < 0.05 for 10th and 25th percentiles and for per cent pixels < 10 mmHg). There was no significant difference in pO2 distributions for blue and green light excitation from the fascial surface nor for green light excitation when viewed from either surface. The PLI data demonstrates that the upper surface of the tumour is more hypoxic because blue light excitation yields lower pO2 values than green light excitation. This is further verified in the subset of chambers in which blue light excitation of the fascial surface showed higher pO2 distributions compared with the tumour surface. These results suggest that there are steep longitudinal gradients in vascular pO2 in this tumour model that are created by the limited number and orientation of the arterioles. This contributes to tumour hypoxia. Arteriolar supply is often limited in other tumours as well, suggesting that this may represent another cause for tumour hypoxia. This report is the first direct demonstration that longitudinal oxygen gradients actually lead to hypoxia in tumours. © 1999 Cancer Research Campaig

Perturbation with Intrabodies Reveals That Calpain Cleavage Is Required for Degradation of Huntingtin Exon 1

Background: Proteolytic processing of mutant huntingtin (mHtt), the protein that causes Huntington's disease (HD), is critical for mHtt toxicity and disease progression. mHtt contains several caspase and calpain cleavage sites that generate N-terminal fragments that are more toxic than full-length mHtt. Further processing is then required for the degradation of these fragments, which in turn, reduces toxicity. This unknown, secondary degradative process represents a promising therapeutic target for HD. Methodology/Principal Findings: We have used intrabodies, intracellularly expressed antibody fragments, to gain insight into the mechanism of mutant huntingtin exon 1 (mHDx-1) clearance. Happ1, an intrabody recognizing the proline-rich region of mHDx-1, reduces the level of soluble mHDx-1 by increasing clearance. While proteasome and macroautophagy inhibitors reduce turnover of mHDx-1, Happ1 is still able to reduce mHDx-1 under these conditions, indicating Happ1-accelerated mHDx-1 clearance does not rely on these processes. In contrast, a calpain inhibitor or an inhibitor of lysosomal pH block Happ1-mediated acceleration of mHDx-1 clearance. These results suggest that mHDx-1 is cleaved by calpain, likely followed by lysosomal degradation and this process regulates the turnover rate of mHDx-1. Sequence analysis identifies amino acid (AA) 15 as a potential calpain cleavage site. Calpain cleavage of recombinant mHDx-1 in vitro yields fragments of sizes corresponding to this prediction. Moreover, when the site is blocked by binding of another intrabody, V_L12.3, turnover of soluble mHDx-1 in living cells is blocked. Conclusions/Significance: These results indicate that calpain-mediated removal of the 15 N-terminal AAs is required for the degradation of mHDx-1, a finding that may have therapeutic implications

Generation of photovoltage in graphene on a femtosecond time scale through efficient carrier heating

Graphene is a promising material for ultrafast and broadband photodetection. Earlier studies addressed the general operation of graphene-based photo-thermoelectric devices, and the switching speed, which is limited by the charge carrier cooling time, on the order of picoseconds. However, the generation of the photovoltage could occur at a much faster time scale, as it is associated with the carrier heating time. Here, we measure the photovoltage generation time and find it to be faster than 50 femtoseconds. As a proof-of-principle application of this ultrafast photodetector, we use graphene to directly measure, electrically, the pulse duration of a sub-50 femtosecond laser pulse. The observation that carrier heating is ultrafast suggests that energy from absorbed photons can be efficiently transferred to carrier heat. To study this, we examine the spectral response and find a constant spectral responsivity between 500 and 1500 nm. This is consistent with efficient electron heating. These results are promising for ultrafast femtosecond and broadband photodetector applications.Comment: 6 pages, 4 figure

Spin-Imbalance in a One-Dimensional Fermi Gas

Superconductivity and magnetism generally do not coexist. Changing the relative number of up and down spin electrons disrupts the basic mechanism of superconductivity, where atoms of opposite momentum and spin form Cooper pairs. Nearly forty years ago Fulde and Ferrell and Larkin and Ovchinnikov proposed an exotic pairing mechanism (FFLO) where magnetism is accommodated by formation of pairs with finite momentum. Despite intense theoretical and experimental efforts, however, polarized superconductivity remains largely elusive. Here we report experimental measurements of density profiles of a two spin mixture of ultracold 6Li atoms trapped in an array of one dimensional (1D) tubes, a system analogous to electrons in 1D wires. At finite spin imbalance, the system phase separates with an inverted phase profile in comparison to the three-dimensional case. In 1D we find a partially polarized core surrounded by wings composed of either a completely paired BCS superfluid or a fully polarized Fermi gas, depending on the degree of polarization. Our observations are in quantitative agreement with theoretical calculations in which the partially polarized phase is found to be a 1D analogue of the FFLO state. This study demonstrates how ultracold atomic gases in 1D may be used to create non-trivial new phases of matter, and also paves the way for direct observation and further study of the FFLO phase.Comment: 30 pages, 7 figure

Habitat structure: a fundamental concept and framework for urban soil ecology

Habitat structure is defined as the composition and arrangement of physical matter at a location. Although habitat structure is the physical template underlying ecological patterns and processes, the concept is relatively unappreciated and underdeveloped in ecology. However, it provides a fundamental concept for urban ecology because human activities in urban ecosystems are often targeted toward management of habitat structure. In addition, the concept emphasizes the fine-scale, on-the-ground perspective needed in the study of urban soil ecology. To illustrate this, urban soil ecology research is summarized from the perspective of habitat structure effects. Among the key conclusions emerging from the literature review are: (1) habitat structure provides a unifying theme for multivariate research about urban soil ecology; (2) heterogeneous urban habitat structures influence soil ecological variables in different ways; (3) more research is needed to understand relationships among sociological variables, habitat structure patterns and urban soil ecology. To stimulate urban soil ecology research, a conceptual framework is presented to show the direct and indirect relationships among habitat structure and ecological variables. Because habitat structure serves as a physical link between sociocultural and ecological systems, it can be used as a focus for interdisciplinary and applied research (e.g., pest management) about the multiple, interactive effects of urbanization on the ecology of soils

The quest for universal access to effective malaria treatment: how can the AMFm contribute?

Access to quality assured artemisinin-based combination therapy (ACT) has remained very low in most malaria endemic countries. A number of reasons, including unaffordable prices, have contributed to the low accessibility to these life-saving medicines. The Affordable Medicines Facility-Malaria (AMFm) is a mechanism to increase access to quality assured ACT. The AMFm will use price signals and a combination of public and private sector channels to achieve multiple public health objectives: replacing older and increasingly ineffective anti-malarial medicines, such as chloroquine and sulphadoxine-pyrimethamine with ACT, displacing oral artemisinin monotherapies from the market, and prolonging the lifespan of ACT by reducing the likelihood of resistance to artemisinin