The isomorphism problem for ideal class monoids of numerical semigroups

The author is partially supported by the grant number ProyExcel_00868 (Proyecto de Excelencia de la Junta de Andalucía) and by the Junta de Andalucía Grant Number FQM--343. He also acknowledges financial support from the grant PID2022-138906NB-C21 funded by MICIU/AEI/10.13039/501100011033 and by ERDF "A way of making Europe'', and from the Spanish Ministry of Science and Innovation (MICINN), through the "Severo Ochoa and María de Maeztu Programme for Centres and Unities of Excellence'' (CEX2020-001105-M). Funding for open access charge: Universidad de Granada / CBUA.From any poset isomorphic to the poset of gaps of a numerical semigroup S with the order induced by S, one can recover S. As an application, we prove that two different numerical semigroups cannot have isomorphic posets (with respect to set inclusion) of ideals whose minimum is zero. We also show that given two numerical semigroups S and T, if their ideal class monoids are isomorphic, then S must be equal to T.Junta de Andalucía ProyExcel_00868 FQM--343MICIU/AEI/10.13039/501100011033 PID2022-138906NB-C21ERDF "A way of making Europe''Spanish Ministry of Science and Innovation CEX2020-001105-MUniversidad de Granada / CBU

Almost symmetric numerical semigroups with high type

We establish a one-to-one correspondence between numerical semigroups of genus g and almost symmetric numerical semigroups with Frobenius number F and type F − 2g , provided that F is greater than or equal to 4g − 1.The first author was partially supported by the Junta de Andalucía research group FQM-366, and by the project MTM2017-84890-P (MINECO/FEDER, UE). The second author was partially supported by the research groups FQM-024 (Junta de Extremadura/FEDER funds) and by the project MTM2015-65764-C3-1-P (MINECO/FEDER, UE) and by the project MTM2017-84890-P (MINECO/FEDER, UE)

Fundamentos lógicos de la programación

Este manuscrito cubre los contenidos de la asignatura Fundamentos Lógicos de la Programación. Incluye demostración formal y semántica de la lógica proposicional, semántica y deducción en lógica de primer orden. Por último se describe el principio de resolución para deducción automática.This manuscript covers the contents of the course Principles of logic in programming. It includes both formal and semantic propositional logic, first order logic, and resolution principle for automatic theorem proving

Detection and Analysis of Anomalies in People Density and Mobility Through Wireless Smartphone Tracking

One of the challenges of this century is to use the data that a smart-city provides to make life easier for its inhabitants. Speci cally, within the area of urban mobility, the possibility of detecting anomalies in the movement of pedestrians and vehicles is an issue of vital importance for the planning and administration of a city. The aim of this paper is to propose a methodology to detect the movement of people from the information transmitted by their smart mobile devices, analyze these data, and be able to detect or recognize anomalies in their behavior. In order to validate this methodology, different experiments have been carried out based on real data aiming to extract knowledge, as well as obtaining a characterisation of the anomalies detected. The use of this methodology might help the city policy makers to better manage their mobility and transport resources.This work was supported by in part by the Dirección General de Tráfico under Project SPIP2017-02116, in part by the Ministerio de Ciencia, Innovación y Universidades under Grant RTI2018-102002-A-I00, in part by the Ministerio español de Economía y Competitividad under Grant TIN2017-85727-C4-2-P, in part by the FEDER under Grant TEC2015-68752, and in part by the FEDER y Junta de Andalucía under Project B-TIC-402-UGR18

Matemática Discreta y Álgebra Lineal

En estas notas se da la teoría básica y ejemplos (muchos de ellos implementados en maxima) sobre álgebra lineal y matemática discreta.In these notes we explain the basics of linear algebra and discrete mathematics. We provide plenty of examples implemented in maxima

Some Research Questions and Results of UC3M in the E-Madrid Excellence Network

32 slides.-- Contributed to: 2010 IEEE Global Engineering Education Conference (EDUCON), Madrid, Spain, 14-16 April, 2010.-- Presented by C. Delgado Kloos.Proceedings of: 2010 IEEE Global Engineering Education Conference (EDUCON), Madrid, Spain, 14-16 April, 2010Universidad Carlos III de Madrid is one of the six main participating institutions in the eMadrid excellence network, as well as its coordinating partner. In this paper, the network is presented together with some of the main research lines carried out by UC3M. The remaining papers in this session present the work carried out by the other five universities in the consortium.The Excellence Network eMadrid, “Investigación y Desarrollo de Tecnologías para el e-Learning en la Comunidad de Madrid” is being funded by the Madrid Regional Government under grant No. S2009/TIC-1650. In addition, we acknowledge funding from the following research projects: iCoper: “Interoperable Content for Performance in a Competency-driven Society” (eContentPlus Best Practice Network No. ECP-2007-EDU-417007), Learn3: Hacia el Aprendizaje en la 3ª Fase (“Plan Nacional de I+D+I” TIN2008-05163/ TSI), Flexo: “Desarrollo de aprendizaje adaptativo y accesible en sistemas de código abierto” (AVANZA I+D, TSI-020301- 2008-19), España Virtual (CDTI, Ingenio 2010, CENIT, Deimos Space), SOLITE (CYTED 508AC0341), and “Integración vertical de servicios telemáticos de apoyo al aprendizaje en entornos residenciales” (Programa de creación y consolidación de grupos de investigación de la Universidad Carlos III de Madrid).Publicad

Gradient, UC3M

En este artículo se presenta un resumen de las líneas de investigación que se realizan en el Laboratorio Gradient perteneciente al Grupo GAST (Grupo de Aplicaciones y Servicios Telemáticos) del Departamento de Ingeniería Telemática de la Universidad Carlos III de Madrid. La temática principal de investigación es la aplicación de tecnologías para la mejora de la enseñanza y el aprendizaje. El resumen se centra en tres líneas: Personalización del aprendizaje, uso de dispositivos móviles con fines educativos y aplicaciones de Realidad Virtual y Realidad Aumentada en educación.En este artículo se presenta un resumen de las líneas de investigación que se realizan en el Laboratorio Gradient perteneciente al Grupo GAST (Grupo de Aplicaciones y Servicios Telemáticos) del Departamento de Ingeniería Telemática de la Universidad Carlos III de Madrid. La temática principal de investigación es la aplicación de tecnologías para la mejora de la enseñanza y el aprendizaje. El resumen se centra en tres líneas: Personalización del aprendizaje, uso de dispositivos móviles con fines educativos y aplicaciones de Realidad Virtual y Realidad Aumentada en educación.Publicad

Autoimmune Diseases and COVID-19 as Risk Factors for Poor Outcomes: Data on 13,940 Hospitalized Patients from the Spanish Nationwide SEMI-COVID-19 Registry

(1) Objectives: To describe the clinical characteristics and clinical course of hospitalized patients with COVID-19 and autoimmune diseases (ADs) compared to the general population. (2) Methods: We used information available in the nationwide Spanish SEMI-COVID-19 Registry, which retrospectively compiles data from the first admission of adult patients with COVID-19. We selected all patients with ADs included in the registry and compared them to the remaining patients. The primary outcome was all-cause mortality during admission, readmission, and subsequent admissions, and secondary outcomes were a composite outcome including the need for intensive care unit (ICU) admission, invasive and non-invasive mechanical ventilation (MV), or death, as well as in-hospital complications. (3) Results: A total of 13,940 patients diagnosed with COVID-19 were included, of which 362 (2.6%) had an AD. Patients with ADs were older, more likely to be female, and had greater comorbidity. On the multivariate logistic regression analysis, which involved the inverse propensity score weighting method, AD as a whole was not associated with an increased risk of any of the outcome variables. Habitual treatment with corticosteroids (CSs), age, Barthel Index score, and comorbidity were associated with poor outcomes. Biological disease-modifying anti-rheumatic drugs (bDMARDs) were associated with a decrease in mortality in patients with AD. (4) Conclusions: The analysis of the SEMI-COVID-19 Registry shows that ADs do not lead to a different prognosis, measured by mortality, complications, or the composite outcome. Considered individually, it seems that some diseases entail a different prognosis than that of the general population. Immunosuppressive/immunoregulatory treatments (IST) prior to admission had variable effects

Erratum: Global, regional, and national comparative risk assessment of 84 behavioural, environmental and occupational, and metabolic risks or clusters of risks for 195 countries and territories, 1990–2017: a systematic analysis for the Global Burden of Disease Study 2017

Interpretation: By quantifying levels and trends in exposures to risk factors and the resulting disease burden, this assessment offers insight into where past policy and programme efforts might have been successful and highlights current priorities for public health action. Decreases in behavioural, environmental, and occupational risks have largely offset the effects of population growth and ageing, in relation to trends in absolute burden. Conversely, the combination of increasing metabolic risks and population ageing will probably continue to drive the increasing trends in non-communicable diseases at the global level, which presents both a public health challenge and opportunity. We see considerable spatiotemporal heterogeneity in levels of risk exposure and risk-attributable burden. Although levels of development underlie some of this heterogeneity, O/E ratios show risks for which countries are overperforming or underperforming relative to their level of development. As such, these ratios provide a benchmarking tool to help to focus local decision making. Our findings reinforce the importance of both risk exposure monitoring and epidemiological research to assess causal connections between risks and health outcomes, and they highlight the usefulness of the GBD study in synthesising data to draw comprehensive and robust conclusions that help to inform good policy and strategic health planning