skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Refinado por: Nome da Publicação: Electronic Notes In Theoretical Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
An efficient algorithm for representing piecewise linear functions into logic
An efficient algorithm for representing piecewise linear functions into logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

An efficient algorithm for representing piecewise linear functions into logic

Sandro Preto Marcelo Finger; International Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2020 (15. 2020 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 351, p.167-186, 2020

Amsterdam Elsevier 2020

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

12
Using abduction to compute efficient proofs
Using abduction to compute efficient proofs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Using abduction to compute efficient proofs

Marcelo Finger Workshop on Logical and Semantic Frameworks, with Applications - LSFA (3. 2008 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 247, p. 39-49, 2009

Amsterdam Elsevier 2009

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

13
Algebras, graphs and thetas
Algebras, graphs and thetas
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Algebras, graphs and thetas

Marcel Kenji de Carli Silva Gabriel Coutinho; Chris Godsil; David E Roberson; Latin and American Algorithms, Graphs and Optimization Symposium - LAGOS (10. 2019 Belo Horizonte, MG)

Electronic Notes in Theoretical Computer Science Amsterdam v. 346, p.275-283, 2019

Amsterdam Elsevier 2019

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

14
Model checking merged program traces
Model checking merged program traces
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Model checking merged program traces

Paulo Salem da Silva Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods - SBMF (11. 2008 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 240, p. 97-112, 2009

Amsterdam Elsevier 2009

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

15
On Tuza's conjecture for triangulations and graphs with small treewidth
On Tuza's conjecture for triangulations and graphs with small treewidth
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

On Tuza's conjecture for triangulations and graphs with small treewidth

Fábio Happ Botler Cristina Gomes Fernandes 1966-; Juan Gutierrez; Latin and American Algorithms, Graphs and Optimization Symposium - LAGOS (10. 2019 Belo Horizonte, MG)

Electronic Notes in Theoretical Computer Science Amsterdam v. 346, p. 171-183, 2019

Amsterdam Elsevier 2019

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

16
Definability in o-minimal expansions of the real numbers
Definability in o-minimal expansions of the real numbers
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Definability in o-minimal expansions of the real numbers

Ricardo Bianconi Workhop on Logic, Language, Information and Computation - WoLLIC (9. 2002 Rio de Janeiro)

Electronic Notes in Theoretical Computer Science Amsterdam v. 67, p. 1-6, 2002

Amsterdam 2002

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

17
A comparison of multi-label feature selection methods using the problem transformation approach
A comparison of multi-label feature selection methods using the problem transformation approach
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A comparison of multi-label feature selection methods using the problem transformation approach

Newton Spolaôr Everton Alvares Cherman; Maria Carolina Monard; Huei Diana Lee; Latin American Conference in Informatics - CLEI (38. 2012 Medellín, Colombia)

Electronic Notes in Theoretical Computer Science Amsterdam : Elsevier v. 292, n. 5, p. 135-151, mar. 2013

Amsterdam Elsevier 2013

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2340527 )(Acessar)

18
Emotion Recognition from Physiological Signal Analysis: A Review
Emotion Recognition from Physiological Signal Analysis: A Review
Material Type:
Artigo 		Adicionar ao Meu Espaço

Emotion Recognition from Physiological Signal Analysis: A Review

Egger, Maria ; Ley, Matthias ; Hanke, Sten

Electronic notes in theoretical computer science, 2019-05, Vol.343, p.35-55

Elsevier B.V

Texto completo disponível

Citações Citado por
19
A Comparison of Multi-label Feature Selection Methods using the Problem Transformation Approach
A Comparison of Multi-label Feature Selection Methods using the Problem Transformation Approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Comparison of Multi-label Feature Selection Methods using the Problem Transformation Approach

Spolaôr, Newton ; Cherman, Everton Alvares ; Monard, Maria Carolina ; Lee, Huei Diana

Electronic notes in theoretical computer science, 2013-03, Vol.292, p.135-151

Elsevier B.V

Texto completo disponível

Citações Citado por
20
The Design of GP 2
The Design of GP 2
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Design of GP 2

Plump, Detlef

Electronic proceedings in theoretical computer science, 2012-04, Vol.82 (Proc. WRS 2011), p.1-16

Open Publishing Association

Texto completo disponível

Citações Citado por
previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (6.515)
  2. Revistas  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1999  (351)
  2. 1999Até2003  (1.815)
  3. 2004Até2008  (2.580)
  4. 2009Até2014  (1.235)
  5. Após 2014  (535)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (6.490)
  2. Japonês  (130)
  3. Português  (26)
  4. Francês  (2)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.