Analytic Methods for the Logic of Proofs

The logic of proofs (lp) was proposed as Gdels missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for lp have not explored this closeness with S4 and contain rules whose analycity is not immediately evident. We study possible formulations of analytic tableau proof methods for lp that preserve the subformula property. Two sound and complete tableau decision methods of increasing degree of analycity are proposed, KELP and preKELP. The latter is particularly inspired on S4-proofs. The crucial role of proof constants in the structure of lp-proofs methods is analysed. In particular, a method for the abduction of proof constant specifications in strongly analytic preKELP proofs is presented; abduction heuristics and the complexity of the method are discussed.

Approximations of modal logics: K and beyond

Inspired by the recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of the n-degree of introspection that is allowed, thus generating modal n-logics. The semantics for n-logics is presented, in which formulas are evaluated with respect to paths, and not possible worlds. A tableau-based proof system is presented, n-SST, and soundness and completeness is shown for the approximation of modal logics K, T, D, S4 and S5. (c) 2008 Published by Elsevier B.V.

Ensino: o elo mais fraco da cadeia científica

Nesta Dissertações discutimos - com base na epistemologia de Bachelard - os problemas mais gerais que cercam atualmente o ensino das ciências físicas (química e física) no segundo grau. Tivemos por meta examinar o papel cumprido pelas diversas correntes filosóficas que, a partir da modernidade, influenciaram amplamente a cultura científica, destacando as consequências mais significativas para o ensino da Química e da física. Para melhor compreender esses reflexos, fizemos também uma pesquisa de campo junto aos professores de química e física Que lecionam no município do Rio de Janeiro. A partir daí foi possível evidenciar a situação de fragilidade do ensino secundário de tais ciências e propor alternativas para a modificação desse Quadro tão negativo.

As relações acadêmicas de produção na pós-Graduação em administração no Brasil

A presente tese pretende contribuir criticamente para o entendimento das intrincadas relações existentes entre o Estado, o capital e a produção acadêmica. Para isso, se propôs a interpretar as relações acadêmicas de produção na pós-graduação em Administração no Brasil articulando-as com categorias analíticas mais amplas, delineadas de forma a fornecer um quadro, ao fundo, da economia-política. O pressuposto de que a atual intensificação dos ritmos de produção acadêmica contrasta com um passado – idealizado – de ciência contemplativa precisou ser confrontado com o desenvolvimento histórico da educação superior e da pós-graduação no país objetivando-se demover certas mitificações do debate. O Estado, em sua versão reformada a partir do ideário friedmaniano, o conceito de capital monopolista e a teoria do processo de trabalho forneceram suporte teórico-metodológico – e empírico – para a interpretação do quadro político-econômico proposto. Para a passagem do geral para o particular – das conexões entre o Estado e o capital à produção acadêmica – recorreu-se à coleta de dados em duas frentes: (i) analisou-se a produção acadêmica de todos os 168 pesquisadores-doutores bolsistas (até março de 2014) em Produtividade em Pesquisa (PQ) do CNPq na área de Administração e (ii) realizou-se entrevistas em profundidade com pesquisadores-doutores e doutorandos dos mais variados programas de pós-graduação em Administração do país. Os resultados foram inquietantes: verificou-se que está em curso um processo de intensificação da incorporação da mão-de-obra formada por alunos-orientandos às estruturas pedagógico-produtivas dos cursos de pós-graduação. Os orientandos respondem pela parcela mais substantiva do total da produção acadêmica, enquanto que os processos de trabalho aprofundam re-significações das atribuições dos cursos de pós-graduação e intensificam a divisão do trabalho, com impactos diversos nas relações entre os sujeitos da pós-graduação. Quando se procede ao movimento analítico inverso – das relações no interior da pós-graduação em Administração no Brasil para o quadro da economia-política posicionado ao fundo – observa-se que o Estado (principalmente através da CAPES e do CNPq) e o mercado capitalista acadêmico (tendendo a poucas empresas de capital monopolista) acrescentam determinações fundamentais às relações acadêmicas de produção. Índices de avaliação baseados em métricas de contabilidade da pesquisa se legitimam como monopólios epistemológicos da qualidade e se institucionalizam pelas ações coordenadas da CAPES e do CNPq no conjunto do sistema oficial de pós-graduação. Metas de produção são estabelecidas e re-significadas pelos sujeitos. No limite, define-se até mesmo o tipo de ciência que se produz na área. Conclui-se que a resistência aos atuais padrões intensificados de produção acadêmica passa pelo entendimento crítico de todas essas relações que se costuram e se estruturam no interior da pós-graduação.

Educação matemática, ciência e tradição: tudo no mesmo barco

Les connaissances de la tradition et position de la Science dehors pour un non-hiérarchique dialoguez qui frappe pour les distinguer mais ils sont undésavouer inséparable étant donné les compléments ils composent. Cet essai assume la possibilité de ce roi de dialogue dans un place spéciale: la classe. Sur ce qui vient au connaissance de la tradition, le centre remarquable est pour la construction de bateaux du travail manuel, una pratique culturellement déployé dans la ville d'Abaetetuba, dans le État de Pará, Brésil. En revanche, la Science est concentrée par le le contenu d'école a adopté dans l'Ensino Fundamental (École primaire). La construction du dialogue est faite en utilisant des activités de l'enseignement qui accentuez des aspects géométriques (solide, géométrique, angles et symétries) aussi bien que par information qui implique le tableau, poésie, histoire, géographie et physique - les deux inspiré dans le chiffre de bateau résumé dans un CD-ROM interactif. Les activités ont eu lieu dans D'Escola Ensino Pedro Teixeira Fondamental (Abaetetuba-Pa), avec étudiants du 6e niveau (plus spécifiquement avec un groupe de 13 étudiants) d'août à octobre2004. Ethnomathématiques et transdisciplinarité sont le support théorique sous-jacent du projet. Dans résumé, c'est possible pour dire que l'interaction entre Science et Tradition, à travers activités au-delà lesquelles vont le le contenu a restreint à mathématiques d'école, contribuées à,: identifiez le contenu a appris pas sur dans série antérieure; renouveler le rôle joué par école dans ses fonctions didactique pédagogiques; réduire le isolement entre information passée historique et les étudiants présent culturel; indiquer des obstacles à l'érudition des mathématiques intéresser aux aspects cognitifs et behavioristes; et provoquer un participation affective qui rôle principal à la qualité d'apprendre l'école contenu aussi bien que les connaissances de la tradition

Implementação paralela escalável e eficiente do algoritmo simplex padrão em arquitetura multicore

This work presents a scalable and efficient parallel implementation of the Standard Simplex algorithm in the multicore architecture to solve large scale linear programming problems. We present a general scheme explaining how each step of the standard Simplex algorithm was parallelized, indicating some important points of the parallel implementation. Performance analysis were conducted by comparing the sequential time using the Simplex tableau and the Simplex of the CPLEXR IBM. The experiments were executed on a shared memory machine with 24 cores. The scalability analysis was performed with problems of different dimensions, finding evidence that our parallel standard Simplex algorithm has a better parallel efficiency for problems with more variables than constraints. In comparison with CPLEXR , the proposed parallel algorithm achieved a efficiency of up to 16 times better

Tableaux e indução na lógica do plausível

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

Representações literárias da Rua do Ouvidor

Pós-graduação em Letras - IBILCE

Intelectuais e política: a trajetória do Tribunal Internacional de Crimes de Guerra (1966-1967)

Pós-graduação em História - FCHS

Realismo e impressionismo em contos de Guy de Maupassant

Dans ce texte on a étudié, afin de comprendre et d'analyser les contes réalistes de Guy de Maupassant, comment Erich Auerbach, dans Mimesis (2009), parcourt les sentiers de la littérature occidentale pour dresser un tableau des traits communs qui existent entre les grandes oeuvres réalistes de l'Occident. L'auteur a réalisé des recherches et des commentaires sur les caractéristiques les plus récurrentes du réalisme littéraire dans les oeuvres d'écrivains tels que Homero, Shakespeare, Voltaire, Flaubert, parmi d'autres. Notre recherche vise, dans sa première étape, à présenter, à expliquer ou à identifier dans les contes de Guy de Maupassant, écrivain de la fin du XIXe siècle, les tendances réalistes discutées par ce théoricien et par d'autres au fil du temps, comme, par exemple, Roland Barthes, dans Crítica e verdade (2007), Bersani, dans Le réalisme et la peur du désir (1975) et Philippe Hamon, dans Un discours contraint (1973, p. 411-445). À partir de ces chercheurs, on essaie d'expliciter et d'affirmer le caractère réaliste d'un des maîtres du récit court - sûrement un représentant du réalisme parmi les grands écrivains de cet art - car dans Mimesis (2009) Zola est considéré par Auerbach comme le dernier des grands réalistes français. En plus, pour la deuxième partie de ce travail, on a l'intention de traiter l'émergence de l'impressionnisme artistique en France, et de présenter les concepts et les thèmes qui ont influencé ce mouvement et se présentent dans la construction des récits de Maupassant. Pour le faire, O impressionismo (1962) de Balzi, O impressionismo (1965) de Serullaz, Impressionniste et symboliste devant la presse (1959) de Jacques Lethève, Impressionismo (2010) de Lobstein e autres, mentionnés dans la bibliographie de cette recherche, ont ouvert la voie aux analyses... (Completo abstract click electronic access below)

Taxonomic Characters in the Genus Echinococcus (Cestoda: Taenlidae)

Not more than four species of cestodes of the genus Echinococcus Rudolphi, 1801, are recognized as valid. The larval stage of at least three of them is able to develop in man, causing respective types of hydatid disease. Accurate characterization of these cestodes, including both larval and adult stages, is essential for identification, upon which depends development of methods for preventing infection of man and domestic animals. Because morphological characteristics of the larval cestodes may be modified according to the species of host in which they develop, identification should be based upon taxonomic characters of specimens from the respective natural hosts, which can be identified by means of ecological investigations in endemic areas in combination with controlled infection of experimental animals. The morphological and biological characteristics of the known species are discussed, and the two species most important to public health and economically--E. granulosus (Batsch, 1786) and E. multilocularis Leuckart, 1863--are distinguished. French résumé: Trois espèces de cestodes du genre Echinococcus Rudolphi, 1801 ont été identifiées: E. granulosus (Batsch, 1786); E. multilocularis Leuckart, 1863; et E. oligarthrus (Diesing, 1863). On n'a pas encore déterminé avec certitude s'il fallait leur adjoindre E. patagonicus Szidat, 1960. Ce dernier mis à part, tous ces ténias sont connus pour provoquer chez l'homme des formes spécifiques d'échinococcose hydatique; l'infestation par les larves de E. granulosus est également fréquente chez les ongulés domestiques et la répartition de ce cestode est presque cosmopolite. E. multilocularis est très largement répandu dans l'hémisphère nord, tandis que E. oligarthrus ne se trouve que dans le centre et le sud de I'Amérique. Pour définir des critères morphologiques qui permettent de distinguer avec précision les différentes espèces d'Echinococcus, il convient de prendre les spécimens sur leurs hôtes naturels, sinon l'évolution du stade strobilaire se trouve habituellement retardée et le stade larvaire présente une gamme étendue de variations morphologiques. Pour identifier les hôtes naturels, il faut étudier l'écologie dans les zones d'éndemicité, ainsi que les manifestations de l'infection contrôlée chez des animaux d'expérience. Le stade strobilaire des ténias peut présenter plusieurs caractères spécifiques importants qui concernent notamment la taille, le nombre et la répartition des testicules, la position du pore génital dans les segments gravides, la forme de l'utérus gravide et, dans certains cas, la taille et la forme des crochets du rostre. La structure de la larve normalement développée est caractéristique de chacune des trois espèces relativement bien connues. Les caractéristiques biologiques jouent également un rôle important dans la différenciation de ces cestodes. Au stade larvaire, le laps de temps nécessaire au développement des scolex infectants est directement fonction de la durée de vie de l'hôte intermédiaire. La larve de E. multilocularis présente des scolex infectants dès le deuxième ou le troisième mois, alors qu'ils n'apparaissent qu'au bout d'un ou deux ans chez la larve de E. granulosus. Un tableau donne la liste comparative des caractéristiques taxonomiques qui permettent de faire la distinction entre ces deux espèces.

Revision of the genus Holocephalus (Coleoptera: Scarabaeidae: Scarabaeinae: Coprini)

The genus Holocephalus Hope is revised and now contains five species: H. cristatus (Gillet), H. eridanus (Olivier), H. julieni sp.nov. H. sculptus (Gillet), and H. simoni sp.nov. All taxa are described and illustrated. A key to speies of Holocephalus is included. Lectotypes are designated for H. eridanus and H. sculptus. Scarabaeus eridanus Olivier is designated as the type species for the generic name Atrichius Gillet (a junior synonym of Holocephalus). On révise le genre Holocephalus Hope qui regroupe maintenant cinq es-pèces, soit H. cristatus (Gillet), H. eridanus (Olivier), H. julieni sp.nov., H. sculptus (Gillet) et H. simoni sp.nov. Outre les descriptions et illustrations pour chaque espèces on propose un tableau de détermination pour les espèces maintenant comprises dans le genre Holocephalus. On désigne des lectypes pour H. eridanus et H. sculptus. Enfin, on désigne l’espèce Scarabaeus eridanus Olivier comme type du genre Atrichius Gillet (considéré comme synonymec junior du genre Holocephalus).

Towards automated first-order abduction: the cut-based approach

Traditional abduction imposes as a precondition the restriction that the background information may not derive the goal data. In first-order logic such precondition is, in general, undecidable. To avoid such problem, we present a first-order cut-based abduction method, which has KE-tableaux as its underlying inference system. This inference system allows for the automation of non-analytic proofs in a tableau setting, which permits a generalization of traditional abduction that avoids the undecidable precondition problem. After demonstrating the correctness of the method, we show how this method can be dynamically iterated in a process that leads to the construction of non-analytic first-order proofs and, in some terminating cases, to refutations as well.

Enhanced Mixed Integer Programming Techniques and Routing Problems

Mixed integer programming is up today one of the most widely used techniques for dealing with hard optimization problems. On the one side, many practical optimization problems arising from real-world applications (such as, e.g., scheduling, project planning, transportation, telecommunications, economics and finance, timetabling, etc) can be easily and effectively formulated as Mixed Integer linear Programs (MIPs). On the other hand, 50 and more years of intensive research has dramatically improved on the capability of the current generation of MIP solvers to tackle hard problems in practice. However, many questions are still open and not fully understood, and the mixed integer programming community is still more than active in trying to answer some of these questions. As a consequence, a huge number of papers are continuously developed and new intriguing questions arise every year. When dealing with MIPs, we have to distinguish between two different scenarios. The first one happens when we are asked to handle a general MIP and we cannot assume any special structure for the given problem. In this case, a Linear Programming (LP) relaxation and some integrality requirements are all we have for tackling the problem, and we are ``forced" to use some general purpose techniques. The second one happens when mixed integer programming is used to address a somehow structured problem. In this context, polyhedral analysis and other theoretical and practical considerations are typically exploited to devise some special purpose techniques. This thesis tries to give some insights in both the above mentioned situations. The first part of the work is focused on general purpose cutting planes, which are probably the key ingredient behind the success of the current generation of MIP solvers. Chapter 1 presents a quick overview of the main ingredients of a branch-and-cut algorithm, while Chapter 2 recalls some results from the literature in the context of disjunctive cuts and their connections with Gomory mixed integer cuts. Chapter 3 presents a theoretical and computational investigation of disjunctive cuts. In particular, we analyze the connections between different normalization conditions (i.e., conditions to truncate the cone associated with disjunctive cutting planes) and other crucial aspects as cut rank, cut density and cut strength. We give a theoretical characterization of weak rays of the disjunctive cone that lead to dominated cuts, and propose a practical method to possibly strengthen those cuts arising from such weak extremal solution. Further, we point out how redundant constraints can affect the quality of the generated disjunctive cuts, and discuss possible ways to cope with them. Finally, Chapter 4 presents some preliminary ideas in the context of multiple-row cuts. Very recently, a series of papers have brought the attention to the possibility of generating cuts using more than one row of the simplex tableau at a time. Several interesting theoretical results have been presented in this direction, often revisiting and recalling other important results discovered more than 40 years ago. However, is not clear at all how these results can be exploited in practice. As stated, the chapter is a still work-in-progress and simply presents a possible way for generating two-row cuts from the simplex tableau arising from lattice-free triangles and some preliminary computational results. The second part of the thesis is instead focused on the heuristic and exact exploitation of integer programming techniques for hard combinatorial optimization problems in the context of routing applications. Chapters 5 and 6 present an integer linear programming local search algorithm for Vehicle Routing Problems (VRPs). The overall procedure follows a general destroy-and-repair paradigm (i.e., the current solution is first randomly destroyed and then repaired in the attempt of finding a new improved solution) where a class of exponential neighborhoods are iteratively explored by heuristically solving an integer programming formulation through a general purpose MIP solver. Chapters 7 and 8 deal with exact branch-and-cut methods. Chapter 7 presents an extended formulation for the Traveling Salesman Problem with Time Windows (TSPTW), a generalization of the well known TSP where each node must be visited within a given time window. The polyhedral approaches proposed for this problem in the literature typically follow the one which has been proven to be extremely effective in the classical TSP context. Here we present an overall (quite) general idea which is based on a relaxed discretization of time windows. Such an idea leads to a stronger formulation and to stronger valid inequalities which are then separated within the classical branch-and-cut framework. Finally, Chapter 8 addresses the branch-and-cut in the context of Generalized Minimum Spanning Tree Problems (GMSTPs) (i.e., a class of NP-hard generalizations of the classical minimum spanning tree problem). In this chapter, we show how some basic ideas (and, in particular, the usage of general purpose cutting planes) can be useful to improve on branch-and-cut methods proposed in the literature.

Partizioni di un intero

Questa tesi di laurea tratta delle partizioni di un intero positivo. La tesi viene suddivisa in tre capitoli: nel primo capitolo definirò cosa significa scomporre additivamente un intero positivo e come si può rappresentare una partizione cioè utilizzando diagrammi, chiamati \textit{diagrammi di Ferrers}, o tabelle, chiamate \textit{tableau di Young}, si possono rappresentare graficamente partizioni. In seguito, in questo capitolo, verrà definita la funzione di partizione e, infine, tratterò delle partizioni ordinate. Il secondo capitolo ha carattere storico: infatti, mostra come cinque famosi matematici, Eulero, Ramanujan e Hardy, Hans Rademacher e Ken Ono, nel tempo abbiano affrontato il problema di trovare una formula matematica che meglio rappresenti la funzione di partizione. Il terzo ed ultimo capitolo riguarda le applicazioni delle partizioni, cioè come esse abbiano una relazione con le classi di coniugio nel gruppo simmetrico $S_{n}$ e con le classificazioni dei gruppi abeliani di ordine $p^{n}$, con p un numero primo. Di alcune affermazioni ( o teoremi ) nei capitoli seguenti non è stata riportata la dimostrazione; in questi casi si rimanda direttamente alle corrispondenti citazioni bibliografiche.