Programming Languages and Compilers Commons^™

The Nax Language: Unifying Functional Programming And Logical Reasoning In A Language Based On Mendler-Style Recursion Schemes And Term-Indexed Types, Ki Yung Ahn

Dissertations and Theses

Two major applications of lambda calculi in computer science are functional programming languages and mechanized reasoning systems (or, proof assistants). According to the Curry--Howard correspondence, it is possible, in principle, to design a unified language based on a typed lambda calculus for both logical reasoning and programming. However, the different requirements of programming languages and reasoning systems make it difficult to design such a unified language that provides both. Programming languages usually extend lambda calculi with programming-friendly features (e.g., recursive datatypes, general recursion) for supporting the flexibility to model various computations, while sacrificing logical consistency. Logical reasoning systems usually extend …

Changes On Cran, Kurt Hornik, Achim Zeileis

The R Journal

New packages in CRAN task views

New contributed packages

Other changes

Qmethod: A Package To Explore Human Perspectives Using Q Methodology, Aiora Zabala

The R Journal

Q is a methodology to explore the distinct subjective perspectives that exist within a group. It is used increasingly across disciplines. The methodology is semi-qualitative and the data are analysed using data reduction methods to discern the existing patterns of thought. This package is the first to perform Q analysis in R, and it provides many advantages to the existing software: namely, it is fully cross-platform, the algorithms can be transparently examined, it provides results in a clearly structured and tabulated form ready for further exploration and modelling, it produces a graphical summary of the results, and it generates a …

Farewell's Linear Increments Model For Missing Data: The Flim Package, Rune Hoff, Jon Michael Gran, Daniel Farewell

The R Journal

Missing data is common in longitudinal studies. We present a package for Farewell’s Linear Increments Model for Missing Data (the FLIM package), which can be used to fit linear models for observed increments of longitudinal processes and impute missing data. The method is valid for data with regular observation patterns. The end result is a list of fitted models and a hypothetical complete dataset corresponding to the data we might have observed had individuals not been missing. The FLIM package may also be applied to longitudinal studies for causal analysis, by considering counterfactual data as missing data- for instance to …

Flexible R Functions For Processing Accelerometer Data, With Emphasis On Nhanes 2003–2006, Dane R. Van Domelen, W. Stephen Pittard

The R Journal

Accelerometers are a valuable tool for measuring physical activity (PA) in epidemiological studies. However, considerable processing is needed to convert time-series accelerometer data into meaningful variables for statistical analysis. This article describes two recently developed R packages for processing accelerometer data. The package accelerometry contains functions for performing various data processing procedures, such as identifying periods of non-wear time and bouts of activity. The functions are flexible, computationally efficient, and compatible with uniaxial or triaxial data. The package nhanesaccel is specifically for processing data from the National Health and Nutrition Examination Survey (NHANES), years 2003–2006. Its primary function generates measures …

Automatic Conversion Of Tables To Longform Dataframes, Jimmy Oh

The R Journal

TableToLongForm automatically converts hierarchical Tables intended for a human reader into a simple LongForm dataframe that is machine readable, making it easier to access and use the data for analysis. It does this by recognising positional cues present in the hierarchical Table (which would normally be interpreted visually by the human brain) to decompose, then reconstruct the data into a LongForm dataframe. The article motivates the benefit of such a conversion with an example Table, followed by a short user manual, which includes a comparison between the simple one argument call to TableToLongForm, with code for an equivalent manual conversion. …

Gset: An R Package For Exact Sequential Test Of Equivalence Hypothesis Based On Bivariate Non-Central T-Statistics, Fang Liu

The R Journal

The R package gset calculates equivalence and futility boundaries based on the exact bivariate non-central t test statistics. It is the first R package that targets specifically at the group sequential test of equivalence hypotheses. The exact test approach adopted by gset neither assumes the large-sample normality of the test statistics nor ignores the contribution to the overall Type I error rate from rejecting one out of the two one-sided hypotheses under a null value. The features of gset include: error spending functions, computation of equivalence boundaries and futility boundaries, either binding or nonbinding, depiction of stagewise boundary plots, and …

Editorial, Deepayan Sarkar

The R Journal

On behalf of the editorial board, I am pleased to publish Volume 6, Issue 2 of the R Journal.

Mvn: An R Package For Assessing Multivariate Normality, Selcuk Korkmaz, Dincer Goksuluk, Gokmen Zararsiz

The R Journal

Assessing the assumption of multivariate normality is required by many parametric multivariate statistical methods, such as MANOVA, linear discriminant analysis, principal component analysis, canonical correlation, etc. It is important to assess multivariate normality in order to proceed with such statistical methods. There are many analytical methods proposed for checking multivariate normality. However, deciding which method to use is a challenging process, since each method may give different results under certain conditions. Hence, we may say that there is no best method, which is valid under any condition, for normality checking. In addition to numerical results, it is very useful to …

Coordinate-Based Meta-Analysis Of Fmri Studies With R, Andrea Stocco

The R Journal

This paper outlines how to conduct a simple meta-analysis of neuroimaging foci of activation in R. In particular, the first part of this paper reviews the nature of fMRI data, and presents a brief overview of the existing packages that can be used to analyze fMRI data in R. The second part illustrates how to handle fMRI data by showing how to visualize the results of different neuroimaging studies in a so-called orthographic view, where the spatial distribution of the foci of activation from different fMRI studies can be inspected visually.

Functional MRI (fMRI) is one of the most important …

Bshazard: A Flexible Tool For Nonparametric Smoothing Of The Hazard Function, Paola Rebora, Agus Salim, Marie Reilly

The R Journal

The hazard function is a key component in the inferential process in survival analysis and relevant for describing the pattern of failures. However, it is rarely shown in research papers due to the difficulties in nonparametric estimation. We developed the bshazard package to facilitate the computation of a nonparametric estimate of the hazard function, with data-driven smoothing. The method accounts for left truncation, right censoring and possible covariates. B-splines are used to estimate the shape of the hazard within the generalized linear mixed models frame work. Smoothness is controlled by imposing an autoregressive structure on the baseline hazard coefficients. This …

Prinsimp, Jonathan Zhang, Nancy Heckman, Davor Cubranic, Joel G. Kingsolver, Travis Gaydos, J.S. Marron

The R Journal

Principal Components Analysis (PCA) is a common way to study the sources of variation in a high-dimensional data set. Typically, the leading principal components are used to understand the variation in the data or to reduce the dimension of the data for subsequent analysis. The remaining principal components are ignored since they explain little of the variation in the data. However, the space spanned by the low variation principal components may contain interesting structure, structure that PCA cannot find. Prinsimp is an R package that looks for interesting structure of low variability. “Interesting” is defined in terms of a simplicity …

Taming Pitchf/X Data With Xml2r And Pitchrx, Carson Sievert

The R Journal

XML2R is a framework that reduces the effort required to transform XML content into tables in a way that preserves parent to child relationships. pitchRx applies XML2R’s grammar for XML manipulation to Major League Baseball Advanced Media (MLBAM)’s Gameday data. With pitchRx, one can easily obtain and store Gameday data in a remote database. The Gameday website hosts a wealth of XML data, but perhaps most interesting is PITCHf/x. Among other things, PITCHf/x data can be used to recreate a baseball’s flight path from a pitcher’s hand to home plate. With pitchRx, one can easily create animations …

Applying Spartan To Understand Parameter Uncertainty In Simulations, Kieran Alden, Mark Read, Paul S. Andrews, Jon Timmis, Mark Coles

The R Journal

In attempts to further understand the dynamics of complex systems, the application of computer simulation is becoming increasingly prevalent. Whereas a great deal of focus has been placed in the development of software tools that aid researchers develop simulations, similar focus has not been applied in the creation of tools that perform a rigorous statistical analysis of results generated through simulation: vital in understanding how these results offer an insight into the captured system. This encouraged us to develop spartan, a package of statistical techniques designed to assist researchers in understanding the relationship between their simulation and the real system. …

News From The Bioconductor Project, The Bioconductor Team

The R Journal

The Bioconductor project provides tools for the analysis and comprehension of high throughput genomic data. The 934 software packages available in Bioconductor can be viewed at http://bioconductor.org/packages/release/. Navigate packages using ‘biocViews’ terms and title search. Each package has an html page with a description, links to vignettes, reference manuals, and usage statistics. Start using Bioconductor and R version 3.1

Changes In R, The R Core Team

The R Journal

CHANGES IN 3.1.2

Conference Report Polish Academic R User Meeting, Maciej Beręsewicz, Alicja Szabelska, Joanna Zyprych-Walczak, Łukasz Wawrowski

The R Journal

The first national conference “Polish Academic R User Meeting” (PAZUR) was held at the Poznan University of Economics from October 15–17, 2014. The organizers of the conference were the Department of Statistics at the Poznan University of Economics (PUE), the Department of Mathematical and Statistical Methods at the Poznan University of Life Sciences (PULS) and SKN Estymator, the students scientific association that resides at the Department of Statistics at the Poznan University of Economics. The honorary patronage of the conference took Professor Emil Panek, Dean of the Faculty of Informatics and Electronic Economy PUE and Professor Wiesław Koziara, Dean of …

The R Journal (December 2014) 6(2): Complete Issue, The R Foundation

The R Journal

Editorial, Deepayan Sarkar

Contributed Research Articles

Coordinate-Based Meta-Analysis of fMRI Studies with R, Andrea Stocco

Automatic Conversion of Tables to LongForm Dataframes, Jimmy Oh

Prinsimp, Jonathan Zhang, Nancy Heckman, Davor Cubranic, Joel G. Kingsolver, Travis Gaydos, and J. S. Marron

phaseR: An R Package for Phase Plane Analysis of Autonomous ODE Systems, Michael J. Grayling

Flexible R Functions for Processing Accelerometer Data, with Emphasis on NHANES 2003-2006, Dane R. Van Domelen and W. Stephen Pittard

Applying spartan to Understand Parameter Uncertainty in Simulations, Kieran Alden, Mark Read, Paul S. Andrews, Jon Timmis, and Mark Coles

ngspatial: A Package for Fitting …

Conference Report: R In Insurance 2014, Markus Gesmann, Andreas Tsanakas

The R Journal

The 2nd Rin Insurance conference took place at Cass Business School London on 14 July 2014. This one-day conference focused once more on the wide range of applications of Rin insurance, actuarial science and beyond. The conference programme covered topics including reserving, pricing, loss modelling, the use of R in a production environment and muchmore.

R Foundation News, Martin Mächler, Kurt Hornik

The R Journal

New R Foundation board

New ordinary members

Donations and new supporting members