Digital Commons Network^™

How To Make A Proof Of Halting Problem More Convincing: A Pedagogical Remark, Benjamin W. Robertson, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

As an example of an algorithmically undecidable problem, most textbooks list the impossibility to check whether a given program halts on given data. A usual proof of this result is based on the assumption that the hypothetical halt-checker works for all programs. To show that a halt-checker is impossible, we design an auxiliary program for which the existence of such a halt-checker leads to a contradiction. However, this auxiliary program is usually very artificial. So, a natural question arises: what if we only require that the halt-checker work for reasonable programs? In this paper, we show that even with such …

Ella Savesthe Beach, Leena Aly, Maddie Hodgdon

Environmental Studies Student Projects

The intention of this project is to start educating children on the consequences of polluting our planet with seemingly harmless waste such as plastics. Many do not realize how small plastic objects can be fatal to many animals. We asked elementary school children to collect trash as part of their participation. Then the trash was used to make a poster featuring Ella the crab. This poster is paired with a children’s story book, where Ella and her animal friends are featured dealing with the consequences of littering. The story book depicts how people’s behavior in natural areas can harm innocent …

Colin The Cormorant, Chelsey Jankauskas, Samantha Schultz

Environmental Studies Student Projects

Colin the Cormorant was an art project created to represent the effects of pollution on local organisms, such as Colin the Cormorant. We hope by seeing this sculpture people think twice about how they dispose of their trash. Colin is made from trash collected at Fortunes Rocks Beach in Biddeford Pool. We chose to make a cormorant because we frequently see cormorants around the Biddeford Pool area and they are a seabird that has been impacted by various types of pollution (garbage, air pollution, etc.).

Nonlinear Design, Modeling, And Simulation Of Magneto-Rheological Suspension: A Control System And Systems Engineering Approach., Hrishikesh B. Zambare

Open Access Theses

Suspension has been the most important subsystem of the vehicle viewed as a system. The ride comfort and vehicle handling performance are affected by the suspension design. Automotive technology has been continuously incorporating developments over the past few decades to provide the end users with a better comfort of driving. Multi-objective optimization of MR damper with objective function of maximizing damping force generated by MR damper with the geometrical parametric constraint function is achieved in this research using pattern search optimization technique.

Research focuses on design, modeling, and simulation of active suspension using non-linear theory of the Magneto-Rheological (MR) damper …

Writing Coaches Of Montana: Providing In-Class Support To Middle And High School Writers, Beverly Ann Chin Ph.D, Catherine Filardi Ph.D

The Montana English Journal

Teachers of writing know the importance of giving students feedback throughout the writing process. Teachers of writing also know the value of having students write for authentic audiences. However, classroom teachers often face challenges in these two areas. Writing Coaches of Montana (WCM) is a non-profit, independent, community-based organization that addresses these challenges. WCM’s mission is to help Montana students write competently, think critically and express themselves confidently. WCM supports teachers by recruiting, training and supervising community volunteers who work individually with students in middle and high school classrooms on writing assignments that require critical thinking and revision. The success …

A Generalized Intervallic Approach To Metric Conflict In Liszt, Robert L. Wells

Music

The music of Franz Liszt has become widely recognized by music theorists for its harmonic and formal innovations. However, little attention has been given to adventurous rhythmic/metric aspects of Liszt’s compositional style: specifically, he frequently incorporates rich metric structures in which the notated metric layer, indicated by time signatures and bars, and heard metric layer, given by cues in the sounding music, are locked in an evolving conflict. To model such interactions, this article develops a new analytical system based on Lewin’s generalized interval system (GIS) concept, constructing a new three-component metric direct product GIS called Met. The article …

Good Neighbor Iowa: Progress Report To The Ceres Trust On Accomplishments 2017, University Of Northern Iowa. Center For Energy & Environmental Education.

UNI Conservation Corps Projects

Overall Goal: Launch a statewide public education campaign to significantly reduce and eliminate pesticide use in schools, parks, child care centers, churches, businesses, and all other large expanses of turf in communities throughout Iowa.

College-Bound Young Adults With Asd: Self-Reported Factors Promoting And Inhibiting Success, Amy L. Accardo

College of Education Departmental Research

This cross-sectional descriptive study captured the perspectives of 14 college-bound students with ASD at the critical period of transition from high school using an open-ended prompt. The aim was to capture (1) student definitions of success as a college student, (2) the factors they identify as most influential leading to becoming a college student, and (3) the factors they identify as obstacles to becoming a college student. Findings suggest that college-bound young adults with ASD define success in terms of both academic and non-academic factors, identify factors leading to their success that suggest a need for educators to collaborate with …

Flight Dynamics: Flying Qualities Of Handling Factors Are Engineered Into The Aircraft Design, Nihad E. Daidzic

Aviation Department Publications

Flight dynamics is an aerospace engineering discupline that addresses aircraft stability and controllability. It is also mathematically very intensive and is traditionally the most difficult in the pilot training curriculum. Ultimately, it does not matter how good steady-state performance of an aircraft design is if its flying (handling) qualities are deficient. Paradoxically, the first airplane Wright Flyer, was statically and dynamically unstable, had large control authority, and was difficult to fly. We've come a long way since those early days, but stability is still vitally important in aircraft design and flight ops. The focus of this article will be airplane …

3d Photogrammetry Quantifies Growth And External Erosion Of Individual Coral Colonies And Skeletons, Renata Ferrari, Will F. Figueira, Morgan S. Pratchett, Tatiana Boube, Arne Adam, Tania Kobelkowsky-Vidrio, Steve S. Doo, Trisha Brooke Atwood, Maria Byrne

Watershed Sciences Faculty Publications

Growth and contraction of ecosystem engineers, such as trees, influence ecosystem structure and function. On coral reefs, methods to measure small changes in the structure of microhabitats, driven by growth of coral colonies and contraction of skeletons, are extremely limited. We used 3D reconstructions to quantify changes in the external structure of coral colonies of tabular Acropora spp., the dominant habitat-forming corals in shallow exposed reefs across the Pacific. The volume and surface area of live colonies increased by 21% and 22%, respectively, in 12 months, corresponding to a mean annual linear extension of 5.62 cm yr⁻¹ (±1.81 SE). …

Re–Os Isotope Geochronology Of The Shangbao Pyrite–Flourite Deposit In Southeastern Hunan, South China: Evidence For Multiple Mineralization Events And The Role Of Crust–Mantle Interaction In Polymetallic Deposits, Cheng Cheng Huang, Hai Feng Guo, Jie Li, Qiang Wang, Chunfu Zhang, Derek Wyman, Gong Jian Tang

Geosciences Faculty Publications

In South China, both crustal reworking and crust–mantle interaction were important geological processes during the Paleozoic and Mesozoic eras. However, the relationships between these two processes and metal mineralization are still unknown. Here we report rhenium and osmium isotopic data for pyrite grains from a pyrite deposit associated with a granite intrusion in the Shangbao area, southeastern Hunan Province (South China). Two pyrite samples, both containing many euhedral pyrite grains, were collected from the same locality, but the samples yield distinct ages. Six euhedral pyrite grains from one sample yield an isochronal age of 279 ± 12 Ma, with an …

High-Pressure Granulite Facies Overprinting During The Exhumation Of Eclogites In The Bangong-Nujiang Suture Zone, Central Tibet: Link To Flat-Slab Subduction, Xiu Zheng Zhang, Qiang Wang, Yong Sheng Dong, Chunfu Zhang, Qing Yun Li, Xiao Ping Xia, Wang Xu

Geosciences Faculty Publications

The geometric transformation of a descending plate, such as from steep to flat subduction in response to a change from normal to overthickened oceanic crust during subduction, is a common and important geological process at modern or fossil convergent margins. However, the links between this process and the metamorphic evolution of the exhumation of oceanic (ultra)high-pressure eclogites are poorly understood. Here we report detailed petrological, mineralogical, phase equilibria, and secondary ion mass spectrometry zircon and rutile U-Pb age data for the Dong Co eclogites at the western segment of the Bangong-Nujiang suture zone, central Tibet. Our data reveal that the …

An Exploratory Study Of The Five-Factor Personality Traits Model As Predictors Among Women In Science, Technology, Engineering, And Mathematics Fields At Indiana State University, Sowmya Challa

All-Inclusive List of Electronic Theses and Dissertations

The purpose of this study is to identify any trends in personality traits of students at a mid-western university along with the influence of gender, choice of STEM or non-STEM academic major, and level of education on personality traits. The chosen mid-western university is Indiana State University (ISU) located in Terre Haute, Indiana. This study investigated the personality traits of student’s through administering Goldberg’s (1999) International Personality Item Pool of the Big Five Broad Domains of Personality. The personality profiles of students at ISU who have taken the questionnare are summarized. The personality profiles of female students were analyzed further …

Approximating The Distribution Of Indefinite Quadratic Forms In Normal Variables By Maximum Entropy Density Estimation, Ghasem Rekabdar, Rahim Chinipardaz

Journal of Modern Applied Statistical Methods

The quadratic form of non-central normal variables is presented based on a sum of weighted independent non-central chi-square variables. This presentation provides moments of quadratic form. The maximum entropy method is used to estimate the density function because distribution moments of quadratic forms are known. A Euclidean distance is proposed to select an appropriate maximum entropy density function. In order to compare with other methods some numerical examples were evaluated. Also, for discrimination between two groups by the Euclidean distances, we obtained a stochastic representation for the linear discriminant function using the quadratic form. The maximum entropy estimation was an …

Semi-Parametric Method To Estimate The Time-To-Failure Distribution And Its Percentiles For Simple Linear Degradation Model, Laila Naji Ba Dakhn, Mohammed Al-Haj Ebrahem, Omar Eidous

Journal of Modern Applied Statistical Methods

Most reliability studies obtained reliability information by using degradation measurements over time, which contains useful data about the product reliability. Parametric methods like the maximum likelihood (ML) estimator and the ordinary least square (OLS) estimator are used widely to estimate the time-to-failure distribution and its percentiles. In this article, we estimate the time-to-failure distribution and its percentiles by using a semi-parametric estimator that assumes the parametric function to have a half- normal distribution or an exponential distribution. The performance of the semi-parametric estimator is compared via simulation study with the ML and OLS estimators by using the mean square error …

Jmasm 48: The Pearson Product-Moment Correlation Coefficient And Adjustment Indices: The Fisher Approximate Unbiased Estimator And The Olkin-Pratt Adjustment (Spss), David A. Walker

Journal of Modern Applied Statistical Methods

This syntax program is intended to provide an application, not readily available, for users in SPSS who are interested in the Pearson product–moment correlation coefficient (r) and r biased adjustment indices such as the Fisher Approximate Unbiased estimator and the Olkin and Pratt adjustment.

Inferential Procedures For Log Logistic Distribution With Doubly Interval Censored Data, Yue Fang Loh, Jayanthi Arasan, Habshah Midi, M. R. Abu Bakar

Journal of Modern Applied Statistical Methods

The log logistic model with doubly interval censored data is examined. Three methods of constructing confidence interval estimates for the parameter of the model were compared and discussed. The results of the coverage probability study indicated that the Wald outperformed the likelihood ratio and jackknife inferential procedures.

On Poisson Quasi-Lindley Distribution And Its Applications, Razika Grine, Halim Zeghdoudi

Journal of Modern Applied Statistical Methods

This paper proposes a recent version of compound Poisson distributions named the Poisson quasi-Lindley (PQL) distribution by compounding Poisson and quasi-Lindley distributions. Some properties of the distributions are given with estimation and some illustrative examples.

Detection Of Outliers In Univariate Circular Data Using Robust Circular Distance, Ehab A. Mahmood, Sohel Rana, Habshah Midi, Abdul Ghapor Hussin

Journal of Modern Applied Statistical Methods

A robust statistic to detect single and multi-outliers in univariate circular data is proposed. The performance of the proposed statistic was tested by applying it to a simulation study and to three real data sets, and was demonstrated to be robust.

Modeling Agreement Between Binary Classifications Of Multiple Raters In R And Sas, Aya A. Mitani, Kerrie P. Nelson

Journal of Modern Applied Statistical Methods

Cancer screening and diagnostic tests often are classified using a binary outcome such as diseased or not diseased. Recently large-scale studies have been conducted to assess agreement between many raters. Measures of agreement using the class of generalized linear mixed models were implemented efficiently in four recently introduced R and SAS packages in large-scale agreement studies incorporating binary classifications. Simulation studies were conducted to compare the performance across the packages and apply the agreement methods to two cancer studies.

Jmasm 49: A Compilation Of Some Popular Goodness Of Fit Tests For Normal Distribution: Their Algorithms And Matlab Codes (Matlab), Metin Öner, İpek Deveci Kocakoç

Journal of Modern Applied Statistical Methods

The main purpose of this study is to review calculation algorithms for some of the most common non-parametric and omnibus tests for normality, and to provide them as a compiled MATLAB function. All tests are coded to provide p-values for those normality tests, and the proposed function gives the results as an output table.

The Impact Of Predictor Variable(S) With Skewed Cell Probabilities On Wald Tests In Binary Logistic Regression, Arwa Alkhalaf, Bruno D. Zumbo

Journal of Modern Applied Statistical Methods

A series of simulation studies are reported that investigated the impact of a skewed predictor(s) on the Type I error rate and power of the Wald test in a logistic regression model. Five simulations were conducted for three different regression models. A detailed description of the impact of skewed cell predictor probabilities and sample size provide guidelines for practitioners wherein to expect the greatest problems.

Jmasm 50: A Web-Based Shiny Application For Conducting A Two Dependent Samples Maximum Test (R), Saverpierre Maggio, Gokul Bhandari, Shlomo S. Sawilowsky

Journal of Modern Applied Statistical Methods

A web-based Shiny application written in R statistical language was developed and deployed online to calculate a new two dependent samples maximum test as presented in Maggio and Sawilowsky (2014b). The maximum test allows researchers to conduct both the dependent samples t-test and Wilcoxon signed-ranks tests on same data without raising concerns associated with Type I error inflation and choice of statistical tests (Maggio and Sawilowsky, 2014a). The maximum test in R statistical language provides a friendly user interface.

Jmasm 47: Anova_Hov: A Sas Macro For Testing Homogeneity Of Variance In One-Factor Anova Models (Sas), Isaac Li, Yi-Hsin Chen, Yan Wang, Patricia RodríGuez De Gil, Thanh Pham, Diep Nguyen, Eun Sook Kim, Jeffrey D. Kromrey

Journal of Modern Applied Statistical Methods

Variance homogeneity (HOV) is a critical assumption for ANOVA whose violation may lead to perturbations in Type I error rates. Minimal consensus exists on selecting an appropriate test. This SAS macro implements 14 different HOV approaches in one-way ANOVA. Examples are given and practical issues discussed.

A Remark For The Admissibility Of Rao’S U-Test, Z. D. Bai, C. R. Rao, M. T. Tsai

Journal of Modern Applied Statistical Methods

.

Front Matter, Jmasm Editors

Journal of Modern Applied Statistical Methods

.

Vol. 16, No. 2 (Full Issue), Jmasm Editors

Journal of Modern Applied Statistical Methods

.

'Parallel Universe' Or 'Proven Future'? The Language Of Dependent Means T-Test Interpretations, Anthony M. Gould, Jean-Etienne Joullié

Journal of Modern Applied Statistical Methods

Of the three kinds of two-mean comparisons which judge a test statistic against a critical value taken from a Student t-distribution, one – the repeated measures or dependent-means application – is distinctive because it is meant to assess the value of a parameter which is not part of the natural order. This absence forces a choice between two interpretations of a significant test result and the meaning of the test hypothesis. The parallel universe view advances a conditional, backward-looking conclusion. The more practical proven future interpretation is a non-conditional proposition about what will happen if an intervention is (now) applied …

Unit Root Test For Panel Data Ar(1) Time Series Model With Linear Time Trend And Augmentation Term: A Bayesian Approach, Jitendra Kumar, Anoop Chaturvedi, Umme Afifa, Shafat Yousuf, Saurabh Kumar

Journal of Modern Applied Statistical Methods

The univariate time series models, in the case of unit root hypothesis, are more biased towards the acceptance of the Unit Root Hypothesis especially in a short time span. However, the panel data time series model is more appropriate in such situation. The Bayesian analysis of unit root testing for a panel data time series model is considered. An autoregressive panel data AR(1) model with linear time trend and augmentation term has been considered and derived the posterior odds ratio for testing the presence of unit root hypothesis under appropriate prior assumptions. A simulation study and real data analysis are …

End Matter, Jmasm Editors

Journal of Modern Applied Statistical Methods

.