0000000000672996
AUTHOR
Enric Cosme I Llópez
InnoCOVID-19: Primer congreso multidisciplinar Innocampus
[EN] The main objective of the educational innovation project Innocampus Explora is to show the existing interrelationship between the different scientific and technical degrees of Burjassot-Paterna campus of the University of Valencia. In this paper we present the InnoCOVID-19 Congress, activity organized during the 2020-21 academic year by the work team, made up of students and professors from all the Campus faculties.The objective of this conference, developed in virtual format, was to present the multidisciplinary projects that were formed on campus in response to the health crisis caused by the coronavirus SARS-CoV-2. This activity contributes to a quality transversal training for all …
Innocampus Explora: Una aproximación multidisciplinar a la problemática ambiental
[ES] Presentamos las actividades del proyecto de innovación Innocampus Explora desarrollado en el campus de Burjassot-Paterna de la Universitat de València y cuyo objetivo principal es mostrar la interrelación existente entre los diferentes grados científicos y técnicos del campus. En la presente anualidad, el equipo de trabajo integrado por estudiantes y profesores de todos las facultades y escuelas del campus de Burjassot-Paterna, ha desarrollado actividades en torno a la problemática medioambiental. Una visión transversal e interdisciplinar de los problemas de los usos del plástico y de la energía nuclear que enlaza con varios de los Objetivos de Desarrollo Sostenible (ODS) dictados por …
Some Contributions to the Algebraic Theory of Automata
En el present treball estudiarem els autòmats des d'una perspectiva tant algebraica com coalgebraica. Volem aprofitar la natura dual d'aquests objectes per a presentar un marc unificador que explique i estenga alguns resultats recents de la teoria d'autòmats. Per tant, la secció 2 conté nocions i definicions preliminars per a mantenir el treball tan contingut com siga possible. Així, presentarem les nocions d'àlgebra i coàlgebra per a un endofunctor. També introduirem alguns conceptes sobre monoides i llenguatges. En aquest capítol també exposarem les nocions d'autòmats deterministes i no deterministes, homomorfismes i bisimulacions d'autòmats i productes i coproductes d'aquestes estructure…
Eilenberg Theorems for Many-sorted Formations
A theorem of Eilenberg establishes that there exists a bijectionbetween the set of all varieties of regular languages and the set of all vari-eties of finite monoids. In this article after defining, for a fixed set of sortsSand a fixedS-sorted signature Σ, the concepts of formation of congruenceswith respect to Σ and of formation of Σ-algebras, we prove that the alge-braic lattices of all Σ-congruence formations and of all Σ-algebra formationsare isomorphic, which is an Eilenberg's type theorem. Moreover, under asuitable condition on the free Σ-algebras and after defining the concepts offormation of congruences of finite index with respect to Σ, of formation offinite Σ-algebras, and of form…
IDM 2021 - Noether
El pòster mostra una factorització. A la part superior trobem una aplicació f, de A a B, representat pel treball de recollir verdures del camp i dipositar-les al magatzem. Es descompon en tres aplicacions, una sobrejectiva (a l'esquerra), la projecció d'A a A/Ker(f), donada per la partició de les verdures segons el seu lloc d'emmagatzematge; una aplicació bijectiva (inferior), des d’A/Ker(f) fins a Im(f), donada pel dipòsit de les piles a les caixes corresponents; i una d’injectiva (dreta), la inclusió d’Im(f) a B, donada pel moviment de les caixes cap al seu destí. L’agricultor és la matemàtica Emmy Noether, autora d’aquest teorema i una figura fonamental de l’àlgebra actual. Aquest pòster…