-
Enhancing Computer Science Education with Pair Programming and Problem Solving Studios
Authors:
J. Walker Orr
Abstract:
This study examines the adaptation of the problem-solving studio to computer science education by combining it with pair programming. Pair programming is a software engineering practice in industry, but has seen mixed results in the classroom. Recent research suggests that pair programming has promise and potential to be an effective pedagogical tool, however what constitutes good instructional de…
▽ More
This study examines the adaptation of the problem-solving studio to computer science education by combining it with pair programming. Pair programming is a software engineering practice in industry, but has seen mixed results in the classroom. Recent research suggests that pair programming has promise and potential to be an effective pedagogical tool, however what constitutes good instructional design and implementation for pair programming in the classroom is not clear. We developed a framework for instructional design for pair programming by adapting the problem-solving studio (PSS), a pedagogy originally from biomedical engineering. PSS involves teams of students solving open-ended problems with real-time feedback given by the instructor. Notably, PSS uses problems of adjustable difficulty to keep students of all levels engaged and functioning within the zone of proximal development. The course structure has three stages, first starting with demonstration, followed by a PSS session, then finishing with a debrief. We studied the combination of PSS and pair programming in a CS1 class over three years. Surveys of the students report a high level of engagement, learning, and motivation.
△ Less
Submitted 2 November, 2023;
originally announced November 2023.
-
Automatic Assessment of the Design Quality of Student Python and Java Programs
Authors:
J. Walker Orr
Abstract:
Programs are a kind of communication to both computers and people, hence as students are trained to write programs they need to learn to write well-designed, readable code rather than code that simply functions correctly. The difficulty in teaching good design practices that promote readability is the labor intensiveness of assessing student programs. Typically assessing design quality involves a…
▽ More
Programs are a kind of communication to both computers and people, hence as students are trained to write programs they need to learn to write well-designed, readable code rather than code that simply functions correctly. The difficulty in teaching good design practices that promote readability is the labor intensiveness of assessing student programs. Typically assessing design quality involves a careful reading of student programs in order to give personalized feedback which naturally is time consuming for instructors. We propose a rule-based system that assesses student programs for quality of design of and provides personalized, precise feedback on how to improve their work. To study its effectiveness, we made the system available to students by deploying it online, allowing students to receive feedback and make corrections before turning in their assignments. The students benefited from the system and the rate of design quality flaws dropped 47.84\% on average over 4 different assignments, 2 in Python and 2 in Java, in comparison to the previous 2 to 3 years of student submissions.
△ Less
Submitted 5 November, 2022; v1 submitted 22 August, 2022;
originally announced August 2022.
-
OpenSync: An opensource platform for synchronizing multiple measures in neuroscience experiments
Authors:
Moein Razavi,
Vahid Janfaza,
Takashi Yamauchi,
Anton Leontyev,
Shanle Longmire-Monford,
Joseph Orr
Abstract:
Background: The human mind is multimodal. Yet most behavioral studies rely on century-old measures such as task accuracy and latency. To create a better understanding of human behavior and brain functionality, we should introduce other measures and analyze behavior from various aspects. However, it is technically complex and costly to design and implement the experiments that record multiple measu…
▽ More
Background: The human mind is multimodal. Yet most behavioral studies rely on century-old measures such as task accuracy and latency. To create a better understanding of human behavior and brain functionality, we should introduce other measures and analyze behavior from various aspects. However, it is technically complex and costly to design and implement the experiments that record multiple measures. To address this issue, a platform that allows synchronizing multiple measures from human behavior is needed. Method: This paper introduces an opensource platform named OpenSync, which can be used to synchronize multiple measures in neuroscience experiments. This platform helps to automatically integrate, synchronize and record physiological measures (e.g., electroencephalogram (EEG), galvanic skin response (GSR), eye-tracking, body motion, etc.), user input response (e.g., from mouse, keyboard, joystick, etc.), and task-related information (stimulus markers). In this paper, we explain the structure and details of OpenSync, provide two case studies in PsychoPy and Unity. Comparison with existing tools: Unlike proprietary systems (e.g., iMotions), OpenSync is free and it can be used inside any opensource experiment design software (e.g., PsychoPy, OpenSesame, Unity, etc., https://pypi.org/project/OpenSync/ and https://github.com/moeinrazavi/OpenSync_Unity). Results: Our experimental results show that the OpenSync platform is able to synchronize multiple measures with microsecond resolution.
△ Less
Submitted 29 November, 2021; v1 submitted 29 July, 2021;
originally announced July 2021.
-
Automatic Assessment of the Design Quality of Python Programs with Personalized Feedback
Authors:
J. Walker Orr,
Nathaniel Russell
Abstract:
The assessment of program functionality can generally be accomplished with straight-forward unit tests. However, assessing the design quality of a program is a much more difficult and nuanced problem. Design quality is an important consideration since it affects the readability and maintainability of programs. Assessing design quality and giving personalized feedback is very time consuming task fo…
▽ More
The assessment of program functionality can generally be accomplished with straight-forward unit tests. However, assessing the design quality of a program is a much more difficult and nuanced problem. Design quality is an important consideration since it affects the readability and maintainability of programs. Assessing design quality and giving personalized feedback is very time consuming task for instructors and teaching assistants. This limits the scale of giving personalized feedback to small class settings. Further, design quality is nuanced and is difficult to concisely express as a set of rules. For these reasons, we propose a neural network model to both automatically assess the design of a program and provide personalized feedback to guide students on how to make corrections. The model's effectiveness is evaluated on a corpus of student programs written in Python. The model has an accuracy rate from 83.67% to 94.27%, depending on the dataset, when predicting design scores as compared to historical instructor assessment. Finally, we present a study where students tried to improve the design of their programs based on the personalized feedback produced by the model. Students who participated in the study improved their program design scores by 19.58%.
△ Less
Submitted 2 June, 2021;
originally announced June 2021.
-
Aerospace Sliding Mode Control Toolbox: Relative Degree Approach with Resource Prospector Lander and Launch Vehicle Case Studies
Authors:
S. Kode,
Y. Shtessel,
A. Levant,
J. Rakoczy,
M. Hannan,
J. Orr
Abstract:
Conventional Sliding mode control and observation techniques are widely used in aerospace applications, including aircrafts, UAVs, launch vehicles, missile interceptors, and hypersonic missiles. This work is dedicated to creating a MATLAB-based sliding mode controller design and simulation software toolbox that aims to support aerospace vehicle applications. An architecture of the aerospace slidin…
▽ More
Conventional Sliding mode control and observation techniques are widely used in aerospace applications, including aircrafts, UAVs, launch vehicles, missile interceptors, and hypersonic missiles. This work is dedicated to creating a MATLAB-based sliding mode controller design and simulation software toolbox that aims to support aerospace vehicle applications. An architecture of the aerospace sliding mode control toolbox (SMC Aero) using the relative degree approach is proposed. The SMC Aero libraries include 1st order sliding mode control (1-SMC), second order sliding mode control (2-SMC), higher order sliding mode (HOSM) control (either fixed gain or adaptive), as well as higher order sliding mode differentiators. The efficacy of the SMC Aero toolbox is confirmed in two case studies: controlling and simulating resource prospector lander (RPL) soft landing on the Moon and launch vehicle (LV) attitude control in ascent mode.
△ Less
Submitted 8 June, 2021; v1 submitted 8 May, 2021;
originally announced May 2021.
-
Direct Opto-Electronic Imaging of 2D Semiconductor - 3D Metal Buried Interfaces
Authors:
Kiyoung Jo,
Pawan Kumar,
Joseph Orr,
Surendra B. Anantharaman,
Jinshui Miao,
Michael Motala,
Arkamita Bandyopadhyay,
Kim Kisslinger,
Christopher Muratore,
Vivek B. Shenoy,
Eric Stach,
Nicholas Glavin,
Deep Jariwala
Abstract:
The semiconductor-metal junction is one of the most critical factors for high performance electronic devices. In two-dimensional (2D) semiconductor devices, minimizing the voltage drop at this junction is particularly challenging and important. Despite numerous studies concerning contact resistance in 2D semiconductors, the exact nature of the buried interface under a three-dimensional (3D) metal…
▽ More
The semiconductor-metal junction is one of the most critical factors for high performance electronic devices. In two-dimensional (2D) semiconductor devices, minimizing the voltage drop at this junction is particularly challenging and important. Despite numerous studies concerning contact resistance in 2D semiconductors, the exact nature of the buried interface under a three-dimensional (3D) metal remains unclear. Herein, we report the direct measurement of electrical and optical responses of 2D semiconductor-metal buried interfaces using a recently developed metal-assisted transfer technique to expose the buried interface which is then directly investigated using scanning probe techniques. We characterize the spatially varying electronic and optical properties of this buried interface with < 20 nm resolution. To be specific, potential, conductance and photoluminescence at the buried metal/MoS$_2$ interface are correlated as a function of a variety of metal deposition conditions as well as the type of metal contacts. We observe that direct evaporation of Au on MoS$_2$ induces a large strain of ~5% in the MoS$_2$ which, coupled with charge transfer, leads to degenerate doping of the MoS$_2$ underneath the contact. These factors lead to improvement of contact resistance to record values of 138 kohm-um, as measured using local conductance probes. This approach was adopted to characterize MoS$_2$-In/Au alloy interfaces, demonstrating contact resistance as low as 63 kohm-um. Our results highlight that the MoS$_2$/Metal interface is sensitive to device fabrication methods, and provides a universal strategy to characterize buried contact interfaces involving 2D semiconductors.
△ Less
Submitted 28 January, 2021;
originally announced January 2021.
-
Efficient sampling for polynomial chaos-based uncertainty quantification and sensitivity analysis using weighted approximate Fekete points
Authors:
Kyle M. Burk,
Akil Narayan,
Joseph A. Orr
Abstract:
Performing uncertainty quantification (UQ) and sensitivity analysis (SA) is vital when developing a patient-specific physiological model because it can quantify model output uncertainty and estimate the effect of each of the model's input parameters on the mathematical model. By providing this information, UQ and SA act as diagnostic tools to evaluate model fidelity and compare model characteristi…
▽ More
Performing uncertainty quantification (UQ) and sensitivity analysis (SA) is vital when developing a patient-specific physiological model because it can quantify model output uncertainty and estimate the effect of each of the model's input parameters on the mathematical model. By providing this information, UQ and SA act as diagnostic tools to evaluate model fidelity and compare model characteristics with expert knowledge and real world observation. Computational efficiency is an important part of UQ and SA methods and thus optimization is an active area of research. In this work, we investigate a new efficient sampling method for least-squares polynomial approximation, weighted approximate Fekete points (WAFP). We analyze the performance of this method by demonstrating its utility in stochastic analysis of a cardiovascular model that estimates changes in oxyhemoglobin saturation response. Polynomial chaos (PC) expansion using WAFP produced results similar to the more standard Monte Carlo in quantifying uncertainty and identifying the most influential model inputs (including input interactions) when modeling oxyhemoglobin saturation, PC expansion using WAFP was far more efficient. These findings show the usefulness of using WAFP based PC expansion to quantify uncertainty and analyze sensitivity of a oxyhemoglobin dissociation response model. Applying these techniques could help analyze the fidelity of other relevant models in preparation for clinical application.
△ Less
Submitted 11 August, 2020;
originally announced August 2020.
-
Learning Scripts as Hidden Markov Models
Authors:
J. Walker Orr,
Prasad Tadepalli,
Janardhan Rao Doppa,
Xiaoli Fern,
Thomas G. Dietterich
Abstract:
Scripts have been proposed to model the stereotypical event sequences found in narratives. They can be applied to make a variety of inferences including filling gaps in the narratives and resolving ambiguous references. This paper proposes the first formal framework for scripts based on Hidden Markov Models (HMMs). Our framework supports robust inference and learning algorithms, which are lacking…
▽ More
Scripts have been proposed to model the stereotypical event sequences found in narratives. They can be applied to make a variety of inferences including filling gaps in the narratives and resolving ambiguous references. This paper proposes the first formal framework for scripts based on Hidden Markov Models (HMMs). Our framework supports robust inference and learning algorithms, which are lacking in previous clustering models. We develop an algorithm for structure and parameter learning based on Expectation Maximization and evaluate it on a number of natural datasets. The results show that our algorithm is superior to several informed baselines for predicting missing events in partial observation sequences.
△ Less
Submitted 11 September, 2018;
originally announced September 2018.
-
Event Detection with Neural Networks: A Rigorous Empirical Evaluation
Authors:
J. Walker Orr,
Prasad Tadepalli,
Xiaoli Fern
Abstract:
Detecting events and classifying them into predefined types is an important step in knowledge extraction from natural language texts. While the neural network models have generally led the state-of-the-art, the differences in performance between different architectures have not been rigorously studied. In this paper we present a novel GRU-based model that combines syntactic information along with…
▽ More
Detecting events and classifying them into predefined types is an important step in knowledge extraction from natural language texts. While the neural network models have generally led the state-of-the-art, the differences in performance between different architectures have not been rigorously studied. In this paper we present a novel GRU-based model that combines syntactic information along with temporal structure through an attention mechanism. We show that it is competitive with other neural network architectures through empirical evaluations under different random initializations and training-validation-test splits of ACE2005 dataset.
△ Less
Submitted 26 August, 2018;
originally announced August 2018.
-
On the Primitive Ideals of Nest Algebras
Authors:
John Lindsay Orr
Abstract:
We show that Ringrose's diagonal ideals are primitive ideals in a nest algebra (subject to the Continuum Hypothesis). This provides for the first time concerete descriptions of enough primitive ideals to obtain the Jacobson radical as their intersection. Separately, we provide a standard form for all left ideals of a nest algebra, which leads to insights into the maximal left ideals. In the case o…
▽ More
We show that Ringrose's diagonal ideals are primitive ideals in a nest algebra (subject to the Continuum Hypothesis). This provides for the first time concerete descriptions of enough primitive ideals to obtain the Jacobson radical as their intersection. Separately, we provide a standard form for all left ideals of a nest algebra, which leads to insights into the maximal left ideals. In the case of atomic nest algebras we show how primitive ideals can be categorized by their behaviour on the diagonal, and provide concrete examples of all types.
△ Less
Submitted 12 June, 2018;
originally announced June 2018.
-
A New Class of Maximal Triangular Aglebras
Authors:
John Lindsay Orr
Abstract:
Triangular algebras, and maximal triangular algebras in particular, have been objects of interest for over fifty years. Rich families of examples have been studied in the context of many w$^*$- and C$^*$-algebras, but there remains a dearth of concrete examples in B(H). In previous work, we described a family of maximal triangular algebras of finite multiplicity. Here, we investigate a related fam…
▽ More
Triangular algebras, and maximal triangular algebras in particular, have been objects of interest for over fifty years. Rich families of examples have been studied in the context of many w$^*$- and C$^*$-algebras, but there remains a dearth of concrete examples in B(H). In previous work, we described a family of maximal triangular algebras of finite multiplicity. Here, we investigate a related family of maximal triangular algebras with infinite multiplicity, and unearth new asymptotic structure which these algebras exhibit.
△ Less
Submitted 18 May, 2017; v1 submitted 28 November, 2016;
originally announced November 2016.
-
The Maximal Two-Sided Ideals of Nest Algebras
Authors:
John Lindsay Orr
Abstract:
We give a necessary and sufficient criterion for an operator in a nest algebra to belong to a proper two-sided ideal of that algebra. Using this result, we describe the strong radical of a nest algebra, and give a general description of the maximal two-sided ideals.
We give a necessary and sufficient criterion for an operator in a nest algebra to belong to a proper two-sided ideal of that algebra. Using this result, we describe the strong radical of a nest algebra, and give a general description of the maximal two-sided ideals.
△ Less
Submitted 7 January, 2014;
originally announced January 2014.
-
A Surface-Gated InSb Quantum Well Single Electron Transistor
Authors:
J. M. S. Orr,
P. D. Buckle,
M. Fearn,
C. J. Storey,
L. Buckle,
T. Ashley
Abstract:
Single electron charging effects in a surface-gated InSb/AlInSb QW structure are reported. This material, due to its large g-factor and light effective mass, offers considerable advantages over more commonly used materials, such as GaAs, for quantum information processing devices. However, differences in material and device technology result in significant processing challenges. Simple Coulomb b…
▽ More
Single electron charging effects in a surface-gated InSb/AlInSb QW structure are reported. This material, due to its large g-factor and light effective mass, offers considerable advantages over more commonly used materials, such as GaAs, for quantum information processing devices. However, differences in material and device technology result in significant processing challenges. Simple Coulomb blockade and quantised confinement models are considered to explain the observation of conductance oscillations in these structures. The charging energy is found to be comparable with the energy spectrum for single particle states.
△ Less
Submitted 30 April, 2007;
originally announced April 2007.
-
The Stable Ideals of a Continuous Nest Algebra II
Authors:
John Lindsay Orr
Abstract:
We continue the study of the rich family of norm-closed, automorphism invariant ideals of a continuous nest algebra. First we present a unified framework which captures all stable ideals as the kernels of limits of diagonal compressions. We then characterize when two such limits give rise to the same ideal, and we obtain detailed information of the structure of sums and intersections of ideals.
We continue the study of the rich family of norm-closed, automorphism invariant ideals of a continuous nest algebra. First we present a unified framework which captures all stable ideals as the kernels of limits of diagonal compressions. We then characterize when two such limits give rise to the same ideal, and we obtain detailed information of the structure of sums and intersections of ideals.
△ Less
Submitted 22 February, 2005;
originally announced February 2005.