Learn More
With the ubiquity of multicore computing, and the likely expansion of it, it seems irresponsible for constraints researchers to ignore the implications of it. Therefore, the authors have recently begun investigating the literature in constraints on exploitation of parallel systems for constraint solving. We have been compiling an incomplete, biased, and(More)
We present a specialised binary constraint for the stable marriage problem. This constraint acts between a pair of integer variables where the domains of those variables represent preferences. Our constraint enforces stability and disallows bigamy. For a stable marriage instance with n men and women we require n 2 of these constraints, and the complexity of(More)
Primary cultures of bovine adrenal medullary chromaffin cells were used to study the regulation of opioid peptide (OP) synthesis. Chromaffin cells continuously exposed to tetrabenazine, a drug that depletes cellular catecholamine stores, increase their OP contents between 32 hr and 6 days of treatment. At no time following tetrabenazine addition were(More)
A constraint programming approach to the hospitals / residents problem. Abstract. An instance I of the Hospitals / Residents problem (HR) involves a set of residents (graduating medical students) and a set of hospitals, where each hospital has a given capacity. The residents have preferences for the hospitals, as do hospitals for residents. A solution of I(More)
This paper introduces a problem called the temporal knapsack problem, presents several algorithms for solving it, and compares their performance. The temporal knapsack problem is a generalisation of the knapsack problem and specialisation of the multidimensional (or multiconstraint) knapsack problem. It arises naturally in applications such as allocating(More)
Harvey and Ginsberg's limited discrepancy search (LDS) is based on the assumption that costly heuristic mistakes are made early in the search process. Consequently, LDS repeatedly probes the state space, going against the heuristic (i.e., taking discrepancies) a specified number of times in all possible ways and attempts to take those discrepancies as early(More)
Although the exocytotic mechanism for quantal acetylcholine (ACh) release has been widely accepted for many years, it has repeatedly been challenged by reports that ACh released upon stimulation originates from the cytosol rather than synaptic vesicles. In this report, two independent experimental approaches were taken to establish the source of ACh(More)
We consider the problem of verifying context-aware, pervasive, interactive systems when the interaction involves both system configuration and system use. Verification of configurable systems is more tightly coupled to design when the verification process involves reasoning about configurable formal models. The approach is illustrated with a case study:(More)