57 citations
- Agnes Scott CollegeUS4 papers
- Georgia Institute of TechnologyUS3 papers
- Pennsylvania State UniversityUS3 papers
- Cornell UniversityUS2 papers
- University of Massachusetts AmherstUS2 papers
- Brera Astronomical ObservatoryIT1 paper
- California Institute of TechnologyUS1 paper
- Carnegie Mellon UniversityUS1 paper
- Cedar Crest CollegeUS1 paper
- Eckerd CollegeUS1 paper
- Florida Atlantic UniversityUS1 paper
- George Mason UniversityUS1 paper
17 papers
MELT: Mining Effective Lightweight Transformations from Pull Requests
Daniel Ramos, Hailie Mitchell, Inês Lynce +3
Software developers often struggle to update APIs, leading to manual, time-consuming, and error-prone processes. We introduce MELT, a new approach that generates lightweight API mi…
Probabilistic chip-collecting games with modulo winning conditions
Joshua Harrington, Xuwen Hua, Xufei Liu +3
Let , , and be integers with . In a certain two-player probabilistic chip-collecting game, Alice tosses a coin to determine whether she collects chips or …
Coupled metronomes on a moving platform with Coulomb friction
Guillermo H. Goldsztein, Lars Q. English, Emma Behta +3
Using a combination of theory, experiment, and simulation, we revisit the dynamics of two coupled metronomes on a moving platform. Our experiments show that the platform's motion i…
Flip and Neimark-Sacker Bifurcations in a Coupled Logistic Map System
A. Mareno, L. Q. English
In this paper we consider a system of strongly coupled logistic maps involving two parameters. We classify and investigate the stability of its fixed points. A local bifurcation an…
Linear impurity modes in an electrical lattice: Theory and Experiment
M. I. Molina, L. Q. English, M-H. Chang +1
We examine theoretically and experimentally the localized %and extended electrical modes existing in a bi-inductive electrical lattice containing a bulk or a surface capacitive imp…
Strategies for basing the CS theory course on non-decision problems
John MacCormick
Computational and complexity theory are core components of the computer science curriculum, and in the vast majority of cases are taught using decision problems as the main paradig…