ReP USP - Resultado da busca

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
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: 22 set. 2023. , 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 2023 set. 22 ] 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 2023 set. 22 ] Available from: https://doi.org/10.1007/s00521-021-06615-1
Trabalho de evento-anais periodico
Leafy spanning arborescences in DAGs (2022)
Fernandes, Cristina Gomes ; Lintzmayer, Carla Negri
Source: Discrete Applied Mathematics. Conference titles: Latin and American Algorithms, Graphs, and Optimization Symposium - LAGOS. Unidade: IME
Subjects: TEORIA DOS GRAFOS, ALGORITMOS E ESTRUTURAS DE DADOS, ALGORITMOS DE APROXIMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERNANDES, Cristina Gomes e LINTZMAYER, Carla Negri. Leafy spanning arborescences in DAGs. Discrete Applied Mathematics. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1016/j.dam.2021.06.018. Acesso em: 22 set. 2023. , 2022
APA
Fernandes, C. G., & Lintzmayer, C. N. (2022). Leafy spanning arborescences in DAGs. Discrete Applied Mathematics. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/j.dam.2021.06.018
NLM
Fernandes CG, Lintzmayer CN. Leafy spanning arborescences in DAGs [Internet]. Discrete Applied Mathematics. 2022 ; 323 217-227.[citado 2023 set. 22 ] Available from: https://doi.org/10.1016/j.dam.2021.06.018
Vancouver
Fernandes CG, Lintzmayer CN. Leafy spanning arborescences in DAGs [Internet]. Discrete Applied Mathematics. 2022 ; 323 217-227.[citado 2023 set. 22 ] Available from: https://doi.org/10.1016/j.dam.2021.06.018
Trabalho de evento-anais periodico
On the order theory of C-infinity-reduced C-infinity-rings and applications (2022)
Berni, Jean Cerqueira ; Figueiredo, Rodrigo ; Mariano, Hugo Luiz
Source: Journal of Applied Logics - IFCOLOG Journal of Lofics and their Applications. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Assunto: ANÉIS E ÁLGEBRAS ASSOCIATIVOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BERNI, Jean Cerqueira e FIGUEIREDO, Rodrigo e MARIANO, Hugo Luiz. On the order theory of C-infinity-reduced C-infinity-rings and applications. Journal of Applied Logics - IFCOLOG Journal of Lofics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf. Acesso em: 22 set. 2023. , 2022
APA
Berni, J. C., Figueiredo, R., & Mariano, H. L. (2022). On the order theory of C-infinity-reduced C-infinity-rings and applications. Journal of Applied Logics - IFCOLOG Journal of Lofics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf
NLM
Berni JC, Figueiredo R, Mariano HL. On the order theory of C-infinity-reduced C-infinity-rings and applications [Internet]. Journal of Applied Logics - IFCOLOG Journal of Lofics and their Applications. 2022 ; 9( 1): 93-134.[citado 2023 set. 22 ] Available from: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf
Vancouver
Berni JC, Figueiredo R, Mariano HL. On the order theory of C-infinity-reduced C-infinity-rings and applications [Internet]. Journal of Applied Logics - IFCOLOG Journal of Lofics and their Applications. 2022 ; 9( 1): 93-134.[citado 2023 set. 22 ] Available from: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf
Trabalho de evento-anais periodico
UlyssesNER-Br: a corpus of brazilian legislative documents for named entity recognition (2022)
Albuquerque, Hidelberg Oliveira ; Costa, Rosimeire ; Silvestre, Gabriel Dalforno ; Souza, Ellen Polliana Ramos ; Silva, Nádia Felix Felipe da ; Vitório, Douglas ; Moriyama, Gyovana ; Martins, Lucas ; Soezima, Luiza ; Nunes, Augusto ; Siqueira, Felipe Alves ; Tarrega, João Pedro Mantovani ; Beinotti, João Vitor Pataca ; Dias, Márcio de Souza ; Silva, Matheus ; Gardini, Miguel ; Silva, Vinicius Adolfo Pereira da ; Carvalho, Andre Carlos Ponce de Leon Ferreira de ; Oliveira, Adriano Lorena Inacio de
Source: Lecture Notes in Artificial Intelligence. Conference titles: International Conference on Computational Processing of the Portuguese Language - PROPOR. Unidades: ICMC, EESC E ICMC, IME, EESC
Subjects: RECONHECIMENTO DE TEXTO, PROCESSAMENTO DE LINGUAGEM NATURAL, RECUPERAÇÃO DA INFORMAÇÃO, TRATAMENTO AUTOMÁTICO DE TEXTOS E DISCURSOS, CORPUS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALBUQUERQUE, Hidelberg Oliveira et al. UlyssesNER-Br: a corpus of brazilian legislative documents for named entity recognition. Lecture Notes in Artificial Intelligence. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-030-98305-5_1. Acesso em: 22 set. 2023. , 2022
APA
Albuquerque, H. O., Costa, R., Silvestre, G. D., Souza, E. P. R., Silva, N. F. F. da, Vitório, D., et al. (2022). UlyssesNER-Br: a corpus of brazilian legislative documents for named entity recognition. Lecture Notes in Artificial Intelligence. Cham: Springer. doi:10.1007/978-3-030-98305-5_1
NLM
Albuquerque HO, Costa R, Silvestre GD, Souza EPR, Silva NFF da, Vitório D, Moriyama G, Martins L, Soezima L, Nunes A, Siqueira FA, Tarrega JPM, Beinotti JVP, Dias M de S, Silva M, Gardini M, Silva VAP da, Carvalho ACP de LF de, Oliveira ALI de. UlyssesNER-Br: a corpus of brazilian legislative documents for named entity recognition [Internet]. Lecture Notes in Artificial Intelligence. 2022 ; 13208 3-14.[citado 2023 set. 22 ] Available from: https://doi.org/10.1007/978-3-030-98305-5_1
Vancouver
Albuquerque HO, Costa R, Silvestre GD, Souza EPR, Silva NFF da, Vitório D, Moriyama G, Martins L, Soezima L, Nunes A, Siqueira FA, Tarrega JPM, Beinotti JVP, Dias M de S, Silva M, Gardini M, Silva VAP da, Carvalho ACP de LF de, Oliveira ALI de. UlyssesNER-Br: a corpus of brazilian legislative documents for named entity recognition [Internet]. Lecture Notes in Artificial Intelligence. 2022 ; 13208 3-14.[citado 2023 set. 22 ] Available from: https://doi.org/10.1007/978-3-030-98305-5_1
Trabalho de evento-anais periodico
Induced morphisms between Heyting-valued models (2022)
Alvim, José Goudet ; Cahali, Arthur Francisco Schwerz ; Mariano, Hugo Luiz
Source: Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Assunto: MATEMÁTICA APLICADA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALVIM, José Goudet e CAHALI, Arthur Francisco Schwerz e MARIANO, Hugo Luiz. Induced morphisms between Heyting-valued models. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://collegepublications.co.uk/ifcolog/?00053. Acesso em: 22 set. 2023. , 2022
APA
Alvim, J. G., Cahali, A. F. S., & Mariano, H. L. (2022). Induced morphisms between Heyting-valued models. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://collegepublications.co.uk/ifcolog/?00053
NLM
Alvim JG, Cahali AFS, Mariano HL. Induced morphisms between Heyting-valued models [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 5-40.[citado 2023 set. 22 ] Available from: https://collegepublications.co.uk/ifcolog/?00053
Vancouver
Alvim JG, Cahali AFS, Mariano HL. Induced morphisms between Heyting-valued models [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 5-40.[citado 2023 set. 22 ] Available from: https://collegepublications.co.uk/ifcolog/?00053
Trabalho de evento-anais periodico
Study of the influence of wood mechanical properties variability on the sound synthesis of a simplified string instrument (2022)
Paiva, Guilherme Orelli ; Queiroz, Marcelo Gomes de ; Machado, Marcela R.
Source: Mechanisms and Machine Science. Conference titles: International Conference on Wave Mechanics and Vibrations - WMVC. Unidade: IME
Subjects: INSTRUMENTOS MUSICAIS, SINTESE DO SOM, COMPUTAÇÃO MUSICAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PAIVA, Guilherme Orelli e QUEIROZ, Marcelo Gomes de e MACHADO, Marcela R. Study of the influence of wood mechanical properties variability on the sound synthesis of a simplified string instrument. Mechanisms and Machine Science. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/978-3-031-15758-5_92. Acesso em: 22 set. 2023. , 2022
APA
Paiva, G. O., Queiroz, M. G. de, & Machado, M. R. (2022). Study of the influence of wood mechanical properties variability on the sound synthesis of a simplified string instrument. Mechanisms and Machine Science. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/978-3-031-15758-5_92
NLM
Paiva GO, Queiroz MG de, Machado MR. Study of the influence of wood mechanical properties variability on the sound synthesis of a simplified string instrument [Internet]. Mechanisms and Machine Science. 2022 ; 125 890–899.[citado 2023 set. 22 ] Available from: https://doi.org/10.1007/978-3-031-15758-5_92
Vancouver
Paiva GO, Queiroz MG de, Machado MR. Study of the influence of wood mechanical properties variability on the sound synthesis of a simplified string instrument [Internet]. Mechanisms and Machine Science. 2022 ; 125 890–899.[citado 2023 set. 22 ] Available from: https://doi.org/10.1007/978-3-031-15758-5_92
Trabalho de evento-anais periodico
Horn-geometric axioms for faithfully quadratic rings (2022)
Ribeiro, Hugo Rafael de Oliveira; Mariano, Hugo Luiz
Source: Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: ANÉIS, FORMAS QUADRÁTICAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIBEIRO, Hugo Rafael de Oliveira e MARIANO, Hugo Luiz. Horn-geometric axioms for faithfully quadratic rings. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf. Acesso em: 22 set. 2023. , 2022
APA
Ribeiro, H. R. de O., & Mariano, H. L. (2022). Horn-geometric axioms for faithfully quadratic rings. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf
NLM
Ribeiro HR de O, Mariano HL. Horn-geometric axioms for faithfully quadratic rings [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 405-418.[citado 2023 set. 22 ] Available from: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf
Vancouver
Ribeiro HR de O, Mariano HL. Horn-geometric axioms for faithfully quadratic rings [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 405-418.[citado 2023 set. 22 ] Available from: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf
Trabalho de evento-anais periodico
Content-based lawsuits document image retrieval (2022)
Freire, Daniela Lopes ; Carvalho, Andre Carlos Ponce de Leon Ferreira de ; Feltran, Leonardo Carneiro ; Nagamatsu, Lara Ayumi; Silva, Kelly Cristina Ramos da ; Firmino, Claudemir ; Ferreira, João Eduardo ; Takecian, Pedro Losco ; Carlotti, Danilo Panzeri ; Lima, Francisco Antonio Cavalcanti ; Portela, Roberto Mendes
Source: Lecture Notes in Artificial Intelligence. Conference titles: Conference on Artificial Intelligence - EPIA. Unidades: ICMC, IME
Subjects: APRENDIZAGEM PROFUNDA, PROCESSAMENTO DE IMAGENS, RECONHECIMENTO DE IMAGEM, REDES NEURAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FREIRE, Daniela Lopes et al. Content-based lawsuits document image retrieval. Lecture Notes in Artificial Intelligence. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-031-16474-3_3. Acesso em: 22 set. 2023. , 2022
APA
Freire, D. L., Carvalho, A. C. P. de L. F. de, Feltran, L. C., Nagamatsu, L. A., Silva, K. C. R. da, Firmino, C., et al. (2022). Content-based lawsuits document image retrieval. Lecture Notes in Artificial Intelligence. Cham: Springer. doi:10.1007/978-3-031-16474-3_3
NLM
Freire DL, Carvalho ACP de LF de, Feltran LC, Nagamatsu LA, Silva KCR da, Firmino C, Ferreira JE, Takecian PL, Carlotti DP, Lima FAC, Portela RM. Content-based lawsuits document image retrieval [Internet]. Lecture Notes in Artificial Intelligence. 2022 ; 13566 29-40.[citado 2023 set. 22 ] Available from: https://doi.org/10.1007/978-3-031-16474-3_3
Vancouver
Freire DL, Carvalho ACP de LF de, Feltran LC, Nagamatsu LA, Silva KCR da, Firmino C, Ferreira JE, Takecian PL, Carlotti DP, Lima FAC, Portela RM. Content-based lawsuits document image retrieval [Internet]. Lecture Notes in Artificial Intelligence. 2022 ; 13566 29-40.[citado 2023 set. 22 ] Available from: https://doi.org/10.1007/978-3-031-16474-3_3
Trabalho de evento-anais periodico
Graph-based image segmentation with shape priors and band constraints (2022)
Braz, Caio de Moraes ; Santos, Luiz Felipe D.; 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
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRAZ, Caio de Moraes e SANTOS, Luiz Felipe D. e MIRANDA, Paulo André Vechiatto de. Graph-based image segmentation with shape priors and band constraints. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-031-19897-7_23. Acesso em: 22 set. 2023. , 2022
APA
Braz, C. de M., Santos, L. F. D., & Miranda, P. A. V. de. (2022). Graph-based image segmentation with shape priors and band constraints. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-031-19897-7_23
NLM
Braz C de M, Santos LFD, Miranda PAV de. Graph-based image segmentation with shape priors and band constraints [Internet]. Lecture Notes in Computer Science. 2022 ; 13493 287–299.[citado 2023 set. 22 ] Available from: https://doi.org/10.1007/978-3-031-19897-7_23
Vancouver
Braz C de M, Santos LFD, Miranda PAV de. Graph-based image segmentation with shape priors and band constraints [Internet]. Lecture Notes in Computer Science. 2022 ; 13493 287–299.[citado 2023 set. 22 ] Available from: https://doi.org/10.1007/978-3-031-19897-7_23
Trabalho de evento-anais periodico
Políticas aproximadas e parciais sensíveis a risco para o controle da propagação de doenças infecciosas (2022)
Pastor, Henrique Dias; Delgado, Karina Valdivia ; Silva, Valdinei Freire da ; Barros, Leliane Nunes de
Source: Proceedings of the 19th National Meeting of Artificial and Computational Intelligence. Conference titles: National Meeting of Artificial and Computational Intelligence. Unidades: EACH, IME
Subjects: RISCO, PROCESSOS DE MARKOV, MODELOS EPIDEMIOLOGICOS, POLÍTICA DE SAÚDE, VACINAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PASTOR, Henrique Dias et al. Políticas aproximadas e parciais sensíveis a risco para o controle da propagação de doenças infecciosas. Proceedings of the 19th National Meeting of Artificial and Computational Intelligence. Porto Alegre, RS: Sociedade Brasileira de Computação. Disponível em: http://dx.doi.org/10.5753/eniac.2022.227062. Acesso em: 22 set. 2023. , 2022
APA
Pastor, H. D., Delgado, K. V., Silva, V. F. da, & Barros, L. N. de. (2022). Políticas aproximadas e parciais sensíveis a risco para o controle da propagação de doenças infecciosas. Proceedings of the 19th National Meeting of Artificial and Computational Intelligence. Porto Alegre, RS: Sociedade Brasileira de Computação. doi:10.5753/eniac.2022.227062
NLM
Pastor HD, Delgado KV, Silva VF da, Barros LN de. Políticas aproximadas e parciais sensíveis a risco para o controle da propagação de doenças infecciosas [Internet]. Proceedings of the 19th National Meeting of Artificial and Computational Intelligence. 2022 ; 210-221.[citado 2023 set. 22 ] Available from: http://dx.doi.org/10.5753/eniac.2022.227062
Vancouver
Pastor HD, Delgado KV, Silva VF da, Barros LN de. Políticas aproximadas e parciais sensíveis a risco para o controle da propagação de doenças infecciosas [Internet]. Proceedings of the 19th National Meeting of Artificial and Computational Intelligence. 2022 ; 210-221.[citado 2023 set. 22 ] Available from: http://dx.doi.org/10.5753/eniac.2022.227062
Trabalho de evento-anais periodico
Anti-Ramsey threshold of cycles (2022)
Barros, Gabriel Ferreira; Cavalar, Bruno Pasqualotto ; Mota, Guilherme Oliveira ; Parczyk, Olaf
Source: Discrete Applied Mathematics. Conference titles: Latin and American Algorithms, Graphs, and Optimization Symposium - LAGOS. Unidade: IME
Assunto: TEORIA DOS GRAFOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BARROS, Gabriel Ferreira et al. Anti-Ramsey threshold of cycles. Discrete Applied Mathematics. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1016/j.dam.2021.10.021. Acesso em: 22 set. 2023. , 2022
APA
Barros, G. F., Cavalar, B. P., Mota, G. O., & Parczyk, O. (2022). Anti-Ramsey threshold of cycles. Discrete Applied Mathematics. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/j.dam.2021.10.021
NLM
Barros GF, Cavalar BP, Mota GO, Parczyk O. Anti-Ramsey threshold of cycles [Internet]. Discrete Applied Mathematics. 2022 ; 323 228-235.[citado 2023 set. 22 ] Available from: https://doi.org/10.1016/j.dam.2021.10.021
Vancouver
Barros GF, Cavalar BP, Mota GO, Parczyk O. Anti-Ramsey threshold of cycles [Internet]. Discrete Applied Mathematics. 2022 ; 323 228-235.[citado 2023 set. 22 ] Available from: https://doi.org/10.1016/j.dam.2021.10.021
Trabalho de evento-anais periodico
Differential oriented image foresting transform segmentation by seed competition (2022)
Condori, Marcos Ademir Tejada ; 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: COMPUTAÇÃO APLICADA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CONDORI, Marcos Ademir Tejada e MIRANDA, Paulo André Vechiatto de. Differential oriented image foresting transform segmentation by seed competition. Lecture Notes in Computer Science. Cham: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/978-3-031-19897-7_24. Acesso em: 22 set. 2023. , 2022
APA
Condori, M. A. T., & Miranda, P. A. V. de. (2022). Differential oriented image foresting transform segmentation by seed competition. Lecture Notes in Computer Science. Cham: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/978-3-031-19897-7_24
NLM
Condori MAT, Miranda PAV de. Differential oriented image foresting transform segmentation by seed competition [Internet]. Lecture Notes in Computer Science. 2022 ; 13493 300–311.[citado 2023 set. 22 ] Available from: https://doi.org/10.1007/978-3-031-19897-7_24
Vancouver
Condori MAT, Miranda PAV de. Differential oriented image foresting transform segmentation by seed competition [Internet]. Lecture Notes in Computer Science. 2022 ; 13493 300–311.[citado 2023 set. 22 ] Available from: https://doi.org/10.1007/978-3-031-19897-7_24
Trabalho de evento-anais periodico
On structuring functional programs with monoidal profunctors (2022)
Oliveira, Alexandre Garcia de; Jaskelioff, Mauro; Melo, Ana Cristina Vieira de
Source: Electronic Proceedings in Theoretical Computer Science. Conference titles: Workshop on Mathematically Structured Functional Programming - MSFP. Unidade: IME
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Alexandre Garcia de e JASKELIOFF, Mauro e MELO, Ana Cristina Vieira de. On structuring functional programs with monoidal profunctors. Electronic Proceedings in Theoretical Computer Science. Sydney: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7. Acesso em: 22 set. 2023. , 2022
APA
Oliveira, A. G. de, Jaskelioff, M., & Melo, A. C. V. de. (2022). On structuring functional programs with monoidal profunctors. Electronic Proceedings in Theoretical Computer Science. Sydney: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7
NLM
Oliveira AG de, Jaskelioff M, Melo ACV de. On structuring functional programs with monoidal profunctors [Internet]. Electronic Proceedings in Theoretical Computer Science. 2022 ; 360 134-150.[citado 2023 set. 22 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7
Vancouver
Oliveira AG de, Jaskelioff M, Melo ACV de. On structuring functional programs with monoidal profunctors [Internet]. Electronic Proceedings in Theoretical Computer Science. 2022 ; 360 134-150.[citado 2023 set. 22 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7
Trabalho de evento-anais periodico
An algebraic (set) theory of surreal numbers, I (2022)
Rangel, Dimi Rocha; Mariano, Hugo Luiz
Source: Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: TEORIA DOS CONJUNTOS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RANGEL, Dimi Rocha e MARIANO, Hugo Luiz. An algebraic (set) theory of surreal numbers, I. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://collegepublications.co.uk/ifcolog/?00053. Acesso em: 22 set. 2023. , 2022
APA
Rangel, D. R., & Mariano, H. L. (2022). An algebraic (set) theory of surreal numbers, I. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://collegepublications.co.uk/ifcolog/?00053
NLM
Rangel DR, Mariano HL. An algebraic (set) theory of surreal numbers, I [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 347-403.[citado 2023 set. 22 ] Available from: https://collegepublications.co.uk/ifcolog/?00053
Vancouver
Rangel DR, Mariano HL. An algebraic (set) theory of surreal numbers, I [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 347-403.[citado 2023 set. 22 ] Available from: https://collegepublications.co.uk/ifcolog/?00053
Trabalho de evento-anais periodico
Revising system specifications in temporal logic (2022)
Guerra, Paulo T ; Wassermann, Renata
Source: Journal of Logic, Language and Information. Conference titles: Workshop on Logic, Language, Information and Computation - WoLLIC. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUERRA, Paulo T e WASSERMANN, Renata. Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10849-022-09376-9. Acesso em: 22 set. 2023. , 2022
APA
Guerra, P. T., & Wassermann, R. (2022). Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10849-022-09376-9
NLM
Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2023 set. 22 ] Available from: https://doi.org/10.1007/s10849-022-09376-9
Vancouver
Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2023 set. 22 ] Available from: https://doi.org/10.1007/s10849-022-09376-9
Trabalho de evento-anais periodico
Repairing ontologies via kernel pseudo-contraction (2022)
Matos, Vinícius Bitencourt ; Wassermann, Renata
Source: CEUR Workshop Proceedings. Conference titles: Federated Logic Conference -FLoC. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA, ONTOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MATOS, Vinícius Bitencourt e WASSERMANN, Renata. Repairing ontologies via kernel pseudo-contraction. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://ceur-ws.org/Vol-3197/paper2.pdf. Acesso em: 22 set. 2023. , 2022
APA
Matos, V. B., & Wassermann, R. (2022). Repairing ontologies via kernel pseudo-contraction. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://ceur-ws.org/Vol-3197/paper2.pdf
NLM
Matos VB, Wassermann R. Repairing ontologies via kernel pseudo-contraction [Internet]. CEUR Workshop Proceedings. 2022 ; 3197 16-26.[citado 2023 set. 22 ] Available from: https://ceur-ws.org/Vol-3197/paper2.pdf
Vancouver
Matos VB, Wassermann R. Repairing ontologies via kernel pseudo-contraction [Internet]. CEUR Workshop Proceedings. 2022 ; 3197 16-26.[citado 2023 set. 22 ] Available from: https://ceur-ws.org/Vol-3197/paper2.pdf
Trabalho de evento-anais periodico
Lawsuits document images processing classification (2022)
Freire, Daniela Lopes ; Carvalho, Andre Carlos Ponce de Leon Ferreira de ; Feltran, Leonardo Carneiro ; Nagamatsu, Lara Ayumi; Silva, Kelly Cristina Ramos da ; Firmino, Claudemir ; Ferreira, João Eduardo ; Takecian, Pedro Losco ; Carlotti, Danilo Panzeri ; Lima, Francisco Antonio Cavalcanti ; Portela, Roberto Mendes
Source: Lecture Notes in Artificial Intelligence. Conference titles: Conference on Artificial Intelligence - EPIA. Unidades: ICMC, IME
Subjects: APRENDIZAGEM PROFUNDA, REDES NEURAIS, RECONHECIMENTO DE IMAGEM
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FREIRE, Daniela Lopes et al. Lawsuits document images processing classification. Lecture Notes in Artificial Intelligence. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-031-16474-3_4. Acesso em: 22 set. 2023. , 2022
APA
Freire, D. L., Carvalho, A. C. P. de L. F. de, Feltran, L. C., Nagamatsu, L. A., Silva, K. C. R. da, Firmino, C., et al. (2022). Lawsuits document images processing classification. Lecture Notes in Artificial Intelligence. Cham: Springer. doi:10.1007/978-3-031-16474-3_4
NLM
Freire DL, Carvalho ACP de LF de, Feltran LC, Nagamatsu LA, Silva KCR da, Firmino C, Ferreira JE, Takecian PL, Carlotti DP, Lima FAC, Portela RM. Lawsuits document images processing classification [Internet]. Lecture Notes in Artificial Intelligence. 2022 ; 13566 41-52.[citado 2023 set. 22 ] Available from: https://doi.org/10.1007/978-3-031-16474-3_4
Vancouver
Freire DL, Carvalho ACP de LF de, Feltran LC, Nagamatsu LA, Silva KCR da, Firmino C, Ferreira JE, Takecian PL, Carlotti DP, Lima FAC, Portela RM. Lawsuits document images processing classification [Internet]. Lecture Notes in Artificial Intelligence. 2022 ; 13566 41-52.[citado 2023 set. 22 ] Available from: https://doi.org/10.1007/978-3-031-16474-3_4
Trabalho de evento-anais periodico
Counting orientations of graphs with no strongly connected tournaments (2021)
Botler, Fábio Happ ; Hoppen, Carlos ; Mota, Guilherme Oliveira
Source: Procedia Computer Science. Conference titles: Latin and American Algorithms, Graphs and Optimization Symposium - LAGOS. Unidade: IME
Assunto: TEORIA DOS GRAFOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BOTLER, Fábio Happ e HOPPEN, Carlos e MOTA, Guilherme Oliveira. Counting orientations of graphs with no strongly connected tournaments. 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.2021.11.047. Acesso em: 22 set. 2023. , 2021
APA
Botler, F. H., Hoppen, C., & Mota, G. O. (2021). Counting orientations of graphs with no strongly connected tournaments. Procedia Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/j.procs.2021.11.047
NLM
Botler FH, Hoppen C, Mota GO. Counting orientations of graphs with no strongly connected tournaments [Internet]. Procedia Computer Science. 2021 ; 195 385-393.[citado 2023 set. 22 ] Available from: https://doi.org/10.1016/j.procs.2021.11.047
Vancouver
Botler FH, Hoppen C, Mota GO. Counting orientations of graphs with no strongly connected tournaments [Internet]. Procedia Computer Science. 2021 ; 195 385-393.[citado 2023 set. 22 ] Available from: https://doi.org/10.1016/j.procs.2021.11.047
Trabalho de evento-anais periodico
Perturbation theory of matrix pencils through miniversal deformations (2021)
Futorny, Vyacheslav ; Klymchuk, Tetiana ; Klymenko, Olena; Sergeichuk, Vladimir V. ; Shvai, Nadiya
Source: Linear Algebra and its Applications. Conference titles: Linear Algebra without Borders - ILAS Conference. Unidade: IME
Subjects: ÁLGEBRA LINEAR, ÁLGEBRA MULTILINEAR
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FUTORNY, Vyacheslav et al. Perturbation theory of matrix pencils through miniversal deformations. Linear Algebra and its Applications. New York: Elsevier. Disponível em: https://doi.org/10.1016/j.laa.2020.12.009. Acesso em: 22 set. 2023. , 2021
APA
Futorny, V., Klymchuk, T., Klymenko, O., Sergeichuk, V. V., & Shvai, N. (2021). Perturbation theory of matrix pencils through miniversal deformations. Linear Algebra and its Applications. New York: Elsevier. doi:10.1016/j.laa.2020.12.009
NLM
Futorny V, Klymchuk T, Klymenko O, Sergeichuk VV, Shvai N. Perturbation theory of matrix pencils through miniversal deformations [Internet]. Linear Algebra and its Applications. 2021 ; 614 455-499.[citado 2023 set. 22 ] Available from: https://doi.org/10.1016/j.laa.2020.12.009
Vancouver
Futorny V, Klymchuk T, Klymenko O, Sergeichuk VV, Shvai N. Perturbation theory of matrix pencils through miniversal deformations [Internet]. Linear Algebra and its Applications. 2021 ; 614 455-499.[citado 2023 set. 22 ] Available from: https://doi.org/10.1016/j.laa.2020.12.009
Trabalho de evento-anais periodico
A matemática escolar e a autoria docente nas propostas curriculares brasileiras (2021)
Valle, Júlio César Augusto do
Source: Anais. Conference titles: Seminário Internacional de Pesquisa em Educação Matemática. Unidade: IME
Subjects: EDUCAÇÃO MATEMÁTICA, CURRÍCULO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VALLE, Júlio César Augusto do. A matemática escolar e a autoria docente nas propostas curriculares brasileiras. Anais. Uberlândia: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sbembrasil.org.br/files/sipemviii.pdf. Acesso em: 22 set. 2023. , 2021
APA
Valle, J. C. A. do. (2021). A matemática escolar e a autoria docente nas propostas curriculares brasileiras. Anais. Uberlândia: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sbembrasil.org.br/files/sipemviii.pdf
NLM
Valle JCA do. A matemática escolar e a autoria docente nas propostas curriculares brasileiras [Internet]. Anais. 2021 ; 8 452-463.[citado 2023 set. 22 ] Available from: http://www.sbembrasil.org.br/files/sipemviii.pdf
Vancouver
Valle JCA do. A matemática escolar e a autoria docente nas propostas curriculares brasileiras [Internet]. Anais. 2021 ; 8 452-463.[citado 2023 set. 22 ] Available from: http://www.sbembrasil.org.br/files/sipemviii.pdf

USP Schools

ReP

Filtros

USP Schools

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Indexado em

Normalized affiliation

Non normalized affiliation

Countries of institutions of collaboration