DSpace Collection:http://repositorio.usfq.edu.ec/handle/23000/582025-11-04T05:56:01Z2025-11-04T05:56:01ZMathematical Principles and Applications of Blockchain Technology in E-Voting SystemsGuerrón Calero, Ivan Emiliohttp://repositorio.usfq.edu.ec/handle/23000/146612025-10-16T08:01:43Z2024-12-12T00:00:00ZTitle: Mathematical Principles and Applications of Blockchain Technology in E-Voting Systems
Authors: Guerrón Calero, Ivan Emilio
Abstract: El uso de la tecnología blockchain en los sistemas de voto electrónico tiene un gran
potencial para aportar soluciones a los problemas de seguridad, transparencia e integridad de
los actuales sistemas electorales. Este artículo analiza los antecedentes matemáticos de la tecnología blockchain, con especial referencia a la criptografía de curva elíptica y las funciones
hash criptográficas que garantizan la solidez del sistema de votación...
Description: The usage of blockchain technology in e-voting systems holds a lot of potential in providing
solutions to the problems of security, transparency and integrity in the current electoral
systems. This paper discusses the mathematical background of the blockchain technology, with
particular reference to elliptic curve cryptography and cryptographic hash functions that guarantee
the solidity of the voting system...2024-12-12T00:00:00ZEstructuras matemáticas en modelos de lenguajeCarrión García, Andrés Nicoláshttp://repositorio.usfq.edu.ec/handle/23000/145162025-09-13T08:01:18Z2024-12-11T00:00:00ZTitle: Estructuras matemáticas en modelos de lenguaje
Authors: Carrión García, Andrés Nicolás
Abstract: Este trabajo presenta un análisis detallado del modelo transformer decoder-only. A lo largo
del documento, se desglosan los componentes clave del modelo, como los embeddings, la
tokenización, la codificación posicional y el mecanismo de atención, desde una perspectiva
matemática. Se explica cómo cada uno de estos elementos permite al modelo interpretar y
generar lenguaje natural de manera eficiente, preservando tanto la semántica como la estructura
del texto...
Description: This document presents a detailed analysis of the decoder-only transformer model. Throughout
the paper, the key components of the model, such as embeddings, tokenization, positional
encoding and the attention mechanism, are broken down from a mathematical perspective. It
explains how each of these elements allows the model to interpret and generate natural language
efficiently, preserving both semantics and text structure...2024-12-11T00:00:00ZAnálisis de los efectos del boom petrolero en Ecuador desde una perspectiva de la Teoría de GrafosoZapata Zambrano, Carlos Gustavohttp://repositorio.usfq.edu.ec/handle/23000/142942025-07-05T08:01:28Z2025-01-09T00:00:00ZTitle: Análisis de los efectos del boom petrolero en Ecuador desde una perspectiva de la Teoría de Grafoso
Authors: Zapata Zambrano, Carlos Gustavo
Abstract: En un sistema económico, los diferentes sectores interactúan entre si intercambiando materiales y productos a cambio de dinero. La matriz input-output da en una fila cuanto dinero otros sectores usan para comprar sus bienes, productos o materiales. Viendo a la estructura como un grafo, con los sectores como los nodos y la tabla input-output como la matriz adyacente, se observa como fluyen los recursos a lo largo del sistema. De un grafo, se extraen medidas de centralidad como el weighted in-degree (peso de los edges que entran a un nodo) y el weighted out-degree (peso de los edges que salen de un nodo)...
Description: In an economic system, different sectors interact with each other by exchanging materials and products for money. The input-output matrix gives in one row how much money other sectors use to buy their goods, products or materials. Viewing the structure as a graph, with sectors as nodes and the input-output table as the adjacent matrix, shows how resources flow through the system. From a graph, centrality measures such as the weighted in-degree (weight of the edges entering a node) and the weighted out-degree (weight of the edges leaving a node) are extracted...2025-01-09T00:00:00ZDecidability and Semigroups : Undecidability of the Word Problem for SemigroupsVásconez Núñez, Adrian Camilohttp://repositorio.usfq.edu.ec/handle/23000/141732025-06-26T20:21:39Z2024-12-16T00:00:00ZTitle: Decidability and Semigroups : Undecidability of the Word Problem for Semigroups
Authors: Vásconez Núñez, Adrian Camilo
Abstract: En este trabajo presentamos un tratamiento accesible de la teoría de la computabilidad y de
su aplicación al problema de la palabra en semigrupos. Desarrollamos los fundamentos de las
máquinas de Turing y la computabilidad, culminando en la no decidibilidad del problema de
la parada. Utilizando este marco teórico, demostramos la no decidibilidad del problema de la
palabra en semigrupos, proporcionando un puente natural entre la teoría de la computabilidad y
el álgebra abstracta...
Description: In this work, we present an accessible treatment of computability theory and its application
to the word problem for semigroups. We develop the fundamentals of Turing machines and
computability, culminating in the undecidability of the halting problem. Using this framework,
we demonstrate the undecidability of the word problem for semigroups, thus building a natural
bridge between computability theory and abstract algebra...2024-12-16T00:00:00Z