• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 33
  • 22
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • Tagged with
  • 117
  • 117
  • 56
  • 32
  • 23
  • 22
  • 22
  • 20
  • 20
  • 18
  • 17
  • 16
  • 16
  • 15
  • 14
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
61

Processamento e análise digital de imagens em estudos da cinética de recristalização de ligas Al-Mg-X / Processing and analysis of digital images in studies of recrystallization kinectics of Al-Mg-X alloys

IGNACIO, JULIANO da S. 21 January 2015 (has links)
Submitted by Claudinei Pracidelli (cpracide@ipen.br) on 2015-01-21T10:14:57Z No. of bitstreams: 0 / Made available in DSpace on 2015-01-21T10:14:57Z (GMT). No. of bitstreams: 0 / O Processamento e Análise Digital de Imagens é utilizado cada vez mais para agilizar processos, aumentar a precisão, segurança e confiabilidade de dados extraídos de imagens nas mais diversas áreas de pesquisa. No entanto, muitas vezes é necessário que o pesquisador faça, ele próprio, o pré-processamento das imagens, mesmo não sendo um especialista nesta área. Isto coloca em risco o próprio objetivo do uso do Processamento e Análise Digital de Imagens. Este trabalho analisa a relação dos dados extraídos de uma imagem (micrografia) através do software livre ImageJ com relação ao seu processamento final desejado, avaliando assim, a necessidade ou não, de uma ou mais sequencias de pré-processamento para adequar a imagem para o processamento final, indicando ainda quais fatores de influência apresentam informações irrelevantes ou incompletas para o processamento final utilizando ferramentas da Lógica Paraconsistente Anotada. Os resultados obtidos mostram que esta abordagem carece de informações diversificadas sobre a imagem original capturada que possam subsidiar a tomada de decisão quanto aos procedimentos necessários e, para o pré-processamento adequado ao objetivo desejado. / Dissertação (Mestrado em Tecnologia Nuclear) / IPEN/D / Instituto de Pesquisas Energeticas e Nucleares - IPEN-CNEN/SP
62

Logicas da inconsistencia deontica / Logics of Deontic inconsistency

Peron, Newton Marques, 1982- 13 August 2018 (has links)
Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-13T04:53:14Z (GMT). No. of bitstreams: 1 Peron_NewtonMarques_M.pdf: 601027 bytes, checksum: 5828adda31c6102b730941a14056d7d9 (MD5) Previous issue date: 2009 / Resumo: Esse trabalho expõe brevemente o que são as Lógicas da Inconsistência Formal ¿Observação: O resumo, na íntegra poderá ser visualizado no texto completo da tese digital. / Abstract: This work expose briefly what are the Logics of Formal Inconsistency ...Note: The complete abstract is available with the full electronic digital thesis or dissertations. / Mestrado / Filosofia / Mestre em Filosofia
63

Entre o racional e o justo : a logica e as sentenças judiciais / Between rationality and justice : logic and judicial decisions

Gomes, Fabricio Vasconcelos 18 June 2008 (has links)
Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-11T17:55:59Z (GMT). No. of bitstreams: 1 Gomes_FabricioVasconcelos_M.pdf: 656938 bytes, checksum: 1e98ca2830957c3cb09e2f3bd7d4ad28 (MD5) Previous issue date: 2008 / Resumo: Muito se fala na qualidade que possuiriam certas sentenças judiciais de serem "lógicas" em algum sentido. O presente trabalho tem por objetivo esclarecer e propor um possível sentido para esta qualidade quando referente a sentenças judiciais, e, secundariamente, analisar se, segundo o sentido adotado, poderiam realmente algumas sentenças judiciais serem lógicas, ou mesmo se todas o seriam. Para tanto, o trabalho parte da análise e adoção de uma particular proposta de demarcação da Lógica, qual seja, aquela que se dá pelo critério da formalidade. A adoção desta proposta traz consigo, além de uma grande quantidade de ferramentas analíticas fornecidas pela Lógica como assim concebida, o condão de mostrar que qualquer consideração sobre a relação entre Lógica e Direito _e profundamente determinada pela maneira como se concebe e se demarca o objeto do estudo lógico, constatação esta que tem sua importância enlevada quando tomamos em conta o fato de que um posicionamento consciente e claro ante tal demarcação frequentemente é omitido nos estudos de lógica jurídica no Brasil. / Abstract: Much is said about a character that certain judicial decisions supposedly have, that of being "logical", in some sense. This work have as a goal to make clear and to propose a suitable meaning for this characther when it refers to judicial decisions, and, secondarily, to analyze if, acording to the meaning here adopted, some judicial decisions really could be thought of as being logical, or even if all of them could be so. To reach this goal, this work starts with the analysis and adoption of a particular proposal on the demarcation of Logic, the demarcation by the formality criterion. The adoption of this proposal brings on, besides the great amount of analitycal tools supplied by Logic so conceived, the advantage of showing that any consideration about the relation between Logic and Law is deeply determined by the way that is conceived the object of logical study. This remark gains importance when we consider the fact that a clear and conscient positioning about the cited concept of Logic seldomly is omited on the studies pertaining to the field of Law 's Logic in Brazil. / Mestrado / Mestre em Filosofia
64

A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics / Um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade à formalizaÃÃo da MatemÃtica

Pablo Mayckon Silva Farias 31 August 2007 (has links)
Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Este trabalho à um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade ao desenvolvimento formal da MatemÃtica. Primeiramente, à apresentada a teoria aritmÃtica de Dedekind, a primeira teoria a fornecer uma definiÃÃo precisa para os nÃmeros naturais e com base nela demonstrar todos os fatos comumente conhecidos a seu respeito. à tambÃm apresentada a axiomatizaÃÃo da AritmÃtica feita por Peano, que de certa forma simplificou a teoria de Dedekind. Em seguida, à apresentada a ome{german}{Begriffsschrift} de Frege, a linguagem formal que deu origem à LÃgica moderna, e nela sÃo representadas as definiÃÃes bÃsicas de Frege a respeito da noÃÃo de nÃmero. Posteriormente, à apresentado um resumo de questÃes importantes em fundamentos da MatemÃtica durante as primeiras trÃs dÃcadas do sÃculo XX, iniciando com os paradoxos na Teoria dos Conjuntos e terminando com a doutrina formalista de Hilbert. Por fim, sÃo apresentados, em linhas gerais, os teoremas de incompletude de GÃdel e o conceito de computabilidade de Turing, que apresentaram respostas precisas Ãs duas mais importantes questÃes do programa de Hilbert, a saber, uma prova direta de consistÃncia para a AritmÃtica e o problema da decisÃo, respectivamente. / This work is a study about the origins of Mathematical Logic and the limits of its applicability to the formal development of Mathematics. Firstly, Dedekindâs arithmetical theory is presented, which was the first theory to provide a precise definition for natural numbers and to demonstrate relying on it all facts commonly known about them. Peanoâs axiomatization for Arithmetic is also presented, which in a sense simplified Dedekindâs theory. Then, Fregeâs Begriffsschrift is presented, the formal language from which modern Logic originated, and in it are represented Fregeâs basic definitions concerning the notion of number. Afterwards, a summary of important topics on the foundations of Mathematics from the first three decades of the twentieth century is presented, beginning with the paradoxes in Set Theory and ending with Hilbertâs formalist doctrine. At last, are presented, in general terms, GÃdelâs incompleteness. theorems and Turingâs computability concept, which provided precise answers to the two most important points in Hilbertâs program, to wit, a direct proof of consistency for Arithmetic and the decision problem, respectively. Keywords: 1. Mathematical Logic 2. Foundations of Mathematics 3. GÃdelâs incompleteness theorems
65

Lógicas de inconsistência formal e não-monotonicidade / Logics of formal inconsistency and nonmonotonicity

Cholodovskis, Ana Flávia de Faria, 1988- 26 August 2018 (has links)
Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-26T05:10:17Z (GMT). No. of bitstreams: 1 Cholodovskis_AnaFlaviadeFaria_M.pdf: 14177739 bytes, checksum: 714f42d947721ac9da9a5d1e34cd497e (MD5) Previous issue date: 2014 / Resumo: Existem diversas razões para justificar o desenvolvimento de lógicas não-clássicas tais como a expressividade destas linguagens e como elas poderiam ajudar a formalizar o pensamento humano. Neste sentido, as lógicas não-monotônicas foram desenvolvidas em prol de formalizar raciocínios cotidianos baseados na premissa de que nós deveríamos ser capazes de retratar conclusões previamente obtidas quando confrontadas com novas informações. Algumas lógicas não-monotônicas utilizam a noção de pensamento default para formalizar raciocínios cotidianos. Por outro lado, as lógicas paraconsistentes são aquelas lógicas que estudam teorias não-explosivas e foram desenvolvidas em prol de lidar com contradições. Sobre as lógicas paraconsistentes, existe uma classe de sistemas que se mostram realmente interessantes, particularmente: as Lógicas de Inconsistência Formal (LIFs). LIFs são um tipo especial de lógicas paraconsistentes que são gentilmente explosivas e internalizam o conceito de consistência no nível da linguagem-objeto utilizando o operador de consistência ? . A questão inicial Poderia a Paraconsistência substituir a Não-Monotonicidade? nos guiou à formalização de uma pergunta mais específica, entretanto, mais intrigante: É possível desenvolver uma lógica não-monotônica gentilmente explosiva?. No intuito de buscar responder a essa questão, é importante investigar conceitual e filosoficamente a relevância e as problemáticas de se desenvolver tal lógica. Este trabalho visa justificar a importância de uma lógica não-monotônica paraconsistente baseada nas Lógicas de Inconsistência Formal a partir de uma análise intuitiva dos conceitos e das noções envolvidas em tais sistemas formais considerando, ainda, abordagens possíveis a partir das chamadas Lógicas Adaptativas de Inconsistência e das Lógicas Moduladas / Abstract: There are many reasons to justify the development of non-classical logics such as the expressivity of those languages and how they could help to formulate human reasoning. In that sense, nonmonotonic logics were developed in order to formalize everyday reasoning based on the premise that we should be able to retract conclusions previously obtained in face of new information. Some nonmonotonic logics uses the notion of default reasoning to formalize everyday reasoning. On the other hand, paraconsistent logics are those logics that studies non-explosive theories and were developed in order to deal with contradictions. About paraconsistent logics, there is a class of systems that has shown to be really interesting, particularly: the Logics of Formal Inconsistency [LFIs]. LFIs are a special kind of paraconsistent logics that are gently explosive and internalize the concept of consistency at the object-language level using the consistency operator ?. The initial question Can Paraconsistency replace Nonmonotonicity? guided us to the formulation of a more specific yet intriguing question: Is it possible to develop a gently explosive nonmonotonic logic?. In order to answer that question, it is important to investigate both conceptual and philosophical relevance and problems of developing such logic. This work intends to justify the importance of a non-monotonic paraconsistent logic based on Logics of Formal Inconsistency from an intuitive analysis of concepts and notions involved in such formal systems, also considering possible approaches from the so called Adaptive Logics of Inconsistency an Modulated Logics / Mestrado / Filosofia / Mestra em Filosofia
66

Sobre a lógica e a aritmética das relações / On the logic and arithmetic of relations

Suguitani, Leandro Oliva, 1976- 19 November 2013 (has links)
Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-24T01:21:05Z (GMT). No. of bitstreams: 1 Suguitani_LeandroOliva_D.pdf: 1496205 bytes, checksum: 6197787056972a0020750fa2c72c9cd6 (MD5) Previous issue date: 2013 / Resumo: O resumo poderá ser visualizado no texto completo da tese digital / Abstract: The complete abstract is available with the full electronic document. / Doutorado / Filosofia / Doutor em Filosofia
67

Conectivos de restauração local / Local restoration connectives

Corbalán, María Inés, 1978- 05 April 2012 (has links)
Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-20T11:11:02Z (GMT). No. of bitstreams: 1 Corbalan_MariaInes_M.pdf: 1281325 bytes, checksum: e3827248da48b3c7e6a632848660be7e (MD5) Previous issue date: 2012 / Resumo: O presente trabalho tem como objetivo principal definir o conceito de Conectivo de Restauração Local. Revemos diversos sistemas lógicos conhecidos na literatura sob o ângulo do novo conceito introduzido...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: The present work aims principally to de.ne the concept of Local Restoration Connective. We review known systems of logic from the point of view of such new concept...Note: The complete abstract is available with the full electronic document / Mestrado / Filosofia / Mestre em Filosofia
68

Uncertainty Handling In Knowledge-Based Systems Via Evidence Representation

Srinivas, Nowduri 05 1900 (has links) (PDF)
No description available.
69

Paraconsistencia e modalidade / Paraconsistency and modality

Monte, Daniel Liberalino 14 August 2018 (has links)
Orientador: Itala M. Loffredo D'Ottaviano / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-14T10:11:26Z (GMT). No. of bitstreams: 1 Monte_DanielLiberalino_M.pdf: 782756 bytes, checksum: ced0a8839833d10d1339f55cc58ca32f (MD5) Previous issue date: 2009 / Resumo: O presente trabalho tem por objetivo examinar, sob a perspectiva lógico- filosófica da paraconsistência e da modalidade, as relações entre os conceitos lógico-filosófico-formais de negação paraconsistente e o conceito de modalidade. Nosso objetivo central consiste no exame de um operador modal de negação paraconsistente. Examinamos conhecidos resultados envolvendo os operadores modais e paraconsistentes, como as lógicas modais normais K, T, S4, S5 e outras lógicas modais; algumas lógicas paraconsistentes, incluindo a lógica modal paraconsistente Z. Além disso, realizamos uma análise crítica concernente às relações entre o conhecido Quadrado de Oposições Aristotélico e a negação paraconsistente, contribuindo para o tema com alguns argumentos. Finalmente, investigamos a questão de como a generalização do Quadrado de Oposições Aristotélico, dita Teoria de n-Oposições, se relaciona com o tema da modalidade, da paraconsistência e da geometrização lógica, propondo idéias para este último. / Abstract: The present work aims to investigate, under the logical-philosophical perspective of paraconsistency and modality, relations between the logical-philosophical-formal concept of paraconsistent negation and the concept of modality. Our main task is the analysis of a modal operator of paraconsistent negation. We have examined some known results involving modal and paraconsistent operators, such as the modal normal logics K, T, S4, S5 and other modal logics; some paraconsistent logics, including modal paraconsistent logic Z. We also have proceeded a critical analysis concerning relations between the well known Aristotle's Square of Oppositions and paraconsistent negation, contributing to the theme with some arguments. Finally, we have investigated the question of how the generalization of the Square of Oppositions, through the n-Oppositions Theory, may be related to the themes of modality, paraconsistency and logic geometrization, proposing some ideas. / Mestrado / Mestre em Filosofia
70

Undecidability of intuitionistic theories

Brierley, William. January 1985 (has links)
No description available.

Page generated in 0.0752 seconds