Collective bargaining and faculty unionization: An administrative perspective

The purpose of this qualitative case study was to gain insight into the perspectives of experienced higher education administrators regarding faculty unionization, the collective bargaining process, and the interpersonal relationships between higher education faculty members and administrators. ^ The primary method of data collection was semi-structured face to face interviews with nine administrators from two community colleges and two universities in the south Florida area. All of the study participants worked with unionized faculty members and had direct experience participating in bargaining negotiations. ^ Upon the completion of each interview, the researcher listened to the taped audio recording of the interview several times and then transcribed all of the information from the audiotape into a Word file. Data collection and analysis for each participant were performed concurrently. Using a modified concept mapping approach, the research questions were written on large yellow sticky notes and placed in the middle of a wall in the researcher’s home with nine descriptive categorical themes written on smaller sticky notes placed around the study questions. The highlighted quotes and key phrases were cut from each transcript and placed under each of the descriptive categories. Over the course of a few months repeatedly reviewing the research questions that guided this study, the theory of symbolic interactionism, and relevant literature the categorical descriptive themes were refined and condensed into five descriptive themes. ^ Study findings indicated that the administrators: (a) must have a clear understanding of what it is that the faculty does to be an effective representative at the bargaining table, (b) experienced role ambiguity and role strain related to a lack of understanding as to their role at the bargaining table and a lack of organizational support, (c) were not offered any type of training in preparation for bargaining, (d) perceived a definite “us versus them” mentality between faculty and administration, and (e) saw faculty collective bargaining at public institutions of higher education in Florida as ineffectual. ^

Para subsistir dignamente: Alberto Yarini and the search for Cubanidad, 1882-1910

This study looks at the broader transformations in Cuban history through the case study of a single, yet symbolic, man, and proposes a new paradigm for understanding the dynamics of Cuban society and culture. It also examines the implications for Cuba’s aspiring national identity at the turn of the twentieth century, by detailing the interplay between fact and fiction in the story of Alberto Yarini: elite born; well-educated; politically and socially well-connected; powerful; and celebrated Cuban racketeer and chulo (pimp). Yarini was described as vibrant and triumphant at a time when other nation-building forces in Cuba were weak and ambivalent. A century after his dramatic death, Yarini became the quintessential public man in Cuban lore who symbolized a cubanidad (Cuban national identity) not defined in terms of the ideological hegemony of class, race, or gender, and who through his actions dispelled the ambivalence that plagued Cuban nationalism. Using archival documents, contemporary newspaper accounts, court records, memoirs, and published works, this study analyzes the confluence of national events and individual action in the formation of Cuban national identity. It contends that for Cuba, the failure of nation-building experiments resulted in an ambivalent national identity based on failed philosophical and political ideals of equality and prosperity. These ideals played out within the context of the realities of racial discrimination, political dissonance, and class and gender barriers. Instead of a cohesive sense of national character, for Cubans the result was a competing set of identities including a populist version that was defined through identification with antitypes and pseudo-heroes such as Alberto Yarini y Ponce de León (1882-1910), a rising politician and celebrated chulo of the early republic. The telling and retelling of his story has given rise to what has been termed the island nation’s first national myth – one that continues to evolve and grow in the twenty-first century. For many Cubans, the Yarini antitype provided an idealized national identity which in many ways was—and many argue continues to be— the expression of an elusive and ambivalent cubanidad.

Formal modeling and analysis techniques for high level Petri nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. ^ There are two issues in using HLPNs—modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. ^ For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. ^ For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. ^ The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.^

The Commodification of Queer Virgins in Shakespeare, Spenser, and Keats

The purpose of this thesis was to explore selected works from William Shakespeare, Edmund Spenser, and John Keats, in order to expose textual instances of feminist thought. This analysis was aided with feminist theorists falling under the main strains of queer theory, materialism, and gender performance. Specifically, this thesis focused on the ways in which women, particularly virgin daughters, were viewed as property by their male kin. It also looked at how these women engaged in various symbolic masquerades and/or actual cross-dressing as a response to the aforementioned phenomenon. Finally, the thesis exposed how these masquerades can be construed as a queering of identity—manifested through reversals of power and rejection of patriarchal institutions like marriage.

Youth and power in the village hybrid chiefdoms in Fiji

The purpose of this study is to provide an alternative approach in analyzing social hybrid situations. The study is based on fieldwork conducted in 1995 in the village of Nasautoka, Fiji. The suggested analysis for hybrid cases is based on Anthony Giddens's structuration theory, with an emphasis on the concept of "agency" and "signification" rules. Giddens conceptualizes agents as both knowledgeable and reflexive. The agent is not viewed as passive and impotent as he paces through social life. Signification rules are extremely useful in analyses of symbolic orders, and shed light on the meaning of both "new" and "old" symbols as they manifest themselves simultaneously in Nasautoka. Of paramount importance is that these new symbols are unfolding beside the "old" symbols represented by the vanua. The vanua is a Fijian social structure with both sociocultural and physical dimensions. The current hybrid is exemplified by two merging structures and by the contrasting reactions of three groups within the village.

Formal Modeling and Analysis Techniques for High Level Petri Nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. There are two issues in using HLPNs - modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.

Alchemy and Symbolism in the Work of Carlos Estevez

The purpose of this thesis was to explore how alchemy has influenced Carlos Estevez’s work through a study of the symbolic repertoire and the philosophical concepts associated with it in his art, particularly how these are expressed in his artworks and how alchemy has evolved thematically in his oeuvre. The study of alchemy influenced this artist so deeply that even pieces that were not primarily inspired by this philosophical system show traces of it, essentially by representing the concept of transformation, crucial to understanding the alchemical process. This thesis is based on Carl Gustav Jung’s idea of metaphysical transformation as one of the main aspects of alchemy, and on his theory of active imagination as a tool to represent thoughts through artworks. Alchemy transformed Estevez’s art, and by extension the way he approaches life, making him conscious of the importance of transmutation and alchemical concepts.

Representación de la mujer transgresora en la novelística de la Cuba republicana

This dissertation explored the subversive feminine discourse in the most representative novels of the first quarter of the twentieth century in the newly born republic of Cuba. Drawing on the feminist theories of Simone de Beauvoir, Toril Moi and Pierre Bourdieu, these women were analyzed in the context of their time, their class level and their race. Because it is oppressive and theoretically unsatisfactory to reduce women to their general "humanity" or to their "femininity", my purpose was to analyze them as human beings in a "specific situation" and show how they curtailed the laws that patriarchy has prepared for them. The novels studied were: Doña Guiomar, by Emilio Bacardí; A fuego lento, by Emilio Bobadilla; La manigua sentimental, by Jesús Castellanos; Las honradas, by Miguel de Carrión; Las impuras, by Miguel de Carrión, and Ecué-Yamba-O, by Alejo Carpentier. Women will obtain freedom and independence from patriarchal control, symbolic power, symbolic violence, and hypnotic power when they are educated and have obtained a working position in society similar to men or by joining the political struggle in their community, in their country, or in the global organizations.

Secure routing and trust computation in multihop infrastructureless networks

Today's wireless networks rely mostly on infrastructural support for their operation. With the concept of ubiquitous computing growing more popular, research on infrastructureless networks have been rapidly growing. However, such types of networks face serious security challenges when deployed. This dissertation focuses on designing a secure routing solution and trust modeling for these infrastructureless networks. ^ The dissertation presents a trusted routing protocol that is capable of finding a secure end-to-end route in the presence of malicious nodes acting either independently or in collusion, The solution protects the network from active internal attacks, known to be the most severe types of attacks in an ad hoc application. Route discovery is based on trust levels of the nodes, which need to be dynamically computed to reflect the malicious behavior in the network. As such, we have developed a trust computational model in conjunction with the secure routing protocol that analyzes the different malicious behavior and quantifies them in the model itself. Our work is the first step towards protecting an ad hoc network from colluding internal attack. To demonstrate the feasibility of the approach, extensive simulation has been carried out to evaluate the protocol efficiency and scalability with both network size and mobility. ^ This research has laid the foundation for developing a variety of techniques that will permit people to justifiably trust the use of ad hoc networks to perform critical functions, as well as to process sensitive information without depending on any infrastructural support and hence will enhance the use of ad hoc applications in both military and civilian domains. ^

The Effectiveness of an Intervention Package on Math Computation

Abstract: Four second-grade students participated in a B-A-B withdrawal single-subject design experiment. The intervention package implemented consisted of three components: self-monitoring, performance feedback, and reinforcers. Participants completed math probes across phases. Accuracy and productivity was recorded and calculated. Results demonstrated the intervention package improved accuracy and productivity for all participants.

Algebraic Theory of Minimal Nondeterministic Finite Automata with Applications

Since the 1950s, the theory of deterministic and nondeterministic finite automata (DFAs and NFAs, respectively) has been a cornerstone of theoretical computer science. In this dissertation, our main object of study is minimal NFAs. In contrast with minimal DFAs, minimal NFAs are computationally challenging: first, there can be more than one minimal NFA recognizing a given language; second, the problem of converting an NFA to a minimal equivalent NFA is NP-hard, even for NFAs over a unary alphabet. Our study is based on the development of two main theories, inductive bases and partials, which in combination form the foundation for an incremental algorithm, ibas, to find minimal NFAs. An inductive basis is a collection of languages with the property that it can generate (through union) each of the left quotients of its elements. We prove a fundamental characterization theorem which says that a language can be recognized by an n-state NFA if and only if it can be generated by an n-element inductive basis. A partial is an incompletely-specified language. We say that an NFA recognizes a partial if its language extends the partial, meaning that the NFA's behavior is unconstrained on unspecified strings; it follows that a minimal NFA for a partial is also minimal for its language. We therefore direct our attention to minimal NFAs recognizing a given partial. Combining inductive bases and partials, we generalize our characterization theorem, showing that a partial can be recognized by an n-state NFA if and only if it can be generated by an n-element partial inductive basis. We apply our theory to develop and implement ibas, an incremental algorithm that finds minimal partial inductive bases generating a given partial. In the case of unary languages, ibas can often find minimal NFAs of up to 10 states in about an hour of computing time; with brute-force search this would require many trillions of years.