The Y^2 Stellar Evolutionary Tracks

We present a database of the latest stellar models of the $Y^2$ (Yonsei-Yale) collaboration. This database contains the stellar evolutionary tracks from the pre-main-sequence birthline to the helium core flash that were used to construct the $Y^2$ isochrones. We also provide a simple interpolation routine that generates stellar tracks for given sets of parameters (metallicity, mass, and $\alpha$-enhancement).Comment: 7 pages, TeX, 1 eps figure. ApJS, 2003, vol.144 (Feb), in pres

Evaluating HOPE VI – Charlotte, NC

The objective of this paper is to find out how to evaluate a HOPE VI outcome in a specific area. In order to do this, several previous studies are reviewed to understand different evaluations and findings. Further, this paper addresses how HOPE VI programs in Charlotte should be evaluated. For this evaluation to be successful, the indicators used in previous studies are examined. Six different indicators are selected considering both residents’ quality of life and neighborhood conditions. Moreover, HOPE VI sites and control sites in Charlotte are selected based on developed year, neighborhood size, median household income, and distance. According to site selection, two HOPE VI sites and eight control sites are chosen. Finally, additional research is conducted to assess the exact HOPE VI findings: long-­term studies, comprehensive community plans, and residents’ self-­sufficiency programs.Master of City and Regional Plannin

Influence of multimodal integration on spatial perception

To design affective spaces that promote stabilized living experience and user well-being, it is necessary to consider and be aware of how multiple perceptual information interact and influence the way we perceive space i.e. multimodal perception. This study aims to gain an understanding of how sensory cues influence the emotional evaluation of the spatial design. We analyzed how the change in levels of spatial elements was emotionally perceived in the presence and absence of scent and color. The results from the study presented that both scent and color significantly affected the emotional response to change in levels of spatial elements in different ways. The findings suggest that (1) in the absence of both color and scent, the spatial elements interacted to affect the participants’ moods related to being confused and feeling strained and tensed, (2) in the presence of a cool color (purple) and relaxing scent (lavender), spatial elements interacted to affect the participants’ mood related to feeling strained and tensed, (3) in the presence of a warm color (orange) and stimulating scent (orange), spatial elements interacted to affect the participants’ mood related to being unhappy. The findings of the study are worthy as they provide an insight into the influence of multimodality in spatial perception. They will help establish guidelines for incorporating perceptual information in spatial designs that provide stabilized living experience and enhanced individual well-being

General Computational Model for Human Musculoskeletal System of Spine

A general computational model of the human lumbar spine and trunk muscles including optimization formulations was provided. For a given condition, the trunk muscle forces could be predicted considering the human physiology including the follower load concept. The feasibility of the solution could be indirectly validated by comparing the compressive force, the shear force, and the joint moment. The presented general computational model and optimization technology can be fundamental tools to understand the control principle of human trunk muscles

A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework

International audienceProgram analyses often utilize various forms of sensitivity such as context sensitivity, call-site sensitivity, and object sensitivity. These techniques all allow for more precise program analyses, that are able to compute more precise program invariants, and to verify stronger properties. Despite the fact that sensitivity techniques are now part of the standard toolkit of static analyses designers and implementers, no comprehensive frameworks allow the description of all common forms of sensitivity. As a consequence, the soundness proofs of static analysis tools involving sensitivity often rely on ad hoc formalization, which are not always carried out in an abstract interpretation framework. Moreover, this also means that opportunities to identify similarities between analysis techniques to better improve abstractions or to tune static analysis tools can easily be missed. In this paper, we present and formalize a framework for the description of sensitivity in static analysis. Our framework is based on a powerful abstract domain construction, and utilizes reduced cardinal power to tie basic abstract predicates to the properties analyses are sensitive to. We formalize this abstraction, and the main abstract operations that are needed to turn it into a generic abstract domain construction. We demonstrate that our approach can allow for a more precise description of program states, and that it can also describe a large set of sensitivity techniques, both when sensitivity criteria are static (known before the analysis) or dynamic (inferred as part of the analysis), and sensitive analysis tuning parameters. Last, we show that sensitivity techniques used in state of the art static analysis tools can be described in our framework