skip to main content
Idioma:
Mostrar Somente
Refinado por: idioma: Inglês remover Proceedings 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
Particle competition for multilayer network community detection
Particle competition for multilayer network community detection
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Particle competition for multilayer network community detection

Xubo Gao Qiusheng Zheng; Filipe Alves Neto Verri; Rafael Delalibera Rodrigues; Zhao Liang; International Conference on Machine Learning and Computing - ICMLC (11. 2019 Zhuhai)

Proceedings New York : ACM, 2019

New York ACM 2019

Localização: FFCLRP - Fac. Fil. Ciên. Let. de R. Preto    (pcd 2978322 Estantes Deslizantes ) e outros locais(Acessar)

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

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

5
A new paradigm for the architecture of morphological machines binary decision diagrams
A new paradigm for the architecture of morphological machines binary decision diagrams
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A new paradigm for the architecture of morphological machines binary decision diagrams

Heraldo Maciel França Madeira Júnior Barrera; Roberto Hirata Júnior; Nina Sumiko Tomita Hirata; Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens - SIBGRAPI (12. 1999 Campinas)

Proceedings Los Alamitos: IEEE, 1999

Los Alamitos IEEE 1999

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

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

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

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

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

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.