skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Information Processing Letters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Improved undecidability results on weighted timed automata
Improved undecidability results on weighted timed automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Improved undecidability results on weighted timed automata

Bouyer, Patricia ; Brihaye, Thomas ; Markey, Nicolas

Information processing letters, 2006-06, Vol.98 (5), p.188-194 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
2
Robust parametric reachability for timed automata
Robust parametric reachability for timed automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Robust parametric reachability for timed automata

Doyen, Laurent

Information processing letters, 2007-05, Vol.102 (5), p.208-213 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
3
The probability of “undefined” (non-converging) output in generating the universal probability distribution
The probability of “undefined” (non-converging) output in generating the universal probability distribution
Material Type:
Artigo 		Adicionar ao Meu Espaço

The probability of “undefined” (non-converging) output in generating the universal probability distribution

Solomonoff, Ray J.

Information processing letters, 2008-06, Vol.106 (6), p.238-240 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
4
A note on width-parameterized SAT: An exact machine-model characterization
A note on width-parameterized SAT: An exact machine-model characterization
Material Type:
Artigo 		Adicionar ao Meu Espaço

A note on width-parameterized SAT: An exact machine-model characterization

Papakonstantinou, Periklis A.

Information processing letters, 2009-12, Vol.110 (1), p.8-12 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
5
Decision problems for Turing machines
Decision problems for Turing machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Decision problems for Turing machines

Finkel, Olivier ; Lecomte, Dominique

Information processing letters, 2009-11, Vol.109 (23), p.1223-1226 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
6
Efficient parameterized string matching
Efficient parameterized string matching
Material Type:
Artigo 		Adicionar ao Meu Espaço

Efficient parameterized string matching

Fredriksson, Kimmo ; Mozgovoy, Maxim

Information processing letters, 2006-11, Vol.100 (3), p.91-96 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
7
The equivalence problem for deterministic MSO tree transducers is decidable
The equivalence problem for deterministic MSO tree transducers is decidable
Material Type:
Artigo 		Adicionar ao Meu Espaço

The equivalence problem for deterministic MSO tree transducers is decidable

Engelfriet, Joost ; Maneth, Sebastian

Information processing letters, 2006-12, Vol.100 (5), p.206-212 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
8
Folk theorems on the determinization and minimization of timed automata
Folk theorems on the determinization and minimization of timed automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Folk theorems on the determinization and minimization of timed automata

Tripakis, Stavros

Information processing letters, 2006-09, Vol.99 (6), p.222-226 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
9
Scheduling linear deteriorating jobs to minimize makespan with an availability constraint on a single machine
Scheduling linear deteriorating jobs to minimize makespan with an availability constraint on a single machine
Material Type:
Artigo 		Adicionar ao Meu Espaço

Scheduling linear deteriorating jobs to minimize makespan with an availability constraint on a single machine

Wu, Chin-Chia ; Lee, Wen-Chiung

Information processing letters, 2003-07, Vol.87 (2), p.89-93 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
10
P systems without multiplicities of symbol-objects
P systems without multiplicities of symbol-objects
Material Type:
Artigo 		Adicionar ao Meu Espaço

P systems without multiplicities of symbol-objects

Alhazov, Artiom

Information processing letters, 2006-11, Vol.100 (3), p.124-129 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

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

Buscando em bases de dados remotas. Favor aguardar.