On the integration of metamorphic testing and model checking

Metamorphic testing, an innovative software testing technique, generates test cases based on domain specific properties. Model checking is a technique that verifies software designs against system properties. Motivated by the fact that both techniques are based on some properties of software under development, we investigate how to integrate metamorphic testing and model checking. This paper will introduce and discuss some potential topics on this new research direction

Internal structure and pigment granules in colored alpaca fibers

Alpaca fibers have some distinct properties such as softness and warmth, which have not been fully understood in combination with the fiber internal structures. In the present investigation, the internal structures of alpaca fibers have been closely examined under the scanning electron microscope (SEM), especially in the longitudinal direction. The results showed that numerous pigment granules reside loosely inside pockets in brown and dark-brown alpaca fibers. These pigment granules were mainly distributed inside the cortical cells, the medullation regions as well as underneath the cuticles. Their size in the brown alpaca fibers was smaller and more uniformly round than in the dark-brown fibers. These granules in colored alpaca fibers loosen the bundle of cortical cells, providing many crannies in the fibers which may contribute to the superior flexibility, warmth and softness of the fibers. Moreover, there are no heavy metal elements found in the granules. The mordant hydrogen peroxide bleaching employed could eliminate the pigment granules and create many nano-volumes for further dyeing of fibers into more attractive colors

A Systematic Analysis on DNA Methylation and the Expression of Both mRNA and microRNA in Bladder Cancer

Background: DNA methylation aberration and microRNA (miRNA) deregulation have been observed in many types of cancers. A systematic study of methylome and transcriptome in bladder urothelial carcinoma has never been reported. Methodology/Principal Findings: The DNA methylation was profiled by modified methylation-specific digital karyotyping (MMSDK) and the expression of mRNAs and miRNAs was analyzed by digital gene expression (DGE) sequencing in tumors and matched normal adjacent tissues obtained from 9 bladder urothelial carcinoma patients. We found that a set of significantly enriched pathways disrupted in bladder urothelial carcinoma primarily related to "neurogenesis" and "cell differentiation" by integrated analysis of -omics data. Furthermore, we identified an intriguing collection of cancer-related genes that were deregulated at the levels of DNA methylation and mRNA expression, and we validated several of these genes (HIC1, SLIT2, RASAL1, and KRT17) by Bisulfite Sequencing PCR and Reverse Transcription qPCR in a panel of 33 bladder cancer samples. Conclusions/Significance: We characterized the profiles between methylome and transcriptome in bladder urothelial carcinoma, identified a set of significantly enriched key pathways, and screened four aberrantly methylated and expressed genes. Conclusively, our findings shed light on a new avenue for basic bladder cancer research

RET Mutational Spectrum in Hirschsprung Disease: Evaluation of 601 Chinese Patients

Rare (RVs) and common variants of the RET gene contribute to Hirschsprung disease (HSCR; congenital aganglionosis). While RET common variants are strongly associated with the commonest manifestation of the disease (males; short-segment aganglionosis; sporadic), rare coding sequence (CDS) variants are more frequently found in the lesser common and more severe forms of the disease (females; long/total colonic aganglionosis; familial)

BAFF Promotes Th17 Cells and Aggravates Experimental Autoimmune Encephalomyelitis

BAFF, in addition to promoting B cell survival and differentiation, may affect T cells. The objective of this study was to determine the effect of BAFF on Th17 cell generation and its ramifications for the Th17 cell-driven disease, EAE.Th17 cells were increased in BAFF-Tg B6 (B6.BTg) mice and decreased in B6.Baff(-/-) mice. Th17 cells in B6.Baff(-/-) mice bearing a BAFF Tg (B6.Baff(-/-).BTg mice) were identical to those in B6.BTg mice, indicating that membrane BAFF is dispensable for Th17 cell generation as long as soluble BAFF is plentiful. In T + non-T cell criss-cross co-cultures, Th17 cell generation was greatest in cultures containing B6.BTg T cells and lowest in cultures containing B6.Baff(-/-) T cells, regardless of the source of non-T cells. In cultures containing only T cells, Th17 cell generation followed an identical pattern. CD4(+) cell expression of CD126 (IL-6R α chain) was increased in B6.BTg mice and decreased in B6.Baff(-/-) mice, and activation of STAT3 following stimulation with IL-6 + TGF-β was also greatest in B6.BTg cells and lowest in B6.Baff(-/-) cells. EAE was clinically and pathologically most severe in B6.BTg mice and least severe in B6.Baff(-/-) mice and correlated with MOG(35-55) peptide-induced Th17 cell responses.Collectively, these findings document a contribution of BAFF to pathogenic Th17 cell responses and suggest that BAFF antagonism may be efficacious in Th17 cell-driven diseases

Anti-HIV-1 Activity of a New Scorpion Venom Peptide Derivative Kn2-7

For over 30 years, HIV/AIDS has wreaked havoc in the world. In the absence of an effective vaccine for HIV, development of new anti-HIV agents is urgently needed. We previously identified the antiviral activities of the scorpion-venom-peptide-derived mucroporin-M1 for three RNA viruses (measles viruses, SARS-CoV, and H5N1). In this investigation, a panel of scorpion venom peptides and their derivatives were designed and chosen for assessment of their anti-HIV activities. A new scorpion venom peptide derivative Kn2-7 was identified as the most potent anti-HIV-1 peptide by screening assays with an EC50 value of 2.76 µg/ml (1.65 µM) and showed low cytotoxicity to host cells with a selective index (SI) of 13.93. Kn2-7 could inhibit all members of a standard reference panel of HIV-1 subtype B pseudotyped virus (PV) with CCR5-tropic and CXCR4-tropic NL4-3 PV strain. Furthermore, it also inhibited a CXCR4-tropic replication-competent strain of HIV-1 subtype B virus. Binding assay of Kn2-7 to HIV-1 PV by Octet Red system suggested the anti-HIV-1 activity was correlated with a direct interaction between Kn2-7 and HIV-1 envelope. These results demonstrated that peptide Kn2-7 could inhibit HIV-1 by direct interaction with viral particle and may become a promising candidate compound for further development of microbicide against HIV-1

Two ultraviolet radiation datasets that cover China

Ultraviolet (UV) radiation has significant effects on ecosystems, environments, and human health, as well as atmospheric processes and climate change. Two ultraviolet radiation datasets are described in this paper. One contains hourly observations of UV radiation measured at 40 Chinese Ecosystem Research Network stations from 2005 to 2015. CUV3 broadband radiometers were used to observe the UV radiation, with an accuracy of 5%, which meets the World Meteorology Organization's measurement standards. The extremum method was used to control the quality of the measured datasets. The other dataset contains daily cumulative UV radiation estimates that were calculated using an all-sky estimation model combined with a hybrid model. The reconstructed daily UV radiation data span from 1961 to 2014. The mean absolute bias error and root-mean-square error are smaller than 30% at most stations, and most of the mean bias error values are negative, which indicates underestimation of the UV radiation intensity. These datasets can improve our basic knowledge of the spatial and temporal variations in UV radiation. Additionally, these datasets can be used in studies of potential ozone formation and atmospheric oxidation, as well as simulations of ecological processes