Algoritmos científicos

The Scientific Algorithms are a new metaheuristics inspired in the scientific research process. The new method introduces the idea of theme to search the solution space of hard problems. The inspiration for this class of algorithms comes from the act of researching that comprises thinking, knowledge sharing and disclosing new ideas. The ideas of the new method are illustrated in the Traveling Salesman Problem. A computational experiment applies the proposed approach to a new variant of the Traveling Salesman Problem named Car Renter Salesman Problem. The results are compared to state-of-the-art algorithms for the latter problem

Da compreensão novas viagens de Gulliver

Ayant comme opérateur cognitif le livre Les Voyages de Gulliver, de Jonathan Swift, la thése, écrite au format d'un journal de bord, suit dévoilant des indices pour une archéologie de la compréhension, au-delà de problématiser les interconexions entre communication et compréhension à l'actuel procés de planétarism. En suite, réalise quelques essais qui problématisent l'éthique, la science, et la condition humaine, sous l'inspiration du Parlément des Choses, suggéreé par Bruno Latour, où sont présents, symétriquement, les sciences, les scientists, les politiques, les natures, les cultures, et les sociétés. Pour une telle aventure, sont agencées des ideas de penseurs de diverses domaines de la connaissance, comme Edgar Morin, Henri Atlan, Hans-Georg Gadamer, Isabelle Stengers, David Bohm, Maria da Conceição de Almeida, Cremilda Medina, María Zambrano, Michel Serres, Boris Cyrulnik, dentre autres. Lettres de musique, registres littéraires et cinématographiques servent de points d'appuy pour la contextualization du récit de ce voyage qui ne comporte pas seulement la compréhension de la compléxité de l'être-humain, mais aussi, la compréhension des conditions dans lequelles sont forgées les mentalités et pratiques les actions. Ainsi, toule compréhension est un voyage sans fin: arrive à quelques ports, se ré-approvisionne et part à nouveau. Toute compréhension est ponctuelle, parcielle, provisoire, lacunaire et inachevée.

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