A method for enhancing digital information displayed to computer users with visual refractive errors via spatial and spectral processing

This research pursued the conceptualization, implementation, and verification of a system that enhances digital information displayed on an LCD panel to users with visual refractive errors. The target user groups for this system are individuals who have moderate to severe visual aberrations for which conventional means of compensation, such as glasses or contact lenses, does not improve their vision. This research is based on a priori knowledge of the user's visual aberration, as measured by a wavefront analyzer. With this information it is possible to generate images that, when displayed to this user, will counteract his/her visual aberration. The method described in this dissertation advances the development of techniques for providing such compensation by integrating spatial information in the image as a means to eliminate some of the shortcomings inherent in using display devices such as monitors or LCD panels. Additionally, physiological considerations are discussed and integrated into the method for providing said compensation. In order to provide a realistic sense of the performance of the methods described, they were tested by mathematical simulation in software, as well as by using a single-lens high resolution CCD camera that models an aberrated eye, and finally with human subjects having various forms of visual aberrations. Experiments were conducted on these systems and the data collected from these experiments was evaluated using statistical analysis. The experimental results revealed that the pre-compensation method resulted in a statistically significant improvement in vision for all of the systems. Although significant, the improvement was not as large as expected for the human subject tests. Further analysis suggest that even under the controlled conditions employed for testing with human subjects, the characterization of the eye may be changing. This would require real-time monitoring of relevant variables (e.g. pupil diameter) and continuous adjustment in the pre-compensation process to yield maximum viewing enhancement.

A method for enhancing digital information displayed to computer users with visual refractive errors via spatial and spectral processing

This research pursued the conceptualization, implementation, and verification of a system that enhances digital information displayed on an LCD panel to users with visual refractive errors. The target user groups for this system are individuals who have moderate to severe visual aberrations for which conventional means of compensation, such as glasses or contact lenses, does not improve their vision. This research is based on a priori knowledge of the user's visual aberration, as measured by a wavefront analyzer. With this information it is possible to generate images that, when displayed to this user, will counteract his/her visual aberration. The method described in this dissertation advances the development of techniques for providing such compensation by integrating spatial information in the image as a means to eliminate some of the shortcomings inherent in using display devices such as monitors or LCD panels. Additionally, physiological considerations are discussed and integrated into the method for providing said compensation. In order to provide a realistic sense of the performance of the methods described, they were tested by mathematical simulation in software, as well as by using a single-lens high resolution CCD camera that models an aberrated eye, and finally with human subjects having various forms of visual aberrations. Experiments were conducted on these systems and the data collected from these experiments was evaluated using statistical analysis. The experimental results revealed that the pre-compensation method resulted in a statistically significant improvement in vision for all of the systems. Although significant, the improvement was not as large as expected for the human subject tests. Further analysis suggest that even under the controlled conditions employed for testing with human subjects, the characterization of the eye may be changing. This would require real-time monitoring of relevant variables (e.g. pupil diameter) and continuous adjustment in the pre-compensation process to yield maximum viewing enhancement.

The relationship of fear of intimacy, body image avoidance and body mass index

Issues of body image and ability to achieve intimacy are connected to body weight, yet remain largely unexplored and have not been evaluated by gender. The underlying purpose of this research was to determine if avoidant attitudes and perceptions of one's body may hold implications toward its use in intimate interactions, and if an above average body weight would tend to increase this avoidance. The National Health and Nutrition Examination Survey (NHANES, 1999-2002) finds that 64.5% of US adults are overweight, with 61.9% of women and 67.2% of men. The increasing prevalence of overweight and obesity in men and women shows no reverse trend, nor have prevention and treatment proven effective in the long term. The researcher gathered self-reported age, gender, height and weight data from 55 male and 58 female subjects (determined by a prospective power analysis with a desired medium effect size (r=.30) to determine body mass index (BMI), determining a mean age of 21.6 years and mean BMI of 25.6. Survey instruments consisted of two scales that are germane to the variables being examined. They were (1) Descutner and Thelen of the University of Missouri‘s (1991) Fear-of-Intimacy scale; and (2) Rosen, Srebnik, Saltzberg, and Wendt's (1991) Body Image Avoidance Questionnaire. Results indicated that as body mass index increases, fear of intimacy increases (p<0.05) and that as body mass index increases, body image avoidance increases (p<0.05). The relationship that as body image avoidance increases, fear of intimacy increases was not supported, but approached significance at (p<0.07). No differences in these relationships were determined between gender groups. For age, the only observed relationship was that of a difference between scores for age groups [18 to 22 (group 1) and ages 23 to 34 (group 2)] for the relationship of body image avoidance and fear of intimacy (p<0.02). The results suggest that the relationship of body image avoidance and fear of intimacy, as well as age, bear consideration toward the escalating prevalence of overweight and obesity. An integrative approach to body weight that addresses issues of body image and intimacy may prove effective in prevention and treatment.

The Engaged University: Providing a Platform for Research That Transforms Society

Despite a growing recognition that the solutions to current environmental problems will be developed through collaborations between scientists and stakeholders, substantial challenges stifle such cooperation and slow the transfer of knowledge. Challenges occur at several levels, including individual, disciplinary, and institutional. All of these have implications for scholars working at academic and research institutions. Fortunately, creative ideas and tested models exist that provide opportunities for conversation and serious consideration about how such institutions can facilitate the dialogue between scientists and society

The Relationship of Fear of Intimacy, Body Image Avoidance and Body Mass Index

Issues of body image and ability to achieve intimacy are connected to body weight, yet remain largely unexplored and have not been evaluated by gender. The underlying purpose of this research was to determine if avoidant attitudes and perceptions of one’s body may hold implications toward its use in intimate interactions, and if an above average body weight would tend to increase this avoidance. The National Health and Nutrition Examination Survey (NHANES, 1999-2002) finds that 64.5% of US adults are overweight, with 61.9% of women and 67.2% of men. The increasing prevalence of overweight and obesity in men and women shows no reverse trend, nor have prevention and treatment proven effective in the long term. The researcher gathered self-reported age, gender, height and weight data from 55 male and 58 female subjects (determined by a prospective power analysis with a desired medium effect size (r =.30) to determine body mass index (BMI), determining a mean age of 21.6 years and mean BMI of 25.6. Survey instruments consisted of two scales that are germane to the variables being examined. They were (1) Descutner and Thelen of the University of Missouri’s (1991) Fear-of-Intimacy scale and (2) Rosen, Srebnik, Saltzberg, and Wendt’s (1991) Body Image Avoidance Questionnaire. Results indicated that as body mass index increases, fear of intimacy increases (p<0.05) and that as body mass index increases, body image avoidance increases (p<0.05). The relationship that as body image avoidance increases, fear of intimacy increases was not supported, but approached significance at (p<0.07). No differences in these relationships were determined between gender groups. For age, the only observed relationship was that of a difference between scores for age groups [18 to 22 (group 1) and ages 23 to 34 (group 2)] for the relationship of body image avoidance and fear of intimacy (p<0.02). The results suggest that the relationship of body image avoidance and fear of intimacy, as well as age, bear consideration toward the escalating prevalence of overweight and obesity. An integrative approach to body weight that addresses issues of body image and intimacy may prove effective in prevention and treatment.

Methods for modeling and analyzing concurrent software

Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concurrent software systems at design and code levels. This dissertation consists of several related results. First, a formal model of Mondex, an electronic purse system, is built using Petri nets from user requirements, which is formally verified using model checking. Second, Petri nets models are automatically mined from the event traces generated from scientific workflows. Third, partial order models are automatically extracted from some instrumented concurrent program execution, and potential atomicity violation bugs are automatically verified based on the partial order models using model checking. Our formal specification and verification of Mondex have contributed to the world wide effort in developing a verified software repository. Our method to mine Petri net models automatically from provenance offers a new approach to build scientific workflows. Our dynamic prediction tool, named McPatom, can predict several known bugs in real world systems including one that evades several other existing tools. McPatom is efficient and scalable as it takes advantage of the nature of atomicity violations and considers only a pair of threads and accesses to a single shared variable at one time. However, predictive tools need to consider the tradeoffs between precision and coverage. Based on McPatom, this dissertation presents two methods for improving the coverage and precision of atomicity violation predictions: 1) a post-prediction analysis method to increase coverage while ensuring precision; 2) a follow-up replaying method to further increase coverage. Both methods are implemented in a completely automatic tool.

Racial/ethnic differences on the body image perceptions and weight concerns of fourth grade girls

The purpose of this study was to determine the racial and ethnic differences on body image perceptions and weight concerns of fourth grade girls. A purposive sample of 182 fourth grade girls were eligible to participate, 166 were included in the data analysis. The Children's Eating Attitude Test (ChEAT) and a Dieting and Demographic Questionnaire (DDQ) were used to determine eating attitudes of fourth grade girls. A pictoral instrument that was modified from the original was used to assess body image. Anthropometric data was assessed and body mass index (BMI) values were used to classify subjects into percentiles. Results revealed that 56% of all fourth grade girls studied wanted to be thinner and 53% had tried to lose weight. Significantly more non-Hispanic white (NHW) girls reported wanting to be thinner than non-Hispanic black (NHB) and H girls (65.5% vs.32% and 47%, respectively, P=0.005) No significant racial/ethnic differences were revealed for the ChEAT scores. However, 19% of all subjects studied fell into the category indicative of anorexia nervosa. H girls who were less than the 85" %tile for BMI chose significantly smaller figures as their perceived body image (3.5±0.7) than both NHB and NHW girls (4.0±0.6 and 3.9±0.5, respectively, P<0.01). These findings demonstrated that weight concerns were prevalent among girls ages 9- 11 years. NHW and H girls may have more concerns about their body size and shape than their NHB counterparts. Implementing intervention programs at an early age may prevent eating disorders in adolescence and adulthood.

Social institutions and identity formation : the interface between society and the individual

This thesis describes a study conducted to develop and refine a measure, the Social Institutions Rating (SIR), a group administered, self-report measure of institutional attributes and characteristics. This thesis reports data on the psychometric properties of the SIR. Exploratory analyses are reported investigating the empirical effects of social institutions on identity formation within two ethnic/cultural groups, Euroamericans and Hispanics. Based on previous studies with ethnic minorities, a directional hypothesis was tested. The hypothesis that subjects in the Euroamerican sample have a higher identity status than the Hispanic sample for three identity domains (personal, interpersonal, and world view) was not confirmed. The hypothesis that subjects in the Euroamerican sample would score higher on identity satisfaction and lower on identity dissatisfaction than the Hispanic sample for nine content areas of identity was partially supported but in the opposite direction. Hispanics reported higher satisfaction on sense of self and religious issues than Euroamericans.

The effect of sexist attitudes on the perception of visual artists by community college and university students

This study compared the effects of sexist labeling on the perceptions of visual artists by the community college and university students and determined their sex role orientation. The 370 students were shown five slides of an artist's works and were given six versions of an artist's biography. It contained embedded sexual labeling (woman, girl, person/ she, man, guy, person/he). The Artist Evaluation Questionnaire was administered to the female and male community college and university students that required the students to evaluate the female and male artists on several aspects of affective and cognitive measures. The questionnaire consisted of 9 items that had to be rated by the participants. In addition, the students filled out the Demographic Questionnaire and the BEM Sex Role Inventory, titled the Attitude Questionnaire. The Analysis of Variance testing procedures were administered to analyze the responses. The results disclosed gender differences in students' ratings. The female artist's work, when the artist was referred to by the neutral sexual label, "person", received significantly higher ratings from the female students. The male students gave the female artist her highest ratings when she was referred to by the low status sexual label, "girl". Both sexes did not express statistically significant preferences for any of the male sexual labels. Gender difference became apparent when it was found that female students rated both sexes equally, and their ratings were lower than those of the male students. The male students rated the female artist's work higher than the work of the male artist. The analysis of the sex role inventory questionnaire revealed the absence of the feminine (expressive) and masculine (instrumental) personalities among the students. The personalities of almost all the students were androgynous, with a few within the range of the near feminine, and a few within the range of the near masculine. The study reveals that there are differences in perception of sexual labels among the community college and university students.

Labor turnover : its causes, consequences, and control strategy in five selected restaurants in the Miami area

The purpose of this study is to identify and analyze the basic causes of food service employee turnover in five selected restaurants in the Miami area. The withdrawal behavior in this study is treated in terms of controllable turnover, for the purpose of management, learning more about what action to take to solve this problem which has eaten into the fabric of the hospitality industry. The aim is to find out from the food service employees and management view of work for the purpose of identifying the variables which cause an employee to voluntarily leave a job. The objective is therefore, to analyze and describe the problem of labor turnover in these selected restaurants. Such description must precede efforts to arrive at solutions to the problem if these efforts are ever to be more than haphazard and superficial. Sigmund Freud once stated: "The true beginning of scientific activity consists in describing phenomena and only then in proceeding to group, classify and correlate them."1 The nature of the study is basically descriptive survey. Data is collected by the use of management questionnaire, food service employee questionnaire and finally employees job description index. The survey consisted of a series of well defined questions with open and closed endings dealing with employee with employee turnover. As Robert Ferber and P. J. Verdoom state in their book titled Research Method in Economics of Business: "Structured questionnaires, by supplying question formulations in very specific terms as well as the different possible answers are easier for the sample members to answer and also serve to reduce the danger of interviewer bias."2 The answers to the prepared questionnaire by sample members were then recorded. The results of the questionnaire responses were then compiled for presentation and analysis. 1 Julian Simon, Basic Research Methods in Social Science. Random House, New York, 1969, p.53. 2 Robert J. Ferber and P.J. Verdoon, Research Methods in Economics and Business, The McMillan Company, 1962, p. 20 9 .

Methods for Modeling and Analyzing Concurrent Software

Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concurrent software systems at design and code levels. This dissertation consists of several related results. First, a formal model of Mondex, an electronic purse system, is built using Petri nets from user requirements, which is formally verified using model checking. Second, Petri nets models are automatically mined from the event traces generated from scientific workflows. Third, partial order models are automatically extracted from some instrumented concurrent program execution, and potential atomicity violation bugs are automatically verified based on the partial order models using model checking. Our formal specification and verification of Mondex have contributed to the world wide effort in developing a verified software repository. Our method to mine Petri net models automatically from provenance offers a new approach to build scientific workflows. Our dynamic prediction tool, named McPatom, can predict several known bugs in real world systems including one that evades several other existing tools. McPatom is efficient and scalable as it takes advantage of the nature of atomicity violations and considers only a pair of threads and accesses to a single shared variable at one time. However, predictive tools need to consider the tradeoffs between precision and coverage. Based on McPatom, this dissertation presents two methods for improving the coverage and precision of atomicity violation predictions: 1) a post-prediction analysis method to increase coverage while ensuring precision; 2) a follow-up replaying method to further increase coverage. Both methods are implemented in a completely automatic tool.