STORRE

Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)	Editor(s)	Type
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
Jun-2013	Mixed order associative networks for function approximation, optimisation and sampling	Swingler, Kevin; Smith, Leslie	-	Conference Paper
2013	Music Genre Classification: A Semi-supervised Approach	Poria, Soujanya; Gelbukh, Alexander; Hussain, Amir; Bandyopadhyay, Sivaji; Howard, Newton	Carrasco-Ochoa, JA; Martinez-Trinidad, JF; Rodriguez, JS; di Baja, GS	Conference Paper
2003	Combating infinite state using ergo	Robinson, Peter; Shankland, Carron	Konig, H; Heiner, M; Wolisz, A	Conference Paper

This collection contains electronic copies of conference papers and proceedings produced by Computing Science and Mathematics staff.