Menu

Filtros : "COMPUTABILIDADE E COMPLEXIDADE" Limpar

Filtros

Refine with date range

1 - 20 (128 records)

  • Trabalho de evento

    Linking Łukasiewicz logic and boolean maximum satisfiability (2023)

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

    Source: Proceedings. Conference titles: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME

    Subjects: COMPUTABILIDADE E COMPLEXIDADE, LÓGICA

    PrivadoAcesso à fonteDOIHow to cite
    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: 19 abr. 2024.

    • 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 2024 abr. 19 ] 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 2024 abr. 19 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040

  • Artigo de periodico

    Balanced connected partitions of graphs: approximation, parameterization and lower bounds (2023)

    Moura, Phablo Fernando Soares ; Ota, Matheus Jun ; Wakabayashi, Yoshiko

    Source: Journal of Combinatorial Optimization. Unidade: IME

    Subjects: COMPUTABILIDADE E COMPLEXIDADE, ALGORITMOS DE APROXIMAÇÃO, TEORIA DOS GRAFOS

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

    • ABNT

      MOURA, Phablo Fernando Soares e OTA, Matheus Jun e WAKABAYASHI, Yoshiko. Balanced connected partitions of graphs: approximation, parameterization and lower bounds. Journal of Combinatorial Optimization, v. 45, n. artigo 127, p. 1-27, 2023Tradução . . Disponível em: https://doi.org/10.1007/s10878-023-01058-x. Acesso em: 19 abr. 2024.

    • APA

      Moura, P. F. S., Ota, M. J., & Wakabayashi, Y. (2023). Balanced connected partitions of graphs: approximation, parameterization and lower bounds. Journal of Combinatorial Optimization, 45( artigo 127), 1-27. doi:10.1007/s10878-023-01058-x

    • NLM

      Moura PFS, Ota MJ, Wakabayashi Y. Balanced connected partitions of graphs: approximation, parameterization and lower bounds [Internet]. Journal of Combinatorial Optimization. 2023 ; 45( artigo 127): 1-27.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/s10878-023-01058-x

    • Vancouver

      Moura PFS, Ota MJ, Wakabayashi Y. Balanced connected partitions of graphs: approximation, parameterization and lower bounds [Internet]. Journal of Combinatorial Optimization. 2023 ; 45( artigo 127): 1-27.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/s10878-023-01058-x

  • Artigo de periodico

    Techniques and results on approximation algorithms for packing circles (2022)

    Miyazawa, Flavio Keidi ; Wakabayashi, Yoshiko

    Source: São Paulo Journal of Mathematical Sciences. Unidade: IME

    Subjects: ALGORITMOS DE APROXIMAÇÃO, COMPUTABILIDADE E COMPLEXIDADE

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

    • ABNT

      MIYAZAWA, Flavio Keidi e WAKABAYASHI, Yoshiko. Techniques and results on approximation algorithms for packing circles. São Paulo Journal of Mathematical Sciences, v. 16, n. 1, p. 585-615, 2022Tradução . . Disponível em: https://doi.org/10.1007/s40863-022-00301-3. Acesso em: 19 abr. 2024.

    • APA

      Miyazawa, F. K., & Wakabayashi, Y. (2022). Techniques and results on approximation algorithms for packing circles. São Paulo Journal of Mathematical Sciences, 16( 1), 585-615. doi:10.1007/s40863-022-00301-3

    • NLM

      Miyazawa FK, Wakabayashi Y. Techniques and results on approximation algorithms for packing circles [Internet]. São Paulo Journal of Mathematical Sciences. 2022 ; 16( 1): 585-615.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/s40863-022-00301-3

    • Vancouver

      Miyazawa FK, Wakabayashi Y. Techniques and results on approximation algorithms for packing circles [Internet]. São Paulo Journal of Mathematical Sciences. 2022 ; 16( 1): 585-615.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/s40863-022-00301-3

  • Trabalho de evento

    Sunflower theorems in monotone circuit complexity (2021)

    Cavalar, Bruno Pasqualotto ; Kohayakawa, Yoshiharu

    Source: Anais. Conference titles: Congresso da Sociedade Brasileira de Computação - CSBC. Unidade: IME

    Subjects: COMPUTABILIDADE E COMPLEXIDADE, COMBINATÓRIA

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

    • ABNT

      CAVALAR, Bruno Pasqualotto e KOHAYAKAWA, Yoshiharu. Sunflower theorems in monotone circuit complexity. 2021, Anais.. Porto Alegre: SBC, 2021. Disponível em: https://doi.org/10.5753/ctd.2021.15761. Acesso em: 19 abr. 2024.

    • APA

      Cavalar, B. P., & Kohayakawa, Y. (2021). Sunflower theorems in monotone circuit complexity. In Anais. Porto Alegre: SBC. doi:10.5753/ctd.2021.15761

    • NLM

      Cavalar BP, Kohayakawa Y. Sunflower theorems in monotone circuit complexity [Internet]. Anais. 2021 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.5753/ctd.2021.15761

    • Vancouver

      Cavalar BP, Kohayakawa Y. Sunflower theorems in monotone circuit complexity [Internet]. Anais. 2021 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.5753/ctd.2021.15761

  • Trabalho de evento-resumo

    Resolvendo charadas cripto-aritméticas com algoritmos bio e sócio-inspirados (2021)

    Reis, Lucas Antunes; Fontanari, José Fernando

    Source: Livro de Resumos. Conference titles: Semana Integrada do Instituto de Física de São Carlos - SIFSC. Unidade: IFSC

    Subjects: COGNIÇÃO, INTELIGÊNCIA ARTIFICIAL, ALGORITMOS, NEUROCIÊNCIAS (MODELOS), COMPUTABILIDADE E COMPLEXIDADE

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

    • ABNT

      REIS, Lucas Antunes e FONTANARI, José Fernando. Resolvendo charadas cripto-aritméticas com algoritmos bio e sócio-inspirados. 2021, Anais.. São Carlos: Instituto de Física de São Carlos - IFSC, 2021. Disponível em: https://repositorio.usp.br/directbitstream/2c42f354-0629-47d2-bc0d-5dee69224072/3055629.pdf. Acesso em: 19 abr. 2024.

    • APA

      Reis, L. A., & Fontanari, J. F. (2021). Resolvendo charadas cripto-aritméticas com algoritmos bio e sócio-inspirados. In Livro de Resumos. São Carlos: Instituto de Física de São Carlos - IFSC. Recuperado de https://repositorio.usp.br/directbitstream/2c42f354-0629-47d2-bc0d-5dee69224072/3055629.pdf

    • NLM

      Reis LA, Fontanari JF. Resolvendo charadas cripto-aritméticas com algoritmos bio e sócio-inspirados [Internet]. Livro de Resumos. 2021 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/2c42f354-0629-47d2-bc0d-5dee69224072/3055629.pdf

    • Vancouver

      Reis LA, Fontanari JF. Resolvendo charadas cripto-aritméticas com algoritmos bio e sócio-inspirados [Internet]. Livro de Resumos. 2021 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/2c42f354-0629-47d2-bc0d-5dee69224072/3055629.pdf

  • Artigo de periodico

    On constrained optimization with nonconvex regularization (2021)

    Birgin, Ernesto Julian Goldberg ; Martínez, José Mário ; Ramos, Alberto

    Source: Numerical Algorithms. Unidade: IME

    Subjects: OTIMIZAÇÃO NÃO LINEAR, COMPUTABILIDADE E COMPLEXIDADE

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

    • ABNT

      BIRGIN, Ernesto Julian Goldberg e MARTÍNEZ, José Mário e RAMOS, Alberto. On constrained optimization with nonconvex regularization. Numerical Algorithms, v. 86, n. 3, p. 1165-1188, 2021Tradução . . Disponível em: https://doi.org/10.1007/s11075-020-00928-3. Acesso em: 19 abr. 2024.

    • APA

      Birgin, E. J. G., Martínez, J. M., & Ramos, A. (2021). On constrained optimization with nonconvex regularization. Numerical Algorithms, 86( 3), 1165-1188. doi:10.1007/s11075-020-00928-3

    • NLM

      Birgin EJG, Martínez JM, Ramos A. On constrained optimization with nonconvex regularization [Internet]. Numerical Algorithms. 2021 ; 86( 3): 1165-1188.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/s11075-020-00928-3

    • Vancouver

      Birgin EJG, Martínez JM, Ramos A. On constrained optimization with nonconvex regularization [Internet]. Numerical Algorithms. 2021 ; 86( 3): 1165-1188.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/s11075-020-00928-3

  • Trabalho de evento-resumo

    Resolvendo charadas cripto-aritméticas com algoritmos cooperativos (2020)

    Reis, Lucas Antunes; Fontanari, José Fernando

    Source: Livro de Resumos. Conference titles: Semana Integrada do Instituto de Física de São Carlos - SIFSC. Unidade: IFSC

    Subjects: COGNIÇÃO, INTELIGÊNCIA ARTIFICIAL, ALGORITMOS, NEUROCIÊNCIAS (MODELOS), COMPUTABILIDADE E COMPLEXIDADE

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

    • ABNT

      REIS, Lucas Antunes e FONTANARI, José Fernando. Resolvendo charadas cripto-aritméticas com algoritmos cooperativos. 2020, Anais.. São Carlos: Instituto de Física de São Carlos - IFSC, 2020. Disponível em: https://drive.google.com/file/d/1zSpq9v0UajXDmQq5rhvZXa6H1S1icuwc/view. Acesso em: 19 abr. 2024.

    • APA

      Reis, L. A., & Fontanari, J. F. (2020). Resolvendo charadas cripto-aritméticas com algoritmos cooperativos. In Livro de Resumos. São Carlos: Instituto de Física de São Carlos - IFSC. Recuperado de https://drive.google.com/file/d/1zSpq9v0UajXDmQq5rhvZXa6H1S1icuwc/view

    • NLM

      Reis LA, Fontanari JF. Resolvendo charadas cripto-aritméticas com algoritmos cooperativos [Internet]. Livro de Resumos. 2020 ;[citado 2024 abr. 19 ] Available from: https://drive.google.com/file/d/1zSpq9v0UajXDmQq5rhvZXa6H1S1icuwc/view

    • Vancouver

      Reis LA, Fontanari JF. Resolvendo charadas cripto-aritméticas com algoritmos cooperativos [Internet]. Livro de Resumos. 2020 ;[citado 2024 abr. 19 ] Available from: https://drive.google.com/file/d/1zSpq9v0UajXDmQq5rhvZXa6H1S1icuwc/view

  • Artigo de periodico

    The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference (2020)

    Cozman, Fabio Gagliardi ; Mauá, Denis Deratani

    Source: International Journal of Approximate Reasoning. Unidades: EP, IME

    Subjects: PROGRAMAÇÃO LÓGICA, COMPUTABILIDADE E COMPLEXIDADE

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

    • ABNT

      COZMAN, Fabio Gagliardi e MAUÁ, Denis Deratani. The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference. International Journal of Approximate Reasoning, v. 125, p. 218-239, 2020Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2020.07.004. Acesso em: 19 abr. 2024.

    • APA

      Cozman, F. G., & Mauá, D. D. (2020). The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference. International Journal of Approximate Reasoning, 125, 218-239. doi:10.1016/j.ijar.2020.07.004

    • NLM

      Cozman FG, Mauá DD. The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference [Internet]. International Journal of Approximate Reasoning. 2020 ; 125 218-239.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.ijar.2020.07.004

    • Vancouver

      Cozman FG, Mauá DD. The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference [Internet]. International Journal of Approximate Reasoning. 2020 ; 125 218-239.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.ijar.2020.07.004

  • Trabalho de evento-resumo

    Resolvendo charadas cripto-aritméticas com algoritmos cooperativos (2020)

    Reis, Lucas Antunes; Fontanari, José Fernando

    Source: Resumos. Conference titles: Simpósio Internacional de Iniciação Científica e Tecnológica da Universidade de São Paulo - SIICUSP. Unidade: IFSC

    Subjects: COGNIÇÃO, INTELIGÊNCIA ARTIFICIAL, ALGORITMOS, NEUROCIÊNCIAS (MODELOS), COMPUTABILIDADE E COMPLEXIDADE

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

    • ABNT

      REIS, Lucas Antunes e FONTANARI, José Fernando. Resolvendo charadas cripto-aritméticas com algoritmos cooperativos. 2020, Anais.. São Paulo: Universidade de São Paulo - USP, 2020. Disponível em: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210. Acesso em: 19 abr. 2024.

    • APA

      Reis, L. A., & Fontanari, J. F. (2020). Resolvendo charadas cripto-aritméticas com algoritmos cooperativos. In Resumos. São Paulo: Universidade de São Paulo - USP. Recuperado de https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210

    • NLM

      Reis LA, Fontanari JF. Resolvendo charadas cripto-aritméticas com algoritmos cooperativos [Internet]. Resumos. 2020 ;[citado 2024 abr. 19 ] Available from: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210

    • Vancouver

      Reis LA, Fontanari JF. Resolvendo charadas cripto-aritméticas com algoritmos cooperativos [Internet]. Resumos. 2020 ;[citado 2024 abr. 19 ] Available from: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210

  • Artigo de periodico

    Complexity results for probabilistic answer set programming (2020)

    Mauá, Denis Deratani ; Cozman, Fabio Gagliardi

    Source: International Journal of Approximate Reasoning. Unidades: IME, EP

    Assunto: COMPUTABILIDADE E COMPLEXIDADE

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

    • ABNT

      MAUÁ, Denis Deratani e COZMAN, Fabio Gagliardi. Complexity results for probabilistic answer set programming. International Journal of Approximate Reasoning, v. 118, p. 133-154, 2020Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2019.12.003. Acesso em: 19 abr. 2024.

    • APA

      Mauá, D. D., & Cozman, F. G. (2020). Complexity results for probabilistic answer set programming. International Journal of Approximate Reasoning, 118, 133-154. doi:10.1016/j.ijar.2019.12.003

    • NLM

      Mauá DD, Cozman FG. Complexity results for probabilistic answer set programming [Internet]. International Journal of Approximate Reasoning. 2020 ;118 133-154.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.ijar.2019.12.003

    • Vancouver

      Mauá DD, Cozman FG. Complexity results for probabilistic answer set programming [Internet]. International Journal of Approximate Reasoning. 2020 ;118 133-154.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.ijar.2019.12.003

  • Trabalho de evento

    How micro are your services? (2020)

    Rosa, Thatiane de Oliveira ; Goldman, Alfredo ; Guerra, Eduardo Martins

    Source: Proceedings. Conference titles: International Conference on Software Architecture Companion - ICSA-C. Unidade: IME

    Subjects: ARQUITETURA DE SOFTWARE, BASES DE DADOS, COMPUTABILIDADE E COMPLEXIDADE, ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES

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

    • ABNT

      ROSA, Thatiane de Oliveira e GOLDMAN, Alfredo e GUERRA, Eduardo Martins. How micro are your services? 2020, Anais.. Piscataway: IEEE, 2020. Disponível em: https://doi.org/10.1109/ICSA-C50368.2020.00023. Acesso em: 19 abr. 2024.

    • APA

      Rosa, T. de O., Goldman, A., & Guerra, E. M. (2020). How micro are your services? In Proceedings. Piscataway: IEEE. doi:10.1109/ICSA-C50368.2020.00023

    • NLM

      Rosa T de O, Goldman A, Guerra EM. How micro are your services? [Internet]. Proceedings. 2020 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1109/ICSA-C50368.2020.00023

    • Vancouver

      Rosa T de O, Goldman A, Guerra EM. How micro are your services? [Internet]. Proceedings. 2020 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1109/ICSA-C50368.2020.00023

  • Artigo de periodico

    Algorithms to compute the burrows-wheeler similarity distribution (2019)

    Louza, Felipe Alves da ; Telles, Guilherme Pimentel ; Gog, Simon; Liang, Zhao

    Source: Theoretical Computer Science. Unidade: FFCLRP

    Subjects: ALGORITMOS, COMPUTABILIDADE E COMPLEXIDADE

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

    • ABNT

      LOUZA, Felipe Alves da et al. Algorithms to compute the burrows-wheeler similarity distribution. Theoretical Computer Science, v. 782, p. 145-156, 2019Tradução . . Disponível em: https://doi.org/10.1016/j.tcs.2019.03.012. Acesso em: 19 abr. 2024.

    • APA

      Louza, F. A. da, Telles, G. P., Gog, S., & Liang, Z. (2019). Algorithms to compute the burrows-wheeler similarity distribution. Theoretical Computer Science, 782, 145-156. doi:10.1016/j.tcs.2019.03.012

    • NLM

      Louza FA da, Telles GP, Gog S, Liang Z. Algorithms to compute the burrows-wheeler similarity distribution [Internet]. Theoretical Computer Science. 2019 ; 782 145-156.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.tcs.2019.03.012

    • Vancouver

      Louza FA da, Telles GP, Gog S, Liang Z. Algorithms to compute the burrows-wheeler similarity distribution [Internet]. Theoretical Computer Science. 2019 ; 782 145-156.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.tcs.2019.03.012

  • Trabalho de evento

    The online multicommodity connected facility location problem (2018)

    San Felice, Mário César; Fernandes, Cristina Gomes ; Lintzmayer, Carla Negri

    Source: Proceedings. Conference titles: International Workshop on Approximation and Online Algorithms - WAOA. Unidade: IME

    Subjects: OTIMIZAÇÃO COMBINATÓRIA, COMPUTABILIDADE E COMPLEXIDADE, TEORIA DA COMPUTAÇÃO

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

    • ABNT

      SAN FELICE, Mário César e FERNANDES, Cristina Gomes e LINTZMAYER, Carla Negri. The online multicommodity connected facility location problem. 2018, Anais.. Cham: Springer, 2018. Disponível em: https://doi.org/10.1007/978-3-319-89441-6_10. Acesso em: 19 abr. 2024.

    • APA

      San Felice, M. C., Fernandes, C. G., & Lintzmayer, C. N. (2018). The online multicommodity connected facility location problem. In Proceedings. Cham: Springer. doi:10.1007/978-3-319-89441-6_10

    • NLM

      San Felice MC, Fernandes CG, Lintzmayer CN. The online multicommodity connected facility location problem [Internet]. Proceedings. 2018 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/978-3-319-89441-6_10

    • Vancouver

      San Felice MC, Fernandes CG, Lintzmayer CN. The online multicommodity connected facility location problem [Internet]. Proceedings. 2018 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/978-3-319-89441-6_10

  • Artigo de periodico

    The complexity of Bayesian networks specified by propositional and relational languages (2018)

    Cozman, Fabio Gagliardi ; Mauá, Denis Deratani

    Source: Artificial Intelligence. Unidades: EP, IME

    Subjects: INFERÊNCIA BAYESIANA, COMPUTABILIDADE E COMPLEXIDADE

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

    • ABNT

      COZMAN, Fabio Gagliardi e MAUÁ, Denis Deratani. The complexity of Bayesian networks specified by propositional and relational languages. Artificial Intelligence, v. 262, p. 96-141, 2018Tradução . . Disponível em: https://doi.org/10.1016/j.artint.2018.06.001. Acesso em: 19 abr. 2024.

    • APA

      Cozman, F. G., & Mauá, D. D. (2018). The complexity of Bayesian networks specified by propositional and relational languages. Artificial Intelligence, 262, 96-141. doi:10.1016/j.artint.2018.06.001

    • NLM

      Cozman FG, Mauá DD. The complexity of Bayesian networks specified by propositional and relational languages [Internet]. Artificial Intelligence. 2018 ; 262 96-141.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.artint.2018.06.001

    • Vancouver

      Cozman FG, Mauá DD. The complexity of Bayesian networks specified by propositional and relational languages [Internet]. Artificial Intelligence. 2018 ; 262 96-141.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.artint.2018.06.001

  • Artigo de periodico

    On regularization and active-set methods with complexity for constrained optimization (2018)

    Birgin, Ernesto Julian Goldberg ; Martinez, J M

    Source: SIAM Journal on Optimization. Unidade: IME

    Subjects: PROGRAMAÇÃO NÃO LINEAR, PROGRAMAÇÃO MATEMÁTICA, COMPUTABILIDADE E COMPLEXIDADE, ANÁLISE DE ALGORITMOS

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

    • ABNT

      BIRGIN, Ernesto Julian Goldberg e MARTINEZ, J M. On regularization and active-set methods with complexity for constrained optimization. SIAM Journal on Optimization, v. 28, n. 2, p. 1367-1395, 2018Tradução . . Disponível em: https://doi.org/10.1137/17M1127107. Acesso em: 19 abr. 2024.

    • APA

      Birgin, E. J. G., & Martinez, J. M. (2018). On regularization and active-set methods with complexity for constrained optimization. SIAM Journal on Optimization, 28( 2), 1367-1395. doi:10.1137/17M1127107

    • NLM

      Birgin EJG, Martinez JM. On regularization and active-set methods with complexity for constrained optimization [Internet]. SIAM Journal on Optimization. 2018 ; 28( 2): 1367-1395.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1137/17M1127107

    • Vancouver

      Birgin EJG, Martinez JM. On regularization and active-set methods with complexity for constrained optimization [Internet]. SIAM Journal on Optimization. 2018 ; 28( 2): 1367-1395.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1137/17M1127107

  • Trabalho de evento-anais periodico

    On the uncomputability of partial meet contraction for linear-time temporal logic (2018)

    Guerra, Paulo T; Wassermann, Renata

    Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME

    Subjects: LÓGICA, COMPUTABILIDADE E COMPLEXIDADE, REVISÃO DE CRENÇAS

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

    • ABNT

      GUERRA, Paulo T e WASSERMANN, Renata. On the uncomputability of partial meet contraction for linear-time temporal logic. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf. Acesso em: 19 abr. 2024. , 2018

    • APA

      Guerra, P. T., & Wassermann, R. (2018). On the uncomputability of partial meet contraction for linear-time temporal logic. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf

    • NLM

      Guerra PT, Wassermann R. On the uncomputability of partial meet contraction for linear-time temporal logic [Internet]. South American Journal of Logic. 2018 ; 4( 2): 385-406.[citado 2024 abr. 19 ] Available from: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf

    • Vancouver

      Guerra PT, Wassermann R. On the uncomputability of partial meet contraction for linear-time temporal logic [Internet]. South American Journal of Logic. 2018 ; 4( 2): 385-406.[citado 2024 abr. 19 ] Available from: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf

  • Trabalho de evento

    The finite model theory of bayesian networks: descriptive complexity (2018)

    Cozman, Fabio Gagliardi ; Mauá, Denis Deratani

    Source: Proceedings. Conference titles: International Joint Conference on Artificial Intelligence - IJCAI. Unidades: IME, EP

    Subjects: COMPUTABILIDADE E COMPLEXIDADE, INTELIGÊNCIA ARTIFICIAL, INFERÊNCIA BAYESIANA

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

    • ABNT

      COZMAN, Fabio Gagliardi e MAUÁ, Denis Deratani. The finite model theory of bayesian networks: descriptive complexity. 2018, Anais.. Vienna: IJCAI, 2018. Disponível em: https://doi.org/10.24963/ijcai.2018/727. Acesso em: 19 abr. 2024.

    • APA

      Cozman, F. G., & Mauá, D. D. (2018). The finite model theory of bayesian networks: descriptive complexity. In Proceedings. Vienna: IJCAI. doi:10.24963/ijcai.2018/727

    • NLM

      Cozman FG, Mauá DD. The finite model theory of bayesian networks: descriptive complexity [Internet]. Proceedings. 2018 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.24963/ijcai.2018/727

    • Vancouver

      Cozman FG, Mauá DD. The finite model theory of bayesian networks: descriptive complexity [Internet]. Proceedings. 2018 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.24963/ijcai.2018/727

  • Dissertação (Mestrado)

    Melhorando o ataque de reação contra o QC-MDPC McEliece (2017)

    Paiva, Thales Areco Bandiera; Terada, Routo (Orientador)

    Unidade: IME

    Subjects: COMPUTABILIDADE E COMPLEXIDADE, CRIPTOLOGIA

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

    • ABNT

      PAIVA, Thales Areco Bandiera. Melhorando o ataque de reação contra o QC-MDPC McEliece. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-07012018-212020/. Acesso em: 19 abr. 2024.

    • APA

      Paiva, T. A. B. (2017). Melhorando o ataque de reação contra o QC-MDPC McEliece (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-07012018-212020/

    • NLM

      Paiva TAB. Melhorando o ataque de reação contra o QC-MDPC McEliece [Internet]. 2017 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-07012018-212020/

    • Vancouver

      Paiva TAB. Melhorando o ataque de reação contra o QC-MDPC McEliece [Internet]. 2017 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-07012018-212020/

  • Artigo de periodico

    Energy-aware mapping and live migration of virtual networks (2017)

    Rodriguez, Esteban; Alkmim, Gustavo P; Da fonseca, Nelson, L. S; Batista, Daniel Macêdo

    Source: IEEE Systems Journal. Unidade: IME

    Subjects: COMPUTABILIDADE E COMPLEXIDADE, INTERNET, REDE DE TELECOMUNICAÇÕES

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

    • ABNT

      RODRIGUEZ, Esteban et al. Energy-aware mapping and live migration of virtual networks. IEEE Systems Journal, v. 11, n. 2, p. 637-648, 2017Tradução . . Disponível em: https://doi.org/10.1109/jsyst.2015.2467159. Acesso em: 19 abr. 2024.

    • APA

      Rodriguez, E., Alkmim, G. P., Da fonseca, N., & Batista, D. M. (2017). Energy-aware mapping and live migration of virtual networks. IEEE Systems Journal, 11( 2), 637-648. doi:10.1109/jsyst.2015.2467159

    • NLM

      Rodriguez E, Alkmim GP, Da fonseca N, Batista DM. Energy-aware mapping and live migration of virtual networks [Internet]. IEEE Systems Journal. 2017 ; 11( 2): 637-648.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1109/jsyst.2015.2467159

    • Vancouver

      Rodriguez E, Alkmim GP, Da fonseca N, Batista DM. Energy-aware mapping and live migration of virtual networks [Internet]. IEEE Systems Journal. 2017 ; 11( 2): 637-648.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1109/jsyst.2015.2467159

  • Trabalho de evento-resumo

    Evaluation complexity for nonlinear constrained optimization using unscaled kkt conditions and highorder models (2016)

    Birgin, Ernesto Julian Goldberg

    Source: Posters. Conference titles: Brazilian Workshop on Continuous Optimization. Unidade: IME

    Subjects: COMPUTABILIDADE E COMPLEXIDADE, OTIMIZAÇÃO NÃO LINEAR

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

    • ABNT

      BIRGIN, Ernesto Julian Goldberg. Evaluation complexity for nonlinear constrained optimization using unscaled kkt conditions and highorder models. 2016, Anais.. Rio de Janeiro: IMPA, 2016. Disponível em: https://impa.br/wp-content/uploads/2016/12/ernesto_birgin.pdf. Acesso em: 19 abr. 2024.

    • APA

      Birgin, E. J. G. (2016). Evaluation complexity for nonlinear constrained optimization using unscaled kkt conditions and highorder models. In Posters. Rio de Janeiro: IMPA. Recuperado de https://impa.br/wp-content/uploads/2016/12/ernesto_birgin.pdf

    • NLM

      Birgin EJG. Evaluation complexity for nonlinear constrained optimization using unscaled kkt conditions and highorder models [Internet]. Posters. 2016 ;[citado 2024 abr. 19 ] Available from: https://impa.br/wp-content/uploads/2016/12/ernesto_birgin.pdf

    • Vancouver

      Birgin EJG. Evaluation complexity for nonlinear constrained optimization using unscaled kkt conditions and highorder models [Internet]. Posters. 2016 ;[citado 2024 abr. 19 ] Available from: https://impa.br/wp-content/uploads/2016/12/ernesto_birgin.pdf

1 - 20 (128 records)

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