2,886 research outputs found

    Developing an indicator of property market resilience - investigating the potential of GIS to analyse business occupier displacement and property market filtering: a case study of Tyne and Wear

    Get PDF
    The research investigates the potential of a geographical information system to analyse the recorded displacement of office and industrial occupiers in Tyne and Wear, England. The paper demonstrates that a GIS provides an effective tool with which to illustrate, analyse and model occupier displacement and market filtering. The research goes on to develop and test an indicator with which to identify urban areas that may be most vulnerable to property occupier displacement. The correlation of rateable value and VAT registration datasets, with the origin of occupiers of new office and industrial developments and the location of vacant chain-end property, was tested. The strongest correlation is with new VAT registrations within a three-year period. A property market resilience indicator is developed, with which to classify urban areas in terms of their resilience or vulnerability to business occupier displacement generated by commercial property developmen

    Modelling Reactive Multimedia: Design and Authoring

    Get PDF
    Multimedia document authoring is a multifaceted activity, and authoring tools tend to concentrate on a restricted set of the activities involved in the creation of a multimedia artifact. In particular, a distinction may be drawn between the design and the implementation of a multimedia artifact. This paper presents a comparison of three different authoring paradigms, based on the common case study of a simple interactive animation. We present details of its implementation using the three different authoring tools, MCF, Fran and SMIL 2.0, and we discuss the conclusions that may be drawn from our comparison of the three approaches

    Mexitl: Multimedia in Executable Interval Temporal Logic

    Get PDF
    This paper explores a formalism for describing a wide class of multimedia document constraints, based on an interval temporal logic. We describe the requirements on temporal logic specification that arise from the multimedia documents application area. In particular, we highlight a canonical specification example. Then we present the temporal logic formalism that we use. This extends existing interval temporal logic with a number of new features: actions, framing of actions, past operators, a projection-like operator called filter and a new handling of interval length. A model theory, logic and satisfaction relation are defined for the notation, a specification of the canonical example is presented, and a proof system for the logic is introduced

    “The Academic library in the 21st Century - what need for physical space?”

    Get PDF

    Sammy

    Get PDF
    corecore