skip to main content
Mostrar Somente
Refinado por: Base de dados/Biblioteca: EBSCOhost Computers and Applied Sciences Complete remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
0$-Hecke algebra action on the Stanley-Reisner ring of the Boolean algebra
Material Type:
Artigo
Adicionar ao Meu Espaço

0$-Hecke algebra action on the Stanley-Reisner ring of the Boolean algebra

Huang, Jia

Discrete Mathematics and Theoretical Computer Science, 2014-01, Vol.DMTCS Proceedings vol. AT,... (Proceedings), p.11-22 [Periódico revisado por pares]

DMTCS

Texto completo disponível

2
0-Hecke algebra actions on coinvariants and flags
Material Type:
Artigo
Adicionar ao Meu Espaço

0-Hecke algebra actions on coinvariants and flags

Huang, Jia

Discrete Mathematics and Theoretical Computer Science, 2011-01, Vol.DMTCS Proceedings vol. AO,... (Proceedings), p.505-516 [Periódico revisado por pares]

DMTCS

Texto completo disponível

3
About Gordan’s Algorithm for Binary Forms
Material Type:
Artigo
Adicionar ao Meu Espaço

About Gordan’s Algorithm for Binary Forms

Olive, Marc

Foundations of computational mathematics, 2017-12, Vol.17 (6), p.1407-1466 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

4
Abstract conjunctive partial deduction for the analysis and compilation of coroutines
Material Type:
Artigo
Adicionar ao Meu Espaço

Abstract conjunctive partial deduction for the analysis and compilation of coroutines

Nys, Vincent ; De Schreye, Danny

Formal aspects of computing, 2017, Vol.29 (1), p.125-153 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

5
Abstraction and approximation in fuzzy temporal logics and models
Material Type:
Artigo
Adicionar ao Meu Espaço

Abstraction and approximation in fuzzy temporal logics and models

Sotudeh, Gholamreza ; Movaghar, Ali

Formal aspects of computing, 2015-03, Vol.27 (2), p.309-334 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

6
Abstractions of non-interference security: probabilistic versus possibilistic
Material Type:
Artigo
Adicionar ao Meu Espaço

Abstractions of non-interference security: probabilistic versus possibilistic

Hoang, T. S. ; McIver, A. K. ; Meinicke, L. ; Morgan, C. C. ; Sloane, A. ; Susatyo, E.

Formal aspects of computing, 2014, Vol.26 (1), p.169-194 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

7
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour
Material Type:
Artigo
Adicionar ao Meu Espaço

Accelerating worst case execution time analysis of timed automata models with cyclic behaviour

Al-Bataineh, Omar ; Reynolds, Mark ; French, Tim

Formal aspects of computing, 2015-11, Vol.27 (5-6), p.917-949 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

8
Accessible and Deterministic Automata: Enumeration and Boltzmann Samplers
Material Type:
Artigo
Adicionar ao Meu Espaço

Accessible and Deterministic Automata: Enumeration and Boltzmann Samplers

Bassino, Frédérique ; Nicaud, Cyril

Discrete Mathematics and Theoretical Computer Science, 2006-01, Vol.DMTCS Proceedings vol. AG,... (Proceedings), p.151-160 [Periódico revisado por pares]

DMTCS

Texto completo disponível

9
Accuracy and Stability of Computing High-order Derivatives of Analytic Functions by Cauchy Integrals
Material Type:
Artigo
Adicionar ao Meu Espaço

Accuracy and Stability of Computing High-order Derivatives of Analytic Functions by Cauchy Integrals

Bornemann, Folkmar

Foundations of computational mathematics, 2011-02, Vol.11 (1), p.1-63 [Periódico revisado por pares]

New York: Springer-Verlag

Texto completo disponível

10
Achieving Practical and Privacy-Preserving kNN Query over Encrypted Data
Material Type:
Artigo
Adicionar ao Meu Espaço

Achieving Practical and Privacy-Preserving kNN Query over Encrypted Data

Zheng, Yandong ; Lu, Rongxing ; Zhang, Songnian ; Shao, Jun ; Zhu, Hui

IEEE transactions on dependable and secure computing, 2024, p.1-13

IEEE

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (1.959)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (1.968)
  2. Resenhas  (15)
  3. Book Chapters  (13)
  4. Livros  (12)
  5. magazinearticle  (10)
  6. Anais de Congresso  (2)
  7. Newsletter Articles  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1996  (9)
  2. 1996Até2002  (20)
  3. 2003Até2009  (568)
  4. 2010Até2017  (875)
  5. Após 2017  (569)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (2.018)
  2. Japonês  (80)
  3. Alemão  (2)
  4. Norueguês  (2)
  5. Russo  (1)
  6. Espanhol  (1)
  7. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.