14,440 research outputs found

    Regional economic modelling: evaluating existing methods and models for constructing an Irish prototype

    Get PDF
    This paper provides an overview of competing and supplementing methodologies for modelling the regional economic dynamics. The discussion provides a primer on how regional CGE, Econometric, Input-Output and SAM based models work towards capturing the region-specific, interregional and multiregional production, consumption and factor market patterns. An analysis of virtues and limitations of these alternate methodologies suggests that it may be the considerations such as the data collection/compilation, expected output, research objectives and costs involved that may determine the choice of modelling framework. Several existing regional models constructed for other countries and their characteristics are summarized along with the specific discussion on regional economic impact analysis in Ireland and how one could move towards constructing an Irish prototype.Input Output; Social Accounting Matrix; Computable General Equilibrium (CGE) Model;

    Reformulation in planning

    Get PDF
    Reformulation of a problem is intended to make the problem more amenable to efficient solution. This is equally true in the special case of reformulating a planning problem. This paper considers various ways in which reformulation can be exploited in planning

    The 1990 progress report and future plans

    Get PDF
    This document describes the progress and plans of the Artificial Intelligence Research Branch (RIA) at ARC in 1990. Activities span a range from basic scientific research to engineering development and to fielded NASA applications, particularly those applications that are enabled by basic research carried out at RIA. Work is conducted in-house and through collaborative partners in academia and industry. Our major focus is on a limited number of research themes with a dual commitment to technical excellence and proven applicability to NASA short, medium, and long-term problems. RIA acts as the Agency's lead organization for research aspects of artificial intelligence, working closely with a second research laboratory at JPL and AI applications groups at all NASA centers

    How Does the Law Put a Historical Analogy to Work?: Defining the Imposition of “A Condition Analogous to That of a Slave” in Modern Brazil

    Get PDF
    Over the last decades, the Brazilian state has engaged in concerted legal efforts to identify and prosecute cases of what officials refer to as “slave labor” (trabalho escravo). At a conceptual level, the campaign has paired the constitutional protection of human dignity and the “social value of labor” with an expansive interpretation of the offense described in Article 149 of the Criminal Code as “the reduction of a person to a condition analogous to that of a slave.” At the operational level, mobile teams of inspectors and prosecutors have intervened in thousands of work sites, and labor prosecutors have obtained hundreds of consent agreements and convictions in the labor courts, a civil branch of the judiciary. Between the mid-1990s and the end of 2016, some 51,000 workers were administratively resgatados (“rescued”) from rural and urban workplaces in which inspectors determined that they had been reduced to a condition analogous to slavery. Under the supervision of the inspectors, labor contracts have been administratively cancelled, back pay has been (when possible) extracted from the employer, and unemployment insurance payments have been provided to the rescued workers

    Mobile Resource Guarantees for Smart Devices

    Get PDF
    Abstract. We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached to code in the form of efficiently checkable proofs of resource bounds; in contrast to cryptographic certificates of code origin, these are independent of trust networks. A novel programming language with resource constraints encoded in function types is used to streamline the generation of proofs of resource usage.

    Open-hardware e-puck Linux extension board for experimental swarm robotics research

    Get PDF
    In this paper we describe the implementation of a Linux extension board for the e-puck educational mobile robot, designed to enhance the computation, memory and networking performance of the robot at very low cost. The extension board is based on a 32-bit ARM9 microprocessor and provides wireless network support. The ARM9 extension board runs in parallel with the dsPIC microprocessor on the e-puck motherboard with communication between the two via an SPI bus. The extension board is designed to handle computationally intensive image processing, wireless communication and high-level intelligent robot control algorithms, while the dsPIC handles low-level sensor interfacing, data processing and motor control. The extension board runs an embedded Linux operating system, along with a Debian-based port of the root file system stored in a Micro SD card. The extended e-puck robot platform requires minimal effort to integrate the well-known open-source robot control framework Player and, when placed within a TCP/IP networked infrastructure, provides a powerful and flexible platform for experimental swarm robotics research. © 2010 Elsevier B.V. All rights reserved
    • 

    corecore