127 research outputs found

    Low-Cost Inventions and Patents

    Get PDF
    Inventions have led to the technological advances of mankind. There are inventions of all kinds, some of which have lasted hundreds of years or even longer. Low-cost technologies are expected to be easy to build, have little or no energy consumption, and be easy to maintain and operate. The use of sustainable technologies is essential in order to move towards a greater global coverage of technology, and therefore to improve human quality of life. Low-cost products always respond to a specific need, even if no in-depth analysis of the situation or possible solutions has been carried out. It is a consensus in all industrialized countries that patents have a decisive influence on the organization of the economy, as they are a key element in promoting technological innovation. Patents must aim to promote the technological development of countries, starting from their industrial situations

    Book of Abstracts

    Get PDF
    Book of Abstracts of the 5th European Turfgrass Society Conference, held in Salgados | Albufeira | Portugal. 6th - 8th, June, 2016.info:eu-repo/semantics/publishedVersio

    Book of Abstracts

    Get PDF
    Book of Abstracts of the 5th European Turfgrass Society Conference, held in Salgados | Albufeira | Portugal. 6th - 8th, June, 2016.info:eu-repo/semantics/publishedVersio

    RoboArch: Architectural Modelling for Robotic Applications

    Get PDF
    Robotic systems are being employed in a diverse range of applications, with both the scale and complexity of their software increasing through having to operate in unstructured environments and to provide higher levels of autonomy. In addition, the need for robotic systems to be verified grows as robots are used in applications where they can have significant safety implications. Verification of even small robotic systems software is a challenging problem. Therefore, additional techniques are required to enable the practitioners to produce verified robotic systems. The use of model-driven engineering and domain-specific languages (DSLs) have proven useful in the development of complex systems in other areas so applying them to the field of robotics can contribute to the goal of building reliable and safe systems. In this thesis we present RoboArch, a notation for describing the architectures and patterns of robotic systems software supported by the formally defined semantics of RoboChart. RoboChart is a DSL for modelling the behaviour of robot software controllers using state machines. We describe RoboArch from the top-down. First, we examine the role of robotics software architectures in the development of robotic systems by reviewing five robotics architectures, and five DSLs. Next, for the layered architectural pattern, the RoboArch notation is introduced; we provide a metamodel, well-formedness conditions, and transformation rules to RoboChart. Further, we characterise two patterns: reactive skills and subsumption, which can be used by a layer. Finally, we discuss a tool and its implementation for the evaluation of RoboArch and automation of the rules as model transformations. We use a case study of a small obstacle avoidance system to demonstrate: the application of the reactive skills pattern using RoboArch and the expected properties of the architecture that can be proven using the generated RoboChart model CSP semantics

    ImageNet Large Scale Visual Recognition Challenge

    Get PDF
    The ImageNet Large Scale Visual Recognition Challenge is a benchmark in object category classification and detection on hundreds of object categories and millions of images. The challenge has been run annually from 2010 to present, attracting participation from more than fifty institutions. This paper describes the creation of this benchmark dataset and the advances in object recognition that have been possible as a result. We discuss the challenges of collecting large-scale ground truth annotation, highlight key breakthroughs in categorical object recognition, provide a detailed analysis of the current state of the field of large-scale image classification and object detection, and compare the state-of-the-art computer vision accuracy with human accuracy. We conclude with lessons learned in the five years of the challenge, and propose future directions and improvements.Comment: 43 pages, 16 figures. v3 includes additional comparisons with PASCAL VOC (per-category comparisons in Table 3, distribution of localization difficulty in Fig 16), a list of queries used for obtaining object detection images (Appendix C), and some additional reference
    • …
    corecore