115,049 research outputs found

    Using Canonical Forms for Isomorphism Reduction in Graph-based Model Checking

    Get PDF
    Graph isomorphism checking can be used in graph-based model checking to achieve symmetry reduction. Instead of one-to-one comparing the graph representations of states, canonical forms of state graphs can be computed. These canonical forms can be used to store and compare states. However, computing a canonical form for a graph is computationally expensive. Whether computing a canonical representation for states and reducing the state space is more efficient than using canonical hashcodes for states and comparing states one-to-one is not a priori clear. In this paper these approaches to isomorphism reduction are described and a preliminary comparison is presented for checking isomorphism of pairs of graphs. An existing algorithm that does not compute a canonical form performs better that tools that do for graphs that are used in graph-based model checking. Computing canonical forms seems to scale better for larger graphs

    Research Topics

    Get PDF
    Quantum-mechanical calculations have been applied to predict thermodynamic and reactivity properties of unknown organic molecules, being stable compounds or reactive intermediates. Through synthesis some of the theoretical systems become real compounds that can be synthons (synthetic intermediates) or chirons (optically pure synthetic intermediates) useful in the preparation of natural products and analogues of biological interest (anti-cancer, anti-virus, antibiotic, anti-diabetes agents). Our interests concentrate on remote substituent effects as we want to play with them together with polyfunctional systems and reactions that constitute new synthetic approaches. These have to be convergent, highly stereoselective, and versatile (applicable to a large variety of derivatives: molecular diversity). We often rely on tandem reactions or/and reaction cascades. Sometimes the new compounds and their new reactions send us back to the theory and to mechanistic studies

    AUGUR: Forecasting the Emergence of New Research Topics

    Get PDF
    Being able to rapidly recognise new research trends is strategic for many stakeholders, including universities, institutional funding bodies, academic publishers and companies. The literature presents several approaches to identifying the emergence of new research topics, which rely on the assumption that the topic is already exhibiting a certain degree of popularity and consistently referred to by a community of researchers. However, detecting the emergence of a new research area at an embryonic stage, i.e., before the topic has been consistently labelled by a community of researchers and associated with a number of publications, is still an open challenge. We address this issue by introducing Augur, a novel approach to the early detection of research topics. Augur analyses the diachronic relationships between research areas and is able to detect clusters of topics that exhibit dynamics correlated with the emergence of new research topics. Here we also present the Advanced Clique Percolation Method (ACPM), a new community detection algorithm developed specifically for supporting this task. Augur was evaluated on a gold standard of 1,408 debutant topics in the 2000-2011 interval and outperformed four alternative approaches in terms of both precision and recall

    Integrated voice and visual systems research topics

    Get PDF
    A series of studies was performed to investigate factors of helicopter speech and visual system design and measure the effects of these factors on human performance, both for pilots and non-pilots. The findings and conclusions of these studies were applied by the U.S. Army to the design of the Army's next generation threat warning system for helicopters and to the linguistic functional requirements for a joint Army/NASA flightworthy, experimental speech generation and recognition system

    Some Quick Research Topics

    Get PDF
    Some research topics are suggested, in a preliminary form, in most cases dealing with (somewhat nonstandard) extensions of existing types of P systems

    Mining nonterrestrial resources: Information needs and research topics

    Get PDF
    An outline of topics we need to understand better in order to apply mining technology to a nonterrestrial environment is presented. The proposed list is not intended to be complete. It aims to identify representative topics that suggest productive research. Such research will reduce the uncertainties associated with extrapolating from conventional earthbound practice to nonterrestrial applications. One objective is to propose projects that should put future discussions of nonterrestrial mining on a firmer, less speculative basis