Programming Languages and Compilers Commons^™

Towards A Complete Formal Semantics Of Rust, Alexa White

Master's Theses

Rust is a relatively new programming language with a unique memory model designed to provide the ease of use of a high-level language as well as the power and control of a low-level language while preserving memory safety. In order to prove the safety and correctness of Rust and to provide analysis tools for its use cases, it is necessary to construct a formal semantics of the language. Existing efforts to construct such a semantic model are limited in their scope and none to date have successfully captured the complete functionality of the language. This thesis focuses on the K-Rust …

Speech Features Analysis Of The Joint Speech Separation And Automatic Speech Recognition Model, Tawseef Khan

Student Works (2020-2029)

Speech recognition of target speakers from a mixture of voiced noises from interfering speakers in a single channel is a complex task. This is because the speech signal pattern of both the target and interfering speakers are similar and can be challenging to distinguish from one another. If the target speaker’s speech can be correctly identified, such a system can be used in interviews, courtrooms, transcribing video subtitles, etc. During conversations between multiple speakers, it is common for the voices to overlap. In such cases, it is important to separate the speech of the target speaker based on one single …

Qlens: Visual Analytics Of Multi-Step Problem-Solving Behaviors For Improving Question Design, Meng Xia, Reshika P. Velumani, Yong Wang, Huamin Qu, Xiaojuan Ma

Research Collection School Of Computing and Information Systems

With the rapid development of online education in recent years, there has been an increasing number of learning platforms that provide students with multi-step questions to cultivate their problem-solving skills. To guarantee the high quality of such learning materials, question designers need to inspect how students’ problem-solving processes unfold step by step to infer whether students’ problem-solving logic matches their design intent. They also need to compare the behaviors of different groups (e.g., students from different grades) to distribute questions to students with the right level of knowledge. The availability of fine-grained interaction data, such as mouse movement trajectories from …

Using Torchattacks To Improve The Robustness Of Models With Adversarial Training, William S. Matos Díaz

Cybersecurity: Deep Learning Driven Cybersecurity Research in a Multidisciplinary Environment

Adversarial training has proven to be one of the most successful ways to defend models against adversarial examples. This process consists of training a model with an adversarial example to improve the robustness of the model. In this experiment, Torchattacks, a Pytorch library made for importing adversarial examples more easily, was used to determine which attack was the strongest. Later on, the strongest attack was used to train the model and make it more robust against adversarial examples. The datasets used to perform the experiments were MNIST and CIFAR-10. Both datasets were put to the test using PGD, FGSM, and …

Source Code Comment Classification Artificial Intelligence, Cole Sutyak

Williams Honors College, Honors Research Projects

Source code comment classification is an important problem for future machine learning solutions. In particular, supervised machine learning solutions that have largely subjective data labels but are difficult to obtain the labels for. Machine learning problems are problems largely because of a lack of data. In machine learning solutions, it is better to have a large amount of mediocre data than it is to have a small amount of good data. While the mediocre data might not produce the best accuracy, it produces the best results because there is much more to learn from the problem.

In this project, data …

The R Journal (December 2020) 12(2): Complete Issue, The R Foundation

The R Journal

Editorial, Michael J. Kane

Contributed Research Articles

The biglasso Package: A Memory- and Computation-Efficient Solver for Lasso Model Fitting with Big Data in R, Yaohui Zeng and Patrick Breheny

Comparing Multiple Survival Functions with Crossing Hazards in R, Hsin-wen Chang, Pei-Yuan Tsai, Jen-Tse Kao, and Guo-You Lan

A Unified Algorithm for the Non-Convex Penalized Estimation: The ncpen Package, Dongshin Kim, Sangin Lee, and Sunghoon Kwon

TULIP: A Toolbox for Linear Discriminant Analysis with Penalties, Yuqing Pan, Qing Mai, and Xin Zhang

fitzRoy: An R Package to Encourage Reproducible Sports Analysis, Robert Nguyen, James Day, David Warton, and Oscar Lane

Assembling …

A Graphical Eda Tool With Ggplot2: Brinton, Pere Millán-Martínez, Ramon Oller

The R Journal

We present brinton package, which we developed for graphical exploratory data analysis in R. Based on ggplot2, gridExtra and rmarkdown, brinton package introduces wideplot() graphics for exploring the structure of a dataset through a grid of variables and graphic types. It also introduces longplot() graphics, which present the entire catalog of available graphics for representing a particular variable using a grid of graphic types and variations on these types. Finally, it introduces the plotup() function, which complements the previous two functions in that it presents a particular graphic for a specific variable of a dataset. This set of functions is …

Nts: An R Package For Nonlinear Time Series Analysis, Xialu Liu, Rong Chen, Ruey Tsay

The R Journal

Linear time series models are commonly used in analyzing dependent data and in forecasting. On the other hand, real phenomena often exhibit nonlinear behavior and the observed data show nonlinear dynamics. This paper introduces the R package NTS that offers various computational tools and nonlinear models for analyzing nonlinear dependent data. The package fills the gaps of several outstanding R packages for nonlinear time series analysis. Specifically, the NTS package covers the implementation of threshold autoregressive (TAR) models, autoregressive conditional mean models with exogenous variables (ACMx), functional autoregressive models, and state-space models. Users can also evaluate and compare the performance …

Aquadtree: An R Package For Quadtree Anonymization Of Point Data, Raymond Lagonigro, Ramon Oller, Joan Carles Martori

The R Journal

The demand for precise data for analytical purposes grows rapidly among the research community and decision makers as more geographic information is being collected. Laws protecting data privacy are being enforced to prevent data disclosure. Statistical institutes and agencies need methods to preserve confidentiality while maintaining accuracy when disclosing geographic data. In this paper we present the AQuadtree package, a software intended to produce and deal with official spatial data making data privacy and accuracy compatible. The lack of specific methods in R to anonymize spatial data motivated the development of this package, providing an automatic aggregation tool to anonymize …

Six Years Of Shiny In Research: Collaborative Development Of Web Tools In R, Peter Kasprzak, Lachlan Mitchell, Olena Kravchuk, Andy Timmins

The R Journal

The use of Shiny in research publications is investigated over the six and a half years since the appearance of this popular web application framework for R, which has been utilised in many varied research areas. While it is demonstrated that the complexity of Shiny applications is limited by the background architecture, and real security concerns exist for novice app developers, the collaborative benefits are worth attention from the wider research community. Shiny simplifies the use of complex methodologies for people of different specialities, at the level of proficiency appropriate for the end user. This enables a diverse community of …

Assembling Pharmacometric Datasets In R: The Puzzle Package, Mario González-Sales, Olivier Barrière, Pierre Olivier Tremblay, Guillaume Bonnefois, Julie Desrochers, Fahima Nekka

The R Journal

Pharmacometric analyses are integral components of the drug development process. The core of each pharmacometric analysis is a dataset. The time required to construct a pharmacometrics dataset can sometimes be higher than the effort required for the modeling per se. To simplify the process, the puzzle R package has been developed aimed at simplifying and facilitating the time consuming and error prone task of assembling pharmacometrics datasets.

Puzzle consist of a series of functions written in R. These functions create, from tabulated files, datasets that are compatible with the formatting requirements of the gold standard non-linear mixed effects modeling …

Changes On Cran, Kurt Hornik, Uwe Ligges, Achim Zeileis

The R Journal

In the past 4 months, 818 new packages were added to the CRAN package repository. 100 packages were archived and 248 were archived. The following shows the growth of the number of active packages in the CRAN package repository

R Foundation News, Torsten Hothorn

The R Journal

Membership fees and donations received between 2020-09-09 and 2021-01-28.

Rngforgpd: An R Package For Generation Of Univariate And Multivariate Generalized Poisson Data, Hesen Li, Hakan Demirtas, Ruizhe Chen

The R Journal

This article describes the R package RNGforGPD, which is designed for the generation of univariate and multivariate generalized Poisson data. Some illustrative examples are given, the utility and functionality of the package are demonstrated; and its performance is assessed via simulations that are devised around both artificial and real data.

Species Distribution Modeling Using Spatial Point Processes: A Case Study Of Sloth Occurrence In Costa Rica, Paula Moraga

The R Journal

Species distribution models are widely used in ecology for conservation management of species and their environments. This paper demonstrates how to fit a log-Gaussian Cox process model to predict the intensity of sloth occurrence in Costa Rica, and assess the effect of climatic factors on spatial patterns using the R-INLA package. Species occurrence data are retrieved using spocc, and spatial climatic variables are obtained with raster. Spatial data and results are manipulated and visualized by means of several packages such as raster and tmap. This paper provides an accessible illustration of spatial point process modeling that can …

Testing The Equality Of Normal Distributed And Independent Groups’ Means Under Unequal Variances By Doex Package, Mustafa Cavus, Berna Yazıcı

The R Journal

In this paper, we present the doex package contains the tests for equality of normal distributed and independent group means under unequal variances such as Cochran F, Welch-Aspin, Welch, Box, Scott-Smith, Brown-Forsythe, Johansen F, Approximate F, Alexander-Govern, Generalized F, Modified Brown-Forsythe, Permutation F, Adjusted Welch, B2, Parametric Bootstrap, Fiducial Approach, and Alvandi Generalized F-test. Most of these tests are not available in any package. Thus, doex is easy to use for researchers in multidisciplinary studies. In this study, an extensive Monte-Carlo simulation study is conducted to investigate the performance of the the tests for equality of normal distributed group means …

News From The Bioconductor Project, Bioconductor Core Team

The R Journal

Bioconductor provides tools for the analysis and comprehension of high-throughput genomic data. Bioconductor 3.12 was released on 28 October, 2020. It is compatible with R 4.0.3 and consists of 1974 software packages, 398 experiment data packages, 968 up-to-date annotation packages, and 28 workflows. Books are a new addition, built regularly from source and therefore fully reproducible; an example is the community-developed Orchestrating Single-Cell Analysis with Bioconductor.

A Unified Algorithm For The Non-Convex Penalized Estimation: The Ncpen Package, Dongshin Kim, Sangin Lee, Sunghoon Kwon

The R Journal

Various R packages have been developed for the non-convex penalized estimation but they can only be applied to the smoothly clipped absolute deviation (SCAD) or minimax concave penalty (MCP). We develop an R package, entitled ncpen, for the non-convex penalized estimation in order to make data analysts to experience other non-convex penalties. The package ncpen implements a unified algorithm based on the convex concave procedure and modified local quadratic approximation algorithm, which can be applied to a broader range of non-convex penalties, including the SCAD and MCP as special examples. Many user-friendly functionalities such as generalized information criteria, cross-validation …

User-Specified General-To-Specific And Indicator Saturation Methods, Genaro Sucarrat

The R Journal

General-to-Specific (GETS) modelling provides a comprehensive, systematic and cumulative approach to modelling that is ideally suited for conditional forecasting and counterfactual analysis, whereas Indicator Saturation (ISAT) is a powerful and flexible approach to the detection and estimation of structural breaks (e.g. changes in parameters), and to the detection of outliers. To these ends, multi path backwards elimination, single and multiple hypothesis tests on the coefficients, diagnostics tests andgoodness-of-fit measures are combined to produce a parsimonious final model. In many situations a specific model or estimator is needed, a specific set of diagnostics tests may be required, or a specific f …

Editorial, Michael J. Kane

The R Journal

On behalf of the editorial board, I am pleased to present Volume 12 Issue 2 of the R Journal. This is my third and final issue as the Editor-in-Chief. In the last year, we have made some substantial changes to the journal that I believe will continue to increase our capacity to support the growing data science and computational statistics communities, and continue to raise the visibility of the journal. In the last few months we recruited 10 Associate Editors and we are continuing the recruitment process. I’d like to publicly welcome our new Associate Editors, and thank each of …