ReP USP - Resultado da busca

Trabalho de evento
An efficient algorithm to add up-links to a rooted tree to obtain a minimum cost 2-connected graph (2024)
Azevedo, Gabriel Morete de ; Wakabayashi, Yoshiko
Fonte: Anais. Nome do evento: Encontro de Teori a da Computação - ETC 2024. Unidade: IME
Assuntos: TEORIA DA COMPUTAÇÃO, COMBINATÓRIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
AZEVEDO, Gabriel Morete de e WAKABAYASHI, Yoshiko. An efficient algorithm to add up-links to a rooted tree to obtain a minimum cost 2-connected graph. 2024, Anais.. Porto Alegre: Instituto de Matemática e Estatística, Universidade de São Paulo, 2024. Disponível em: https://doi.org/10.5753/etc.2024.2500. Acesso em: 24 set. 2024.
APA
Azevedo, G. M. de, & Wakabayashi, Y. (2024). An efficient algorithm to add up-links to a rooted tree to obtain a minimum cost 2-connected graph. In Anais. Porto Alegre: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.5753/etc.2024.2500
NLM
Azevedo GM de, Wakabayashi Y. An efficient algorithm to add up-links to a rooted tree to obtain a minimum cost 2-connected graph [Internet]. Anais. 2024 ;[citado 2024 set. 24 ] Available from: https://doi.org/10.5753/etc.2024.2500
Vancouver
Azevedo GM de, Wakabayashi Y. An efficient algorithm to add up-links to a rooted tree to obtain a minimum cost 2-connected graph [Internet]. Anais. 2024 ;[citado 2024 set. 24 ] Available from: https://doi.org/10.5753/etc.2024.2500
Artigo de periodico-carta/editorial
Guest editorial: special issue on theoretical informatics (2023)
Kohayakawa, Yoshiharu ; Miyazawa, Flavio Keidi
Fonte: Algorithmica. Unidade: IME
Assuntos: EDITORIAL, TEORIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KOHAYAKAWA, Yoshiharu e MIYAZAWA, Flavio Keidi. Guest editorial: special issue on theoretical informatics. Algorithmica. New York: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s00453-023-01101-7. Acesso em: 24 set. 2024. , 2023
APA
Kohayakawa, Y., & Miyazawa, F. K. (2023). Guest editorial: special issue on theoretical informatics. Algorithmica. New York: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s00453-023-01101-7
NLM
Kohayakawa Y, Miyazawa FK. Guest editorial: special issue on theoretical informatics [Internet]. Algorithmica. 2023 ; 85( 8): 2482-2484.[citado 2024 set. 24 ] Available from: https://doi.org/10.1007/s00453-023-01101-7
Vancouver
Kohayakawa Y, Miyazawa FK. Guest editorial: special issue on theoretical informatics [Internet]. Algorithmica. 2023 ; 85( 8): 2482-2484.[citado 2024 set. 24 ] Available from: https://doi.org/10.1007/s00453-023-01101-7
Dissertação (Mestrado)
Uma conjectura de Erdos e Hajnal (2023)
Enju, Rodrigo Aparecido; Kohayakawa, Yoshiharu (Orientador)
Unidade: IME
Assunto: TEORIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ENJU, Rodrigo Aparecido. Uma conjectura de Erdos e Hajnal. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-15032023-190119/. Acesso em: 24 set. 2024.
APA
Enju, R. A. (2023). Uma conjectura de Erdos e Hajnal (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-15032023-190119/
NLM
Enju RA. Uma conjectura de Erdos e Hajnal [Internet]. 2023 ;[citado 2024 set. 24 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-15032023-190119/
Vancouver
Enju RA. Uma conjectura de Erdos e Hajnal [Internet]. 2023 ;[citado 2024 set. 24 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-15032023-190119/
Artigo de periodico
Improved NP-hardness results for the minimum t-spanner problem on bounded-degree graphs (2023)
Gómez, Renzo ; Miyazawa, Flavio Keidi ; Wakabayashi, Yoshiko
Fonte: Theoretical Computer Science. Unidade: IME
Assuntos: TEORIA DOS GRAFOS, TEORIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GÓMEZ, Renzo e MIYAZAWA, Flavio Keidi e WAKABAYASHI, Yoshiko. Improved NP-hardness results for the minimum t-spanner problem on bounded-degree graphs. Theoretical Computer Science, v. 947, n. artigo 113691, p. 1-13, 2023Tradução . . Disponível em: https://doi.org/10.1016/j.tcs.2023.113691. Acesso em: 24 set. 2024.
APA
Gómez, R., Miyazawa, F. K., & Wakabayashi, Y. (2023). Improved NP-hardness results for the minimum t-spanner problem on bounded-degree graphs. Theoretical Computer Science, 947( artigo 113691), 1-13. doi:10.1016/j.tcs.2023.113691
NLM
Gómez R, Miyazawa FK, Wakabayashi Y. Improved NP-hardness results for the minimum t-spanner problem on bounded-degree graphs [Internet]. Theoretical Computer Science. 2023 ; 947( artigo 113691): 1-13.[citado 2024 set. 24 ] Available from: https://doi.org/10.1016/j.tcs.2023.113691
Vancouver
Gómez R, Miyazawa FK, Wakabayashi Y. Improved NP-hardness results for the minimum t-spanner problem on bounded-degree graphs [Internet]. Theoretical Computer Science. 2023 ; 947( artigo 113691): 1-13.[citado 2024 set. 24 ] Available from: https://doi.org/10.1016/j.tcs.2023.113691
Artigo de periodico
A tight lower bound for the online bounded space hypercube bin packing problem (2021)
Kohayakawa, Yoshiharu ; Miyazawa, Flavio Keidi ; Wakabayashi, Yoshiko
Fonte: Discrete Mathematics & Theoretical Computer Science. Unidade: IME
Assuntos: TEORIA DA COMPUTAÇÃO, ALGORITMOS DE APROXIMAÇÃO, EMPACOTAMENTO E COBERTURA, COMBINATÓRIA PROBABILÍSTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KOHAYAKAWA, Yoshiharu e MIYAZAWA, Flavio Keidi e WAKABAYASHI, Yoshiko. A tight lower bound for the online bounded space hypercube bin packing problem. Discrete Mathematics & Theoretical Computer Science, v. 23, n. 3, p. 1-13, 2021Tradução . . Disponível em: https://doi.org/10.46298/dmtcs.8325. Acesso em: 24 set. 2024.
APA
Kohayakawa, Y., Miyazawa, F. K., & Wakabayashi, Y. (2021). A tight lower bound for the online bounded space hypercube bin packing problem. Discrete Mathematics & Theoretical Computer Science, 23( 3), 1-13. doi:10.46298/dmtcs.8325
NLM
Kohayakawa Y, Miyazawa FK, Wakabayashi Y. A tight lower bound for the online bounded space hypercube bin packing problem [Internet]. Discrete Mathematics & Theoretical Computer Science. 2021 ; 23( 3): 1-13.[citado 2024 set. 24 ] Available from: https://doi.org/10.46298/dmtcs.8325
Vancouver
Kohayakawa Y, Miyazawa FK, Wakabayashi Y. A tight lower bound for the online bounded space hypercube bin packing problem [Internet]. Discrete Mathematics & Theoretical Computer Science. 2021 ; 23( 3): 1-13.[citado 2024 set. 24 ] Available from: https://doi.org/10.46298/dmtcs.8325
Trabalho de evento-anais periodico
An efficient implementation of iterative partial transcription for the traveling salesman problem (2021)
Mukhopadhyay, Anirban; Whitley, Darrell; Tinós, Renato
Fonte: Proceedings GECCO '21. Nome do evento: The Genetic and Evolutionary Computation Conference (GECCO '21). Unidade: FFCLRP
Assuntos: TABELAS DE CONTINGÊNCIA, ALGORITMOS, TEORIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MUKHOPADHYAY, Anirban e WHITLEY, Darrell e TINÓS, Renato. An efficient implementation of iterative partial transcription for the traveling salesman problem. Proceedings GECCO '21. New York: ACM. Disponível em: https://doi.org/10.1145/3449639.3459368. Acesso em: 24 set. 2024. , 2021
APA
Mukhopadhyay, A., Whitley, D., & Tinós, R. (2021). An efficient implementation of iterative partial transcription for the traveling salesman problem. Proceedings GECCO '21. New York: ACM. doi:10.1145/3449639.3459368
NLM
Mukhopadhyay A, Whitley D, Tinós R. An efficient implementation of iterative partial transcription for the traveling salesman problem [Internet]. Proceedings GECCO '21. 2021 ;[citado 2024 set. 24 ] Available from: https://doi.org/10.1145/3449639.3459368
Vancouver
Mukhopadhyay A, Whitley D, Tinós R. An efficient implementation of iterative partial transcription for the traveling salesman problem [Internet]. Proceedings GECCO '21. 2021 ;[citado 2024 set. 24 ] Available from: https://doi.org/10.1145/3449639.3459368
Monografia/livro-ed/org
LATIN 2020: theoretical informatics (2020)
Kohayakawa, Yoshiharu (Editor) ; Miyazawa, Flavio Keidi (Editor)
Nome do evento: Latin American Symposium - LATIN. Unidade: IME
Assuntos: TEORIA DA COMPUTAÇÃO, COMBINATÓRIA, TEORIA DOS GRAFOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LATIN 2020: theoretical informatics. . Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-030-61792-9. Acesso em: 24 set. 2024. , 2020
APA
LATIN 2020: theoretical informatics. (2020). LATIN 2020: theoretical informatics. Cham: Springer. doi:10.1007/978-3-030-61792-9
NLM
LATIN 2020: theoretical informatics [Internet]. 2020 ;[citado 2024 set. 24 ] Available from: https://doi.org/10.1007/978-3-030-61792-9
Vancouver
LATIN 2020: theoretical informatics [Internet]. 2020 ;[citado 2024 set. 24 ] Available from: https://doi.org/10.1007/978-3-030-61792-9
Parte de monografia/livro-apres/pref/posf
We are very pleased to present this volume with the papers accepted to the 14th Latin American Theoretical INformatics Symposium. [Prefácio] (2020)
Kohayakawa, Yoshiharu (Prefácio) ; Miyazawa, Flavio Keidi (Prefácio)
Fonte: LATIN 2020 : theoretical informatics. Nome do evento: Latin American Symposium - LATIN. Unidade: IME
Assuntos: TEORIA DA COMPUTAÇÃO, COMBINATÓRIA, TEORIA DOS GRAFOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
We are very pleased to present this volume with the papers accepted to the 14th Latin American Theoretical INformatics Symposium. [Prefácio]. LATIN 2020 : theoretical informatics. Cham: Springer. Disponível em: https://repositorio.usp.br/directbitstream/b44adcbc-47ff-4f28-bb1e-7df7bf15a8a0/3016802.pdf. Acesso em: 24 set. 2024. , 2020
APA
We are very pleased to present this volume with the papers accepted to the 14th Latin American Theoretical INformatics Symposium. [Prefácio]. (2020). We are very pleased to present this volume with the papers accepted to the 14th Latin American Theoretical INformatics Symposium. [Prefácio]. LATIN 2020 : theoretical informatics. Cham: Springer. Recuperado de https://repositorio.usp.br/directbitstream/b44adcbc-47ff-4f28-bb1e-7df7bf15a8a0/3016802.pdf
NLM
We are very pleased to present this volume with the papers accepted to the 14th Latin American Theoretical INformatics Symposium. [Prefácio] [Internet]. LATIN 2020 : theoretical informatics. 2020 ;[citado 2024 set. 24 ] Available from: https://repositorio.usp.br/directbitstream/b44adcbc-47ff-4f28-bb1e-7df7bf15a8a0/3016802.pdf
Vancouver
We are very pleased to present this volume with the papers accepted to the 14th Latin American Theoretical INformatics Symposium. [Prefácio] [Internet]. LATIN 2020 : theoretical informatics. 2020 ;[citado 2024 set. 24 ] Available from: https://repositorio.usp.br/directbitstream/b44adcbc-47ff-4f28-bb1e-7df7bf15a8a0/3016802.pdf
Artigo de periodico
On some extremal results for order types (2019)
Han, Jie ; Kohayakawa, Yoshiharu ; Sales, Marcelo Tadeu; Stagni, Henrique
Fonte: Acta Mathematica Universitatis Comenianae. Unidade: IME
Assuntos: COMBINATÓRIA, TEORIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HAN, Jie et al. On some extremal results for order types. Acta Mathematica Universitatis Comenianae, v. 88, n. 3, p. 779-785, 2019Tradução . . Disponível em: http://www.iam.fmph.uniba.sk/amuc/ojs/index.php/amuc/article/view/1305. Acesso em: 24 set. 2024.
APA
Han, J., Kohayakawa, Y., Sales, M. T., & Stagni, H. (2019). On some extremal results for order types. Acta Mathematica Universitatis Comenianae, 88( 3), 779-785. Recuperado de http://www.iam.fmph.uniba.sk/amuc/ojs/index.php/amuc/article/view/1305
NLM
Han J, Kohayakawa Y, Sales MT, Stagni H. On some extremal results for order types [Internet]. Acta Mathematica Universitatis Comenianae. 2019 ; 88( 3): 779-785.[citado 2024 set. 24 ] Available from: http://www.iam.fmph.uniba.sk/amuc/ojs/index.php/amuc/article/view/1305
Vancouver
Han J, Kohayakawa Y, Sales MT, Stagni H. On some extremal results for order types [Internet]. Acta Mathematica Universitatis Comenianae. 2019 ; 88( 3): 779-785.[citado 2024 set. 24 ] Available from: http://www.iam.fmph.uniba.sk/amuc/ojs/index.php/amuc/article/view/1305
Artigo de periodico
The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws (2019)
Cozman, Fabio Gagliardi ; Mauá, Denis Deratani
Fonte: International Journal of Approximate Reasoning. Unidades: EP, IME
Assuntos: TEORIA DA COMPUTAÇÃO, TEORIA DOS MODELOS, AQUISIÇÃO DE CONHECIMENTO, LÓGICA MATEMÁTICA
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 network specifications: Descriptive complexity and zero/one laws. International Journal of Approximate Reasoning, v. 110, p. 107-126, 2019Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2019.04.003. Acesso em: 24 set. 2024.
APA
Cozman, F. G., & Mauá, D. D. (2019). The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws. International Journal of Approximate Reasoning, 110, 107-126. doi:10.1016/j.ijar.2019.04.003
NLM
Cozman FG, Mauá DD. The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws [Internet]. International Journal of Approximate Reasoning. 2019 ; 110 107-126.[citado 2024 set. 24 ] Available from: https://doi.org/10.1016/j.ijar.2019.04.003
Vancouver
Cozman FG, Mauá DD. The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws [Internet]. International Journal of Approximate Reasoning. 2019 ; 110 107-126.[citado 2024 set. 24 ] Available from: https://doi.org/10.1016/j.ijar.2019.04.003
Trabalho de evento
Particle competition for multilayer network community detection (2019)
Gao, Xubo; Zheng, Qiusheng; Verri, Filipe Alves Neto ; Rodrigues, Rafael Delalibera ; Liang, Zhao
Fonte: Proceedings. Nome do evento: International Conference on Machine Learning and Computing - ICMLC. Unidades: FFCLRP, ICMC
Assuntos: TEORIA DA COMPUTAÇÃO, ALGORITMOS, APRENDIZADO COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GAO, Xubo et al. Particle competition for multilayer network community detection. 2019, Anais.. New York: ACM, 2019. Disponível em: https://doi.org/10.1145/3318299.3318320. Acesso em: 24 set. 2024.
APA
Gao, X., Zheng, Q., Verri, F. A. N., Rodrigues, R. D., & Liang, Z. (2019). Particle competition for multilayer network community detection. In Proceedings. New York: ACM. doi:10.1145/3318299.3318320
NLM
Gao X, Zheng Q, Verri FAN, Rodrigues RD, Liang Z. Particle competition for multilayer network community detection [Internet]. Proceedings. 2019 ;[citado 2024 set. 24 ] Available from: https://doi.org/10.1145/3318299.3318320
Vancouver
Gao X, Zheng Q, Verri FAN, Rodrigues RD, Liang Z. Particle competition for multilayer network community detection [Internet]. Proceedings. 2019 ;[citado 2024 set. 24 ] Available from: https://doi.org/10.1145/3318299.3318320
Trabalho de evento
A parallel algorithm for minimum spanning tree on GPU (2017)
Vasconcellos, Jucele Franca de Alencar; Caceres, Edson Norberto; Mongelli, Henrique; Song, Siang Wun
Fonte: Proceedings. Nome do evento: International Symposium on Computer Architecture and High Performance Computing Workshops. Unidade: IME
Assuntos: TEORIA DA COMPUTAÇÃO, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VASCONCELLOS, Jucele Franca de Alencar et al. A parallel algorithm for minimum spanning tree on GPU. 2017, Anais.. Los Alamitos: IEEE, 2017. Disponível em: https://doi.org/10.1109/SBAC-PADW.2017.20. Acesso em: 24 set. 2024.
APA
Vasconcellos, J. F. de A., Caceres, E. N., Mongelli, H., & Song, S. W. (2017). A parallel algorithm for minimum spanning tree on GPU. In Proceedings. Los Alamitos: IEEE. doi:10.1109/SBAC-PADW.2017.20
NLM
Vasconcellos JF de A, Caceres EN, Mongelli H, Song SW. A parallel algorithm for minimum spanning tree on GPU [Internet]. Proceedings. 2017 ;[citado 2024 set. 24 ] Available from: https://doi.org/10.1109/SBAC-PADW.2017.20
Vancouver
Vasconcellos JF de A, Caceres EN, Mongelli H, Song SW. A parallel algorithm for minimum spanning tree on GPU [Internet]. Proceedings. 2017 ;[citado 2024 set. 24 ] Available from: https://doi.org/10.1109/SBAC-PADW.2017.20
Artigo de periodico
The use of quadratic regularization with a cubic descent condition for unconstrained optimization (2017)
Birgin, Ernesto Julian Goldberg ; Martinez, Jose Mario
Fonte: SIAM Journal on Optimization. Unidade: IME
Assuntos: PESQUISA OPERACIONAL, PROGRAMAÇÃO MATEMÁTICA, CÁLCULO DE VARIAÇÕES, CONTROLE ÓTIMO, MÉTODOS NUMÉRICOS, PROGRAMAÇÃO NÃO LINEAR, ANÁLISE NUMÉRICA, CIÊNCIA DA COMPUTAÇÃO, TEORIA DA COMPUTAÇÃO, OTIMIZAÇÃO IRRESTRITA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BIRGIN, Ernesto Julian Goldberg e MARTINEZ, Jose Mario. The use of quadratic regularization with a cubic descent condition for unconstrained optimization. SIAM Journal on Optimization, v. 27, n. 2, p. 1049-1074, 2017Tradução . . Disponível em: https://doi.org/10.1137/16m110280x. Acesso em: 24 set. 2024.
APA
Birgin, E. J. G., & Martinez, J. M. (2017). The use of quadratic regularization with a cubic descent condition for unconstrained optimization. SIAM Journal on Optimization, 27( 2), 1049-1074. doi:10.1137/16m110280x
NLM
Birgin EJG, Martinez JM. The use of quadratic regularization with a cubic descent condition for unconstrained optimization [Internet]. SIAM Journal on Optimization. 2017 ; 27( 2): 1049-1074.[citado 2024 set. 24 ] Available from: https://doi.org/10.1137/16m110280x
Vancouver
Birgin EJG, Martinez JM. The use of quadratic regularization with a cubic descent condition for unconstrained optimization [Internet]. SIAM Journal on Optimization. 2017 ; 27( 2): 1049-1074.[citado 2024 set. 24 ] Available from: https://doi.org/10.1137/16m110280x
Artigo de periodico
The effect of combination functions on the complexity of relational Bayesian networks (2017)
Mauá, Denis Deratani ; Cozman, Fabio Gagliardi
Fonte: International Journal of Approximate Reasoning. Unidades: IME, EP
Assuntos: CIÊNCIA DA COMPUTAÇÃO, TEORIA DA COMPUTAÇÃO, ANÁLISE DE ALGORITMOS, ESTATÍSTICA, ANÁLISE MULTIVARIADA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MAUÁ, Denis Deratani e COZMAN, Fabio Gagliardi. The effect of combination functions on the complexity of relational Bayesian networks. International Journal of Approximate Reasoning, v. 85, p. 178-195, 2017Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2017.03.014. Acesso em: 24 set. 2024.
APA
Mauá, D. D., & Cozman, F. G. (2017). The effect of combination functions on the complexity of relational Bayesian networks. International Journal of Approximate Reasoning, 85, 178-195. doi:10.1016/j.ijar.2017.03.014
NLM
Mauá DD, Cozman FG. The effect of combination functions on the complexity of relational Bayesian networks [Internet]. International Journal of Approximate Reasoning. 2017 ; 85 178-195.[citado 2024 set. 24 ] Available from: https://doi.org/10.1016/j.ijar.2017.03.014
Vancouver
Mauá DD, Cozman FG. The effect of combination functions on the complexity of relational Bayesian networks [Internet]. International Journal of Approximate Reasoning. 2017 ; 85 178-195.[citado 2024 set. 24 ] Available from: https://doi.org/10.1016/j.ijar.2017.03.014
Trabalho de evento
Número de Ramsey relativo a arestas de potências de caminhos (2017)
Clemens, Dennis; Jenssen, Matthew; Kohayakawa, Yoshiharu ; Morrison, Natasha; Mota, Guilherme Oliveira; Reding, Damian; Roberts, Barnaby
Fonte: Anais. Nome do evento: Congresso da Sociedade Brasileira de Computação - CSBC. Unidade: IME
Assuntos: TEORIA DA COMPUTAÇÃO, GRAFOS ALEATÓRIOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CLEMENS, Dennis et al. Número de Ramsey relativo a arestas de potências de caminhos. 2017, Anais.. São Paulo: Sociedade Brasileira de Computação, 2017. Disponível em: https://doi.org/10.5753/etc.2017.3198. Acesso em: 24 set. 2024.
APA
Clemens, D., Jenssen, M., Kohayakawa, Y., Morrison, N., Mota, G. O., Reding, D., & Roberts, B. (2017). Número de Ramsey relativo a arestas de potências de caminhos. In Anais. São Paulo: Sociedade Brasileira de Computação. doi:10.5753/etc.2017.3198
NLM
Clemens D, Jenssen M, Kohayakawa Y, Morrison N, Mota GO, Reding D, Roberts B. Número de Ramsey relativo a arestas de potências de caminhos [Internet]. Anais. 2017 ;[citado 2024 set. 24 ] Available from: https://doi.org/10.5753/etc.2017.3198
Vancouver
Clemens D, Jenssen M, Kohayakawa Y, Morrison N, Mota GO, Reding D, Roberts B. Número de Ramsey relativo a arestas de potências de caminhos [Internet]. Anais. 2017 ;[citado 2024 set. 24 ] Available from: https://doi.org/10.5753/etc.2017.3198
Trabalho de evento
Towards MC/DC coverage of properties specification patterns (2016)
Melo, Ana Cristina Vieira de; Pasareanu, Corina S; Hanazumi , Simone
Fonte: Proceedings. Nome do evento: International Colloquium on Theoretical Aspects of Computing - ICTAC. Unidade: IME
Assuntos: DESENVOLVIMENTO DE SOFTWARE, TEORIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Ana Cristina Vieira de e PASAREANU, Corina S e HANAZUMI , Simone. Towards MC/DC coverage of properties specification patterns. 2016, Anais.. Cham: Springer, 2016. Disponível em: https://doi.org/10.1007/978-3-319-46750-4_10. Acesso em: 24 set. 2024.
APA
Melo, A. C. V. de, Pasareanu, C. S., & Hanazumi , S. (2016). Towards MC/DC coverage of properties specification patterns. In Proceedings. Cham: Springer. doi:10.1007/978-3-319-46750-4_10
NLM
Melo ACV de, Pasareanu CS, Hanazumi S. Towards MC/DC coverage of properties specification patterns [Internet]. Proceedings. 2016 ;[citado 2024 set. 24 ] Available from: https://doi.org/10.1007/978-3-319-46750-4_10
Vancouver
Melo ACV de, Pasareanu CS, Hanazumi S. Towards MC/DC coverage of properties specification patterns [Internet]. Proceedings. 2016 ;[citado 2024 set. 24 ] Available from: https://doi.org/10.1007/978-3-319-46750-4_10
Monografia/livro-ed/org
Jornadas de atualização em informática 2016 (2016)
Maldonado, José Carlos (Organizador) ; Viterbo, José (Organizador); Delamaro, Márcio Eduardo (Organizador) ; Marczak, Sabrina (Organizador)
Unidade: ICMC
Assuntos: INFORMÁTICA, TEORIA DA COMPUTAÇÃO, INTERAÇÃO USUÁRIO-COMPUTADOR, BANCO DE DADOS, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Jornadas de atualização em informática 2016. . Porto Alegre: SBC. Disponível em: https://doi.org/10.5753/sbc.6. Acesso em: 24 set. 2024. , 2016
APA
Jornadas de atualização em informática 2016. (2016). Jornadas de atualização em informática 2016. Porto Alegre: SBC. doi:10.5753/sbc.6
NLM
Jornadas de atualização em informática 2016 [Internet]. 2016 ;[citado 2024 set. 24 ] Available from: https://doi.org/10.5753/sbc.6
Vancouver
Jornadas de atualização em informática 2016 [Internet]. 2016 ;[citado 2024 set. 24 ] Available from: https://doi.org/10.5753/sbc.6
Dissertação (Mestrado)
Teste de propriedades em torneios (2015)
Stagni, Henrique ; Kohayakawa, Yoshiharu (Orientador)
Unidade: IME
Assuntos: COMBINATÓRIA PROBABILÍSTICA, TEORIA DA COMPUTAÇÃO, ALGORITMOS E ESTRUTURAS DE DADOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STAGNI, Henrique. Teste de propriedades em torneios. 2015. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2015. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21072015-112930. Acesso em: 24 set. 2024.
APA
Stagni, H. (2015). Teste de propriedades em torneios (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21072015-112930
NLM
Stagni H. Teste de propriedades em torneios [Internet]. 2015 ;[citado 2024 set. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21072015-112930
Vancouver
Stagni H. Teste de propriedades em torneios [Internet]. 2015 ;[citado 2024 set. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21072015-112930
Dissertação (Mestrado)
Protocolo de identificação baseado em polinônios multivariáveis quadráticos (2012)
Monteiro, Fabio de Salles; Terada, Routo (Orientador)
Unidade: IME
Assunto: TEORIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MONTEIRO, Fabio de Salles. Protocolo de identificação baseado em polinônios multivariáveis quadráticos. 2012. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032013-104154. Acesso em: 24 set. 2024.
APA
Monteiro, F. de S. (2012). Protocolo de identificação baseado em polinônios multivariáveis quadráticos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032013-104154
NLM
Monteiro F de S. Protocolo de identificação baseado em polinônios multivariáveis quadráticos [Internet]. 2012 ;[citado 2024 set. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032013-104154
Vancouver
Monteiro F de S. Protocolo de identificação baseado em polinônios multivariáveis quadráticos [Internet]. 2012 ;[citado 2024 set. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032013-104154
Tese (Doutorado)
Computabilidade e limites da matemáticadas teorias físicas: aplicações em sistemas elétricos de potência (2011)
Slaughter Nyimi, Douglas Ricardo; Grimoni, José Aquiles Baesso (Orientador)
Unidade: EP
Assuntos: SISTEMAS ELÉTRICOS DE POTÊNCIA, SISTEMAS DE CONTROLE, TEORIA DA COMPUTAÇÃO, TEORIA DO CAOS, FÍSICA MATEMÁTICA, MATEMÁTICA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SLAUGHTER NYIMI, Douglas Ricardo. Computabilidade e limites da matemáticadas teorias físicas: aplicações em sistemas elétricos de potência. 2011. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3143/tde-09122011-101051/. Acesso em: 24 set. 2024.
APA
Slaughter Nyimi, D. R. (2011). Computabilidade e limites da matemáticadas teorias físicas: aplicações em sistemas elétricos de potência (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3143/tde-09122011-101051/
NLM
Slaughter Nyimi DR. Computabilidade e limites da matemáticadas teorias físicas: aplicações em sistemas elétricos de potência [Internet]. 2011 ;[citado 2024 set. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3143/tde-09122011-101051/
Vancouver
Slaughter Nyimi DR. Computabilidade e limites da matemáticadas teorias físicas: aplicações em sistemas elétricos de potência [Internet]. 2011 ;[citado 2024 set. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3143/tde-09122011-101051/

Unidades USP

ReP

Filtros

Tipo de material

Departamento

Autores

Autores USP

Ano de publicação

Assuntos

Título da fonte

Editora

Nome do evento

País de publicação

Agência de fomento

Indexado em

Afiliação dos autores externos normalizada

Afiliação dos autores externos não normalizada

País das instituições de afiliação dos autores externos