Buscar
Mostrando ítems 21-30 de 139
Legitimidade e legalidade no discurso jurídico: justificação racional do direito e normatividade ambiental
(Universidade Federal de Santa MariaBrasilDireitoUFSMPrograma de Pós-Graduação em DireitoCentro de Ciências Sociais e Humanas, 2016-03-31)
The research presented here will focus on a theoretical horizon of law. More precisely, about the legacy of the analytic philosophy tradition for legal discourse, as is the possibility of building a rational discourse, ...
Implementação de um sistema de interpretação de seqüências de imagens baseado em uma semântica de caminhos
(Centro Universitário da FEI, São Bernardo do Campo, 2008)
Neste trabalho abordamos o problema de interpretação de seqüências de imagens e sua principal contribuição é apresentar e discutir a implementação de um sistema computacional capaz de interpretar seqüências de imagens ...
Releituras teóricas e metodológicas da lógica tradicional aristotélica na prática de classificação da BCI: um exemplo de conversão de um modelo epistemológico para um modelo ontológico, aplicado na classe agricultura da CDU
(Universidade Federal de Minas GeraisBrasilECI - ESCOLA DE CIENCIA DA INFORMAÇÃOPrograma de Pós-Graduação em Gestão e Organização do ConhecimentoUFMG, 2020-09-28)
Classification is one of the main processes for organizing and representing the knowledge used by Librarianship and Information Science (BIS). In the Universal Decimal Classification (UDC), the procedure used is an ...
Cadernos de Educação do MST: algumas reflexõesMST Education notebooks: some reflections
(Universidade Federal de UberlândiaBrasilPrograma de Pós-graduação em Educação, 2019)
Implementação de um sistema de interpretação de seqüências de imagens baseado em uma semântica de caminhos
(Centro Universitário da FEI, São Bernardo do Campo, 2019)
Aspectos do primeiro teorema da incompletude de Kurt Gödel e uma análise da prova teorético informacional de Gregory Chaitin
(Universidade Federal de Santa MariaBrasilFilosofiaUFSMPrograma de Pós-Graduação em FilosofiaCentro de Ciências Sociais e Humanas, 2022-05-20)
The work seeks to elucidate and understand relevant aspects in the structure of paradoxical
undecidable sentences in consistent formal systems that contain Dedekind-Peano Arithmetic.
The first chapter exposes the ...
Formalização de workflow nets utilizando lógica linear: análise qualitativa e quantitativa
(Universidade Federal de UberlândiaBRPrograma de Pós-graduação em Ciência da ComputaçãoCiências Exatas e da TerraUFU, 2016)
Modelagem e análise de video games usando as workflow nets e a lógica linear
(Universidade Federal de UberlândiaBRPrograma de Pós-graduação em Ciência da ComputaçãoCiências Exatas e da TerraUFU, 2016)