King's College London

Research portal

Springer Finance

Publisher

  1. Dissociative Identity Disorder and Fantasy Proneness: A Positron Emission Tomography Study of Authentic and Enacted Dissociative Identity States

    Reinders, S. & Willemsen, A. TM., 2014, PET and SPECT in Psychiatry. Springer Finance, p. 411-431 21 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  2. The Bioinorganic Chemistry of Cadmium in the Context of its Toxicity

    Maret, W. & Moulis, J-M., 2013, Cadmium: From Toxicity to Essentiality. Sigel, A., Sigel, H. & Sigel, R. K. O. (eds.). Dordrecht: Springer Finance, p. 1-29 29 p. (Metal Ions in Life Sciences; vol. v. 11).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Logical Grammars, Logical Theories

    Clark, A., 2012, Logical Aspects of Computational Linguistics. Bechet, D. & Dikovsky, A. (eds.). Springer Finance, Vol. 7351 LNCS. p. 1-20 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Equity concerns about mathematical modelling

    Jablonka, E. & Gellert, U., 2011, Mapping equity and quality in mathematics education. Atweh, B., Graven, M., Secada, W. & Valero, P. (eds.). Dordrecht: Springer Finance, p. 223-236 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Commentary on theories of mathematics education

    Jablonka, E. & Bergsten, C., 2010, Theories of Mathematics Education: Seeking New Frontiers. Sriraman, B. & English, L. (eds.). Springer Finance, p. 111-117 7 p. (Advances in Mathematics Education).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. Methods for Learning Control Policies from Variable-constraint Demonstrations

    Howard, M., Klanke, S., Gienger, M., Goerick, C. & Vijayakumar, S., 2010, From Motor to Interaction Learning in Robots. Sigaud, O. & Peters, J. (eds.). N/A ed. Berlin: Springer Finance, Vol. N/A. p. 253-291 39 p. (Studies in Computational Science; vol. 264).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  7. Policy transfer and the field of the cultural and creative industries: learning from Europe?

    Pratt, A. C., 2009, Creative Economies, Creative Cities: Asian-European Perspectives. Kong, L. & O'Connor, J. (eds.). Heidelberg, Germany: Springer Finance, p. 9-23 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Locating and Repairing Faults in a Network with Mobile Agents

    Cooper, C., Klasing, R. & Radzik, T., 2008, Structural Information and Communication Complexity, 15th International Colloquium, SIROCCO 2008, Villars-sur-Ollon, Switzerland, June 17-20, 2008, Proceedings. Springer Finance, Vol. 5058. p. 20-32 13 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  9. Handbook of Philosophical Logic

    Gabbay, D. M. (ed.) & Guenthner, F. (ed.), 2007, Springer Finance.

    Research output: Book/ReportBook

  10. Online Deadline Scheduling with Bounded Energy Efficiency

    Chan, J. W-T., Lam, T. W., Mak, K-S. & Wong, P. W. H., 2007, The 4th International Conference on Theory and Applications of Models of Computation. Cai, J., Cooper, S. B. & Zhu, H. (eds.). Springer Finance, Vol. 4484. p. 416-427 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  11. Reactive Kripke Semantics and Arc Accessibility

    Gabbay, D. M., 2007, Volume in Honour of Boris Trahtenbrot. Avron, A. & Dershowitz, N. (eds.). Springer Finance

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  12. Analysing Partner Selection Through Exchange Values

    Rodrigues, M. R. & Luck, M., 2006, Multi-Agent-Based Simulation VI, International Workshop, MABS 2005. Sichman, J. S. & Antunes, L. (eds.). Springer Finance, Vol. 3891. p. 24-40 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  13. Approximation Bounds for Black Hole Search Problems

    Klasing, R., Markou, E., Radzik, T. & Sarracco, F., 2006, Principles of Distributed Systems, 9th International Conference,. Anderson, J. H., Prencipe, G. & Wattenhofer, R. (eds.). Springer Finance, Vol. 3974. p. 261-274 14 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  14. Evaluating Dynamic Services in Bioinformatics

    Rodrigues, M. R. & Luck, M., 2006, Cooperative Information Agents X, 10th International Workshop, CIA 2006. Klusch, M., Rovatsos, M. & Payne, T. R. (eds.). Springer Finance, Vol. 4149. p. 183-197 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  15. Formal Methods and Agent-Based Systems

    Luck, M. & d'Inverno, M., 2006, Agent Technology from a Formal Perspective. Rouff, C. A., Hinchey, M., Rash, J., Truszkowski, W. & Gordon-Spears, D. (eds.). Springer Finance, p. 65-96 32 p. (NASA Monographs in Systems and Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  16. Frequency Allocation Problems for Linear Cellular Networks

    Chan, J. W-T., Chin, F. Y. L., Ye, D., Zhang, Y. & Zhu, H., 2006, Algorithms and Computation: 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006. Proceedings. Asano, T. (ed.). Berlin ; New York: Springer Finance, p. 61-70 10 p. (Lecture Notes in Computer Science; vol. 4288).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  17. Linear-Time Haplotype Inference on Pedigrees Without Recombinations

    Chan, M-Y., Chan, J. W-T., Chin, F. Y. L., Fung, S. P. Y. & Kao, M-Y., 2006, The 6th International Workshop on Algorithms in Bioinformatics. Bucher, P. & Moret, B. M. E. (eds.). Springer Finance, Vol. 4175. p. 56-67 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  18. On Dynamic Bin Packing: An Improved Lower Bound and Resource Augmentation Analysis

    Chan, J., Wong, P. W. H. & Yung, F. C. C., 2006, The 12th Annual International Computing and Combinatorics Conference. Chen, D. Z. & Lee, D. T. (eds.). Springer Finance, Vol. 4112. p. 309-319 11 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  19. Simple Algorithm for sorting the Fibonacci string rotations

    Christodoulakis, M., Iliopoulos, C. S. & Ardila, Y. J. P., 2006, SOFSEM 2006: Theory and Practice of Computer Science. Springer Finance, Vol. 4009 2006. p. 218-225 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  20. Using Electronic Institutions to Secure Grid Environments

    Ashri, R., Payne, T. R., Luck, M., Surridge, M., Sierra, C., Rodr'iguez-Aguilar, J. A. & Noriega, P., 2006, Cooperative Information Agents X, 10th International Workshop, CIA 2006. Klusch, M., Rovatsos, M. & Payne, T. R. (eds.). Springer Finance, Vol. 4149. p. 461-475 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  21. A Direct Reputation Model for VO Formation

    Avila-Rosas, A. & Luck, M., 2005, Multi-Agent Systems and Applications IV : 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005. Pechoucek, M., Petta, P. & Varga, L. Z. (eds.). N/A ed. Berlin and New York: Springer Finance, Vol. N/A. p. 460-469 10 p. (Lecture notes in computer science; vol. 3690).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  22. A Probabilistic Trust Model for Handling Inaccurate Reputation Sources

    Patel, J., Teacy, W. T. L., Jennings, N. R. & Luck, M., 2005, Trust management: Proceedings of the third international conference, iTrust 2005. Herrmann, P., Issarny, V. & Shiu, S. (eds.). N/A ed. Berlin and New York: Springer Finance, Vol. N/A. p. 193-209 17 p. (Lecture Notes in Computer Science; vol. 3477).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  23. Agent-Based Computing and Programming of Agent Systems

    Luck, M., McBurney, P. & Gonzalez-Palacios, J., 2005, Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005. Bordini, R. H., Dastani, M., Dix, J. & Fallah-Seghrouchni, A. E. (eds.). Springer Finance, Vol. 3862. p. 23-37 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  24. Efficient Algorithms for Finding a Longest Common Increasing Subsequence

    Chan, J., Zhang, Y., Fung, S. P. Y., Ye, D. & Zhu, H., 2005, The 16th International Symposium on Algorithms and Computation. Deng, X. & Du, D-Z. (eds.). Springer Finance, Vol. 3827. p. 665-674 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  25. New Resource Augmentation Analysis of the Total Stretch of SRPT and SJF in Multiprocessor Scheduling

    Chan, J., Lam, T. W., Liu, K-S. & Wong, P. W. H., 2005, The 30th International Symposium on Mathematical Foundations of Computer Science. Jedrzejowicz, J. & Szepietowski, A. (eds.). Springer Finance, Vol. 3618. p. 236-247 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  26. Off-Line Algorithms for Minimizing Total Flow Time in Broadcast Scheduling

    Chan, J., Chin, F. Y. L., Zhang, Y., Zhu, H., Shen, H. & Wong, P. W. H., 2005, The 11th Annual International Computing and Combinatorics Conference. Wang, L. (ed.). Springer Finance, Vol. 3595. p. 318-328 11 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  27. Online Bin Packing of Fragile Objects with Application in Cellular Networks

    Chan, J., Chin, F. Y. L., Ye, D., Zhang, G. & Zhang, Y., 2005, The First International Workshop on Internet and Network Economics. Deng, X. & Ye, Y. (eds.). Springer Finance, Vol. 3828. p. 564-573 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  28. Stochastic Algorithms: Foundations and Applications, Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005, Proceedings

    Lupanov, O. B. (ed.), Kasim-Zade, O. M. (ed.), Chaskin, A. V. (ed.) & Steinhofel, K. (ed.), 2005, Springer Finance. (Lecture Notes in Computer Science)

    Research output: Book/ReportBook

  29. 3M Motivational Taxonomy

    Munroe, S. J. & Luck, M., 2004, Agents and Computational Autonomy: potential, risks, and solutions. Nickles, M., Rovatsos, M. & Weiss, G. (eds.). n/a ed. Berlin and London: Springer Finance, Vol. n/a. p. 55-67 13 p. (Lecture notes in artificial intelligence; vol. 2969).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  30. A Model of Normative Multi-agent Systems and Dynamic Relationships

    López, F. L. Y. & Luck, M., 2004, Regulated Agent-Based Social Systems: First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers. Moldt, D., Paolucci, M. & Lindemann, G. (eds.). N/A ed. Berlin and New York: Springer Finance, Vol. N/A. p. 259-280 22 p. (Lecture Notes in Artificial Intelligence; vol. 2934).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  31. An Agent Construction Model for Ubiquitous Computing Devices

    Ashri, R. & Luck, M., 2004, Agent-Oriented Software Engineering V, 5th International Workshop, AOSE 2004. Odell, J., Giorgini, P. & Muller, J. P. (eds.). Springer Finance, Vol. 3382. p. 158-173 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  32. Logics of Context

    Gabbay, D. M. & Nossum, R., 2004, Handbook of Philosophical Logic. Gabbay, D. M. & Guenthner, F. (eds.). Springer Finance

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  33. Mutation Testing Using Genetic Algorithms: A Co-evolution Approach

    Adamopoulos, K., Harman, M. & Hierons, R. M., 2004, Genetic and Evolutionary Computation Conference (GECCO 2004), LNCS 3103. Seattle, Washington, USA: Springer Finance, p. 1338-1349 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  34. New Results on On-Demand Broadcasting with Deadline via Job Scheduling with Cancellation

    Chan, J., Lam, T. W., Ting, H-F. & Wong, P. W. H., 2004, The 10th Annual International Computing and Combinatorics Conference. Chwa, K-Y. & Munro, J. I. (eds.). Springer Finance, Vol. 3106. p. 210-218 9 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  35. On-Line Windows Scheduling of Temporary Items

    Chan, J. & Wong, P. W. H., 2004, The 15th International Symposium on Algorithms and Computation. Fleischer, R. & Trippen, G. (eds.). Springer Finance, Vol. 3341. p. 259-270 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  36. Automatically generating information from a Z specification to support the Classification Tree Method

    Hierons, R., Harman, M. & Singh, H., 2003, 3rd International Conference of B and Z Users (ZB2003). Turku, Finland: Springer Finance, p. 388-407 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  37. On-Line Stream Merging, Max Span, and Min Coverage

    Chan, J., Lam, T. W., Ting, H-F. & Wong, P. W. H., 2003, The 5th Italian Conference on Algorithms and Complexity. Petreschi, R., Persiano, G. & Silvestri, R. (eds.). Springer Finance, Vol. 2653. p. 70-82 13 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  38. Competitive Analysis of On-line Stream Merging Algorithms

    Chan, J., Lam, T. W., Ting, H-F. & Wong, P. W. H., 2002, The 27th International Symposium on Mathematical Foundations of Computer Science. Diks, K. & Rytter, W. (eds.). Springer Finance, Vol. 2420. p. 188-200 13 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  39. Empowered Situations of Autonomous Agents

    López, F. L. Y. & Luck, M., 2002, Advances in Artificial Intelligence - IBERAMIA 2002, 8th Ibero-American Conference on AI. Garijo, F. J., Santos, J. C. R. & Toro, M. (eds.). Springer Finance, Vol. 2527. p. 585-595 11 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  40. Improving Time Bounds on Maximum Generalised Flow Computations by Contracting the Network

    Radzik, T., 2002, Automata, Languages and Programming: 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings. Widmayer, P., Triguero, F., Morales, R., Hennessy, M., Eidenbenz, S. & Conejo, R. (eds.). N/A ed. Berlin: Springer Finance, Vol. N/A. p. 611-622 12 p. (Lecture Notes in Computer Science; vol. 2380).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  41. Infrastructure Support for Agent-based Development

    Ashri, R., Luck, M. & d'Inverno, M., 2002, Foundations and Applications of Multi-Agent Systems. d'Inverno, M., Luck, M., Fisher, M. & Preist, C. (eds.). Springer Finance, p. 73-88 16 p. (Lecture Notes in Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  42. Multi-Agent-Systems and Applications II 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001. Selected Revised Papers

    Marik, V. (ed.), Stepankova, O. (ed.), Krautwurmova, H. (ed.) & Luck, M. (ed.), 2002, Springer Finance. (Lecture Notes in Artificial Intelligence)

    Research output: Book/ReportBook

  43. Autonomy: A Nice Idea in Theory

    Luck, M. & d'Inverno, M., 2001, Intelligent Agents VII: Proceedings of the Seventh International Workshop on Agent Theories, Architectures and Languages, LNAI 1986. Castelfranchi, C. & L., L. (eds.). Springer Finance, p. 351-353 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  44. Formal Agent Development: Framework to System

    d'Inverno, M. & Luck, M., 2001, Formal Approaches to Agent-Based Systems: First International Workshop FAABS 2000, LNAI 1871. Rash, J., Rouff, C., Truszkowski, W., Gordon, D. & Hinchey, M. (eds.). Springer Finance, p. 133-147 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  45. Future Directions

    Hinchey, M. G., Hendler, J. A., Pecheur, C., Heitmeyer, C. L., Gordon, D. F., Luck, M. & Truszkowski, W., 2001, Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000. Rash, J. L., Rouff, C., Truszkowski, W., Gordon, D. F. & Hinchey, M. G. (eds.). Springer Finance, Vol. 1871. p. 354-368 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  46. Improved On-Line Stream Merging: From a Restricted to a General Setting

    Chan, J., Lam, T. W., Ting, H-F. & Wong, P. W. H., 2001, The 7th Annual International Computing and Combinatorics Conference. Wang, J. (ed.). Springer Finance, Vol. 2108. p. 432-442 11 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  47. Interest-Rate Models: Theory and Practice

    Brigo, D. & Mercurio, F., 2001, Springer Finance.

    Research output: Book/ReportBook

  48. Job Shop Scheduling with Unit Length Tasks: Bounds and Algorithms

    Hromkovic, J., Steinhofel, K. & Widmayer, P., 2001, Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings. Restivo, A., Roversi, L. & Ronchi Della Rocca, S. (eds.). N/A ed. Berlin ; London ; New York: Springer Finance, Vol. N/A. p. 90-106 17 p. (Lecture Notes in Computer Science; vol. 2202).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

Previous 1 2 Next

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454