skip to main content
Idioma:
Mostrar Somente
Refinado por: autor: Finger, M remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A formal system for quantum communication environments
A formal system for quantum communication environments
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A formal system for quantum communication environments

Anderson de Araujo Marcelo Finger; Congresso da Sociedade Brasileira de Computação (31. 2011 Natal, RN); Encontro Nacional de Inteligência Artificial - ENIA (8. 2011 Natal, RN)

Anais Porto Alegre : SBC, 2011

Porto Alegre SBC 2011

Acesso online. A biblioteca também possui exemplares impressos.

2
Ontocloud a clinical information ontology based data integration system
Ontocloud a clinical information ontology based data integration system
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Ontocloud a clinical information ontology based data integration system

Diogo F. C Patrão Helena Brentani; Marcelo Finger; Renata Wassermann; Seminar on Ontology Research in Brazil - ONTOBRAS (6. 2013 Belo Horizonte, BR)

CEUR Workshop Proceedings Aachen v. 1041, p. 118-129, 2013

Aachen 2013

Acesso online. A biblioteca também possui exemplares impressos.

3
Towards an efficient prover for the C1 paraconsistent logic
Towards an efficient prover for the C1 paraconsistent logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards an efficient prover for the C1 paraconsistent logic

Adolfo Neto Celso A. A Kaestner 1955- (Celso Antônio Alves); Marcelo Finger; Workshop on Logical and Semantic Frameworks, with Applications - LSFA (4. 2009 Brasília, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 256, p.87-102, 2009

Amsterdam Elsevier 2009

Localização: IME - Inst. Matemática e Estatística    (PROD-3009319 )(Acessar)

4
Projeto de regras confluentes para bancos de dados ativos usando tabelas de decisão
Projeto de regras confluentes para bancos de dados ativos usando tabelas de decisão
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Projeto de regras confluentes para bancos de dados ativos usando tabelas de decisão

Furtado, Mabelly De Oliveira

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1999-12-10

Acesso online. A biblioteca também possui exemplares impressos.

5
\"Combinações de lógicas modais não-normais\"
\"Combinações de lógicas modais não-normais\"
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

\"Combinações de lógicas modais não-normais\"

Fajardo, Rogerio Augusto Dos Santos

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2004-08-13

Acesso online

6
\"Um provador de teoremas multi-estratégia\"
\"Um provador de teoremas multi-estratégia\"
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

\"Um provador de teoremas multi-estratégia\"

Seca Neto, Adolfo Gustavo Serra

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2007-01-30

Acesso online

7
Reconhecimento de entidades mencionadas em português utilizando aprendizado de máquina
Reconhecimento de entidades mencionadas em português utilizando aprendizado de máquina
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Reconhecimento de entidades mencionadas em português utilizando aprendizado de máquina

Carvalho, Wesley Seidel

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2012-02-24

Acesso online. A biblioteca também possui exemplares impressos.

8
Um modelo confluente de execução de regras em bancos de dados relacionais ativos
Um modelo confluente de execução de regras em bancos de dados relacionais ativos
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Um modelo confluente de execução de regras em bancos de dados relacionais ativos

Paduan, Emerson Dos Santos

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2000-08-04

Acesso online

9
Semantics modulo satisfiability with applications: function representation, probabilities and game theory
Semantics modulo satisfiability with applications: function representation, probabilities and game theory
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Semantics modulo satisfiability with applications: function representation, probabilities and game theory

Preto, Sandro Márcio Da Silva

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2021-06-04

Acesso online. A biblioteca também possui exemplares impressos.

10
Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos 
Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos 
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos 

Serras, Felipe Ribas

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2021-05-04

Acesso online. A biblioteca também possui exemplares impressos.

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (7)
  2. Recursos Online (2)

Refinar Meus Resultados

Tipo de Recurso 

  1. Produções Acadêmicas  (7)
  2. Artigos  (3)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2000  (1)
  2. 2000Até2003  (1)
  3. 2004Até2006  (1)
  4. 2007Até2009  (2)
  5. Após 2009  (5)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.