Collection's Items (Sorted by Submit Date in Descending order): 2401 to 2450 of 2569
| Issue Date | Title | Author(s) |
| 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 |
| 1996 | Can computational logic provide a paradigm for both the specification and implementation of concurrent systems? | Gilbert, D |
| 1996 | Economic modelling using constraint logic programming | Gilbert, D; Donovan, N |
| 1994 | Transforming specifications of observable behaviour into programs | Gilbert, D; Hogger, C; Zlatuska, J |
| 2005 | Competition in internet retail markets: The impact of links on web site traffic | Ennew, C; Lockett, A; Blackman, ID; Holland, CP |
| 2009 | A testability transformation approach for state-based programs | Kalaji, AS; Hierons, RM; Swift, S |
| 2008 | Using status messages in the distributed test architecture | Hierons, RM |
| 2009 | Overcoming controllability problems with fewest channels between testers | Hierons, RM; Ural, H |
| 2001 | Strategies for building a customer base on the internet: Symbiotic marketing | Lockett, A; Blackman, ID |
| 2008 | Adapting structuration theory to understand the role of reflexivity: Problematization, clinical audit and information systems | Brooks, L; Atkinson, C; Wainwright, D |
| 2004 | A Bayesian network approach to explaining time series with changing structure | Tucker, A; Liu, X |
| 2005 | RGFGA: An efficient representation and crossover for grouping genetic algorithms | Tucker, A; Crampton, J; Swift, S |
| 2008 | Consensus and meta-analysis regulatory networks for combining multiple microarray gene expression datasets | Steele, E; Tucker, A |
| 2008 | 'BioNessie(G) - a grid enabled biochemical networks simulation environment | Liu, X; Jiang, J; Ajayi, O; Gu, X; Gilbert, D; Sinnott, R |
| 2008 | Petri nets for systems and synthetic biology | Heiner, M; Gilbert, D; Donaldson, R |
| 2008 | A model checking approach to the parameter estimation of biochemical pathways | Donaldson, R; Gilbert, D |
| 2008 | Towards a business model for cellular network and telecommunication operators: a theoretical framework | Al-Debei, MM; El-Haddadeh, R; Avison, D |
| 2005 | The current state of E-commerce in Jordan: Applicability and future prospects | Al-Debei, MM; Shannak, RO |
| 2008 | Defining the business model in the new world of digital business | Al-Debei, MM; El-Haddadeh, R; Avison, D |
| 2008 | A Monte Carlo model checker for probabilistic LTL with numerical constraints | Gilbert, D; Donaldson, R |
| 2008 | Generating feasible transition paths for testing from an extended finite state machine (EFSM) | Kalaji, AS; Hierons, RM; Swift, S |
| 2008 | Automatic generation of test sequences form EFSM models using evolutionary algorithms | Kalaji, AS; Hierons, RM; Swift, S |
| 2008 | Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine | Hierons, RM; Ipate, F |
| 2008 | Testing from a stochastic timed system with a fault model | Hierons, RM; Merayo, MG; Nunez, M |
| 2008 | Grid service discovery with rough sets | Li, M; Yu, B; Rana, O; Wang, Z |
| 2008 | The problem of labels in e-assessment of diagrams | Jayal, A; Shepperd, M J |
| 2008 | Using formal methods to support testing | Hierons, RM; Bogdanov, K; Bowen, JP; Cleaveland, R; Derrick, J; Dick, JH; Gheorghe, M; Harman, M; Kapoor, K; Krause, P; Luettgen, G; Simons, AJH; Vilkomir, S; Woodward, M |
| 2008 | Checking sequences for distributed test architectures | Hierons, RM; Ural, H |
| 2008 | Verdict functions in testing with a fault domain or test hypotheses | Hierons, RM |
| 2008 | Software integration testing based on communication coverage criteria and partial model generation | Robinson-Mallett, C; Hierons, RM; Poore, J; Liggesmeyer, P |
Collection's Items (Sorted by Submit Date in Descending order): 2401 to 2450 of 2569
