Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Paulo Blauth Menezes"'
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319498140
SBMF
SBMF
Massive open online courses (MOOC) allows for distributed long-distance learning for extremely large student enrollment. Nowadays most universities throughout the world have their courses online. Web portals such as Coursera or edX join together cour
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::37cb8dd68b1e39281ebf5590d6c6479e
https://doi.org/10.1007/978-3-319-49815-7_11
https://doi.org/10.1007/978-3-319-49815-7_11
Autor:
Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Cláudio Naoto Fuzitaki, Fernando Antonio Monteiro Christoph D'Andrea
Publikováno v:
The Journal of Supercomputing. 36:51-81
Nautilus is a high-level specification and programming language having abstraction mechanisms not commonly found in other programming languages inspired by its semantic domain (a categorial model named Nonsequential Automata). It constitutes an elega
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c1fe5365f444542eeb3f55889fee051
https://doi.org/10.1007/s11227-006-3068-3
https://doi.org/10.1007/s11227-006-3068-3
Publikováno v:
Revista de Informática Teórica e Aplicada; v. 11, n. 2 (2004); 75-98
This work is a survey about the definition of “random sequence”. We emphasize the definition of Martin-Löf and the definition based on incompressibility (Kolmogorov complexity). Kolmogorov complexity is a profound and sofisticated theory of info
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d0ebd3d17f6c7d6a22a329eca8f87be4
https://doi.org/10.22456/2175-2745.5983
https://doi.org/10.22456/2175-2745.5983
Autor:
Graciela Cristina Bernardes Lima, Paulo Blauth Menezes, Renata Zanella, Bruna Aquino Ferreira Antunes
Publikováno v:
RENOTE; v. 3, n. 2 (2005): Edição regular-Novembro de 2005
Uma das características mais importantes em Sistemas de Ensino na Web é a tarefa Avaliação. Algumas de suas funções são verificar o quão e quanto o aluno aprendeu e fornecer feedback para o aluno e professor. Neste contexto, este artigo apres
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bdf4299624b8c3aad13f3341ec520981
https://doi.org/10.22456/1679-1916.14029
https://doi.org/10.22456/1679-1916.14029
Autor:
Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540290025
EUROCAST
EUROCAST
In this paper we continue along the same line of research started in earlier works, towards to providing a categorical view of structural complexity to optimization problems. The main aim is to provide a universal language for supporting formalisms t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::803cf82a84501764c73633a10bc66742
https://doi.org/10.1007/11556985_2
https://doi.org/10.1007/11556985_2
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540290025
EUROCAST
EUROCAST
In this paper a way to have structures with partiality in its internal structure in a categorical approach is presented and, with this, a category of partial graphs $\mathcal{G}r_{p}$ is given and partial automata are constructed from $\mathcal{G}r_{
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aaa0ccc821a74dd237001818f1f19daf
https://doi.org/10.1007/11556985_3
https://doi.org/10.1007/11556985_3
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540290025
EUROCAST
EUROCAST
Category Theory is a useful topic to the studies of Computer Science. In spite of experiments with children suggest that categorical reasoning is supposed to be natural to humans, the ones who study Category Theory expose difficulties. This paper sta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::08105726e59dcff98a8a8ee8b5edbc3f
https://doi.org/10.1007/11556985_8
https://doi.org/10.1007/11556985_8
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540290025
EUROCAST
EUROCAST
When modeling concurrent or parallel systems, we must be aware that basic activities of each system may be constituted by smaller activities, i.e. transitions may be conceptually refined into transactions. Nevertheless, the Unified Modeling Language
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::12fd88a07595e908159d3ab5417e0bb6
https://doi.org/10.1007/11556985_9
https://doi.org/10.1007/11556985_9
Autor:
Simone André da Costa, Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes, Cláudio Naoto Fuzitaki
Publikováno v:
Computer Aided Systems Theory-EUROCAST 2003 ISBN: 9783540202219
EUROCAST
EUROCAST
This paper describes some of the features of Nautilus specification/ programming language that make it interesting to develop complex systems and then explains how to map a Nautilus construction into Java constructions. The Nautilus constructions pre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::267cc6f98bb115d71bc34fe0d196f731
https://doi.org/10.1007/978-3-540-45210-2_23
https://doi.org/10.1007/978-3-540-45210-2_23
Autor:
Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes, Liara Aparecida dos Santos Leal
Publikováno v:
Computer Aided Systems Theory-EUROCAST 2003 ISBN: 9783540202219
EUROCAST
EUROCAST
Aiming at developing a theoretical framework for the formal study of NP-hard optimization problems, which is built on precise mathematical foundations, we have focused on structural properties of optimization problems related to approximative issue.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a3341ac3f2bf92487076fcf0e94a677a
https://doi.org/10.1007/978-3-540-45210-2_7
https://doi.org/10.1007/978-3-540-45210-2_7