STORRE

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

Issue Date	Title	Author(s)	Editor(s)	Type
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
2005	Omnibus verification policies: A flexible, configurable approach to assertion-based software verification	Wilson, Thomas; Maharaj, Savi; Clark, Robert	Aichernig, BK; Beckert, B	Conference Paper
2015	Embedded Dynamic Improvement	Burles, Nathan; Swan, Jerry; Bowles, Edward; Brownlee, Alexander; Attila Kocsis, Zoltan; Veerapen, Nadarajen	Silva, S	Conference Paper
28-Jun-2014	A Comparison of Approaches to Stepwise Regression Analysis for Variables Sensitivity Measurements Used with a Multi-Objective Optimization Problem	Wang, Mengchao; Wright, Jonathan A; Brownlee, Alexander; Buswell, Richard	-	Conference Paper
2015	Empirical Evaluation of Pareto Efficient Multi-objective Regression Test Case Prioritisation	Epitropakis, Michael; Yoo, Shin; Harman, Mark; Burke, Edmund	-	Conference Paper
Dec-2015	Multi-dwelling Refurbishment Optimization: Problem Decomposition, Solution, and Trade-off Analysis	He, Miaomiao; Brownlee, Alexander; Wright, Jonathan A; Taylor, Simon	-	Conference Paper
2012	HyFlex: A benchmark framework for cross-domain heuristic search	Ochoa, Gabriela; Hyde, Matthew; Curtois, Tim; Vazquez-Rodriguez, Jose Antonio; Walker, James; Gendreau, Michel; Kendall, Graham; McCollum, Barry; Parkes, Andrew J; Petrovic, Sanja; Burke, Edmund	Hao, J-K; Middendorf, M	Conference Paper
Jul-2016	Metaheuristic Design Pattern: Surrogate Fitness Functions	Brownlee, Alexander; Woodward, John; Swan, Jerry	Silva, S	Conference Paper
2001	Similarity and diffeomorphism classification of S2 x R manifolds	Farkas, Jozsef Zoltan; Molnar, Emil	Kozma, L; Nagy, PT; Tamassy, L	Conference Paper

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