Menu

Filtros : "IME" "TRABALHO DE EVENTO-ANAIS PERIODICO" Limpar

Filtros

Refine with date range

1 - 20 (373 records)

  • Trabalho de evento-anais periodico

    Um método heurístico para o problema do caixeiro viajante suficientemente próximo (2025)

    Ertel, Paula C. R.; Birgin, Ernesto Julian Goldberg

    Source: Proceeding Series of the Brazilian Society of Computational and Applied Mathematics. Conference titles: Congresso Nacional de Matemática Aplicada e Computacional - CNMAC. Unidade: IME

    Subjects: OTIMIZAÇÃO COMBINATÓRIA, HEURÍSTICA

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

    • ABNT

      ERTEL, Paula C. R. e BIRGIN, Ernesto Julian Goldberg. Um método heurístico para o problema do caixeiro viajante suficientemente próximo. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics. São Carlos: SBMAC. Disponível em: https://doi.org/10.5540/03.2025.011.01.0495. Acesso em: 13 jul. 2025. , 2025

    • APA

      Ertel, P. C. R., & Birgin, E. J. G. (2025). Um método heurístico para o problema do caixeiro viajante suficientemente próximo. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics. São Carlos: SBMAC. doi:10.5540/03.2025.011.01.0495

    • NLM

      Ertel PCR, Birgin EJG. Um método heurístico para o problema do caixeiro viajante suficientemente próximo [Internet]. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics. 2025 ; 11( 1): 1-7.[citado 2025 jul. 13 ] Available from: https://doi.org/10.5540/03.2025.011.01.0495

    • Vancouver

      Ertel PCR, Birgin EJG. Um método heurístico para o problema do caixeiro viajante suficientemente próximo [Internet]. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics. 2025 ; 11( 1): 1-7.[citado 2025 jul. 13 ] Available from: https://doi.org/10.5540/03.2025.011.01.0495

  • Trabalho de evento-anais periodico

    Regional, lattice and logical representations of neural networks (2025)

    Preto, Sandro ; Finger, Marcelo

    Source: Electronic Proceedings in Theoretical Computer Science. Conference titles: International Workshop on Logical and Semantic Frameworks, with Applications - LSFA. Unidade: IME

    Subjects: REDES NEURAIS, LÓGICA, ALGORITMOS

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

    • ABNT

      PRETO, Sandro e FINGER, Marcelo. Regional, lattice and logical representations of neural networks. Electronic Proceedings in Theoretical Computer Science. Sydney: Open Publishing Association. Disponível em: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf. Acesso em: 13 jul. 2025. , 2025

    • APA

      Preto, S., & Finger, M. (2025). Regional, lattice and logical representations of neural networks. Electronic Proceedings in Theoretical Computer Science. Sydney: Open Publishing Association. doi:10.4204/EPTCS.421.4

    • NLM

      Preto S, Finger M. Regional, lattice and logical representations of neural networks [Internet]. Electronic Proceedings in Theoretical Computer Science. 2025 ; 421 64-79.[citado 2025 jul. 13 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf

    • Vancouver

      Preto S, Finger M. Regional, lattice and logical representations of neural networks [Internet]. Electronic Proceedings in Theoretical Computer Science. 2025 ; 421 64-79.[citado 2025 jul. 13 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf

  • Trabalho de evento-anais periodico

    A unified framework for average reward criterion and risk (2025)

    Reis, Willy Arthur Silva; Delgado, Karina Valdivia; Silva, Valdinei Freire da

    Source: Intelligent Systems. BRACIS 2024 Proceedings, Part I. Conference titles: Brazilian Conference - BRACIS 2024. Unidades: EACH, IME

    Subjects: PROCESSOS DE MARKOV, INTELIGÊNCIA ARTIFICIAL

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

    • ABNT

      REIS, Willy Arthur Silva e DELGADO, Karina Valdivia e SILVA, Valdinei Freire da. A unified framework for average reward criterion and risk. Intelligent Systems. BRACIS 2024 Proceedings, Part I. Cham: Springer Nature. Disponível em: https://doi.org/10.1007/978-3-031-79029-4_7. Acesso em: 13 jul. 2025. , 2025

    • APA

      Reis, W. A. S., Delgado, K. V., & Silva, V. F. da. (2025). A unified framework for average reward criterion and risk. Intelligent Systems. BRACIS 2024 Proceedings, Part I. Cham: Springer Nature. doi:10.1007/978-3-031-79029-4_7

    • NLM

      Reis WAS, Delgado KV, Silva VF da. A unified framework for average reward criterion and risk [Internet]. Intelligent Systems. BRACIS 2024 Proceedings, Part I. 2025 ; 96-110.[citado 2025 jul. 13 ] Available from: https://doi.org/10.1007/978-3-031-79029-4_7

    • Vancouver

      Reis WAS, Delgado KV, Silva VF da. A unified framework for average reward criterion and risk [Internet]. Intelligent Systems. BRACIS 2024 Proceedings, Part I. 2025 ; 96-110.[citado 2025 jul. 13 ] Available from: https://doi.org/10.1007/978-3-031-79029-4_7

  • Trabalho de evento-anais periodico

    Investigating universal adversarial attacks against transformers-based automatic essay scoring systems (2025)

    Silveira, Igor Cataneo ; Barbosa, André ; Costa, Daniel Silva Lopes da; Mauá, Denis Deratani

    Source: Intelligent Systems. BRACIS 2024 Proceedings, Part II. Conference titles: Brazilian Conference - BRACIS 2024. Unidade: IME

    Subjects: PROCESSAMENTO DE LINGUAGEM NATURAL, REDAÇÃO

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

    • ABNT

      SILVEIRA, Igor Cataneo et al. Investigating universal adversarial attacks against transformers-based automatic essay scoring systems. Intelligent Systems. BRACIS 2024 Proceedings, Part II. Cham: Springer Nature. Disponível em: https://doi.org/10.1007/978-3-031-79032-4_12. Acesso em: 13 jul. 2025. , 2025

    • APA

      Silveira, I. C., Barbosa, A., Costa, D. S. L. da, & Mauá, D. D. (2025). Investigating universal adversarial attacks against transformers-based automatic essay scoring systems. Intelligent Systems. BRACIS 2024 Proceedings, Part II. Cham: Springer Nature. doi:10.1007/978-3-031-79032-4_12

    • NLM

      Silveira IC, Barbosa A, Costa DSL da, Mauá DD. Investigating universal adversarial attacks against transformers-based automatic essay scoring systems [Internet]. Intelligent Systems. BRACIS 2024 Proceedings, Part II. 2025 ;169-183.[citado 2025 jul. 13 ] Available from: https://doi.org/10.1007/978-3-031-79032-4_12

    • Vancouver

      Silveira IC, Barbosa A, Costa DSL da, Mauá DD. Investigating universal adversarial attacks against transformers-based automatic essay scoring systems [Internet]. Intelligent Systems. BRACIS 2024 Proceedings, Part II. 2025 ;169-183.[citado 2025 jul. 13 ] Available from: https://doi.org/10.1007/978-3-031-79032-4_12

  • Trabalho de evento-anais periodico

    Implementação de um método de Lagrangianos aumentados com informação de primeira ordem (2025)

    Birgin, Ernesto Julian Goldberg ; Marcondes, Diaulas Murize Santana Vieira

    Source: Proceeding Series of the Brazilian Society of Computational and Applied Mathematics. Conference titles: Congresso Nacional de Matemática Aplicada e Computacional - CNMAC. Unidade: IME

    Subjects: PROGRAMAÇÃO NÃO LINEAR, OTIMIZAÇÃO NÃO LINEAR, SISTEMAS LAGRANGIANOS

    PrivadoAcesso à 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 MARCONDES, Diaulas Murize Santana Vieira. Implementação de um método de Lagrangianos aumentados com informação de primeira ordem. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics. São Carlos: SBMAC. Disponível em: https://doi.org/10.5540/03.2025.011.01.0410. Acesso em: 13 jul. 2025. , 2025

    • APA

      Birgin, E. J. G., & Marcondes, D. M. S. V. (2025). Implementação de um método de Lagrangianos aumentados com informação de primeira ordem. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics. São Carlos: SBMAC. doi:10.5540/03.2025.011.01.0410

    • NLM

      Birgin EJG, Marcondes DMSV. Implementação de um método de Lagrangianos aumentados com informação de primeira ordem [Internet]. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics. 2025 ; 11( 1): 1-7.[citado 2025 jul. 13 ] Available from: https://doi.org/10.5540/03.2025.011.01.0410

    • Vancouver

      Birgin EJG, Marcondes DMSV. Implementação de um método de Lagrangianos aumentados com informação de primeira ordem [Internet]. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics. 2025 ; 11( 1): 1-7.[citado 2025 jul. 13 ] Available from: https://doi.org/10.5540/03.2025.011.01.0410

  • Trabalho de evento-anais periodico

    Reinforcement learning with utility-based semantic for goals (2025)

    Polar, Christian Delgado; Delgado, Karina Valdivia ; Silva, Valdinei Freire da

    Source: Intelligent Systems. Intelligent Systems. BRACIS 2024 Proceedings, Part II. Conference titles: Brazilian Conference - BRACIS 2024. Unidades: EACH, IME

    Subjects: PROCESSOS ESTOCÁSTICOS, PROCESSOS DE MARKOV, INTELIGÊNCIA ARTIFICIAL, ALGORITMOS

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

    • ABNT

      POLAR, Christian Delgado e DELGADO, Karina Valdivia e SILVA, Valdinei Freire da. Reinforcement learning with utility-based semantic for goals. Intelligent Systems. Intelligent Systems. BRACIS 2024 Proceedings, Part II. Cham: Springer Nature. Disponível em: https://doi.org/10.1007/978-3-031-79032-4_25. Acesso em: 13 jul. 2025. , 2025

    • APA

      Polar, C. D., Delgado, K. V., & Silva, V. F. da. (2025). Reinforcement learning with utility-based semantic for goals. Intelligent Systems. Intelligent Systems. BRACIS 2024 Proceedings, Part II. Cham: Springer Nature. doi:10.1007/978-3-031-79032-4_25

    • NLM

      Polar CD, Delgado KV, Silva VF da. Reinforcement learning with utility-based semantic for goals [Internet]. Intelligent Systems. Intelligent Systems. BRACIS 2024 Proceedings, Part II. 2025 ; 354-369.[citado 2025 jul. 13 ] Available from: https://doi.org/10.1007/978-3-031-79032-4_25

    • Vancouver

      Polar CD, Delgado KV, Silva VF da. Reinforcement learning with utility-based semantic for goals [Internet]. Intelligent Systems. Intelligent Systems. BRACIS 2024 Proceedings, Part II. 2025 ; 354-369.[citado 2025 jul. 13 ] Available from: https://doi.org/10.1007/978-3-031-79032-4_25

  • Trabalho de evento-anais periodico

    Probabilistic logic programming under the L-Stable semantics (2024)

    Mauá, Denis Deratani ; Cozman, Fabio Gagliardi ; Garces, Alexandro

    Source: CEUR Workshop Proceedings. Conference titles: International Workshop on Nonmonotonic Reasoning - NMR. Unidades: IME, EP

    Subjects: PROGRAMAÇÃO LÓGICA, SEMÂNTICA DE PROGRAMAÇÃO, PROBABILIDADE

    Versão PublicadaAcesso à fonteHow 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 e GARCES, Alexandro. Probabilistic logic programming under the L-Stable semantics. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://ceur-ws.org/Vol-3835/paper3.pdf. Acesso em: 13 jul. 2025. , 2024

    • APA

      Mauá, D. D., Cozman, F. G., & Garces, A. (2024). Probabilistic logic programming under the L-Stable semantics. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://ceur-ws.org/Vol-3835/paper3.pdf

    • NLM

      Mauá DD, Cozman FG, Garces A. Probabilistic logic programming under the L-Stable semantics [Internet]. CEUR Workshop Proceedings. 2024 ; 3835 16-26.[citado 2025 jul. 13 ] Available from: https://ceur-ws.org/Vol-3835/paper3.pdf

    • Vancouver

      Mauá DD, Cozman FG, Garces A. Probabilistic logic programming under the L-Stable semantics [Internet]. CEUR Workshop Proceedings. 2024 ; 3835 16-26.[citado 2025 jul. 13 ] Available from: https://ceur-ws.org/Vol-3835/paper3.pdf

  • Trabalho de evento-anais periodico

    Image segmentation by hierarchical layered oriented image foresting transform subject to closeness constraints (2024)

    Santos, Luiz Felipe Dolabela ; Kleine, Felipe Augusto de Souza; Miranda, Paulo André Vechiatto de

    Source: Lecture Notes in Computer Science. Conference titles: International Conference on Discrete Geometry and Mathematical Morphology - DGMM. Unidade: IME

    Assunto: PROCESSAMENTO DE IMAGENS

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

    • ABNT

      SANTOS, Luiz Felipe Dolabela e KLEINE, Felipe Augusto de Souza e MIRANDA, Paulo André Vechiatto de. Image segmentation by hierarchical layered oriented image foresting transform subject to closeness constraints. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-031-57793-2_26. Acesso em: 13 jul. 2025. , 2024

    • APA

      Santos, L. F. D., Kleine, F. A. de S., & Miranda, P. A. V. de. (2024). Image segmentation by hierarchical layered oriented image foresting transform subject to closeness constraints. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-031-57793-2_26

    • NLM

      Santos LFD, Kleine FA de S, Miranda PAV de. Image segmentation by hierarchical layered oriented image foresting transform subject to closeness constraints [Internet]. Lecture Notes in Computer Science. 2024 ; 14605 338-349.[citado 2025 jul. 13 ] Available from: https://doi.org/10.1007/978-3-031-57793-2_26

    • Vancouver

      Santos LFD, Kleine FA de S, Miranda PAV de. Image segmentation by hierarchical layered oriented image foresting transform subject to closeness constraints [Internet]. Lecture Notes in Computer Science. 2024 ; 14605 338-349.[citado 2025 jul. 13 ] Available from: https://doi.org/10.1007/978-3-031-57793-2_26

  • Trabalho de evento-anais periodico

    Effective sample size, dimensionality, and generalization in covariate shift adaptation (2023)

    Polo, Felipe Maia ; Vicente, Renato

    Source: Neural Computing and Applications. Conference titles: LatinX in AI at NeurIPS. Unidade: IME

    Assunto: MATEMÁTICA APLICADA

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

    • ABNT

      POLO, Felipe Maia e VICENTE, Renato. Effective sample size, dimensionality, and generalization in covariate shift adaptation. Neural Computing and Applications. Godalming: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s00521-021-06615-1. Acesso em: 13 jul. 2025. , 2023

    • APA

      Polo, F. M., & Vicente, R. (2023). Effective sample size, dimensionality, and generalization in covariate shift adaptation. Neural Computing and Applications. Godalming: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s00521-021-06615-1

    • NLM

      Polo FM, Vicente R. Effective sample size, dimensionality, and generalization in covariate shift adaptation [Internet]. Neural Computing and Applications. 2023 ; 35( 25): 18187-18199.[citado 2025 jul. 13 ] Available from: https://doi.org/10.1007/s00521-021-06615-1

    • Vancouver

      Polo FM, Vicente R. Effective sample size, dimensionality, and generalization in covariate shift adaptation [Internet]. Neural Computing and Applications. 2023 ; 35( 25): 18187-18199.[citado 2025 jul. 13 ] Available from: https://doi.org/10.1007/s00521-021-06615-1

  • Trabalho de evento-anais periodico

    Specifying credal sets with probabilistic answer set programming (2023)

    Mauá, Denis Deratani ; Cozman, Fabio Gagliardi

    Source: Proceedings of Machine Learning Research. Conference titles: International Symposium on Imprecise Probability: Theories and Applications - ISIPTA. Unidades: IME, EP

    Assunto: PROGRAMAÇÃO LÓGICA

    Versão PublicadaAcesso à fonteHow 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. Specifying credal sets with probabilistic answer set programming. Proceedings of Machine Learning Research. Brookline: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://proceedings.mlr.press/v215/maua23a/maua23a.pdf. Acesso em: 13 jul. 2025. , 2023

    • APA

      Mauá, D. D., & Cozman, F. G. (2023). Specifying credal sets with probabilistic answer set programming. Proceedings of Machine Learning Research. Brookline: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://proceedings.mlr.press/v215/maua23a/maua23a.pdf

    • NLM

      Mauá DD, Cozman FG. Specifying credal sets with probabilistic answer set programming [Internet]. Proceedings of Machine Learning Research. 2023 ; 215 321-332.[citado 2025 jul. 13 ] Available from: https://proceedings.mlr.press/v215/maua23a/maua23a.pdf

    • Vancouver

      Mauá DD, Cozman FG. Specifying credal sets with probabilistic answer set programming [Internet]. Proceedings of Machine Learning Research. 2023 ; 215 321-332.[citado 2025 jul. 13 ] Available from: https://proceedings.mlr.press/v215/maua23a/maua23a.pdf

  • Trabalho de evento-anais periodico

    Contact process under renewal cures: an overview of recent results (2023)

    Fontes, Luiz Renato

    Source: Matemática Contemporânea. Conference titles: Brazilian School of Probability. Unidade: IME

    Subjects: PROCESSOS ESTOCÁSTICOS ESPECIAIS, PROCESSOS ALEATÓRIOS, PERCOLAÇÃO

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

    • ABNT

      FONTES, Luiz Renato. Contact process under renewal cures: an overview of recent results. Matemática Contemporânea. Rio de Janeiro: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2023/12/58-Article-6.pdf. Acesso em: 13 jul. 2025. , 2023

    • APA

      Fontes, L. R. (2023). Contact process under renewal cures: an overview of recent results. Matemática Contemporânea. Rio de Janeiro: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2023/12/58-Article-6.pdf

    • NLM

      Fontes LR. Contact process under renewal cures: an overview of recent results [Internet]. Matemática Contemporânea. 2023 ; 58 234-263.[citado 2025 jul. 13 ] Available from: https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2023/12/58-Article-6.pdf

    • Vancouver

      Fontes LR. Contact process under renewal cures: an overview of recent results [Internet]. Matemática Contemporânea. 2023 ; 58 234-263.[citado 2025 jul. 13 ] Available from: https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2023/12/58-Article-6.pdf

  • Trabalho de evento-anais periodico

    On limits of machine learning techniques in the learning ofscheduling policies (2023)

    Rosa, Lucas de Sousa ; Carastan-Santos, Danilo ; Goldman, Alfredo ; Trystram, Denis

    Source: Revista Eletrônica de Iniciação Científica em Computação. Conference titles: Concurso de Trabalhos de Iniciação Científica - CTIC. Unidade: IME

    Subjects: PROGRAMAÇÃO PARALELA, HEURÍSTICA, APRENDIZADO COMPUTACIONAL

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

    • ABNT

      ROSA, Lucas de Sousa et al. On limits of machine learning techniques in the learning ofscheduling policies. Revista Eletrônica de Iniciação Científica em Computação. Porto Alegre: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://sol.sbc.org.br/journals/index.php/reic/article/view/3419. Acesso em: 13 jul. 2025. , 2023

    • APA

      Rosa, L. de S., Carastan-Santos, D., Goldman, A., & Trystram, D. (2023). On limits of machine learning techniques in the learning ofscheduling policies. Revista Eletrônica de Iniciação Científica em Computação. Porto Alegre: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://sol.sbc.org.br/journals/index.php/reic/article/view/3419

    • NLM

      Rosa L de S, Carastan-Santos D, Goldman A, Trystram D. On limits of machine learning techniques in the learning ofscheduling policies [Internet]. Revista Eletrônica de Iniciação Científica em Computação. 2023 ; 21( 2): 61-70.[citado 2025 jul. 13 ] Available from: https://sol.sbc.org.br/journals/index.php/reic/article/view/3419

    • Vancouver

      Rosa L de S, Carastan-Santos D, Goldman A, Trystram D. On limits of machine learning techniques in the learning ofscheduling policies [Internet]. Revista Eletrônica de Iniciação Científica em Computação. 2023 ; 21( 2): 61-70.[citado 2025 jul. 13 ] Available from: https://sol.sbc.org.br/journals/index.php/reic/article/view/3419

  • 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

    Source: Procedia Computer Science. Conference titles: Latin-American Algorithms, Graphs and Optimization Symposium - LAGOS. Unidade: IME

    Subjects: GRAFOS ALEATÓRIOS, TEORIA DE RAMSEY

    Versão PublicadaAcesso à fonteDOIHow to cite
    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: 13 jul. 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 jul. 13 ] 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 jul. 13 ] Available from: https://doi.org/10.1016/j.procs.2023.08.208

  • Trabalho de evento-anais periodico

    Resilience for loose Hamilton cycles (2023)

    Alvarado Morales, José Diego ; Kohayakawa, Yoshiharu ; Lang, Richard; Mota, Guilherme Oliveira ; Stagni, Henrique

    Source: Procedia Computer Science. Conference titles: Latin and American Algorithms, Graphs and Optimization Symposium - LAGOS. Unidade: IME

    Assunto: GRAFOS ALEATÓRIOS

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

    • ABNT

      ALVARADO MORALES, José Diego et al. Resilience for loose Hamilton cycles. 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.229. Acesso em: 13 jul. 2025. , 2023

    • APA

      Alvarado Morales, J. D., Kohayakawa, Y., Lang, R., Mota, G. O., & Stagni, H. (2023). Resilience for loose Hamilton cycles. Procedia Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/j.procs.2023.08.229

    • NLM

      Alvarado Morales JD, Kohayakawa Y, Lang R, Mota GO, Stagni H. Resilience for loose Hamilton cycles [Internet]. Procedia Computer Science. 2023 ; 223 193-200.[citado 2025 jul. 13 ] Available from: https://doi.org/10.1016/j.procs.2023.08.229

    • Vancouver

      Alvarado Morales JD, Kohayakawa Y, Lang R, Mota GO, Stagni H. Resilience for loose Hamilton cycles [Internet]. Procedia Computer Science. 2023 ; 223 193-200.[citado 2025 jul. 13 ] Available from: https://doi.org/10.1016/j.procs.2023.08.229

  • Trabalho de evento-anais periodico

    Some results on strongly coupled elliptic systems (2023)

    Andrade, João Henrique ; do Ó, João Marcos

    Source: Matemática Contemporânea. Conference titles: USACH's Webinar of Nonlinear Analysis and Elliptic partial equations (in Honor of the 60th birthday of Pedro Ubilla). Unidade: IME

    Assunto: EQUAÇÕES DIFERENCIAIS PARCIAIS NÃO LINEARES

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

    • ABNT

      ANDRADE, João Henrique e DO Ó, João Marcos. Some results on strongly coupled elliptic systems. Matemática Contemporânea. Rio de Janeiro: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2023/11/Article-6.pdf. Acesso em: 13 jul. 2025. , 2023

    • APA

      Andrade, J. H., & do Ó, J. M. (2023). Some results on strongly coupled elliptic systems. Matemática Contemporânea. Rio de Janeiro: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2023/11/Article-6.pdf

    • NLM

      Andrade JH, do Ó JM. Some results on strongly coupled elliptic systems [Internet]. Matemática Contemporânea. 2023 ; 54 157-172.[citado 2025 jul. 13 ] Available from: https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2023/11/Article-6.pdf

    • Vancouver

      Andrade JH, do Ó JM. Some results on strongly coupled elliptic systems [Internet]. Matemática Contemporânea. 2023 ; 54 157-172.[citado 2025 jul. 13 ] Available from: https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2023/11/Article-6.pdf

  • Trabalho de evento-anais periodico

    Critical points at prescribed energy level for Schrödinger-Bopp-Podolsky systems (2023)

    Quoirin, Humberto Ramos ; Siciliano, Gaetano ; Silva, Kaye

    Source: Matemática Contemporânea. Conference titles: Encontro Nacional de Análise Matemática e Aplicações - ENAMA. Unidade: IME

    Subjects: EQUAÇÕES DIFERENCIAIS PARCIAIS, MÉTODOS VARIACIONAIS, TEORIA DA BIFURCAÇÃO

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

    • ABNT

      QUOIRIN, Humberto Ramos e SICILIANO, Gaetano e SILVA, Kaye. Critical points at prescribed energy level for Schrödinger-Bopp-Podolsky systems. Matemática Contemporânea. Rio de Janeiro: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2023/12/56-Article-1.pdf. Acesso em: 13 jul. 2025. , 2023

    • APA

      Quoirin, H. R., Siciliano, G., & Silva, K. (2023). Critical points at prescribed energy level for Schrödinger-Bopp-Podolsky systems. Matemática Contemporânea. Rio de Janeiro: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2023/12/56-Article-1.pdf

    • NLM

      Quoirin HR, Siciliano G, Silva K. Critical points at prescribed energy level for Schrödinger-Bopp-Podolsky systems [Internet]. Matemática Contemporânea. 2023 ; 56 4-19.[citado 2025 jul. 13 ] Available from: https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2023/12/56-Article-1.pdf

    • Vancouver

      Quoirin HR, Siciliano G, Silva K. Critical points at prescribed energy level for Schrödinger-Bopp-Podolsky systems [Internet]. Matemática Contemporânea. 2023 ; 56 4-19.[citado 2025 jul. 13 ] Available from: https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2023/12/56-Article-1.pdf

  • Trabalho de evento-anais periodico

    Probability models generated via line integral and joint life insurance application (2023)

    Kolev, Nikolai

    Source: Proceeding Series of the Brazilian Society of Computational and Applied Mathematics. Conference titles: Congresso Nacional de Matemática Aplicada e Computacional - CNMAC. Unidade: IME

    Subjects: ANÁLISE DE RISCO, ANÁLISE DE SOBREVIVÊNCIA, DADOS CATEGORIZADOS

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

    • ABNT

      KOLEV, Nikolai. Probability models generated via line integral and joint life insurance application. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics. São Carlos: SBMAC. Disponível em: https://proceedings.sbmac.org.br/sbmac/article/view/4124/4178. Acesso em: 13 jul. 2025. , 2023

    • APA

      Kolev, N. (2023). Probability models generated via line integral and joint life insurance application. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics. São Carlos: SBMAC. doi:10.5540/03.2023.010.01.0084

    • NLM

      Kolev N. Probability models generated via line integral and joint life insurance application [Internet]. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics. 2023 ; 10( 1): 1-7.[citado 2025 jul. 13 ] Available from: https://proceedings.sbmac.org.br/sbmac/article/view/4124/4178

    • Vancouver

      Kolev N. Probability models generated via line integral and joint life insurance application [Internet]. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics. 2023 ; 10( 1): 1-7.[citado 2025 jul. 13 ] Available from: https://proceedings.sbmac.org.br/sbmac/article/view/4124/4178

  • Trabalho de evento-anais periodico

    Model theory inspired by Grothendieckian algebraic geometry: a survey of sheaf representations for categorical model theory (2023)

    Rios, Gabriel Bittencourt ; Mariano, Hugo Luiz

    Source: Latin American Journal of Mathematics. Conference titles: Encontro Paulista da Pós-Graduação em Matemáticas. Unidade: IME

    Subjects: TEORIA DAS CATEGORIAS, LÓGICA CATEGÓRICA, FEIXES, GEOMETRIA ALGÉBRICA

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

    • ABNT

      RIOS, Gabriel Bittencourt e MARIANO, Hugo Luiz. Model theory inspired by Grothendieckian algebraic geometry: a survey of sheaf representations for categorical model theory. Latin American Journal of Mathematics. São Carlos: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.5281/zenodo.7926048. Acesso em: 13 jul. 2025. , 2023

    • APA

      Rios, G. B., & Mariano, H. L. (2023). Model theory inspired by Grothendieckian algebraic geometry: a survey of sheaf representations for categorical model theory. Latin American Journal of Mathematics. São Carlos: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.5281/zenodo.7926048

    • NLM

      Rios GB, Mariano HL. Model theory inspired by Grothendieckian algebraic geometry: a survey of sheaf representations for categorical model theory [Internet]. Latin American Journal of Mathematics. 2023 ; 2( 1): 12-50.[citado 2025 jul. 13 ] Available from: https://doi.org/10.5281/zenodo.7926048

    • Vancouver

      Rios GB, Mariano HL. Model theory inspired by Grothendieckian algebraic geometry: a survey of sheaf representations for categorical model theory [Internet]. Latin American Journal of Mathematics. 2023 ; 2( 1): 12-50.[citado 2025 jul. 13 ] Available from: https://doi.org/10.5281/zenodo.7926048

  • Trabalho de evento-anais periodico

    Fixed point theorems for hypersequences and the foundation of generalized differential geometry: the simplified algebra (2023)

    Juriaans, Orlando Stanley ; Oliveira, Joerk da Silva

    Source: Matemática Contemporânea. Conference titles: Encontro Nacional de Análise Matemática e Aplicações - ENAMA. Unidade: IME

    Subjects: FUNÇÕES GENERALIZADAS, ANÁLISE FUNCIONAL NÃO LINEAR

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

    • ABNT

      JURIAANS, Orlando Stanley e OLIVEIRA, Joerk da Silva. Fixed point theorems for hypersequences and the foundation of generalized differential geometry: the simplified algebra. Matemática Contemporânea. Rio de Janeiro: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2023/12/56-Article-5.pdf. Acesso em: 13 jul. 2025. , 2023

    • APA

      Juriaans, O. S., & Oliveira, J. da S. (2023). Fixed point theorems for hypersequences and the foundation of generalized differential geometry: the simplified algebra. Matemática Contemporânea. Rio de Janeiro: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2023/12/56-Article-5.pdf

    • NLM

      Juriaans OS, Oliveira J da S. Fixed point theorems for hypersequences and the foundation of generalized differential geometry: the simplified algebra [Internet]. Matemática Contemporânea. 2023 ; 56 71-110.[citado 2025 jul. 13 ] Available from: https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2023/12/56-Article-5.pdf

    • Vancouver

      Juriaans OS, Oliveira J da S. Fixed point theorems for hypersequences and the foundation of generalized differential geometry: the simplified algebra [Internet]. Matemática Contemporânea. 2023 ; 56 71-110.[citado 2025 jul. 13 ] Available from: https://mc.sbm.org.br/wp-content/uploads/sites/9/sites/9/2023/12/56-Article-5.pdf

  • Trabalho de evento-anais periodico

    A formação do professor que ensina matemática na perspectiva de práticas interculturais: povos originários, quilombolas e do campo (2023)

    Virgens, Wellington Pereira das ; Sousa, Maria do Carmo de ; Valle, Júlio César Augusto do

    Source: Revista de Educação Matemática. Conference titles: Fórum Paulista de Formação de Professores que Ensinam Matemática. Unidade: IME

    Subjects: FORMAÇÃO DE PROFESSORES, EDUCAÇÃO MATEMÁTICA, EDUCAÇÃO INCLUSIVA, QUILOMBOLAS, RELAÇÕES ÉTNICAS E RACIAIS

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

    • ABNT

      VIRGENS, Wellington Pereira das e SOUSA, Maria do Carmo de e VALLE, Júlio César Augusto do. A formação do professor que ensina matemática na perspectiva de práticas interculturais: povos originários, quilombolas e do campo. Revista de Educação Matemática. São Carlos: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.37001/remat25269062v20id370. Acesso em: 13 jul. 2025. , 2023

    • APA

      Virgens, W. P. das, Sousa, M. do C. de, & Valle, J. C. A. do. (2023). A formação do professor que ensina matemática na perspectiva de práticas interculturais: povos originários, quilombolas e do campo. Revista de Educação Matemática. São Carlos: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.37001/remat25269062v20id370

    • NLM

      Virgens WP das, Sousa M do C de, Valle JCA do. A formação do professor que ensina matemática na perspectiva de práticas interculturais: povos originários, quilombolas e do campo [Internet]. Revista de Educação Matemática. 2023 ; 20 ed. es.[citado 2025 jul. 13 ] Available from: https://doi.org/10.37001/remat25269062v20id370

    • Vancouver

      Virgens WP das, Sousa M do C de, Valle JCA do. A formação do professor que ensina matemática na perspectiva de práticas interculturais: povos originários, quilombolas e do campo [Internet]. Revista de Educação Matemática. 2023 ; 20 ed. es.[citado 2025 jul. 13 ] Available from: https://doi.org/10.37001/remat25269062v20id370

1 - 20 (373 records)

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