Graphical Methods in Device-Independent Quantum Cryptography

We introduce a framework for graphical security proofs in device-independent quantum cryptography using the methods of categorical quantum mechanics. We are optimistic that this approach will make some of the highly complex proofs in quantum cryptography more accessible, facilitate the discovery of new proofs, and enable automated proof verification. As an example of our framework, we reprove a previous result from device-independent quantum cryptography: any linear randomness expansion protocol can be converted into an unbounded randomness expansion protocol. We give a graphical proof of this result, and implement part of it in the Globular proof assistant.Comment: Publishable version. Diagrams have been polished, minor revisions to the text, and an appendix added with supplementary proof

Increased Adenine Nucleotide Degradation in Skeletal Muscle Atrophy

Adenine nucleotides (AdNs: ATP, ADP, AMP) are essential biological compounds that facilitate many necessary cellular processes by providing chemical energy, mediating intracellular signaling, and regulating protein metabolism and solubilization. A dramatic reduction in total AdNs is observed in atrophic skeletal muscle across numerous disease states and conditions, such as cancer, diabetes, chronic kidney disease, heart failure, COPD, sepsis, muscular dystrophy, denervation, disuse, and sarcopenia. The reduced AdNs in atrophic skeletal muscle are accompanied by increased expression/activities of AdN degrading enzymes and the accumulation of degradation products (IMP, hypoxanthine, xanthine, uric acid), suggesting that the lower AdN content is largely the result of increased nucleotide degradation. Furthermore, this characteristic decrease of AdNs suggests that increased nucleotide degradation contributes to the general pathophysiology of skeletal muscle atrophy. In view of the numerous energetic, and non-energetic, roles of AdNs in skeletal muscle, investigations into the physiological consequences of AdN degradation may provide valuable insight into the mechanisms of muscle atrophy

Suppression of claudin-7 enhances human lung cancer cell survival

Claudin-7 belongs to a group of tight junction membrane proteins that play vital roles in many human diseases including human lung cancer. Lung cancer is noted to be the leading cause of cancer death for both men and women in the United States, with statistics reporting mortality rates as high as 85% and five-year survival rates as low as 15%. Lung cancer is especially prominent in North Carolina. Our current study focuses on the role of claudin-7 in human lung cancer cell survival under the exposure of tumor microenvironment. Hypoxia is one of the tumor microenvironment conditions and plays an important role in cancer progression. To achieve the hypoxia condition, HCC827 human lung cancer cells with normal claudin-7 expression (control) or with claudin-7 knockdown (KD) were treated with 1% O2 (hypoxic) for 3 days. The cell counting assay showed that the percentage of dead cells were significantly lower in KD cells compared to that of control cells. The immunofluorescent staining analysis also supported our finding through depicting the decreased expression of cleaved PARP in KD cells than that in the control cells (p<0.05). Reduced cleaved PARP expression means the cell survival is better since the cleaved PARP signal is activated in cell apoptosis. Western blot results further confirmed that the suppression of claudin-7 promoted cancer cell survival and reduced cell apoptosis. These results support our hypothesis that claudin-7 has a tumor suppression role in human lung cancer growth and suppression of claudin-7 enhances lung cancer cell survival under tumor microenvironment hypoxia condition through inhibiting cell apoptosis. This study is supported by 2015 Undergraduate Research and Creative Activity Award from ECU Division of Research and Graduate Studies

Foraging behavior of Northern Bobwhites in relation to resource availability

The Northern Bobwhite (Colinus virginianus) is a popular game bird that inhabits pine grasslands throughout the Southeast. This study used experimental manipulation of food resources to investigate how resource availability influenced foraging behavior and space use of bobwhite in a southern pine-grassland forest system. Radio marked bobwhite were monitored to determine daily space use, movements, and daily and seasonal ranges. I observed no difference in daily (P = 0.06) or seasonal home range size (P = 0.55) between feeding treatments. However, dispersion in daily locations of radio-marked bobwhite differed among feed levels (P \u3c 0.001). I assessed effects of food availability on diet and total body lipids of birds harvested from each treatment during February. Although bobwhite extensively utilized supplemental feed when available, energy value of pre-roosting crop contents did not differ among treatments (P = 0.41), but total body lipids differed between feed treatments and years (P \u3c 0.001)

Foraging behavior of Northern Bobwhites in relation to resource availability

The Northern Bobwhite (Colinus virginianus) is a popular game bird that inhabits pine grasslands throughout the Southeast. This study used experimental manipulation of food resources to investigate how resource availability influenced foraging behavior and space use of bobwhite in a southern pine-grassland forest system. Radio marked bobwhite were monitored to determine daily space use, movements, and daily and seasonal ranges. I observed no difference in daily (P = 0.06) or seasonal home range size (P = 0.55) between feeding treatments. However, dispersion in daily locations of radio-marked bobwhite differed among feed levels (P \u3c 0.001). I assessed effects of food availability on diet and total body lipids of birds harvested from each treatment during February. Although bobwhite extensively utilized supplemental feed when available, energy value of pre-roosting crop contents did not differ among treatments (P = 0.41), but total body lipids differed between feed treatments and years (P \u3c 0.001)

VALUING WATER QUALITY MONITORING: A CONTINGENT VALUATION EXPERIMENT INVOLVING HYPOTHETICAL AND REAL PAYMENTS

This paper studies the preferences and willingness-to-pay for individuals for volunteer water quality monitoring programs. The study involves supporting water quality monitoring at two ponds in the state of Rhode Island. The paper uses both a hypothetical and a real-payment contingent valuation survey to directly measure individual preferences and willingness-to-pay (WTP) for volunteer water quality monitoring at the two ponds. The overall results of the study suggest that hypothetical WTP is not statistically greater than real WTP, and that the average survey respondent is willing to support water quality monitoring on one of the two ponds. The study also finds that the specified purpose of water quality monitoring and certain socioeconomic characteristics of a respondent significantly affect the respondent's decision to support volunteer water quality monitoring.Environmental Economics and Policy,

Chemiluminescent Tags for Tracking Insect Movement in Darkness: Application to Moth Photo-Orientation

The flight tracks of Manduca sexta (Lepidoptera: Sphingidae) flying toward a 5 watt incandescent light bulb were recorded under low light conditions with the aid of a camera-mounted photomultiplier and a glowing marker technique. Small felt pads bearing a chemiluminescent (glowi ma­erial, Cyalume®, were affixed to the abdomens of free-flying moths. insects orienting to a dim incandescent bulb were easily visible to the naked eye and were clearly captured on videotape. On their initial approach to the light source, M. sexta were found to orient at a mean angle of -0.220 ± 2.70 (mean ± SEM). The speed of the initial approach flight (OA ± 0.03 m/s) was significantly faster than the speed immediately after passing the light (0.29 ± 0.02 m/s; t =6.4, PM. sexta initially fly approximately at a light source and only after passing it, do they engage in circular flight around the source. M. sexta flight to lights does not entirely match any paths predicted by several light orientation mechanisms, including the commonly invoked light compass theory

Genome scan of Diabrotica virgifera virgifera for genetic variation associated with crop rotation tolerance

Crop rotation has been a valuable technique for control of Diabrotica virgifera virgifera for almost a century. However, during the last two decades, crop rotation has ceased to be effective in an expanding area of the US corn belt. This failure appears to be due to a change in the insect's oviposition behaviour, which, in all probability, has an underlying genetic basis. A preliminary genome scan using 253 amplified fragment-length polymorphism (AFLP) markers sought to identify genetic variation associated with the circumvention of crop rotation. Samples of D. v. virgifera from east-central Illinois, where crop rotation is ineffective, were compared with samples from Iowa at locations that the behavioural variant has yet to reach. A single AFLP marker showed signs of having been influenced by selection for the circumvention of crop rotation. However, this marker was not diagnostic. The lack of markers strongly associated with the trait may be due to an insufficient density of marker coverage throughout the genome. A weak but significant general heterogeneity was observed between the Illinois and Iowa samples at microsatellite loci and AFLP markers. This has not been detected in previous population genetic studies of D. v. virgifera and may indicate a reduction in gene flow between variant and wild-type beetles