A phenomenology of crack abuse

The aim of this dissertation is to identify, describe, and explain the common experiences defining the crack abuser's life-world. Its method is phenomenological. Using basic cybernetic premises, a neurophysiologically oriented phenomenological framework concerning the constitution of thoughts, memories, and perceptions is first written. The framework is designed to hypothetically represent the neuropathology of crack abuse within a perspective that prescinds and describes the constitution, flow, and interdependence of experience. After the framework is written, the dissertation outlines the neuro-psychopharmacology of crack abuse and delimits crack abusers as a specific group within the more general population of cocaine users. It then represents the neuropathology of crack abuse within its phenomenological framework and uses the first-person accounts of forty-two crack dependents to actualize a phenomenological sketch of the crack abuser's life-world. The ethnographies afford the possibility of writing a “thick” description of the crack abuser's daily life—one that communicates the substance, order, and subjective and cultural dimensions of the dependent's defining experiences. ^ The dissertation's goals are successfully realized. The framework written and the ethnographies recorded and transcribed, the dissertation is able to identify, describe, and to a certain extent explain some of the common experiences defining the crack abusers life-world. The dissertation concludes that the crack abuser's life-world is organized around three primary and four secondary experiences. His primary experiences include: (1) an almost complete, yet fleeting, satisfaction of the ego's innate insufficiency and sublime, erotic-like stimulation of its core, (2) a fundamental inclination and expansion of the uniquely oriented euphoria-dysphoria dynamic that vivifies and orients the flow of consciousness, and (3) a change in the ego's innate structure. His secondary experiences include: (a) a characteristic aiming of projects, actions, and conduct toward the procurement and consumption of crack, (b) a denigration in the hold of legitimations and institutionalizations on the thematic field, (c) a strict alignment and a contraction in the scope of logical types pointing to the salient experiences within the stock of knowledge, and (d) for some crack abusers, ontological insecurity, despair, and exhaustion. ^

Phenomenology, psychoanalysis, and subject identity: Locating Narcissus and Proteus in the text

This paper examines the ways in which subject identity obtains in either philosophical or psychoanalytical theory, which subject may be duplicated—and disclosed—in literary narratives via their principles and ideas. ^ The technique has a double approach. First, the thesis examines subject formation in (and by) language, through psychoanalysis as it draws upon abiding mythic resources, phenomenological methods and aims (e.g., the subject as consciousness intending its object), and the existentialist turn. It then brings these ideas and principles to bear upon an analysis of literary works as cultural expressions of these identities. ^ Beginning with scientific and philosophical referents (as opposed to the somewhat ‘inclusive’ analysis of, for example, the New Criticism or explication de texte), allows for alternative readings not previously available to either author or reader. ^ Access to extra-literary sources, theories, and ideas enables a ‘reading’ of the subject on a par with one existing in the Life-World. ^

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic.^ This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.^

Experiential hospitality environments: The roles of the interior architectural features in affording meanings of place

People’s authentic sense of place is being overshadowed by less authentic experiences referred to as placelessness. Consequently, a demand for experiential interior environments has surfaced. Experiential environmental and place attachment theories suggested that the relationships between self, others, and the environment are what encourage users in creating meaningful authentic experiences. This qualitative study explored the roles of the experiential interior architectural features in affording users of hospitality environments higher-level needs, such as meanings of place. For the case study, ten participants stayed at a hotel for two nights. Participants were given a guided list of ten facets of an experience, which was insidiously structured by both experiential environmental and place attachment theories. The participants used photographs to document each of the facets on the guided list. The photos were then used during the photo elicitation interviews, which evoked additional qualitative information. Participants identified specific interior architectural features and described them using the themes associated to place attachment theories. The findings revealed that the interior architectural features might enrich the meanings a person associates with a given place. Possibly affording users higher-level needs. As a result, if an experiential interior environment allows users to foster relationships between self, others, and the physical environment, they may experience more authentic experiences and give more meanings to a place.

A hermeneutic phenomenology of graduate education students' understandings of instructor power in a higher education classroom

Higher education is a distribution center of knowledge and economic, social, and cultural power (Cervero & Wilson, 2001). A critical approach to understanding a higher education classroom begins with recognizing the instructor's position of power and authority (Tisdell, Hanley, & Taylor, 2000). The power instructors wield exists mostly unquestioned, allowing for teaching practices that reproduce the existing societal patterns of inequity in the classroom (Brookfield, 2000). ^ The purpose of this hermeneutic phenomenological study was to explore students' experiences with the power of their instructors in a higher education classroom. A hermeneutic phenomenological study intertwines the interpretations of both the participants and the researcher about a lived experience to uncover layers of meaning because the meanings of lived experiences are usually not readily apparent (van Manen, 1990). Fifteen participants were selected using criterion, convenience, and snowball sampling. The primary data gathering method were semi-structured interviews guided by an interview protocol (Creswell, 2003). Data were interpreted using thematic reflection (van Manen, 1990). ^ Three themes emerged from data interpretation: (a) structuring of instructor-student relationships, (b) connecting power to instructor personality, and (c) learning to navigate the terrains of higher education. How interpersonal relationships were structured in a higher education classroom shaped how students perceived power in that higher education classroom. Positive relationships were described using the metaphor of family and a perceived ethic of caring and nurturing by the instructor. As participants were consistently exposed to exercises of instructor power in a higher education classroom, they attributed those exercises of power to particular instructor traits rather than systemic exercises of power. As participants progressed from undergraduate to graduate studies, they perceived the benefits of expertise in content or knowledge development as secondary to expertise in successfully navigating the social, cultural, political, and interpersonal terrains of higher education. Ultimately, participants expressed that higher education is not about what you know; it is about learning how to play the game. Implications for teaching in higher education and considerations for future research conclude the study.^

Effects of architectural features of air-permeable roof cladding materials on wind-induced uplift loading

Widespread damage to roofing materials (such as tiles and shingles) for low-rise buildings, even for weaker hurricanes, has raised concerns regarding design load provisions and construction practices. Currently the building codes used for designing low-rise building roofs are mainly based on testing results from building models which generally do not simulate the architectural features of roofing materials that may significantly influence the wind-induced pressures. Full-scale experimentation was conducted under high winds to investigate the effects of architectural details of high profile roof tiles and asphalt shingles on net pressures that are often responsible for damage to these roofing materials. Effects on the vulnerability of roofing materials were also studied. Different roof models with bare, tiled, and shingled roof decks were tested. Pressures acting on both top and bottom surfaces of the roofing materials were measured to understand their effects on the net uplift loading. The area-averaged peak pressure coefficients obtained from bare, tiled, and shingled roof decks were compared. In addition, a set of wind tunnel tests on a tiled roof deck model were conducted to verify the effects of tiles' cavity internal pressure. Both the full-scale and the wind tunnel test results showed that underside pressure of a roof tile could either aggravate or alleviate wind uplift on the tile based on its orientation on the roof with respect to the wind angle of attack. For shingles, the underside pressure could aggravate wind uplift if the shingle is located near the center of the roof deck. Bare deck modeling to estimate design wind uplift on shingled decks may be acceptable for most locations but not for field locations; it could underestimate the uplift on shingles by 30-60%. In addition, some initial quantification of the effects of roofing materials on wind uplift was performed by studying the wind uplift load ratio for tiled versus bare deck and shingled versus bare deck. Vulnerability curves, with and without considering the effects of tiles' cavity internal pressure, showed significant differences. Aerodynamic load provisions for low-rise buildings' roofs and their vulnerability can thus be more accurately evaluated by considering the effects of the roofing materials.

Playing the Game: A Hermeneutic Phenomenology of Graduate Education Students’ Perceptions of Instructor Power in a Higher Education Classroom

The purpose of this hermeneutic phenomenological study was to explore students’ experiences with the power of their instructors in a higher education classroom. This study provides a deeper understanding of instructor power from student perspectives to inform teaching practices in the higher education classroom.

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic. This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.

Sustaining culture through architecture : how can local, vernacular architectural principles be adapted to contemporary design in a village in Guyana

This thesis explores how architecture can adapt local vernacular design principles to contemporary building design in a rural setting. Vernacular buildings in Guyana present a unique and coherent set of design principles developed in response to climatic and cultural conditions. The concept of “habitus” proposed by philosopher Pierre Bourdieu describing the evolving nature of social culture was used to interpret Guyanese local buildings. These principles were then applied to the design of a Women’s Center in the village of Port Mourant on the east coast of Guyana. The design specifically interpreted the “bottom-house” of local Guyanese architecture, an inherently flexible transitional outdoor space beneath raised buildings. The design of the Women’s Center demonstrates how contemporary architectural design can respond to climatic requirements, local preferences and societal needs to support the local culture.