我要吃瓜

Computing Science & Mathematics

Outputs related to Computing Science & Mathematics

Showing 1701 to 1800 of 2352

Book Chapter

Turner KJ & Tan KLL (2009) A Rigorous Methodology for Composing Services. In: Alpuente M, Cook B & Joubert C (eds.) Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings. Lecture Notes in Computer Science (LNCS), Volume 5825. Berlin: Springer, pp. 165-180. https://doi.org/10.1007/978-3-642-04570-7


Article

Tan KLL, Lambert P, Turner KJ, Blum JM, Gayle V, Jones S, Sinnott R & Warner G (2009) Enabling Quantitative Data Analysis through e-Infrastructure. Social Science Computer Review, 27 (4), pp. 539-552. https://doi.org/10.1177/0894439309332647


Conference Paper (published)

Bouamrane M, Rector A & Hurrell M (2009) Semi-automatic Generation of a Patient Preoperative Knowledge-Base from a Legacy Clinical Database. In: Meersman R, Dillon T & Herrero P (eds.) 'On the Move to Meaningful Internet Systems conference: OTM 2009.. Lecture Notes in Computer Science (LNCS), 5871. Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, 01.11.2009-06.11.2009. Berlin: Springer Berlin Heidelberg, pp. 1224-1237. https://doi.org/10.1007/978-3-642-05151-7_34


Other

Cutsuridis V (Editor), Wennekers T (Editor), Graham B (Editor), Vida I (Editor) & Taylor JG (Editor) (2009) Neural Networks, Special Issue: Cortical Microcircuits. Neural Networks, 22 (8). http://www.sciencedirect.com/science/journal/08936080/22/8


Conference Paper (published)

Bouamrane M, Rector A & Hurrell M (2009) A Hybrid Architecture for a Preoperative Decision Support System Using a Rule Engine and a Reasoner on a Clinical Ontology. In: Pollares A & Swift T (eds.) Web Reasoning and Rule Systems. Lecture Notes in Computer Science, 5837. Third International Conference, RR 2009, Chantilly, VA, 25.10.2009-26.10.2009. Berlin: Springer Berlin Heidelberg, pp. 242-253. https://doi.org/10.1007/978-3-642-05082-4_17


Conference Paper (unpublished)

Magill J, Magill E, Canavan B, Devlin A, Trinder J & Pomerantz M (2009) InterLife: a fusion of mobile technology and Second Life in a learning environment to support the transition from school to university. ALT-C 2009: 16th International Conference of the Association for Learning Technology, University of Manchester, 08.09.2009-10.09.2009.


Conference Paper (published)

Hunter R, Graham B & Cobb SR (2009) Improving pattern retrieval in an auto-associative neural network of spiking neurons. In: volume 10. Eighteenth Annual Computational Neuroscience Meeting: CNS*2009, Berlin, Germany, 18.07.2009-23.07.2009. BioMed Central, p. P173. https://doi.org/10.1186/1471-2202-10-S1-P173


Conference Paper (published)

Graham B, Menzies J & Dutia MB (2009) Model of hyperpolarization dependent LTD in MVN neurons. In: volume 10. Eighteenth Annual Computational Neuroscience Meeting: CNS*2009, Berlin, Germany, 18.07.2009-23.07.2009. BioMed Central Ltd, p. P205. https://doi.org/10.1186/1471-2202-10-S1-P205


Conference Paper (published)

Niazi MAK, Hussain A & Kolberg M (2009) Verification and Validation of Agent Based Simulations using the VOMAS (Virtual Overlay Multi-agent System) Approach. In: Baldoni M, Baroglio C, Bentahar J, Boella G, Cossentino M, Dastani M, Dunin-Keplicz Barbara B, Fortino G, Gleizes M, Leite J, Mascardi V, Padget J, Pavón J, Polleres A & Seghrouchni AE (eds.) MALLOW'009, Multi-Agent Logics, Languages, and Organisations: Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, volume 494. MAS & S at Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), Torino, Italy, 07.09.2009-10.09.2009. Turin, Italy: CEUR-WS, pp. 340-346. http://ceur-ws.org/Vol-494/


Conference Abstract

Shahid S & Smith L (2009) Cepstrum of Bispectrum Spike Detection on Extracellular Signals with Concurrent Intracellular Signals. CNS 2009: Annual Meeting of the Organization for Computational Neurosciences, Berlin, Germany, 18/07/2009 - 23/07/2009. BMC Neuroscience, 10 (Supplement 1), p. P59, Art. No.: P59. https://link.springer.com/article/10.1186/1471-2202-10-S1-P59; https://doi.org/10.1186/1471-2202-10-S1-P59


Conference Paper (published)

Bracciali A, Bruni R & Lluch-Lafuente A (2009) On Symbolic Semantics for Name-decorated Contexts. In: volume 229. First Interaction and Concurrency Experiences Workshop (ICE 2008), Reykjavik, Finland, 06.07.2008-06.07.2008. Elsevier Science, pp. 37-58. https://doi.org/10.1016/j.entcs.2009.06.038


Conference Paper (published)

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. ICFI 2009 - Tenth International Conference on Feature Interactions in Telecommunications and Software Systems, University of Lisbon, Portugal, 11.06.2009-12.06.2009. Amsterdam, Netherlands: IOS Press, pp. 3-18.


Conference Paper (published)

Kolberg M, Buford J, Dhara K, Wu X & Krishnaswamy V (2009) Managing Distributed Feature Interactions in Enterprise SIP Application Servers. In: IEEE International Conference on Communications, 2009. ICC '09. IEEE International Conference on Communications (ICC) IEEE International Conference on Communication (ICC), 2009. ICC '09, Dresden, Germany, 14.06.2009-18.06.2009. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), pp. 1-6. https://doi.org/10.1109/ICC.2009.5199162


Presentation / Talk

Lemmens R, Foerster T, Swan J, Hobona G, Anand S & Jackson M (2009) Schematisation service chain: a use case for the AGILE-EuroSDR-OGC persistent test bed. AGILE 2009 Pre-Conference Workshop: AGILE/EuroSDR/OGC Persistent Testbed for Research and Teaching in Europe, Hannover, Germany, 02.06.2009-02.06.2009. http://www.ikg.uni-hannover.de/agile/index.php?id=460


Technical Report

Turner KJ & Campbell GA (2009) The ACCENT Policy Wizard. Technical Report CSM, 166. Department of Computing Science and Mathematics, 我要吃瓜.


Article

Yang Z, Hennig MH, Postlethwaite M, Forsythe ID & Graham B (2009) Wide-band information transmission at the calyx of Held. Neural Computation, 21 (4), pp. 991-1017. http://www.mitpressjournals.org/loi/neco; https://doi.org/10.1162/neco.2008.02-08-714


Commentary

Swan J, Abrahart RJ & Ghani NA (2009) Discussion of "An explicit neural network formulation for evapotranspiration". Commentary on: Aytek, A., Guven, A., Yuce, M. I. & Aksoy, H. (2008) An explicit neural network formulation for evapotranspiration. Hydrol. Sci. J. 53(4), 893–904.. Hydrological Sciences Journal, 54 (2), pp. 382-388. https://doi.org/10.1623/hysj.54.2.382


Book Chapter

Turner KJ, Tan KLL, Blum JM, Warner G, Jones S & Lambert P (2009) Managing Data in E-Social Science. In: Bestak R, George L, Zaborovsky VS & Dini Cosmin C (eds.) Eighth International Conference on Networks, 2009. ICN '09. Piscataway, New Jersey: IEEE Computer Society, pp. 214-219. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4976677; https://doi.org/10.1109/ICN.2009.15


Book Chapter

Turner KJ, Docherty LS, Wang F & Campbell GA (2009) Managing Home Care Networks. In: Bestak R, George L, Zaborovsky VS & Dini Cosmin C (eds.) Eighth International Conference on Networks, 2009. ICN '09. Piscataway, New Jersey: IEEE Computer Society, pp. 354-359. https://doi.org/10.1109/ICN.2009.16


Conference Paper (published)

Turner KJ, Docherty LS, Wang F & Campbell GA (2009) Managing Home Care Networks. In: Bestak R, George L, Zaborovsky V & Dini C C (eds.) Proceedings of the 2009 Eighth International Conference on Networks. 8th International Conference on Networks, 2009. ICN '09., Cancun, Mexico, 01.03.2009-06.03.2009. Los Alamitos, California, USA: IEEE Computer Society, pp. 354-359. https://doi.org/10.1109/ICN.2009.16


Conference Paper (unpublished)

Lally V, Magill E, Magill J, Canavan B, Kolberg M, Pomerantz M, Sclater MF, Trinder J & Brindley S (2009) InterLife: Interoperability and Transition. CAL'09: Learning in Digital Worlds, Brighton, UK, 23.03.2009-15.03.2009.


Technical Report

Burke E, Hyde M, Kendall G, Ochoa G, Ozcan E & Woodward J (2009) A Classification of Hyper-heuristic Approaches. Computer Science Technical Report, NOTTCS-TR-SUB-0906241359-0664. University of Nottingham. http://www.cs.stir.ac.uk/~jrw/publications/AClassificationHyperHeuristicApproaches.pdf


Conference Paper (published)

Bodei C, Bracciali A & Chiarugi D (2009) Control Flow Analysis for Brane Calculi. In: volume 227. Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2008), Iasi, Romania, 03.09.2008-04.09.2008. Elsevier, pp. 59-75. https://doi.org/10.1016/j.entcs.2008.12.104


Article

Wilson T, Maharaj S & Clark R (2008) Flexible and Configurable Verification Policies with Omnibus. Software and Systems Modeling, 7 (3), pp. 257-272. http://www.springerlink.com/content/9543347t1h403181/fulltext.pdf; https://doi.org/10.1007/s10270-007-0060-1


Conference Paper (published)

Wilson M, Kolberg M & Magill E (2008) Considering Side Effects in Service Interactions in Home Automation - An Online Approach. In: Du Bousquet L & Richier J (eds.) Feature Interactions in Software and Communication Systems IX. ICFI 2007 - Ninth International Conference on Feature Interactions in Software and Communication Systems, Grenoble, France, 03.09.2007-05.09.2007. Amsterdam, The Netherlands: IOS Press, pp. 172-187. http://www.booksonline.iospress.nl/Content/View.aspx?piid=8958


Conference Paper (published)

Smith L (2008) Artificial general intelligence: an organism and level based position statement. In: Wang P, Goertzel B & Franklin S (eds.) Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference. The First Conference on Artificial General Intelligence (AGI-08), March 1-3, 2008, University of Memphis, Memphis, USA, 01.03.2008-03.03.2008. Amsterdam, The Netherlands: IOS Press, pp. 429-433. http://dl.acm.org/citation.cfm?id=1566218


Conference Paper (published)

Shahid S & Smith L (2008) Assessing new techniques for Spike Detection on MEA data. In: Conference Proceedings of the 6th International Meeting on Substrate-Integrated Micro Electrode Arrays July 8-11, 2008, Reutlingen, Germany. BIOPRO, 5. 6th International Meeting on Substrate-Integrated Micro Electrode Arrays, Reutlingen, Germany, 08.07.2008-11.07.2008. Stuttgart, Germany: Baden-Württemberg GmbH, pp. 133-134. http://www.nmi1.de/meameeting2008/MEA_2008_3_Signal_analysis.pdf


Conference Paper (published)

James CJ, Crowe JA, Magill E, Brailsford SC, Amor JD, Prociow PA, Blum JM & Mohiuddin SG (2008) Personalised Ambient Monitoring (PAM) of the mentally ill. In: Vander Sloten J, Verdonck P, Nyssen M & Haueisen J (eds.) 4th European Conference of the International Federation for Medical and Biological Engineering: ECIFMBE 2008, 23–27 November 2008, Antwerp, Belgium. IFMBE Proceedings, 22/8. 4th European Conference of the International Federation for Medical and Biological Engineering: ECIFMBE 2008, 23–27 November 2008, Antwerp, Belgium, Antwerp, Belgium, 23.11.2008-27.11.2008. Berlin, Germany: Springer-Verlag, pp. 1010-1013. https://doi.org/10.1007/978-3-540-89208-3_240


Conference Paper (published)

Huo J, Murray A, Smith L & Yang Z (2008) Adaptation of Barn Owl Localization System with Spike Timing Dependent Plasticity. In: IEEE (ed.) The 2008 IEEE International Joint Conference on Neural Networks. IEEE International Joint Conference on Neural Networks, 2008. IJCNN 2008. (IEEE World Congress on Computational Intelligence). Hong Kong, 1-8 June 2008, Hong Kong, 01.06.2008-08.06.2008. Hong Kong: Institute of Electrical and Electronics Engineers, pp. 155-160. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4633782; https://doi.org/10.1109/IJCNN.2008.4633782


Conference Paper (published)

Hunter R, Cobb SR & Graham B (2008) Improving Associative Memory in a Network of Spiking Neurons. In: Kurkova V, Neruda R & Koutnik J (eds.) Artificial Neural Networks - ICANN 2008: 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II. Lecture Notes in Computer Science, 5164. 18th International Conference on Artificial Neural Networks –ICANN 2008, Prague, Czech Republic, 03.09.2008-06.09.2008. Berlin, Germany: Springer-Verlag, pp. 636-645. http://www.springerlink.com/content/b98q662816538526/; https://doi.org/10.1007/978-3-540-87559-8_66


Conference Paper (published)

Hunter R, Cobb SR & Graham B (2008) Improving Recall in an Associative Neural Network of Spiking Neurons. In: Marinaro M, Scarpetta S & Yamaguchi Y (eds.) Dynamic Brain - from Neural Spikes to Behaviors: 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures. Lecture Notes in Computer Science, 5286. Dynamic Brain - from Neural Spikes to Behaviors: 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007. Berlin, Germany: Springer-Verlag, pp. 137-141. http://www.springerlink.com/content/q743140145461514/; https://doi.org/10.1007/978-3-540-88853-6_12


Conference Paper (published)

Graham B & Stricker C (2008) Short Term Plasticity Provides Temporal Filtering at Chemical Synapses. In: Kurkova V, Neruda R & and KJ (eds.) Artificial Neural Networks - ICANN 2008: 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II. Lecture Notes in Computer Science, 5164. 18th International Conference on Artificial Neural Networks –ICANN 2008, Prague, Czech Republic, 03.09.2008-06.09.2008. Berlin, Germany: Springer-Verlag, pp. 268-276. http://link.springer.com/chapter/10.1007%2F978-3-540-87559-8_28; https://doi.org/10.1007/978-3-540-87559-8_28


Conference Paper (published)

Gibson F, Austin J, Ingram C, Fletcher M, Jackson T, Jessop M, Knowles A, Liang B, Lord P, Pitsilis G, Periorellis P, Simonotto J, Watson P & Smith L (2008) The CARMEN Virtual Laboratory: Web-Based Paradigms for Collaboration in Neurophysiology. In: Conference Proceedings of the 6th International Meeting on Substrate-Integrated Micro Electrode Arrays July 8-11, 2008, Reutlingen, Germany. BIOPRO, 5. 6th International Meeting on Substrate-Integrated Micro Electrode Arrays, Reutlingen, Germany, 08.07.2008-11.07.2008. Stuttgart, Germany: Baden-Württemberg GmbH, pp. 117-120. http://www.nmi1.de/meameeting2008/MEA_2008_3_Signal_analysis.pdf