Items where Subject is "Q Science > QA Mathematics > QA75 Electronic computers. Computer science"
Number of items at this level: 23.
Ahmed, Abdulbasit (2013) Online network intrusion detection system using temporal logic and stream data processing. Doctoral thesis, University of Liverpool.
Albashiri, Kamal Ali (2010) An investigation into the issues of multi-agent data mining. Doctoral thesis, University of Liverpool.
Alshukri, Ayesh (2012) Website boundary detection via machine learning. Doctoral thesis, University of Liverpool.
Anya, Obinna (2012) Practice-centred e-health system design for cross-boundary clinical decision support. Doctoral thesis, University of Liverpool.
Aslam, Muhammad Waqar (2013) Pattern recognition using genetic programming for classification of diabetes and modulation data. 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.
Dyer, Matthew S; Collins, Christopher; Hodgeman, Darren; Chater, Philip A; Demont, Antoine; Romani, Simon; Sayers, Ruth; Thomas, Michael F; Claridge, John B; Darling, George R and Rosseinsky, Matthew J (2013) Computationally assisted identification of functional inorganic materials. Science, 340 (6134). 847-852 . ISSN 1095-9203 (online); 0036-8075 (print)
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.
Nickson, Thomas (2013) Pattern formations with discrete waves and broadcasting sequences. Doctoral thesis, University of Liverpool.
Nofal, Samer (2013) Algorithms for argument systems. Doctoral thesis, University of Liverpool.
Nohuddin, Puteri (2012) Predictive trend mining for social network analysis. Doctoral thesis, University of Liverpool.
Piro, Robert (2012) Model-theoretic characterisations of description logics. 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.
Zhang, Lan; Hustadt, Ullrich and Dixon, Clare A resolution calculus for branching-time temporal logic CTL. ACM Transactions on Computational Logic . ISSN 1557-945X (Online); 1529-3785 (Print) (In Press)
These pages are maintained by Library Staff @ University of Liverpool Library