4,370,707 research outputs found

    New applications for an old tool

    Get PDF
    First, the dependency graph technique, not so far from its current application, was developed trying to nd the shortest computations for membrane systems solving instances of SAT. Certain families of membrane systems have been demonstrated to be non-effcient by means of the reduction of nding an accepting computation (respectively, rejecting computation) to the problem of reaching from a node of the dependency graph to another one. In this paper, a novel application to this technique is explained. Supposing that a problem can be solved by means of a kind of membrane systems leads to a contradiction by means of using the dependency graph as a reasoning method. In this case, it is demonstrated that a single system without dissolution, polarizations and cooperation cannot distinguish a single object from more than one object. An extended version of this work will be presented in the 20th International Conference on Membrane Computing.Ministerio de Industria, EconomĂ­a y Competitividad TIN2017-89842-

    DNA Typing: A New Investigatory Tool

    Get PDF

    Rule 68: A “New Tool” for Litigation

    Get PDF

    River archaeology – a new tool for historical hydrology

    Get PDF
    River archaeology is consisting of underwater research of the rivers themselves, and also the archaeology of the valleys/floodplains with special interest in humanenvironmental interactions (reconstructing space, environment, economy and society on the basis of the material culture and traces of human impacts). As historical hydrology is occupying similar questions from the hydrologist’s point of view, the combination of different approaches offers fruitful cooperation for both disciplines. The paper presents the type, nature and problems of archaeological record through recent work in the Drava river basin

    New Social Media Tool Celebrates, Publicizes Student Achievements

    Get PDF
    University completes full-scale rollout of Merit Pages to allow students to share successes with media, employers, family and more

    Tensor networks-a new tool for old problems

    Get PDF
    A new renormalization group approach that maps lattice problems to tensor networks may hold the key to solving seemingly intractable models of strongly correlated systems in any dimension. A Physics Viewpoint on arXiv:0903.1069Comment: 5 pages, 2 figure

    A New 3D Tool for Planning Plastic Surgery

    Get PDF
    Face plastic surgery (PS) plays a major role in today medicine. Both for reconstructive and cosmetic surgery, achieving harmony of facial features is an important, if not the major goal. Several systems have been proposed for presenting to patient and surgeon possible outcomes of the surgical procedure. In this paper, we present a new 3D system able to automatically suggest, for selected facial features as nose, chin, etc, shapes that aesthetically match the patient's face. The basic idea is suggesting shape changes aimed to approach similar but more harmonious faces. To this goal, our system compares the 3D scan of the patient with a database of scans of harmonious faces, excluding the feature to be corrected. Then, the corresponding features of the k most similar harmonious faces, as well as their average, are suitably pasted onto the patient's face, producing k+1 aesthetically effective surgery simulations. The system has been fully implemented and tested. To demonstrate the system, a 3D database of harmonious faces has been collected and a number of PS treatments have been simulated. The ratings of the outcomes of the simulations, provided by panels of human judges, show that the system and the underlying idea are effectiv

    Statewide Geographic Database Launches New Online Mapping Tool

    Get PDF
    • …
    corecore