skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Refinado por: Base de dados/Biblioteca: IngentaConnect Journals remover Nome da Publicação: Theoretical Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Ant colony optimization theory: A survey
Ant colony optimization theory: A survey
Material Type:
Artigo 		Adicionar ao Meu Espaço

Ant colony optimization theory: A survey

Dorigo, Marco ; Blum, Christian

Theoretical computer science, 2005-11, Vol.344 (2-3), p.243-278 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
2
On the analysis of the (1+1) evolutionary algorithm
On the analysis of the (1+1) evolutionary algorithm
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the analysis of the (1+1) evolutionary algorithm

Droste, Stefan ; Jansen, Thomas ; Wegener, Ingo

Theoretical computer science, 2002-04, Vol.276 (1), p.51-81 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
3
Summarizing a set of time series by averaging: From Steiner sequence to compact multiple alignment
Summarizing a set of time series by averaging: From Steiner sequence to compact multiple alignment
Material Type:
Artigo 		Adicionar ao Meu Espaço

Summarizing a set of time series by averaging: From Steiner sequence to compact multiple alignment

Petitjean, François ; Gançarski, Pierre

Theoretical computer science, 2012-01, Vol.414 (1), p.76-91 [Periódico revisado por pares]

Oxford: Elsevier B.V

Texto completo disponível

Citações Citado por
4
Formal molecular biology
Formal molecular biology
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal molecular biology

Danos, Vincent ; Laneve, Cosimo

Theoretical computer science, 2004-09, Vol.325 (1), p.69-110 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
5
BioAmbients: an abstraction for biological compartments
BioAmbients: an abstraction for biological compartments
Material Type:
Artigo 		Adicionar ao Meu Espaço

BioAmbients: an abstraction for biological compartments

Regev, Aviv ; Panina, Ekaterina M. ; Silverman, William ; Cardelli, Luca ; Shapiro, Ehud

Theoretical computer science, 2004-09, Vol.325 (1), p.141-167 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
6
Containers: Constructing strictly positive types
Containers: Constructing strictly positive types
Material Type:
Artigo 		Adicionar ao Meu Espaço

Containers: Constructing strictly positive types

Abbott, Michael ; Altenkirch, Thorsten ; Ghani, Neil

Theoretical computer science, 2005-09, Vol.342 (1), p.3-27 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
7
Differential interaction nets
Differential interaction nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Differential interaction nets

Ehrhard, T. ; Regnier, L.

Theoretical computer science, 2006-11, Vol.364 (2), p.166-195 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
8
The impact of parametrization in memetic evolutionary algorithms
The impact of parametrization in memetic evolutionary algorithms
Material Type:
Artigo 		Adicionar ao Meu Espaço

The impact of parametrization in memetic evolutionary algorithms

Sudholt, Dirk

Theoretical computer science, 2009-06, Vol.410 (26), p.2511-2528 [Periódico revisado por pares]

Oxford: Elsevier B.V

Texto completo disponível

Citações Citado por
9
Games with secure equilibria
Games with secure equilibria
Material Type:
Artigo 		Adicionar ao Meu Espaço

Games with secure equilibria

Chatterjee, Krishnendu ; Henzinger, Thomas A. ; Jurdziński, Marcin

Theoretical computer science, 2006-11, Vol.365 (1), p.67-82 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
10
The identity type weak factorisation system
The identity type weak factorisation system
Material Type:
Artigo 		Adicionar ao Meu Espaço

The identity type weak factorisation system

Gambino, Nicola ; Garner, Richard

Theoretical computer science, 2008-12, Vol.409 (1), p.94-109 [Periódico revisado por pares]

Oxford: Elsevier B.V

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.