ReP USP - Resultado da busca

Trabalho de evento
Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portuguese (2023)
Gauy, Marcelo Matheus ; Berti, Larissa Cristina ; Candido Junior, Arnaldo ; Camargo Neto, Augusto César de; Goldman, Alfredo ; Levin, Anna Sara ; Martins, Marcus Vinícius Moreira ; Medeiros, Beatriz Raposo de ; Queiroz, Marcelo Gomes de ; Sabino, Ester Cerdeira ; Svartman, Flaviane Fernandes ; Finger, Marcelo
Source: Proceedings. Conference titles: International Conference on Artificial Intelligence in Medicine - AIME. Unidades: IME, FM, FFLCH
Subjects: INTELIGÊNCIA ARTIFICIAL, APRENDIZAGEM PROFUNDA, INSUFICIÊNCIA RESPIRATÓRIA, COVID-19
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GAUY, Marcelo Matheus et al. Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portuguese. 2023, Anais.. Cham: Springer, 2023. Disponível em: https://doi.org/10.1007/978-3-031-34344-5_32. Acesso em: 12 jul. 2024.
APA
Gauy, M. M., Berti, L. C., Candido Junior, A., Camargo Neto, A. C. de, Goldman, A., Levin, A. S., et al. (2023). Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portuguese. In Proceedings. Cham: Springer. doi:10.1007/978-3-031-34344-5_32
NLM
Gauy MM, Berti LC, Candido Junior A, Camargo Neto AC de, Goldman A, Levin AS, Martins MVM, Medeiros BR de, Queiroz MG de, Sabino EC, Svartman FF, Finger M. Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portuguese [Internet]. Proceedings. 2023 ;[citado 2024 jul. 12 ] Available from: https://doi.org/10.1007/978-3-031-34344-5_32
Vancouver
Gauy MM, Berti LC, Candido Junior A, Camargo Neto AC de, Goldman A, Levin AS, Martins MVM, Medeiros BR de, Queiroz MG de, Sabino EC, Svartman FF, Finger M. Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portuguese [Internet]. Proceedings. 2023 ;[citado 2024 jul. 12 ] Available from: https://doi.org/10.1007/978-3-031-34344-5_32
Trabalho de evento
verBERT: automating brazilian case law document multi-label categorization using BERT (2021)
Serras, Felipe Ribas ; Finger, Marcelo
Source: Anais. Conference titles: Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana - STIL. Unidade: IME
Subjects: ALGORITMOS PARA PROCESSAMENTO, PROCESSAMENTO DE LINGUAGEM NATURAL, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SERRAS, Felipe Ribas e FINGER, Marcelo. verBERT: automating brazilian case law document multi-label categorization using BERT. 2021, Anais.. Porto Alegre: SBC, 2021. Disponível em: https://doi.org/10.5753/stil.2021.17803. Acesso em: 12 jul. 2024.
APA
Serras, F. R., & Finger, M. (2021). verBERT: automating brazilian case law document multi-label categorization using BERT. In Anais. Porto Alegre: SBC. doi:10.5753/stil.2021.17803
NLM
Serras FR, Finger M. verBERT: automating brazilian case law document multi-label categorization using BERT [Internet]. Anais. 2021 ;[citado 2024 jul. 12 ] Available from: https://doi.org/10.5753/stil.2021.17803
Vancouver
Serras FR, Finger M. verBERT: automating brazilian case law document multi-label categorization using BERT [Internet]. Anais. 2021 ;[citado 2024 jul. 12 ] Available from: https://doi.org/10.5753/stil.2021.17803
Parte de monografia/livro
Quando se compra inteligência artificial, o que de fato se leva para casa? Além do “oba-oba” (2021)
Finger, Marcelo
Source: Inteligência artificial : avanços e tendências. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Quando se compra inteligência artificial, o que de fato se leva para casa? Além do “oba-oba”. Inteligência artificial : avanços e tendências. Tradução . São Paulo: Instituto de Estudos Avançados, 2021. . Disponível em: https://doi.org/10.11606/9786587773131. Acesso em: 12 jul. 2024.
APA
Finger, M. (2021). Quando se compra inteligência artificial, o que de fato se leva para casa? Além do “oba-oba”. In Inteligência artificial : avanços e tendências. São Paulo: Instituto de Estudos Avançados. doi:10.11606/9786587773131
NLM
Finger M. Quando se compra inteligência artificial, o que de fato se leva para casa? Além do “oba-oba” [Internet]. In: Inteligência artificial : avanços e tendências. São Paulo: Instituto de Estudos Avançados; 2021. [citado 2024 jul. 12 ] Available from: https://doi.org/10.11606/9786587773131
Vancouver
Finger M. Quando se compra inteligência artificial, o que de fato se leva para casa? Além do “oba-oba” [Internet]. In: Inteligência artificial : avanços e tendências. São Paulo: Instituto de Estudos Avançados; 2021. [citado 2024 jul. 12 ] Available from: https://doi.org/10.11606/9786587773131
Parte de monografia/livro
Inconsistency measurement in probabilistic logic (2018)
De Bona, Glauber ; Finger, Marcelo ; Potyka, Nico; Thimm, Matthias
Source: Measuring inconsistency in information. Unidades: IME, EP
Subjects: LÓGICA, RACIOCÍNIO PROBABILÍSTICO, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber et al. Inconsistency measurement in probabilistic logic. Measuring inconsistency in information. Tradução . London: College Publications, 2018. . Disponível em: http://www.mthimm.de/pub/2018/DeBona_2018.pdf. Acesso em: 12 jul. 2024.
APA
De Bona, G., Finger, M., Potyka, N., & Thimm, M. (2018). Inconsistency measurement in probabilistic logic. In Measuring inconsistency in information. London: College Publications. Recuperado de http://www.mthimm.de/pub/2018/DeBona_2018.pdf
NLM
De Bona G, Finger M, Potyka N, Thimm M. Inconsistency measurement in probabilistic logic [Internet]. In: Measuring inconsistency in information. London: College Publications; 2018. [citado 2024 jul. 12 ] Available from: http://www.mthimm.de/pub/2018/DeBona_2018.pdf
Vancouver
De Bona G, Finger M, Potyka N, Thimm M. Inconsistency measurement in probabilistic logic [Internet]. In: Measuring inconsistency in information. London: College Publications; 2018. [citado 2024 jul. 12 ] Available from: http://www.mthimm.de/pub/2018/DeBona_2018.pdf
Monografia/livro-ed/org
Frontiers of combining systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings (2017)
Dixon, Clare (Editor); Finger, Marcelo (Editor)
Conference titles: International Symposium - FroCoS 2017. Unidade: IME
Subjects: CIÊNCIA DA COMPUTAÇÃO, ENGENHARIA DE SOFTWARE, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Frontiers of combining systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. . Cham: Springer International Publishing. Disponível em: https://doi.org/10.1007/978-3-319-66167-4. Acesso em: 12 jul. 2024. , 2017
APA
Frontiers of combining systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. (2017). Frontiers of combining systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Cham: Springer International Publishing. doi:10.1007/978-3-319-66167-4
NLM
Frontiers of combining systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings [Internet]. 2017 ;[citado 2024 jul. 12 ] Available from: https://doi.org/10.1007/978-3-319-66167-4
Vancouver
Frontiers of combining systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings [Internet]. 2017 ;[citado 2024 jul. 12 ] Available from: https://doi.org/10.1007/978-3-319-66167-4
Trabalho de evento-resumo
Promessas e perigos da inteligência artifcial: a inteligência humana é muito distinta das capacidades dos computadores (2017)
Finger, Marcelo
Source: Caderno de resumos / Abstracts. Conference titles: International Brazilian Meeting on Cognitive Science - EBICC. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Promessas e perigos da inteligência artifcial: a inteligência humana é muito distinta das capacidades dos computadores. 2017, Anais.. São Paulo: SBCC, 2017. Disponível em: http://ebicc.sbcc.org.br/. Acesso em: 12 jul. 2024.
APA
Finger, M. (2017). Promessas e perigos da inteligência artifcial: a inteligência humana é muito distinta das capacidades dos computadores. In Caderno de resumos / Abstracts. São Paulo: SBCC. Recuperado de http://ebicc.sbcc.org.br/
NLM
Finger M. Promessas e perigos da inteligência artifcial: a inteligência humana é muito distinta das capacidades dos computadores [Internet]. Caderno de resumos / Abstracts. 2017 ;[citado 2024 jul. 12 ] Available from: http://ebicc.sbcc.org.br/
Vancouver
Finger M. Promessas e perigos da inteligência artifcial: a inteligência humana é muito distinta das capacidades dos computadores [Internet]. Caderno de resumos / Abstracts. 2017 ;[citado 2024 jul. 12 ] Available from: http://ebicc.sbcc.org.br/
Parte de monografia/livro-apres/pref/posf
The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília... [Prefácio] (2017)
Dixon, Clare (Prefácio); Finger, Marcelo (Prefácio)
Source: Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Unidade: IME
Subjects: CIÊNCIA DA COMPUTAÇÃO, ENGENHARIA DE SOFTWARE, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília.. [Prefácio]. Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Cham: Springer International Publishing. Disponível em: http://www.springer.com/us/book/9783319661667. Acesso em: 12 jul. 2024. , 2017
APA
The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília.. [Prefácio]. (2017). The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília.. [Prefácio]. Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Cham: Springer International Publishing. Recuperado de http://www.springer.com/us/book/9783319661667
NLM
The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília.. [Prefácio] [Internet]. Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. 2017 ;[citado 2024 jul. 12 ] Available from: http://www.springer.com/us/book/9783319661667
Vancouver
The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília.. [Prefácio] [Internet]. Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. 2017 ;[citado 2024 jul. 12 ] Available from: http://www.springer.com/us/book/9783319661667
Artigo de periodico-carta/editorial
Advances in weighted logics for artificial intelligence. [Editorial] (2017)
Finger, Marcelo ; Godo, Lluis ; Prade, Henri ; Qi, Guilin
Source: International Journal of Approximate Reasoning. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo et al. Advances in weighted logics for artificial intelligence. [Editorial]. International Journal of Approximate Reasoning. Philadelphia: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1016/j.ijar.2017.06.014. Acesso em: 12 jul. 2024. , 2017
APA
Finger, M., Godo, L., Prade, H., & Qi, G. (2017). Advances in weighted logics for artificial intelligence. [Editorial]. International Journal of Approximate Reasoning. Philadelphia: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/j.ijar.2017.06.014
NLM
Finger M, Godo L, Prade H, Qi G. Advances in weighted logics for artificial intelligence. [Editorial] [Internet]. International Journal of Approximate Reasoning. 2017 ; 88 385-386.[citado 2024 jul. 12 ] Available from: https://doi.org/10.1016/j.ijar.2017.06.014
Vancouver
Finger M, Godo L, Prade H, Qi G. Advances in weighted logics for artificial intelligence. [Editorial] [Internet]. International Journal of Approximate Reasoning. 2017 ; 88 385-386.[citado 2024 jul. 12 ] Available from: https://doi.org/10.1016/j.ijar.2017.06.014
Artigo de periodico
Generalized probabilistic satisfiability through integer programming (2015)
De Bona, Glauber ; Cozman, Fabio Gagliardi ; Finger, Marcelo
Source: Journal of the Brazilian Computer Society. Unidades: EP, IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, COMPUTABILIDADE E COMPLEXIDADE, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e COZMAN, Fabio Gagliardi e FINGER, Marcelo. Generalized probabilistic satisfiability through integer programming. Journal of the Brazilian Computer Society, v. 21, p. 14 , 2015Tradução . . Disponível em: https://doi.org/10.1186/s13173-015-0028-x. Acesso em: 12 jul. 2024.
APA
De Bona, G., Cozman, F. G., & Finger, M. (2015). Generalized probabilistic satisfiability through integer programming. Journal of the Brazilian Computer Society, 21, 14 . doi:10.1186/s13173-015-0028-x
NLM
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability through integer programming [Internet]. Journal of the Brazilian Computer Society. 2015 ; 21 14 .[citado 2024 jul. 12 ] Available from: https://doi.org/10.1186/s13173-015-0028-x
Vancouver
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability through integer programming [Internet]. Journal of the Brazilian Computer Society. 2015 ; 21 14 .[citado 2024 jul. 12 ] Available from: https://doi.org/10.1186/s13173-015-0028-x
Artigo de periodico
Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation (2015)
De Bona, Glauber ; Finger, Marcelo
Source: Artificial Intelligence. Unidades: EP, IME
Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e FINGER, Marcelo. Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. Artificial Intelligence, v. 227, p. 140-164, 2015Tradução . . Disponível em: https://doi.org/10.1016/j.artint.2015.06.006. Acesso em: 12 jul. 2024.
APA
De Bona, G., & Finger, M. (2015). Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. Artificial Intelligence, 227, 140-164. doi:10.1016/j.artint.2015.06.006
NLM
De Bona G, Finger M. Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation [Internet]. Artificial Intelligence. 2015 ; 227 140-164.[citado 2024 jul. 12 ] Available from: https://doi.org/10.1016/j.artint.2015.06.006
Vancouver
De Bona G, Finger M. Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation [Internet]. Artificial Intelligence. 2015 ; 227 140-164.[citado 2024 jul. 12 ] Available from: https://doi.org/10.1016/j.artint.2015.06.006
Artigo de periodico
Probabilistic satisfiability: algorithms with the presence and absence of a phase transition (2015)
Finger, Marcelo ; De Bona, Glauber
Source: Annals of Mathematics and Artificial Intelligence. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Annals of Mathematics and Artificial Intelligence, v. 75, n. 3-4, p. 351-389, 2015Tradução . . Disponível em: https://doi.org/10.1007/s10472-015-9466-6. Acesso em: 12 jul. 2024.
APA
Finger, M., & De Bona, G. (2015). Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Annals of Mathematics and Artificial Intelligence, 75( 3-4), 351-389. doi:10.1007/s10472-015-9466-6
NLM
Finger M, De Bona G. Probabilistic satisfiability: algorithms with the presence and absence of a phase transition [Internet]. Annals of Mathematics and Artificial Intelligence. 2015 ; 75( 3-4): 351-389.[citado 2024 jul. 12 ] Available from: https://doi.org/10.1007/s10472-015-9466-6
Vancouver
Finger M, De Bona G. Probabilistic satisfiability: algorithms with the presence and absence of a phase transition [Internet]. Annals of Mathematics and Artificial Intelligence. 2015 ; 75( 3-4): 351-389.[citado 2024 jul. 12 ] Available from: https://doi.org/10.1007/s10472-015-9466-6
Trabalho de evento-resumo
Probabilistic abduction for PSAT (2014)
Arruda, Alexandre Matos; Finger, Marcelo
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARRUDA, Alexandre Matos e FINGER, Marcelo. Probabilistic abduction for PSAT. 2014, Anais.. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo, 2014. Disponível em: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf. Acesso em: 12 jul. 2024.
APA
Arruda, A. M., & Finger, M. (2014). Probabilistic abduction for PSAT. In Book of Abstracts. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
NLM
Arruda AM, Finger M. Probabilistic abduction for PSAT [Internet]. Book of Abstracts. 2014 ;[citado 2024 jul. 12 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Vancouver
Arruda AM, Finger M. Probabilistic abduction for PSAT [Internet]. Book of Abstracts. 2014 ;[citado 2024 jul. 12 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Relatorio tecnico
Notes on measuring inconsistency in probabilistic logic (2014)
De Bona, Glauber ; Finger, Marcelo
Unidades: IME, EP
Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, LÓGICA MATEMÁTICA APLICADA, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e FINGER, Marcelo. Notes on measuring inconsistency in probabilistic logic. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf. Acesso em: 12 jul. 2024. , 2014
APA
De Bona, G., & Finger, M. (2014). Notes on measuring inconsistency in probabilistic logic. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf
NLM
De Bona G, Finger M. Notes on measuring inconsistency in probabilistic logic [Internet]. 2014 ;[citado 2024 jul. 12 ] Available from: https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf
Vancouver
De Bona G, Finger M. Notes on measuring inconsistency in probabilistic logic [Internet]. 2014 ;[citado 2024 jul. 12 ] Available from: https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf
Artigo de periodico
Towards classifying propositional probabilistic logics (2014)
De Bona, Glauber ; Cozman, Fabio Gagliardi ; Finger, Marcelo
Source: Journal of Applied Logic. Unidades: EP, IME
Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e COZMAN, Fabio Gagliardi e FINGER, Marcelo. Towards classifying propositional probabilistic logics. Journal of Applied Logic, v. 12, n. 3, p. 349-368, 2014Tradução . . Disponível em: https://doi.org/10.1016/j.jal.2014.01.005. Acesso em: 12 jul. 2024.
APA
De Bona, G., Cozman, F. G., & Finger, M. (2014). Towards classifying propositional probabilistic logics. Journal of Applied Logic, 12( 3), 349-368. doi:10.1016/j.jal.2014.01.005
NLM
De Bona G, Cozman FG, Finger M. Towards classifying propositional probabilistic logics [Internet]. Journal of Applied Logic. 2014 ; 12( 3): 349-368.[citado 2024 jul. 12 ] Available from: https://doi.org/10.1016/j.jal.2014.01.005
Vancouver
De Bona G, Cozman FG, Finger M. Towards classifying propositional probabilistic logics [Internet]. Journal of Applied Logic. 2014 ; 12( 3): 349-368.[citado 2024 jul. 12 ] Available from: https://doi.org/10.1016/j.jal.2014.01.005
Monografia/livro-ed/org
Advances in Artificial Intelligence: SBIA 2012 (2012)
Barros, Leliane Nunes de (Editor) ; Finger, Marcelo (Editor) ; Pozo, Aurora T (Editor); Gimenez-Hugo, Gustavo A (Editor); Castilho, Marcos (Editor)
Conference titles: Brazilian Symposium on Artificial Intelligence. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Advances in Artificial Intelligence: SBIA 2012. . Berlin: Springer. Disponível em: https://doi.org/10.1007/978-3-642-34459-6. Acesso em: 12 jul. 2024. , 2012
APA
Advances in Artificial Intelligence: SBIA 2012. (2012). Advances in Artificial Intelligence: SBIA 2012. Berlin: Springer. doi:10.1007/978-3-642-34459-6
NLM
Advances in Artificial Intelligence: SBIA 2012 [Internet]. 2012 ;[citado 2024 jul. 12 ] Available from: https://doi.org/10.1007/978-3-642-34459-6
Vancouver
Advances in Artificial Intelligence: SBIA 2012 [Internet]. 2012 ;[citado 2024 jul. 12 ] Available from: https://doi.org/10.1007/978-3-642-34459-6
Trabalho de evento
Probabilistic satisfiability: logic-based algorithms and phase transition (2011)
Finger, Marcelo ; De Bona, Glauber
Source: Proceedings. Conference titles: International Joint Conference on Artificial Intelligence - IJCAI. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, COMPUTABILIDADE E COMPLEXIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. Probabilistic satisfiability: logic-based algorithms and phase transition. 2011, Anais.. Palo Alto: AAAI Press, 2011. Disponível em: https://doi.org/10.5555/2283396.2283483. Acesso em: 12 jul. 2024.
APA
Finger, M., & De Bona, G. (2011). Probabilistic satisfiability: logic-based algorithms and phase transition. In Proceedings. Palo Alto: AAAI Press. doi:10.5555/2283396.2283483
NLM
Finger M, De Bona G. Probabilistic satisfiability: logic-based algorithms and phase transition [Internet]. Proceedings. 2011 ;[citado 2024 jul. 12 ] Available from: https://doi.org/10.5555/2283396.2283483
Vancouver
Finger M, De Bona G. Probabilistic satisfiability: logic-based algorithms and phase transition [Internet]. Proceedings. 2011 ;[citado 2024 jul. 12 ] Available from: https://doi.org/10.5555/2283396.2283483
Trabalho de evento
A formal system for quantum communication environments (2011)
Araujo, Anderson de; Finger, Marcelo
Source: Anais. Conference titles: Congresso da Sociedade Brasileira de Computação. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, COMPUTAÇÃO QUÂNTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARAUJO, Anderson de e FINGER, Marcelo. A formal system for quantum communication environments. 2011, Anais.. Porto Alegre: SBC, 2011. Disponível em: http://www.lbd.dcc.ufmg.br/colecoes/enia/2011/0035.pdf. Acesso em: 12 jul. 2024.
APA
Araujo, A. de, & Finger, M. (2011). A formal system for quantum communication environments. In Anais. Porto Alegre: SBC. Recuperado de http://www.lbd.dcc.ufmg.br/colecoes/enia/2011/0035.pdf
NLM
Araujo A de, Finger M. A formal system for quantum communication environments [Internet]. Anais. 2011 ;[citado 2024 jul. 12 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/enia/2011/0035.pdf
Vancouver
Araujo A de, Finger M. A formal system for quantum communication environments [Internet]. Anais. 2011 ;[citado 2024 jul. 12 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/enia/2011/0035.pdf
Trabalho de evento
A logic based algorithm for solving probabilistic satisfiability (2010)
Finger, Marcelo ; De Bona, Glauber
Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA FORMAL, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. A logic based algorithm for solving probabilistic satisfiability. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16952-6_46. Acesso em: 12 jul. 2024.
APA
Finger, M., & De Bona, G. (2010). A logic based algorithm for solving probabilistic satisfiability. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16952-6_46
NLM
Finger M, De Bona G. A logic based algorithm for solving probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2024 jul. 12 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_46
Vancouver
Finger M, De Bona G. A logic based algorithm for solving probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2024 jul. 12 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_46
Trabalho de evento
Revising specifications with CTL properties using bounded model checking (2008)
Finger, Marcelo ; Wassermann, Renata
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: REPRESENTAÇÃO DE CONHECIMENTO, REVISÃO DE CRENÇAS, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e WASSERMANN, Renata. Revising specifications with CTL properties using bounded model checking. 2008, Anais.. Berlin: Springer, 2008. Disponível em: https://doi.org/10.1007/978-3-540-88190-2_21. Acesso em: 12 jul. 2024.
APA
Finger, M., & Wassermann, R. (2008). Revising specifications with CTL properties using bounded model checking. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-88190-2_21
NLM
Finger M, Wassermann R. Revising specifications with CTL properties using bounded model checking [Internet]. Proceedings. 2008 ;[citado 2024 jul. 12 ] Available from: https://doi.org/10.1007/978-3-540-88190-2_21
Vancouver
Finger M, Wassermann R. Revising specifications with CTL properties using bounded model checking [Internet]. Proceedings. 2008 ;[citado 2024 jul. 12 ] Available from: https://doi.org/10.1007/978-3-540-88190-2_21
Artigo de periodico
Anytime approximations of classical logic from above (2007)
Finger, Marcelo ; Wassermann, Renata
Source: Journal of Logic and Computation. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e WASSERMANN, Renata. Anytime approximations of classical logic from above. Journal of Logic and Computation, v. 17, n. 1, p. 53-82, 2007Tradução . . Disponível em: https://doi.org/10.1093/logcom/exl018. Acesso em: 12 jul. 2024.
APA
Finger, M., & Wassermann, R. (2007). Anytime approximations of classical logic from above. Journal of Logic and Computation, 17( 1), 53-82. doi:10.1093/logcom/exl018
NLM
Finger M, Wassermann R. Anytime approximations of classical logic from above [Internet]. Journal of Logic and Computation. 2007 ; 17( 1): 53-82.[citado 2024 jul. 12 ] Available from: https://doi.org/10.1093/logcom/exl018
Vancouver
Finger M, Wassermann R. Anytime approximations of classical logic from above [Internet]. Journal of Logic and Computation. 2007 ; 17( 1): 53-82.[citado 2024 jul. 12 ] Available from: https://doi.org/10.1093/logcom/exl018

USP Schools

ReP

Filtros

Document Types

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Non normalized affiliation