skip to main content
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
Robust scheduling for minimizing maximum lateness on a serial-batch processing machine
Material Type:
Artigo
Adicionar ao Meu Espaço

Robust scheduling for minimizing maximum lateness on a serial-batch processing machine

Wu, Wei ; Tang, Liang ; Pizzuti, Andrea

Information processing letters, 2024-08, Vol.186, p.106473, Article 106473 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

2
Anti Tai mapping for unordered labeled trees
Material Type:
Artigo
Adicionar ao Meu Espaço

Anti Tai mapping for unordered labeled trees

Blažević, Mislav ; Canzar, Stefan ; Elbassioni, Khaled ; Matijević, Domagoj

Information processing letters, 2024-03, Vol.185, p.106454, Article 106454 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

3
Exploring the optimality of byte-wise permutations of a piccolo-type block cipher
Material Type:
Artigo
Adicionar ao Meu Espaço

Exploring the optimality of byte-wise permutations of a piccolo-type block cipher

Utsumi, Shion ; Nakahashi, Motoki ; Sakamoto, Kosei ; Isobe, Takanori

Information processing letters, 2024-02, Vol.184, p.106436, Article 106436 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

4
On the non-efficient PAC learnability of conjunctive queries
Material Type:
Artigo
Adicionar ao Meu Espaço

On the non-efficient PAC learnability of conjunctive queries

ten Cate, Balder ; Funk, Maurice ; Jung, Jean Christoph ; Lutz, Carsten

Information processing letters, 2024-01, Vol.183, p.106431, Article 106431 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

5
Recursion-free modular arithmetic in the lambda-calculus
Material Type:
Artigo
Adicionar ao Meu Espaço

Recursion-free modular arithmetic in the lambda-calculus

Mackie, Maximilien

Information processing letters, 2024-01, Vol.183, p.106408, Article 106408 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

6
Algorithmic results in Roman dominating functions on graphs
Material Type:
Artigo
Adicionar ao Meu Espaço

Algorithmic results in Roman dominating functions on graphs

Poureidi, Abolfazl ; Fathali, Jafar

Information processing letters, 2023-08, Vol.182, p.106363, Article 106363 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

7
Longest bordered and periodic subsequences
Material Type:
Artigo
Adicionar ao Meu Espaço

Longest bordered and periodic subsequences

Bannai, Hideo ; I, Tomohiro ; Köppl, Dominik

Information processing letters, 2023-08, Vol.182, p.106398, Article 106398 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

8
Weakest preconditioned goto axiom
Material Type:
Artigo
Adicionar ao Meu Espaço

Weakest preconditioned goto axiom

Chen, Wei

Information processing letters, 2023-02, Vol.180, p.106329, Article 106329 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

9
Static type checking without downcast operator
Material Type:
Artigo
Adicionar ao Meu Espaço

Static type checking without downcast operator

Mooij, Arjan J.

Information processing letters, 2022-11, Vol.178, p.106285, Article 106285 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

10
Distributivity and residuation for lexicographic orders
Material Type:
Artigo
Adicionar ao Meu Espaço

Distributivity and residuation for lexicographic orders

Gadducci, Fabio ; Santini, Francesco

Information processing letters, 2022-08, Vol.177, p.106271, Article 106271 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.