我要吃瓜

Computing Science & Mathematics

Outputs related to Computing Science & Mathematics

Showing 1501 to 1600 of 2352

Authored Book

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)

Daolio F, Verel S, Ochoa G & Tomassini M (2010) Local optima networks of the quadratic assignment problem. 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), Barcelona, Spain, 18.07.2010-23.07.2010. Piscataway, NJ: IEEE. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5586481&abstractAccess=no&userType=inst; https://doi.org/10.1109/CEC.2010.5586481


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


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)

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/


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/


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)

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)

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.


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


Conference Paper (published)

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


Conference Paper (published)

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


Conference Paper (published)

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


Conference Paper (published)

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


Article

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


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 (published)

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


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


Article

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


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, 我要吃瓜.


Article

Aldinucci M, Bracciali A & Lio P (2010) Formal Synthetic Immunology. ERCIM News, 82, pp. 40-41. http://ercim-news.ercim.eu/en82


Article

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


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

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


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