Proof Complexity
Mostrando 1-12 de 17 artigos, teses e dissertações.
-
1. A Systematic Pipeline to Enhance the Fecal Metabolome Coverage by LC-HRMS
The comprehended knowledge of the metabolic profile of the fecal matter has been recognized as an important point for understanding metabolic changes in the human systemic metabolism and it can provide precious information about host-gut microbiota interactions. However, few analytical strategies have been addressed for a broad analysis of metabolites with d
J. Braz. Chem. Soc.. Publicado em: 2021-07
-
2. Effects of Resistance Exercise with Instability on Neurocognitive Functions (REI STUDY): Study Protocol for a Proof-of-Concept Clinical Trial in Older Adults with Subjective Cognitive Complaints
Abstract Aim: Resistance exercise (RE) is a widely accepted strategy to counteract the effects of aging and chronic diseases on health-related outcomes. Studies have been suggested that RE improves brain and cognitive health. RE with unstable devices (REI) is a neuromotor complexity strategy with the potential to improve strength, power, and balance in onde
Motriz: rev. educ. fis.. Publicado em: 26/08/2019
-
3. A responsabilidade tributária de terceiros
This dissertative work results from analysis and interpretations grounded from articles 134 and 135 of the CTN, as well as the review of the literature arising from renowned scientists who have studied the subject in order to reduce or minimize its complexity, and decisions and ordinances from administrative and judicial authorities. The study aims to invest
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/05/2012
-
4. O problema do k-Servidor / The k-server problem
In this work we study the k-server problem. In this problem, we have k servers on a metric space that must attend a sequence of requests with the goal of minimizing the total distance moved by the servers. We dedicate special attention to the k-server conjecture: any metric space allows for a k-competitive k-server algorithm. This is one of the most importan
Publicado em: 2010
-
5. INTERDISCIPLINARIDADE, INSTRUMENTOS LEGAIS DE PROTEÇÃO AO MEIO AMBIENTE E PERÍCIA AMBIENTAL / INTERDISCIPLINARITY, LEGAL INSTRUMENTS OF ENVIRONMENTAL PROTECTION AND ENVIRONMENTAL EXPERTISE
This tesis applied interdisciplinary bibliographic review to assess current risks of modernity, metaindividual rights, and legal tools of environmental protection with a special emphasis on investigation by experts. Firstly we present an interdisciplinary discussion including points of views of investigators and the interdependency of environmental sciences
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 06/03/2009
-
6. Sistema para gerência autonômica de grades computacionais
Grid computing technologies are being applied as an affordable method to cluster computational power together. These structures aim to support service applications by grouping devices and shared resources in one large computational unit. However, the management complexity grows proportionally to the number of resources being integrated. From a given point up
Publicado em: 2009
-
7. INTERDISCIPLINARIDADE, INSTRUMENTOS LEGAIS DE PROTEÇÃO AO MEIO AMBIENTE E PERÍCIA AMBIENTAL / INTERDISCIPLINARITY, LEGAL INSTRUMENTS OF ENVIRONMENTAL PROTECTION AND ENVIRONMENTAL EXPERTISE
This tesis applied interdisciplinary bibliographic review to assess current risks of modernity, metaindividual rights, and legal tools of environmental protection with a special emphasis on investigation by experts. Firstly we present an interdisciplinary discussion including points of views of investigators and the interdependency of environmental sciences
Publicado em: 2009
-
8. O BOOM DO MINÉRIO DE FERRO NA ECONOMIA BRASILEIRA: HOUVE DUTCH DISEASE?
The economy of Brazil and some developing countries is strongly influenced by the industry of natural resources exploitation, such as mining, agriculture and livestock. In economies with these characteristics the occurrence of market failure appointed as Dutch disease (DD) is speculated in certain circumstances. Thus, the proof of the hypothesis of the exist
Publicado em: 2009
-
9. Conjunto dos números irracionais: a trajetória de um conteúdo não incorporado às práticas escolares
The main objective of this work is to investigate the difficulties that appeared along the history for the development of the mathematical content irrational numbers and which are the approaches present in the text books. The subject irrational numbers is considered important in the basic education of Mathematics and it comes for the students, in the text bo
Publicado em: 2008
-
10. DHA :um esquema de acordo de chaves baseado em matrizes para o protocolo Diffie-Hellman
In this work is proposed an annonimous cryptographic key agreement protocol by secure way based on Diffe-Hellman protocol. Actually key agreement protocols like Diffe-Hellman, ElGamal and other work with modular exponentiation operations and the complexity of such protocols are based on apparent diffcult to deal DLP (Discrete Logarithm Problems). The propose
Publicado em: 2007
-
11. LOGIC PROOFS COMPACTATION / COMPACTAÇÃO DE PROVAS LÓGICAS
É um fato conhecido que provas clássicas podem ser demasiadamente grandes. Estudos em teoria da prova descobriram diferenças exponenciais entre provas normais (ou provas livres do corte) e suas respectivas provas não normais. Por outro lado, provadores automáticos de teorema usualmente se baseiam na construção de provas normais, livres de corte ou pro
Publicado em: 2007
-
12. DNA exam application in crime elucidation / Aplicação do exame de DNA na elucidação de crimes
The wide application of the DNA exam in paternity investigation led to the massive divulgation of its efficiency through the communication channels, earning it a reputation of infallible result, and jeopardizing the credit of older analytical methods. While focused by the media as the most supreme technique, several limitations were omitted regarding its use
Publicado em: 2005