Critical success factors in entertainment-based retail development

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Urban Studies and Planning, 1999.Includes bibliographical references (leaves 103-105).There is a development phenomenon spreading across urban areas of the United States. Municipalities are undertaking multi-million dollar investments to support new stadiums for professional sports franchises. Accompanying these high profile investments is a concurrent investment in museums and cultural attractions of all types aimed at attracting tourists and local interests alike. This phenomenon is part of a wave of well planned and executed economic development initiatives that are using the development of cultural icons such as sports stadiums and museums to anchor commercial and retail development in the area. This thesis will look to identify the critical success factors in creating an urban entertainment district that encompasses sports venues, museums or other cultural icons, and an entertainment based retail center. It will identify the stakeholders in such an initiative and analyze the driving factors in the development and planning process. The combination of the three elements - stadium, museum, retail entertainment center- creates a critical mass of development that will serve as a model for other municipalities as they look to create their own downtown entertainment districts. It will also look at any combination of elements as a possible economic development initiative rather than a strict definition and closely defined form. Four case studies will be presented and analyzed, Faneuil Hall in Boston, Inner Harbor in Baltimore, Gateway/North Harbor in Cleveland and The Gateway in Salt Lake City as four projects undertaken in four large U.S. cities. We will also try to superimpose these success factors to secondary markets.Jacob L. Boyer and Thomas G. DiNanno.S.M

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

The tree automaton completion is an algorithm used for proving safety properties of systems that can be modeled by a term rewriting system. This representation and verification technique works well for proving properties of infinite systems like cryptographic protocols or more recently on Java Bytecode programs. This algorithm computes a tree automaton which represents a (regular) over approximation of the set of reachable terms by rewriting initial terms. This approach is limited by the lack of information about rewriting relation between terms. Actually, terms in relation by rewriting are in the same equivalence class: there are recognized by the same state in the tree automaton. Our objective is to produce an automaton embedding an abstraction of the rewriting relation sufficient to prove temporal properties of the term rewriting system. We propose to extend the algorithm to produce an automaton having more equivalence classes to distinguish a term or a subterm from its successors w.r.t. rewriting. While ground transitions are used to recognize equivalence classes of terms, epsilon-transitions represent the rewriting relation between terms. From the completed automaton, it is possible to automatically build a Kripke structure abstracting the rewriting sequence. States of the Kripke structure are states of the tree automaton and the transition relation is given by the set of epsilon-transitions. States of the Kripke structure are labelled by the set of terms recognized using ground transitions. On this Kripke structure, we define the Regular Linear Temporal Logic (R-LTL) for expressing properties. Such properties can then be checked using standard model checking algorithms. The only difference between LTL and R-LTL is that predicates are replaced by regular sets of acceptable terms

Classification of Generalized Symmetries for the Vacuum Einstein Equations

A generalized symmetry of a system of differential equations is an infinitesimal transformation depending locally upon the fields and their derivatives which carries solutions to solutions. We classify all generalized symmetries of the vacuum Einstein equations in four spacetime dimensions. To begin, we analyze symmetries that can be built from the metric, curvature, and covariant derivatives of the curvature to any order; these are called natural symmetries and are globally defined on any spacetime manifold. We next classify first-order generalized symmetries, that is, symmetries that depend on the metric and its first derivatives. Finally, using results from the classification of natural symmetries, we reduce the classification of all higher-order generalized symmetries to the first-order case. In each case we find that the generalized symmetries are infinitesimal generalized diffeomorphisms and constant metric scalings. There are no non-trivial conservation laws associated with these symmetries. A novel feature of our analysis is the use of a fundamental set of spinorial coordinates on the infinite jet space of Ricci-flat metrics, which are derived from Penrose's ``exact set of fields'' for the vacuum equations.Comment: 57 pages, plain Te

Killing spinors in supergravity with 4-fluxes

We study the spinorial Killing equation of supergravity involving a torsion 3-form \T as well as a flux 4-form \F. In dimension seven, we construct explicit families of compact solutions out of 3-Sasakian geometries, nearly parallel \G_2-geometries and on the homogeneous Aloff-Wallach space. The constraint \F \cdot \Psi = 0 defines a non empty subfamily of solutions. We investigate the constraint \T \cdot \Psi = 0, too, and show that it singles out a very special choice of numerical parameters in the Killing equation, which can also be justified geometrically

Feasibility of a school-based physical activity intervention for adolescents with disability

Background: Adolescents with disability are less active and have lower levels of physical fitness than their typically developing peers. Schools are ideal settings to address this; however, few school-based interventions have been designed and evaluated among this group. Therefore, the aim of this pilot study was to determine the feasibility of a time-efficient school-based physical activity intervention for adolescents with disability. Methods: A non-randomized pilot trial was conducted with adolescents in the special education unit at one secondary school in New South Wales, Australia. Sixteen grade 11 and 12 students (aged 17.3 ± 0.7 years) participated in the 2-month physical activity intervention. Two classroom teachers were trained to facilitate the delivery of a high-intensity interval training (HIIT) program, known as Burn 2 Learn adapted (B2La). Teachers were asked to deliver 2–3 weekly HIIT sessions for a period of 2 months. Four domains of feasibility (acceptability, implementation, adaptability, and practicality) were assessed using quantitative measures at the student and teacher levels (e.g., observations, process evaluation questionnaires, and heart rate [HR] monitoring). Data were also collected from three learning and support teachers who assisted classroom teachers with intervention delivery. Preliminary efficacy of the intervention on measures of adolescents’ functional capacity (6-min walk/run test) and muscular fitness (sit-to-stand test and modified push-up test) were analyzed using paired sample t-tests. Results: Moderate-to-high levels of program satisfaction were reported by both students (80% rated “Good” or “Excellent”) and teachers (100% rated “Good” or “Excellent”). Teachers reported delivering 2.5 ± 0.7 sessions per week during the study. Based on researcher session observations, the program was delivered effectively by teachers (14/20). However, HR data indicated session intensity was lower than intended. The program was considered “adaptable” by teachers, with several observed modifications to HIIT sessions to cater for the needs of adolescents with disability. No adverse events were reported. We observed improvements in preliminary efficacy measures. Conclusions: Our findings suggest it is feasible to train teachers to deliver a school-based HIIT program for adolescents with disability. Evaluation of B2La within a larger-scale effectiveness trial is warranted

Stable bundles on hypercomplex surfaces

A hypercomplex manifold is a manifold equipped with three complex structures I, J, K satisfying the quaternionic relations. Let M be a 4-dimensional compact smooth manifold equipped with a hypercomplex structure, and E be a vector bundle on M. We show that the moduli space of anti-self-dual connections on E is also hypercomplex, and admits a strong HKT metric. We also study manifolds with (4,4)-supersymmetry, that is, Riemannian manifolds equipped with a pair of strong HKT-structures that have opposite torsion. In the language of Hitchin's and Gualtieri's generalized complex geometry, (4,4)-manifolds are called ``generalized hyperkaehler manifolds''. We show that the moduli space of anti-self-dual connections on M is a (4,4)-manifold if M is equipped with a (4,4)-structure.Comment: 17 pages. Version 3.0: reference adde

Identification of furfural resistant strains of Saccharomyces cerevisiae and Saccharomyces paradoxus from a collection of environmental and industrial isolates

Background Fermentation of bioethanol using lignocellulosic biomass as a raw material provides a sustainable alternative to current biofuel production methods by utilising waste food streams as raw material. Before lignocellulose can be fermented it requires physical, chemical and enzymatic treatment in order to release monosaccharides, a process that causes the chemical transformation of glucose and xylose into the cyclic aldehydes furfural and hydroxyfurfural. These furan compounds are potent inhibitors of Saccharomyces fermentation, and consequently furfural tolerant strains of Saccharomyces are required for lignocellulosic fermentation. Results This study investigated yeast tolerance to furfural and hydroxyfurfural using a collection of 71 environmental and industrial isolates of the baker’s yeast Saccharomyces cerevisiae and its closest relative Saccharomyces paradoxus. The Saccharomyces strains were initially screened for growth on media containing 100 mM glucose and 1.5 mg ml-1 furfural. Five strains were identified that showed a significant tolerance to growth in the presence of furfural and these were then screened for growth and ethanol production in the presence of increasing amounts (0.1-4 mg ml-1) of furfural. Conclusions Of the five furfural tolerant strains S. cerevisiae NCYC 3451 displayed the greatest furfural resistance, and was able to grow in the presence of up to 3.0 mg ml-1 furfural. Furthermore, ethanol production in this strain did not appear to be inhibited by furfural, with the highest ethanol yield observed at 3.0 mg ml-1 furfural. Although furfural resistance was not found to be a trait specific to any one particular lineage or population, three of the strains were isolated from environments where they might be continually exposed to low levels of furfural through the on-going natural degradation of lignocelluloses, and would therefore develop elevated levels of resistance to these furan compounds. Thus these strains represent good candidates for future studies of genetic variation relevant to understanding and manipulating furfural resistance and in the development of tolerant ethanologenic yeast strains for use in bioethanol production from lignocellulose processing

A Measurement of Time-Averaged Aerosol Optical Depth using Air-Showers Observed in Stereo by HiRes

Air fluorescence measurements of cosmic ray energy must be corrected for attenuation of the atmosphere. In this paper we show that the air-showers themselves can yield a measurement of the aerosol attenuation in terms of optical depth, time-averaged over extended periods. Although the technique lacks statistical power to make the critical hourly measurements that only specialized active instruments can achieve, we note the technique does not depend on absolute calibration of the detector hardware, and requires no additional equipment beyond the fluorescence detectors that observe the air showers. This paper describes the technique, and presents results based on analysis of 1258 air-showers observed in stereo by the High Resolution Fly's Eye over a four year span.Comment: 7 pages, 3 figures, accepted for publication by Astroparticle Physics Journa

Progressive regression of left ventricular hypertrophy two years after bariatric surgery.

BACKGROUND: Obesity is a systemic disorder associated with an increase in left ventricular mass and premature death and disability from cardiovascular disease. Although bariatric surgery reverses many of the hormonal and hemodynamic derangements, the long-term collective effects on body composition and left ventricular mass have not been considered before. We hypothesized that the decrease in fat mass and lean mass after weight loss surgery is associated with a decrease in left ventricular mass. METHODS: Fifteen severely obese women (mean body mass index [BMI]: 46.7+/-1.7 kg/m(2)) with medically controlled hypertension underwent bariatric surgery. Left ventricular mass and plasma markers of systemic metabolism, together with body mass index (BMI), waist and hip circumferences, body composition (fat mass and lean mass), and resting energy expenditure were measured at 0, 3, 9, 12, and 24 months. RESULTS: Left ventricular mass continued to decrease linearly over the entire period of observation, while rates of weight loss, loss of lean mass, loss of fat mass, and resting energy expenditure all plateaued at 9 [corrected] months (P \u3c.001 for all). Parameters of systemic metabolism normalized by 9 months, and showed no further change at 24 months after surgery. CONCLUSIONS: Even though parameters of obesity, including BMI and body composition, plateau, the benefits of bariatric surgery on systemic metabolism and left ventricular mass are sustained. We propose that the progressive decrease of left ventricular mass after weight loss surgery is regulated by neurohumoral factors, and may contribute to improved long-term survival