Showing 1601 to 1700 of 2420
Conference Paper (unpublished)
Woodward J (2010) The Use of Foreign Language Teaching Techniques in the Computer Science Laboratory to Support Oral Presentation and Group Work. The Second International Conference on English for Specific Purposes in Asia, Ningbo, China, 2010.
Conference Paper (published)
Artificial life, the second law of thermodynamics, and Kolmogorov complexity
Woodward J & Farjudian A (2010) Artificial life, the second law of thermodynamics, and Kolmogorov complexity. In: 2010 IEEE International Conference on Progress in Informatics and Computing (PIC), Volume 2. 2010 IEEE International Conference on Progress in Informatics and Computing (PIC), Shanghai, 10.12.2010-12.12.2010. Piscataway, NJ: IEEE, pp. 1266-1269. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5687924&abstractAccess=no&userType=inst; https://doi.org/10.1109/PIC.2010.5687924
Article
Modelling and quantifying the effect of heterogeneity in soil physical conditions on fungal growth
Pajor R, Falconer RE, Hapca SM & Otten W (2010) Modelling and quantifying the effect of heterogeneity in soil physical conditions on fungal growth. Biogeosciences, 7 (11), pp. 3731-3740. https://doi.org/10.5194/bg-7-3731-2010
Conference Paper (published)
The Necessity of meta bias in search algorithms
Woodward J (2010) The Necessity of meta bias in search algorithms. In: 2010 International Conference on Computational Intelligence and Software Engineering, CiSE 2010. 2010 International Conference on Computational Intelligence and Software Engineering (CiSE), Wuhan, 10.12.2010-12.12.2010. Piscataway, NJ: IEEE. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5677120&abstractAccess=no&userType=inst; https://doi.org/10.1109/CISE.2010.5677120
Book Chapter
DEUM – A Fully Multivariate EDA Based on Markov Networks
Shakya S, Brownlee A, McCall J, Fournier FA & Owusu G (2010) DEUM – A Fully Multivariate EDA Based on Markov Networks. In: Chen Y (ed.) Exploitation of Linkage Learning in Evolutionary Algorithms. Evolutionary Learning and Optimization, 3. Berlin Heidelberg: Springer, pp. 71-93. http://link.springer.com/chapter/10.1007/978-3-642-12834-9_4
Conference Paper (published)
Using a Markov network as a surrogate fitness function in a genetic algorithm
Brownlee A, Regnier-Coudert O, McCall J & Massie S (2010) Using a Markov network as a surrogate fitness function in a genetic algorithm. In: 2010 IEEE World Congress on Computational Intelligence, WCCI 2010 - 2010 IEEE Congress on Evolutionary Computation, CEC 2010. 2010 IEEE Congress on Evolutionary Computation (CEC), Barcelon, 18.07.2010-23.07.2010. Piscataway, NJ: IEEE. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5586548&abstractAccess=no&userType=inst; https://doi.org/10.1109/CEC.2010.5586548
Conference Paper (published)
SenticNet: A publicly available semantic resource for opinion mining
Cambria E, Speer R, Havasi C & Hussain A (2010) SenticNet: A publicly available semantic resource for opinion mining. In: Commonsense Knowledge: Papers from the AAAI Fall Symposium. Fall Symposium Series Technical Reports, FS-10-02. 2010 AAAI Fall Symposium, Arlington, VA, USA, 11.11.2010-13.11.2010. Menlo Park, CA, USA: AAAI Press, pp. 14-18. http://www.aaai.org/Press/Reports/Symposia/Fall/fall-reports.php
Book Chapter
SenticSpace: Visualizing opinions and sentiments in a multi-dimensional vector space
Cambria E, Hussain A, Havasi C & Eckl C (2010) SenticSpace: Visualizing opinions and sentiments in a multi-dimensional vector space. In: Setchi R, Jordanov I, Howlett R & Jain L (eds.) Knowledge-Based and Intelligent Information and gineering Systems: 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part IV. Lecture Notes in Computer Science, 6279. Berlin Heidelberg: Springer, pp. 385-393. http://link.springer.com/chapter/10.1007/978-3-642-15384-6_41#
Book Chapter
Bracciali A (2010) Modelling Infection Dynamics on Multi-cores: Exploring Parallel Efficient Simulations for the Stochastic Modelling of Bio Systems. In: Monfardini S (ed.) HPC-Europa 2 Science and Supercomputing in Europe - research highlights 2010. HPC-Europa 2 Science and Supercomputing in Europe - research highlights. Bologna: CINECA Consorzio Interuniversitario, p. 113. http://www.hpc-europa.eu/?q=node/119
Authored Book
An Introduction to the Theory of Graph Spectra
Cvetkovic D, Rowlinson P & Simic SK (2010) An Introduction to the Theory of Graph Spectra. London Mathematical Society Student Texts, 75. Cambridge: Cambridge University Press.
Conference Paper (published)
Neuromorphic Systems: past, present and future
Smith L (2010) Neuromorphic Systems: past, present and future. In: Hussain A, Aleksander I, Smith LS, Barros AK, Chrisley R & Cutsuridis V (eds.) Brain Inspired Cognitive Systems 2008. Advances in Experimental Medicine and Biology, Volume 657, Part 2, 657, part 2. Brain Inspired Cognitive Systems 2008, (BICS 2008), Sao Luis, Brazil, 24.06.2008-27.06.2008. New York: Springer, pp. 167-182. http://www.icsc-naiso.org/conferences/bics2008/bics_2008.html; https://doi.org/10.1007/978-0-387-79100-5_9
Article
Hierarchical size-structured populations: The linearized semigroup approach
Farkas JZ & Hagen T (2010) Hierarchical size-structured populations: The linearized semigroup approach. Dynamics of Continuous, Discrete and Impulsive Systems Series A: Mathematical Analysis, 17 (5), pp. 639-657. http://www.watsci.org/A/index.html
Article
Emotion as a Significant Change in Neural Activity
Parussel K (2010) Emotion as a Significant Change in Neural Activity. International Journal of Synthetic Emotions, 1 (1), pp. 51-67. https://doi.org/10.4018/jse.2010101604
Article
An integrated modelling approach for R5-X4 mutation and HAART therapy assessment
Sorathiya A, Bracciali A & Lio P (2010) An integrated modelling approach for R5-X4 mutation and HAART therapy assessment. Swarm Intelligence, 4 (4), pp. 319-340. https://doi.org/10.1007/s11721-010-0046-4
Conference Paper (published)
A communications-enabled collaboration platform: work in progress
Buford J, Dhara K, Wu X, Krishnaswamy V & Kolberg M (2010) A communications-enabled collaboration platform: work in progress. In: Carle G, Reiser H, Camarillo G & Gurbani VK (eds.) IPTComm '10 Principles, Systems and Applications of IP Telecommunications. IPTComm. ACM IPTComm 2010, Munich, Germany, 02.08.2010-03.08.2010. New York: Association for Computing Machinery (ACM), pp. 155-163. http://portal.acm.org/citation.cfm?id=1941552; https://doi.org/10.1145/1941530.1941552
Article
On a size-structured two-phase population model with infinite states-at-birth
Farkas JZ & Hinow P (2010) On a size-structured two-phase population model with infinite states-at-birth. Positivity, 14 (3), pp. 501-514. https://doi.org/10.1007/s11117-009-0033-4
Conference Paper (published)
Stay at Home, Wash Your Hands: Epidemic Dynamics with Awareness of Infection
Kleczkowski A & Maharaj S (2010) Stay at Home, Wash Your Hands: Epidemic Dynamics with Awareness of Infection. In: SummerSim '10 2010 Summer Simulation Multiconference. Summer Simulation Multiconference, Ottawa, Canada, 01.07.2010. San Diego: Society for Computer Simulation International, pp. 141-146. http://dl.acm.org/citation.cfm?id=1999432
Software
SMILI - Development of a systematic Intrapartum observation Instrument
Swingler K & Ross-Davie M (2010) SMILI - Development of a systematic Intrapartum observation Instrument. (1.0) 2010.
Conference Paper (published)
A scalable fluid flow process algebraic approach to emergency egress analysis
Massink M, Latella D, Harrison MD & Bracciali A (2010) A scalable fluid flow process algebraic approach to emergency egress analysis. In: Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference Proceedings. 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010), Pisa, Italy, 13.09.2010-18.09.2010. Los Alamitos, CA, USA: IEEE, pp. 169-180. http://www.sefm2010.isti.cnr.it/; https://doi.org/10.1109/SEFM.2010.22
Poster
An integrated modelling approach for R5-X4 mutation and HAART therapy assessment
Lio P, Sorathiya A & Bracciali A (2010) An integrated modelling approach for R5-X4 mutation and HAART therapy assessment. International Conference on Systems Biology, Edinburgh, 10.10.2010-15.10.2010. http://www.issb.org/conferences.html
Conference Paper (published)
The Design and Evaluation of Personalised Ambient Mental Health Monitors
Blum JM & Magill E (2010) The Design and Evaluation of Personalised Ambient Mental Health Monitors. In: 7th IEEE Consumer Communications and Networking Conference (CCNC), 2010. Consumer Communications and Networking Conference (CCNC) 7th Annual IEEE Consumer Communications and Networking Conference, Las Vegas, Nevada, 09.01.2010-12.01.2010. Institute of Electrical and Electronics Engineers (IEEE), pp. 1-5. https://doi.org/10.1109/CCNC.2010.5421748
Conference Paper (published)
Feature Interaction Analysis for Collaboration Spaces with Communication Endpoints
Kolberg M, Buford J, Dhara K, Wu X & Krishnaswamy V (2010) Feature Interaction Analysis for Collaboration Spaces with Communication Endpoints. In: IEEE Global Telecommunications Conference GLOBECOM 2010, 2010. IEEE Global Telecommunications Conference GLOBECOM. IEEE Globecom 2010, 06.12.2010-10.12.2010. Hoboken, NJ: Institute of Electrical and Electronics Engineers (IEEE), pp. 1-6. http://ieeexplore.ieee.org/xpl/tocresult.jsp?sortType%3Dasc_p_Sequence%26filter%3DAND%28p_IS_Number%3A5683069%29&searchWithin=Feature%20Interaction%20Analysis%20for%20Collaboration%20Spaces%20with%20Communication%20Endpoints&pageNumber=1&resultAction=REFIN; https://doi.org/10.1109/GLOCOM.2010.5683537
Article
Microelectromechanical Systems for Biomimetical Applications
Latif R, Mastropaolo E, Bunting A, Cheung R, Koickal TJ, Hamilton A, Newton M & Smith L (2010) Microelectromechanical Systems for Biomimetical Applications. Journal of Vacuum Science and Technology B, 28 (6), pp. N1-N6. https://doi.org/10.1116/1.3504892
Article
Structured and unstructured continuous models for Wolbachia infections
Farkas JZ & Hinow P (2010) Structured and unstructured continuous models for Wolbachia infections. Bulletin of Mathematical Biology, 72 (8), pp. 2067-2088. http://www.springerlink.com/content/0092-8240; https://doi.org/10.1007/s11538-010-9528-1
Conference Paper (published)
Experience of Using OWL Ontologies for Automated Inference of Routine Pre-operative Screening Tests
Bouamrane M, Rector A & Hurrell M (2010) Experience of Using OWL Ontologies for Automated Inference of Routine Pre-operative Screening Tests. In: Patel-Schneider PF, Pan Y, Hitzler P, Mika P, Zhang L, Pan JZ, Horrocks I & Glimm B (eds.) The Semantic Web – ISWC 2010. Lecture Notes in Computer Science (LNCS), 6497. 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, 07.11.2010-11.11.2010. Berlin: Springer Berlin Heidelberg, pp. 50-65. https://doi.org/10.1007/978-3-642-17749-1_4
Article
Preface for the special volume on Computational Intelligence in Scheduling
Kendall G, Tan KC, Burke E & Smith S (2010) Preface for the special volume on Computational Intelligence in Scheduling. Annals of Operations Research, 180 (1), pp. 1-2. https://doi.org/10.1007/s10479-009-0582-8
Article
Modeling and optimization of combined cytostatic and cytotoxic cancer chemotherapy
Villasana M, Ochoa G & Aguilar S (2010) Modeling and optimization of combined cytostatic and cytotoxic cancer chemotherapy. Artificial Intelligence in Medicine, 50 (3), pp. 163-173. https://doi.org/10.1016/j.artmed.2010.05.009
Article
Hybrid variable neighbourhood approaches to university exam timetabling
Burke E, Eckersley AJ, McCollum B, Petrovic S & Qu R (2010) Hybrid variable neighbourhood approaches to university exam timetabling. European Journal of Operational Research, 206 (1), pp. 46-53. https://doi.org/10.1016/j.ejor.2010.01.044
Article
Shah AA, Patton M, Chishty WH & Hussain A (2010) Analysis of elevated liver enzymes in an acute medical setting: Jaundice may indicate increased survival in elderly patients with bacterial sepsis. Saudi Journal of Gastroenterology, 16 (4), pp. 260-263. https://doi.org/10.4103/1319-3767.70609
Article
Spectral upper bounds for the order of a k-regular induced subgraph
Cardoso DM & Rowlinson P (2010) Spectral upper bounds for the order of a k-regular induced subgraph. Linear Algebra and Its Applications, 433 (5), pp. 1031-1037. https://doi.org/10.1016/j.laa.2010.04.029
Conference Paper (published)
A neural network-based framework for the reconstruction of incomplete data sets
Gheyas IA & Smith L (2010) A neural network-based framework for the reconstruction of incomplete data sets. In: volume 73. 10th Brazilian Symposium on Neural Networks (SBRN2008), Salvador, Brazil, 26.10.2008-30.10.2008. Elsevier, pp. 3039-3065. https://doi.org/10.1016/j.neucom.2010.06.021
Article
Preface to special volume: Cutting, Packing, Layout and Space Allocation
Kendall G, Daniels K & Burke E (2010) Preface to special volume: Cutting, Packing, Layout and Space Allocation. Annals of Operations Research, 179 (1), pp. 1-3. https://doi.org/10.1007/s10479-010-0766-2
Article
A supernodal formulation of vertex colouring with applications in course timetabling
Burke E, Maracek J, Parkes AJ & Rudova H (2010) A supernodal formulation of vertex colouring with applications in course timetabling. Annals of Operations Research, 179 (1), pp. 105-130. https://doi.org/10.1007/s10479-010-0716-z
Conference Paper (unpublished)
Modelling Immunological Systems using PEPA: a preliminary report
Scott E, Mahajan SM, Brand-Spencer T, Allen JE, Norman R, Graham AL & Shankland C (2010) Modelling Immunological Systems using PEPA: a preliminary report. 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010), London, UK, 06.09.2010-07.09.2010. http://aesop.doc.ic.ac.uk/conferences/pasta/2010
Article
Pathogen exclusion from eco-epidemiological systems
Greenman J & Hoyle A (2010) Pathogen exclusion from eco-epidemiological systems. American Naturalist, 176 (2), pp. 149-158. https://doi.org/10.1086/653669
Article
A shift sequence based approach for nurse scheduling and a new benchmark dataset
Brucker P, Burke E, Curtois T, Qu R & Vanden Berghe G (2010) A shift sequence based approach for nurse scheduling and a new benchmark dataset. Journal of Heuristics, 16 (4), pp. 559-573. https://doi.org/10.1007/s10732-008-9099-6
Article
Irregular packing using the line and arc no-fit polygon
Burke E, Hellier RSR, Kendall G & Whitwell G (2010) Irregular packing using the line and arc no-fit polygon. Operations Research, 58 (4-Part-1), pp. 948-970. https://doi.org/10.1287/opre.1090.0770
Article
A hybrid evolutionary approach to the nurse rostering problem
Bai R, Burke E, Kendall G, Li J & McCollum B (2010) A hybrid evolutionary approach to the nurse rostering problem. IEEE Transactions on Evolutionary Computation, 14 (4), pp. 580-590. https://doi.org/10.1109/TEVC.2009.2033583
Article
University space planning and space-type profiles
Beyrouthy C, Burke E, McCollum B, McMullan P & Parkes AJ (2010) University space planning and space-type profiles. Journal of Scheduling, 13 (4), pp. 363-374. https://doi.org/10.1007/s10951-010-0178-9
Article
TSAT allocation at London Heathrow: The relationship between slot compliance, throughput and equity
Atkin JAD, Burke E & Greenwood JS (2010) TSAT allocation at London Heathrow: The relationship between slot compliance, throughput and equity. Public Transport, 2 (3), pp. 173-198. https://doi.org/10.1007/s12469-010-0029-2
Technical Report
An Analysis of Planarity in Face-Routing
Fayed M, Cairns D & Mouftah HT (2010) An Analysis of Planarity in Face-Routing. Technical Report, CSM-184. Department of Computing Science and Mathematics, University of Stirling.
Article
Warner G, Blum JM, Jones S, Lambert P, Turner KJ, Tan KLL, Dawson A & Bell D (2010) A Social Science Data Fusion Tool and the Data Management through e-Social Science (DAMES) Infrastructure. Philosophical Transactions of the Royal Society. A: Mathematical and Physical Sciences, 368 (1925), pp. 3859-3873. https://doi.org/10.1098/rsta.2010.0159
Article
Aldinucci M, Bracciali A & Lio P (2010) Formal Synthetic Immunology. ERCIM News, 82, pp. 40-41. http://ercim-news.ercim.eu/en82
Authored Book
Woodward J (2010) Program Induction, Complexity and Occam's Razor: The Induction of Computable Functions, Modularity and No Free Lunch Theorems. Saarbrucken, Germany: LAP Lambert Academic Publishing. https://www.lap-publishing.com/catalog/details/store/gb/book/978-3-8383-8934-9/program-induction,-complexity-and-occam-s-razor?search=program induction.
Book Chapter
Turner KJ (2010) Device services for the home. In: Drira K, Kacem AH & Jmaiel M (eds.) 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), 2010. California: IEEE Computer Society, pp. 41-48. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5536831; https://doi.org/10.1109/NOTERE.2010.5536831
Article
On multiple eigenvalues of trees
Rowlinson P (2010) On multiple eigenvalues of trees. Linear Algebra and Its Applications, 432 (11), pp. 3007-3011. https://doi.org/10.1016/j.laa.2010.01.003
Article
Comparative Analysis of Arabic Vowels using Formants and an Automatic Speech Recognition System
Alotaibi YA & Hussain A (2010) Comparative Analysis of Arabic Vowels using Formants and an Automatic Speech Recognition System. International Journal of Signal Processing, Image Processing and Pattern Recognition, 3 (2), pp. 11-22. http://www.sersc.org/journals/IJSIP/vol3_no2/2.pdf
Article
Burke E, Li J & Qu R (2010) A hybrid model of integer programming and variable neighbourhood search for highly-constrained nurse rostering problems. European Journal of Operational Research, 203 (2), pp. 484-493. https://doi.org/10.1016/j.ejor.2009.07.036
Article
A multi-objective approach for robust airline scheduling
Burke E, De Causmaecker P, De Maere G, Mulder J, Paelinck M & Vanden Berghe G (2010) A multi-objective approach for robust airline scheduling. Computers and Operations Research, 37 (5), pp. 822-832. https://doi.org/10.1016/j.cor.2009.03.026
Article
Popenda M, Szachniuk M, Blazewicz M, Wasik S, Burke E, Blazewicz J & Adamiak RW (2010) RNA FRABASE 2.0: An advanced web-accessible database with the capacity to search the three-dimensional fragments within RNA structures. BMC Bioinformatics, 11, Art. No.: 231. https://doi.org/10.1186/1471-2105-11-231
Conference Paper (published)
Turner KJ (2010) Device Services for The Home. In: Drira K, Kacem A & Jmaiel M (eds.) 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), 2010. 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), 2010, Tozeur, Tunisia, 31.05.2010-02.06.2010. Los Alamitos, California, USA: IEEE Computer Society, pp. 41-48. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5536831; https://doi.org/10.1109/NOTERE.2010.5536831
Authored Book
Kirpichnikova A (2010) Inverse Problem for Anisotropic Riemannian Polyhedra: Inverse Boundary Spectral Problem for Piecewise Smooth Anisotropic Riemannian Polyhedra: Uniqueness. Berlin: VDE Verlag. https://www.omniscriptum.com/
Conference Paper (published)
Verification and Validation Of An Agent-Based Forest Fire Simulation Model
Niazi MAK, Siddique Q, Hussain A & Kolberg M (2010) Verification and Validation Of An Agent-Based Forest Fire Simulation Model. In: SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference. Agent-Directed Simulation Symposium at the Spring Simulation Multiconference 2010, Orlando, Florida USA, 11.04.2010-15.04.2010. New York, NY: Association for Computing Machinery (ACM) / SCS Society for Modeling and Simulation International, pp. 142-149. http://dl.acm.org/citation.cfm?doid=1878537.1878539; https://doi.org/10.1145/1878537.1878539
Article
A new spike detection algorithm for extracellular neural recordings
Shahid S, Walker J & Smith L (2010) A new spike detection algorithm for extracellular neural recordings. IEEE Transactions on Biomedical Engineering, 57 (4), pp. 853-866. https://doi.org/10.1109/TBME.2009.2026734
Article
Star complements in regular graphs: Old and new results
Rowlinson P & Tayfeh-Rezaie B (2010) Star complements in regular graphs: Old and new results. Linear Algebra and Its Applications, 432 (9), pp. 2230-2242. https://doi.org/10.1016/j.laa.2009.04.022
Article
Multiple Description Transform Image Coder Using Correlating Transforms
Khelil K, Hussain A, Berrezzek F & Djebbari A (2010) Multiple Description Transform Image Coder Using Correlating Transforms. International Review on Computers and Software, 5 (2), pp. 150-155. http://www.praiseworthyprize.com/IRECOS.htm
Article
Decomposition, reformulation, and diving in university course timetabling
Burke E, Maracek J, Parkes AJ & Rudova H (2010) Decomposition, reformulation, and diving in university course timetabling. Computers and Operations Research, 37 (3), pp. 582-597. https://doi.org/10.1016/j.cor.2009.02.023
Article
Encoding and retrieval in a model of the hippocampal CA1 microcircuit
Cutsuridis V, Cobb SR & Graham B (2010) Encoding and retrieval in a model of the hippocampal CA1 microcircuit. Hippocampus, 20 (3), pp. 423-446. https://doi.org/10.1002/hipo.20661
Book Chapter
Associative Memory Models of Hippocampal Areas CA1 and CA3
Graham B, Cutsuridis V & Hunter R (2010) Associative Memory Models of Hippocampal Areas CA1 and CA3. In: Cutsuridis V, Graham B, Cobb S & Vida I (eds.) Hippocampal Microcircuits: A Computational Modeler's Resource Book. First ed. Springer Series in Computational Neuroscience, 5. New York, USA: Springer, pp. 459-494. http://www.springer.com/biomed/neuroscience/book/978-1-4419-0995-4; https://doi.org/10.1007/978-1-4419-0996-1_16
Article
Editorial: Advances in Complex Control Systems Theory and Applications
Hussain A, Wang H & Nobakhti A (2010) Editorial: Advances in Complex Control Systems Theory and Applications. IET Control Theory and Applications, 4 (2), pp. 173-175. https://doi.org/10.1049/iet-cta.2010.9006
Article
Kruitbos LM, Heritage S, Hapca S & Wilson MJ (2010) The influence of habitat quality on the foraging strategies of the entomopathogenic nematodes Steinernema carpocapsae and Heterorhabditis megidis. Parasitology, 137 (2), pp. 303-309. https://doi.org/10.1017/s0031182009991326
Conference Paper (published)
The connectivity of NK landscapes' basins: A network analysis
Verel S, Ochoa G & Tomassini M (2010) The connectivity of NK landscapes' basins: A network analysis. In: Bullock S, Noble J, Watson R & Bedau M (eds.) Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. Artificial Life XI: Eleventh International Conference on the Simulation and Synthesis of Living Systems, Winchester, UK, 05.08.2008-08.08.2008. Cambridge, MA: MIT Press, pp. 648-655. http://mitpress.mit.edu/books/artificial-life-xi
Edited Book
Hippocampal Microcircuits: A Computational Modeler's Resource Book
Cutsuridis V, Graham B, Cobb SR & Vida I (eds.) (2010) Hippocampal Microcircuits: A Computational Modeler's Resource Book. Springer Series in Computational Neuroscience, 5. New York: Springer. http://link.springer.com/book/10.1007/978-1-4419-0996-1/page/1
Book Chapter
A Component Framework for Telecare and Home Automation
Maternaghan C & Turner KJ (2010) A Component Framework for Telecare and Home Automation. In: Balandin S, Matuszewksi M, Ott J & Chan G (eds.) 7th IEEE Consumer Communications and Networking Conference (CCNC), 2010. Piscataway, New Jersey: Institute of Electrical and Electronics Engineers (IEEE), pp. 1-5. https://doi.org/10.1109/CCNC.2010.5421582
Article
Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy
Sorathiya A, Bracciali A & Lio P (2010) Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy. BMC Bioinformatics, 11 (Supplement 1), p. S67. http://www.biomedcentral.com/1471-2105/11/S1/S67; https://doi.org/10.1186/1471-2105-11-S1-S67
Article
Feature subset selection in large dimensionality domains
Gheyas IA & Smith L (2010) Feature subset selection in large dimensionality domains. Pattern Recognition, 43 (1), pp. 5-13. http://www.sciencedirect.com/science/journal/00313203; https://doi.org/10.1016/j.patcog.2009.06.009
Conference Paper (published)
An XCAST Multicast Implementation for the OverSim Simulator
Kolberg M & Buford J (2010) An XCAST Multicast Implementation for the OverSim Simulator. In: 7th IEEE Consumer Communications and Networking Conference (CCNC), 2010. IEEE Consumer Communications and Networking Conference (CCNC) IEEE Consumer Communications and Networking Conference (CCNC), Las Vegas, Nevada, 09.01.2010-12.01.2010. Hoboken, NJ: Institute of Electrical and Electronics Engineers (IEEE), pp. 1-5. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5421604; https://doi.org/10.1109/CCNC.2010.5421604
Article
Sexually antagonistic co-evolution: a model and an empirical test
Hoyle A & Gilburn A (2010) Sexually antagonistic co-evolution: a model and an empirical test. Journal of Evolutionary Biology, 23 (1), pp. 166-174. https://doi.org/10.1111/j.1420-9101.2009.01886.x
Article
Semigroup analysis of structured parasite populations
Farkas JZ, Green D & Hinow P (2010) Semigroup analysis of structured parasite populations. Mathematical Modelling of Natural Phenomena, 5 (3), pp. 94-114. http://www.mmnp-journal.org/action/displayJournal?jid=MNP; https://doi.org/10.1051/mmnp/20105307
Conference Paper (published)
Siddiqa A, Niazi MAK, Bokhari H, Hussain A, Akram N, Shaheen S, Ahmed F, Iqbal S & Mustafa F (2009) A new hybrid agent-based modeling & simulation decision support system for breast cancer data analysis. In: International Conference on Information and Communication Technologies, 2009. ICICT '09.. International Conference on Information and Communication Technologies. IEEE ICICT, IBA, Karachi, Pakistan, 15.08.2009-16.08.2009. Hoboken, NJ: Institute of Electrical and Electronics Engineers (IEEE), pp. 134-139. http://icict.iba.edu.pk/icict/icict2009/; https://doi.org/10.1109/ICICT.2009.5267202
Book Chapter
Goals and Conflicts in Telephony
Turner KJ & Campbell GA (2009) Goals and Conflicts in Telephony. In: Nakamura M & Reiff-Marganiec S (eds.) Feature Interactions in Software and Communication Systems X. Proceedings of the International Workshop on Feature Interactions. Amsterdam: IOS Press, pp. 3-18. http://www.iospress.nl/book/feature-interactions-in-software-and-communication-systems-x/; https://doi.org/10.3233/978-1-60750-014-8-3
Book Chapter
An Adjectival Interface for Procedural Content Generation
Hultquist C, Gain J & Cairns D (2009) An Adjectival Interface for Procedural Content Generation. In: Plemenos D & Miaoulis G (eds.) Intelligent Computer Graphics 2009. Studies in Computational Intelligence, Volume 240. Berlin: Springer, pp. 143-165. http://www.springer.com/engineering/computational+intelligence+and+complexity/book/978-3-642-03451-0; https://doi.org/10.1007/978-3-642-03452-7_8
Conference Paper (published)
Turner KJ & Campbell GA (2009) Goals for Telecare Networks. In: Obaid A (ed.) Proc. 9th International Conference on New Technologies for Distributed Systems. Montreal, Canada: Universite de Quebec a Montreal, pp. 270-275. http://www.cs.stir.ac.uk/~kjt/research/pub-comms.html
Conference Paper (published)
Feature Interactions Between Internet Services and Telecommunication Services
Wu X, Buford J, Dhara K, Krishnaswamy V & Kolberg M (2009) Feature Interactions Between Internet Services and Telecommunication Services. In: Proceedings of the 3rd International Conference on Principles, Systems and Applications of IP Telecommunications, IPTComm '09. ACM IPTComm 2009, Atlanta, Georgia, 07.07.2009-08.07.2009. New York: Association for Computing Machinery (ACM). http://iptcomm.org/iptcomm2009/; https://doi.org/10.1145/1595637.1595651
Conference Paper (published)
Personalised Ambient Monitoring (PAM) for People with Bipolar Disorder
Prociow PA, Crowe JA, Brailsford SC, James CJ, Magill E, Amor JD, Blum JM & Mohiuddin SG (2009) Personalised Ambient Monitoring (PAM) for People with Bipolar Disorder. In: Jordanova M & Lievens F (eds.) Global Telemedicine and eHealth Updates: Knowledge Resources. Global Telemedicine and eHealth Updates: Knowledge Resources, Volume 2. International eHealth, Telemedicine and Health ICT Forum For Education, Networking and Business (MedETel), Luxembourg, 01.04.2009-03.04.2009. Luxembourg: Luxexpo, pp. 172-175. http://www.medetel.lu/index.php?rub=proceedings&page=info
Conference Paper (published)
A Framework for Mobile Applications based on a structured P2P Overlay
Kolberg M, Wilson M, Blunn M, Magill E & Burtwistle P (2009) A Framework for Mobile Applications based on a structured P2P Overlay. In: 6th IEEE Consumer Communications and Networking Conference, 2009. CCNC 2009. Consumer Communications and Networking Conference. 6th Consumer Communications and Networking Conference (CCNC 2009), Las Vegas, 11.01.2009-13.01.2009. Hoboken, NJ: Institute of Electrical and Electronics Engineers (IEEE), pp. 1-2. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4785019; https://doi.org/10.1109/CCNC.2009.4785019
Conference Paper (published)
Dynamically Programmable m-Psychiatry System For Self-Management of Bipolar Disorder
Blum JM & Magill E (2009) Dynamically Programmable m-Psychiatry System For Self-Management of Bipolar Disorder. In: James CJ, Demanuele Charmaine C & Jimenez-Gonzalez A (eds.) Proceedings of the 5th UK & Republic of Ireland Postgraduate Conference in Biomedical Engineering and Medical Physics, PGBIOMED09. Postgraduate Conference in Biomedical Engineering & Medical Physics (PGBioMed), Magdalen College, Oxford University, 12.07.2009-14.07.2009. Oxford: IEEE UKRI EMB Student Club, pp. 21-22. http://ewh.ieee.org/sb/ukri/embs/pgbiomed09/programme.html
Conference Paper (published)
Improved Continuous Approximation of PEPA Models through Epidemiological Examples
Benkirane S, Hillston J, McCaig C, Norman R & Shankland C (2009) Improved Continuous Approximation of PEPA Models through Epidemiological Examples. In: volume 229. From Biology To Concurrency and back (FBTC 2008), A Satellite Workshop of ICALP 2008, 12.07.2008-12.07.2008. Elsevier, pp. 59-74. https://doi.org/10.1016/j.entcs.2009.02.005
Article
Brain inspired cognitive systems (BICS)
Hussain A, Aleksander I, Smith L & Chrisley R (2009) Brain inspired cognitive systems (BICS). Neurocomputing, 72 (4-6), pp. 683-684. https://doi.org/10.1016/j.neucom.2008.10.007
Book Chapter
Formal Models of the Calyx of Held
Bracciali A, Brunelli M, Cataldo E & Degano P (2009) Formal Models of the Calyx of Held. In: Condon A, Harel D, Kok J, Salomaa A & Winfree E (eds.) Algorithmic Bioprocesses. Natural Computing Series, 6. Berlin, Heidelberg: Springer, pp. 331-366. http://www.springerlink.com/content/vt6u7g0315414806/