24,766 research outputs found

    Graph Symmetry Detection and Canonical Labeling: Differences and Synergies

    Full text link
    Symmetries of combinatorial objects are known to complicate search algorithms, but such obstacles can often be removed by detecting symmetries early and discarding symmetric subproblems. Canonical labeling of combinatorial objects facilitates easy equivalence checking through quick matching. All existing canonical labeling software also finds symmetries, but the fastest symmetry-finding software does not perform canonical labeling. In this work, we contrast the two problems and dissect typical algorithms to identify their similarities and differences. We then develop a novel approach to canonical labeling where symmetries are found first and then used to speed up the canonical labeling algorithms. Empirical results show that this approach outperforms state-of-the-art canonical labelers.Comment: 15 pages, 10 figures, 1 table, Turing-10

    Towards durable multistakeholder-generated solutions: The pilot application of a problem-oriented policy learning protocol to legality verification and community rights in Peru

    Get PDF
    This paper reports and reflects on the pilot application of an 11-step policy learning protocol that was developed by Cashore and Lupberger (2015) based on several years of Cashore’s multi-author collaborations. The protocol was applied for the first time in Peru in 2015 and 2016 by the IUFRO Working Party on Forest Policy Learning Architectures (hereinafter referred to as the project team). The protocol integrates insights from policy learning scholarship (Hall 1993, Sabatier 1999) with Bernstein and Cashore’s (2000, 2012) four pathways of influence framework. The pilot implementation in Peru focused on how global timber legality verification interventions might be harnessed to promote local land rights. Legality verification focuses attention on the checking and auditing of forest management units in order to verify that timber is harvested and traded in compliance with the law. We specifically asked: How can community legal ownership of, and access to, forestland and forest resources be enhanced? The protocol was designed as a dynamic tool, the implementation of which fosters iterative rather than linear processes. It directly integrated two objectives: 1) identifying the causal processes through which global governance initiatives might be harnessed to produce durable results ‘on the ground’; 2) generating insights and strategies in collaboration with relevant stakeholders. This paper reviews and critically evaluates our work in designing and piloting the protocol. We assess what seemed to work well and suggest modifications, including an original diagnostic framework for nurturing durable change. We also assess the implications of the pilot application of the protocol for policy implementation that works to enhance the influence of existing international policy instruments, rather than contributing to fragmentation and incoherence by creating new ones

    ASTRI for the Cherenkov Telescope Array

    Get PDF
    The Cherenkov Telescope Array (CTA) will be the largest ground-based observatory operating in the very-high-energy gamma-ray (20 GeV - 300 TeV) range. It will be based on more than one hundred telescopes, located at two sites (northern and southern hemispheres). The energy coverage, in the southern CTA array, will extend up to hundreds of TeV thanks to 70 small size telescopes (SST), with primary mirrors of about 4 meters in diameter and large field of view of the order of 9 degrees. It is proposed that one of the first sets of precursors for the CTA SSTs array will be represented by nine ASTRI telescopes. Their prototype, named ASTRI SST-2M, is installed in Italy. It is currently completing the overall commissioning before entering the science verification phase that will performed observing bright TeV sources as Crab Nebula, Mrk421 and Mrk 501 cross-checking the prototype performance with the Monte Carlo predictions. ASTRI telescopes are characterized by a dual-mirror optical design based on the Schwarzschild- Couder (SC) configuration. The focal-plane camera is curved in order to fit the ideal prescription for the SC design and the sensors are small size silicon photomultipliers read-out by a fast front-end electronics. The telescope prototype installed in Italy, has been developed by the Italian National Institute for Astrophysics, INAF, following an end-to-end approach that comprises all aspects from the design, construction and implementation of the entire hardware and software system to the final scientific products. All parts of the system have been designed to comply with the CTA requirements. A collaborative effort, addressed to the implementation of the first ASTRI telescopes for the CTA southern site, is now on-going led by INAF with the Universidade de Sao Paulo (Brazil), the North-West University (South Africa) and the Italian National Institute for Nuclear Physics.Comment: All CTA contributions at arXiv:1709.0348

    Affective Medicine: a review of Affective Computing efforts in Medical Informatics

    Get PDF
    Background: Affective computing (AC) is concerned with emotional interactions performed with and through computers. It is defined as “computing that relates to, arises from, or deliberately influences emotions”. AC enables investigation and understanding of the relation between human emotions and health as well as application of assistive and useful technologies in the medical domain. Objectives: 1) To review the general state of the art in AC and its applications in medicine, and 2) to establish synergies between the research communities of AC and medical informatics. Methods: Aspects related to the human affective state as a determinant of the human health are discussed, coupled with an illustration of significant AC research and related literature output. Moreover, affective communication channels are described and their range of application fields is explored through illustrative examples. Results: The presented conferences, European research projects and research publications illustrate the recent increase of interest in the AC area by the medical community. Tele-home healthcare, AmI, ubiquitous monitoring, e-learning and virtual communities with emotionally expressive characters for elderly or impaired people are few areas where the potential of AC has been realized and applications have emerged. Conclusions: A number of gaps can potentially be overcome through the synergy of AC and medical informatics. The application of AC technologies parallels the advancement of the existing state of the art and the introduction of new methods. The amount of work and projects reviewed in this paper witness an ambitious and optimistic synergetic future of the affective medicine field

    Integrating trait-based empirical and modeling research to improve ecological restoration

    Get PDF
    A global ecological restoration agenda has led to ambitious programs in environmental policy to mitigate declines in biodiversity and ecosystem services. Current restoration programs can incompletely return desired ecosystem service levels, while resilience of restored ecosystems to future threats is unknown. It is therefore essential to advance understanding and better utilize knowledge from ecological literature in restoration approaches. We identified an incomplete linkage between global change ecology, ecosystem function research, and restoration ecology. This gap impedes a full understanding of the interactive effects of changing environmental factors on the long-term provision of ecosystem functions and a quantification of trade-offs and synergies among multiple services. Approaches that account for the effects of multiple changing factors on the composition of plant traits and their direct and indirect impact on the provision of ecosystem functions and services can close this gap. However, studies on this multilayered relationship are currently missing. We therefore propose an integrated restoration agenda complementing trait-based empirical studies with simulation modeling. We introduce an ongoing case study to demonstrate how this framework could allow systematic assessment of the impacts of interacting environmental factors on long-term service provisioning. Our proposed agenda will benefit restoration programs by suggesting plant species compositions with specific traits that maximize the supply of multiple ecosystem services in the long term. Once the suggested compositions have been implemented in actual restoration projects, these assemblages should be monitored to assess whether they are resilient as well as to improve model parameterization. Additionally, the integration of empirical and simulation modeling research can improve global outcomes by raising the awareness of which restoration goals can be achieved, due to the quantification of trade-offs and synergies among ecosystem services under a wide range of environmental conditions
    corecore