STORRE

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

Issue Date	Title	Author(s)	Editor(s)	Type
24-Oct-2017	Interplay of STDP and Dendritic Plasticity in a Hippocampal CA1 Pyramidal Neuron Model	Saudargiene, Ausra; Jackevicius, Rokus; Graham, Bruce	Lintas, A; Rovetta, S; Verschure, P; Villa, A	Conference Paper
2010	An integrated modelling approach for R5-X4 mutation and HAART therapy assessment	Lio, Pietro; Sorathiya, Anil; Bracciali, Andrea	-	Conference Poster
31-Dec-2017	Process Algebra with Layers: Multi-scale Integration Modelling applied to Cancer Therapy	Scott, Erin; Nicol, James; Coulter, Jonathan; Hoyle, Andrew; Shankland, Carron	Bracciali, A; Caravagna, G; Gilbert, D; Tagliaferri, R	Conference Paper
2016	Implementing Real-Time Transport Services over an Ossified Network	McQuistin, Stephen; Perkins, Colin; Fayed, Marwan	-	Conference Paper
29-Sep-2016	Learning latent features with infinite non-negative binary matrix tri-factorization	Yang, Xi; Huang, Kaizhu; Zhang, Rui; Hussain, Amir	Hirose, A; Ozawa, S; Doya, K; Ikeda, K; Lee, M; Liu, D	Conference Paper
2016	Automatically Designing More General Mutation Operators of Evolutionary Programming for Groups of Function Classes Using a Hyper-Heuristic	Hong, Libin; Drake, John; Woodward, John; Ozcan, Ender	-	Conference Paper
31-Aug-2016	Tunnelling Crossover Networks for the Asymmetric TSP	Veerapen, Nadarajen; Ochoa, Gabriela; Tinós, Renato; Whitley, Darrell	Handl, J; Hart, E; Lewis, PR; Lopez-Ibanez, M; Ochoa, G; Paechter, B	Conference Paper
2016	Connecting automatic parameter tuning, genetic programming as a hyper-heuristic and genetic improvement programming	Woodward, John; Johnson, Colin; Brownlee, Alexander	Friedrich, T	Conference Paper
2016	Additional Dimensions to the Study of Funnels in Combinatorial Landscapes	Ochoa, Gabriela; Veerapen, Nadarajen	-	Conference Paper
2016	GP vs GI: if you can't beat them, join them	Woodward, John; Johnson, Colin; Brownlee, Alexander	Friedrich, T	Conference Paper
2016	Evals is not enough: why we should report wall-clock time	Woodward, John; Brownlee, Alexander; Johnson, Colin	Friedrich, T	Conference Paper
2017	Visualising the Search Landscape of the Triangle Program	Langdon, William B; Veerapen, Nadarajen; Ochoa, Gabriela	McDermott, J; Castelli, M; Sekanina, L; Haasdijk, E; García-Sánchez, P	Conference Paper
Aug-2017	Improved Binary Similarity Measures for Software Modularization	Naseem, Rashid; Deris, Mustafa Bin Mat; Maqbool, Onaiza; Li, Jingpeng; Shahzad, Sarah; Shah, Habib	-	Journal Article
2016	Coarse-Grained Barrier Trees of Fitness Landscapes	Herrmann, Sebastian; Ochoa, Gabriela; Rothlauf, Franz	Handl, J; Hart, E; Lewis, PR; LopezIbanez, M; Ochoa, G; Paechter, B	Conference Paper
2009	Feature Interactions Between Internet Services and Telecommunication Services	Wu, Xiaotao; Buford, John; Dhara, Kishore; Krishnaswamy, Venky; Kolberg, Mario	-	Conference Paper
2002	Protocol Techniques for Testing Radiotherapy Accelerators	Turner, Kenneth J; Bing, Qian	Vardi, Moshe; Peled, Doron A	Conference Paper
Mar-2001	Formally-Based Testing of Radiotherapy Accelerators	Turner, Kenneth J	Procter, Robert N; Rouncefield, Mark	Conference Paper
1996	Specification and Animation of Reactive Systems	Turner, Kenneth J; McClenaghan, Ashley; Chan, Colin	Atalay, Volkan; Halici, Ugur; Inan, Kemal; Yalabik, Nese; Yazici, Adnan	Conference Paper
2001	Formally-Based Design Evaluation (extended version)	Turner, Kenneth J; He, Ji	Margaria, Tiziana; Melham, Thomas F	Conference Paper
Jul-2009	Verification and Validation of Agent Based Simulations using the VOMAS (Virtual Overlay Multi-agent System) Approach	Niazi, Muaz A K; Hussain, Amir; Kolberg, Mario	Baldoni, Matteo; Baroglio, Cristina; Bentahar, Jamal; Boella, Guido; Cossentino, Massimo; Dastani, Mehdi; Dunin-Keplicz Barbara, Barbara; Fortino, Giancarlo; Gleizes, Marie-Peirre; Leite, João; Mascardi, Viviana; Padget, Julian; Pavón, Juan; Polleres, Axel; Seghrouchni, Amal El	Conference Paper

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