skip to main content
Idioma:
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Teoria Da Computação remover tipo de recurso: Artigos remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Achieving optimality for gate matrix layout and pla folding a graph theoretical approach
Achieving optimality for gate matrix layout and pla folding a graph theoretical approach
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Achieving optimality for gate matrix layout and pla folding a graph theoretical approach

Afonso Galvão Ferreira Siang Wun Song; Latin American Symposium on Theoretical Informatics - LATIN '92 (1992 São Paulo, BR)

Proceedings Berlin : Springer, 1992

Berlin Springer 1992

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

2
An argumentation machinery to reason over inconsistent ontologies
An argumentation machinery to reason over inconsistent ontologies
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

An argumentation machinery to reason over inconsistent ontologies

Martin O Moguillansky Renata Wassermann; Marcelo A Falappa; Ibero-American Conference on Artificial Intelligence - IBERAMIA (12. (2010 Bahía Blanca, Argentina)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

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

3
Compression and entropy
Compression and entropy
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Compression and entropy

Georges Hansel Dominique Perrin; Imre Simon 1943-2009; Annual Symposium on Theoretical Aspects of Computer Science - STACS (9. 1992 Cachan, France)

Proceedings Berlin : Springer, 1992

Berlin Springer 1992

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

4
Improved NP-hardness results for the minimum t-spanner problem on bounded-degree graphs
Improved NP-hardness results for the minimum t-spanner problem on bounded-degree graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Improved NP-hardness results for the minimum t-spanner problem on bounded-degree graphs

Renzo Gómez Flavio Keidi Miyazawa; Yoshiko Wakabayashi

Theoretical Computer Science Amsterdam v. 947, artigo n. 113691, p. 1-13, 2023

Amsterdam 2023

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

5
The online multicommodity connected facility location problem
The online multicommodity connected facility location problem
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

The online multicommodity connected facility location problem

Mário César San Felice Cristina Gomes Fernandes 1966-; Carla Negri Lintzmayer; International Workshop on Approximation and Online Algorithms - WAOA (15. 2017 Vienna, Austria)

Proceedings Cham: Springer, 2018

Cham Springer 2018

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

6
Sequence comparison some theory and some practice
Sequence comparison some theory and some practice
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Sequence comparison some theory and some practice

Imre Simon 1943-2009 Spring School on Theoretical Computer Science - LITP (1987 Saint-Pierre d'Oléron)

Proceedings Berlin : Springer, 1989

Berlin Springer 1989

Localização: IME - Inst. Matemática e Estatística    (S L471c v.377 ) e outros locais(Acessar)

7
String matching algorithms and automata
String matching algorithms and automata
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

String matching algorithms and automata

Imre Simon 1943-2009 Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa Graz (1994 Graz, Austria)

Proceedings Berlin: Springer, 1994

Berlin Springer 1994

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

8
A tight lower bound for the online bounded space hypercube bin packing problem
A tight lower bound for the online bounded space hypercube bin packing problem
Material Type:
Artigo 		Adicionar ao Meu Espaço

A tight lower bound for the online bounded space hypercube bin packing problem

Yoshiharu Kohayakawa Flavio Keidi Miyazawa; Yoshiko Wakabayashi

Discrete Mathematics & Theoretical Computer Science Nancy v. 23, n. 3, p.1-13, 2021

Nancy 2021

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

9
Towards MC/DC coverage of properties specification patterns
Towards MC/DC coverage of properties specification patterns
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards MC/DC coverage of properties specification patterns

Ana Cristina Vieira de Melo Corina S Pasareanu; Simone Hanazumi; International Colloquium on Theoretical Aspects of Computing - ICTAC (13. 2016 Taipei, Taiwan)

Proceedings Cham: Springer, 2016

Cham Springer 2016

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1992  (1)
  2. 1992Até1993  (2)
  3. 1994Até2009  (1)
  4. 2010Até2016  (2)
  5. Após 2016  (3)
  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.