Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
![]() |
Integração de verificadores formais para agentes móveisAndrade, André GustavoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2007-03-16Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Tese de Doutorado
|
![]() |
Construção e seleção de janelas na combinação de W-operadoresDornelles, Marta MagdaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2015-07-23Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Dissertação de Mestrado
|
![]() |
Programação dinâmica simbólica aproximada e assíncrona para processos de decisão markovianos com variáveis contínuasVianna, Luis Gustavo RochaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2015-05-18Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Dissertação de Mestrado
|
![]() |
Diagnóstico da sífilis auxiliado por computador: proposta de um método híbrido fuzzy neural para análise de imagem de fluorescência.Fernandes, Marco AntonioBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2011-08-02Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Dissertação de Mestrado
|
![]() |
Desenvolvimento de sistemas baseados em artefatos de conhecimento.Torres, Gustavo Enrique SalazarBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2008-06-26Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Dissertação de Mestrado
|
![]() |
Typicality in description logicsCurado, José David FernándezBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2014-12-11Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Dissertação de Mestrado
|
![]() |
Aplicação de técnicas de fatoração de matrizes esparsas para inferência em redes bayesianas.Colla, Ernesto CoutinhoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2007-12-14Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Tese de Doutorado
|
![]() |
Aprendizado computacional baseado em distância a segmentos de reta.Ribeiro, João Henrique BurckasBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2009-05-15Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Dissertação de Mestrado
|
![]() |
Satisfazibilidade probabilísticaGlauber De Bona 1984- Marcelo Finger2011Localização: IME - Inst. Matemática e Estatística (IME-T QA860.T D287s e.1 )(Acessar) |
10 |
Material Type: Tese de Doutorado
|
![]() |
Revisão de crenças em lógicas de descrição e em outras lógicas não clássicaMárcio Moretto Ribeiro Renata Wassermann2010Localização: IME - Inst. Matemática e Estatística (IME-T QA860.40.T R484r e.1 )(Acessar) |