Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
The Generalized Stable Set Problem for Claw-Free Bidirected GraphsNakamura, Daishin ; Tamura, Akihisa Bixby, Robert E. ; Ríos-Mercado, Roger Z. ; Boyd, E. AndrewInteger Programming and Combinatorial Optimization, p.69-83 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
2 |
Material Type: Artigo
|
A Metric for Genetic Programs and Fitness SharingEká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 HeidelbergTexto completo disponível |
|
3 |
Material Type: Artigo
|
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 HeidelbergTexto completo disponível |
|
4 |
Material Type: Artigo
|
Experimental Study of Multipopulation Parallel Genetic ProgrammingFerná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 HeidelbergTexto completo disponível |
|
5 |
Material Type: Artigo
|
(Virtually) Free Randomization Techniques for Elliptic Curve CryptographyCiet, Mathieu ; Joye, Marc Gollmann, Dieter ; Qing, Sihan ; Zhou, JianyingInformation and Communications Security, p.348-359 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
6 |
Material Type: Artigo
|
Applications of a new space-partitioning techniqueAgarwal, Pankaj K. ; Sharir, MichaDiscrete & computational geometry, 1993-01, Vol.9 (1), p.11-38 [Periódico revisado por pares]Texto completo disponível |
|
7 |
Material Type: Artigo
|
Symbolic Checking of Signal-Transition Consistency for Verifying High-Level DesignsHamaguchi, 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 HeidelbergTexto completo disponível |
|
8 |
Material Type: Artigo
|
Small and High-Speed Hardware Architectures for the 3GPP Standard Cipher KASUMISatoh, Akashi ; Morioka, Sumio Gligor, Virgil ; Chan, Agnes HuiInformation Security, 2002, p.48-62 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Artigo
|
On the Security of Randomized CBC-MAC Beyond the Birthday Paradox Limit A New ConstructionJaulmes, Éliane ; Joux, Antoine ; Valette, Frédéric Daemen, Joan ; Rijmen, VincentFast Software Encryption, 2002, p.237-251 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Artigo
|
On the Computational Complexity of Cut-Elimination in Linear LogicMairson, Harry G. ; Terui, Kazushige Blundo, Carlo ; Laneve, CosimoLecture notes in computer science, 2003, p.23-36 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |