Collection's Items (Sorted by Submit Date in Descending order): 421 to 434 of 434
| Issue Date | Title | Author(s) | Editor(s) | Type |
| 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 |
| 28-Jul-2015 | Object-Oriented Genetic Improvement for Improved Energy Consumption in Google Guava | Burles, Nathan; Bowles, Edward; Brownlee, Alexander; Attila Kocsis, Zoltan; Swan, Jerry; Veerapen, Nadarajen | Barros, M; Labiche, Y | Conference Paper |
| 2010 | A Taxonomy of Causality-Based Biological Properties | Bodei, Chiara; Bracciali, Andrea; Chiarugi, Davide; Gori, Roberta | Merelli, E; Quaglia, P | Conference Paper |
| 2015 | A Multi-Objective Simulated Annealing for Bus Driver Rostering | Peng, Kunkun; Shen, Yindong; Li, Jingpeng | Gong, M; Pan, L; Song, T; Tang, K; Zhang, X | Conference Paper |
| 2014 | Using process algebra to model radiation induced bystander effects | Lintott, Rachel; McMahon, Stephen; Prise, Kevin; Addie-Lagorio, Celine; Shankland, Carron | Mendes, P; Dada, JO; Smallbone, K | Conference Paper |
| Dec-2015 | Integrating Twitter Traffic Information with Kalman Filter Models for Public Transportation Vehicle Arrival Time Prediction | Abidin, Ahmad Faisal; Kolberg, Mario; Hussain, Amir | Trovati, M; Hill, R; Anjum, A; Zhu, SY; Liu, L | Part of book or chapter of book |
| 2012 | Neurobiologically-inspired soft switching control of autonomous vehicles | Yang, Erfu; Hussain, Amir; Gurney, Kevin | Zhang, H; Hussain, A; Liu, D; Wang, Z | Part of book or chapter of book |
Collection's Items (Sorted by Submit Date in Descending order): 421 to 434 of 434
