Learn More
In this paper, we propose a constraint-based approach to determining protein structures compatible with distance constraints obtained from Nuclear Magnetic Resonance (NMR) data. We compare the performance of our proposed algorithm with DYANA ("Dynamics algorithm for NMR applications " [1]) an existing commercial application based on simulated annealing. For(More)
Parameter estimation is the problem of finding the values of the unknowns of a mathematical model for simulating a complex system. A model is generally given by differential equations or systems of equations or inequalities. Interval computations are numerical computations over sets of real numbers. In this paper intervals are used to model uncertainty in(More)
Guideline-based care is becoming increasingly important given the surging costs and requirement for quality assessment of health care, and is likely to be a major application of knowledge-based technology into the health sector. Our preliminary experiences with implementing a paper-based guideline in a computer have shown problems that may prevent the(More)
Rabern and Rabern (2008) and Uzquiano (2010) have each presented increasingly harder versions of 'the hardest logic puzzle ever' (Boolos 1996), and each has provided a BLOCKIN BLOCKIN two-­‐question BLOCKIN BLOCKIN solution BLOCKIN BLOCKIN to BLOCKIN BLOCKIN his BLOCKIN BLOCKIN predecessor's BLOCKIN BLOCKIN puzzle. BLOCKIN BLOCKIN But BLOCKIN BLOCKIN(More)
This paper presents an incremental method to solve hierarchies of constraints over nite domains, which borrows techniques developed in intelligent backtracking, and nds locally-predicate-better solutions. A prototype implementation of this method, IHCS, was written in C and can be integrated with diierent programming environments. In particular, with Prolog(More)
A number of diagnostic and optimisation problems in Electronics Computer Aided Design have usually been handled either by specific tools or by mapping them into a general problem solver (e.g. a propositional Boolean SAT tool). This approach, however, requires models with substantial duplication of digital circuits. In Constraint Logic Programming, the use(More)
This paper reports an experience of computerising a clinical guideline for the management of non-insulin-dependent diabetes mellitus (NIDDM). The guideline, designed by the European NIDDM Policy Group is being used in a National Programme for Diabetes supported by the Portuguese Ministry of Health, who is keen to supporting its widespread use by general(More)