Probabilistic Model Counting with Short XORs

The idea of counting the number of satisfying truth assignments (models) of a formula by adding random parity constraints can be traced back to the seminal work of Valiant and Vazirani, showing that NP is as easy as detecting unique solutions. While theoretically sound, the random parity constraints in that construction have the following drawback: each constraint, on average, involves half of all variables. As a result, the branching factor associated with searching for models that also satisfy the parity constraints quickly gets out of hand. In this work we prove that one can work with much shorter parity constraints and still get rigorous mathematical guarantees, especially when the number of models is large so that many constraints need to be added. Our work is based on the realization that the essential feature for random systems of parity constraints to be useful in probabilistic model counting is that the geometry of their set of solutions resembles an error-correcting code.Comment: To appear in SAT 1

From backdoor key to backdoor completability: improving a known measure of hardness for the satisfiable CSP

Many studies have been conducted on the complexity of Constraint Satisfaction Problem (CSP) classes. However, there exists little theoretical work on the hardness of individual CSP instances. In this context, the backdoor key fraction (BKF) [17] was introduced as a quantifier of problem hardness for individual satisfiable instances with regard to backtracking search. In our paper, after highlighting the weaknesses of the BKF, we propose a better characterization of the hardness of an individual satisfiable CSP instance based on the ratio between the size of the solution space and that of the search space. We formally show that our measure is negatively correlated with instance hardness. We also show through experiments that this measure evaluates more accurately the hardness of individual instances than the BKF

Isokinetic muscle function comparison of lower limbs among elderly fallers and non-fallers

O objetivo deste estudo foi identificar se há diferenças entre o desempenho muscular de tornozelo, joelho e quadril em idosos com e sem relato de queda nos últimos seis meses. Foram incluídos 81 idosos com 65 anos ou mais: 56 negaram quedas (G1) e 25 relataram quedas (G2). Utilizou-se o questionário perfil de atividade humana para medir o nível de atividade física, e o dinamômetro isocinético para mensurar os parâmetros físicos da função muscular. Os grupos não diferiram entre si em relação à idade (p=0,925), duração (p=0,065) e frequência (p=0,302) da prática do exercício físico, índice de massa corpórea (p=0,995) e nível de atividade física (p=0,561). O G2 apresentou menor desempenho para as variáveis pico de torque de flexão e extensão de joelho esquerdo (p=0,027 e p=0,030, respectivamente) e trabalho por peso corporal (p=0,040) de flexão de joelho esquerdo a 60°/s; pico de torque e trabalho por peso corporal de flexão e extensão de joelho a 180°/s bilateralmente (p<0,050); e potência média de flexão de joelhos direito e esquerdo (p=0,030). A maioria das variáveis do tornozelo e quadril não apresentou diferenças entre os grupos. Apenas a variável pico de torque de extensão de quadril esquerdo foi significativamente maior no G1 (p=0,035). É importante considerar a função muscular do joelho na avaliação clínica de idosos para direcionar a intervenção terapêutica e a prevenção de quedas.The aim of this study was to identify whether there are differences between the performance of muscular groups of ankle, knee and hip among elderly people who didn't have falls and individuals who reported falls in the last six months. The study included 81 elderly aged 65 or older: 56 non-faller subjects (G1) and 25 faaller subjects (G2). To obtain the level of physical activity, the questionnaire Human Activity Profile was used, and the muscle function of the lower limbs was assessed using isokinetic dynamometer. The groups did not differ regarding age (p=0.925), duration (p=0.065) and frequency (p=0.302) of the practice of physical exercise, body mass index (BMI) (p=0.995) and level of physical activity (p=0.561). The G2 showed a lower performance of peak torque of left knee flexion and extension (p=0.027 and p=0.030, respectively) and work proportional to body weight (p=0.040) of left knee flexion at 60°/s; peak torque and work proportional to body weight of bilaterally knee flexion and extension at 180°/s (p<0.05) and average power of right and left knee extension (p=0.03). Most variables of ankle and hip joints did not differ between groups. Only peak torque of left hip extension was significantly higher in the non-faller group (p=0.035). It is important to consider knee muscle function in the clinical evaluation of elderly in order to make the intervention more assertive and thus to prevent falls

Polimiosite : investigação clínica em duas irmãs

We present an investigation of a case of polymyositis affecting two sisters of one same parenthood. Their cases have been documented for almost two decades, being investigated by means of a diagnostic protocol which combined clinical findings as well as laboratorial, histopathological and image tests. In both cases, clinical manifestations started in childhood, without signs of involvement of the central and peripheral nervous system. Both patients proved to respond to a therapeutics based on corticosteroids. The degree of relatedness between their parents corroborate the notion that genetic factors may contribute to the development of the disease. ___________________________________________________________________________________________________ RESUMOApresentamos a investigação de dois casos de polimiosite, ocorridos entre irmãs de uma mesma filiação. Seus casos foram documentados ao longo de quase duas décadas, tendo sido diagnosticados utilizando- se de protocolo diagnóstico que combinou achados clínicos, exames laboratoriais, histopatológicos e por imagem. Em ambos os casos, as manifestações clínicas se iniciaram ainda na infância, sendo constatada ausência de acometimento do sistema nervoso central ou periférico. Ambas as pacientes responderam satisfatoriamente a terapia baseada em corticosteróide. O grau de parentesco entre os genitores das pacientes sugere que fatores genéticos podem predispor ao desenvolvimento da doença

Immune Response to Lactobacillus plantarum Expressing Borrelia burgdorferi OspA Is Modulated by the Lipid Modification of the Antigen

Over the past decade there has been increasing interest in the use of lactic acid bacteria as mucosal delivery vehicles for vaccine antigens, microbicides and therapeutics. We investigated the mechanism by which a mucosal vaccine based in recombinant lactic acid bacteria breaks the immunological tolerance of the gut in order to elicit a protective immune response.We analyzed how the lipid modification of OspA affects the localization of the antigen in our delivery vehicle using a number of biochemistry techniques. Furthermore, we examined how OspA-expressing L. plantarum breaks the oral tolerance of the gut by stimulating human intestinal epithelial cells, peripheral blood mononuclear cells and monocyte derived dendritic cells and measuring cytokine production. We show that the leader peptide of OspA targets the protein to the cell envelope of L. plantarum, and it is responsible for protein export across the membrane. Mutation of the lipidation site in OspA redirects protein localization within the cell envelope. Further, we show that lipidated-OspA-expressing L. plantarum does not induce secretion of the pro-inflammatory cytokine IL-8 by intestinal epithelial cells. In addition, it breaks oral tolerance of the gut via Th1/Th2 cell mediated immunity, as shown by the production of pro- and anti-inflammatory cytokines by human dendritic cells, and by the production of IgG2a and IgG1 antibodies, respectively.Lipid modification of OspA expressed in L. plantarum modulates the immune response to this antigen through a Th1/Th2 immune response

Genome of the Avirulent Human-Infective Trypanosome—Trypanosoma rangeli

Background: Trypanosoma rangeli is a hemoflagellate protozoan parasite infecting humans and other wild and domestic mammals across Central and South America. It does not cause human disease, but it can be mistaken for the etiologic agent of Chagas disease, Trypanosoma cruzi. We have sequenced the T. rangeli genome to provide new tools for elucidating the distinct and intriguing biology of this species and the key pathways related to interaction with its arthropod and mammalian hosts.  Methodology/Principal Findings: The T. rangeli haploid genome is ,24 Mb in length, and is the smallest and least repetitive trypanosomatid genome sequenced thus far. This parasite genome has shorter subtelomeric sequences compared to those of T. cruzi and T. brucei; displays intraspecific karyotype variability and lacks minichromosomes. Of the predicted 7,613 protein coding sequences, functional annotations could be determined for 2,415, while 5,043 are hypothetical proteins, some with evidence of protein expression. 7,101 genes (93%) are shared with other trypanosomatids that infect humans. An ortholog of the dcl2 gene involved in the T. brucei RNAi pathway was found in T. rangeli, but the RNAi machinery is non-functional since the other genes in this pathway are pseudogenized. T. rangeli is highly susceptible to oxidative stress, a phenotype that may be explained by a smaller number of anti-oxidant defense enzymes and heatshock proteins.  Conclusions/Significance: Phylogenetic comparison of nuclear and mitochondrial genes indicates that T. rangeli and T. cruzi are equidistant from T. brucei. In addition to revealing new aspects of trypanosome co-evolution within the vertebrate and invertebrate hosts, comparative genomic analysis with pathogenic trypanosomatids provides valuable new information that can be further explored with the aim of developing better diagnostic tools and/or therapeutic targets