STORRE

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

Issue Date	Title	Author(s)	Editor(s)	Type
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
2005	Stability of equilibria of a non-linear population dynamical model	Farkas, Jozsef Zoltan	Dumortier F, F; Broer, H; Mawhin, J; Vanderbauwhede A, A; Lunel, SV	Conference Paper
2004	Expressing iterative properties logically in a symbolic setting	Shankland, Carron; Bryans, Jeremy; Morel, Lionel	Rattray, C; Maharaj, S; Shankland, C	Conference Paper
2011	Application Layer Multicast Extensions to RELOAD	Kolberg, Mario; Buford, John	-	Conference Paper
2011	Considering Complex Search Techniques in DHTs Under Churn	Furness, Jamie; Kolberg, Mario	-	Conference Paper
2001	Implementing a modal logic over data and processes using XTL	Bryans, Jeremy; Shankland, Carron	Kim, M; Chin, B; Kang, D; Lee, D	Conference Paper
2011	The Perils of Ignoring Data Suitability: The Suitability of Data Used to Train Neural Networks Deserves More Attention	Swingler, Kevin	-	Conference Paper
15-Mar-2016	Deconstructing the Big Valley Search Space Hypothesis	Ochoa, Gabriela; Veerapen, Nadarajen	Chicano, F; Hu, B; García-Sánchez, P	Conference Paper
2011	Aqua-Net: A flexible architectural framework for water management based on wireless sensor networks	Shah, Syed Ijlal; Fayed, Marwan; Dhodhi, Muhammad K; Mouftah, Hussein T	-	Conference Paper
2012	Vehicle routing and adaptive iterated local search within the HyFlex hyper-heuristic framework	Walker, James; Ochoa, Gabriela; Gendreau, Michel; Burke, Edmund	Hamadi, Y; Schoenauer, M	Conference Paper
2012	Adaptive evolutionary algorithms and extensions to the HyFlex hyper-heuristic framework	Ochoa, Gabriela; Walker, James; Hyde, Matthew; Curtois, Tim	Coello, Coello CA; Cutello, V; Deb K, K; Forrest, S; Nicosia, G; Pavone, M	Conference Paper
2015	Haiku - a Scala combinator toolkit for semi-automated composition of metaheuristics	Attila Kocsis, Zoltan; Brownlee, Alexander; Swan, Jerry; Senington, Richard	Barros, M; Labiche, Y	Conference Paper
Nov-2015	Multi-objective optimization for a large scale retrofit program for the housing stock in the North East of England	He, Miaomiao; Brownlee, Alexander; Lee, Timothy; Wright, Jonathan A; Taylor, Simon	-	Conference Paper

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