Skip navigation
   
 
Scholarly Communication
Contacts

Items where Division is "Academic Faculties, Institutes and Research Centres > Faculty of Science > Department of 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 | E | G | I | L | M | N | P | S | W | Z
Number of items at this level: 33.

A

Ahmad Hijazi, Mohd Hanafi (2012) Image classification : a study in age-related macular degeneration screening. Doctoral thesis, University of Liverpool.

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.

C

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

Chaimontree, Santhana (2012) Multi-agent data mining with negotiation: a study in multi-agent based clustering. 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.

D

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.

E

Erriquez, Elisabetta (2012) Computational models of trust. Doctoral thesis, University of Liverpool.

G

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

I

Iliev, Petar (2013) On the relative succinctness of some modal logics. Doctoral thesis, University of Liverpool.

L

Lloyd-Kelly, Martyn (2014) Modelling emotions and simulating their effects on social interactions in agent systems. Doctoral thesis, University of Liverpool.

M

McFarlane, Ross (2010) High-performance computing for computational biology of the heart. 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.

Medellin Gasque, Angel Rolando (2013) Argumentation-based dialogues over cooperative plans. 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.

N

Nalon, Claudia; Zhang, Lan; Dixon, Clare and Hustadt, Ullrich (2014) A resolution-based calculus for Coalition Logic. Journal of Logic and Computation, 24 (4). pp. 883-917. 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.

Nwankwor, Emeka (2014) A unified metaheuristic and system-theoretic framework for petroleum reservoir management. Doctoral thesis, University of Liverpool.

P

Piro, Robert (2012) Model-theoretic characterisations of description logics. Doctoral thesis, University of Liverpool.

S

Stocker, Richard (2013) Towards the formal verification of human-agent-robot teamwork. Doctoral thesis, University of Liverpool.

W

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

Z

Zhang, Jinshan and Zhang, Jinshan (2013) On the theory of truthful and fair pricing for banner advertisements. 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)

Zhang, Yungang (2014) Cascade of classifier ensembles for reliable medical image classification. Doctoral thesis, University of Liverpool.

This list was generated on Thu Oct 23 00:01:50 2014 BST.
   
Search


Full text only
Peer reviewed only

Browse
Cross Archive Search
Find
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