ReP USP - Resultado da busca

Trabalho de evento-resumo
Sparse models: a tractable fragment for SAT, MAXSAT and PSAT (2019)
Finger, Marcelo
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Subjects: LÓGICA, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 27 nov. 2025.
APA
Finger, M. (2019). Sparse models: a tractable fragment for SAT, MAXSAT and PSAT. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Finger M. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT [Internet]. Book of Abstracts. 2019 ;[citado 2025 nov. 27 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Finger M. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT [Internet]. Book of Abstracts. 2019 ;[citado 2025 nov. 27 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Tese (Doutorado)
Independência parcial no problema da satisfazibilidade probabilística (2018)
Morais, Eduardo Menezes de; Finger, Marcelo (Orientador)
Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA, PROBABILIDADE, PROGRAMAÇÃO MATEMÁTICA, PROGRAMAÇÃO LINEAR
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MORAIS, Eduardo Menezes de. Independência parcial no problema da satisfazibilidade probabilística. 2018. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/. Acesso em: 27 nov. 2025.
APA
Morais, E. M. de. (2018). Independência parcial no problema da satisfazibilidade probabilística (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/
NLM
Morais EM de. Independência parcial no problema da satisfazibilidade probabilística [Internet]. 2018 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/
Vancouver
Morais EM de. Independência parcial no problema da satisfazibilidade probabilística [Internet]. 2018 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/
Artigo de periodico
Link prediction using a probabilistic description logic (2013)
Luna, José Eduardo Ochoa; Revoredo, Kate; Cozman, Fabio Gagliardi
Source: Journal of the Brazilian Computer Society. Unidade: EP
Subjects: PROBABILIDADE, LÓGICA, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LUNA, José Eduardo Ochoa e REVOREDO, Kate e COZMAN, Fabio Gagliardi. Link prediction using a probabilistic description logic. Journal of the Brazilian Computer Society, v. 19, p. 397-409, 2013Tradução . . Disponível em: http://link.springer.com/article/10.1007/s13173-013-0108-8#page-1. Acesso em: 27 nov. 2025.
APA
Luna, J. E. O., Revoredo, K., & Cozman, F. G. (2013). Link prediction using a probabilistic description logic. Journal of the Brazilian Computer Society, 19, 397-409. doi:10.1007/s13173-013-0108-8
NLM
Luna JEO, Revoredo K, Cozman FG. Link prediction using a probabilistic description logic [Internet]. Journal of the Brazilian Computer Society. 2013 ; 19 397-409.[citado 2025 nov. 27 ] Available from: http://link.springer.com/article/10.1007/s13173-013-0108-8#page-1
Vancouver
Luna JEO, Revoredo K, Cozman FG. Link prediction using a probabilistic description logic [Internet]. Journal of the Brazilian Computer Society. 2013 ; 19 397-409.[citado 2025 nov. 27 ] Available from: http://link.springer.com/article/10.1007/s13173-013-0108-8#page-1
Trabalho de evento
Raciocínio probabilístico em sistemas embarcados (2001)
Ide, Jaime Shinsuke; Cozman, Fabio Gagliardi
Source: Anais. Conference titles: Congresso da Sociedade Brasileira de Computação:as tecnologias da informação e a questão social. Unidade: EP
Subjects: LÓGICA, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
IDE, Jaime Shinsuke e COZMAN, Fabio Gagliardi. Raciocínio probabilístico em sistemas embarcados. 2001, Anais.. Fortaleza: SBC, 2001. Disponível em: https://repositorio.usp.br/directbitstream/fc3e307a-527a-4397-8423-790e7e040af1/Cozman-2001-raciocinio%20probabilistico%20em%20sistemas%20embarcados-SBC.pdf. Acesso em: 27 nov. 2025.
APA
Ide, J. S., & Cozman, F. G. (2001). Raciocínio probabilístico em sistemas embarcados. In Anais. Fortaleza: SBC. Recuperado de https://repositorio.usp.br/directbitstream/fc3e307a-527a-4397-8423-790e7e040af1/Cozman-2001-raciocinio%20probabilistico%20em%20sistemas%20embarcados-SBC.pdf
NLM
Ide JS, Cozman FG. Raciocínio probabilístico em sistemas embarcados [Internet]. Anais. 2001 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/fc3e307a-527a-4397-8423-790e7e040af1/Cozman-2001-raciocinio%20probabilistico%20em%20sistemas%20embarcados-SBC.pdf
Vancouver
Ide JS, Cozman FG. Raciocínio probabilístico em sistemas embarcados [Internet]. Anais. 2001 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/fc3e307a-527a-4397-8423-790e7e040af1/Cozman-2001-raciocinio%20probabilistico%20em%20sistemas%20embarcados-SBC.pdf

USP Schools

ReP

Filtros

Authors

Subjects