Collection's Items (Sorted by Submit Date in Descending order): 1051 to 1100 of 1283
Issue Date | Title | Author(s) |
1999 | Model reduction based on regional pole and covariance equivalentrealizations | Wang, Z; Unbehauen, H |
1999 | Robust H2/H∞-state estimation for systems with error variance constraints: the continuous-time case | Wang, Z; Unbehauen, H |
1997 | Robust H2/H∞-state estimation for discrete-time systems with error variance constraints | Wang, Z; Guo, Z; Unbehauen, H |
2006 | Emphatic agents to reduce user frustration: The effects of varying agent characteristics | Hone, KS |
2006 | Towards a practical framework for managing the risks of selecting technology to support independent living | Monk, A; Hone, KS; Lines, L; Dowdall, A; Baxter, G; Blythe, M; Wright, P |
2004 | The impact of religious affiliation on trust in the context of electronic commerce | Siala, H; O'Keefe, RM; Hone, KS |
2000 | Towards a tool for the subjective assessment of speech system interfaces (SASSI) | Hone, KS; Graham, R |
2007 | Heuristics for fault diagnosing when testing from finite state machines | Guo, Q; Hierons, RM; Harman, M; Derderian, K |
2006 | Improving fault coverage and minimising the cost of fault identification when testing from finite state machines | Guo, Qiang |
2004 | Distributed multimedia quality: The user perspective | Gulliver, Stephen Richard |
2006 | Automated test sequence generation for finite state machines using genetic algorithms | Derderian, Karnig Agop |
2008 | The development and application of metaheuristics for problems in graph theory: A computational study | Consoli, Sergio |
2009 | The use of an e-learning constructivist solution in workplace learning | Payne, AM; Stephenson, JE; Morris, WB; Tempest, HG; Mileham, A; Griffin, DK |
2006 | The management of financial supply chains: From adversarial to co-operative strategies | Blackman, ID; Holland, CP |
2003 | Case-based reasoning and software engineering | Shepperd, M J |
2008 | The role of classifiers in feature selection: Number vs nature | Chrysostomou, Kyriacos Andrews |
2009 | An introduction to Biomodel engineering, illustrated for signal transduction pathways | Gilbert, D; Breitling, R; Heiner, M; Donaldson, R |
2008 | A case study in model-driven synthetic biology | Gilbert, D; Heiner, M; Rosser, S; Fulton, R; Gu, X; Trybiło, M |
2007 | Prediction of protein-protein interactions using one-class classification methods and integrating diverse data | Reyes, J A; Gilbert, D |
2006 | From Petri Nets to differential equations: An integrative approach for biochemical network analysis | Gilbert, D; Heiner, M |
1998 | Global strategies to overcome the spiral of decline in universal bank markets | Holland, CP; Lockett, AG; Blackman, ID |
2004 | Conducting market research using the internet: The case of Xenon laboratories | Lockett, A; Blackman, ID |
1993 | Evaluating a financial service opportunity via judgemental modelling | Naude, P; Lockett, G; Blackman, ID |
2005 | Analysis of signalling pathways using the prism model checker | Calder, M; Vyshemirsky, V; Gilbert, D; Orton, R |
2004 | Domain discovery method for topological profile searches in protein structures | Viksna, J; Gilbert, D; Torrance, G |
2003 | An empirical comparison of supervised machine learning techniques in bioinformatics | Tan, A C; Gilbert, D |
2003 | Integrative machine learning approach for multi-class SCOP protein fold classification | Tan, A C; Gilbert, D; Deville, Y |
2003 | Ensemble machine learning on gene expression data for cancer classification | Tan, A C; Gilbert, D |
2003 | Multi-class protein fold classification using a new ensemble machine learning approach. | Tan, A; Gilbert, D; Deville, Y |
2003 | Multiple structural alignment for distantly related all b structures using TOPS pattern discovery and simulated annealing | Williams, A; Gilbert, D; Westhead, DR |
2002 | Characterisation of FAD-family folds using a machine learning approach | Tan, A C; Gilbert, D; Tuson, A |
2001 | Approaches to visualisation in bioinformatics: From dendrograms to space explorer | Schroeder, M; Gilbert, D; Helden, JV; Noy, P |
2001 | A constraint based structure description language for Biosequences | Eidhammer, I; Gilbert, D; Jonassen, J; Ratnayake, R; Grindhaug, SH |
2001 | Bioinformatics and constraints | Backofen, R; Gilbert, D |
2001 | A computer system to perform structure comparison using TOPS representations of protein structure | Gilbert, D; Westhead, V; Viksna, J; Thornton, J |
2001 | Pattern matching and pattern discovery algorithms for protein topologies | Viksna, J; Gilbert, D |
2001 | Multi-agent systems as concurrent constraint processes | Brim, L; Gilbert, D; Jacquet, JM; Kretinsky, M |
2000 | Interactive visualisation and exploration of biological data | Gilbert, D; Schroeder, M; Helden, JV |
2000 | Topology-based protein structure comparison using a pattern discovery technique | Gilbert, D; Westhead, D; Viksna, J; Thornton, J |
2000 | Application of regulatory sequence analysis and metabolic network analysis to the interpretation of gene expression data | Helden, JV; Gilbert, D; Wernisch, L; Schroeder, M; Wodak, S |
2000 | Concurrent constraint programming with process mobility | Gilbert, D; Palamidessi, C |
2000 | Representing and analysing molecular and cellular function in the computer | Helden, JV; Naim, A; Mancuso, R; Eldridge, M; Wernisch, L; Gilbert, D; Wodak, SJ |
2000 | FURY: Fuzzy unification and resolution based on edit distance | Gilbert, D; Schroeder, M |
1998 | Interaction of agents and environments | Gilbert, D; Letichevsky, AA |
1998 | A general theory of action languages | Letichevsky, AA; Gilbert, D |
1998 | Approaches to the automatic discovery of patterns in biosequences | Brazma, A; Jonassen, I; Eidhammer, I; Gilbert, D |
1996 | Timetabling in constraint logic programming | Kambi, M; Gilbert, D |
1996 | Transformations between HCLP and PCSP | Jampel, M; Jacquet, JM; Gilbert, D; Hunt, S |
1996 | A process algebra for synchronous concurrent constraint programming | Brim, L; Gilbert, D; Jacquet, JM; Kretinsky, M |
1996 | Transient analysis and synthesis of linear circuits using constraint logic programming | Shankar, A; Gilbert, D; Jampel, M |
Collection's Items (Sorted by Submit Date in Descending order): 1051 to 1100 of 1283