Menu

Filtros : "Financiamento FAPESP" "Espanha" "IME-MAC" Limpar

Filtros

Limitar por data

  • 1

1 - 10 (10 registros)

  • Artigo de periodico

    Packing large balanced trees into bipartite graphs (2025)

    Fernandes, Cristina Gomes ; Naia, Tássio ; Santos, Giovanne ; Stein, Maya

    Fonte: Discrete Mathematics. Unidade: IME

    Assuntos: EMPACOTAMENTO E COBERTURA, ESTRUTURAS DE DADOS, TEORIA DOS GRAFOS

    Versão PublicadaAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FERNANDES, Cristina Gomes et al. Packing large balanced trees into bipartite graphs. Discrete Mathematics, v. 348, n. artigo 114641, p. 1-8, 2025Tradução . . Disponível em: https://doi.org/10.1016/j.disc.2025.114641. Acesso em: 08 out. 2025.

    • APA

      Fernandes, C. G., Naia, T., Santos, G., & Stein, M. (2025). Packing large balanced trees into bipartite graphs. Discrete Mathematics, 348( artigo 114641), 1-8. doi:10.1016/j.disc.2025.114641

    • NLM

      Fernandes CG, Naia T, Santos G, Stein M. Packing large balanced trees into bipartite graphs [Internet]. Discrete Mathematics. 2025 ; 348( artigo 114641): 1-8.[citado 2025 out. 08 ] Available from: https://doi.org/10.1016/j.disc.2025.114641

    • Vancouver

      Fernandes CG, Naia T, Santos G, Stein M. Packing large balanced trees into bipartite graphs [Internet]. Discrete Mathematics. 2025 ; 348( artigo 114641): 1-8.[citado 2025 out. 08 ] Available from: https://doi.org/10.1016/j.disc.2025.114641

  • Trabalho de evento

    A canonical van der Waerden theorem in random sets (2024)

    Alvarado Morales, José Diego ; Kohayakawa, Yoshiharu ; Morris, Patrick ; Mota, Guilherme Oliveira ; Ortega, Miquel

    Fonte: Proceedings. Nome do evento: Discrete Mathematics Days. Unidade: IME

    Assuntos: COMBINATÓRIA, GRAFOS ALEATÓRIOS

    Versão PublicadaAcesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ALVARADO MORALES, José Diego et al. A canonical van der Waerden theorem in random sets. 2024, Anais.. Alcalá de Henares: Universidad de Alcalá, 2024. Disponível em: https://dmd2024.web.uah.es/files/abstracts/paper_31.pdf. Acesso em: 08 out. 2025.

    • APA

      Alvarado Morales, J. D., Kohayakawa, Y., Morris, P., Mota, G. O., & Ortega, M. (2024). A canonical van der Waerden theorem in random sets. In Proceedings. Alcalá de Henares: Universidad de Alcalá. Recuperado de https://dmd2024.web.uah.es/files/abstracts/paper_31.pdf

    • NLM

      Alvarado Morales JD, Kohayakawa Y, Morris P, Mota GO, Ortega M. A canonical van der Waerden theorem in random sets [Internet]. Proceedings. 2024 ;[citado 2025 out. 08 ] Available from: https://dmd2024.web.uah.es/files/abstracts/paper_31.pdf

    • Vancouver

      Alvarado Morales JD, Kohayakawa Y, Morris P, Mota GO, Ortega M. A canonical van der Waerden theorem in random sets [Internet]. Proceedings. 2024 ;[citado 2025 out. 08 ] Available from: https://dmd2024.web.uah.es/files/abstracts/paper_31.pdf

  • Artigo de periodico

    Directed graphs with lower orientation Ramsey thresholds (2024)

    Barros, Gabriel Ferreira; Cavalar, Bruno Pasqualotto ; Kohayakawa, Yoshiharu ; Mota, Guilherme Oliveira ; Naia, Tássio

    Fonte: RAIRO - Operations Research. Unidade: IME

    Assuntos: 2020/16570-4, GRAFOS ALEATÓRIOS

    Versão PublicadaAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      BARROS, Gabriel Ferreira et al. Directed graphs with lower orientation Ramsey thresholds. RAIRO - Operations Research, v. 58, n. 4, p. 3607-3619, 2024Tradução . . Disponível em: https://doi.org/10.1051/ro/2024090. Acesso em: 08 out. 2025.

    • APA

      Barros, G. F., Cavalar, B. P., Kohayakawa, Y., Mota, G. O., & Naia, T. (2024). Directed graphs with lower orientation Ramsey thresholds. RAIRO - Operations Research, 58( 4), 3607-3619. doi:10.1051/ro/2024090

    • NLM

      Barros GF, Cavalar BP, Kohayakawa Y, Mota GO, Naia T. Directed graphs with lower orientation Ramsey thresholds [Internet]. RAIRO - Operations Research. 2024 ; 58( 4): 3607-3619.[citado 2025 out. 08 ] Available from: https://doi.org/10.1051/ro/2024090

    • Vancouver

      Barros GF, Cavalar BP, Kohayakawa Y, Mota GO, Naia T. Directed graphs with lower orientation Ramsey thresholds [Internet]. RAIRO - Operations Research. 2024 ; 58( 4): 3607-3619.[citado 2025 out. 08 ] Available from: https://doi.org/10.1051/ro/2024090

  • Artigo de periodico

    Enabling HW-based task scheduling in large multicore architectures (2024)

    Morais, Lucas; Álvarez, Carlos; Jiménez-González, Daniel; de Haro, Juan Miguel; Araujo , Guido ; Frank, Michael; Goldman, Alfredo ; Martorell, Xavier

    Fonte: IEEE Transactions on Computers. Unidade: IME

    Assuntos: PROGRAMAÇÃO PARALELA, GEOMETRIA E MODELAGEM COMPUTACIONAL

    Versão PublicadaAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MORAIS, Lucas et al. Enabling HW-based task scheduling in large multicore architectures. IEEE Transactions on Computers, v. 73, n. 1, p. 1138-151, 2024Tradução . . Disponível em: https://doi.org/10.1109/TC.2023.3323781. Acesso em: 08 out. 2025.

    • APA

      Morais, L., Álvarez, C., Jiménez-González, D., de Haro, J. M., Araujo , G., Frank, M., et al. (2024). Enabling HW-based task scheduling in large multicore architectures. IEEE Transactions on Computers, 73( 1), 1138-151. doi:10.1109/TC.2023.3323781

    • NLM

      Morais L, Álvarez C, Jiménez-González D, de Haro JM, Araujo G, Frank M, Goldman A, Martorell X. Enabling HW-based task scheduling in large multicore architectures [Internet]. IEEE Transactions on Computers. 2024 ; 73( 1): 1138-151.[citado 2025 out. 08 ] Available from: https://doi.org/10.1109/TC.2023.3323781

    • Vancouver

      Morais L, Álvarez C, Jiménez-González D, de Haro JM, Araujo G, Frank M, Goldman A, Martorell X. Enabling HW-based task scheduling in large multicore architectures [Internet]. IEEE Transactions on Computers. 2024 ; 73( 1): 1138-151.[citado 2025 out. 08 ] Available from: https://doi.org/10.1109/TC.2023.3323781

  • Artigo de periodico

    Harmonizing DevOps taxonomies: a grounded theory study (2024)

    Díaz, Jessica; Pérez, Jorge; Alves, Isaque ; Kon, Fábio ; Leite, Leonardo Alexandre Ferreira ; Meirelles, Paulo ; Rocha, Carla

    Fonte: Journal of Systems and Software. Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    Versão PublicadaAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      DÍAZ, Jessica et al. Harmonizing DevOps taxonomies: a grounded theory study. Journal of Systems and Software, v. 208, n. artigo 111908, p. 1-20, 2024Tradução . . Disponível em: https://doi.org/10.1016/j.jss.2023.111908. Acesso em: 08 out. 2025.

    • APA

      Díaz, J., Pérez, J., Alves, I., Kon, F., Leite, L. A. F., Meirelles, P., & Rocha, C. (2024). Harmonizing DevOps taxonomies: a grounded theory study. Journal of Systems and Software, 208( artigo 111908), 1-20. doi:10.1016/j.jss.2023.111908

    • NLM

      Díaz J, Pérez J, Alves I, Kon F, Leite LAF, Meirelles P, Rocha C. Harmonizing DevOps taxonomies: a grounded theory study [Internet]. Journal of Systems and Software. 2024 ; 208( artigo 111908): 1-20.[citado 2025 out. 08 ] Available from: https://doi.org/10.1016/j.jss.2023.111908

    • Vancouver

      Díaz J, Pérez J, Alves I, Kon F, Leite LAF, Meirelles P, Rocha C. Harmonizing DevOps taxonomies: a grounded theory study [Internet]. Journal of Systems and Software. 2024 ; 208( artigo 111908): 1-20.[citado 2025 out. 08 ] Available from: https://doi.org/10.1016/j.jss.2023.111908

  • Trabalho de evento

    Linking Łukasiewicz logic and boolean maximum satisfiability (2023)

    Preto, Sandro ; Manyà, Felip ; Finger, Marcelo

    Fonte: Proceedings. Nome do evento: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME

    Assuntos: COMPUTABILIDADE E COMPLEXIDADE, LÓGICA

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

    • ABNT

      PRETO, Sandro e MANYÀ, Felip e FINGER, Marcelo. Linking Łukasiewicz logic and boolean maximum satisfiability. 2023, Anais.. Piscataway: IEEE, 2023. Disponível em: https://doi.org/10.1109/ISMVL57333.2023.00040. Acesso em: 08 out. 2025.

    • APA

      Preto, S., Manyà, F., & Finger, M. (2023). Linking Łukasiewicz logic and boolean maximum satisfiability. In Proceedings. Piscataway: IEEE. doi:10.1109/ISMVL57333.2023.00040

    • NLM

      Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040

    • Vancouver

      Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040

  • Trabalho de evento-anais periodico

    A canonical Ramsey theorem with list constraints in random graphs (2023)

    Alvarado Morales, José Diego ; Kohayakawa, Yoshiharu ; Morris, Patrick ; Mota, Guilherme Oliveira

    Fonte: Procedia Computer Science. Nome do evento: Latin-American Algorithms, Graphs and Optimization Symposium - LAGOS. Unidade: IME

    Assuntos: GRAFOS ALEATÓRIOS, TEORIA DE RAMSEY

    Versão PublicadaAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ALVARADO MORALES, José Diego et al. A canonical Ramsey theorem with list constraints in random graphs. Procedia Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1016/j.procs.2023.08.208. Acesso em: 08 out. 2025. , 2023

    • APA

      Alvarado Morales, J. D., Kohayakawa, Y., Morris, P., & Mota, G. O. (2023). A canonical Ramsey theorem with list constraints in random graphs. Procedia Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/j.procs.2023.08.208

    • NLM

      Alvarado Morales JD, Kohayakawa Y, Morris P, Mota GO. A canonical Ramsey theorem with list constraints in random graphs [Internet]. Procedia Computer Science. 2023 ; 223 13-19.[citado 2025 out. 08 ] Available from: https://doi.org/10.1016/j.procs.2023.08.208

    • Vancouver

      Alvarado Morales JD, Kohayakawa Y, Morris P, Mota GO. A canonical Ramsey theorem with list constraints in random graphs [Internet]. Procedia Computer Science. 2023 ; 223 13-19.[citado 2025 out. 08 ] Available from: https://doi.org/10.1016/j.procs.2023.08.208

  • Trabalho de evento

    Benchmarking Łukasiewicz logic solvers with properties of neural networks (2023)

    Preto, Sandro ; Manyà, Felip ; Finger, Marcelo

    Fonte: Proceedings. Nome do evento: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME

    Assuntos: REDES NEURAIS, PROGRAMAÇÃO LINEAR, LÓGICA

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

    • ABNT

      PRETO, Sandro e MANYÀ, Felip e FINGER, Marcelo. Benchmarking Łukasiewicz logic solvers with properties of neural networks. 2023, Anais.. Piscataway: IEEE, 2023. Disponível em: https://doi.org/10.1109/ISMVL57333.2023.00039. Acesso em: 08 out. 2025.

    • APA

      Preto, S., Manyà, F., & Finger, M. (2023). Benchmarking Łukasiewicz logic solvers with properties of neural networks. In Proceedings. Piscataway: IEEE. doi:10.1109/ISMVL57333.2023.00039

    • NLM

      Preto S, Manyà F, Finger M. Benchmarking Łukasiewicz logic solvers with properties of neural networks [Internet]. Proceedings. 2023 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039

    • Vancouver

      Preto S, Manyà F, Finger M. Benchmarking Łukasiewicz logic solvers with properties of neural networks [Internet]. Proceedings. 2023 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039

  • Trabalho de evento

    Predicting response time in SDN-Fog environments for IIoT applications (2021)

    Oliveira, Guilherme Werneck de ; Ney, Rodrigo Toscano; Herrera, Juan Luis ; Batista, Daniel Macêdo ; Hirata Júnior, Roberto ; Galán-Jiménez, Jaime ; Berrocal, Javier ; Murillo, Juan Manuel; Santos, Aldri Luiz Dos ; Nogueira, Michele

    Fonte: Proceedings. Nome do evento: Latin-American Conference on Communications - LATINCOM. Unidade: IME

    Assuntos: APRENDIZADO COMPUTACIONAL, INTERNET DAS COISAS, REGRESSÃO LINEAR

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

    • ABNT

      OLIVEIRA, Guilherme Werneck de et al. Predicting response time in SDN-Fog environments for IIoT applications. 2021, Anais.. Piscataway: IEEE, 2021. Disponível em: https://doi.org/10.1109/LATINCOM53176.2021.9647803. Acesso em: 08 out. 2025.

    • APA

      Oliveira, G. W. de, Ney, R. T., Herrera, J. L., Batista, D. M., Hirata Júnior, R., Galán-Jiménez, J., et al. (2021). Predicting response time in SDN-Fog environments for IIoT applications. In Proceedings. Piscataway: IEEE. doi:10.1109/LATINCOM53176.2021.9647803

    • NLM

      Oliveira GW de, Ney RT, Herrera JL, Batista DM, Hirata Júnior R, Galán-Jiménez J, Berrocal J, Murillo JM, Santos ALD, Nogueira M. Predicting response time in SDN-Fog environments for IIoT applications [Internet]. Proceedings. 2021 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1109/LATINCOM53176.2021.9647803

    • Vancouver

      Oliveira GW de, Ney RT, Herrera JL, Batista DM, Hirata Júnior R, Galán-Jiménez J, Berrocal J, Murillo JM, Santos ALD, Nogueira M. Predicting response time in SDN-Fog environments for IIoT applications [Internet]. Proceedings. 2021 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1109/LATINCOM53176.2021.9647803

  • Trabalho de evento

    Inexact graph matching using stochastic optimization techniques for facial feature recognition (2002)

    César Júnior, Roberto Marcondes ; Bengoetxea, Endika; Bloch, Isabelle

    Fonte: Proceedings. Nome do evento: International Conference on Pattern Recognition - ICPR. Unidade: IME

    Assuntos: PROCESSOS ESTOCÁSTICOS, PROCESSAMENTO DE IMAGENS, RECONHECIMENTO DE IMAGEM

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

    • ABNT

      CÉSAR JÚNIOR, Roberto Marcondes e BENGOETXEA, Endika e BLOCH, Isabelle. Inexact graph matching using stochastic optimization techniques for facial feature recognition. 2002, Anais.. Piscataway: IEEE, 2002. Disponível em: https://doi.org/10.1109/ICPR.2002.1048339. Acesso em: 08 out. 2025.

    • APA

      César Júnior, R. M., Bengoetxea, E., & Bloch, I. (2002). Inexact graph matching using stochastic optimization techniques for facial feature recognition. In Proceedings. Piscataway: IEEE. doi:10.1109/ICPR.2002.1048339

    • NLM

      César Júnior RM, Bengoetxea E, Bloch I. Inexact graph matching using stochastic optimization techniques for facial feature recognition [Internet]. Proceedings. 2002 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1109/ICPR.2002.1048339

    • Vancouver

      César Júnior RM, Bengoetxea E, Bloch I. Inexact graph matching using stochastic optimization techniques for facial feature recognition [Internet]. Proceedings. 2002 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1109/ICPR.2002.1048339
  • 1

1 - 10 (10 registros)

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo     2012 - 2025