Collection's Items (Sorted by Submit Date in Descending order): 1081 to 1130 of 1283
| Issue Date | Title | Author(s) |
| 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 | On the convergence of the hp-BEM with quasi-uniform meshes for the electric field integral equation on polyhedral surfaces | Bespalov, A; Heuer, N |
| 2008 | Counting cocircuits and convex two-colourings is #P-complete | Noble, S D |
| 2008 | Laboratory measurement campaign of DVB-T signal with transmit delay diversity | Di Bari, R; Bard, M; Zhang, Y; Nasr, KM; Cosmas, J; Loo, KK; Nilavalan, R; Shirazi, H; Krishnapillai, K |
| 2008 | Automatic generation of test sequences form EFSM models using evolutionary algorithms | Kalaji, AS; Hierons, RM; Swift, S |
| 2008 | Evaluating existing set-top boxes versus transmit diversity schemes | Shirazi, H; Cosmas, J; Krishnapillai, K; Gledhill, J; Bard, M; Bradshaw, D |
| 2008 | Measurement results of transmit delay diversity for DVB-T networks | Di Bari, R |
| 2008 | Field trials and test results of portable DVB-T systems with transmit delay diversity | Di Bari, R; Bard, M; Cosmas, J; Nilavalan, R; Loo, KK; Shirazi, H; Krishnapillai, K |
| 2008 | Mobile integrated conditional access system | Shirazi, H; Cosmas, J; Cutts, D; Birch, N; Daly, P |
| 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 |
Collection's Items (Sorted by Submit Date in Descending order): 1081 to 1130 of 1283
