Collection's Items (Sorted by Submit Date in Descending order): 381 to 400 of 429
Issue Date | Title | Author(s) | Editor(s) | Type |
Jun-1997 | Relating Services and Features in the Intelligent Network | Turner, Kenneth J | Kunstic, Marijan | Conference Paper |
Jun-2003 | A Policy Architecture for Enhancing and Controlling Features | Reiff-Marganiec, Stephan; Turner, Kenneth J | Amyot, Daniel; Logrippo, Luigi | Conference Paper |
Jun-2014 | Towards High-Performance Haplo- type Assembly for Future Sequencing | Aldinucci, Marco; Bracciali, Andrea; Pisanti, Nadia; Torquati, Massimo | - | Conference Paper |
Sep-2010 | Modelling Immunological Systems using PEPA: a preliminary report | Scott, Erin; Mahajan, Simmi M; Brand-Spencer, Timothy; Allen, Judith E; Norman, Rachel; Graham, Andrea L; Shankland, Carron | - | Conference Paper |
2017 | A hybrid model of attribute aggregation in federated identity management | Ferdous, Md Sadek; Chowdhury, Farida; Poet, Ron | Chang, V; Ramachandran, M; Walters, R; Wills, G | Conference Paper |
2012 | Investigating co-infection dynamics through evolution of Bio-PEPA model parameters: a combined process algebra and evolutionary computing approach | Marco, David; Scott, Erin; Cairns, David; Graham, Andrea; Allen, Judith E; Mahajan, Simmi M; Shankland, Carron | Gilbert, D; Heiner, M | Conference Paper |
2012 | Measles epidemics and PEPA: An exploration of historic disease dynamics using process algebra | Benkirane, Soufiene; Norman, Rachel; Scott, Erin; Shankland, Carron | Giannakopoulou, D; Mery, D | Conference Paper |
7-Sep-2016 | Evolutionary Algorithms with Linkage Information for Feature Selection in Brain Computer Interfaces | Adair, Jason; Brownlee, Alexander; Ochoa, Gabriela | Angelov, P; Gegov, A; Jayne, C; Shen, Q | Conference Paper |
2008 | Personalised Ambient Monitoring (PAM) of the mentally ill | James, Christopher J; Crowe, John A; Magill, Evan; Brailsford, Sally C; Amor, James D; Prociow, Pawel A; Blum, Jesse Michael; Mohiuddin, Syed Golam | Vander Sloten, J; Verdonck, P; Nyssen, M; Haueisen, J | Conference Paper |
2005 | Issues in reasoning about interaction networks in cells: Necessity of event ordering knowledge | Tran, Nam; Baral, Chitta; Shankland, Carron | - | Conference Paper |
2001 | An Adequate Logic for Full LOTOS | Calder, Muffy; Maharaj, Savi; Shankland, Carron | Oliveira, JN; Zave, P | Conference Paper |
2016 | The Multi-Funnel Structure of TSP Fitness Landscapes: A Visual Exploration | Ochoa, Gabriela; Veerapen, Nadarajen; Whitley, Darrell; Burke, Edmund | Bonnevay, S; Legrand, P; Monmarché, N; Lutton, E; Schoenauer, M | Conference Paper |
2001 | A symbolic semantics and bisimulation for Full LOTOS | Calder, Muffy; Shankland, Carron | Kim, M; Chin, B; Kang, S; Lee, D | Conference Paper |
2016 | TCP Goes to Hollywood | McQuistin, Stephen; Perkins, Colin; Fayed, Marwan | - | Conference Paper |
Oct-2010 | A neural network-based framework for the reconstruction of incomplete data sets | Gheyas, Iffat A; Smith, Leslie | - | Conference Paper |
2015 | High-Performance Haplotype Assembly | Aldinucci, Marco; Bracciali, Andrea; Marschall, Tobias; Patterson, Murray; Pisanti, Nadia; Torquati, Massimo | Serio, CDI; Lio, P; Nonis, A; Tagliaferri, R | Conference Paper |
Apr-1988 | Constraint-Oriented Style in LOTOS | Turner, Kenneth J | - | Conference Paper |
2009 | Studying the effects of adding spatiality to a process algebra model | Maharaj, Savi; McCaig, Chris; Shankland, Carron | Clark, A; Guerriero, ML | Conference Paper |
1994 | Formal specification of QoS properties | Donaldson, A John M; Turner, Kenneth J | Meer, Jan de; Bochmann, Gregor von; Vogel, Andreas | Conference Paper |
24-Jun-2014 | Applying Global And Local SA In Identification Of Variables Importance With The Use Of Multi-Objective Optimization | Wang, Mengchao; Wright, Jonathan A; Brownlee, Alexander; Buswell, Richard | Malki-Epsthein, L; Spataru, C; Halburd, LM; Mumovic, D | Conference Paper |
Collection's Items (Sorted by Submit Date in Descending order): 381 to 400 of 429