Items where Subject is "Q Science > QA Mathematics > QA75 Electronic computers. Computer science"

Albashiri, Kamal Ali (2010) An investigation into the issues of multi-agent data mining. Doctoral thesis, University of Liverpool.

Cartwright, Daniel R (2011) Digital decision-making: using computational argumentation to support democratic processes. Doctoral thesis, University of Liverpool.

Chua, Stephanie Hui Li (2012) An investigation into the use of negation in Inductive Rule Learning for text classification. Doctoral thesis, University of Liverpool.

Dennis, Louise A.; Farwer, Berndt; Bordini, Rafael H.; Fisher, Michael and Wooldridge, Michael (2008) A common semantic basis for BDI languages. In: Programming multi-agent systems: 5th international workshop, ProMAS 2007, Honolulu, HI, USA, May 15, 2007 : revised and invited papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4908 . Springer, Heidelberg, pp. 124-139. ISBN 9783540790426

Doran, Paul (2009) Ontology modularization: principles and practice. Doctoral thesis, University of Liverpool.

Fisher, Paul; Hedeler, Cornelia; Wolstencroft, Katherine; Hulme, Helen; Noyes, Harry; Kemp, Stephen; Stevens, Robert and Brass, Andrew (2007) A systematic strategy for the discovery of candidate genes responsible for phenotypic variation. BMC Bioinformatics, 8 (Suppl 8). Article Number: P7. ISSN 1471-2105

McFarlane, Ross and Biktasheva, IV (2008) Beatbox - a computer simulation environment for computational biology of the heart. In: BCS International Academic Conference 2008 – Visions of Computer Science, 22-24 September 2008, Imperial College, London.

Molyneux, Richard (2009) Hyperset approach to semi-structured databases and the experimental implementation of the query language Delta. Doctoral thesis, UNSPECIFIED.

Nawwab, Fahd Saud (2010) Agents with a human touch: modeling of human rationality in agent systems. Doctoral thesis, University of Liverpool.

Rennie, C.; Hulme, H.; Fisher, P.; Hall, L.; Agaba, M.; Noyes, H.A.; Kemp, S.J. and Brass, A. (2007) A systematic, data-driven approach to the combined analysis of microarray and QTL data. In: International Symposium on Animal Genomics for Animal Health., OIE HQ, World Organisation for Animal Health, 12 Rue de Prony, Paris France. (Unpublished)

Rennie, C.; Noyes, H.A.; Kemp, S.J.; Hulme, H.; Brass, A. and Hoyle, D.C. Mismatches between probe and target sequences have a strong position-dependent effect on signal ratios from aCGH using 60mer oligonucleotide microarrays. In: Genomes to Systems Conference, 17-20 March 2008, Manchester Convention Centre. (Unpublished)

Rennie, Catriona; Noyes, Harry A.; Kemp, Stephen J.; Hulme, Helen; Brass, Andy and Hoyle, David C (2008) Strong position-dependent effects of sequence mismatches on signal ratios measured using long oligonucleotide microarrays. BMC Genomics, 9 . Article Number: 317. ISSN 1471-2164

Zhang, Lan (2010) Clausal reasoning for branching-time logics. Doctoral thesis, University of Liverpool.