On Root Arrangements of Polynomial-Like Functions and their Derivatives

2000 Mathematics Subject Classification: 12D10.

Monte Carlo Method for Reconstruction of Densities

2000 Mathematics Subject Classification: 65C05

Discrete Time Bisexual Branching Processes in Varying Environments

2000 Mathematics Subject Classification: 60J80

Model Mining and Efficient Verification of Software Product Lines

Software product line modeling aims at capturing a set of software products in an economic yet meaningful way. We introduce a class of variability models that capture the sharing between the software artifacts forming the products of a software product line (SPL) in a hierarchical fashion, in terms of commonalities and orthogonalities. Such models are useful when analyzing and verifying all products of an SPL, since they provide a scheme for divide-and-conquer-style decomposition of the analysis or verification problem at hand. We define an abstract class of SPLs for which variability models can be constructed that are optimal w.r.t. the chosen representation of sharing. We show how the constructed models can be fed into a previously developed algorithmic technique for compositional verification of control-flow temporal safety properties, so that the properties to be verified are iteratively decomposed into simpler ones over orthogonal parts of the SPL, and are not re-verified over the shared parts. We provide tool support for our technique, and evaluate our tool on a small but realistic SPL of cash desks.

Some Coefficient Estimates for Polynomials on the Unit Interval

2000 Mathematics Subject Classification: 26C05, 26C10, 30A12, 30D15, 42A05, 42C05.

Extention of Apolarity and Grace Theorem

MSC 2010: 30C10

Hyperbolic Fourth-R Quadratic Equation and Holomorphic Fourth-R Polynomials

MSC 2010: 30C10, 32A30, 30G35

Implementing an agent-based model with a spatial visual display in discrete-event simulation software

There has been an increasing interest in the use of agent-based simulation and some discussion of the relative merits of this approach as compared to discrete-event simulation. There are differing views on whether an agent-based simulation offers capabilities that discrete-event cannot provide or whether all agent-based applications can at least in theory be undertaken using a discrete-event approach. This paper presents a simple agent-based NetLogo model and corresponding discrete-event versions implemented in the widely used ARENA software. The two versions of the discrete-event model presented use a traditional process flow approach normally adopted in discrete-event simulation software and also an agent-based approach to the model build. In addition a real-time spatial visual display facility is provided using a spreadsheet platform controlled by VBA code embedded within the ARENA model. Initial findings from this investigation are that discrete-event simulation can indeed be used to implement agent-based models and with suitable integration elements such as VBA provide the spatial displays associated with agent-based software.

Stability of Ampelometric Characteristics of Vitis vinifera L. cv. 'Syrah' and 'Sauvignon blanc' Leaves: Impact of Within-vineyard Variability and Pruning Method/Bud Load

Historically, grapevine (Vitis vinifera L.) leaf characterisation has been a driving force in the identification of cultivars. In this study, ampelometric (foliometric) analysis was done on leaf samples collected from hand-pruned, mechanically pruned and minimally pruned ‘Sauvignon blanc’ and ‘Syrah’ vines to estimate the impact of within-vineyard variability and a change in bud load on the stability of leaf properties. The results showed that within-vineyard variability of ampelometric characteristics was high within a cultivar, irrespective of bud load. In terms of the O.I.V. coding system, zero to four class differences were observed between minimum and maximum values of each characteristic. The value of variability of each characteristic was different between the three levels of bud load and the two cultivars. With respect to bud load, the number of shoots per vine had a significant effect on the characteristics of the leaf laminae. Single leaf area and lengths of veins changed significantly for both cultivars, irrespective of treatment, while angle between veins proved to be a stable characteristic. A large number of biometric data can be recorded on a single leaf; the data measured on several leaves, however, are not necessarily unique for a specific cultivar. The leaf characteristics analysed in this study can be divided into two groups according to the response to a change in bud load, i.e. stable (angles between the veins, depths of sinuses) and variable (length of the veins, length of the petiole, single leaf area). The variable characteristics are not recommended to be used in cultivar identification, unless the pruning method/bud load is known.

A reliability centered maintenance decision system for a discrete part manufacturing facility

This thesis develops and validates the framework of a specialized maintenance decision support system for a discrete part manufacturing facility. Its construction utilizes a modular approach based on the fundamental philosophy of Reliability Centered Maintenance (RCM). The proposed architecture uniquely integrates System Decomposition, System Evaluation, Failure Analysis, Logic Tree Analysis, and Maintenance Planning modules. It presents an ideal solution to the unique maintenance inadequacies of modern discrete part manufacturing systems. Well established techniques are incorporated as building blocks of the system's modules. These include Failure Mode Effect and Criticality Analysis (FMECA), Logic Tree Analysis (LTA), Theory of Constraints (TOC), and an Expert System (ES). A Maintenance Information System (MIS) performs the system's support functions. Validation was performed by field testing of the system at a Miami based manufacturing facility. Such a maintenance support system potentially reduces downtime losses and contributes to higher product quality output. Ultimately improved profitability is the final outcome. ^

Statistical analysis and meta-analysis of microarray data

The microarray technology provides a high-throughput technique to study gene expression. Microarrays can help us diagnose different types of cancers, understand biological processes, assess host responses to drugs and pathogens, find markers for specific diseases, and much more. Microarray experiments generate large amounts of data. Thus, effective data processing and analysis are critical for making reliable inferences from the data. ^ The first part of dissertation addresses the problem of finding an optimal set of genes (biomarkers) to classify a set of samples as diseased or normal. Three statistical gene selection methods (GS, GS-NR, and GS-PCA) were developed to identify a set of genes that best differentiate between samples. A comparative study on different classification tools was performed and the best combinations of gene selection and classifiers for multi-class cancer classification were identified. For most of the benchmarking cancer data sets, the gene selection method proposed in this dissertation, GS, outperformed other gene selection methods. The classifiers based on Random Forests, neural network ensembles, and K-nearest neighbor (KNN) showed consistently god performance. A striking commonality among these classifiers is that they all use a committee-based approach, suggesting that ensemble classification methods are superior. ^ The same biological problem may be studied at different research labs and/or performed using different lab protocols or samples. In such situations, it is important to combine results from these efforts. The second part of the dissertation addresses the problem of pooling the results from different independent experiments to obtain improved results. Four statistical pooling techniques (Fisher inverse chi-square method, Logit method. Stouffer's Z transform method, and Liptak-Stouffer weighted Z-method) were investigated in this dissertation. These pooling techniques were applied to the problem of identifying cell cycle-regulated genes in two different yeast species. As a result, improved sets of cell cycle-regulated genes were identified. The last part of dissertation explores the effectiveness of wavelet data transforms for the task of clustering. Discrete wavelet transforms, with an appropriate choice of wavelet bases, were shown to be effective in producing clusters that were biologically more meaningful. ^

Development and validation of an instrument to predict online student success using faculty perceptions

Distance learning is growing and transforming educational institutions. The increasing use of distance learning by higher education institutions and particularly community colleges coupled with the higher level of student attrition in online courses than in traditional classrooms suggests that increased attention should be paid to factors that affect online student course completion. The purpose of the study was to develop and validate an instrument to predict community college online student course completion based on faculty perceptions, yielding a prediction model of online course completion rates. Social Presence and Media Richness theories were used to develop a theoretically-driven measure of online course completion. This research study involved surveying 311 community college faculty who taught at least one online course in the past 2 years. Email addresses of participating faculty were provided by two south Florida community colleges. Each participant was contacted through email, and a link to an Internet survey was given. The survey response rate was 63% (192 out of 303 available questionnaires). Data were analyzed through factor analysis, alpha reliability, and multiple regression. The exploratory factor analysis using principal component analysis with varimax rotation yielded a four-factor solution that accounted for 48.8% of the variance. Consistent with Social Presence theory, the factors with their percent of variance in parentheses were: immediacy (21.2%), technological immediacy (11.0%), online communication and interactivity (10.3%), and intimacy (6.3%). Internal consistency of the four factors was calculated using Cronbach's alpha (1951) with reliability coefficients ranging between .680 and .828. Multiple regression analysis yielded a model that significantly predicted 11% of the variance of the dependent variable, the percentage of student who completed the online course. As indicated in the literature (Johnson & Keil, 2002; Newberry, 2002), Media Richness theory appears to be closely related to Social Presence theory. However, elements from this theory did not emerge in the factor analysis.

Long-Term Effects of Adding Nutrients to an Oligotrophic Coastal Environment

Management of ecological disturbances requires an understanding of the time scale and dynamics of community responses to disturbance events. To characterize long-term seagrass bed responses to nutrient enrichment, we established six study sites in Florida Bay, USA. In 24 plots (0.25 m2) at each site, we regularly added nitrogen (N) and phosphorus (P) in a factorial design for 7 years. Five of the six sites exhibited strong P limitation. Over the first 2 years, P enrichment increased Thalassia testudinum cover in the three most P-limited sites. After 3 years, Halodule wrightii began to colonize many of the P-addition plots, but the degree of colonization was variable among sites, possibly due to differences in the supply of viable propagules. Thalassia increased its allocation to aboveground tissue in response to P enrichment; Halodule increased in total biomass but did not appear to change its aboveground: belowground tissue allocation. Nutrient enrichment did not cause macroalgal or epiphytic overgrowth of the seagrass. Nitrogen retention in the study plots was variable but relatively low, whereas phosphorus retention was very high, often exceeding 100% of the P added as fertilizer over the course of our experiments. Phosphorus retentions exceeding 100% may have been facilitated by increases in Thalassia aboveground biomass, which promoted the settlement of suspended particulate matter containing phosphorus. Our study demonstrated that lowintensity press disturbance events such as phosphorus enrichment can initiate a slow, ramped successional process that may alter community structure over many years.

The effect of reciprocal mapping on high-risk sixth-grade students' social studies achievement

Reading deficits in students in Grades 4 to 12 are evident in American schools. Informational text is particularly difficult for students. This quasi-experimental study (N=138) investigated sixth-grade students' achievement in social studies using the Reciprocal Mapping instructional routine, compared to sixth-grade students' achievement taught with a traditional approach. The Reciprocal Mapping instructional routine incorporated explicit instruction in text structure using graphic organizers. Students created their own graphic organizers and used them to write about social studies content. The comparison group used a traditional approach, students' reading the textbook and answering questions. Students for this study included sixth-graders in the seven sixth-grade classrooms in two public schools in a small, rural south Florida school district. A focus of this study was to determine the helpfulness of the intervention for at-risk readers. To determine students considered to be at-risk, the researcher used data from the reading portion of the Florida Comprehensive Assessment Test (FCAT), 2011-2012, that considers Level 1 and 2 as at-risk readers. The quasi-experimental study used a pretest-posttest control group design, with students assigned to treatment groups by class. Two teachers at the two rural sites were trained on the Reciprocal Mapping instructional routine and taught students in both the experimental and control groups for an equivalent amount of time over a 5-week period. Results of the 3 x 2 factorial ANCOVA found a significant positive difference favoring the experimental group's social studies achievement as compared to that of the comparison group as measured by the pre/post unit test from the social studies series (McGraw-Hill, 2013), when controlling for initial differences in students' reading FCAT scores. Interactions for high-risk struggling readers were investigated using the significance level p < .05. Due to no significant interaction the main effects of treatment were interpreted. The pretest was used as a covariate and the multivariate analysis was found to be significant. Therefore, analysis of covariance was run on each of the dependent variable as a follow-up. Reciprocal Mapping was found to be significant in posttest scores, independent of gender and level of risk, and while holding the pretest scores constant. Findings showed there was a significant difference in the performance of the high-risk reading students taught with the Reciprocal Mapping intervention who scored statistically better than students in the control group. Further study findings showed that teacher fidelity of implementation of the treatment had a statistically significant relationship in predicting posttest scores when controlling for pretest scores. Study results indicated that improving students' use of text structure through the Reciprocal Mapping instructional routine positively supported sixth-grade students' social studies achievement.

Acculturation and Hispanic identity/ethnicity as a predictor of change on the brief situational confidence questionnaire

The purpose of this study was to investigate whether level of acculturation among Hispanic adolescent males (n = 174) influenced treatment outcome in a substance abuse program, specifically on the Brief Situational Confidence Questionnaire (BSCQ) which measures relapse confidence. It was hypothesized that lower levels of acculturation were likely to be predictive of positive change, whereas higher levels of acculturation were likely to be predictive of no change or negative change. It was found that adolescents changed over time in BSCQ scores regardless of which acculturation variable was measured. Contrary to expectations, for those adolescents placed in family treatment, place of birth was not significantly associated with treatment response. However, both, U.S. and non-U.S. born adolescents demonstrated a change over time when receiving family treatment, suggesting that the family substance abuse treatment utilized in this intervention effected change over time.