Computing Science & Mathematics

Outputs related to Computing Science & Mathematics

Showing 1501 to 1600 of 2339

Book Chapter

Dara K, Guo Y, Kolberg M & Xiaotao W (2010) Overview of Structured Peer-to-Peer Overlay Algorithms. In: Shen X, Yu H, Buford J & Akon M (eds.) Handbook of Peer-to-Peer Networking. Paris: Springer, pp. 223-256. http://www.springer.com/engineering/signals/book/978-0-387-09750-3; https://doi.org/10.1007/978-0-387-09751-0_9


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


Edited Book

Hussain A, Aleksander I, Smith L, Barros AK, Chrisley R & Cutsuridis V (eds.) (2010) Brain Inspired Cognitive Systems 2008. Advances in Experimental Medicine and Biology, 657. New York, USA: Springer. http://www.springerlink.com/content/978-0-387-79099-2/#section=640242&page=4&locus=0; https://doi.org/10.1007/978-0-387-79100-5


Conference Paper (published)

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


Conference Paper (published)

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


Conference Paper (published)

Burke E, Curtois T, Hyde M, Kendall G, Ochoa G, Petrovic S, Vazquez-Rodriguez JA & Gendreau M (2010) Iterated Local Search vs. Hyper-heuristics: Towards General-Purpose Search Algorithms. In: 2010 IEEE Congress on Evolutionary Computation. 2010 IEEE Congress on Evolutionary Computation, Barcelona, 18.07.2010-23.07.2010. Piscataway, NJ, USA: IEEE Press. https://doi.org/10.1109/CEC.2010.5586064


Book Chapter

Ochoa G, Verel S & Tomassini M (2010) First-Improvement vs. Best-Improvement Local Optima Networks of NK Landscapes. In: Schaefer R, Cotta C, Kolodziej J & Rudolph G (eds.) Parallel Problem Solving from Nature, PPSN XI: 11th International Conference, Kraków, Poland, September 11-15, 2010, Proceedings, Part I. Lecture Notes in Computer Science, 6238. Berlin Heidelberg: Springer, pp. 104-113. http://link.springer.com/chapter/10.1007%2F978-3-642-15844-5_11?LI=true#; https://doi.org/10.1007/978-3-642-15844-5_11


Book Chapter

Burke E, Hyde M, Kendall G, Ochoa G, Ozcan E & Woodward J (2010) A Classification of Hyper-heuristic Approaches. In: Gendreau M & Potvin J (eds.) Handbook of Metaheuristics. International Series in Operations Research & Management Science, 146. Berlin: Springer, pp. 449-468. http://www.springerlink.com/content/xxm7126130381913/


Technical Report

Leibovici DG, Anand S, Swan J, Goulding J, Hobona G, Bastin L, Pawlowicz S, Jackson M & James R (2010) Workflow issues for Health mapping "mashups" of OGC Web Services. University of Nottingham. CGS Technical report, 2010DL1. University of Nottingham. http://c3s2i.free.fr/DidierGLeibovici/PaP/AGILE2010_DLetal.pdf


Conference Paper (published)

Woodward J & Swan J (2010) Why Classifying Search Algorithms is Essential. In: 2010 IEEE International Conference on Progress in Informatics and Computing (PIC-2010). Volume 1. 2010 IEEE International Conference on Progress in Informatics and Computing (PIC), Shanghai, China, 10.12.2010-12.12.2010. Piscataway, NJ, USA: IEEE, pp. 285-289. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5687448&abstractAccess=no&userType=inst


Conference Paper (published)

Leibovici DG, Bastin L, Anand S, Swan J, Hobona G & Jackson M (2010) Spatially Clustered Associations in Health GIS "mashups". In: Haklay M, Morley J & Rahemtulla H (eds.) Proceedings of the GIS Research UK 18th Annual Conference GISRUK 2010. GIS Research UK 18th Annual Conference GISRUK 2010, London, UK, 14.04.2010-16.04.2010. London: University College, London, pp. 113-116. http://eprints.aston.ac.uk/16057/


Conference Paper (published)

Bodei C, Bracciali A, Chiarugi D & Gori R (2010) A Taxonomy of Causality-Based Biological Properties. In: Merelli E & Quaglia P (eds.) volume 19. 3rd Workshop "From Biology To Concurrency and back", FBTC 2010, a satellite event of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, 27.03.2010-27.03.2010. Open Publishing Association, pp. 116-133. http://arxiv.org/pdf/1002.4067v1.pdf; https://doi.org/10.4204/EPTCS.19.8


Conference Paper (unpublished)

Massink M, Latella D, Bracciali A & Hillston J (2010) Modelling Crowd Dynamics in Bio-PEPA-- Extended Abstract. 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010), 2010, London, UK.


Conference Paper (published)

Burke E, Guo Q & Kendall G (2010) A hyper-heuristic approach to strip packing problems. In: Schaefer R, Cotta C, Kolodziej J & Rudolph G (eds.) Parallel Problem Solving from Nature, PPSN XI: 11th International Conference, Kraków, Poland, September 11-15, 2010, Proceedings, Part I. Lecture Notes in Computer Science, 6238. 11th International Conference on Parallel Problem Solving from Nature, PPSN XI, Kraków, Poland, 11.09.2010-15.09.2010. Heidelberg: Springer, pp. 465-474. http://link.springer.com/chapter/10.1007/978-3-642-15844-5_47#


Conference Paper (published)

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


Conference Paper (unpublished)

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


Technical Report

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.


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


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


Conference Paper (published)

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


Book Chapter

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


Edited 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


Conference Paper (published)

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


Conference Paper (published)

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


Book Chapter

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


Book Chapter

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/


Article

Fayed M & Mouftah HT (2009) On the Relevance of Alpha-hulls to the Boundary Detection Problem in Sensor Networks. Canadian Journal of Electrical and Computer Engineering, 34 (3), pp. 95-98. http://ieeexplore.ieee.org/Xplore/defdeny.jsp?url=http%3A%2F%2Fieeexplore.ieee.org%2Fstamp%2Fstamp.jsp%3Ftp%3D%26arnumber%3D5443856&denyReason=-134&arnumber=5443856&productsMatched=null&userType=inst; https://doi.org/10.1109/CJECE.2009.5443856


Conference Paper (published)

Graham B, Menzies J & Dutia MB (2009) Model of hyperpolarization dependent LTD in MVN neurons. In: volume 10. CNS 2009: Annual Meeting of the Organization for Computational Neurosciences: Berlin, Germany, Berlin, Germany, 18.07.2009-23.07.2009. BMC, pp. 205-205. https://doi.org/10.1186/1471-2202-10-S1-P205


Conference Paper (published)

Gheyas IA & Smith L (2009) A Novel Nonparametric Multiple Imputation Algorithm for Estimating Missing Data. In: Ao S, Gelman L, Hukins D, Hunter A & Korsunsky A (eds.) Proceedings of The World Congress on Engineering 2009: Volume 2. ICCSDE'09: The 2009 International Conference of Computational Statistics and Data Engineering: London, U.K., 1-3 July, 2009, London, UK, 01.07.2009-03.07.2009. Hong Kong: Newswood Limited, pp. 1281-1286. http://www.iaeng.org/publication/WCE2009/WCE2009_pp1281-1286.pdf


Conference Paper (published)

Gheyas IA & Smith L (2009) A Neural Network Approach to Time Series Forecasting. In: Ao S, Gelman L, Hukins D, Hunter A & Korsunsky A (eds.) Proceedings of The World Congress on Engineering 2009: Volume 2. ICCSDE'09: The 2009 International Conference of Computational Statistics and Data Engineering: London, U.K., 1-3 July, 2009, London, UK, 01.07.2009-03.07.2009. Hong Kong: Newswood Limited, pp. 1292-1296. http://www.iaeng.org/publication/WCE2009/WCE2009_pp1292-1296.pdf


Conference Paper (published)

Cutsuridis V, Cobb SR & Graham B (2009) Modeling the effects of GABA-A inhibition on the spike timing-dependent plasticity of a CA1 pyramidal cell. In: volume 10. CNS 2009 - Annual Meeting of the Organization for Computational Neurosciences: Berlin, Germany, Berlin, Germany, 18.07.2009-23.07.2009. BMC, pp. 191-192. http://www.biomedcentral.com/content/pdf/1471-2202-10-S1-P191.pdf; https://doi.org/10.1186/1471-2202-10-S1-P191