Buscar
Mostrando ítems 1-10 de 58
On the construction of explosive relation algebras
(College Publications, 2021)
Fork algebras are an extension of relation algebras obtained by extending the set of logical symbols with a binary operator called fork. This class of algebras was introduced by Haeberer and Veloso in the early 90’s aiming ...
El problema matricial de Bochner
(2021)
Comenzamos introduciendo los conceptos necesarios para poder entrar en contexto del Problema matricial de Bochner, el cual plantea la pregunta: ¿Cuáles son los pesos matriciales de tamaño N cuya sucesión de polinomios ...
Situações desencadeadoras de aprendizagem no ensino de álgebra para estudantes deficientes visuais
(Universidade Tecnológica Federal do ParanáCuritibaBrasilLicenciatura em MatemáticaUTFPR, 2020-11-20)
Adopting the assumptions of Historical-Cultural Theory and Activity Theory and relying on the theoretical and methodological basis of the Teaching Guidance Activity (MOURA, 2010), this research sought to analyze how the ...
Manipulando dados espaciais Fuzzy em R usando o pacote fsr
(Dois VizinhosBrasil, 2021-12-17)
GIS and spatial data science (SDS) tools have been recently ap- proaching each other by establishing bridge technologies between them. R as one of the most prominent programming languages used in SDS projects has been ...
Quantum credit loans
(Elsevier Science, 2021-04)
Quantum models based on the mathematics of quantum mechanics (QM) have been developed in cognitive sciences, game theory and econophysics. In this work a generalization of credit loans is introduced by using the vector ...
Introdução à álgebra nos anos iniciais do Ensino Fundamental: uma análise a partir da Teoria da Objetivação
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM EDUCAÇÃO, 2020-02-28)
The purpose of this investigation occurs in the Brazilian cultural context where the
systematic teaching-learning of algebra in the early years of elementary school was
specifically oriented after the approval of the ...
A categorical account of replicated data types
(Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2019-12)
Replicated Data Types (rdts) have been introduced as a suitable abstraction for dealing with weakly consistent data stores, which may (temporarily) expose multiple, inconsistent views of their state. In the literature, ...
Classical realizability and side-effects
(UR.FC.CMAT; PEDECIBA Área Matemática; Université Sorbonne Paris Cité, 2017)
This thesis focused on the computational content of classical proofs, and specifically on proofs with side-effects and Krivine classical realizability. The manuscript is divided in three parts, the first of which consists ...