264 research outputs found

    The complexity of the nucleolus in compact games

    Get PDF
    This is the author accepted manuscript. The final version is available from ACM via the DOI in this recordThe nucleolus is a well-known solution concept for coalitional games to fairly distribute the total available worth among the players. The nucleolus is known to be NP-hard to compute over compact coalitional games, that is, over games whose functions specifying the worth associated with each coalition are encoded in terms of polynomially computable functions over combinatorial structures. In particular, hardness results have been exhibited over minimum spanning tree games, threshold games, and flow games. However, due to its intricate definition involving reasoning over exponentially many coalitions, a nontrivial upper bound on its complexity was missing in the literature and looked for. This article faces this question and precisely characterizes the complexity of the nucleolus, by exhibiting an upper bound that holds on any class of compact games, and by showing that this bound is tight even on the (structurally simple) class of graph games. The upper bound is established by proposing a variant of the standard linear-programming based algorithm for nucleolus computation and by studying a framework for reasoning about succinctly specified linear programs, which are contributions of interest in their own. The hardness result is based on an elaborate combinatorial reduction, which is conceptually relevant for it provides a "measure" of the computational cost to be paid for guaranteeing voluntary participation to the distribution process. In fact, the pre-nucleolus is known to be efficiently computable over graph games, with this solution concept being defined as the nucleolus but without guaranteeing that each player is granted with it at least the worth she can get alone, that is, without collaborating with the other players. Finally, this article identifies relevant tractable classes of coalitional games, based on the notion of type of a player. Indeed, in most applications where many players are involved, it is often the case that such players do belong in fact to a limited number of classes, which is known in advance and may be exploited for computing the nucleolus in a fast way.Part of E. Malizia’s work was supported by the European Commission through the European Social Fund and by Calabria Regio

    AQuoSA - adaptive quality of service architecture

    Get PDF
    This paper presents an architecture for quality of service (QoS) control of time-sensitive applications in multi-programmed embedded systems. In such systems, tasks must receive appropriate timeliness guarantees from the operating system independently from one another; otherwise, the QoS experienced by the users may decrease. Moreover, fluctuations in time of the workloads make a static partitioning of the central processing unit (CPU) that is neither appropriate nor convenient, whereas an adaptive allocation based on an on-line monitoring of the application behaviour leads to an optimum design. By combining a resource reservation scheduler and a feedback-based mechanism, we allow applications to meet their QoS requirements with the minimum possible impact on CPU occupation. We implemented the framework in AQuoSA (Adaptive Quality of Service Architecture (AQuoSA). http://aquosa.sourceforge.net), a software architecture that runs on top of the Linux kernel. We provide extensive experimental validation of our results and offer an evaluation of the introduced overhead, which is perfectly sustainable in the class of addressed applications

    FESEM evaluation of smear layer removal from conservatively shaped canals: laser activated irrigation (PIPS and SWEEPS) compared to sonic and passive ultrasonic activation—an ex vivo study

    Get PDF
    Background: Irrigation of the pulp space is a mandatory step to get rid of all its organic and inorganic content. Activation of the irrigants play a key role in the era of minimally invasive endodontics. The aim of this study was to assess the effectiveness of different irrigants activation methods in removing the smear layer at 1, 3, 5 and 8 mm from the apex from conservatively shaped canals. Methods: Eighty-five human mandibular premolars were selected. Specimens were shaped to TruShape 25/.06 and divided into 5 groups (1 control and 4 test groups) according to the final activation technique (EndoActivator, EA), Ultrasonic (EndoUltra, PUI) and Laser (PIPS and SWEEPS). EDTA (Ethylenediaminetetraacetic acid) followed by NaOCl (Sodium Hypochlorite) and again EDTA were activated for each test group. Specimens were then split longitudinally and observed by Field Emission Scanning Electron Microscopy (FESEM). Blinded evaluation of the presence of smear layer was performed at 1000X magnification, according to a 5-score index system. Comparison between groups were analysed statistically using the Kruskal–Wallis non-parametric analysis of variance. Bonferroni multiple comparison tests were used. Results: At 1 mm only PIPS and SWEEPS performed better than the control group. At 3, 5 and 8 mm from the apex, every activation technique showed statistically significant reduction of smear layer when compared to the control group. PIPS and SWEEPS obtained better cleanliness result compared to EA, while only PIPS was superior to PUI in terms of cleanliness. Conclusions: PIPS and SWEEPS showed the best results in conservative canal preparations. Nowadays, contemporary rotary instruments allow fast and minimally invasive shaping of the endodontic space. In this scenario irrigants’ activation may be regarded as a mandatory step to a favourable clinical outcome

    Panel on “Past and future of computer science theory”

    Get PDF
    The twenty-ninth edition of the SEBD (Italian Symposium on Advanced Database Systems), held on 5-9 September 2021 in Pizzo (Calabria Region, Italy), included a joint seminar on “Reminiscence of TIDB 1981” with invited talks given by some of the participants to the Advanced Seminar on Theoretical Issues in Databases (TIDB), which took place in the same region exactly forty years earlier. The joint seminar was concluded by a Panel on “The Past and the Future of Computer Science Theory” with the participation of four distinguished computer science theorists (Ronald Fagin, Georg Gottlob, Christos Papadimitriou and Moshe Vardi), who were interviewed by Giorgio Ausiello, Maurizio Lenzerini, Luigi Palopoli, Domenico Saccà and Francesco Scarcello. This paper reports the summaries of the four interviews

    Natural and experimental evolution of sexual conflict within Caenorhabditis nematodes

    Get PDF
    BACKGROUND: Although males and females need one another in order to reproduce, they often have different reproductive interests, which can lead to conflict between the sexes. The intensity and frequency of male-male competition for fertilization opportunities is thought to be an important contributor to this conflict. The nematode genus Caenorhabditis provides an opportunity to test this hypothesis because the frequency of males varies widely among species with different mating systems. RESULTS: We find evidence that there is strong inter- and intra-sexual conflict within C. remanei, a dioecious species composed of equal frequencies of males and females. In particular, some C. remanei males greatly reduce female lifespan following mating, and their sperm have a strong competitive advantage over the sperm of other males. In contrast, our results suggest that both types of conflict have been greatly reduced within C. elegans, which is an androdioecious species that is composed of self-fertilizing hermaphrodites and rare males. Using experimental evolution in mutant C. elegans populations in which sperm production is blocked in hermaphrodites (effectively converting them to females), we find that the consequences of sexual conflict observed within C. remanei evolve rapidly within C. elegans populations experiencing high levels of male-male competition. CONCLUSIONS: Together, these complementary data sets support the hypothesis that the intensity of intersexual conflict varies with the intensity of competition among males, and that male-induced collateral damage to mates can evolve very rapidly within populations

    FEDRO: a software tool for the automatic discovery of candidate ORFs in plants with c →u RNA editing

    Get PDF
    BACKGROUND: RNA editing is an important mechanism for gene expression in plants organelles. It alters the direct transfer of genetic information from DNA to proteins, due to the introduction of differences between RNAs and the corresponding coding DNA sequences. Software tools successful for the search of genes in other organisms not always are able to correctly perform this task in plants organellar genomes. Moreover, the available software tools predicting RNA editing events utilise algorithms that do not account for events which may generate a novel start codon. RESULTS: We present Fedro, a Java software tool implementing a novel strategy to generate candidate Open Reading Frames (ORFs) resulting from Cytidine to Uridine (c→u) editing substitutions which occur in the mitochondrial genome (mtDNA) of a given input plant. The goal is to predict putative proteins of plants mitochondria that have not been yet annotated. In order to validate the generated ORFs, a screening is performed by checking for sequence similarity or presence in active transcripts of the same or similar organisms. We illustrate the functionalities of our framework on a model organism. CONCLUSIONS: The proposed tool may be used also on other organisms and genomes. Fedro is publicly available at http://math.unipa.it/rombo/FEDRO

    Cytoreductive Surgery (CRS) and HIPEC for Advanced Ovarian Cancer with Peritoneal Metastases: Italian PSM Oncoteam Evidence and Study Purposes

    Get PDF
    Ovarian cancer is the eighth most common neoplasm in women with a high mortality rate mainly due to a marked propensity for peritoneal spread directly at diagnosis, as well as tumor recurrence after radical surgical treatment. Treatments for peritoneal metastases have to be designed from a patient’s perspective and focus on meaningful measures of benefit. Hyperthermic intraperitoneal chemotherapy (HIPEC), a strategy combining maximal cytoreductive surgery with regional chemotherapy, has been proposed to treat advanced ovarian cancer. Preliminary results to date have shown promising results, with improved survival outcomes and tumor regression. As knowledge about the disease process increases, practice guidelines will continue to evolve. In this review, we have reported a broad overview of advanced ovarian cancer management, and an update of the current evidence. The future perspectives of the Italian Society of Surgical Oncology (SICO) are discussed conclusively

    Una mirada a las lesiones vasculares: presentaciĂłn de 7 casos clĂ­nicos

    Get PDF
    Introducción: Las lesiones vasculares son objeto de discusión a la hora de clasificarlas. Hay coincidencia en que su origen es congénito y malformativo. Se presentan con el aspecto de máculas rosadas a rojo violáceo, hasta masas tumorales que provocan deformaciones de los órganos donde asientan. Pueden encontrarse en forma solitaria o bien formando parte de los llamados síndromes angiomatosos de cabeza y cuello. El objetivo de este trabajo es caracterizar estas lesiones en sus aspectos clínicos y epidemiológicos.Facultad de Odontologí

    Diagnostic and Therapeutic Pathway in Diffuse Malignant Peritoneal Mesothelioma

    Get PDF
    Diffuse malignant peritoneal mesothelioma (DMPM) is a rare form of mesothelioma that carries a very poor prognosis. The 5-year overall survival is about 20% (±5.9). Survival is optimal for patients suitable for cytoreductive surgery (CRS) with Hyperthermic Intraperitoneal Chemotherapy (HIPEC), with a median OS ranging from 34 to 92 months. However, selecting patients for surgery remains a complex task and requires a careful preoperative workup, rational analysis of prognostic profiles, and risk prediction models. Systemic chemotherapy could be offered: (1) in the adjuvant setting for high-risk patients; (2) for patients not eligible for CRS; and (3) for those with recurrent disease. It mainly includes the combination of Platin compound with Pemetrexed or immunotherapy. The biology of DMPM is still largely unknown. However, progress has been made on some fronts, such as telomere maintenance mechanisms, deregulation of apoptosis, tyrosine kinase pathways, and mutation of BRCA1-associated protein 1 (BAP1). Future perspectives should include translational research to improve our understanding of the disease biology to identify druggable targets. We should also clear the role of immune checkpoint inhibitors and investigate new locoregional technologies, such as pressurized intraperitoneal aerosol chemotherapy (PIPAC) or normothermic intraperitoneal chemotherapy (NIPEC)
    • …
    corecore