Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

A New Three-Dimensional Subsulfide Ir₂In₈S with Dirac Semimetal Behavior

Dirac and Weyl semimetals host exotic quasiparticles with unconventional transport properties, such as high magnetoresistance and carrier mobility. Recent years have witnessed a huge number of newly predicted topological semimetals from existing databases; however, experimental verification often lags behind such predictions. Common reasons are synthetic difficulties or the stability of predicted phases. Here, we report the synthesis of the Type-II Dirac semimetal Ir2In8S, an air-stable compound with a new structure type. This material has two Dirac crossings in its electronic structure along the Γ-Z direction of the Brillouin zone. We further show that Ir2In8S has a high electron carrier mobility of ~10,000 cm2/Vs at 1.8 K, and a large, non-saturating transverse magnetoresistance of ~6000% at 3.34 K in a 14 T applied field. Shubnikov de-Haas oscillations reveal several small Fermi pockets and the possibility of a nontrivial Berry phase. With its facile crystal growth, novel structure type, and striking electronic structure, Ir2In8S introduces a new material system to study topological semimetals and enable advances in the field of topological materials

The subchalcogenides Ir₂In₈Q (Q = S, Se, Te): Dirac semimetal candidates with re-entrant structural modulation

Subchalcogenides are uncommon compounds where the metal atoms are in unusually low formal oxidation states. They bridge the gap between intermetallics and semiconductors, and can have unexpected structures and properties because of the exotic nature of their chemical bonding, as they contain both metal-metal and metal-main group (e.g. halide, chalcogenide) interactions. Finding new members of this class of materials presents synthetic challenges, as attempts to make them often result in phase separation into binary compounds. We overcome this difficulty by utilizing indium as a metal flux to synthesize large (mm scale) single crystals of novel subchalcogenide materials. Herein, we report two new compounds Ir2In8Q (Q = Se, Te) and compare their structural and electrical properties to the previously reported Ir2In8S analogue. Ir2In8Se and Ir2In8Te crystallize in the P42/mnm space group and are isostructural to Ir2In8S but also have commensurately modulated (with q-vectors q = 1/6a* + 1/6b* and q= 1/10a* + 1/10b* for Ir2In8Se and Ir2In8Te, respectively) low temperature phase transitions, where the chalcogenide anions in the channels experience a distortion in the form of In-Q bond alternation along the ab plane. Both compounds display re-entrant structural behavior, where the supercells appear on cooling but revert to the original subcell below 100 K, suggesting competing structural and electronic interactions dictate the overall structure. Notably, these materials are topological semimetal candidates with symmetry-protected Dirac crossings near the Fermi level, and exhibit high electron mobilities (~1500 cm2 V-1 s-1 at 1.8 K) and moderate carrier concentrations (~1020 cm-3) from charge transport measurements. This work highlights metal flux as a powerful synthetic route to high quality single crystals of novel intermetallic subchalcogenides

Cell-free (RNA) and cell-associated (DNA) HIV-1 and postnatal transmission through breastfeeding

<p>Introduction - Transmission through breastfeeding remains important for mother-to-child transmission (MTCT) in resource-limited settings. We quantify the relationship between cell-free (RNA) and cell-associated (DNA) shedding of HIV-1 virus in breastmilk and the risk of postnatal HIV-1 transmission in the first 6 months postpartum.</p> <p>Materials and Methods - Thirty-six HIV-positive mothers who transmitted HIV-1 by breastfeeding were matched to 36 non-transmitting HIV-1 infected mothers in a case-control study nested in a cohort of HIV-infected women. RNA and DNA were quantified in the same breastmilk sample taken at 6 weeks and 6 months. Cox regression analysis assessed the association between cell-free and cell-associated virus levels and risk of postnatal HIV-1 transmission.</p> <p>Results - There were higher median levels of cell-free than cell-associated HIV-1 virus (per ml) in breastmilk at 6 weeks and 6 months. Multivariably, adjusting for antenatal CD4 count and maternal plasma viral load, at 6 weeks, each 10-fold increase in cell-free or cell-associated levels (per ml) was significantly associated with HIV-1 transmission but stronger for cell-associated than cell-free levels [2.47 (95% CI 1.33–4.59) vs. aHR 1.52 (95% CI, 1.17–1.96), respectively]. At 6 months, cell-free and cell-associated levels (per ml) in breastmilk remained significantly associated with HIV-1 transmission but was stronger for cell-free than cell-associated levels [aHR 2.53 (95% CI 1.64–3.92) vs. 1.73 (95% CI 0.94–3.19), respectively].</p> <p>Conclusions - The findings suggest that cell-associated virus level (per ml) is more important for early postpartum HIV-1 transmission (at 6 weeks) than cell-free virus. As cell-associated virus levels have been consistently detected in breastmilk despite antiretroviral therapy, this highlights a potential challenge for resource-limited settings to achieve the UNAIDS goal for 2015 of eliminating vertical transmission. More studies would further knowledge on mechanisms of HIV-1 transmission and help develop more effective drugs during lactation.</p&gt

Nanostructured 3D Constructs Based on Chitosan and Chondroitin Sulphate Multilayers for Cartilage Tissue Engineering

Nanostructured three-dimensional constructs combining layer-by-layer technology (LbL) and template leaching were processed and evaluated as possible support structures for cartilage tissue engineering. Multilayered constructs were formed by depositing the polyelectrolytes chitosan (CHT) and chondroitin sulphate (CS) on either bidimensional glass surfaces or 3D packet of paraffin spheres. 2D CHT/CS multi-layered constructs proved to support the attachment and proliferation of bovine chondrocytes (BCH). The technology was transposed to 3D level and CHT/CS multi-layered hierarchical scaffolds were retrieved after paraffin leaching. The obtained nanostructured 3D constructs had a high porosity and water uptake capacity of about 300%. Dynamical mechanical analysis (DMA) showed the viscoelastic nature of the scaffolds. Cellular tests were performed with the culture of BCH and multipotent bone marrow derived stromal cells (hMSCs) up to 21 days in chondrogenic differentiation media. Together with scanning electronic microscopy analysis, viability tests and DNA quantification, our results clearly showed that cells attached, proliferated and were metabolically active over the entire scaffold. Cartilaginous extracellular matrix (ECM) formation was further assessed and results showed that GAG secretion occurred indicating the maintenance of the chondrogenic phenotype and the chondrogenic differentiation of hMSCs

Validation of the Chinese version of the "Mood Disorder Questionnaire" for screening bipolar disorder among patients with a current depressive episode

<p>Abstract</p> <p>Background</p> <p>The Mood Disorder Questionnaire (MDQ) is a well-recognized screening tool for bipolar disorder, but its Chinese version needs further validation. This study aims to measure the accuracy of the Chinese version of the MDQ as a screening instrument for bipolar disorder (BPD) in a group of patients with a current major depressive episode.</p> <p>Methods</p> <p>142 consecutive patients with an initial DSM-IV-TR diagnosis of a major depressive episode were screened for BPD using the Chinese translation of the MDQ and followed up for one year. The final diagnosis, determined by a special committee consisting of three trained senior psychiatrists, was used as a 'gold standard' and ROC was plotted to evaluate the performance of the MDQ. The optimal cut-off was chosen by maximizing the Younden's index.</p> <p>Results</p> <p>Of the 142 patients, 122 (85.9%) finished the one year follow-up. On the basis of a semi-structured clinical interview 48.4% (59/122) received a diagnosis of unipolar depression (UPD), 36.9% (45/122) BPDII and 14.8% (18/122) BPDI. At the end of the one year follow-up,9 moved from UPD to BPD, 2 from BPDII to UPD, 1 from BPDII to BPDI, the overall rate of initial misdiagnosis was 16.4%. MDQ showed a good accuracy for BPD: the optimal cut-off was 4, with a sensitivity of 0.72 and a specificity of 0.73. When BPDII and BPDI were calculated independently, the optimal cut-off for BPDII was 4, with a sensitivity of 0.70 and a specificity of 0.73; while the optimal cut-off for BPDI was 5, with a sensitivity of 0.67 and a specificity of 0.86.</p> <p>Conclusions</p> <p>Our results show that the Chinese version of MDQ is a valid tool for screening BPD in a group of patients with current depressive episode on the Chinese mainland.</p

Mathematically Gifted Adolescents Have Deficiencies in Social Valuation and Mentalization

Many mathematically gifted adolescents are characterized as being indolent, underachieving and unsuccessful despite their high cognitive ability. This is often due to difficulties with social and emotional development. However, research on social and emotional interactions in gifted adolescents has been limited. The purpose of this study was to observe differences in complex social strategic behaviors between gifted and average adolescents of the same age using the repeated Ultimatum Game. Twenty-two gifted adolescents and 24 average adolescents participated in the Ultimatum Game. Two adolescents participate in the game, one as a proposer and the other as a responder. Because of its simplicity, the Ultimatum Game is an apt tool for investigating complex human emotional and cognitive decision-making in an empirical setting. We observed strategic but socially impaired offers from gifted proposers and lower acceptance rates from gifted responders, resulting in lower total earnings in the Ultimatum Game. Thus, our results indicate that mathematically gifted adolescents have deficiencies in social valuation and mentalization

Prevalence and determinants of human papillomavirus infection and cervical lesions in HIV-positive women in Kenya

Background: We assessed the association of human papillomavirus (HPV) infection and cervical intraepithelial neoplasia (CIN) with various characteristics, CD4 count and use of combination antiretroviral therapy (cART) among HIV-positive women. Methods: Cross-sectional study of 498 HIV-positive women who underwent HPV PCR-based testing, cytology, and systematic cervical biopsy. Results: In all, 68.7% of women were HPV-positive, 52.6% had high-risk (hr) HPV, and 40.2% multiple type infections. High-risk human papillomavirus-positivity did not vary significantly by age but it was negatively associated with education level. The most frequent types in 113 CIN2/3 were HPV16 (26.5%), HPV35 (19.5%), and HPV58 (12.4%). CD4 count was negatively associated with prevalence of hrHPV (Po0.001) and CIN2/3 among non-users of cART (P¼0.013). Combination antiretroviral therapies users (X2 year) had lower hrHPV prevalence (prevalence ratio (PR) vs non-users¼0.77, 95% confidence interval (CI): 0.61–0.96) and multiple infections (PR¼0.68, 95% CI: 0.53–0.88), but not fewer CIN2/3. The positive predictive value of hrHPV-positivity for CIN2/3 increased from 28.9% at age o35 years to 53.3% in X45 years. Conclusion: The burden of hrHPV and CIN2/3 was high and it was related to immunosuppression level. Combination antiretroviral therapies (X2 year) use had a favourable effect on hrHPV prevalence but cART in our population may have been started too late to prevent CIN2/3