Skip navigation
Scholarly Communication

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

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Item Type | No Grouping
Jump to: A | C | D | F | G | M | N | P | R | W | Z
Number of items at this level: 28.


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.

Collins, Andrew (2013) Distributed navigation. 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


Garcia Constantino, Matias (2013) On the use of text classification methods for text summarisation. Doctoral thesis, University of Liverpool.


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.

McQuillan, Colin (2013) The computational complexity of approximation of partition functions. Doctoral thesis, University of Liverpool.

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


Nalon, Claudia; Zhang, Lan; Dixon, Clare and Hustadt, Ullrich (2014) A resolution-based calculus for Coalition Logic. Journal of Logic and Computation, 24 . ISSN 1465-363X (Online); 0955-792X (Print)

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


Wang, Ting (2013) Statistical feature ordering for neural-based incremental attribute learning. Doctoral thesis, University of Liverpool.


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

Zhang, Lan; Hustadt, Ullrich and Dixon, Clare (2014) A resolution calculus for branching-time temporal logic CTL. ACM Transactions on Computational Logic, 15 (1). Article Number: 10. ISSN 1557-945X (Online); 1529-3785 (Print)

This list was generated on Sun Nov 23 01:18:58 2014 GMT.

Full text only
Peer reviewed only

Cross Archive Search
Top 50 authors
Top 50 items
[more statistics]

These pages are maintained by Library Staff @ University of Liverpool Library


All pages © The University of Liverpool, 2004 | Disclaimer | Accessibility | Staff | Students