Design principles of semantic binary database management systems

The Semantic Binary Data Model (SBM) is a viable alternative to the now-dominant relational data model. SBM would be especially advantageous for applications dealing with complex interrelated networks of objects provided that a robust efficient implementation can be achieved. This dissertation presents an implementation design method for SBM, algorithms, and their analytical and empirical evaluation. Our method allows building a robust and flexible database engine with a wider applicability range and improved performance. ^ Extensions to SBM are introduced and an implementation of these extensions is proposed that allows the database engine to efficiently support applications with a predefined set of queries. A New Record data structure is proposed. Trade-offs of employing Fact, Record and Bitmap Data structures for storing information in a semantic database are analyzed. ^ A clustering ID distribution algorithm and an efficient algorithm for object ID encoding are proposed. Mapping to an XML data model is analyzed and a new XML-based XSDL language facilitating interoperability of the system is defined. Solutions to issues associated with making the database engine multi-platform are presented. An improvement to the atomic update algorithm suitable for certain scenarios of database recovery is proposed. ^ Specific guidelines are devised for implementing a robust and well-performing database engine based on the extended Semantic Data Model. ^

A deontic analysis of inter -organizational control requirements

This research focuses on the design and verification of inter-organizational controls. Instead of looking at a documentary procedure, which is the flow of documents and data among the parties, the research examines the underlying deontic purpose of the procedure, the so-called deontic process, and identifies control requirements to secure this purpose. The vision of the research is a formal theory for streamlining bureaucracy in business and government procedures. ^ Underpinning most inter-organizational procedures are deontic relations, which are about rights and obligations of the parties. When all parties trust each other, they are willing to fulfill their obligations and honor the counter parties’ rights; thus controls may not be needed. The challenge is in cases where trust may not be assumed. In these cases, the parties need to rely on explicit controls to reduce their exposure to the risk of opportunism. However, at present there is no analytic approach or technique to determine which controls are needed for a given contracting or governance situation. ^ The research proposes a formal method for deriving inter-organizational control requirements based on static analysis of deontic relations and dynamic analysis of deontic changes. The formal method will take a deontic process model of an inter-organizational transaction and certain domain knowledge as inputs to automatically generate control requirements that a documentary procedure needs to satisfy in order to limit fraud potentials. The deliverables of the research include a formal representation namely Deontic Petri Nets that combine multiple modal logics and Petri nets for modeling deontic processes, a set of control principles that represent an initial formal theory on the relationships between deontic processes and documentary procedures, and a working prototype that uses model checking technique to identify fraud potentials in a deontic process and generate control requirements to limit them. Fourteen scenarios of two well-known international payment procedures—cash in advance and documentary credit—have been used to test the prototype. The results showed that all control requirements stipulated in these procedures could be derived automatically.^

The market value implications of pension asset allocation

Pension funds have been part of the private sector since the 1850's. Defined Benefit pension plans [DB], where a company promises to make regular contributions to investment accounts held for participating employees in order to pay a promised lifelong annuity, are significant capital markets participants, amounting to 2.3 trillion dollars in 2010 (Federal Reserve Board, 2013). In 2006, Statement of Financial Accounting Standards No.158 (SFAS 158), Employers' Accounting for Defined Benefit Pension and Other Postemployment Plans, shifted information concerning funding status and pension asset/liability composition from disclosure in the footnotes to recognition in the financial statements. I add to the literature by being the first to examine the effect of recent pension reform during the financial crisis of 2008-09. This dissertation is comprised of three related essays. In my first essay, I investigate whether investors assign different pricing multiples to the various classes of pension assets when valuing firms. The pricing multiples on all classes of assets are significantly different from each other, but only investments in bonds and equities were value-relevant during the recent financial crisis. Consistent with investors viewing pension liabilities as liabilities of the firm, the pricing multiples on pension liabilities are significantly larger than those on non-pension liabilities. The only pension costs significantly associated with firm value are actual rate of return and interest expense. In my second essay, I investigate the role of accruals in predicting future cash flows, extending the Barth et al. (2001a) model of the accrual process. Using market value of equity as a proxy for cash flows, the results of this study suggest that aggregate accounting amounts mask how the components of earnings affect investors' ability to predict future cash flows. Disaggregating pension earnings components and accruals results in an increase in predictive power. During the 2008-2009 financial crisis, however, investors placed a greater (and negative) weight on the incremental information contained in the individual components of accruals. The inferences are robust to alternative specifications of accruals. Finally, in my third essay I investigate how investors view under-funded plans. On average, investors: view deficits arising from under-funded plans as belonging to the firm; reward firms with fully or over-funded pension plans; and encourage those funds with unfunded pension plans to become funded. Investors also encourage conservative pension asset allocations to mitigate firm risk, and smaller firms are perceived as being better able to handle the risk associated with underfunded plans. During the financial crisis of 2008-2009 underfunded status had a lower negative association with market value. In all three models, there are significant differences in pre- and post- SFAS 158 periods. These results are robust to various scenarios of the timing of the financial crisis and an alternative measure of funding.

A Deontic Analysis of Inter-Organizational Control Requirements

This research focuses on the design and verification of inter-organizational controls. Instead of looking at a documentary procedure, which is the flow of documents and data among the parties, the research examines the underlying deontic purpose of the procedure, the so-called deontic process, and identifies control requirements to secure this purpose. The vision of the research is a formal theory for streamlining bureaucracy in business and government procedures. Underpinning most inter-organizational procedures are deontic relations, which are about rights and obligations of the parties. When all parties trust each other, they are willing to fulfill their obligations and honor the counter parties’ rights; thus controls may not be needed. The challenge is in cases where trust may not be assumed. In these cases, the parties need to rely on explicit controls to reduce their exposure to the risk of opportunism. However, at present there is no analytic approach or technique to determine which controls are needed for a given contracting or governance situation. The research proposes a formal method for deriving inter-organizational control requirements based on static analysis of deontic relations and dynamic analysis of deontic changes. The formal method will take a deontic process model of an inter-organizational transaction and certain domain knowledge as inputs to automatically generate control requirements that a documentary procedure needs to satisfy in order to limit fraud potentials. The deliverables of the research include a formal representation namely Deontic Petri Nets that combine multiple modal logics and Petri nets for modeling deontic processes, a set of control principles that represent an initial formal theory on the relationships between deontic processes and documentary procedures, and a working prototype that uses model checking technique to identify fraud potentials in a deontic process and generate control requirements to limit them. Fourteen scenarios of two well-known international payment procedures -- cash in advance and documentary credit -- have been used to test the prototype. The results showed that all control requirements stipulated in these procedures could be derived automatically.

Development of hardware in the loop real-time control techniques for hybrid power systems involving distributed demands and sustainable energy sources

The future power grid will effectively utilize renewable energy resources and distributed generation to respond to energy demand while incorporating information technology and communication infrastructure for their optimum operation. This dissertation contributes to the development of real-time techniques, for wide-area monitoring and secure real-time control and operation of hybrid power systems. ^ To handle the increased level of real-time data exchange, this dissertation develops a supervisory control and data acquisition (SCADA) system that is equipped with a state estimation scheme from the real-time data. This system is verified on a specially developed laboratory-based test bed facility, as a hardware and software platform, to emulate the actual scenarios of a real hybrid power system with the highest level of similarities and capabilities to practical utility systems. It includes phasor measurements at hundreds of measurement points on the system. These measurements were obtained from especially developed laboratory based Phasor Measurement Unit (PMU) that is utilized in addition to existing commercially based PMU’s. The developed PMU was used in conjunction with the interconnected system along with the commercial PMU’s. The tested studies included a new technique for detecting the partially islanded micro grids in addition to several real-time techniques for synchronization and parameter identifications of hybrid systems. ^ Moreover, due to numerous integration of renewable energy resources through DC microgrids, this dissertation performs several practical cases for improvement of interoperability of such systems. Moreover, increased number of small and dispersed generating stations and their need to connect fast and properly into the AC grids, urged this work to explore the challenges that arise in synchronization of generators to the grid and through introduction of a Dynamic Brake system to improve the process of connecting distributed generators to the power grid.^ Real time operation and control requires data communication security. A research effort in this dissertation was developed based on Trusted Sensing Base (TSB) process for data communication security. The innovative TSB approach improves the security aspect of the power grid as a cyber-physical system. It is based on available GPS synchronization technology and provides protection against confidentiality attacks in critical power system infrastructures. ^

Land Use and Climate Change Impacts on the Hydrology of the Upper Mara River Basin, Kenya: Results of a Modeling Study to Support Better Resource Management

Some of the most valued natural and cultural landscapes on Earth lie in river basins that are poorly gauged and have incomplete historical climate and runoff records. The Mara River Basin of East Africa is such a basin. It hosts the internationally renowned Mara-Serengeti landscape as well as a rich mixture of indigenous cultures. The Mara River is the sole source of surface water to the landscape during the dry season and periods of drought. During recent years, the flow of the Mara River has become increasingly erratic, especially in the upper reaches, and resource managers are hampered by a lack of understanding of the relative influence of different sources of flow alteration. Uncertainties about the impacts of future climate change compound the challenges. We applied the Soil Water Assessment Tool (SWAT) to investigate the response of the headwater hydrology of the Mara River to scenarios of continued land use change and projected climate change. Under the data-scarce conditions of the basin, model performance was improved using satellite-based estimated rainfall data, which may also improve the usefulness of runoff models in other parts of East Africa. The results of the analysis indicate that any further conversion of forests to agriculture and grassland in the basin headwaters is likely to reduce dry season flows and increase peak flows, leading to greater water scarcity at critical times of the year and exacerbating erosion on hillslopes. Most climate change projections for the region call for modest and seasonally variable increases in precipitation (5–10 %) accompanied by increases in temperature (2.5–3.5 °C). Simulated runoff responses to climate change scenarios were non-linear and suggest the basin is highly vulnerable under low (−3 %) and high (+25 %) extremes of projected precipitation changes, but under median projections (+7 %) there is little impact on annual water yields or mean discharge. Modest increases in precipitation are partitioned largely to increased evapotranspiration. Overall, model results support the existing efforts of Mara water resource managers to protect headwater forests and indicate that additional emphasis should be placed on improving land management practices that enhance infiltration and aquifer recharge as part of a wider program of climate change adaptation.

Water Demand and Allocation in the Mara River Basin, Kenya/Tanzania in the Face of Land Use Dynamics and Climate Variability

The Mara River Basin (MRB) is endowed with pristine biodiversity, socio-cultural heritage and natural resources. The purpose of my study is to develop and apply an integrated water resource allocation framework for the MRB based on the hydrological processes, water demand and economic factors. The basin was partitioned into twelve sub-basins and the rainfall runoff processes was modeled using the Soil and Water Assessment Tool (SWAT) after satisfactory Nash-Sutcliff efficiency of 0.68 for calibration and 0.43 for validation at Mara Mines station. The impact and uncertainty of climate change on the hydrology of the MRB was assessed using SWAT and three scenarios of statistically downscaled outputs from twenty Global Circulation Models. Results predicted the wet season getting more wet and the dry season getting drier, with a general increasing trend of annual rainfall through 2050. Three blocks of water demand (environmental, normal and flood) were estimated from consumptive water use by human, wildlife, livestock, tourism, irrigation and industry. Water demand projections suggest human consumption is expected to surpass irrigation as the highest water demand sector by 2030. Monthly volume of water was estimated in three blocks of current minimum reliability, reserve (>95%), normal (80–95%) and flood (40%) for more than 5 months in a year. The assessment of water price and marginal productivity showed that current water use hardly responds to a change in price or productivity of water. Finally, a water allocation model was developed and applied to investigate the optimum monthly allocation among sectors and sub-basins by maximizing the use value and hydrological reliability of water. Model results demonstrated that the status on reserve and normal volumes can be improved to ‘low’ or ‘moderate’ by updating the existing reliability to meet prevailing demand. Flow volumes and rates for four scenarios of reliability were presented. Results showed that the water allocation framework can be used as comprehensive tool in the management of MRB, and possibly be extended similar watersheds.

Crueldad, simulacion, absurdo y amenaza: Barbarie del drama moderno y tradicion hermetica en los esperpentos de Ramon del Valle-Inclan

The purpose of this dissertation is to demonstrate that the esperpentos by the Spanish playwright Ramón del Valle-Inclán (1866–1936), represent a culminating moment of theatrical precepts of modern European drama, while perpetuating the ancient esoteric traditions of the Iberian Peninsula. Focusing on four plays—Los cuernos de Don Friolera (1920), Luces de Bohemia (1921), Las galas del difunto (1926) y La hija del Capitán (1927)—the research elucidates how this interpretation furthers understanding of the process that embraces the anti-realistic clamours during the initial decades of the XX century, up to the subsequent climax of the aesthetics of Cruelty, Absurdity, Simulation, and Menace. ^ In search for an ideal scenic language capable of reflecting the grotesque character and mystical essence of the esperpentos, this project examines the most significant works of philosophers from the hermetic tradition such as Plato, Pithagoras, Aquinas, and Flamel. Other important authors are Éliphas Lévy and H. P. Blavatsky, two personalities of great preponderance in the spiritual effervescence and occultist apotheosis at the turn of the 20th century. Finally, the mystical ideas of Spanish philosopher Roso de Luna and the psychological works on alchemy and magic by Jung find their conceptual correspondence in Valle-Inclán's aesthetic manifesto, La lámpara maravillosa. ^ The ultimate objective of this dissertation is to provide a proposal for a mise en scène of the esperpentos, aesthetically based on the simultaneous scenarios of the New Stagecraft and conceptually inspired by the mystical principles of the hermetic tradition. The comparative approach of this study establishes a dialogue between modernity and the esoteric tradition that results in a new Koncept for their representation, providing a simultaneous scenario, far from realistic theatre, and more coherent to house the magical substance of the esperpentos. ^

"A Special Relationship": The Political & Economic Links between Cuba & Venezuela, A Panel Discussion

Panel Discussion with FIU's Cuban Research Institute and the Latin American and Caribbean Center to examine the origins, development, current status, and future scenarios of the Cuba-Venezuela alliance. Participants include: Dr. Carlos Antonio Romero Mendez, Universidad Central de Venezuela Dr. Javier Corrales, Amherst College Prof. Manuel A. Gomez, Florida International University Marra C. Werlau, Cuba Archive

Investigating Stakeholders’ Preferences for Coral Reef Research Funding in Florida

Abstract: Heavily used and highly valuable, the Florida Reef is one of the world's most threatened ecosystems. Stakeholders from a densely urbanized coastal region in proximity to the reef system recognize its degradation, but their comprehension of climate change and commitment to pay for sustainable management and research funding have been opaque. With an emphasis on recreational anglers, residential stakeholders were surveyed online about their marine activities, perceptions of resources and threats, and willingness to pay (WTP) for dedicated coral reef research funding in Florida. The majority of stakeholders are wealthy, well educated, and politically independent. Supermajorities favored the two scenarios of taxation for a Florida Coral Reef Research Fund, and the scenario with matching federal funds earned higher support. In regression analyses, several factors emerged as significant contributors to stakeholders’ preferences, and the four recurring factors in extended models were prioritizing the environment over the economy, donating to environmental causes, concern about coral reefs, and concern about climate change, with the latter indicating a recent shift of opinion. Status in terms of income and education were found insignificant, and surprisingly income was negatively correlated with WTP. Perceptions through lenses of environmental and emotional attachments appear to overwhelm conventional status-based factors. Applied statewide, the first scenario's extrapolated WTP (based on a sales tax rate of 2.9%) would generate $675 million annually, and the extrapolated WTP under the second scenario, with matching federal funds (based on a sales tax rate of 3.0%) would generate $1.4 billion. Keywords: willingness to pay, coral reef research, taxation, climate change, stakeholder, perceptions, Florida Reef, recreational fishing, anglers

A multi-scale assessment of physiological processes in arctic tundra plants under natural and simulated climate change scenarios

Climate warming is predicted to cause an increase in the growing season by as much as 30% for regions of the arctic tundra. This will have a significant effect on the physiological activity of the vascular plant species and the ecosystem as a whole. The need to understand the possible physiological change within this ecosystem is confounded by the fact that research in this extreme environment has been limited to periods when conditions are most favorable, mid June–mid August. This study attempted to develop the most comprehensive understanding to date of the physiological activity of seven tundra plant species in the Alaskan Arctic under natural and lengthened growing season conditions. Four interrelated lines of research, scaling from cellular signals to ecosystem processes, set the foundation for this study. ^ I established an experiment looking at the physiological response of arctic sedges to soil temperature stress with emphasis on the role of the hormone abscisic acid (ABA). A manipulation was also developed where the growing season was lengthened and soils were warmed in an attempt to determine the maximum physiological capacity of these seven vascular species. Additionally, the physiological capacities of four evergreens were tested in the subnivean environment along with the potential role anthocyanins play in their activity. The measurements were scaled up to determine the physiological role of these evergreens in maintaining ecosystem carbon fluxes. ^ These studies determined that soil temperature differentials significantly affect vascular plant physiology. ABA appears to be a physiological modifier that limits stomatal processes when root temperatures are low. Photosynthetic capacity was limited by internal plant physiological mechanisms in the face of a lengthened growing season. Therefore shifts in ecosystem carbon dynamics are driven by changes in species composition and biomass production on a per/unit area basis. These studies also found that changes in soil temperatures will have a greater effect of physiological processes than would the same magnitude of change in air temperature. The subnivean environment exhibits conditions that are favorable for photosynthetic activity in evergreen species. These measurements when scaled to the ecosystem have a significant role in limiting the system's carbon source capacity. ^

Modeling the Effect of Land Use and Climate Change Scenarios on the Water Flux of the Upper Mara River Flow, Kenya

Increasingly erratic flow in the upper reaches of the Mara River, has directed attention to land use change as the major cause of this problem. The semi-distributed hydrological model SWAT and Landsat imagery were utilized in order to 1) map existing land use practices, 2) determine the impacts of land use change on water flux; and 3) determine the impacts of climate change scenarios on the water flux of the upper Mara River. This study found that land use change scenarios resulted in more erratic discharge while climate change scenarios had a more predictable impact on the discharge and water balance components. The model results showed the flow was more sensitive to the rainfall changes than land use changes but land use changes reduce dry season flows which is a major problem in the basin. Deforestation increased the peak flows which translated to increased sediment loading in the Mara River.

Hydro-Meteorology and Water Budget of the Mara River Basin Under Land Use Change Scenarios

Mara is a transboundary river located in Kenya and Tanzania and considered to be an important life line to the inhabitants of the Mara-Serengeti ecosystem. It is also a source of water for domestic water supply, irrigation, livestock and wildlife. The alarming increase of water demand as well as the decline in the river flow in recent years has been a major challenge for water resource managers and stakeholders. This has necessitated the knowledge of the available water resources in the basin at different times of the year. Historical rainfall, minimum and maximum stream flows were analyzed. Inter and intra-annual variability of trends in streamflow are discussed. Landsat imagery was utilized in order to analyze the land use land cover in the upper Mara River basin. The semi-distributed hydrological model, Soil and Water Assessment Tool (SWAT) was used to model the basin water balance and understand the hydrologic effect of the recent land use changes from forest-to-agriculture. The results of this study provided the potential hydrological impacts of three land use change scenarios in the upper Mara River basin. It also adds to the existing literature and knowledge base with a view of promoting better land use management practices in the basin.

A Modeling Approach to Determine the Impacts of Land Use and Climate Change Scenarios on the Water Flux of the Upper Mara River

With the flow of the Mara River becoming increasingly erratic especially in the upper reaches, attention has been directed to land use change as the major cause of this problem. The semi-distributed hydrological model Soil and Water Assessment Tool 5 (SWAT) and Landsat imagery were utilized in the upper Mara River Basin in order to 1) map existing field scale land use practices in order to determine their impact 2) determine the impacts of land use change on water flux; and 3) determine the impacts of rainfall (0%, ±10% and ±20%) and air temperature variations (0% and +5%) based on the Intergovernmental Panel on Climate Change projections on the water flux of the 10 upper Mara River. This study found that the different scenarios impacted on the water balance components differently. Land use changes resulted in a slightly more erratic discharge while rainfall and air temperature changes had a more predictable impact on the discharge and water balance components. These findings demonstrate that the model results 15 show the flow was more sensitive to the rainfall changes than land use changes. It was also shown that land use changes can reduce dry season flow which is the most important problem in the basin. The model shows also deforestation in the Mau Forest increased the peak flows which can also lead to high sediment loading in the Mara River. The effect of the land use and climate change scenarios on the sediment and 20 water quality of the river needs a thorough understanding of the sediment transport processes in addition to observed sediment and water quality data for validation of modeling results.