A Computational Approach to Verbal Width for Engel Words in Alternating Groups

It is known that every element in the alternating group A n , with n ≥ 5 , can be written as a product of at most two Engel words of arbitrary length. However, it is still unknown if every element in an alternating group is an Engel word of Arbitrary length. In this paper, a different approach to this problem is presented, getting new results for small alternating groups

Dynamic Spectrum Sharing in Cognitive Radio Networks Using Truthful Mechanisms and Virtual Currency

In cognitive radio networks, there are scenarios where secondary users (SUs) utilize opportunistically the spectrum originally allocated to primary users (PUs). The spectrum resources available to SUs fluctuates over time due to PUs activity, SUs mobility and competition between SUs. In order to utilize these resources efficiently spectrum sharing techniques need to be implemented. In this paper we present an approach based on game-theoretical mechanism design for dynamic spectrum sharing. Each time a channel is not been used by any PU, it is allocated to SUs by a central spectrum manager based on the valuations of the channel reported by all SUs willing to use it. When an SU detects a free channel, it estimates its capacity according to local information and sends the valuation of it to the spectrum manager. The manager calculates a conflict-free allocation by implementing a truthful mechanism. The SUs have to pay for the allocation an amount which depends on the set of valuations. The objective is not to trade with the spectrum, but to share it according to certain criteria. For this, a virtual currency is defined and therefore monetary payments are not necessary. The spectrum manager records the credit of each SU and redistributes the payments to them after each spectrum allocation. The mechanism restricts the chances of each SU to be granted the channel depending on its credit availability. This credit restriction provides an incentive to SUs to behave as benefit maximizers. If the mechanism is truthful, their best strategy is to communicate the true valuation of the channel to the manager, what makes possible to implement the desired spectrum sharing criteria. We propose and evaluate an implementation of this idea by using two simple mechanisms which are proved to be truthful, and that are tractable and approximately efficient. We show the flexibility of these approach by illustrating how these mechanisms can be modified to achieve different sharing objectives which are trade-offs between efficiency and fairness. We also investigate how the credit restriction and redistribution affects the truthfulness of these mechanisms.This work was supported by the Spanish government through Projects TIN 2008-06739-C04-02 and TIN 2010-21378-C02-02.Vidal Catalá, JR.; Pla, V.; Guijarro Coloma, LA.; Martínez Bauset, J. (2013). Dynamic Spectrum Sharing in Cognitive Radio Networks Using Truthful Mechanisms and Virtual Currency. Ad Hoc Networks. 11:1858-1873. https://doi.org/10.1016/j.adhoc.2013.04.010S185818731

Reversal of gastrointestinal carcinoma-induced immunosuppression and induction of antitumoural immunity by a combination of cyclophosphamide and gene transfer of IL-12

Immunotherapy-based strategies for gastrointestinal carcinomas (GIC) have been exploited so far, but these approaches have to face strong mechanisms of immune escape induced by tumours. We previously demonstrated that sub-therapeutic doses of an adenovirus expressing IL-12 genes (AdIL-12) mediated a potent antitumour effect against subcutaneous (s.c.) colorectal carcinomas (CRC) in mice pre-treated with low doses of cyclophosphamide (Cy). In our study we used this combination to assess its impact on the immunosuppressive microenvironment. In s.c. CRC model we demonstrated that non-responder mice failed to decrease Tregs in tumour, spleen and peripheral blood. Reconstitution of Tregs into tumour-bearing mice treated with combined therapy abolished the antitumoural effect. In addition, Cy + AdIL-12 modified Tregs functionality by inhibiting the in vitro secretion of IL-10 and TGF-β and their ability to inhibit dendritic cells activation. Combined treatment decreased the number of myeloid-derived suppressor cells (MDSCs) in comparison to non-treated mice and, interestingly, administration of Tregs restored splenic MDSCs population. Furthermore, combined therapy potently generated specific cytotoxic IFN-γ-secreting CD4+ T cells able to eradicate established CRC tumours after adoptive transfer. Finally, we evaluated the combination on disseminated CRC and pancreatic carcinoma (PC). Cy + AdIL-12 were able to eradicate liver metastatic CRC (47%) and PC tumour nodules (40%) and to prolong animal survival. The results of this study support the hypothesis that Cy + AdIL-12 might be a valid immunotherapeutic strategy for advanced GIC.Fil: Malvicini, Mariana. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Austral; ArgentinaFil: Ingolotti, Mariana. Universidad Austral; ArgentinaFil: Piccioni, Flavia Valeria. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Austral; ArgentinaFil: García, Mariana Gabriela. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Austral; ArgentinaFil: Bayo Fina, Juan Miguel. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Austral; ArgentinaFil: Atorrasagasti, María Catalina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Austral; ArgentinaFil: Alaniz, Laura Daniela. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Austral; ArgentinaFil: Aquino, Jorge Benjamin. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Austral; ArgentinaFil: Espinoza, Jaime A.. Universidad Adolfo Ibañez; Chile. Universidad de La Frontera; ChileFil: Gidekel, Manuel. Universidad Adolfo Ibañez; ChileFil: Scharovsky, Olga Graciela. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Rosario. Facultad de Ciencias Medicas. Instituto de Genetica Experimental; ArgentinaFil: Matar, Pablo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Rosario. Facultad de Ciencias Medicas. Instituto de Genetica Experimental; ArgentinaFil: Mazzolini Rizzo, Guillermo Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Austral; Argentin

Smart Companion Pillow – An EPS@ISEP 2019 Project

Part of the Advances in Intelligent Systems and Computing book seriesThis paper describes the design and development of a Smart Companion Pillow, named bGuard, designed by a multinational and multidisciplinary team enrolled in the European Project Semester (EPS) at Instituto Superior de Engenharia do Porto (ISEP) in the spring of 2019. Nowadays, parents spend most of the day at work and become naturally worried about the well-being of their young children, specially babies. The aim of bGuard is to provide a 24-hour remotely accessible baby monitoring service, contributing to reduce parenting stress. The team, based on the survey of related products, as well as on marketing, sustainability, ethics and deontology analyses, developed a remotely interactive Smart Companion Pillow to monitor the baby’s health and room air quality. The collected data, once it is saved on an Internet of Things (IoT) platform, becomes remotely accessible. The bGuard pillow, thanks to its shape, reduces the risk of the baby rolling from back to tummy, lowering the risk of Sudden Infant Death Syndrome (SIDS).info:eu-repo/semantics/publishedVersio

Boundedness of the domain of definition is undecidable for polynomial odes

Consider the initial-value problem with computable parameters dx dt = p(t, x) x(t0) = x0, where p : Rn+1 ! Rn is a vector of polynomials and (t0, x0) 2 Rn+1. We show that the problem of determining whether the maximal interval of definition of this initial-value problem is bounded or not is in general undecidable

Computational bounds on polynomial differential equations

In this paper we study from a computational perspective some prop-erties of the solutions of polynomial ordinary di erential equations. We consider elementary (in the sense of Analysis) discrete-time dynam-ical systems satisfying certain criteria of robustness. We show that those systems can be simulated with elementary and robust continuous-time dynamical systems which can be expanded into fully polynomial ordinary diferential equations with coe cients in Q[ ]. This sets a computational lower bound on polynomial ODEs since the former class is large enough to include the dynamics of arbitrary Turing machines. We also apply the previous methods to show that the problem of de-termining whether the maximal interval of defnition of an initial-value problem defned with polynomial ODEs is bounded or not is in general undecidable, even if the parameters of the system are computable and comparable and if the degree of the corresponding polynomial is at most 56. Combined with earlier results on the computability of solutions of poly-nomial ODEs, one can conclude that there is from a computational point of view a close connection between these systems and Turing machines

Immunomodulation for intestinal transplantation by allograft irradiation, adjunct donor bone marrow infusion, or both.

BACKGROUND: The passenger leukocytes in the intestine have a lineage profile that predisposes to graft-versus-host disease (GVHD) in some animal models and have inferior tolerogenic qualities compared with the leukocytes in the liver, other solid organs, and bone marrow. Elimination by ex vivo irradiation of mature lymphoid elements from the bowel allografts is known to eliminate the GVHD risk. We hypothesized that infusion of donor bone marrow cells (BMC) in recipients of irradiated intestine would improve tolerogenesis without increasing the risk of GVHD. METHODS: Orthotopic small intestine transplantation was performed with the GVHD-prone Lewis (LEW)-to-Brown Norway (BN) combination and the reverse GVHD-resistant BN-to-LEW model under a short course of tacrolimus treatment (1 mg/kg/day, days 0-13, 20, 27). Grafts were irradiated ex vivo, using a 137Cs source. In selected experimental groups, donor BMC (2.5 x 10(8)) were infused on the day of small intestine transplantation. RESULTS: The unmodified LEW intestine remained intact, whether transplanted alone or with adjunct donor BMC infusion, but all of the BN recipients died of GVHD after approximately 2 months. Intestinal graft irradiation (10 Gy) effectively prevented the GVHD and prolonged survival to 92.5 days, but all of the BN recipients died with chronic rejection of the LEW grafts, which was prevented by infusion of adjunct donor BMC without causing GVHD. In the GVHD-resistant reverse strain direction (BN-->LEW), all intestinal recipients treated for 27 days with tacrolimus survived > or =150 days without regard for graft irradiation or adjunct BMC, but chronic rejection was severe in the irradiated intestine, moderate in the unaltered graft, and least in the irradiated intestine transplanted with adjunct BMC. Mild arteritis in the 150 day allografts of both strain combinations (i.e., LEW--> BN and BN-->LEW) may have been irradiation associated, but this was prevented when weekly doses of tacrolimus were continued for the duration of the experiment rather than being stopped at 27 days. CONCLUSIONS: Recipients are protected from GVHD by irradiating intestinal allografts, but the resulting leukocyte depletion leads to chronic rejection of the transplanted bowel. The chronic rejection is prevented with adjunct donor BMC without causing GVHD. Although application of the strategy may be limited by the possibility of radiation injury, the results are consistent with the paradigm that we have proposed to explain organ-induced graft acceptance, tolerance, and chronic rejection