Action Plan to Conserve the Native Plants of Florida

In this document, a strategy aimed at conserving the native flora of Florida is presented. The strategy is developed in a four-step sequence. Following the Introduction (Part I), The Florida Native Plant Resource (Part II) describes the resource and the threats to it. That section includes a brief description of the vegetation of Florida prior to the demographic explosion of the last century, a report on the current status of plants in the state, and discussion of some factors responsible for the evident and continuing decline in the quality and quantity of the vegetation resource. In Part III (The Florida Plant Conservation Process), an explicit goal for plant conservation in Florida is expressed, a model describing the plant conservation process is presented, and activities included with each component of the model are examined and evaluated for the state as a whole. Finally, in Part IV (Recommendations To Improve The Process), changes are presented that we believe would help create a more effective plant conservation environment in Florida.

Optimization of pavement maintenance and rehabilitation programming using shuffled complex evolution algorithm

The major barrier to practical optimization of pavement preservation programming has always been that for formulations where the identity of individual projects is preserved, the solution space grows exponentially with the problem size to an extent where it can become unmanageable by the traditional analytical optimization techniques within reasonable limit. This has been attributed to the problem of combinatorial explosion that is, exponential growth of the number of combinations. The relatively large number of constraints often presents in a real-life pavement preservation programming problems and the trade-off considerations required between preventive maintenance, rehabilitation and reconstruction, present yet another factor that contributes to the solution complexity. In this research study, a new integrated multi-year optimization procedure was developed to solve network level pavement preservation programming problems, through cost-effectiveness based evolutionary programming analysis, using the Shuffled Complex Evolution (SCE) algorithm.^ A case study problem was analyzed to illustrate the robustness and consistency of the SCE technique in solving network level pavement preservation problems. The output from this program is a list of maintenance and rehabilitation treatment (M&R) strategies for each identified segment of the network in each programming year, and the impact on the overall performance of the network, in terms of the performance levels of the recommended optimal M&R strategy. ^ The results show that the SCE is very efficient and consistent in the simultaneous consideration of the trade-off between various pavement preservation strategies, while preserving the identity of the individual network segments. The flexibility of the technique is also demonstrated, in the sense that, by suitably coding the problem parameters, it can be used to solve several forms of pavement management programming problems. It is recommended that for large networks, some sort of decomposition technique should be applied to aggregate sections, which exhibit similar performance characteristics into links, such that whatever M&R alternative is recommended for a link can be applied to all the sections connected to it. In this way the problem size, and hence the solution time, can be greatly reduced to a more manageable solution space. ^ The study concludes that the robust search characteristics of SCE are well suited for solving the combinatorial problems in long-term network level pavement M&R programming and provides a rich area for future research. ^

Regional aspects of Miami crime fiction

This thesis argues that forces of literary regionalism and postmodern culture are behind the explosion of crime fiction being written in and about South Florida by a growing number of resident authors. ^ Research included four methods of investigation: (1) A critical reading of many of the novels that make up the sub-genre. (2) A study of the theories of regionalism, postmodernism and the genre of the crime fiction. (3) Interviews with a number of the authors and a prominent Miami book seller. (4) Sociological studies of Miami in terms of historical events and their cultural significance. ^ Today's South Florida crime fiction authors cast their narratives in the old genre of the detective novel where characters are delineated according to traditional definitions of good and evil. What makes South Florida crime fiction different from traditional detective fiction is its interest in the exotic, postmodern culture and setting of South Florida. There is a unique cultural diversity of the city due to the geographical location of Miami in relationship to Latin America and the Caribbean, and the political forces at work in the region. South Florida's sub-tropical climate, fragile ecosystem, and elements of frontier life in a cosmopolitan city work to support Miami crime fiction. ^

Improved sampling and detection of ignitable liquid residues and explosives by mass spectrometry and ion mobility spectrometry

Fire debris evidence is submitted to crime laboratories to determine if an ignitable liquid (IL) accelerant was used to commit arson. An ignitable liquid residue (ILR) may be difficult to analyze due to interferences, complex matrices, degradation, and low concentrations of analytes. Debris from an explosion and pre-detonated explosive compounds are not trivial to detect and identify due to sampling difficulties, complex matrices, and extremely low amounts (nanogram) of material present. The focus of this research is improving the sampling and detection of ILR and explosives through enhanced sensitivity, selectivity, and field portable instrumentation. Solid Phase MicroExtraction (SPME) enhanced the extraction of ILR by two orders of magnitude over conventional activated charcoal strip (ACS) extraction. Gas chromatography tandem mass spectrometry (GC/MS/MS) improved sensitivity of ILR by one order of magnitude and explosives by two orders of magnitude compared to gas chromatography mass spectrometry (GC/MS). Improvements in sensitivity were attributed to enhanced selectivity. An interface joining SPME to ion mobility spectrometry (IMS) has been constructed and evaluated to improve field detection of hidden explosives. The SPME-IMS interface improved the detection of volatile and semi-volatile explosive compounds and successfully adapted the IMS from a particle sampler into a vapor sampler. ^

From stability to insurgency: The root and proximate causes of the September 2002 civil war in Côte d'Ivoire

This dissertation was an analysis of the root and proximate causes of the September 2002 civil war in Côte d’Ivoire. The central question of this study was: Why did Côte d’Ivoire, which was relatively stable under President Houphouët-Boigny, suddenly begin to experience political violence in the 1990s and an explosion in 2002? Côte d’Ivoire was an interesting case because it was stable for a long period of time, apparently making it an infertile ground for conflict. It was also interesting for comparative purposes because of the fact that several states in West Africa (for instance, Benin, Togo, and Ghana) have experienced military coups but not have civil wars. Finally, this case was an opportunity to revisit the debate on the causes of civil wars in the African context. Chapter one has outlined the entire dissertation project and contextualized the analysis that follows in the subsequent chapters. Chapter two has reviewed the literature on civil wars in general, identified the different types of civil wars, and the type the Ivoiran war is. Chapter three has examined the domestic and international political economy as a source of the civil violence in Côte d’Ivoire. Chapter four has examined the role of ethnicity and region as identities of the war, while chapter five has analyzed the role of the foreign relations in the civil war, as well as the regional political context. Chapter six has distinguished between the root and proximate causes of the Ivoirian civil war, made judgments about the relative weight of the various causes, and the extent to which the weight of the causes can be measured. The study found that the “Ivoirité” was the most important trigger of the civil war in Côte d’Ivoire. The overall conclusion of my dissertation was that the September 2002 crisis in that country was a political crisis which occured in the context of a political reform. It first started with succession problems in 1993 followed by the controversial elections in 1995 and 2000. Later, this electoral politics spread beyond electoral issues, namely citizenship matters.

DIMUSE: An integrated framework for distributed multimedia system with database management and security support

With the recent explosion in the complexity and amount of digital multimedia data, there has been a huge impact on the operations of various organizations in distinct areas, such as government services, education, medical care, business, entertainment, etc. To satisfy the growing demand of multimedia data management systems, an integrated framework called DIMUSE is proposed and deployed for distributed multimedia applications to offer a full scope of multimedia related tools and provide appealing experiences for the users. This research mainly focuses on video database modeling and retrieval by addressing a set of core challenges. First, a comprehensive multimedia database modeling mechanism called Hierarchical Markov Model Mediator (HMMM) is proposed to model high dimensional media data including video objects, low-level visual/audio features, as well as historical access patterns and frequencies. The associated retrieval and ranking algorithms are designed to support not only the general queries, but also the complicated temporal event pattern queries. Second, system training and learning methodologies are incorporated such that user interests are mined efficiently to improve the retrieval performance. Third, video clustering techniques are proposed to continuously increase the searching speed and accuracy by architecting a more efficient multimedia database structure. A distributed video management and retrieval system is designed and implemented to demonstrate the overall performance. The proposed approach is further customized for a mobile-based video retrieval system to solve the perception subjectivity issue by considering individual user's profile. Moreover, to deal with security and privacy issues and concerns in distributed multimedia applications, DIMUSE also incorporates a practical framework called SMARXO, which supports multilevel multimedia security control. SMARXO efficiently combines role-based access control (RBAC), XML and object-relational database management system (ORDBMS) to achieve the target of proficient security control. A distributed multimedia management system named DMMManager (Distributed MultiMedia Manager) is developed with the proposed framework DEMUR; to support multimedia capturing, analysis, retrieval, authoring and presentation in one single framework.

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.^

Regional aspects of Miami crime fiction

This thesis argues that forces of literary regionalism and postmodern culture are behind the explosion of crime fiction being written in and about South Florida by a growing number of resident authors. Research included four methods of investigation: 1. A critical reading of many of the novels that make up the sub-genre. 2. A study of the theories of regionalism, postmodernism and the genre of the crime fiction. 3. Interviews with a number of the authors and a prominent Miami book seller. 4. Sociological studies of Miami in terms of historical events and their cultural significance. Today's South Florida crime fiction authors cast their narratives in the old genre of the detective novel where characters are delineated according to traditional definitions of good and evil. Evil characters threaten established order. What makes South Florida crime fiction different from traditional detective fiction is its interest in the exotic, postmodern culture and setting of South Florida. Like the region, the villains are exotic and the order that they threaten is postmodern. There is less of an interest in attributing a larger social meaning to the heroes. Rather, there is an ontological interest in the playing out of good against evil in an almost mythical setting that magnifies economic, environmental and racial issues. There is a unique cultural diversity of the city due to the geographical location of Miami in relationship to Latin America and the Caribbean, and the political forces at work in the region. South Florida's subtropical climate, fragile ecosystem, and elements of frontier life in a cosmopolitan city work to support Miami crime fiction. The setting personifies the unpredictability and pastiche of a postmodern world and may call for a new definition for literature that relies on non-traditional regional characteristics.

From Stability to Insurgency: The Root and Proximate Causes of the September 2002 Civil War in Cote d'Ivoire

This dissertation was an analysis of the root and proximate causes of the September 2002 civil war in Côte d’Ivoire. The central question of this study was: Why did Côte d’Ivoire, which was relatively stable under President Houphouët-Boigny, suddenly begin to experience political violence in the 1990s and an explosion in 2002? Côte d’Ivoire was an interesting case because it was stable for a long period of time, apparently making it an infertile ground for conflict. It was also interesting for comparative purposes because of the fact that several states in West Africa (for instance, Benin, Togo, and Ghana) have experienced military coups but not have civil wars. Finally, this case was an opportunity to revisit the debate on the causes of civil wars in the African context. Chapter one has outlined the entire dissertation project and contextualized the analysis that follows in the subsequent chapters. Chapter two has reviewed the literature on civil wars in general, identified the different types of civil wars, and the type the Ivoiran war is. Chapter three has examined the domestic and international political economy as a source of the civil violence in Côte d’Ivoire. Chapter four has examined the role of ethnicity and region as identities of the war, while chapter five has analyzed the role of the foreign relations in the civil war, as well as the regional political context. Chapter six has distinguished between the root and proximate causes of the Ivoirian civil war, made judgments about the relative weight of the various causes, and the extent to which the weight of the causes can be measured. The study found that the “Ivoirité” was the most important trigger of the civil war in Côte d’Ivoire. The overall conclusion of my dissertation was that the September 2002 crisis in that country was a political crisis which occured in the context of a political reform. It first started with succession problems in 1993 followed by the controversial elections in 1995 and 2000. Later, this electoral politics spread beyond electoral issues, namely citizenship matters.

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.

Centered Fluidity and the Horizons of Continuity in Djuna Barnes' Nightwood

Modern writers like Djuna Barnes allow for the post-modern fluidity and explosion of sex and gender without finalizing either in a fixed form. Whereas the classical, archetypal androgyne is made up of two halves, one man and one woman; the deconstructed androgynous figure is not constituted of oppositional terms which would reflect an essential and unimpeachable truth. I reveal the way Djuna Barnes’ Nightwood not only thematizes the fluid androgyne, but also cleverly verbalizes David Wood’s perpetual and un-dischargable “debt” to extra-discursivity while poetically critiquing gender “appropriateness,” societal constraints, and the constitution of identity. Barnes presents a decentralized, ungrounded and non-prescribed world in Nightwood not only through her cross-dressing and androgynous characters, but also in her poetics, her assertion of the open-ended quality of language, and a strong imperative to negotiate our physical existence in a world of fluid gender and sexual boundaries.

Playing Miami : Afrocuban performance artists negotiating cubanidad

The social scripts that are deeply involved in cultural production by AfroCuban identified artists in Miami, during the late nineties to the present, participate in a climate that is informed by and feeds from the so-called Latin Explosion of this time period. More specifically, varying historical, socioeconomic, and geopolitical trajectories have placed Africa and African-based religion and cultural production (via music and theatre) at the center of Cuban national identity. The purpose of this study is to facilitate a discussion of the experiences of AfroCuban performance artists and the climate for production, given the aforementioned dynamics, in mass media. These experiences are directed by a study of transnational structures for cultural production (including the more recent memory-shadow of hip-hop culture in Cuba) and discourse that engages theories of modernity, authenticity, and resistance. Through the interventions of artists, producers, and distributors via their art and business, the text identifies and resists the pervasive oppression of stereotype, dehumanization (Othering), and essentialism.

Exploring Hidden Coherent Feature Groups and Temporal Semantics for Multimedia Big Data Analysis

Thanks to the advanced technologies and social networks that allow the data to be widely shared among the Internet, there is an explosion of pervasive multimedia data, generating high demands of multimedia services and applications in various areas for people to easily access and manage multimedia data. Towards such demands, multimedia big data analysis has become an emerging hot topic in both industry and academia, which ranges from basic infrastructure, management, search, and mining to security, privacy, and applications. Within the scope of this dissertation, a multimedia big data analysis framework is proposed for semantic information management and retrieval with a focus on rare event detection in videos. The proposed framework is able to explore hidden semantic feature groups in multimedia data and incorporate temporal semantics, especially for video event detection. First, a hierarchical semantic data representation is presented to alleviate the semantic gap issue, and the Hidden Coherent Feature Group (HCFG) analysis method is proposed to capture the correlation between features and separate the original feature set into semantic groups, seamlessly integrating multimedia data in multiple modalities. Next, an Importance Factor based Temporal Multiple Correspondence Analysis (i.e., IF-TMCA) approach is presented for effective event detection. Specifically, the HCFG algorithm is integrated with the Hierarchical Information Gain Analysis (HIGA) method to generate the Importance Factor (IF) for producing the initial detection results. Then, the TMCA algorithm is proposed to efficiently incorporate temporal semantics for re-ranking and improving the final performance. At last, a sampling-based ensemble learning mechanism is applied to further accommodate the imbalanced datasets. In addition to the multimedia semantic representation and class imbalance problems, lack of organization is another critical issue for multimedia big data analysis. In this framework, an affinity propagation-based summarization method is also proposed to transform the unorganized data into a better structure with clean and well-organized information. The whole framework has been thoroughly evaluated across multiple domains, such as soccer goal event detection and disaster information management.

A Multi-Criteria GIS-Based Route Selection Tool for Hazardous Material Transport: Consideration of Environmental Consequence, Traffic Congestions and Costs

Hazardous materials are substances that, if not regulated, can pose a threat to human populations and their environmental health, safety or property when transported in commerce. About 1.5 million tons of hazardous material shipments are transported by truck in the US annually, with a steady increase of approximately 5% per year. The objective of this study was to develop a routing tool for hazardous material transport in order to facilitate reduced environmental impacts and less transportation difficulties, yet would also find paths that were still compelling for the shipping carriers as a matter of trucking cost. The study started with identification of inhalation hazard impact zones and explosion protective areas around the location of hypothetical hazardous material releases, considering different parameters (i.e., chemicals characteristics, release quantities, atmospheric condition, etc.). Results showed that depending on the quantity of release, chemical, and atmospheric stability (a function of wind speed, meteorology, sky cover, time and location of accidents, etc.) the consequence of these incidents can differ. The study was extended by selection of other evaluation criteria for further investigation because health risk as an evaluation criterion would not be the only concern in selection of routes. Transportation difficulties (i.e., road blockage and congestion) were incorporated as important factor due to their indirect impact/cost on the users of transportation networks. Trucking costs were also considered as one of the primary criteria in selection of hazardous material paths; otherwise the suggested routes would have not been convincing for the shipping companies. The last but not least criterion was proximity of public places to the routes. The approach evolved from a simple framework to a complicated and efficient GIS-based tool able to investigate transportation networks of any given study area, and capable of generating best routing options for cargos. The suggested tool uses a multi-criteria-decision-making method, which considers the priorities of the decision makers in choosing the cargo routes. Comparison of the routing options based on each criterion and also the overall suitableness of the path in regards to all the criteria (using a multi-criteria-decision-making method) showed that using similar tools as the one proposed by this study can provide decision makers insights in the area of hazardous material transport. This tool shows the probable consequences of considering each path in a very easily understandable way; in the formats of maps and tables, which makes the tradeoffs of costs and risks considerably simpler, as in some cases slightly compromising on trucking cost may drastically decrease the probable health risk and/or traffic difficulties. This will not only be rewarding to the community by making cities safer places to live, but also can be beneficial to shipping companies by allowing them to advertise as environmental friendly conveyors.