Expressive power and complexity of a logic with quantifiers that count proportions of sets

We present a second-order logic of proportional quantifiers, SOLP, which is essentially a first-order language extended with quantifiers that act upon second-order variables of a given arity r and count the fraction of elements in a subset of r-tuples of a model that satisfy a formula. Our logic is capable of expressing proportional versions of different problems of complexity up to NP-hard as, for example, the problem of deciding if at least a fraction 1/n of the set of vertices of a graph form a clique; and fragments within our logic capture complexity classes as NL and P, with auxiliary ordering relation. When restricted to monadic second-order variables, our logic of proportional quantifiers admits a semantic approximation based on almost linear orders, which is not as weak as other known logics with counting quantifiers (restricted to almost orders), for it does not have the bounded number of degrees property. Moreover, we show that, in this almost-ordered setting, different fragments of this logic vary in their expressive power, and show the existence of an infinite hierarchy inside our monadic language. We extend our inexpressibility result of almost-ordered structure to a fragment of SOLP, which in the presence of full order captures P. To obtain all our inexpressibility results, we developed combinatorial games appropriate for these logics, whose application could go beyond the almost-ordered models and hence are interesting by themselves.Peer ReviewedPreprin

FastWorks FPA: una herramienta para automatizar la medición del tamaño funcional

La automatización de la medición del tamaño funcional es un reto para la industria del software. Una solución automatizada de conteo no es trivial, debido a que debe proporcionar un nivel aceptable en la exactitud de las mediciones de acuerdo a los estándares de la industria. En este artículo se presenta una herramienta prototipo para la medición del tamaño funcional para aplicaciones de software modeladas en un marco de trabajo para desarrollo llamado FastWorks. El estudio detalla la arquitectura del maco de trabajo y del componente de medición, el diseño de las reglas de mapeo y conteo del procedimiento de medición basado en el método IFPUG FPA y la validación de los resultados del conteo de puntos de función ob-tenidos por la herramienta.Sociedad Argentina de Informática e Investigación Operativ

Antimicrobial resistance of clinical isolates of anaerobic bacteria from a regional hospital in Costa Rica

From 28 clinical samples of a regional hospital in Costa Rica, 31 anaerobic bacterial strains were isolated through 12 months (year 2006). Anaerobic susceptibility test were performed to all isolates, using the reference agar dilution method, ATB-ANA system (bioMérieux), and E-test strips (AB Biodisk). Nineteen strains were identified as Bacteroides fragilis group, 6 as Eggerthella lenta, 3 as Propionibacterium sp. and 3 as Clostridium sp. All of the 19 strains of B. fragilis were metronidazole sensible (MIC of 0.25 a 2 µg/ml) and clindamycin resistant (MIC of 4 µg/ml to > 128 µg/ml); some strains showed high MICs: penicillin 512 µg/ml, cefotaxime 256 µg/ml, cephalotin 128 µg/ml and clindamycin 128 µg/ml). Very few of the Gram-positive rods were resistant to the antibiotics tested; however two strains showed MICs to metronidazole > 128 µg/ml.The high MICs to some antibiotics and the high resistance to clindamycin in the B. fragilis group strains are relevant findings considering their wide therapeutic use in Costa Rica. Several results obtained by the use of ATB-ANA were discrepant with those obtained when using agar dilution and E-test methods. On this basis, we recommend the use of E-test for routine testing and the agar dilution reference method for more accurate evaluations.Se aislaron 31 cepas de bacterias anaerobias a partir de 28 muestras clínicas de un hospital regional de Costa Rica, recolectadas durante un período de 12 meses (en el año 2006). Se identificaron y se determinó la susceptibilidad a los antimicrobianos a todos los aislamientos utilizando 3 técnicas: el método de referencia de dilución en agar, el sistema ATB-ANA (bioMérieux) y E-test (AB Biodisk). El 19 de los aislamientos fueron identificados como del grupo Bacteroides fragilis, 6 como Eggerthella lenta. 3 como Propionibacterium y 3 como Clostridium. Todos las cepas del grupo B. fragilis fueron sensible a metronidazol (con concentraciones inhibitorias mínimas, CMI, de 0.25 a 2 μg/ml) y resistentes a clindamicina (CM de 4 a >128 μg/ml). Algunas cepas de lasestudiadas mostraron CMI altas como: penicilina 512 μg/ml, cefotaxime 256 μg/ml, cefolotina 128 μg/ml y clindamicina 128 μg/ml). Pocos bacilos Gram positivos fueron resistentes a los antibióticos ensayados, sin embargo, dos cepas mostraron CMI a metronidazol >128 μg/ml. La CMI considerablemente elevadas a algunos antibióticos y la alta resistencia a la clindamicina en aislamientos del grupos B. fragilis son datos muyimportantes para el uso terapéutico que se le da principalmente a la clindamicina en infecciones por anaerobios. Los resultados del ATB-ANA discrepan con los obtenidos por el método de referencia y el E-test, por lo que recomendamos el uso de estas dos últimas metodologías de manera rutinaria en laboratorios clínicos para las pruebas de sensibilidad a los antibióticos en bacterias anaerobias

Hormone replacement therapy reduces lipid oxidation directly at the arterial wall: A possible link to estrogens’ cardioprotective effect through atherosclerosis prevention

Background: The first step in atherosclerosis formation is the ingurgitation of an oxidized low‑density lipid (LDL) molecule by a macrophage which then turns into a foam cell within the vascular wall and initiates a cascade of inflammatory responses. Could it be that the potential cardioprotective effect observed in women receiving hormone replacement therapy (HRT) is modulated by estrogen’s capacity to decrease LDL oxidation in the vascular wall and thus decrease atherosclerotic foam cells? Materials and Methods: Thirty‑four adult female Wistar rats were divided into three groups. All were double oophorectomized. After recovery, Group 1 received Estradiol Valerate subcutaneous (SC) (2.5 mg/kg/week), Group 2 Estradiol Valerate SC (2.5 mg/kg/week) + Progesterone SC (10 mg/kg/48 h), and Group 3 Placebo SC. After 10 weeks, all rats were sacrificed and a vascular dissection performed. Malondialdehyde (MDA) was measured directly on the vascular extract to determine lipid oxidative levels and HRTs’ effect. Renal and hepatic tissue was also studied. Total antioxidant status (TAS) was measured to determine overall oxidative behavior. Results: Vascular MDA levels for Group 1 = 80.80 (±16.8) μmol/ml/g, Group 2 = 107.69 (±24.9) μmol/ml/g, and Group 3 = 140.96 (±32.4) μmol/ml/g. ANOVA (P < 0.05), with a post hoc Bonferroni corrective t‑test, showed that both Group 1 and 2 have statistically significant lower levels of MDA than Group 3. Renal tissue showed less oxidative damage in the HRT groups, while hepatic tissue showed an inverse behavior with less lipid oxidation in the placebo group. TAS decreased with oophorectomy in all groups but decreased less in both groups that received HRT compared to placebo (P < 0.05). Conclusion: HRT significantly reduces lipid oxidation directly in the arterial wall.Universidad de Costa Rica/[]/UCR/Costa RicaUCR::Vicerrectoría de Docencia::Salud::Facultad de Medicina::Escuela de Medicin

FastWorks FPA: Una herramienta para automatizar la medición del tamaño funcional

La automatización de la medición del tamaño funcional es un reto para la industria del software. Una solución automatizada de conteo no es trivial, debido a que debe proporcionar un nivel aceptable en la exactitud de las mediciones de acuerdo a los estándares de la industria. En este artículo se presenta una herramienta prototipo para la medición del tamaño funcional para aplicaciones de software modeladas en un marco de trabajo para desarrollo llamado FastWorks. El estudio detalla la arquitectura del maco de trabajo y del componente de medición, el diseño de las reglas de mapeo y conteo del procedimiento de medición basado en el método IFPUG FPA y la validación de los resultados del conteo de puntos de función obtenidos por la herramienta.Ministerio de Ciencia, Tecnología y Telecomunicaciones//MICITT/Costa RicaUniversidad de Costa Rica/[834-B5-A18]/UCR/Costa RicaUCR::Vicerrectoría de Docencia::Ingeniería::Facultad de Ingeniería::Escuela de Ciencias de la Computación e InformáticaUCR::Vicerrectoría de Investigación::Unidades de Investigación::Ingeniería::Centro de Investigaciones en Tecnologías de Información y Comunicación (CITIC

Calidad y diversidad de la dieta en la población urbana de Argentina

Una dieta variada se asocia a una mayor probabilidad de incorporar micronutrientes esenciales. El índice de diversidad de dieta (IDD) es el indicador que mide esta variedad, mientras que el índice de calidad de dieta (ICD) determina cuánto de esa diversidad refleja la inclusión de alimentos saludables. El objetivo del estudio fue evaluar la calidad y diversidad de la dieta de la población argentina identificando las diferencias por sexo, edad, nivel socioeconómico, estado nutricional y región. La muestra fue de 1266 sujetos de población urbana, de ambos sexos, entre 15 y 65 años y de todos los NSE. Se realizó una evaluación antropométrica y de la ingesta, a través de 2 recordatorios de 24 horas. El IDD se evaluó siguiendo las guías propuestas en el año 2016 por la Organización de las Naciones Unidas para la Alimentación y la Agricultura y el desarrollo del ICD se realizó siguiendo la metodología de Imamura y col. El ICD fue relativamente bajo, con un puntaje de 63.9%. El IDD fue de 4.48 de un máximo de 10, lo que refleja una dieta poca variada; adicionalmente, solo el 50% de la población informó una dieta variada. Estos indicadores fueron significativamente menores en las personas con bajo NSE. El IDD y el porcentaje de personas con dieta diversa fue mayor en los habitantes del área metropolitana de Buenos Aires. Este estudio evidenció que la calidad de la dieta en la población argentina es baja y con un consumo limitado de los grupos de alimentos que más aportan micronutrientesUCR::Vicerrectoría de Docencia::Salud::Facultad de Medicina::Escuela de MedicinaUCR::Vicerrectoría de Investigación::Unidades de Investigación::Ciencias Sociales::Instituto de Investigaciones Psicológicas (IIP)UCR::Vicerrectoría de Investigación::Unidades de Investigación::Ciencias de la Salud::Centro de Investigación en Neurociencias (CIN

Catalytic Ozonation Using Edge-Hydroxylated Graphite-Based Materials

"This document is the Accepted Manuscript version of a Published Work that appeared in final form in ACS Sustainable Chemistry & Engineering, copyright © American Chemical Society after peer review and technical editing by the publisher. To access the final edited and published work see https://doi.org/10.1021/acssuschemeng.9b04646"[EN] This work reports the catalytic ozonation activity of high surface area graphite materials selectively functionalized at the edges with hydroxyl groups. The graphite-based catalyst shows higher activity than the parent graphite, commercial activated carbon, commercial multiwall carbon nanotubes, commercial diamond nanoparticles, graphene oxide, or reduced graphene oxide. Importantly, the catalytic activity of the graphite-based material is also higher than those of benchmark ozonation catalysts such as Co3O4 or Fe2O3. The graphite catalyst was reused up to 10 times with only a minor decrease in the catalytic activity. Catalytic activation of O-3 leads to the generation of hydroperoxide radicals and O-1(2). These results have been interpreted as derived from the combination of a suitable work function and the presence of phenolic/semiquinone-like redox pairs, as well as high dispersibility in water due to the presence of -OH groups. This work highlights the possibility of engineering active and stable carbocatalysts for reactions typically promoted by transition metals.Financial support by the Spanish Ministry of Science and Innovation (Severn Ochoa and RTI2018-098237-CO21) and Generalitat Valenciana (Prometeo 2017/083) is gratefully acknowledged. S.N. is thankful for financial support from the Fundacion Ramon Areces (XVIII Concurso Nacional para la Adjudication de Ayudas a la Investigacion en Ciencias de la Vida y de la Materia, 2016), Ministerio de Ciencia, Innovacion y Universidades RTI2018-099482-A-I00 project and Generalitat Valenciana grupos de investigacion consolidables 2019 (ref: AICO/2019/214) project.Bernat-Quesada, F.; Espinosa-López, JC.; Barbera, V.; Alvaro Rodríguez, MM.; Galimberti, M.; Navalón Oltra, S.; García Gómez, H. (2019). Catalytic Ozonation Using Edge-Hydroxylated Graphite-Based Materials. ACS Sustainable Chemistry & Engineering. 7(20):17443-17452. https://doi.org/10.1021/acssuschemeng.9b04646S174431745272

Engineering of activated carbon surface to enhance the catalytic activity of supported cobalt oxide nanoparticles in peroxymonosulfate activation

[EN] Commercial activated carbon has been functionalized by chemical or thermal treatments to introduce surface oxygen functional groups able to anchor small cobalt nanoparticles with superior catalytic activity for peroxymonosulfate activation. The resulting activated carbon supports where characterized by combustion elemental analysis, Fourier-transformed infrared spectroscopy, Raman spectroscopy, isothermal N-2 adsorption, temperature programmed desorption/mass spectrometry, X-ray diffraction and scanning electron microscopy. Activated carbon functionalization by nitric acid resulted the most appropriated method to provide a higher population of oxygenated functional groups able to anchor small cobalt nanoparticles. The catalytic activity of supported oxidized metal nanoparticles (4.7 +/- 0.05 nm) was higher than analogous non-oxidized cobalt nanoparticles (2.9 +/- 0.14 nm). The use of analogous supported oxidized iron or copper nanoparticles resulted in lower catalytic activity. Importantly, the supported oxidized cobalt nanoparticles at 0.2 wt% loading exhibit higher activity than benchmark catalysts such as unsupported Co3O4 solid or even homogeneous Co2+ ions. This is a reflection of the relatively low estimated activation energy for both processes, peroxymonosulfate decomposition and phenol degradation. The estimated activation energy values are about 30 and 32 kJ mol(-1). The stability of the most active catalyst was assessed by performing eight consecutive uses without observing decrease of catalytic activity, neither metal leaching or metal nanoparticle aggregation. Turnover numbers/turnover frequencies values as high as 440(5)/8.10(5)h(-1) for peroxymonosulfate activation and 39.10(3)/68.10(3) h(-1) for phenol degradation at pH 7 and 20 degrees C have been estimated, respectively. Electron paramagnetic resonance measurements and selective quenching experiments revealed that the generated sulfate radicals from peroxymonosulfate rapidly are transformed in highly reactive hydroxyl radicals. In excellent agreement with previous reports, this work demonstrates the importance of an adequate activated carbon functionalization to obtain superior and stable catalysts for peroxymonosulfate activation.Financial support by the Spanish Ministry of Economy and Competitiveness (Severo Ochoa, CTQ2015-65963-CQ-R1) and CTQ2014-53292-R is gratefully acknowledged. Generalitat Valenciana is also thanked for funding (Prometeo 2017/083). S.N. thanks financial support by the Fundacion Ramon Areces (XVIII Concurso Nacional para la Adjudicacion de Ayudas a la Investigacion en Ciencias de la Vida y de la Materia, 2016).Espinosa-López, JC.; Manickam-Periyaraman, P.; Bernat-Quesada, F.; Sivanesan, S.; Alvaro Rodríguez, MM.; García Gómez, H.; Navalón Oltra, S. (2019). Engineering of activated carbon surface to enhance the catalytic activity of supported cobalt oxide nanoparticles in peroxymonosulfate activation. Applied Catalysis B Environmental. 249:42-53. https://doi.org/10.1016/j.apcatb.2019.02.043S425324

Atlas de la ciencia española: propuesta de un sistema de información científica

En el presente trabajo se propone un sistema de información cuyo objetivo general consiste en representar gráficamente la investigación científica española. Dicha representación gráfica se concibe como una colección de mapas –de ahí el término atlas– que persigue tres objetivos fundamentales: • Facilitar a la comunidad científica española un instrumento para el análisis de la estructura que forman los diferentes campos científicos y sus correspondientes frentes de investigación, con el fin de mejorar su capacidad de interacción con otros dominios de conocimiento e institucionales pertenecientes al Sistema de Ciencia en que se integran. • Brindar un interfaz gráfico que permita funciones de navegación a través de los espacios semánticos que forman los diferentes mapas. Este interfaz permitirá el acceso a la información documental disponible al modo de los sistemas denominados Bibliotecas Digitales. • Representar la evolución de la investigación en los dominios institucionales y de conocimiento objeto de estudio a través de mapas dinámicos que mejoren la capacidad de la comunidad científica para analizar tendencias en el desarrollo de futuras líneas de investigación.In this paper we propose an information system that allows the graphic representation of the Spanish research. The representation is composed by a collection of maps –an atlas– that follow three basic objectives: • To give to the the researchers a tool for the analysis of the scientific fields structure and research fronts. The principal goal of the system is to provide a powerful interface with the knowledge domains. • To develop a graphic interface as a navigation tool through semantic spaces in the maps. This interface gives access to a specific systems called Digital Libraries. • To represent the evolution of the production in both institutional and knowledge domains, with dynamic maps, that can be useful to analyse the future trends in scientific research.Publicad

Derecho, Fútbol y Sociedad

El objeto de la presente monografía, es el de conducir e ilustrar al lector respecto a la relación coexistente entre los fenómenos jurídicos sociales y el fútbol1. Deducimos, apartados de una perspectiva jurídica, que el fútbol es un deporte más de los que actualmente son reconocidos por el C.O.I2, los cuales conforman el ámbito deportivo a nivel global, tiene su propio organismo de control oficial, la F.I.F.A3. Este es un ente independiente con personería jurídica, tiene su sede administrativa en la ciudad de Ginebra, Suiza. La FIFA tiene como función entre otras, el regular todo lo concerniente a nivel profesional con relación a éste, como la afiliación de las federaciones de cada país, velar por las relaciones laborales y seguridad social de los deportistas afiliados con los clubes sean respetadas, los aspectos marcarios, transparencia, códigos de conducta de los afiliados y demás aspectos de carácter normativo que se encuentra al interior de su esfera. Para otra porción de la población mundial, el fútbol pasa a ser una distracción para el pueblo, desviando así la mirada de los problemas internos de un estado, pan y circo4 o es el opio del pueblo5 como se atreven a llamarle algunos, a este grupo, simplemente son los que les es indiferente, no le dan relevancia por su poca o inexistente empatía con el deporte. Luego nos encontramos con el sector más radical, el que va mucho más allá de ver el fútbol como un pasatiempo, más allá de una forma de pretender pasar uno o dos días a la semana relajado frente a un televisor, o estar departiendo con un grupo de amigos, disfrutando de unas buenas copas sentados en un bar, es un sector extremadamente radical que traspasa las líneas fronterizas, y el cual es el principal objeto de estudio dentro de nuestro trabajo de investigación, el grupo de radicales denominado BARRAS BRAVAS.6,7 Para los versados del tema, el fútbol es una forma de vida, incluso, es palmario que para otros esto va aún más allá del simple hecho de acompañar y defender los colores de un equipo en un estadio, o fuera de él, junto con su familia, hermandad, tribu urbana,8 hinchada o su ya mencionado sector más radical, las “BARRAS BRAVAS”. Durante el desarrollo de la monografía resaltaremos, que si bien es cierto, que el fútbol es una forma de entretenimiento para el espectador, reconocemos que el fútbol es un fenómeno social dinámico, el cual despierta álgidas pasiones de amores y odios, entre sus fervientes, y fieles seguidores, es válido reafirmar, que el fútbol es una forma de vida, tanto para los jugadores como para los administrativos porque el fútbol es su profesión, dado que el dependen su sustento y el de sus familias , es la razón por la que los jugadores lo dan todo dentro del campo de juego con el fin de mostrar sus capacidades técnicas, es su lucha diaria de manifestar que son los mejores en su puesto y así tener opciones de escalar a una mejor posición económica o conservar la misma, porque entre mejor sea el jugador, mejores serán sus ingresos ya sea por el salario que recibe o por parte del club dueño de sus derechos de representación y las prestaciones que éste pueda recibir por los contratos publicitarios suscitados entre las diferentes empresas nacionales o multinacionales, por otro lado, está el componente humano, el cual conforma parte pasiva del espectáculo, nos referimos al aficionado, al hincha9, el jugador número doce (12), que está ubicado afuera del campo apoyando a viva voz, sufriendo o gozando, dependiendo de las circunstancias que se estén presentando adentro el campo de juego, los hinchas, que son parte esencial del equipo, del club, ya sea por su labor anímica, como pecuniaria, ya que de estos depende los ingresos económicos de un club, sea pagando el valor de una entrada, comprando mercancía publicitaria, camisas, merchandise10, participando de eventos, pagando una membrecía o abonos en algunos casos. Adentrándonos en las entrañas de estas hinchadas, existe un sector aún más radical, es un sector más exclusivo que no cualquier aficionado puede formar parte de este núcleo, son las llamadas barras bravas, aficionados extremistas que entienden la dogmática y filosofía de un club de fútbol como una religión; este sector exclusivo va más allá de una forma de vivir el fútbol como deporte, por lo general tienen en común el propósito de defender a ultranza los colores de su equipo, indiferente les es que sus conductas colinden con la delincuencia o realizar comportamientos antijurídicos. La falta de tolerancia y respeto hacia su semejante ha llegado a tal extremo, que hecho casual o no de encontrarse con la barra de otro equipo, desencadena batallas campales donde no solo atenten con la vida de sus rivales, evidentemente creando un menoscabo en un bien jurídico tutelado, como es el de la integridad, o constitucionalmente protegido como es la vida11 en sí misma, si no la de sí mismos, incluso llegando más allá, afectado el patrimonio público y el privado, es de este punto donde se desprende situaciones y relaciones jurídicas que son las que posteriormente entraremos a analizar con más detalle. El desarrollo del trabajo de investigación, consiste en observar las relaciones jurídicas que se desprenden al interior del estado Colombiano frente a las llamadas “BARRAS BRAVAS” y toda la afectación de estas tanto de manera positiva como negativa, observaremos el problema social que en el interior de estas se vive y su impacto a las comunidades, que siendo ajenas a éstas, son terceros que se ven afectados en su patrimonio personal y material, teniendo que soportar un detrimento en éste, como por ejemplo, los propietarios de establecimientos públicos y privados, como tiendas de abarrotes que están ubicados en los costados de las carreteras, los propietarios que manifestasen que se ven involucrados cuando las barras bravas se desplazan de una ciudad a otra, ellos dicen ser víctimas de asaltos a sus establecimientos, de abusos físicos a su persona, y que se sienten impotentes para actuar en su legítima defensa, puesto que temen poner en riesgo su integridad física y hasta su vida. Otros factores incidentales son aquellos propietarios de bienes inmuebles e inmuebles aledaños a los estadios los cuales son afectados por las conductas violentas de estas barras, como el constante hecho de romper los vidrios de las ventanas, los grafitis hechos en las paredes exteriores en el inmueble, o cualquier manifestación vandálica llevada por la euforia del momento, dicen estos que tales conductas han llevado a la depreciación económica de sus propiedades. El Gobierno nacional trabajando mancomunadamente con la Dimayor, la Policía Nacional, organizaciones no gubernamentales y demás entes administrativos, han diseñado programas y políticas públicas como goles en paz y el plan decenal de seguridad comodidad y convivencia en el futbol, 2014 -2024 con el fin de motivar la participación ciudadana y de los actores violentos, para poder llevar una sana convivencia, gracias a estos se lograron materializar acercamientos con resultados positivos con los líderes de las BARRAS BRAVAS.Facultad de Derecho - Centro De Investigaciones Sociojurídica