Zobrazeno 1 - 10
of 185
pro vyhledávání: '"Moura, Leonardo"'
Autor:
Stikan, Rafael Pacheco, de Moura, Leonardo Caputo, Loeffler, Carlos Friedrich, Lara, Luciano de Oliveira Castro
Publikováno v:
In Engineering Analysis with Boundary Elements May 2024 162:141-156
We introduce a new programming paradigm called oracle-guided decision programming in which a program specifies a Markov Decision Process (MDP) and the language provides a universal policy. We prototype a new programming language, Dodona, that manifes
Externí odkaz:
http://arxiv.org/abs/2012.11401
Functional programming languages are particularly well-suited for building automated reasoning systems, since (among other reasons) a logical term is well modeled by an inductive type, traversing a term can be implemented generically as a higher-orde
Externí odkaz:
http://arxiv.org/abs/2003.01685
Autor:
Ullrich, Sebastian, de Moura, Leonardo
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 2 (April 13, 2022) lmcs:7421
In interactive theorem provers (ITPs), extensible syntax is not only crucial to lower the cognitive burden of manipulating complex mathematical objects, but plays a critical role in developing reusable abstractions in libraries. Most ITPs support suc
Externí odkaz:
http://arxiv.org/abs/2001.10490
Typeclasses provide an elegant and effective way of managing ad-hoc polymorphism in both programming languages and interactive proof assistants. However, the increasingly sophisticated uses of typeclasses within proof assistants, especially within Le
Externí odkaz:
http://arxiv.org/abs/2001.04301
Autor:
MOURA, Leonardo Peixoto de
Publikováno v:
Repositório Institucional da UNIFEIUniversidade Federal de ItajubáUNIFEI.
Submitted by repositorio repositorio (repositorio@unifei.edu.br) on 2018-02-14T20:26:44Z No. of bitstreams: 1 dissertacao_moura_2018.pdf: 1014283 bytes, checksum: 39b8013636abb9ccb700ccd5e25026e9 (MD5)
Made available in DSpace on 2018-02-14T20:2
Made available in DSpace on 2018-02-14T20:2
Externí odkaz:
http://repositorio.unifei.edu.br/xmlui/handle/123456789/1070
Publikováno v:
Dialogia, Iss 46 (2023)
Este artigo visou analisar as boas práticas escolares que contribuíram para uma gestão escolar eficaz dentro do contexto pandêmico, tendo por foco uma escola técnica estadual, na cidade de São Paulo. Metodologicamente, realizou-se um estudo des
Externí odkaz:
https://doaj.org/article/73f04beb0f0b4295a89d53b40c8ef3af
Publikováno v:
In Computational Materials Science August 2023 227