Ocorrência de Anastrepha zenildae Zucchi (Diptera: Tephritidae) e seu parasitóide em frutos de Ziziphus mauritiana (Rhamnaceae) em Roraima.

Resumo 1626-1

Levantamento de hospedeiros e parasitóides de Anastrepha spp. (Diptera: Tephritidae) no município de Boa Vista, Estado de Roraima.

Resumo 937-1

Socio-demographic and clinical characterization of patients with obsessive-compulsive tic-related disorder (OCTD) : An Italian multicenter study

© Copyright by Pacini Editore SrlIn the DSM-5 a new "tic-related" specifier for obsessive compulsive disorder (OCD) has been introduced, highlighting the importance of an accurate characterization of patients suffering from obsessive-compulsive tic-related disorder ("OCTD"). In order to characterize OCTD from a socio-demographic and clinical perspective, the present multicenter study was carried out. The sample consists of 266 patients, divided in two groups with lifetime diagnoses of OCD and OCTD, respectively. OCTD vs OCD patients showed a significant male prevalence (68.5% vs 48.5%; p < .001), a higher rate of psychiatric comorbidities (69.4 vs 50%; p < .001) - mainly with neurodevelopmental disorders (24 vs 0%; p < .001), a lower education level and professional status (middle school diploma: 25 vs 7.6%; full-Time job 44.4 vs 58%; p < .001). Moreover, OCTD vs OCD patients showed significantly earlier age of OCD and psychiatric comorbidity onsets (16.1 ± 10.8 vs 22.1 ± 9.5 years; p < .001, and 18.3 ± 12.8 vs 25.6 ± 9.4: p < .001, respectively). Patients with OCTD patients were treated mainly with antipsychotic and with a low rate of benzodiazepine (74.2 vs 38.2% and 20.2 vs 31.3%, respectively; p < .001). Finally, OCTD vs OCD patients showed higher rates of partial treatment response (58.1 vs 38%; p < .001), lower rates of current remission (35.5 vs 54.8%; p < .001) and higher rates of suicidal ideation (63.2 vs 41.7%; p < .001) and attempts (28.9 vs 8.3%; p < .001). Patients with OCTD report several unfavorable socio-demographic and clinical characteristics compared to OCD patients without a history of tic. Additional studies on larger sample are needed to further characterize OCTD patients from clinical and therapeutic perspectives.Peer reviewedFinal Published versio

A Formalization of the Theorem of Existence of First-Order Most General Unifiers

This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS. The distinguishing feature of this formalization is that it remains close to the textbook proofs that are based on proving the correctness of the well-known Robinson's first-order unification algorithm. The formalization was applied inside a PVS development for term rewriting systems that provides a complete formalization of the Knuth-Bendix Critical Pair theorem, among other relevant theorems of the theory of rewriting. In addition, the formalization methodology has been proved of practical use in order to verify the correctness of unification algorithms in the style of the original Robinson's unification algorithm.Comment: In Proceedings LSFA 2011, arXiv:1203.542

Anastrepha species (Diptera: Tephritidae), their hosts and parasitoids in the extreme north of Brazil.

O presente trabalho foi realizado em cinco municípios do Estado de Roraima, Brasil, com o objetivo de registrar a ocorrência de espécies de Anastrepha, suas plantas hospedeiras e parasitoides. Foram coletados frutos carnosos de 21 espécies pertencentes a 10 famílias botânicas de setembro/2007 a setembro/2008. Foram identificadas 10 espécies de Anastrepha (Anastrepha bahiensis Lima e Anastrepha montei Lima foram registradas pela primeira vez em Roraima) e cinco espécies de parasitoides (4 Braconidae e 1 Figitidae). Doryctobracon areolatus (Szépligeti) foi o parasitoide mais abundante