Methods for Modeling and Analyzing Concurrent Software

Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concurrent software systems at design and code levels. This dissertation consists of several related results. First, a formal model of Mondex, an electronic purse system, is built using Petri nets from user requirements, which is formally verified using model checking. Second, Petri nets models are automatically mined from the event traces generated from scientific workflows. Third, partial order models are automatically extracted from some instrumented concurrent program execution, and potential atomicity violation bugs are automatically verified based on the partial order models using model checking. Our formal specification and verification of Mondex have contributed to the world wide effort in developing a verified software repository. Our method to mine Petri net models automatically from provenance offers a new approach to build scientific workflows. Our dynamic prediction tool, named McPatom, can predict several known bugs in real world systems including one that evades several other existing tools. McPatom is efficient and scalable as it takes advantage of the nature of atomicity violations and considers only a pair of threads and accesses to a single shared variable at one time. However, predictive tools need to consider the tradeoffs between precision and coverage. Based on McPatom, this dissertation presents two methods for improving the coverage and precision of atomicity violation predictions: 1) a post-prediction analysis method to increase coverage while ensuring precision; 2) a follow-up replaying method to further increase coverage. Both methods are implemented in a completely automatic tool.

Mixed Spatial and Nonspatial Problems in Location Based Services

With hundreds of millions of users reporting locations and embracing mobile technologies, Location Based Services (LBSs) are raising new challenges. In this dissertation, we address three emerging problems in location services, where geolocation data plays a central role. First, to handle the unprecedented growth of generated geolocation data, existing location services rely on geospatial database systems. However, their inability to leverage combined geographical and textual information in analytical queries (e.g. spatial similarity joins) remains an open problem. To address this, we introduce SpsJoin, a framework for computing spatial set-similarity joins. SpsJoin handles combined similarity queries that involve textual and spatial constraints simultaneously. LBSs use this system to tackle different types of problems, such as deduplication, geolocation enhancement and record linkage. We define the spatial set-similarity join problem in a general case and propose an algorithm for its efficient computation. Our solution utilizes parallel computing with MapReduce to handle scalability issues in large geospatial databases. Second, applications that use geolocation data are seldom concerned with ensuring the privacy of participating users. To motivate participation and address privacy concerns, we propose iSafe, a privacy preserving algorithm for computing safety snapshots of co-located mobile devices as well as geosocial network users. iSafe combines geolocation data extracted from crime datasets and geosocial networks such as Yelp. In order to enhance iSafe's ability to compute safety recommendations, even when crime information is incomplete or sparse, we need to identify relationships between Yelp venues and crime indices at their locations. To achieve this, we use SpsJoin on two datasets (Yelp venues and geolocated businesses) to find venues that have not been reviewed and to further compute the crime indices of their locations. Our results show a statistically significant dependence between location crime indices and Yelp features. Third, review centered LBSs (e.g., Yelp) are increasingly becoming targets of malicious campaigns that aim to bias the public image of represented businesses. Although Yelp actively attempts to detect and filter fraudulent reviews, our experiments showed that Yelp is still vulnerable. Fraudulent LBS information also impacts the ability of iSafe to provide correct safety values. We take steps toward addressing this problem by proposing SpiDeR, an algorithm that takes advantage of the richness of information available in Yelp to detect abnormal review patterns. We propose a fake venue detection solution that applies SpsJoin on Yelp and U.S. housing datasets. We validate the proposed solutions using ground truth data extracted by our experiments and reviews filtered by Yelp.

Attributions and the Evaluation of Dynamic Performance

As research into the dynamic characteristics of job performance across time has continued to accumulate, associated implications for performance appraisal have become evident. At present, several studies have demonstrated that systematic trends in job performance across time influence how performance is ultimately judged. However, little research has considered the processes by which the performance trend-performance rating relationship occurs. In the present study, I addressed this gap. Specifically, drawing on attribution theory, I proposed and tested a model whereby the performance trend-performance rating relationship occurs through attributions to ability and effort. The results of this study indicated that attributions to ability, but not effort, mediate the relationship between performance trend and performance ratings and that this relationship depends on attribution-related cues. Implications for performance appraisal research and theory are discussed.

Foreign-born CEOs, Country-Specific Skills, Selection, and Strategic Consequences

In this dissertation, I first suggest an extension of the managerial rents model and more specifically the managerial skills typology that it offers. Building on research in international business, I propose adding country-specific skills (CSS) to this typology in addition to firm-specific, industry-specific, and generic skills. I define CSS as managers’ abilities that are applicable and specific to a particular national institutional context. Such skills are distinct from the other three types identified and are likely to influence managers’ performance and the performance of their firms. So if CSS are distinct skills, what are the implications for strategy and international business research? In an attempt to respond to this question, I conduct two empirical essays in which I examine the implications of this refinement of the typology of managerial skills for CEO selection and firms’ mergers and acquisitions (M&A) strategy. In the first empirical essay, I puzzle at the fact that although CSS constitute a barrier to high-level executive mobility across countries, there have been a growing number of foreign-born CEOs being appointed across the globe. Why are these individuals being selected for the post of CEO? Using information on the appointment of foreign-born and national CEOs from 2005 to 2010 among global 500 companies, I show that internationalization pressures help explain their selection and that two types of firms are likely to appoint foreign leaders: highly internationalized firms and firms that are likely to internationalize. In the second empirical essay, I examine the strategic implications of country-specific skills. Employing the same sample as the one used in the first empirical essay, I demonstrate that given that their mindset is likely to be less focused on firms’ home market, foreign-born CEOs may be prone to institute more changes in firms’ cross-border M&A strategy than their domestic counterparts. I also theorize on the moderating influence of CEOs’ insiderness.

Regional Diversification and Performance: Conceptualization and Competing Strategic Objectives

This dissertation comprised of three essays provides justification for the need to pursue research on multinationality and performance with a more fine-grained approach. Essay one is a conceptual response to an article written by Jean-Francois Hennart in 2011 which questions the need and approach toward future research in this domain. I argue that internalization theory does not render multinationality and performance research meaningless and identify key areas where methodological enhancements can be made to strengthen our research findings with regard to Hennart’s call for more content validity. Essay two responds to the need for more-fine grained research on the consequences of multinationality by introducing non-traditional measures of performance such as social and environmental performance and adopting a more theoretically relevant construct of regionalization to capture international diversification levels of the firm. Using data from the world’s largest 600 firms (based on sales) derived from Bloomberg and the Directory of Corporate Affiliates; I employ general estimating equation analysis to account for the auto-correlated nature of the panel data alongside multivariate regression techniques. Results indicate that regionalization has a positive relationship with economic performance while it has a negative relationship with environmental and social performance outcomes, often referred to as the “Triple Bottom-Line” performance. Essay three builds upon the work in the previous essays by linking the aforementioned performance variables and sample to corporate reputation which has been shown to be a beneficial strategic asset. Using Structural Equation Modeling I explore economic, environmental and social signals as mediators on relationship between regionalization and firm reputation. Results indicate that these variables partially mediate a positive relationship between regionalization and firm reputation. While regionalization positively affects the reputation building signal of economic performance, it aids in reputation building by reducing environmental and social disclosure effects which interestingly impact reputation negatively. In conclusion, the dissertation submits opportunities for future research and contributes to research by demonstrating that regionalization affects performance, but the effect varies in accordance with the performance criterion and context. In some cases, regional diversification may produce competing or conflicting outcomes among the potential strategic objectives of the firm.

Integration of a Sedimentation Module to a Hydrologic Model and its Application to a Mercury TMDL Analysis

This research is part of continued efforts to correlate the hydrology of East Fork Poplar Creek (EFPC) and Bear Creek (BC) with the long term distribution of mercury within the overland, subsurface, and river sub-domains. The main objective of this study was to add a sedimentation module (ECO Lab) capable of simulating the reactive transport mercury exchange mechanisms within sediments and porewater throughout the watershed. The enhanced model was then applied to a Total Maximum Daily Load (TMDL) mercury analysis for EFPC. That application used historical precipitation, groundwater levels, river discharges, and mercury concentrations data that were retrieved from government databases and input to the model. The model was executed to reduce computational time, predict flow discharges, total mercury concentration, flow duration and mercury mass rate curves at key monitoring stations under various hydrological and environmental conditions and scenarios. The computational results provided insight on the relationship between discharges and mercury mass rate curves at various stations throughout EFPC, which is important to best understand and support the management mercury contamination and remediation efforts within EFPC.

Bionano Electronics: Magneto-Electric Nanoparticles for Drug Delivery, Brain Stimulation and Imaging Applications

Nanoparticles are often considered as efficient drug delivery vehicles for precisely dispensing the therapeutic payloads specifically to the diseased sites in the patient’s body, thereby minimizing the toxic side effects of the payloads on the healthy tissue. However, the fundamental physics that underlies the nanoparticles’ intrinsic interaction with the surrounding cells is inadequately elucidated. The ability of the nanoparticles to precisely control the release of its payloads externally (on-demand) without depending on the physiological conditions of the target sites has the potential to enable patient- and disease-specific nanomedicine, also known as Personalized NanoMedicine (PNM). In this dissertation, magneto-electric nanoparticles (MENs) were utilized for the first time to enable important functions, such as (i) field-controlled high-efficacy dissipation-free targeted drug delivery system and on-demand release at the sub-cellular level, (ii) non-invasive energy-efficient stimulation of deep brain tissue at body temperature, and (iii) a high-sensitivity contrasting agent to map the neuronal activity in the brain non-invasively. First, this dissertation specifically focuses on using MENs as energy-efficient and dissipation-free field-controlled nano-vehicle for targeted delivery and on-demand release of a anti-cancer Paclitaxel (Taxol) drug and a anti-HIV AZT 5’-triphosphate (AZTTP) drug from 30-nm MENs (CoFe2O4-BaTiO3) by applying low-energy DC and low-frequency (below 1000 Hz) AC fields to separate the functions of delivery and release, respectively. Second, this dissertation focuses on the use of MENs to non-invasively stimulate the deep brain neuronal activity via application of a low energy and low frequency external magnetic field to activate intrinsic electric dipoles at the cellular level through numerical simulations. Third, this dissertation describes the use of MENs to track the neuronal activities in the brain (non-invasively) using a magnetic resonance and a magnetic nanoparticle imaging by monitoring the changes in the magnetization of the MENs surrounding the neuronal tissue under different states. The potential therapeutic and diagnostic impact of this innovative and novel study is highly significant not only in HIV-AIDS, Cancer, Parkinson’s and Alzheimer’s disease but also in many CNS and other diseases, where the ability to remotely control targeted drug delivery/release, and diagnostics is the key.

Exploring Calling Work Orientation: Construct Clarity and Organizational Implications

Employees maintain a personal view toward their work, which can be referred to as their work orientation. Some employees view their work as their life’s purpose (i.e., calling work orientation) and they tend to be 1) prosocially motivated, 2) derive meaning from work, and 3) feel that their purpose is from beyond the self. The purpose of the current dissertation was to differentiate calling work orientation from other similar workplace constructs, to investigate the most common covariates of calling work orientation, and to empirically test two possible moderators of the relationship between calling work orientation and work-related outcomes of job satisfaction, job performance, and work engagement. Two independent samples were collected for the purpose of testing hypotheses: data were collected from 520 working students and from 520 non-student employees. Participants from the student sample were recruited at Florida International University, and participants from the employee sample were recruited via the Amazon Mechanical Turk website. Participants from the student sample answered demographic questions and responded to self-report measures of job satisfaction, job performance, work engagement, spirituality, meaningful work, prosocial motivation, and work orientation. The procedure was similar for the employee sample, but their survey also included measures of counterproductive work behaviors, organizational citizenship behaviors, conscientiousness, and numerical ability. Additionally, employees were asked whether they would be willing to have a direct supervisor, peer, co-worker, client, or subordinate rate their job performance. Hierarchical regression findings suggest calling work orientation was predictive of overall job performance above and beyond two common predictors of performance, conscientiousness and numerical ability. The results for the covariate analyses provided evidence that prosocial motivation, meaningful work, and spirituality do play a significant role in the development of an employees’ work orientation. Perceived career opportunities moderated the relationship between calling work orientation and job performance for the employee sample. Core self-evaluations moderated the relationship between calling work orientation and job performance, and core self-evaluations moderated the relationship between calling work orientation and work engagement. Collectively, findings from the current study highlight the benefits of examining work orientation in the prediction of workplace outcomes.

Operant and Respondent Procedures to Establish Social Stimuli as Reinforcers in Children with Autism

According to the DSM-IV- TR (American Psychiatric Association, 2000), one of the core deficits in autism is in the impairment of social interaction. Some have suggested that underlying these deficits is the reality that individuals with autism do not find social stimuli to be as reinforcing as other types of stimuli (Dawson, 2008). An interesting and growing body of literature supports the notion that symptoms in autism may be caused by a general reduction in social motivation (Chevallier et al., 2012). A review of the literature suggests that social orienting and social motivation are low in individuals with autism, and including social motivation as a target for therapeutic intervention should be pursued (Helt et al., 2008). Through our understanding of learning processes, researchers in behavior analysis and related fields have been able to use conditioning procedures to change the function of neutral or ineffective stimuli, including tokens (Ayllon & Azrin, 1968), facial expressions (Gewirtz & Pelaez-Nogueras, 1992) and praise (Dozier et al., 2012). The current study aimed to use operant and respondent procedures to condition social stimuli that were empirically shown to not be reinforcing prior to conditioning. Further, this study aimed to compare the two procedures in their effectiveness to condition social stimuli to function as reinforcers, and in their maintenance of effects over time. Using a multiple-baseline, multi-element design, one social stimulus was conditioned under each procedure to compare the different response rates following conditioning. Finally, the study sought to determine if conditioning social stimuli to function as reinforcers had any effect on the social functioning of young children with autism. Six children diagnosed with autism between the ages of 18 months and 3 years participated. Results show that the respondent procedure (pairing) resulted in more robust and enduring effects than the operant procedure (Sd procedure). Results of a social communication assessment (ESCS, Mundy et al., 2003) before and after conditioning demonstrate gains in all areas of social communication, particularly in the areas of initiating and responding to joint attention.

Novel Analytical Methodologies for the Monitoring of Traditional and Non-traditional Pollutants in different Environmental Compartments of South Florida

Routine monitoring of environmental pollution demands simplicity and speed without sacrificing sensitivity or accuracy. The development and application of sensitive, fast and easy to implement analytical methodologies for detecting emerging and traditional water and airborne contaminants in South Florida is presented. A novel method was developed for quantification of the herbicide glyphosate based on lyophilization followed by derivatization and simultaneous detection by fluorescence and mass spectrometry. Samples were analyzed from water canals that will hydrate estuarine wetlands of Biscayne National Park, detecting inputs of glyphosate from both aquatic usage and agricultural runoff from farms. A second study describes a set of fast, automated LC-MS/MS protocols for the analysis of dioctyl sulfosuccinate (DOSS) and 2-butoxyethanol, two components of Corexit®. Around 1.8 million gallons of those dispersant formulations were used in the response efforts for the Gulf of Mexico oil spill in 2010. The methods presented here allow the trace-level detection of these compounds in seawater, crude oil and commercial dispersants formulations. In addition, two methodologies were developed for the analysis of well-known pollutants, namely Polycyclic Aromatic Hydrocarbons (PAHs) and airborne particulate matter (APM). PAHs are ubiquitous environmental contaminants and some are potent carcinogens. Traditional GC-MS analysis is labor-intensive and consumes large amounts of toxic solvents. My study provides an alternative automated SPE-LC-APPI-MS/MS analysis with minimal sample preparation and a lower solvent consumption. The system can inject, extract, clean, separate and detect 28 PAHs and 15 families of alkylated PAHs in 28 minutes. The methodology was tested with environmental samples from Miami. Airborne Particulate Matter is a mixture of particles of chemical and biological origin. Assessment of its elemental composition is critical for the protection of sensitive ecosystems and public health. The APM collected from Port Everglades between 2005 and 2010 was analyzed by ICP-MS after acid digestion of filters. The most abundant elements were Fe and Al, followed by Cu, V and Zn. Enrichment factors show that hazardous elements (Cd, Pb, As, Co, Ni and Cr) are introduced by anthropogenic activities. Data suggest that the major sources of APM were an electricity plant, road dust, industrial emissions and marine vessels.

Individual Child Cognitive Behavioral Treatment versus Child-Parent Cognitive Behavioral Treatments for Anxiety Disorders in Children and Adolescents: Comparative Outcomes

Anxiety disorders; such as separation anxiety disorder, generalized anxiety disorder, social phobia and specific phobia, are widespread in children and adolescents. Cognitive behavioral therapy (CBT) has been shown to be effective in reducing excessive fears and anxieties in children and adolescents. Research has produced equivocal findings that involving parents in treatment of child anxiety enhances effects over individual CBT (ICBT). The present dissertation study examined whether parental involvement can enhance individual treatment effect if the parent conditions are streamlined by targeting specific parental variables. The first parent condition, Parent Reinforcement Skills Training (RFST), involved increasing mothers’ use of positive reinforcement and decreasing use of negative reinforcement. The second parent condition, Parent Relationship Skill Training (RLST), involved increasing maternal child acceptance and decreasing maternal control (or increasing autonomy granting). Results of the present dissertation findings support the use of all three treatment conditions (ICBT, RLST, RFST) for child anxiety; that is, significant reductions in anxiety were found in each of the three treatment conditions. No significant differences were found between treatment conditions with respect to diagnostic recovery rate, clinician rating, and parent rating of child anxiety. Significant differences between conditions were found on child self rating of anxiety, with some evidence to support the superiority of RLST and RFST to ICBT. These findings support the efficacy of individual, as well as parent involved CBT, and provide mixed evidence with respect to the superiority of parent involved CBT over ICBT. The conceptual, empirical, and clinical implications of the findings are discussed.

Development of a Coupling Model for Fluid-Structure Interaction using the Mesh-free Finite Element Method and the Lattice Boltzmann Method

In the presented thesis work, the meshfree method with distance fields was coupled with the lattice Boltzmann method to obtain solutions of fluid-structure interaction problems. The thesis work involved development and implementation of numerical algorithms, data structure, and software. Numerical and computational properties of the coupling algorithm combining the meshfree method with distance fields and the lattice Boltzmann method were investigated. Convergence and accuracy of the methodology was validated by analytical solutions. The research was focused on fluid-structure interaction solutions in complex, mesh-resistant domains as both the lattice Boltzmann method and the meshfree method with distance fields are particularly adept in these situations. Furthermore, the fluid solution provided by the lattice Boltzmann method is massively scalable, allowing extensive use of cutting edge parallel computing resources to accelerate this phase of the solution process. The meshfree method with distance fields allows for exact satisfaction of boundary conditions making it possible to exactly capture the effects of the fluid field on the solid structure.

Modeling, Simulation, and Characterization of Space Debris in low-Earth Orbit

Every space launch increases the overall amount of space debris. Satellites have limited awareness of nearby objects that might pose a collision hazard. Astrometric, radiometric, and thermal models for the study of space debris in low-Earth orbit have been developed. This modeled approach proposes analysis methods that provide increased Local Area Awareness for satellites in low-Earth and geostationary orbit. Local Area Awareness is defined as the ability to detect, characterize, and extract useful information regarding resident space objects as they move through the space environment surrounding a spacecraft. The study of space debris is of critical importance to all space-faring nations. Characterization efforts are proposed using long-wave infrared sensors for space-based observations of debris objects in low-Earth orbit. Long-wave infrared sensors are commercially available and do not require solar illumination to be observed, as their received signal is temperature dependent. The characterization of debris objects through means of passive imaging techniques allows for further studies into the origination, specifications, and future trajectory of debris objects. Conclusions are made regarding the aforementioned thermal analysis as a function of debris orbit, geometry, orientation with respect to time, and material properties. Development of a thermal model permits the characterization of debris objects based upon their received long-wave infrared signals. Information regarding the material type, size, and tumble-rate of the observed debris objects are extracted. This investigation proposes the utilization of long-wave infrared radiometric models of typical debris to develop techniques for the detection and characterization of debris objects via signal analysis of unresolved imagery. Knowledge regarding the orbital type and semi-major axis of the observed debris object are extracted via astrometric analysis. This knowledge may aid in the constraint of the admissible region for the initial orbit determination process. The resultant orbital information is then fused with the radiometric characterization analysis enabling further characterization efforts of the observed debris object. This fused analysis, yielding orbital, material, and thermal properties, significantly increases a satellite’s Local Area Awareness via an intimate understanding of the debris environment surrounding the spacecraft.

Elemental Analysis and Forensic Comparison of Soils by Laser-Induced Breakdown Spectroscopy (LIBS) and Laser Ablation Inductively Coupled Plasma Mass Spectrometry (LA-ICP-MS)

The elemental analysis of soil is useful in forensic and environmental sciences. Methods were developed and optimized for two laser-based multi-element analysis techniques: laser ablation inductively coupled plasma mass spectrometry (LA-ICP-MS) and laser-induced breakdown spectroscopy (LIBS). This work represents the first use of a 266 nm laser for forensic soil analysis by LIBS. Sample preparation methods were developed and optimized for a variety of sample types, including pellets for large bulk soil specimens (470 mg) and sediment-laden filters (47 mg), and tape-mounting for small transfer evidence specimens (10 mg). Analytical performance for sediment filter pellets and tape-mounted soils was similar to that achieved with bulk pellets. An inter-laboratory comparison exercise was designed to evaluate the performance of the LA-ICP-MS and LIBS methods, as well as for micro X-ray fluorescence (μXRF), across multiple laboratories. Limits of detection (LODs) were 0.01-23 ppm for LA-ICP-MS, 0.25-574 ppm for LIBS, 16-4400 ppm for µXRF, and well below the levels normally seen in soils. Good intra-laboratory precision (≤ 6 % relative standard deviation (RSD) for LA-ICP-MS; ≤ 8 % for µXRF; ≤ 17 % for LIBS) and inter-laboratory precision (≤ 19 % for LA-ICP-MS; ≤ 25 % for µXRF) were achieved for most elements, which is encouraging for a first inter-laboratory exercise. While LIBS generally has higher LODs and RSDs than LA-ICP-MS, both were capable of generating good quality multi-element data sufficient for discrimination purposes. Multivariate methods using principal components analysis (PCA) and linear discriminant analysis (LDA) were developed for discriminations of soils from different sources. Specimens from different sites that were indistinguishable by color alone were discriminated by elemental analysis. Correct classification rates of 94.5 % or better were achieved in a simulated forensic discrimination of three similar sites for both LIBS and LA-ICP-MS. Results for tape-mounted specimens were nearly identical to those achieved with pellets. Methods were tested on soils from USA, Canada and Tanzania. Within-site heterogeneity was site-specific. Elemental differences were greatest for specimens separated by large distances, even within the same lithology. Elemental profiles can be used to discriminate soils from different locations and narrow down locations even when mineralogy is similar.

The Influence of Neurocognitive Impairment, Alcohol and other Drug (AOD) Use, and Psychosocial Factors on Antiretroviral Treatment Adherence, Service Utilization and Viral Load Among HIV-Seropositive Adults

Among people living with HIV (PLWH), adherence to antiretroviral therapy (ART) can be affected by problems of neurocognitive (NC) impairment, stress, alcohol and other drug (AOD) abuse, and other barriers. The aims of this research were to: (1) examine factors associated with NC impairment, (2) explore relationships between psychosocial variables with ART adherence and viral load (VL), and (3) evaluate the efficacy of an evidence-based intervention in improving ART adherence, increasing service utilization, and decreasing VL. The first study (n=370) was cross sectional and used structural equation modeling to test whether AOD use, years living with HIV, and time from HIV diagnosis to seeking care were associated with poorer NC functioning. The second study (n=246) used similar methods to test the hypothesis that stress, barriers to adherence, NC impairment, poor social support, and AOD use were related to lower VL mediated by ART adherence. The third study (n=243) evaluated an evidence-based, eight-session program to improve ART adherence, reduce VL, and increase service utilization in a randomized controlled trial. Study participants were PLWH living in South Florida, 18 to 60 years old, with a history of alcohol abuse enrolled from January 2009 through November 2012. Secondary analysis of available data showed: (1) scores on interference with executive functioning increased by 0.32 for each day of marijuana use and 1.18 for each year living with HIV, but no association was found between alcohol use and NC functioning; (2) each barrier to adherence was associated with a 10% decrease in adherence to ART and a 0.42 unit increase in VL (log10) and the relationship between barriers and VL was partially mediated by ART adherence; (3) participants in the evidence-based program were more likely than the comparison group to report an undetectable VL (OR=2.25, p Psychosocial factors affect VL, but ART adherence is essential in achieving an undetectable VL in PLWH.