Learn More
This paper investigates the satisfiability of Propositional Projection Temporal Logic (PPTL) with infinite models. A decision procedure for PPTL formulas is given. To this end, Normal Form (NF) and Labeled Normal Form Graph (LNFG) for PPTL formulas are defined, and algorithms for transforming a formula to its normal form and constructing the LNFG for the(More)
OBJECTIVES Tumor necrosis factor (TNF)-α promoter -308G/A polymorphism has been shown to be associated with high TNF-α production and poor response to anti-TNF-α treatment. However, not all patients show a good response to TNF-α antagonists, so this association remains controversial. This study was designed to investigate whether TNF-α promoter -308 G/A(More)
OBJECTIVES Many publications have evaluated the correlation between HLA-B27 polymorphisms and ankylosing spondylitis (AS), with conflicting results. We carried out this new meta-analysis in order to collect all the relevant studies to further clarify the association of HLA-B27 polymorphisms with AS susceptibility. METHODS Relevant published data were(More)
Unstructured and structured P2P are two typical distributed models for P2P networking. The unstructured P2P uses flooding method, and has poor scalability and low efficiency, while the structured P2P uses DHT (Distributed Hash Table) method, and has low stability. This paper proposes a two-layer hybrid P2P network - HP2P, which combines flooding and DHT(More)
The Business Process Execution Language for Web Services (BPEL) has emerged as the de facto standard for implementing business processes. At the same time, Model Driven Architecture (MDA) is being applied to the field of business process engineering by separating business logic from the underlying platform technology. However, due to the challenge of(More)
Interleukin 17 (IL-17) is a Th17 cytokine associated with inflammation, autoimmunity, and defense against some bacteria; it has been implicated in many chronic autoimmune diseases including psoriasis, multiple sclerosis, and systemic sclerosis. However, whether IL-17 plays a role in the pathogenesis of ankylosing spondylitis (AS) remains unclear. To analyze(More)