We study the following variant of the bin packing problem. We are given a set of items, where each item has a (non-negative) size and a color. We are also given an integer paramet...
Abstract. We study continuous dynamical systems defined by autonomous ordinary differential equations, themselves given by parametric rational functions. For such systems, we pro...
The problem of dependability in end-user programming is an emerging area of interest. Pair collaboration in end-user software development may offer a way for end users to debug th...
Thippaya Chintakovid, Susan Wiedenbeck, Margaret M...
: The Behavior Exchange is an AgentSheets-based forum employing the web for the collaborative creation of SimCityTM-like interactive simulations. While initially the Behavior Excha...
Alexander Repenning, Martin Rausch, Jonathan Phill...
Abstract. Efficient non-interactive zero-knowledge proofs are a powerful tool for solving many cryptographic problems. We apply the recent Groth-Sahai (GS) proof system for pairing...
Mira Belenkiy, Melissa Chase, Markulf Kohlweiss, A...