Menu

Filtros : "ICMC-SSC" "Singapura" Removidos: "Colômbia" "2014" "ENERGIA" Limpar

Filtros

Refine with date range

  • 1

1 - 11 (11 records)

  • Trabalho de evento-anais periodico

    Active inference of EFSMs without reset (2023)

    Foster, Michael ; Groz, Roland ; Oriat, Catherine ; Simão, Adenilso da Silva ; Vega, Germán ; Walkinshaw, Neil

    Source: Lecture Notes in Computer Science - LNCS. Conference titles: International Conference on Formal Engineering Methods - ICFEM. Unidade: ICMC

    Subjects: ALGORITMOS ÚTEIS E ESPECÍFICOS, ENGENHARIA REVERSA DE SOFTWARE, INFERÊNCIA

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FOSTER, Michael et al. Active inference of EFSMs without reset. Lecture Notes in Computer Science - LNCS. Singapura: Springer. Disponível em: https://doi.org/10.1007/978-981-99-7584-6_3. Acesso em: 04 jul. 2024. , 2023

    • APA

      Foster, M., Groz, R., Oriat, C., Simão, A. da S., Vega, G., & Walkinshaw, N. (2023). Active inference of EFSMs without reset. Lecture Notes in Computer Science - LNCS. Singapura: Springer. doi:10.1007/978-981-99-7584-6_3

    • NLM

      Foster M, Groz R, Oriat C, Simão A da S, Vega G, Walkinshaw N. Active inference of EFSMs without reset [Internet]. Lecture Notes in Computer Science - LNCS. 2023 ; 14308 29-46.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1007/978-981-99-7584-6_3

    • Vancouver

      Foster M, Groz R, Oriat C, Simão A da S, Vega G, Walkinshaw N. Active inference of EFSMs without reset [Internet]. Lecture Notes in Computer Science - LNCS. 2023 ; 14308 29-46.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1007/978-981-99-7584-6_3

  • Artigo de periodico

    Using an experimental framework to support variables selection: an exploratory study (2021)

    Scatalon, Lilian Passos ; Garcia, Rogério Eduardo ; Barbosa, Ellen Francine

    Source: International Journal of Software Engineering and Knowledge Engineering. Unidade: ICMC

    Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, EDUCAÇÃO, ENGENHARIA DE SOFTWARE

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SCATALON, Lilian Passos e GARCIA, Rogério Eduardo e BARBOSA, Ellen Francine. Using an experimental framework to support variables selection: an exploratory study. International Journal of Software Engineering and Knowledge Engineering, v. 31, n. 5, p. 677-692, 2021Tradução . . Disponível em: https://doi.org/10.1142/S0218194021500194. Acesso em: 04 jul. 2024.

    • APA

      Scatalon, L. P., Garcia, R. E., & Barbosa, E. F. (2021). Using an experimental framework to support variables selection: an exploratory study. International Journal of Software Engineering and Knowledge Engineering, 31( 5), 677-692. doi:10.1142/S0218194021500194

    • NLM

      Scatalon LP, Garcia RE, Barbosa EF. Using an experimental framework to support variables selection: an exploratory study [Internet]. International Journal of Software Engineering and Knowledge Engineering. 2021 ; 31( 5): 677-692.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1142/S0218194021500194

    • Vancouver

      Scatalon LP, Garcia RE, Barbosa EF. Using an experimental framework to support variables selection: an exploratory study [Internet]. International Journal of Software Engineering and Knowledge Engineering. 2021 ; 31( 5): 677-692.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1142/S0218194021500194

  • Artigo de periodico

    Parallel execution of programs as a support for mutation testing: a replication study (2021)

    Delamaro, Márcio Eduardo ; Andrade, Stevão Alves de ; Souza, Simone do Rocio Senger de ; Souza, Paulo Sérgio Lopes de

    Source: International Journal of Software Engineering and Knowledge Engineering. Unidade: ICMC

    Subjects: ANÁLISE DE MUTANTES, ANÁLISE DE DESEMPENHO, TESTE E AVALIAÇÃO DE SOFTWARE

    Versão AceitaAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      DELAMARO, Márcio Eduardo et al. Parallel execution of programs as a support for mutation testing: a replication study. International Journal of Software Engineering and Knowledge Engineering, v. 31, n. 3, p. 337-380, 2021Tradução . . Disponível em: https://doi.org/10.1142/S0218194021500121. Acesso em: 04 jul. 2024.

    • APA

      Delamaro, M. E., Andrade, S. A. de, Souza, S. do R. S. de, & Souza, P. S. L. de. (2021). Parallel execution of programs as a support for mutation testing: a replication study. International Journal of Software Engineering and Knowledge Engineering, 31( 3), 337-380. doi:10.1142/S0218194021500121

    • NLM

      Delamaro ME, Andrade SA de, Souza S do RS de, Souza PSL de. Parallel execution of programs as a support for mutation testing: a replication study [Internet]. International Journal of Software Engineering and Knowledge Engineering. 2021 ; 31( 3): 337-380.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1142/S0218194021500121

    • Vancouver

      Delamaro ME, Andrade SA de, Souza S do RS de, Souza PSL de. Parallel execution of programs as a support for mutation testing: a replication study [Internet]. International Journal of Software Engineering and Knowledge Engineering. 2021 ; 31( 3): 337-380.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1142/S0218194021500121

  • Artigo de periodico

    Speeding up search-based algorithms for level generation in physics-based puzzle games (2017)

    Pereira, Leonardo Tortoro ; Toledo, Claudio Fabiano Motta

    Source: International Journal on Artificial Intelligence Tools. Unidade: ICMC

    Subjects: SISTEMAS EMBUTIDOS, COMPUTAÇÃO EVOLUTIVA, ROBÓTICA, ALGORITMOS, CLASSIFICAÇÃO, JOGOS DE COMPUTADOR

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      PEREIRA, Leonardo Tortoro e TOLEDO, Claudio Fabiano Motta. Speeding up search-based algorithms for level generation in physics-based puzzle games. International Journal on Artificial Intelligence Tools, v. 26, n. 5, p. 1760019-1-1760019-23, 2017Tradução . . Disponível em: https://doi.org/10.1142/S0218213017600193. Acesso em: 04 jul. 2024.

    • APA

      Pereira, L. T., & Toledo, C. F. M. (2017). Speeding up search-based algorithms for level generation in physics-based puzzle games. International Journal on Artificial Intelligence Tools, 26( 5), 1760019-1-1760019-23. doi:10.1142/S0218213017600193

    • NLM

      Pereira LT, Toledo CFM. Speeding up search-based algorithms for level generation in physics-based puzzle games [Internet]. International Journal on Artificial Intelligence Tools. 2017 ; 26( 5): 1760019-1-1760019-23.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1142/S0218213017600193

    • Vancouver

      Pereira LT, Toledo CFM. Speeding up search-based algorithms for level generation in physics-based puzzle games [Internet]. International Journal on Artificial Intelligence Tools. 2017 ; 26( 5): 1760019-1-1760019-23.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1142/S0218213017600193

  • Artigo de periodico

    Heuristic and genetic algorithm approaches for UAV path planning under critical situation (2017)

    Arantes, Jesimar da Silva; Arantes, Márcio da Silva; Toledo, Claudio Fabiano Motta ; Trindade Junior, Onofre; Williams, Brian Charles

    Source: International Journal on Artificial Intelligence Tools. Unidade: ICMC

    Subjects: COMPUTAÇÃO EVOLUTIVA, ALGORITMOS GENÉTICOS, HEURÍSTICA, ROBÓTICA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ARANTES, Jesimar da Silva et al. Heuristic and genetic algorithm approaches for UAV path planning under critical situation. International Journal on Artificial Intelligence Tools, v. 26, n. 1, p. 1760008-1-1760008-30, 2017Tradução . . Disponível em: https://doi.org/10.1142/S0218213017600089. Acesso em: 04 jul. 2024.

    • APA

      Arantes, J. da S., Arantes, M. da S., Toledo, C. F. M., Trindade Junior, O., & Williams, B. C. (2017). Heuristic and genetic algorithm approaches for UAV path planning under critical situation. International Journal on Artificial Intelligence Tools, 26( 1), 1760008-1-1760008-30. doi:10.1142/S0218213017600089

    • NLM

      Arantes J da S, Arantes M da S, Toledo CFM, Trindade Junior O, Williams BC. Heuristic and genetic algorithm approaches for UAV path planning under critical situation [Internet]. International Journal on Artificial Intelligence Tools. 2017 ; 26( 1): 1760008-1-1760008-30.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1142/S0218213017600089

    • Vancouver

      Arantes J da S, Arantes M da S, Toledo CFM, Trindade Junior O, Williams BC. Heuristic and genetic algorithm approaches for UAV path planning under critical situation [Internet]. International Journal on Artificial Intelligence Tools. 2017 ; 26( 1): 1760008-1-1760008-30.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1142/S0218213017600089

  • Artigo de periodico

    Fine-tuning of UAV control rules for spraying pesticides on crop fields: an approach for dynamic environments (2016)

    Faiçal, Bruno S; Pessin, Gustavo; Filho, Geraldo P. R; Carvalho, André Carlos Ponce de Leon Ferreira de ; Gomes, Pedro H; Ueyama, Jó

    Source: International Journal on Artificial Intelligence Tools. Unidade: ICMC

    Subjects: INTELIGÊNCIA ARTIFICIAL, REDES NEURAIS, ALGORITMOS GENÉTICOS, PROGRAMAÇÃO CONCORRENTE, AGRICULTURA (APLICAÇÕES)

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FAIÇAL, Bruno S et al. Fine-tuning of UAV control rules for spraying pesticides on crop fields: an approach for dynamic environments. International Journal on Artificial Intelligence Tools, v. 25, n. 1, p. 1660003-1-1660003-19, 2016Tradução . . Disponível em: https://doi.org/10.1142/S0218213016600034. Acesso em: 04 jul. 2024.

    • APA

      Faiçal, B. S., Pessin, G., Filho, G. P. R., Carvalho, A. C. P. de L. F. de, Gomes, P. H., & Ueyama, J. (2016). Fine-tuning of UAV control rules for spraying pesticides on crop fields: an approach for dynamic environments. International Journal on Artificial Intelligence Tools, 25( 1), 1660003-1-1660003-19. doi:10.1142/S0218213016600034

    • NLM

      Faiçal BS, Pessin G, Filho GPR, Carvalho ACP de LF de, Gomes PH, Ueyama J. Fine-tuning of UAV control rules for spraying pesticides on crop fields: an approach for dynamic environments [Internet]. International Journal on Artificial Intelligence Tools. 2016 ; 25( 1): 1660003-1-1660003-19.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1142/S0218213016600034

    • Vancouver

      Faiçal BS, Pessin G, Filho GPR, Carvalho ACP de LF de, Gomes PH, Ueyama J. Fine-tuning of UAV control rules for spraying pesticides on crop fields: an approach for dynamic environments [Internet]. International Journal on Artificial Intelligence Tools. 2016 ; 25( 1): 1660003-1-1660003-19.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1142/S0218213016600034

  • Artigo de periodico

    Visual text mining: ensuring the presence of relevant studies in systematic literature reviews (2015)

    Felizardo, Katia Romero; Barbosa, Ellen Francine ; Martins, Rafael Messias; Valle, Pedro Henrique Dias; Maldonado, José Carlos

    Source: International Journal of Software Engineering and Knowledge Engineering Sciences and Engineering. Unidade: ICMC

    Subjects: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FELIZARDO, Katia Romero et al. Visual text mining: ensuring the presence of relevant studies in systematic literature reviews. International Journal of Software Engineering and Knowledge Engineering Sciences and Engineering, v. 25, n. 5, p. 909-928, 2015Tradução . . Disponível em: https://doi.org/10.1142/S0218194015500114. Acesso em: 04 jul. 2024.

    • APA

      Felizardo, K. R., Barbosa, E. F., Martins, R. M., Valle, P. H. D., & Maldonado, J. C. (2015). Visual text mining: ensuring the presence of relevant studies in systematic literature reviews. International Journal of Software Engineering and Knowledge Engineering Sciences and Engineering, 25( 5), 909-928. doi:10.1142/S0218194015500114

    • NLM

      Felizardo KR, Barbosa EF, Martins RM, Valle PHD, Maldonado JC. Visual text mining: ensuring the presence of relevant studies in systematic literature reviews [Internet]. International Journal of Software Engineering and Knowledge Engineering Sciences and Engineering. 2015 ; 25( 5): 909-928.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1142/S0218194015500114

    • Vancouver

      Felizardo KR, Barbosa EF, Martins RM, Valle PHD, Maldonado JC. Visual text mining: ensuring the presence of relevant studies in systematic literature reviews [Internet]. International Journal of Software Engineering and Knowledge Engineering Sciences and Engineering. 2015 ; 25( 5): 909-928.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1142/S0218194015500114

  • Artigo de periodico

    CBIR based testing oracles: an experimental evaluation of similarity functions (2015)

    Marques, Fátima de Lourdes dos Santos Nunes ; Delamaro, Márcio Eduardo ; Gonçalves, Vagner Mendonça; Lauretto, Marcelo De Souza

    Source: International Journal of Software Engineering and Knowledge Engineering Sciences and Engineering. Unidades: EACH, ICMC

    Subjects: PROCESSAMENTO DE IMAGENS, TESTE E AVALIAÇÃO DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MARQUES, Fátima de Lourdes dos Santos Nunes et al. CBIR based testing oracles: an experimental evaluation of similarity functions. International Journal of Software Engineering and Knowledge Engineering Sciences and Engineering, v. 25, n. 8, p. 1271-1306, 2015Tradução . . Disponível em: https://doi.org/10.1142/S0218194015500254. Acesso em: 04 jul. 2024.

    • APA

      Marques, F. de L. dos S. N., Delamaro, M. E., Gonçalves, V. M., & Lauretto, M. D. S. (2015). CBIR based testing oracles: an experimental evaluation of similarity functions. International Journal of Software Engineering and Knowledge Engineering Sciences and Engineering, 25( 8), 1271-1306. doi:10.1142/S0218194015500254

    • NLM

      Marques F de L dos SN, Delamaro ME, Gonçalves VM, Lauretto MDS. CBIR based testing oracles: an experimental evaluation of similarity functions [Internet]. International Journal of Software Engineering and Knowledge Engineering Sciences and Engineering. 2015 ; 25( 8): 1271-1306.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1142/S0218194015500254

    • Vancouver

      Marques F de L dos SN, Delamaro ME, Gonçalves VM, Lauretto MDS. CBIR based testing oracles: an experimental evaluation of similarity functions [Internet]. International Journal of Software Engineering and Knowledge Engineering Sciences and Engineering. 2015 ; 25( 8): 1271-1306.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1142/S0218194015500254

  • Artigo de periodico

    Model partitions and compact test case suites (2012)

    Bonifacio, Adilson Luiz; Moura, Arnaldo Vieira; Simão, Adenilso da Silva

    Source: International Journal of Foundations of Computer Science. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      BONIFACIO, Adilson Luiz e MOURA, Arnaldo Vieira e SIMÃO, Adenilso da Silva. Model partitions and compact test case suites. International Journal of Foundations of Computer Science, v. 23, n. 1, p. 147-172, 2012Tradução . . Disponível em: https://doi.org/10.1142/S0129054112500013. Acesso em: 04 jul. 2024.

    • APA

      Bonifacio, A. L., Moura, A. V., & Simão, A. da S. (2012). Model partitions and compact test case suites. International Journal of Foundations of Computer Science, 23( 1), 147-172. doi:10.1142/S0129054112500013

    • NLM

      Bonifacio AL, Moura AV, Simão A da S. Model partitions and compact test case suites [Internet]. International Journal of Foundations of Computer Science. 2012 ; 23( 1): 147-172.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1142/S0129054112500013

    • Vancouver

      Bonifacio AL, Moura AV, Simão A da S. Model partitions and compact test case suites [Internet]. International Journal of Foundations of Computer Science. 2012 ; 23( 1): 147-172.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1142/S0129054112500013

  • Trabalho de evento

    A systematic review of methods for developing open educational resources (2012)

    Arimoto, Maurício Massaru; Barbosa, Ellen Francine

    Source: Proceedings. Conference titles: International Conference on Computers in Education - ICCE. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ARIMOTO, Maurício Massaru e BARBOSA, Ellen Francine. A systematic review of methods for developing open educational resources. 2012, Anais.. Singapore: Asia-Pacific Society for Computers in Education, 2012. Disponível em: http://www.br-ie.org/pub/index.php/pie/article/view/2343/2098. Acesso em: 04 jul. 2024.

    • APA

      Arimoto, M. M., & Barbosa, E. F. (2012). A systematic review of methods for developing open educational resources. In Proceedings. Singapore: Asia-Pacific Society for Computers in Education. Recuperado de http://www.br-ie.org/pub/index.php/pie/article/view/2343/2098

    • NLM

      Arimoto MM, Barbosa EF. A systematic review of methods for developing open educational resources [Internet]. Proceedings. 2012 ;[citado 2024 jul. 04 ] Available from: http://www.br-ie.org/pub/index.php/pie/article/view/2343/2098

    • Vancouver

      Arimoto MM, Barbosa EF. A systematic review of methods for developing open educational resources [Internet]. Proceedings. 2012 ;[citado 2024 jul. 04 ] Available from: http://www.br-ie.org/pub/index.php/pie/article/view/2343/2098

  • Artigo de periodico

    Exploiting a generic approach to construct component-based systems software in linux environments (2010)

    Ueyama, Jó ; Madeira, Edmundo Roberto Mauro; Taiani, Francois; Camargo, Raphael Y. Camargo; Grace, Paul; Coulson, Geoff

    Source: International Journal of Software Engineering and Knowledge Engineering Sciences and Engineering. Unidade: ICMC

    Subjects: SISTEMAS DISTRIBUÍDOS, PROGRAMAÇÃO CONCORRENTE

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      UEYAMA, Jó et al. Exploiting a generic approach to construct component-based systems software in linux environments. International Journal of Software Engineering and Knowledge Engineering Sciences and Engineering, v. 20, n. 6, p. 843-873, 2010Tradução . . Disponível em: https://doi.org/10.1142/S0218194010004967. Acesso em: 04 jul. 2024.

    • APA

      Ueyama, J., Madeira, E. R. M., Taiani, F., Camargo, R. Y. C., Grace, P., & Coulson, G. (2010). Exploiting a generic approach to construct component-based systems software in linux environments. International Journal of Software Engineering and Knowledge Engineering Sciences and Engineering, 20( 6), 843-873. doi:10.1142/S0218194010004967

    • NLM

      Ueyama J, Madeira ERM, Taiani F, Camargo RYC, Grace P, Coulson G. Exploiting a generic approach to construct component-based systems software in linux environments [Internet]. International Journal of Software Engineering and Knowledge Engineering Sciences and Engineering. 2010 ; 20( 6): 843-873.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1142/S0218194010004967

    • Vancouver

      Ueyama J, Madeira ERM, Taiani F, Camargo RYC, Grace P, Coulson G. Exploiting a generic approach to construct component-based systems software in linux environments [Internet]. International Journal of Software Engineering and Knowledge Engineering Sciences and Engineering. 2010 ; 20( 6): 843-873.[citado 2024 jul. 04 ] Available from: https://doi.org/10.1142/S0218194010004967
  • 1

1 - 11 (11 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024