Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Quantifying heuristic evaluationGonzalez Capdevila, Marc ; Pistili Rodrigues, Karine Aparecida ; Sartório Furlan, Tales Augusto ; Granollers, ToniComputer standards and interfaces, 2025-03, Vol.92, p.103891, Article 103891 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
2 |
Material Type: Artigo
|
Symmetric SAGE and SONC forms, exactness and quantitative gapsMoustrou, Philippe ; Riener, Cordian ; Theobald, Thorsten ; Verdure, HuguesJournal of symbolic computation, 2025-03, Vol.127, p.102374, Article 102374 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
|
3 |
Material Type: Artigo
|
Large language models for code completion: A systematic literature reviewHusein, Rasha Ahmad ; Aburajouh, Hala ; Catal, CagatayComputer standards and interfaces, 2025-03, Vol.92, Article 103917 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
4 |
Material Type: Artigo
|
Interpreting the latent space of a Convolutional Variational Autoencoder for semi-automated eye blink artefact detection in EEG signalsCriscuolo, Sabatina ; Apicella, Andrea ; Prevete, Roberto ; Longo, LucaComputer standards and interfaces, 2025-03, Vol.92, p.103897, Article 103897 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
5 |
Material Type: Artigo
|
On the dimension of the solution space of linear difference equations over the ring of infinite sequencesAbramov, Sergei ; Pogudin, GlebJournal of symbolic computation, 2025-03, Vol.127, p.102350, Article 102350 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
|
6 |
Material Type: Artigo
|
MacMahon's partition analysis XV: ParityAndrews, George E. ; Paule, PeterJournal of symbolic computation, 2025-03, Vol.127, p.102351, Article 102351 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
|
7 |
Material Type: Artigo
|
Revocable identity-based designated verifier proxy re-signature with signature evolutionZhang, Qiu ; Sun, Yinxia ; Lu, Yang ; Huang, WenshengComputer standards and interfaces, 2025-03, Vol.92, p.103894, Article 103894 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
8 |
Material Type: Artigo
|
Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurationsKoutschan, C. ; Krattenthaler, C. ; Schlosser, M.J.Journal of symbolic computation, 2025-03, Vol.127, p.102352, Article 102352 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
|
9 |
Material Type: Artigo
|
Fast evaluation and root finding for polynomials with floating-point coefficientsImbach, Rémi ; Moroz, GuillaumeJournal of symbolic computation, 2025-03, Vol.127, p.102372, Article 102372 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
|
10 |
Material Type: Artigo
|
Prototype, method, and experiment for evaluating usability of smart home user interfacesFaizrakhmanov, Renat ; Bahrami, Mohammad Reza ; Platunov, AlexeyComputer standards and interfaces, 2025-03, Vol.92, p.103903, Article 103903 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |