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
Number of items at this level: 28.


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

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)

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; 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)

Book Section

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

Conference or Workshop Item

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.

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)


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.

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

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

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.

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.

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.

This list was generated on Sat Oct 25 14:30:06 2014 BST.

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