ReP USP - Resultado da busca

Trabalho de evento
Differentiable planning with indefinite horizon (2022)
Dias, Daniel Baptista; Barros, Leliane Nunes de ; Delgado, Karina Valdivia ; Mauá, Denis Deratani
Source: Anais. Conference titles: Symposium on Knowledge Discovery, Mining and Learning - KDMiLe. Unidades: IME, EACH
Subjects: APRENDIZADO COMPUTACIONAL, PROCESSOS DE MARKOV, METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DIAS, Daniel Baptista et al. Differentiable planning with indefinite horizon. 2022, Anais.. Porto Alegre: SBC, 2022. Disponível em: https://doi.org/10.5753/kdmile.2022.227974. Acesso em: 09 nov. 2024.
APA
Dias, D. B., Barros, L. N. de, Delgado, K. V., & Mauá, D. D. (2022). Differentiable planning with indefinite horizon. In Anais. Porto Alegre: SBC. doi:10.5753/kdmile.2022.227974
NLM
Dias DB, Barros LN de, Delgado KV, Mauá DD. Differentiable planning with indefinite horizon [Internet]. Anais. 2022 ;[citado 2024 nov. 09 ] Available from: https://doi.org/10.5753/kdmile.2022.227974
Vancouver
Dias DB, Barros LN de, Delgado KV, Mauá DD. Differentiable planning with indefinite horizon [Internet]. Anais. 2022 ;[citado 2024 nov. 09 ] Available from: https://doi.org/10.5753/kdmile.2022.227974
Trabalho de evento
Differentiable planning for optimal liquidation (2022)
Pennacchio, Alan Assis; Barros, Leliane Nunes de ; Mauá, Denis Deratani
Source: Anais. Conference titles: Brazilian Workshop on Artificial Intelligence in Finance - BWAIF. Unidade: IME
Subjects: MODELOS PARA PROCESSOS ESTOCÁSTICOS, INTELIGÊNCIA ARTIFICIAL, FINANÇAS, COMPUTAÇÃO APLICADA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PENNACCHIO, Alan Assis e BARROS, Leliane Nunes de e MAUÁ, Denis Deratani. Differentiable planning for optimal liquidation. 2022, Anais.. Porto Alegre: SBC, 2022. Disponível em: https://doi.org/10.5753/bwaif.2022.223144. Acesso em: 09 nov. 2024.
APA
Pennacchio, A. A., Barros, L. N. de, & Mauá, D. D. (2022). Differentiable planning for optimal liquidation. In Anais. Porto Alegre: SBC. doi:10.5753/bwaif.2022.223144
NLM
Pennacchio AA, Barros LN de, Mauá DD. Differentiable planning for optimal liquidation [Internet]. Anais. 2022 ;[citado 2024 nov. 09 ] Available from: https://doi.org/10.5753/bwaif.2022.223144
Vancouver
Pennacchio AA, Barros LN de, Mauá DD. Differentiable planning for optimal liquidation [Internet]. Anais. 2022 ;[citado 2024 nov. 09 ] Available from: https://doi.org/10.5753/bwaif.2022.223144
Trabalho de evento
Políticas sensíveis ao risco para o controle da propagação de doenças infecciosas (2020)
Pastor, Henrique Dias; Silva, Valdinei Freire da ; Barros, Leliane Nunes de ; Delgado, Karina Valdivia
Source: Anais. Conference titles: Encontro Nacional de Inteligência Artificial e Computacional. Unidades: EACH, IME
Subjects: RISCO, PROCESSOS DE MARKOV, MODELOS EPIDEMIOLOGICOS, POLÍTICA DE SAÚDE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PASTOR, Henrique Dias et al. Políticas sensíveis ao risco para o controle da propagação de doenças infecciosas. 2020, Anais.. Porto Alegre: SBC, 2020. Disponível em: https://doi.org/10.5753/eniac.2020.12143. Acesso em: 09 nov. 2024.
APA
Pastor, H. D., Silva, V. F. da, Barros, L. N. de, & Delgado, K. V. (2020). Políticas sensíveis ao risco para o controle da propagação de doenças infecciosas. In Anais. Porto Alegre: SBC. doi:10.5753/eniac.2020.12143
NLM
Pastor HD, Silva VF da, Barros LN de, Delgado KV. Políticas sensíveis ao risco para o controle da propagação de doenças infecciosas [Internet]. Anais. 2020 ;[citado 2024 nov. 09 ] Available from: https://doi.org/10.5753/eniac.2020.12143
Vancouver
Pastor HD, Silva VF da, Barros LN de, Delgado KV. Políticas sensíveis ao risco para o controle da propagação de doenças infecciosas [Internet]. Anais. 2020 ;[citado 2024 nov. 09 ] Available from: https://doi.org/10.5753/eniac.2020.12143
Trabalho de evento
A contact network-based approach for online planning of containment measures for COVID-19 (2020)
Thomaz, Guilherme Yambanis ; Mauá, Denis Deratani ; Barros, Leliane Nunes de
Source: Anais. Conference titles: Encontro Nacional de Inteligência Artificial e Computacional - ENIAC. Unidade: IME
Subjects: PROCESSOS ESTOCÁSTICOS, REDES COMPLEXAS, COVID-19
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
THOMAZ, Guilherme Yambanis e MAUÁ, Denis Deratani e BARROS, Leliane Nunes de. A contact network-based approach for online planning of containment measures for COVID-19. 2020, Anais.. Porto Alegre: SBC, 2020. Disponível em: https://doi.org/10.5753/eniac.2020.12132. Acesso em: 09 nov. 2024.
APA
Thomaz, G. Y., Mauá, D. D., & Barros, L. N. de. (2020). A contact network-based approach for online planning of containment measures for COVID-19. In Anais. Porto Alegre: SBC. doi:10.5753/eniac.2020.12132
NLM
Thomaz GY, Mauá DD, Barros LN de. A contact network-based approach for online planning of containment measures for COVID-19 [Internet]. Anais. 2020 ;[citado 2024 nov. 09 ] Available from: https://doi.org/10.5753/eniac.2020.12132
Vancouver
Thomaz GY, Mauá DD, Barros LN de. A contact network-based approach for online planning of containment measures for COVID-19 [Internet]. Anais. 2020 ;[citado 2024 nov. 09 ] Available from: https://doi.org/10.5753/eniac.2020.12132
Trabalho de evento
Plan existence verification as symbolic model checking (2018)
Ferreira, Macilio da Silva; Menezes, Maria Viviane; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, ALGORITMOS PARA PROCESSAMENTO, PROGRAMAÇÃO HEURÍSTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERREIRA, Macilio da Silva e MENEZES, Maria Viviane e BARROS, Leliane Nunes de. Plan existence verification as symbolic model checking. 2018, Anais.. Porto Alegre: SBC, 2018. Disponível em: https://doi.org/10.5753/eniac.2018.4409. Acesso em: 09 nov. 2024.
APA
Ferreira, M. da S., Menezes, M. V., & Barros, L. N. de. (2018). Plan existence verification as symbolic model checking. In Proceedings. Porto Alegre: SBC. doi:10.5753/eniac.2018.4409
NLM
Ferreira M da S, Menezes MV, Barros LN de. Plan existence verification as symbolic model checking [Internet]. Proceedings. 2018 ;[citado 2024 nov. 09 ] Available from: https://doi.org/10.5753/eniac.2018.4409
Vancouver
Ferreira M da S, Menezes MV, Barros LN de. Plan existence verification as symbolic model checking [Internet]. Proceedings. 2018 ;[citado 2024 nov. 09 ] Available from: https://doi.org/10.5753/eniac.2018.4409
Trabalho de evento
PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos (2017)
Santos, Viviane Bonadia dos; Barros, Leliane Nunes de
Source: Anais. Conference titles: Encontro Nacional de Inteligência Artificial e Computacional - ENIAC. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Viviane Bonadia dos e BARROS, Leliane Nunes de. PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos. 2017, Anais.. Porto Alegre: SBC, 2017. Disponível em: http://comissoes.sbc.org.br/ce-ia/pg/historico/base/ENIAC-2017/Anais-ENIAC-2017.pdf. Acesso em: 09 nov. 2024.
APA
Santos, V. B. dos, & Barros, L. N. de. (2017). PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos. In Anais. Porto Alegre: SBC. Recuperado de http://comissoes.sbc.org.br/ce-ia/pg/historico/base/ENIAC-2017/Anais-ENIAC-2017.pdf
NLM
Santos VB dos, Barros LN de. PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos [Internet]. Anais. 2017 ;[citado 2024 nov. 09 ] Available from: http://comissoes.sbc.org.br/ce-ia/pg/historico/base/ENIAC-2017/Anais-ENIAC-2017.pdf
Vancouver
Santos VB dos, Barros LN de. PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos [Internet]. Anais. 2017 ;[citado 2024 nov. 09 ] Available from: http://comissoes.sbc.org.br/ce-ia/pg/historico/base/ENIAC-2017/Anais-ENIAC-2017.pdf
Trabalho de evento
Da folksonomia para formatos da Web semântica: estudo exploratório no sistema Arquigrafia (2015)
Barros, Leliane Nunes de ; Yucra, Marisol Solis; Souza, Ricardo Teixeira de; Wassermann, Renata ; Gerosa, Marco Aurélio
Source: Anais. Conference titles: Simpósio Brasileiro de Sistemas Colaborativos. Unidade: IME
Subjects: FOLKSONOMIA, ONTOLOGIAS, WEB SEMÂNTICA, REDES SOCIAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BARROS, Leliane Nunes de et al. Da folksonomia para formatos da Web semântica: estudo exploratório no sistema Arquigrafia. 2015, Anais.. Porto Alegre: SBC, 2015. Disponível em: http://www.lbd.dcc.ufmg.br/colecoes/sbsc/2015/008.pdf. Acesso em: 09 nov. 2024.
APA
Barros, L. N. de, Yucra, M. S., Souza, R. T. de, Wassermann, R., & Gerosa, M. A. (2015). Da folksonomia para formatos da Web semântica: estudo exploratório no sistema Arquigrafia. In Anais. Porto Alegre: SBC. Recuperado de http://www.lbd.dcc.ufmg.br/colecoes/sbsc/2015/008.pdf
NLM
Barros LN de, Yucra MS, Souza RT de, Wassermann R, Gerosa MA. Da folksonomia para formatos da Web semântica: estudo exploratório no sistema Arquigrafia [Internet]. Anais. 2015 ;[citado 2024 nov. 09 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/sbsc/2015/008.pdf
Vancouver
Barros LN de, Yucra MS, Souza RT de, Wassermann R, Gerosa MA. Da folksonomia para formatos da Web semântica: estudo exploratório no sistema Arquigrafia [Internet]. Anais. 2015 ;[citado 2024 nov. 09 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/sbsc/2015/008.pdf
Trabalho de evento
Planejamento probabilístico com becos sem saída (2015)
Simão, Thiago Dias; Barros, Leliane Nunes de ; Silva, Felipe Leno da
Source: Anais. Conference titles: Encontro Nacional de Inteligência Artificial e Computacional - ENIAC. Unidades: IME, EP
Subjects: PROCESSOS DE MARKOV, PROCESSOS ESTOCÁSTICOS, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Thiago Dias e BARROS, Leliane Nunes de e SILVA, Felipe Leno da. Planejamento probabilístico com becos sem saída. 2015, Anais.. Porto Alegre: SBC, 2015. Disponível em: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2015/025.pdf. Acesso em: 09 nov. 2024.
APA
Simão, T. D., Barros, L. N. de, & Silva, F. L. da. (2015). Planejamento probabilístico com becos sem saída. In Anais. Porto Alegre: SBC. Recuperado de http://www.lbd.dcc.ufmg.br/colecoes/eniac/2015/025.pdf
NLM
Simão TD, Barros LN de, Silva FL da. Planejamento probabilístico com becos sem saída [Internet]. Anais. 2015 ;[citado 2024 nov. 09 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2015/025.pdf
Vancouver
Simão TD, Barros LN de, Silva FL da. Planejamento probabilístico com becos sem saída [Internet]. Anais. 2015 ;[citado 2024 nov. 09 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2015/025.pdf
Trabalho de evento
Regressão de ações não determinísticas: uma solução simbólica (2013)
Menezes, Maria Viviane de; Barros, Leliane Nunes de ; Pereira, Silvio do Lago
Source: Anais. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Assunto: GERAÇÃO DE PLANOS EM INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENEZES, Maria Viviane de e BARROS, Leliane Nunes de e PEREIRA, Silvio do Lago. Regressão de ações não determinísticas: uma solução simbólica. 2013, Anais.. Porto Alegre: SBC, 2013. Disponível em: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf. Acesso em: 09 nov. 2024.
APA
Menezes, M. V. de, Barros, L. N. de, & Pereira, S. do L. (2013). Regressão de ações não determinísticas: uma solução simbólica. In Anais. Porto Alegre: SBC. Recuperado de http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf
NLM
Menezes MV de, Barros LN de, Pereira S do L. Regressão de ações não determinísticas: uma solução simbólica [Internet]. Anais. 2013 ;[citado 2024 nov. 09 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf
Vancouver
Menezes MV de, Barros LN de, Pereira S do L. Regressão de ações não determinísticas: uma solução simbólica [Internet]. Anais. 2013 ;[citado 2024 nov. 09 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf
Trabalho de evento
Processo de decisão Markoviano com transição valorada por conjunto modelado como um Jogo alternado de soma zero (2012)
Barros, Leliane Nunes de ; Franco, Fábio de Oliveira; Delgado, Karina Valdivia
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidades: IME, EACH
Assunto: PROCESSOS DE MARKOV
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BARROS, Leliane Nunes de e FRANCO, Fábio de Oliveira e DELGADO, Karina Valdivia. Processo de decisão Markoviano com transição valorada por conjunto modelado como um Jogo alternado de soma zero. 2012, Anais.. Porto Alegre: SBC, 2012. . Acesso em: 09 nov. 2024.
APA
Barros, L. N. de, Franco, F. de O., & Delgado, K. V. (2012). Processo de decisão Markoviano com transição valorada por conjunto modelado como um Jogo alternado de soma zero. In Proceedings. Porto Alegre: SBC.
NLM
Barros LN de, Franco F de O, Delgado KV. Processo de decisão Markoviano com transição valorada por conjunto modelado como um Jogo alternado de soma zero. Proceedings. 2012 ;[citado 2024 nov. 09 ]
Vancouver
Barros LN de, Franco F de O, Delgado KV. Processo de decisão Markoviano com transição valorada por conjunto modelado como um Jogo alternado de soma zero. Proceedings. 2012 ;[citado 2024 nov. 09 ]
Trabalho de evento
Jogos markovianos alternados com probabilidades imprecisas dadas por conjuntos credais (2011)
Franco, Fábio de Oliveira; Barros, Leliane Nunes de ; Delgado, Karina Valdivia ; Cozman, Fabio Gagliardi
Source: Anais. Conference titles: Congresso da Sociedade Brasileira de Computação. Unidades: IME, EACH, EP
Subjects: RACIOCÍNIO PROBABILÍSTICO, MÉTODOS MCMC, TEORIA DOS JOGOS, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FRANCO, Fábio de Oliveira et al. Jogos markovianos alternados com probabilidades imprecisas dadas por conjuntos credais. 2011, Anais.. Porto Alegre: SBC, 2011. Disponível em: http://www.lbd.dcc.ufmg.br/colecoes/enia/2011/0034.pdf. Acesso em: 09 nov. 2024.
APA
Franco, F. de O., Barros, L. N. de, Delgado, K. V., & Cozman, F. G. (2011). Jogos markovianos alternados com probabilidades imprecisas dadas por conjuntos credais. In Anais. Porto Alegre: SBC. Recuperado de http://www.lbd.dcc.ufmg.br/colecoes/enia/2011/0034.pdf
NLM
Franco F de O, Barros LN de, Delgado KV, Cozman FG. Jogos markovianos alternados com probabilidades imprecisas dadas por conjuntos credais [Internet]. Anais. 2011 ;[citado 2024 nov. 09 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/enia/2011/0034.pdf
Vancouver
Franco F de O, Barros LN de, Delgado KV, Cozman FG. Jogos markovianos alternados com probabilidades imprecisas dadas por conjuntos credais [Internet]. Anais. 2011 ;[citado 2024 nov. 09 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/enia/2011/0034.pdf
Trabalho de evento
Uso da técnica de planejamento hierárquico no sequenciamento automático de atividades colaborativas (2010)
Challco, Geiser Chalco; Gerosa, Marco Aurélio ; Barros, Leliane Nunes de
Source: Anais. Conference titles: Simpósio Brasileiro de Informática na Educação - SBIE. Unidade: IME
Subjects: EDUCAÇÃO A DISTÂNCIA, TECNOLOGIA DA COMUNICAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CHALLCO, Geiser Chalco e GEROSA, Marco Aurélio e BARROS, Leliane Nunes de. Uso da técnica de planejamento hierárquico no sequenciamento automático de atividades colaborativas. 2010, Anais.. Porto Alegre: SBC, 2010. Disponível em: http://www.proativa.virtual.ufc.br/sbie2010/Anais_do_XXI_SBIE/Artigos_Resumidos.html. Acesso em: 09 nov. 2024.
APA
Challco, G. C., Gerosa, M. A., & Barros, L. N. de. (2010). Uso da técnica de planejamento hierárquico no sequenciamento automático de atividades colaborativas. In Anais. Porto Alegre: SBC. Recuperado de http://www.proativa.virtual.ufc.br/sbie2010/Anais_do_XXI_SBIE/Artigos_Resumidos.html
NLM
Challco GC, Gerosa MA, Barros LN de. Uso da técnica de planejamento hierárquico no sequenciamento automático de atividades colaborativas [Internet]. Anais. 2010 ;[citado 2024 nov. 09 ] Available from: http://www.proativa.virtual.ufc.br/sbie2010/Anais_do_XXI_SBIE/Artigos_Resumidos.html
Vancouver
Challco GC, Gerosa MA, Barros LN de. Uso da técnica de planejamento hierárquico no sequenciamento automático de atividades colaborativas [Internet]. Anais. 2010 ;[citado 2024 nov. 09 ] Available from: http://www.proativa.virtual.ufc.br/sbie2010/Anais_do_XXI_SBIE/Artigos_Resumidos.html
Trabalho de evento
Um estudo sobre a modelagem do domínio de geometria descritiva para a construção de um sistema tutor inteligente (2000)
Barros, Leliane Nunes de ; Santos, Eduardo Toledo
Conference titles: Simpósio Brasileiro de Informática na Educação - SBIE. Unidades: IME, EP
Subjects: GEOMETRIA DESCRITIVA, INTELIGÊNCIA ARTIFICIAL, INTERNET
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BARROS, Leliane Nunes de e SANTOS, Eduardo Toledo. Um estudo sobre a modelagem do domínio de geometria descritiva para a construção de um sistema tutor inteligente. 2000, Anais.. Porto Alegre: SBC, 2000. Disponível em: https://repositorio.usp.br/directbitstream/52eaeece-026a-4554-a300-99ad582c19fa/Um_estudo_sobre_a_modelagem_do_dom%C3%ADnio_de_geometria_descritiva_para_a_constru%C3%A7%C3%A3o_de_um_sistema_tutori_nteligente.pdf. Acesso em: 09 nov. 2024.
APA
Barros, L. N. de, & Santos, E. T. (2000). Um estudo sobre a modelagem do domínio de geometria descritiva para a construção de um sistema tutor inteligente. In . Porto Alegre: SBC. Recuperado de https://repositorio.usp.br/directbitstream/52eaeece-026a-4554-a300-99ad582c19fa/Um_estudo_sobre_a_modelagem_do_dom%C3%ADnio_de_geometria_descritiva_para_a_constru%C3%A7%C3%A3o_de_um_sistema_tutori_nteligente.pdf
NLM
Barros LN de, Santos ET. Um estudo sobre a modelagem do domínio de geometria descritiva para a construção de um sistema tutor inteligente [Internet]. 2000 ;[citado 2024 nov. 09 ] Available from: https://repositorio.usp.br/directbitstream/52eaeece-026a-4554-a300-99ad582c19fa/Um_estudo_sobre_a_modelagem_do_dom%C3%ADnio_de_geometria_descritiva_para_a_constru%C3%A7%C3%A3o_de_um_sistema_tutori_nteligente.pdf
Vancouver
Barros LN de, Santos ET. Um estudo sobre a modelagem do domínio de geometria descritiva para a construção de um sistema tutor inteligente [Internet]. 2000 ;[citado 2024 nov. 09 ] Available from: https://repositorio.usp.br/directbitstream/52eaeece-026a-4554-a300-99ad582c19fa/Um_estudo_sobre_a_modelagem_do_dom%C3%ADnio_de_geometria_descritiva_para_a_constru%C3%A7%C3%A3o_de_um_sistema_tutori_nteligente.pdf

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Conference titles

Funding Agencies