Semantics-based Automated Web Testing

We present TAO, a software testing tool performing automated test and oracle generation based on a semantic approach. TAO entangles grammar-based test generation with automated semantics evaluation using a denotational semantics framework. We show how TAO can be incorporated with the Selenium automation tool for automated web testing, and how TAO can be further extended to support automated delta debugging, where a failing web test script can be systematically reduced based on grammar-directed strategies. A real-life parking website is adopted throughout the paper to demonstrate the effectivity of our semantics-based web testing approach.Comment: In Proceedings WWV 2015, arXiv:1508.0338

Advances in Emotion Recognition: Link to Depressive Disorder

Emotion recognition enables real-time analysis, tagging, and inference of cognitive affective states from human facial expression, speech and tone, body posture and physiological signal, as well as social text on social network platform. Recognition of emotion pattern based on explicit and implicit features extracted through wearable and other devices could be decoded through computational modeling. Meanwhile, emotion recognition and computation are critical to detection and diagnosis of potential patients of mood disorder. The chapter aims to summarize the main findings in the area of affective recognition and its applications in major depressive disorder (MDD), which have made rapid progress in the last decade

Higher-order topology in Fibonacci quasicrystals

In crystalline systems, higher-order topology, characterized by topological states of codimension greater than one, typically arises from the mismatch between Wannier centers and atomic sites, leading to filling anomalies. However, this phenomenon is less understood in aperiodic systems, such as quasicrystals, where Wannier centers are not well defined. In this study, we examine Fibonacci chains and squares, a quintessential type of quasicrystal, to investigate their higher-order topological properties. We discover that topological interfacial states, including corner states, can be inherited from their higher-dimensional periodic counterparts, such as the two-dimensional Su-Schrieffer-Heeger model. This finding is validated through numerical simulations of both phononic and photonic Fibonacci quasicrystals by the finite element method, revealing the emergence of topological edge and corner states at interfaces between Fibonacci quasicrystals with differing topologies inherited from their parent systems. Our results not only provide insight into the higher-order topology of quasicrystals but also open avenues for exploring novel topological phases in aperiodic structures.Comment: 9 pages, 6 figure

A Novel Dual-Band MIMO Antenna with Lower Correlation Coefficient

This paper demonstrates a novel dual-band operated MIMO antenna which consisted of planar monopole (main antenna) and 3D slot element (auxiliary antenna). The main antenna is printed on a 1.6 mm thick FR4 board, while the auxiliary antenna is fabricated with gold-coated copper. A lumped impedance network is applied to enhance matching effect at port1. From simulations by commercial software, it can be found that the proposed antenna is able to cover GSM800, GSM900 (lower band), and LTE/ WiMAX/WLAN (higher band) quite well. Good agreements between simulations and measurements are obtained. Corresponding measured results, antenna efficiency, peak gain, and radiation patterns, are presented at the same time. By equipping a passive decoupling element, the coupling power on the ground is radiated into free space, and great enhancement of isolation between antenna elements, especially for lower band, is achieved

Treatment effect of Bushen Huayu extract on postmenopausal osteoporosis in vivo

Bushen Huayu extract (BSHY), a traditional Chinese medicine, has been demonstrated to treat postmenopausal osteoporosis, however, the underlying mechanism remains to be fully elucidated. The aim of the present study was to investigate the therapeutic effect of BSHY and the mechanisms underlying this effect in an in vivo postmenopausal osteoporosis animal model. A total of 1 g BSHY containing 7.12 μg icariin was prepared. Low-dose BSHY (BSHY-L; 11.1 g/kg), medium-dose BSHY (BSHY-M; 22.2 g/kg) and high-dose BSHY (BSHY-H; 44.4 g/kg) was administered to oophorectomized rats using intragastric infusion. Estradiol (E2), interleukin-6 (IL-6) and serum alkaline phosphatase (ALP) levels, as well as bone density, were determined. It was found that the levels of serum ALP in the BSHY-L, BSHY-M and BSHY-H groups (197.75±41.74, 166.63±44.83 and 165.63±44.90 IU/l, respectively) were significantly decreased compared with the model group (299.13±45.79 IU/l; P<0.05), whilst the levels of E2 (16.89±1.71, 17.95±1.40 and 18.34±1.43 pg/ml, respectively) increased compared with the model group (14.54±1.61; P<0.05). In addition, the levels of IL-6 decreased in the BSHY-L, BSHY-M and BSHY-H groups (91.85±14.81, 82.99±15.65 and 80.54±14.61 pg/ml, respectively) compared with the model group (105.93±16.50 pg/ml; P<0.05). Furthermore, it was demonstrated that BSHY increased the bone density in the BSHY-L, BSHY-M and BSHY-H groups (0.20±0.014, 0.22±0.016 and 0.22±0.017 g/cm2, respectively) compared with the model group (0.19±0.011 g/cm2; P<0.05). BSHY was also found to increase the number of osteoblasts in the BSHY-L, BSHY-M and BSHY-H groups (25.38±2.17, 29.25±2.12 and 30.00±2.39, respectively), compared with in the model group (14.75±2.38; P<0.05), and decrease the number of osteoclasts in the BSHY-L, BSHY-M and BSHY-H groups (4.00±1.85, 4.25±1.39 and 5.75±1.49, respectively) compared with 9.50±1.60 observed in the model group (P<0.05). These results suggest that BSHY is a potential therapeutic drug for the treatment of osteoporosis in vivo. Furthermore, these results suggest that the mechanism by which BSHY decreases the serum levels of IL-6 may be by regulating E2.published_or_final_versio