1,147 research outputs found

    Verification of Open Interactive Markov Chains

    Get PDF
    Interactive Markov chains (IMC) are compositional behavioral models extending both labeled transition systems and continuous-time Markov chains. IMC pair modeling convenience - owed to compositionality properties - with effective verification algorithms and tools - owed to Markov properties. Thus far however, IMC verification did not consider compositionality properties, but considered closed systems. This paper discusses the evaluation of IMC in an open and thus compositional interpretation. For this we embed the IMC into a game that is played with the environment. We devise algorithms that enable us to derive bounds on reachability probabilities that are assured to hold in any composition context

    City of Gardiner Maine Comprehensive Plan 2014

    Get PDF

    Developing Energy and Economic Initiatives for Rural Namibia

    Get PDF
    Namibia\u27s off grid settlements suffer from poor economic development due to an inadequate energy infrastructure. Limited resources in arid regions of Namibia have caused a surge in alternative energy use and resourceful capacity building. This report consists of designs for containerized services and an evaluation of small-scale wood gasification technologies for rural settlements where resource scarcity is an enormous hindrance

    Shades of Green: Improving the Energy Efficiency and Environmental Impact of Historic Building

    Get PDF
    The recent dramatic increase in oil prices as well as a growing worldwide concern with climate change has brought renewed attention and interest in energy efficiency and consideration for the environment among all areas of industry, in particular the built environment. According to the U.S. Department of Energy, operational energy consumption in residential and commercial buildings accounted for 40% of total energy consumed in the United States in 2007, and produced nearly 48% of the country\u27s greenhouse gas emissions. While architects have been making their contribution to the environmental cause, designing more efficient buildings with tools such as the U.S. Green Building Council\u27s Leadership in Energy and Environmental Design (LEED) rating system, historic preservationists are edging their way into the green movement within a complex set of constraints and guidelines, such as the Secretary of the Interior\u27s Standards for the Treatment of Historic Properties, but equally motivated to reduce the historic building stock\u27s adverse effect on the environment and energy consumption

    Small cities face greater impact from automation

    Full text link
    The city has proven to be the most successful form of human agglomeration and provides wide employment opportunities for its dwellers. As advances in robotics and artificial intelligence revive concerns about the impact of automation on jobs, a question looms: How will automation affect employment in cities? Here, we provide a comparative picture of the impact of automation across U.S. urban areas. Small cities will undertake greater adjustments, such as worker displacement and job content substitutions. We demonstrate that large cities exhibit increased occupational and skill specialization due to increased abundance of managerial and technical professions. These occupations are not easily automatable, and, thus, reduce the potential impact of automation in large cities. Our results pass several robustness checks including potential errors in the estimation of occupational automation and sub-sampling of occupations. Our study provides the first empirical law connecting two societal forces: urban agglomeration and automation's impact on employment

    City of Cuero Site Analysis and Redevelopment Recommendations

    Get PDF
    Cuero is a small south Texas town which prides itself on preserving the history and heritage of its community while providing southern hospitality to its residents and visitors.Cuero Development Corporation Master Plan- Developed a plan for the best use of a 4.519-acre property. Conducted a comprehensive assessment of options for the development of the property.Texas Target Communitie
    corecore