On rich modal logics

I thank to my advisor, João Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benjamin Bedregal. These make a rigorous lecture of my work and give me valuable suggestions to make it better. I am grateful to the Post-Graduate Program in Systems and Computation that accepted me as student and provided to me the propitious environment to develop my research. I thank also to the CAPES for a 21 months fellowship. Thanks to my research group, LoLITA (Logic, Language, Information, Theory and Applications). In this group I have the opportunity to make some friends. Someone of them I knew in my early classes, they are: Sanderson, Haniel and Carol Blasio. Others I knew during the course, among them I’d like to cite: Patrick, Claudio, Flaulles and Ronildo. I thank to Severino Linhares and Maria Linhares who gently hosted me at your home in my first months in Natal. This couple jointly with my colleagues of student flat Fernado, Donátila and Aline are my nuclear family in Natal. I thank my fiancée Luclécia for her precious a ective support and to understand my absence at home during my master. I thank also my parents Manoel and Zenilda, my siblings Alexandre, Paulo and Paula.Without their confidence and encouragement I wouldn’t achieve success in this journey. If you want the hits, be prepared for the misses Carl Yastrzemski

Desempenho de escolares com transtorno de déficit de atenção e hiperatividade em tarefas metalinguisticas e de leitura

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

A SYSTEMIC CONCEPT OF THE GENE

The univocal correspondence between one gene and one polypeptide has been challenged by many examples of ambiguities. A rapidly expanding list of one-to-many or many-to-one correspondences includes: genomic rearrangements, alternative processing of transcripts, overlapping translation frames, RNA editing, alternative translation modes, and polyprotein cleavage.The genomic message requires interpretation through decoding by a sophisticated information retrieval system which should also carry some kind of information. The full meaning of the whole cell, as a unit, is emphasized.The gene is a combination of (one or more) nucleic acid (DNA or RNA) sequences, defined by the system (the whole cell, interacting with the environment, or the environment alone, in subcellular or pre-cellular systems), that gives origin to a product (RNA or polypeptide).

GnRH agonist versus GnRH antagonist in poor ovarian responders: A meta-analysis

The aim of this meta-analysis was to compare the efficacy of gonadotrophin antagonist (GnRH-ant) versus GnRH agonist (GnRHa) as coadjuvant therapy for ovarian stimulation in poor ovarian responders in IVF/intracytoplasmic sperm injection cycles. Search strategies included on-line surveys of databases such as MEDLINE, EMBASE and others. A fixed effects model was used for odds ratio (OR) and effect size (weighted mean difference, WMD). Six trials fulfilled the inclusion criteria (randomized controlled trials). There was no difference between GnRH-ant and GnRHa (long and flare-up protocols) with respect to cycle cancellation rate, number of mature oocytes and clinical pregnancy rate per cycle initiated, per oocyte retrieval and per embryo transfer. When the mete-analysis was applied to the two trials that had used GnRH-ant versus long protocols of GnRHa, a significantly higher number of retrieved oocytes was observed in the GnRH-ant protocols [P = 0.018; WMD: 1.12 (0.18, 2.05)]. However, when the meta-analysis was applied to the four trials that had used GnRH-ant versus flare-up protocols, a significantly higher number of retrieved oocytes (P = 0.032; WMD: -0.51, 95% CI -0.99, -0.04) was observed in the GnRHa protocols. Nevertheless, additional randomized controlled trials with better planning are needed to confirm these results.

Adjectival semantics and the legal domain: A study for ontology improvement

This paper carries out a descriptive study on Portuguese adjectives. Our aim is to describe the semantics of the legal domain adjectives in order to construct an ontology which may improve Information Retrieval Systems. For this, we present an approach based on valency and semantic relations. The ontology proposed here is a first step aiming to build a legal ontology based on top-level concepts. © AEPIA.

Proposal of convergence of e-Learning systems for t-Learning

This article presents considerations about viability on reutilize existing web based e-Learning systems on Interactive Digital TV environment according to Digital TV standard adopted in Brazil. Considering the popularity of Moodle system in academic and corporative area, such system was chosen as a foundation for a survey into its properties to create a specification of an Application Programming Interface (API) for convergence to t-Learning characteristics that demands efforts in interface design area due the fact that computer and TV concepts are totally different. This work aims to present studies concerning user interface design during two stages: survey and detail of functionalities from an e-Learning system and how to adapt them for the Interactive TV regarding usability context and Information Architecture concepts.

Correlação entre a taxa de fertilização e o fuso meiótico em oócitos humanos: Uma meta-análise

Objective: To investigate the relationship between the presence of meiotic spindle in human oocytes and fertilization rates in ICSI cycles. Methods: Search strategies included online surveys of databases from 1990 to 2008. Nine trials fulfilled the inclusion criteria Results: According to the meta-analysis, the results showed statistically significant higher fertilization rate (p<0.0001) when the meiotic spindle was viewed than when it was not. There was heterogeneity in this comparison. Conclusion: The presence of a birefringent meiotic spindle in human oocytes can predict a higher fertilization rate. This observation has clinical relevance mainly in countries where there is a legal limit on the number of oocytes to be fertilized. Copyright - SBRA - Sociedade Brasileira de Reprodução Assistida.

Produtividade Científica dos docentes da Universidade Estadual Paulista, câmpus de Assis/SP

In this work, we analyzed the scientific bibliographic productivity of the Faculdade Ciências e Letras de Assis, Universidade Estadual Paulista (FCLAs-UNESP). We evaluated the scientific productivity of Professors using data retrieved from the Lattes Plataform database (Curriculum Lattes), ISI Web of Science and SCOPUS, books published, chapter of the books published and academic advisory (Master's Thesis and Ph.D. Thesis). Bibliometric evaluations of departments showed a better performance of the total number of papers (indexed in Curriculum Lattes database) by Literature Department (P < 0.05) when compared to Modern Languages Department. The Biological Sciences Department had means higher of the papers indexed by SCOPUS (P < 0.05) and ISI (P < 0.05) when compared to others departments. We also observed that the low h-indexes (P< 0,05) in the humanities areas is result of traditional mode of communication in this area of knowledge, which makes more use of books and proceedings of meetings when compared to natural sciences. These publications are not covered by ISI and SCOPUS. The graduate programs in History and Languages presented means higher of academic advisory (Master's Thesis and Ph.D. Thesis) because are graduate programs consolidated in the 1970's.

Optimum-Path Forest pruning parameter estimation through Harmony Search

Pattern recognition in large amount of data has been paramount in the last decade, since that is not straightforward to design interactive and real time classification systems. Very recently, the Optimum-Path Forest classifier was proposed to overcome such limitations, together with its training set pruning algorithm, which requires a parameter that has been empirically set up to date. In this paper, we propose a Harmony Search-based algorithm that can find near optimal values for that. The experimental results have showed that our algorithm is able to find proper values for the OPF pruning algorithm parameter. © 2011 IEEE.

New trends in musical genre classification using optimum-path forest

Musical genre classification has been paramount in the last years, mainly in large multimedia datasets, in which new songs and genres can be added at every moment by anyone. In this context, we have seen the growing of musical recommendation systems, which can improve the benefits for several applications, such as social networks and collective musical libraries. In this work, we have introduced a recent machine learning technique named Optimum-Path Forest (OPF) for musical genre classification, which has been demonstrated to be similar to the state-of-the-art pattern recognition techniques, but much faster for some applications. Experiments in two public datasets were conducted against Support Vector Machines and a Bayesian classifier to show the validity of our work. In addition, we have executed an experiment using very recent hybrid feature selection techniques based on OPF to speed up feature extraction process. © 2011 International Society for Music Information Retrieval.

Análise de métodos de produção de interfaces visuais para recuperação da informação

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Informação e segurança pública: modelo de banco de dados para a gestão de informações em Moçambique

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Usabilidade na recuperação da informação: um enfoque no catálogo Athena

Pós-graduação em Ciência da Informação - FFC

Serviço de referência e informação para smartphones: análise de acesso e uso

Pós-graduação em Ciência da Informação - FFC

Ontolime: modelo de ontologia de descrição de imagens médicas

Pós-graduação em Ciência da Informação - FFC