Data logics are logical formalisms that are used to specify properties on structures equipped with data (data words, data trees, runs from counter systems, timed words, etc.). In this survey talk, we shall see how satisfiability problems for such data logics are related to reachability problems for counter systems (including counter automata with errors, vector addition systems with states, etc...

Literature on HIV status disclosure among persons living with HIV/AIDS (PLWHA) is dominated by research on the rates, barriers and consequences of disclosure to sexual partners, because of the assumed preventive health benefits of partner disclosure. Disclosure of HIV status can lead to an increase in social support and other positive psychosocial outcomes for PLWHA, but disclosure can also be ...

Abstract Introduction 6% of all inguinal hernias are scrotal in high-resource countries rising to 67% low-resource countries. This represents a heavy disease burden on relatively young men during their most productive period life. Despite limited evidence these guidelines aim improve treatment for hernia patients. Methods After developing 19 key questions systematic literature review was perfor...

Department of Chemistry, Avinashilingam Deemed University for Women, Coimbatore641 043 ABSTRACT Lipophilicity which plays an important role in research into the structure-activity relationship of drug action has been theoretically predicted for few chromen-2-ones and chromen-2-thiones using commercial software HyperChem 7.0 and an internet computational software ALOGPS 2.1. In the compounds ana...

Toll-like receptors (TLRs) are important components of innate immunity. We investigated the association between polymorphisms in the TLR2, TLR4, and TLR9 genes and susceptibility to noninvasive forms of pulmonary aspergillosis. A significant association was observed between allele G on Asp299Gly (TLR4) and chronic cavitary pulmonary aspergillosis (odds ratio [OR], 3.46; P =.003). Susceptibility...