Probabilistic Logic
Mostrando 1-12 de 12 artigos, teses e dissertações.
-
1. A New Approach for Robust Design Optimization Based on the Concepts of Fuzzy Logic and Preference Function
ABSTRACT: In this study, an efficient methodology is proposed for robust design optimization by using preference function and fuzzy logic concepts. In this method, the experience of experts is used as an important source of information during the design optimization process. The case study in this research is wing design optimization of Boeing 747. Optimizat
J. Aerosp. Technol. Manag.. Publicado em: 19/07/2018
-
2. Lógicas probabilísticas com relações de independência: representação de conhecimento e aprendizado de máquina. / Probabilistic logics with independence relationships: knowledge representation and machine learning.
A combinação de lógica e probabilidade (lógicas probabilísticas) tem sido um tópico bastante estudado nas últimas décadas. A maioria de propostas para estes formalismos pressupõem que tanto as sentenças lógicas como as probabilidades sejam especificadas por especialistas. Entretanto, a crescente disponibilidade de dados relacionais sugere o uso de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/05/2011
-
3. Probabilistic approach for yield analysis of dynamic logic circuits
In deep-submicrometer technologies, process variability challenges the design of high yield integrated circuits. While device critical dimensions and threshold voltage shrink, leakage currents drastically increase, threatening the feasibility of reliable dynamic logic gates. Electrical level statistical characterization of this kind of gates is essential for
Publicado em: 2011
-
4. Satisfazibilidade probabilística / Probabilistic satisfiability
Este trabalho estuda o problema da Satisfazibilidade Probabilística (PSAT), revendo a sua solução via programação linear, além de propor novos algoritmos para resolvê-lo através da redução ao SAT. Construímos uma redução polinomial do PSAT para o SAT, chamada de Redução Canônica, codificando operações da aritmética racional em bits, como v
Publicado em: 2011
-
5. AQUISIÇÃO AUTOMATIZADA DE HIERARQUIAS DE CONCEITOS DE ONTOLOGIAS UTILIZANDO APRENDIZAGEM ESTATÍSTICA RELACIONAL / AUTOMATED ACQUISITION OF CONCEPTS OF HIERARCHIES ONTOLOGY USING STATISTICAL RELATIONAL LEARNING
Os formalismos de representação do conhecimento como as ontologias têm se mostrado uma poderosa ferramenta para melhorar a efetividade de sistemas de processamento da linguagem natural, recuperação e filtragem de informação e muitas outras tarefas. Além disso, as ontologias são essenciais para a Web Semântica, uma nova geração da Web que visa est
Publicado em: 2009
-
6. PDE models associated to fuzzy logic ans statistical methods in the treatment of uncertainties : an application on food-and-mooth disease / Modelos de EDP integrados a logica Fuzzy e metodos probabilisticos no tratamento de incertezas : uma aplicação a febre aftosa em bovinos
The foot-and-mouth disease is a viral, infectum contagious pathology, characterized for a scene full of inherent uncertainties, resultants of the influence of social, economic and environmental factors related to the transmission process, that can occur for direct and indirect means. In Epidemiology, great part of the uncertainties are treated either by the
Publicado em: 2008
-
7. Raciocínio plausível na web semântica através de redes bayesianas multi-entidades - MEBN / Rommel Novaes Carvalho
O objetivo geral deste trabalho e pesquisar formalismos para extens~ao de redes bayesianas (BN) e raciocnio plausvel na Web Sem^antica. Dentre os formalismos para raciocnio plausvel, um dos mais utilizados, dada sua exibilidade, e rede bayesiana. No entanto, ha diversas situac~oes do mundo real e na Web que as BN s~ao incapazes de representar. As duas princi
Publicado em: 2008
-
8. Avaliação de empresas em condição de incerteza
In this work, one presents different enterprise valuation models and approaches, like the discounted free cash flow, the EVA model and all the way up to more recent option pricing theory of applied equity capital valuation. This last theory (options pricing theory) is believed to be the best theory that better qualifies the value of an enterprise. It is base
Publicado em: 2008
-
9. Evolução e avaliação da utilização do sistema kanban e de suas adaptações : survey e estudos de caso.
This work departed from the finding that the changes occurred in the industrial competitive scenario are in conformity with the unfavorable conditions recognized for the use of the kanban system and that, due to this, the use of this well-known Systems for Coordination of Purchase and Production Orders (SCO) needs to be reviewed. Following, this research aim
Publicado em: 2007
-
10. Minerador WEB: a study on mechanisms of discovery of information in the WEB. / Minerador WEB: um estudo sobre mecanismos de descoberta de informações na WEB.
The World Wide Web (Web) has a huge amount and a large diversity of informations. There is a big appeal to people navigate on the Web to search for a desired information. On the other hand, due to this huge amount of data, we are faced with the fundamental problems of how to discover and how to reach the desired information in a efficient way. If there is no
Publicado em: 2003
-
11. BAYESIAN LEARNING FOR NEURAL NETWORKS / APRENDIZADO BAYESIANO PARA REDES NEURAIS
This dissertation investigates the Bayesianan Neural Networks, which is a new approach that merges the potencial of the artificial neural networks with the robust analytical analysis of the Bayesian Statistic. Typically, theconventional neural networks such as backpropagation, have good performance but presents problems of convergence, when enough data for t
Publicado em: 1999
-
12. Toucan: deciphering the cis-regulatory logic of coregulated genes
TOUCAN is a Java application for the rapid discovery of significant cis-regulatory elements from sets of coexpressed or coregulated genes. Biologists can automatically (i) retrieve genes and intergenic regions, (ii) identify putative regulatory regions, (iii) score sequences for known transcription factor binding sites, (iv) identify candidate motifs for unk
Oxford University Press.