Lions and Roses: An Interpretive History of Israeli-Iranian Relations

This multi-disciplinary research project explores the religious and cultural foundations within the “master commemorative narratives” that frame Israeli and Iranian political discourse. In articulating their grievances against one another, Israeli and Iranian leaders express the tensions between religion, nationalism, and modernity in their own societies. The theoretical and methodological approach of this dissertation is constructivist-interpretivist. The concept of “master commemorative narratives” is adapted from Yael Zerubavel’s study of ritualized remembrance in Israeli political culture, and applied to both Israeli and Iranian foreign policy. Israel’s master commemorative narrative draws heavily upon the language of the Hebrew Bible, situating foreign policy discourse within a paradigm of covenantal patrimony, exile, and return, despite the unrelenting hostility of eternal enemies and “the nations.” Iran’s master commemorative narrative expresses Iranian suspicion of foreign encroachment and interference, and of the internal corruption that they engender, sacralizing resistance to the forces of evil in the figurative language and myths of pre-Islamic tradition and of Shi‘a Islam. Using a constructivist-interpretive methodological approach, this research offers a unique interpretive analysis of the parallels between these narratives, where they intersect, and where they come into conflict. It highlights both the broad appeal and the diverse challenges to the components of these “master” narratives within Israeli and Iranian politics and society. The conclusion of this study explains the ways in which the recognition of religious and cultural conflicts through the optic of master commemorative narratives can complement the perspectives of other theoretical approaches and challenge the conventions of Security Studies. It also suggests some of the potential practical applications of this research in devising more effective international diplomacy.

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.

City of a hundred fires

These poems capture the "coming of age" experiences encountered by a Cuban-American narrator in the United States and in Cuba. The poems in the book appear chronologically, that is to say, not in the order they were written, but according to the age of the poet-speaker, ranging from early adolescence to young adulthood. The poems in Part I reveal the fragmented traditions and heritage inherited by a first generation Cuban-American, while questioning the complex merging of the two cultures encountered by the poet-speaker. In Part II, the majority of the poems are set in Cuba, as the poet-speaker travels through the living history of his "homeland" to explore the cultural roots discovered in its landscapes, traditions, relatives and towns, like Cienfuegos-"the city of a hundred fires". The style and language of the poetry become unique to the poet-speaker's own cultural vision, the Cuban-American experience transformed to lyric poetry.

The science of citizen science

Biodiversity citizen science projects are growing in number, size, and scope, and are gaining recognition as valuable data sources that build public engagement. Yet publication rates indicate that citizen science is still infrequently used as a primary tool for conservation research and the causes of this apparent disconnect have not been quantitatively evaluated. To uncover the barriers to the use of citizen science as a research tool, we surveyed professional biodiversity scientists (n = 423) and citizen science project managers (n = 125). We conducted three analyses using non-parametric recursive modeling (random forest), using questions that addressed: scientists' perceptions and preferences regarding citizen science, scientists' requirements for their own data, and the actual practices of citizen science projects. For all three analyses we identified the most important factors that influence the probability of publication using citizen science data. Four general barriers emerged: a narrow awareness among scientists of citizen science projects that match their needs; the fact that not all biodiversity science is well-suited for citizen science; inconsistency in data quality across citizen science projects; and bias among scientists for certain data sources (institutions and ages/education levels of data collectors). Notably, we find limited evidence to suggest a relationship between citizen science projects that satisfy scientists' biases and data quality or probability of publication. These results illuminate the need for greater visibility of citizen science practices with respect to the requirements of biodiversity science and show that addressing bias among scientists could improve application of citizen science in conservation.

Basic measurements of radiation from the Baseline Surface Radiation Network (BSRN) in the years 1992 to 2012, reference list of 6378 datasets

In the framework of the global energy balance, the radiative energy exchanges between Sun, Earth and space are now accurately quantified from new satellite missions. Much less is known about the magnitude of the energy flows within the climate system and at the Earth surface, which cannot be directly measured by satellites. In addition to satellite observations, here we make extensive use of the growing number of surface observations to constrain the global energy balance not only from space, but also from the surface. We combine these observations with the latest modeling efforts performed for the 5th IPCC assessment report to infer best estimates for the global mean surface radiative components. Our analyses favor global mean downward surface solar and thermal radiation values near 185 and 342 Wm**-2, respectively, which are most compatible with surface observations. Combined with an estimated surface absorbed solar radiation and thermal emission of 161 Wm**-2 and 397 Wm**-2, respectively, this leaves 106 Wm**-2 of surface net radiation available for distribution amongst the non-radiative surface energy balance components. The climate models overestimate the downward solar and underestimate the downward thermal radiation, thereby simulating nevertheless an adequate global mean surface net radiation by error compensation. This also suggests that, globally, the simulated surface sensible and latent heat fluxes, around 20 and 85 Wm**-2 on average, state realistic values. The findings of this study are compiled into a new global energy balance diagram, which may be able to reconcile currently disputed inconsistencies between energy and water cycle estimates.

Geochemistry and descriptions of manganese nodules and crusts retrieved from the open ocean

The book is a compilation of all available data at the time of publication (1965) on the subject of marine minerals together with the author's original ideas regarding their exploitation. It is one of the most significant publications on ocean resources. It is particularly focused on manganese deposits, their description, sedimentary setting, formation and geochemistry.

Seal census raw data of campaigns EMAGE I to V between 1996 and 2000 with links to datasets

The development of models of marine ecosystems in the Southern Ocean is becoming increasingly important as a means of understanding and managing impacts such as exploitation and climate change. Collating data from disparate sources, and understanding biases or uncertainties inherent in those data, are important first steps for improving ecosystem models. This review focuses on seals that breed in ice habitats of the Southern Ocean (i.e. the crabeater seal, Lobodon carcinophaga; Ross seal, Ommatophoca rossii; leopard seal, Hydrurga leptonyx; and Weddell seal, Leptonychotes weddellii). Data on populations (abundance and trends in abundance), distribution and habitat use (movement, key habitat and environmental features) and foraging (diet) are summarised, and potential biases and uncertainties inherent in those data are identified and discussed. Spatial and temporal gaps in knowledge of the populations, habitats and diet of each species are also identified.

The Dynamics of Energy Poverty : Evidence from Spain

Peer reviewed

A framework for reliability assessment of ship hull damage under ship bow impact

Peer reviewed

Using our Bodies Faithfully : Christian friendship and the life of worship

Peer reviewed

The Dynamics of Energy Poverty : Evidence from Spain

Peer reviewed

A framework for reliability assessment of ship hull damage under ship bow impact

Peer reviewed

Using our Bodies Faithfully : Christian friendship and the life of worship

Peer reviewed

A Naturalist Abroad in the Museum of Ontology : Phillipe Descola's Beyond Nature and Culture

Peer reviewed

The Monumental Cemeteries of Northern Pictland

Peer reviewed