Background: Genome-scale metabolic network models have been widely used for analysing the cellular behaviour of organisms both qualitatively and quantitatively. An iterative semi-automated procedure for model validation ...

From infants to adults, each individual undergoes changes both physically and mentally through interaction with environments. These cognitive developments are usually staged, exhibited as behaviour changes and supported ...

The recently approved ExoMars rover is the first element of the ESA Aurora programme and is scheduled to deliver the Pasteur exobiology payload to Mars by 2015. The 0.7 kg Panoramic Camera will provide multi-spectral stereo ...

Ultrasound is notorious for having significant noise with a low signal-to-noise ratio. This inhibits the performance of segmentation and causes difficulty for clinical evaluation, thus noise reduction is paramount to ...

This paper presents an extension of the assumption-based truth maintenance system (ATMS), called “credibilistic ATMS,” which has the capability to cope with uncertain justifications and assumptions. Such justifications and ...

The objective of this workshop is to highlight and discuss existing examples of software frameworks combining autonomous robot systems and cognition research. We are targeting systems able to combine high-level cognitive ...

Critics of lazy functional languages contend that the languages are only suitable for toy problems and are not used for real systems. We present an application (PolyFARM) for distributed data mining in relational bioinformatics ...

This paper reviews the literature related to the learning and teaching of debugging computer programs. Debugging is an important skill that continues to be both difficult for novice programmers to learn and challenging for ...