skip to main content
Idioma:
Mostrar Somente
Refinado por: Nome da Publicação: Proceedings remover tipo de recurso: Artigos remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
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)

3
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)

4
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)

5
Belief revision on computation tree logic
Belief revision on computation tree logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Belief revision on computation tree logic

Paulo T Guerra Renata Wassermann; International Joint Conference on Artificial Intelligence - IJCAI (22. 2011 Barcelona, Catalonia, Spain)

Proceedings Palo Alto : AAAI Press, 2011

Palo Alto AAAI Press 2011

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

6
A parallel algorithm for minimum spanning tree on GPU
A parallel algorithm for minimum spanning tree on GPU
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A parallel algorithm for minimum spanning tree on GPU

Jucele Franca de Alencar Vasconcellos Edson Norberto Caceres; Henrique Mongelli; Siang Wun Song; International Symposium on Computer Architecture and High Performance Computing Workshops (29. 2017 Campinas, SP)

Proceedings Los Alamitos: IEEE, 2017

Los Alamitos IEEE 2017

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

7
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)

8
Hierarchical PNF networks a temporal model of events for the representation and dramatization of storytelling
Hierarchical PNF networks a temporal model of events for the representation and dramatization of storytelling
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Hierarchical PNF networks a temporal model of events for the representation and dramatization of storytelling

Erick Baptista Passos Anselmo Antunes Montenegro; Esteban Walter Gonzalez Clua; Cesar Tadeu Pozzer; Flávio Soares Corrêa da Silva; Brazilian Symposium on Games and Digital Entertainment - SBGAMES (8. (2009 Rio de Janeiro, Brasil)

Proceedings Piscataway : IEEE, 2009

Piscataway IEEE 2009

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

9
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)

10
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)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
Refinar
  1. Antes de1994  (3)
  2. 1994Até2008  (2)
  3. 2009Até2010  (2)
  4. 2011Até2017  (3)
  5. Após 2017  (2)
  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.