E-LIB Suche - Ergebnisse für: De Freitas, Rosiane

1

Graph convexity impartial games: Complexity and winning str..:

Araújo, Samuel N. ; Brito, João Marcos ; Folz, Raquel..
Theoretical Computer Science. 998 (2024) - p. 114534 , 2024

Link: https://doi.org/10.1016/..

2

ZoAM GameBot: a Journey to the Lost Computational World in ..:

Pessoa, Larissa ; Martins, Lia ; Hsu, Meng.
Journal on Computing and Cultural Heritage. , 2024

Link: https://doi.org/10.1145/..

3

FuSeBMC_IA: Interval Analysis and Methods for Test Case Gen..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Aldughaim, Mohannad ; Alshmrany, Kaled M. ; Gadelha, Mikhail R... - p. 324-329 , 2023

Link: https://doi.org/10.1007/..

4

Complexity and winning strategies of graph convexity games ..:

Araújo, Samuel N. ; Folz, Raquel ; de Freitas, Rosiane.
Procedia Computer Science. 223 (2023) - p. 394-396 , 2023

Link: https://doi.org/10.1016/..

5

Análise comparativa entre linguagens de programação em sist..:

, In: Proceedings of the XXVII Brazilian Symposium on Programming Languages,

Neder, Fernando ; Miranda Filho, Ricardo ; Azevedo, Jônatas... - p. 56-63 , 2023

Link: https://dl.acm.org/doi/1..

6

3D structural prediction, analysis and validation of Sars-C..:

De Souza, Clarice ; Oliveira, Micael ; Bessa, João Alfredo..
CLEI Electronic Journal. 25 (2022) 2 - p. , 2022

Link: https://doi.org/10.19153..

7

ESBMC-Jimple: verifying Kotlin programs via jimple intermed..:

, In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis,

Menezes, Rafael ; Moura, Daniel ; Cavalcante, Helena.. - p. 777-780 , 2022

Link: https://dl.acm.org/doi/1..

8

Efficient Match-Based Candidate Network Generation for Keyw..:

de Oliveira, Pericles Silva ; da Silva, Altigran ; de Moura, Edleno.
IEEE Transactions on Knowledge and Data Engineering. 34 (2022) 4 - p. 1735-1750 , 2022

Link: https://doi.org/10.1109/..

9

Solving real urban VRPTW instances by applying a Branch-Cut..:

, In: 2022 XVLIII Latin American Computer Conference (CLEI),

Clementino, Thailsson ; Rosas, Juan ; De Freitas, Rosiane. - p. 1-8 , 2022

Link: https://doi.org/10.1109/..

10

Optimal scheduling of arborescences using the Gangal-Ranade..:

, In: 2021 XLVII Latin American Computing Conference (CLEI),

de Freitas, Rosiane ; Lever, Elton ; Folz, Raquel... - p. 1-5 , 2021

Link: https://doi.org/10.1109/..

11

Composing aleatoric music through interaction: a compositio..:

Amazonas, Mauro ; Castro, Thais ; Kienen, João Gustavo..
Per Musi. , 2021

Link: https://doi.org/10.35699..

12

Improvement of SARS-CoV-2 macromolecule conformation by alg..:

, In: 2021 XLVII Latin American Computing Conference (CLEI),

de Souza, Clarice ; Bessa, Joao Alfredo ; de Freitas, Rosiane.. - p. 1-9 , 2021

Link: https://doi.org/10.1109/..

13

Bumbometer digital crowd game: collaboration through compet..:

Martins, Gustavo ; Gomes, Genildo ; Conceição, Júlia Luiza...
Journal on Interactive Systems. 12 (2021) 1 - p. 294-307 , 2021

Link: https://doi.org/10.5753/..

14

Applying supervised learning techniques to Brazilian music ..:

, In: 2020 XLVI Latin American Computing Conference (CLEI),

Conceicao, Julia Luiza ; de Freitas, Rosiane ; Gadelha, Bruno... - p. 102-107 , 2020

Link: https://doi.org/10.1109/..

15

InteraHeu : heuristics for technological interaction on ..:

, In: Proceedings of the 19th Brazilian Symposium on Human Factors in Computing Systems,

Gomes, Genildo ; de Freitas, Rosiane ; Castro, Thais. - p. 1-6 , 2020

Link: https://dl.acm.org/doi/1..