Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
0$-Hecke algebra action on the Stanley-Reisner ring of the Boolean algebraHuang, JiaDiscrete Mathematics and Theoretical Computer Science, 2014-01, Vol.DMTCS Proceedings vol. AT,... (Proceedings), p.11-22 [Periódico revisado por pares]DMTCSTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
0-Hecke algebra actions on coinvariants and flagsHuang, JiaDiscrete Mathematics and Theoretical Computer Science, 2011-01, Vol.DMTCS Proceedings vol. AO,... (Proceedings), p.505-516 [Periódico revisado por pares]DMTCSTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
About Gordan’s Algorithm for Binary FormsOlive, MarcFoundations of computational mathematics, 2017-12, Vol.17 (6), p.1407-1466 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Abstract conjunctive partial deduction for the analysis and compilation of coroutinesNys, Vincent ; De Schreye, DannyFormal aspects of computing, 2017, Vol.29 (1), p.125-153 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Abstraction and approximation in fuzzy temporal logics and modelsSotudeh, Gholamreza ; Movaghar, AliFormal aspects of computing, 2015-03, Vol.27 (2), p.309-334 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Abstractions of non-interference security: probabilistic versus possibilisticHoang, 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 LondonTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Accelerating worst case execution time analysis of timed automata models with cyclic behaviourAl-Bataineh, Omar ; Reynolds, Mark ; French, TimFormal aspects of computing, 2015-11, Vol.27 (5-6), p.917-949 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Accessible and Deterministic Automata: Enumeration and Boltzmann SamplersBassino, Frédérique ; Nicaud, CyrilDiscrete Mathematics and Theoretical Computer Science, 2006-01, Vol.DMTCS Proceedings vol. AG,... (Proceedings), p.151-160 [Periódico revisado por pares]DMTCSTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Accuracy and Stability of Computing High-order Derivatives of Analytic Functions by Cauchy IntegralsBornemann, FolkmarFoundations of computational mathematics, 2011-02, Vol.11 (1), p.1-63 [Periódico revisado por pares]New York: Springer-VerlagTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Achieving Practical and Privacy-Preserving kNN Query over Encrypted DataZheng, Yandong ; Lu, Rongxing ; Zhang, Songnian ; Shao, Jun ; Zhu, HuiIEEE transactions on dependable and secure computing, 2024, p.1-13IEEETexto completo disponível |