Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access

Pregel is a popular distributed computing model for dealing with large-scale graphs. However, it can be tricky to implement graph algorithms correctly and efficiently in Pregel's vertex-centric model, especially when the algorithm has multiple computation stages, complicated data dependencies, or even communication over dynamic internal data structures. Some domain-specific languages (DSLs) have been proposed to provide more intuitive ways to implement graph algorithms, but due to the lack of support for remote access --- reading or writing attributes of other vertices through references --- they cannot handle the above mentioned dynamic communication, causing a class of Pregel algorithms with fast convergence impossible to implement. To address this problem, we design and implement Palgol, a more declarative and powerful DSL which supports remote access. In particular, programmers can use a more declarative syntax called chain access to naturally specify dynamic communication as if directly reading data on arbitrary remote vertices. By analyzing the logic patterns of chain access, we provide a novel algorithm for compiling Palgol programs to efficient Pregel code. We demonstrate the power of Palgol by using it to implement several practical Pregel algorithms, and the evaluation result shows that the efficiency of Palgol is comparable with that of hand-written code.Comment: 12 pages, 10 figures, extended version of APLAS 2017 pape

Wind-induced vibration analysis of the Hong Kong Ting Kau Bridge

Because of their high flexibility and relatively low structural damping, long-span bridges are prone to wind-induced vibration. An efficient wind field simulation technique for wind-induced vibration analysis of long-span bridges is first introduced in this paper. The time-domain expressions for the buffeting and self-excited forces acting on long-span bridges can then be found from the wind velocities. Based on the above theory and the aerodynamic parameters obtained by wind tunnel tests, a study of the wind fluctuations and aerodynamic forces is carried out on the Hong Kong Ting Kau Bridge, which is a cable-stayed bridge comprising two main spans and two side spans. The buffeting response of the bridge is analysed in the time domain by using step-by-step numerical integration techniques. The aerodynamic behaviour of the bridge can therefore be obtained, and the safety performance of the bridge against strong wind can further be evaluated. Numerical results basically agree with the experimental data, indicating that the theory presented in this paper is applicable to engineering practice.published_or_final_versio

Consumer use of “Dr Google”: a survey on health information-seeking behaviors and navigational needs

BACKGROUND: The Internet provides a platform to access health information and support self-management by consumers with chronic health conditions. Despite recognized barriers to accessing Web-based health information, there is a lack of research quantitatively exploring whether consumers report difficulty finding desired health information on the Internet and whether these consumers would like assistance (ie, navigational needs). Understanding navigational needs can provide a basis for interventions guiding consumers to quality Web-based health resources. OBJECTIVE: We aimed to (1) estimate the proportion of consumers with navigational needs among seekers of Web-based health information with chronic health conditions, (2) describe Web-based health information-seeking behaviors, level of patient activation, and level of eHealth literacy among consumers with navigational needs, and (3) explore variables predicting navigational needs. METHODS: A questionnaire was developed based on findings from a qualitative study on Web-based health information-seeking behaviors and navigational needs. This questionnaire also incorporated the eHealth Literacy Scale (eHEALS; a measure of self-perceived eHealth literacy) and PAM-13 (a measure of patient activation). The target population was consumers of Web-based health information with chronic health conditions. We surveyed a sample of 400 Australian adults, with recruitment coordinated by Qualtrics. This sample size was required to estimate the proportion of consumers identified with navigational needs with a precision of 4.9% either side of the true population value, with 95% confidence. A subsample was invited to retake the survey after 2 weeks to assess the test-retest reliability of the eHEALS and PAM-13.RESULTS: Of 514 individuals who met our eligibility criteria, 400 (77.8%) completed the questionnaire and 43 participants completed the retest. Approximately half (51.3%; 95% CI 46.4-56.2) of the population was identified with navigational needs. Participants with navigational needs appeared to look for more types of health information on the Internet and from a greater variety of information sources compared to participants without navigational needs. However, participants with navigational needs were significantly less likely to have high levels of eHealth literacy (adjusted odds ratio=0.83, 95% CI 0.78-0.89, P<.001). Age was also a significant predictor (P=.02). CONCLUSIONS: Approximately half of the population of consumers of Web-based health information with chronic health conditions would benefit from support in finding health information on the Internet. Despite the popularity of the Internet as a source of health information, further work is recommended to maximize its potential as a tool to assist self-management in consumers with chronic health conditions

NLO QCD corrections to tW' and tZ' production in forward-backward asymmetry models

We consider Z' and W' models recently proposed to explain the top forward-backward asymmetry at the Tevatron. We present the next-to-leading order QCD corrections to associated production of such vector bosons together with top quarks at the Large Hadron Collider, for centre-of-mass energies of 7 and 8 TeV. The corrections are significant, modifying the total production cross-section by 30-50%. We consider the effects of the corrections on the top and vector-boson kinematics. The results are directly applicable to current experimental searches, for both the ATLAS and CMS collaborations.Comment: 62 pages, 13 figures, 36 tables. v3 Updated to correspond to Journal version and incorporate supplementary materia

Comparative analysis between shape memory alloy-based correction and traditional correction technique in pedicle screws constructs for treating severe scoliosis

The three-dimensional correction of severe rigid scoliosis has been improved by segmental pedicle screw instrumentation. However, there can be significant difficulty related to the use of a rigid rod, especially in the apex region of severe scoliosis. This study is a retrospective matched cohort study to evaluate the advantages of Nitinol shape memory alloy (SMA) rod-based correction by comparing the clinical and radiographic results obtained from using a temporary SMA rod and those from a standard rod in the correction of severe scoliosis. From May 2004 to September 2006, patients with matched curve type, ages at surgery, operative methods and fusion levels in our institute and instrumented with either SMA rods (n = 14) or traditional correction techniques (n = 16) were reviewed. In SMA group, the SMA rods served as a temporary intraoperative tool for deformity correction and were replaced by standard rods. The blood loss at surgery averaged 778 ± 285 ml in the traditional group and 585 ± 188 ml in the SMA group (P < 0.05). Operative time averaged 284 ± 53 min in the SMA group and 324 ± 41 min in the traditional group (P < 0.05). In the SMA group, the preoperative major curve was 92.6° ± 13.7° with a flexibility of 25.5 ± 7.3% was corrected to 29.4° ± 5.7° demonstrating a 68.4% immediate postoperative correction. In the traditional group, the preoperative major curve was 88.6° ± 14.6° with a flexibility of 29.3 ± 6.6% was corrected to 37.2° ± 7.3° demonstrating a 57.8% immediate postoperative correction. There was a statistic difference between the SMA group and traditional group in correction rate of the major thoracic curve. In the SMA group, one case suffered from deep infection 2 months postoperatively. In the traditional group, 6 of 16 cases suffered pedicle screw pull out or loosening during placement of the standard rod at the apex vertebrae on the concave side. In three cases, the mono-axial pedicle screws near the apex were abandoned and in five cases replaced with poly-axial pedicle screws. This study shows that the temporary use of SMA rod may reduce the operative time, blood loss, while improve the correction of the coronal plane when compared with standard techniques

Raman spectroscopy as a versatile tool for studying the properties of graphene.

Raman spectroscopy is an integral part of graphene research. It is used to determine the number and orientation of layers, the quality and types of edge, and the effects of perturbations, such as electric and magnetic fields, strain, doping, disorder and functional groups. This, in turn, provides insight into all sp(2)-bonded carbon allotropes, because graphene is their fundamental building block. Here we review the state of the art, future directions and open questions in Raman spectroscopy of graphene. We describe essential physical processes whose importance has only recently been recognized, such as the various types of resonance at play, and the role of quantum interference. We update all basic concepts and notations, and propose a terminology that is able to describe any result in literature. We finally highlight the potential of Raman spectroscopy for layered materials other than graphene