Desarrollo de un algoritmo genético para análisis de problemas basados en grafos

El uso de grafos para modelar diferentes problemas es un enfoque que nos puede ayudar a resolver un gran número de ellos. Aun con la ayuda de los grafos, muchos de estos problemas presentan una complejidad computacional elevada, lo que hace necesaria la implementación de algoritmos heurísticos para facilitar el tratamiento de la información que estos nos aportan. Este Trabajo de Fin de Grado tratará el problema de la detección de comunidades en las Redes Sociales (RRSS). El imparable crecimiento de las RRSS y el inmenso número de usuarios conectados que en ellas se encuentran, las han convertido en un lugar donde conseguir una gran cantidad de información. Una de las características básicas de las RRSS, es la de permitir a sus usuarios agrupar, organizar y clasificar sus conexiones en diferentes grupos o “círculos”. Los usuarios que formen un grupo tendrán una característica en común, pudiendo ser compañeros de trabajo, amigos o “hobbies” por ejemplo. Esta clasificación variará en función del usuario y la RS a la que estemos haciendo referencia. Al observar estas relaciones entre usuarios en las RRSS, rápidamente podemos observar que es posible tratarlas como un grafo donde, cada usuario se corresponde con un nodo y las relaciones entre usuarios con las aristas. En este TFG se pretende desarrollar un algoritmo heurístico bio-inspirado que determinará automáticamente los diferentes grupos de usuarios en un dataset específico (Facebook en nuestro caso). Para evaluar la calidad de las soluciones encontradas se utilizará la densidad entre los nodos dentro y fuera de su comunidad, o grupo, para decidir si esta está bien definida o se podría mejorar

Sexuallidad, mecanismo de control social. Acciones performativas de la identidad

a traves de la produccion artistica exponer la sexualidad como un mecanismo de control social, que apoyandose en las tecnologias del lenguaje, la ciencia y la cultura, como creadores de identidad e ideologia,construyen un régimen politico basado en la opresion, heteropatriarcadoHerranz Velázquez, D. (2012). Sexuallidad, mecanismo de control social. Acciones performativas de la identidad. http://hdl.handle.net/10251/28095.Archivo delegad

Consciousness as an emergent phenomenon: A tale of different levels of description

One of the biggest queries in cognitive sciences is the emergence of consciousness from matter. Modern neurobiological theories of consciousness propose that conscious experience is the result of interactions between large-scale neuronal networks in the brain, traditionally described within the realm of classical physics. Here, we propose a generalized connectionist framework in which the emergence of "conscious networks" is not exclusive of large brain areas, but can be identified in subcellular networks exhibiting nontrivial quantum phenomena. The essential feature of such networks is the existence of strong correlations in the system (classical or quantum coherence) and the presence of an optimal point at which the system's complexity and energy dissipation are maximized, whereas free-energy is minimized. This is expressed either by maximization of the information content in large scale functional networks or by achieving optimal efficiency through the quantum Goldilock effect.Fil: Guevara, Ramón. Università di Padova; Italia. Centre National de la Recherche Scientifique; Francia. Universite de Paris; FranciaFil: Mateos, Diego Martín. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Matemática Aplicada del Litoral. Universidad Nacional del Litoral. Instituto de Matemática Aplicada del Litoral; Argentina. Universidad Autónoma de Entre Ríos; ArgentinaFil: Pérez Velázquez, José Luis. Ronin Institute; Estados Unido

Plan de seguridad y salud ocupacional para reducir los accidentes de trabajo en el área de producción de la Empresa Trapexa S.A.C., Lima, 2019

El presente trabajo de investigación, tuvo por objetivo reducir los accidentes en la empresa Trapexa S.A.C. en San Juan de Miraflores, detectar de qué manera la implementación de un Plan de seguridad y salud ocupacional reduce la gravedad y frecuencia de los accidentes, resultado no perder días de trabajo por descansos médicos. El interés de este estudio inicia en la ausencia de un Plan de seguridad y salud ocupacional para disminuir los accidentes ocurridos, ya que existen riesgos en los trabajos de mantenimiento y otros por la misma actividad que la empresa realiza. A causa de ello ocurren accidentes, que perjudican al trabajador y a su vez a la empresa por los días perdidos en descansos médicos; por ello esta investigación trabaja con dos variables como los son: Plan de Seguridad y Salud Ocupacional y Accidentes. El tipo de investigación es de enfoque cuantitativo de diseño cuasi experimental, con una población en este caso la cantidad de accidentes ocurridos en 26 semanas. La técnica es de recolección de datos. Para la validar los instrumentos se utilizó el criterio de juicios de expertos. Para poder analizar los datos se utilizó Microsoft Excel y con ellos se analizaron en el SPSS. De la investigación se llegó a la conclusión que la implementación de un plan de seguridad y salud ocupacional reduce los accidentes y con ello evitamos días perdidos. Con la implementación se mejoró puntos críticos como eran las charlas, capacitaciones e inspecciones los cuales se realizaban con poca frecuencia

Influencia de la conicidad de la guttapercha en la adaptación a la dentina de los materiales endodóncicos de obturación = Influencia da conicidade da gutta-percha na adaptaçao a dentina dos materiais endodonticos de obturaçao

Para determinar la posible influencia de la conicidad de la gutapercha en la adaptación de los materiales de obturación a las paredes dentinarias, se obturaron 60 conductos radiculares de dientes humanos mediante tres técnicas de obturación diferentes (condensación lateral, técnica mixta y técnica de la onda continua) utilizando gutapercha de diferentes conicidades; conicidad normalizada (0,02%) y conicidad aumentada (0,004%) formándose 6 grupos de estudio. de 10 especímenes cada uno. Grupo 1 conductos obturados mediante la técnica de la condensación lateral y gutapercha de conicidad normalizada, grupo 2 condensación lateral/conicidad aumentada, grupo 3 técnica mixta/ conicidad normalizada, grupo 4 técnica mixta/conicidad aumentada, grupo 5 onda continua/conicidad normalizada y grupo 6 onda continua/conicidad aumentada. Todos los grupos fueron obturados con el cemento sellador AH plus marcado con un pigmento fluorescente. Se realizaron 3 cortes transversales a los 3, 7 y 10 mm del ápice de cada uno de los especímenes y fueron observados y analizados mediante microscopia confocal laser. Se calcularon las medias de la máxima penetración del cemento en los túbulos dentinarios y el porcentaje del perímetro con penetración por grupos y tercios estudiados y se compararon entre grupos por tercios y entre tercios por grupos mediante los test Anova. No hubo diferencias estadísticamente significativas entre los grupos ni por grupos dentro de cada tercio. Si hubo diferencias estadísticamente significativas entre los tercios dentro de cada grupo. Ante las condiciones de nuestro estudio, tanto las técnicas como las conicidades de la gutapercha utilizadas no tienen influencia de forma estadísticamente significativas en los resultados de adaptación del material de obturación, siendo el tercio radicular el que si influencia de forma estadística en los resultados

Comparing the Update Expressivity of Communication Patterns and Action Models

Any kind of dynamics in dynamic epistemic logic can be represented as an action model. Right? Wrong! In this contribution we prove that the update expressivity of communication patterns is incomparable to that of action models. Action models, as update mechanisms, were proposed by Baltag, Moss, and Solecki in 1998 and have remained the nearly universally accepted update mechanism in dynamic epistemic logics since then. Alternatives, such as arrow updates that were proposed by Kooi and Renne in 2011, have update equivalent action models. More recently, the picture is shifting. Communication patterns are update mechanisms originally proposed in some form or other by Agotnes and Wang in 2017 (as resolving distributed knowledge), by Baltag and Smets in 2020 (as reading events), and by Velazquez, Castaneda, and Rosenblueth in 2021 (as communication patterns). All these logics have the same expressivity as the base logic of distributed knowledge. However, their update expressivity, the relation between pointed epistemic models induced by such an update, was conjectured to be different from that of action model logic. Indeed, we show that action model logic and communication pattern logic are incomparable in update expressivity. We also show that, given a history-based semantics and when restricted to (static) interpreted systems, action model logic is (strictly) more update expressive than communication pattern logic. Our results are relevant for distributed computing wherein oblivious models involve arbitrary iteration of communication patterns.Comment: In Proceedings TARK 2023, arXiv:2307.0400

Communication Pattern Logic: Epistemic and Topological Views

We propose communication pattern logic. A communication pattern describes how processes or agents inform each other, independently of the information content. The full-information protocol in distributed computing is the special case wherein all agents inform each other. We study this protocol in distributed computing models where communication might fail: an agent is certain about the messages it receives, but it may be uncertain about the messages other agents have received. In a dynamic epistemic logic with distributed knowledge and with modalities for communication patterns, the latter are interpreted by updating Kripke models. We propose an axiomatization of communication pattern logic, and we show that collective bisimilarity (comparing models on their distributed knowledge) is preserved when updating models with communication patterns. We can also interpret communication patterns by updating simplicial complexes, a well-known topological framework for distributed computing. We show that the different semantics correspond, and propose collective bisimulation between simplicial complexes