skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The Generalized Stable Set Problem for Claw-Free Bidirected Graphs
Material Type:
Artigo
Adicionar ao Meu Espaço

The Generalized Stable Set Problem for Claw-Free Bidirected Graphs

Nakamura, Daishin ; Tamura, Akihisa Bixby, Robert E. ; Ríos-Mercado, Roger Z. ; Boyd, E. Andrew

Integer Programming and Combinatorial Optimization, p.69-83 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

2
A Metric for Genetic Programs and Fitness Sharing
Material Type:
Artigo
Adicionar ao Meu Espaço

A Metric for Genetic Programs and Fitness Sharing

Ekárt, Anikó ; Németh, S. Z. Banzhaf, Wolfgang ; Langdon, William B. ; Miller, Julian ; Nordin, Peter ; Poli, Riccardo ; Fogarty, Terence C.

Genetic Programming, p.259-270 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

3
Crossover in Grammatical Evolution: A Smooth Operator?
Material Type:
Artigo
Adicionar ao Meu Espaço

Crossover in Grammatical Evolution: A Smooth Operator?

O’Neill, Michael ; Ryan, Conor Banzhaf, Wolfgang ; Langdon, William B. ; Miller, Julian ; Nordin, Peter ; Poli, Riccardo ; Fogarty, Terence C.

Genetic Programming, p.149-162 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

4
Experimental Study of Multipopulation Parallel Genetic Programming
Material Type:
Artigo
Adicionar ao Meu Espaço

Experimental Study of Multipopulation Parallel Genetic Programming

Fernández, F. ; Tomassini, M. ; Punch, W. F. ; Sánchez, J. M. Banzhaf, Wolfgang ; Langdon, William B. ; Miller, Julian ; Nordin, Peter ; Poli, Riccardo ; Fogarty, Terence C.

Genetic Programming, p.283-293 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

5
(Virtually) Free Randomization Techniques for Elliptic Curve Cryptography
Material Type:
Artigo
Adicionar ao Meu Espaço

(Virtually) Free Randomization Techniques for Elliptic Curve Cryptography

Ciet, Mathieu ; Joye, Marc Gollmann, Dieter ; Qing, Sihan ; Zhou, Jianying

Information and Communications Security, p.348-359 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

6
Applications of a new space-partitioning technique
Material Type:
Artigo
Adicionar ao Meu Espaço

Applications of a new space-partitioning technique

Agarwal, Pankaj K. ; Sharir, Micha

Discrete & computational geometry, 1993-01, Vol.9 (1), p.11-38 [Periódico revisado por pares]

Texto completo disponível

7
Symbolic Checking of Signal-Transition Consistency for Verifying High-Level Designs
Material Type:
Artigo
Adicionar ao Meu Espaço

Symbolic Checking of Signal-Transition Consistency for Verifying High-Level Designs

Hamaguchi, Kiyoharu ; Urushihara, Hidekazu ; Kashiwabara, Toshinobu Johnson, Steven D. ; Hunt, Warren A.

Formal Methods in Computer-Aided Design, 2000-01, p.492-506 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

8
Small and High-Speed Hardware Architectures for the 3GPP Standard Cipher KASUMI
Material Type:
Artigo
Adicionar ao Meu Espaço

Small and High-Speed Hardware Architectures for the 3GPP Standard Cipher KASUMI

Satoh, Akashi ; Morioka, Sumio Gligor, Virgil ; Chan, Agnes Hui

Information Security, 2002, p.48-62 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

9
On the Security of Randomized CBC-MAC Beyond the Birthday Paradox Limit A New Construction
Material Type:
Artigo
Adicionar ao Meu Espaço

On the Security of Randomized CBC-MAC Beyond the Birthday Paradox Limit A New Construction

Jaulmes, Éliane ; Joux, Antoine ; Valette, Frédéric Daemen, Joan ; Rijmen, Vincent

Fast Software Encryption, 2002, p.237-251 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

10
On the Computational Complexity of Cut-Elimination in Linear Logic
Material Type:
Artigo
Adicionar ao Meu Espaço

On the Computational Complexity of Cut-Elimination in Linear Logic

Mairson, Harry G. ; Terui, Kazushige Blundo, Carlo ; Laneve, Cosimo

Lecture notes in computer science, 2003, p.23-36 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de1998  (2)
  2. 1998Até2001  (5)
  3. 2002Até2003  (19)
  4. 2004Até2015  (24)
  5. Após 2015  (3)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.