Most research in computer science, software engineering, formal methods, and perhaps a few other programming-related disciplines contributes techniques and ideas that improve the quality of software. The quality has two faces. A program is good if it does what the programmers intended. A program is really good if it does what its users want. The problem of making programmers’ intentions agree w...

Diagnosis of misconceptions or ‘‘bugs’’ in procedural skills is difficult because of their unstable nature. This study addresses this problem by proposing and evaluating a probability-based approach to the diagnosis of bugs in children’s multicolumn subtraction performance using Bayesian networks. This approach assumes a causal network relating hypothesized subtraction bugs to the observed test...

Adult parasitoids of pest insects rely on floral resources for survival and reproduction, but can be food-deprived in intensively managed agricultural systems lacking these resources. Stink bugs are serious pests for crops in southwest Georgia. Provisioning nectar-producing plants for parasitoids of stink bugs potentially can enhance biocontrol of these pests. Knowledge of spatial and temporal ...

It’s been nearly thirty years from Ken Thompson’s “Reflections on Trusting Trust” and its famous verdict that “You can’t trust code that you did not totally create yourself.” If there is one practical lesson that the Internet taught us since then, it is that one cannot even trust one’s own code so long as that code meets arbitrary inputs from the Internet. Sooner or later a mixture of bugs or f...

Beginning in 1988, the Numerical Aerodynamic Simulation (NAS) organization at NASA Ames Research Center has studied the usability of highly parallel computers on computational uid dynamics and other aerophysics applications. Presently this organization operates a CM-2 with 32,768 nodes and an Intel iPSC/860 with 128 nodes. This note gives an overview of the experience in using these systems, hi...

Little empirical research has investigated how players identify with video game characters. In this paper, I use data from interviews with video game players who are members of marginalized groups, to interrogate the links made between how players identify with video game characters and the importance of representation. I discuss how games‟ ludic, bodily and socially interactive aspects result ...

We present the rst clear evidence that the gravothermal oscillation takes place in N-body systems. We performed direct N-body simulations of systems of point-mass particles with particle numbers from 2,048 to 32,768. In the simulation with 32,768 particles, the central density shows an oscillation with an amplitude of 10 3 , which is similar to what was observed in more approximate models such ...

The pest of rice bugs (Leptocorisa oratorius Fabricius) is very dangerous for plants, especially when the plants begin to have grain bodies, therefore monitoring necessary at all times in field. population dynamics stink was highest during third week 2.78 and lowest second fifth weeks 0.21 respectively. intensity attack smallest observation, which 9% sixth observation reached 73%. development n...

Many computer security problems stem from buggy software. Attackers exploit software bugs to infiltrate systems and install malicious software (malware) such as viruses. Therefore, it is imperative to find bugs before an attacker can exploit them and to detect malware prior to infection. The primary goal of my research is to assure software security. I analyze programs to find bugs and to detec...

BACKGROUND Chagas disease is a zoonotic parasitic disease well-documented throughout the Americas and transmitted primarily by triatomine 'kissing bug' vectors. In acknowledgment of the successful history of vector control programs based on community participation across Latin America, we used a citizen science approach to gain novel insight into the geographic distribution, seasonal activity, ...