Menu

Filtros : "PRETO, SANDRO MÁRCIO DA SILVA" "Financiamento IBM" Removidos: "Indexado no: Medline" "PATOLOGIA" "LÓGICA" "oku" Limpar

Filtros

Limitar por data

  • 1

1 - 2 (2 registros)

  • Trabalho de evento

    Logical approximation and formal verification of neural networks (2024)

    Pevidor, João Felipe Lobo; Preto, Sandro ; Finger, Marcelo

    Fonte: Anais. Nome do evento: Workshop Brasileiro de Lógica - WBL. Unidade: IME

    Assuntos: REDES NEURAIS, LÓGICA MATEMÁTICA

    Versão PublicadaAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      PEVIDOR, João Felipe Lobo e PRETO, Sandro e FINGER, Marcelo. Logical approximation and formal verification of neural networks. 2024, Anais.. Porto Alegre: SBC, 2024. Disponível em: https://doi.org/10.5753/wbl.2024.2347. Acesso em: 11 set. 2024.

    • APA

      Pevidor, J. F. L., Preto, S., & Finger, M. (2024). Logical approximation and formal verification of neural networks. In Anais. Porto Alegre: SBC. doi:10.5753/wbl.2024.2347

    • NLM

      Pevidor JFL, Preto S, Finger M. Logical approximation and formal verification of neural networks [Internet]. Anais. 2024 ;[citado 2024 set. 11 ] Available from: https://doi.org/10.5753/wbl.2024.2347

    • Vancouver

      Pevidor JFL, Preto S, Finger M. Logical approximation and formal verification of neural networks [Internet]. Anais. 2024 ;[citado 2024 set. 11 ] Available from: https://doi.org/10.5753/wbl.2024.2347

  • Artigo de periodico

    Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic (2023)

    Finger, Marcelo ; Preto, Sandro

    Fonte: Journal of Logic and Computation. Unidade: IME

    Assuntos: LÓGICA MATEMÁTICA, PROGRAMAÇÃO LINEAR

    Disponível em 13/10/2024Acesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo e PRETO, Sandro. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. Journal of Logic and Computation, 2023Tradução . . Disponível em: https://doi.org/10.1093/logcom/exad059. Acesso em: 11 set. 2024.

    • APA

      Finger, M., & Preto, S. (2023). Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. Journal of Logic and Computation. doi:10.1093/logcom/exad059

    • NLM

      Finger M, Preto S. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic [Internet]. Journal of Logic and Computation. 2023 ;[citado 2024 set. 11 ] Available from: https://doi.org/10.1093/logcom/exad059

    • Vancouver

      Finger M, Preto S. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic [Internet]. Journal of Logic and Computation. 2023 ;[citado 2024 set. 11 ] Available from: https://doi.org/10.1093/logcom/exad059
  • 1

1 - 2 (2 registros)

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo     2012 - 2024