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.

Infoestrutura: um sistema em nuvem para prover contexto como serviço no cenário de internet das coisas integrado a ambientes veiculares

Through numerous technological advances in recent years along with the popularization of computer devices, the company is moving towards a paradigm “always connected”. Computer networks are everywhere and the advent of IPv6 paves the way for the explosion of the Internet of Things. This concept enables the sharing of data between computing machines and objects of day-to-day. One of the areas placed under Internet of Things are the Vehicular Networks. However, the information generated individually for a vehicle has no large amount and does not contribute to an improvement in transit, once information has been isolated. This proposal presents the Infostructure, a system that has to facilitate the efforts and reduce costs for development of applications context-aware to high-level semantic for the scenario of Internet of Things, which allows you to manage, store and combine the data in order to generate broader context. To this end we present a reference architecture, which aims to show the major components of the Infostructure. Soon after a prototype is presented which is used to validate our work reaches the level of contextualization desired high level semantic as well as a performance evaluation, which aims to evaluate the behavior of the subsystem responsible for managing contextual information on a large amount of data. After statistical analysis is performed with the results obtained in the evaluation. Finally, the conclusions of the work and some problems such as no assurance as to the integrity of the sensory data coming Infostructure, and future work that takes into account the implementation of other modules so that we can conduct tests in real environments are presented.

A inserção da educação a distância no ensino superior do Brasil: diretrizes e marcos regulatórios

This article aims to critically review the regulatory frameworks that guided the institutionalization of distance education (DE) course offerings in higher education institutions in Brazil, taking as a reference 50 (fifty) documents which were analyzed for the research titled Expansion of Higher Education pos-LDB 96. The need for systematization of DE, legitimated by this Act (LDB-96), proved to be part of the guidelines of international agencies as a strategy for expansion of higher education and that the first initiatives of the Brazilian government were associated with the use of technology in education. A contextualized analysis of regulatory frameworks showed, initially, the quantitative and massified explosion of DE, without the state having proper instruments for its effective regulation. From 2005, new regulatory acts and the creation of the Open University of Brazil seek to maintain this expansion without losing quality.

Os youtubers e a representação do certo, errado, adequado e inadequado no trabalho com a variação linguística em sala de aula

Some of the current discussions in the teaching of Portuguese Language (LP) pertain to how the school should deal with the phenomenon of language variation in the classroom. In 2010, for example, an explosion of talk took over the academic corridors: a book, entitled "Por uma vida melhor", the collection "Viver, Aprender", published by the MEC (Ministry of Education and Culture) to students EJA (Youth and Adults) brought notions regarding linguistic variation, even in their first chapter. In it is clear the notion that it is possible to make use of structures as "pretty boy", instead of "pretty boys", depending on the context in which such use is insert. Therefore, the discussions focused around the notions of variety cultivated, standard and popular measuring them to the possibilities of linguistic appropriateness. The community was surprised by the defense of the "power" to use, since it would be the school space to teach a standard "default", and not the possibility of legitimate use of grammatical patterns that clashed with those recommended in traditional grammars. The television media has been responsible for a major blaze that MEC had endorsed the use in schools of a book that legitimized such linguistic patterns. The quarrel was released on Youtube and in that space, netizens expressed themselves for or against the proposal of LD often directing the discussion to questions of a purely political. We observed that, on one side, loomed arguments related to Sociolinguistics (BAGNO , 2002, 2003, 2007, 2009; BAGNO, M.; STUBBS, M., Gagne, G., 2006; Bortoni - RICARDO, S.M., 2008; Tarallo, F., 1982; U. Weinreich, MARVIN I. HERZOG, Labov, W., 1968, Labov 1972, etc.); another, arguments concentrated on defending the school is the area of language teaching standard, and not fit to bring certain discussions within an LD. It was from these words, that this research was born. Interested in the particular way that the community media, which seemed to have no training in linguistics, understand the concepts of right, wrong, appropriate and inappropriate, so intimate in academic circles. Our thoughts take as reference the theoretical studies on the question of sociolinguistic variation and education, official documents that guide the "work" with the Portuguese language in the classroom, like the NCP (National Curriculum) and Curriculum Proposal for Education Youth and Adult (PCEJA). In our analysis, we found that LD" For a better life "makes no apology for teaching the "error", but it raises discussions about the possibility of "change", linked to factors and different order. We realize how significant it is to observe how speakers of a language are positioned in relation to language teaching which they are not speakers and scholars. Our study showed that certain issues regarding the teaching of the Portuguese language, as is the case of linguistic variation, points are far from being resolved, either for linguists and/or grammarians, whether for language speakers.

A probabilistic approach to assess hydrate formation and design preventive measures

Formation of hydrates is one of the major flow assurance problems faced by the oil and gas industry. Hydrates tend to form in natural gas pipelines with the presence of water and favorable temperature and pressure conditions, generally low temperatures and corresponding high pressures. Agglomeration of hydrates can result in blockage of flowlines and equipment, which can be time consuming to remove in subsea equipment and cause safety issues. Natural gas pipelines are more susceptible to burst and explosion owing to hydrate plugging. Therefore, a rigorous risk-assessment related to hydrate formation is required, which assists in preventing hydrate blockage and ensuring equipment integrity. This thesis presents a novel methodology to assess the probability of hydrate formation and presents a risk-based approach to determine the parameters of winterization schemes to avoid hydrate formation in natural gas pipelines operating in Arctic conditions. It also presents a lab-scale multiphase flow loop to study the effects of geometric and hydrodynamic parameters on hydrate formation and discusses the effects of geometric and hydrodynamic parameters on multiphase development length of a pipeline. Therefore, this study substantially contributes to the assessment of probability of hydrate formation and the decision making process of winterization strategies to prevent hydrate formation in Arctic conditions.

NA PALMA DA MÃO: A difusão de celulares e smartphones e possibilidades para o ensino-aprendizagem no Brasil

A pesquisa considera a difusão de celulares e smartphones e as consequências deste fato em possibilidades para o ensino-aprendizagem. Aparatos de comunicação sempre estiveram ligados ao processo de ensino-aprendizagem. Entretanto, com o desenvolvimento mais intenso, nas últimas décadas, das Tecnologias de Informação e Comunicação (TIC), essa relação vem ganhando novos contornos. Surge a Internet, a evolução das máquinas computacionais e, recentemente, a explosão dos dispositivos móveis, fornecendo novos produtos e serviços convergentes. Nesse contexto, celulares e smartphones tem sido utilizados e recomendados para apoio e complemento do processo de ensino-aprendizagem: a chamada Aprendizagem Móvel. Esse ramo cresce devido à rápida expansão e barateamento dessas tecnologias na sociedade. Para verificar cientificamente essa relação foi realizada uma pesquisa de natureza qualitativa, do tipo exploratória, com dois projetos de Aprendizagem Móvel em andamento no Brasil, o Palma – Programa de Alfabetização na Língua Materna e o Escola Com Celular – ECC. Assim, a partir dos dados provenientes da pesquisa, identificamos alguns aspectos relacionados ao uso de celulares e smartphones para o processo de ensino-aprendizagem que contribuem na compreensão desse campo ainda em construção no Brasil. O uso desses dispositivos como suporte para processos de ensino-aprendizagem nos projetos estudados é delineado pelos aspectos tecnologia, dispositivo, público e contexto e novas tecnologias e Aprendizagem Móvel. O aspecto dispositivo desdobra-se em dimensões como disseminação, multifuncionalidade e acessibilidade que embasam os projetos, ainda favorece características apontadas como importantes para o processo de ensino-aprendizagem na atualidade, como mobilidade e portabilidade. Os projetos pesquisados demonstram potencial e metodologia adequada aos contextos para os quais foram criados e aplicados. Entretanto, a pesquisa indicou que ao mesmo tempo em que celulares e smartphones representam o ápice da convergência tecnológica e são considerados extremamente populares e acessíveis na sociedade contemporânea, com possibilidades concretas como nos projetos estudados, não conseguiram conquistar uma posição sólida como suporte para o ensino-aprendizagem. Tal indicação se deve, de acordo com o corpus, à carência de alguns fatores, como: fomento, as práticas se mostram extremamente dependentes da iniciativa pública ou privada para sua extensão e continuidade; sensibilização para o uso de tecnologias disponíveis, não consideram o aparelho dos próprios alunos e um planejamento que inclua, capacite e incentive o uso desses dispositivos. Além disso, a pesquisa também destaca a necessidade de uma visão crítica do uso e papel da tecnologia nesses processos.

Functional Evaluation of Causal Mutations Identified in Human Genetic Studies

Human genetics has been experiencing a wave of genetic discoveries thanks to the development of several technologies, such as genome-wide association studies (GWAS), whole-exome sequencing, and whole genome sequencing. Despite the massive genetic discoveries of new variants associated with human diseases, several key challenges emerge following the genetic discovery. GWAS is known to be good at identifying the locus associated with the patient phenotype. However, the actually causal variants responsible for the phenotype are often elusive. Another challenge in human genetics is that even the causal mutations are already known, the underlying biological effect might remain largely ambiguous. Functional evaluation plays a key role to solve these key challenges in human genetics both to identify causal variants responsible for the phenotype, and to further develop the biological insights from the disease-causing mutations.

We adopted various methods to characterize the effects of variants identified in human genetic studies, including patient genetic and phenotypic data, RNA chemistry, molecular biology, virology, and multi-electrode array and primary neuronal culture systems. Chapter 1 is a broader introduction for the motivation and challenges for functional evaluation in human genetic studies, and the background of several genetics discoveries, such as hepatitis C treatment response, in which we performed functional characterization.

Chapter 2 focuses on the characterization of causal variants following the GWAS study for hepatitis C treatment response. We characterized a non-coding SNP (rs4803217) of IL28B (IFNL3) in high linkage disequilibrium (LD) with the discovery SNP identified in the GWAS. In this chapter, we used inter-disciplinary approaches to characterize rs4803217 on RNA structure, disease association, and protein translation.

Chapter 3 describes another avenue of functional characterization following GWAS focusing on the novel transcripts and proteins identified near the IL28B (IFNL3) locus. It has been recently speculated that this novel protein, which was named IFNL4, may affect the HCV treatment response and clearance. In this chapter, we used molecular biology, virology, and patient genetic and phenotypic data to further characterize and understand the biology of IFNL4. The efforts in chapter 2 and 3 provided new insights to the candidate causal variant(s) responsible for the GWAS for HCV treatment response, however, more evidence is still required to make claims for the exact causal roles of these variants for the GWAS association.

Chapter 4 aims to characterize a mutation already known to cause a disease (seizure) in a mouse model. We demonstrate the potential use of multi-electrode array (MEA) system for the functional characterization and drug testing on mutations found in neurological diseases, such as seizure. Functional characterization in neurological diseases is relatively challenging and available systematic tools are relatively limited. This chapter shows an exploratory research and example to establish a system for the broader use for functional characterization and translational opportunities for mutations found in neurological diseases.

Overall, this dissertation spans a range of challenges of functional evaluations in human genetics. It is expected that the functional characterization to understand human mutations will become more central in human genetics, because there are still many biological questions remaining to be answered after the explosion of human genetic discoveries. The recent advance in several technologies, including genome editing and pluripotent stem cells, is also expected to make new tools available for functional studies in human diseases.

New Advancements of Scalable Statistical Methods for Learning Latent Structures in Big Data

Constant technology advances have caused data explosion in recent years. Accord- ingly modern statistical and machine learning methods must be adapted to deal with complex and heterogeneous data types. This phenomenon is particularly true for an- alyzing biological data. For example DNA sequence data can be viewed as categorical variables with each nucleotide taking four different categories. The gene expression data, depending on the quantitative technology, could be continuous numbers or counts. With the advancement of high-throughput technology, the abundance of such data becomes unprecedentedly rich. Therefore efficient statistical approaches are crucial in this big data era.

Previous statistical methods for big data often aim to find low dimensional struc- tures in the observed data. For example in a factor analysis model a latent Gaussian distributed multivariate vector is assumed. With this assumption a factor model produces a low rank estimation of the covariance of the observed variables. Another example is the latent Dirichlet allocation model for documents. The mixture pro- portions of topics, represented by a Dirichlet distributed variable, is assumed. This dissertation proposes several novel extensions to the previous statistical methods that are developed to address challenges in big data. Those novel methods are applied in multiple real world applications including construction of condition specific gene co-expression networks, estimating shared topics among newsgroups, analysis of pro- moter sequences, analysis of political-economics risk data and estimating population structure from genotype data.

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.