Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science" and Year is 2006

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
[tool] Add To Shelf...
Group by: No Grouping | Authors/Creators | Item Type
Jump to: A | B | C | D | E | F | G | H | K | L | M | P | R | S | T | U | V | W | X | Y
Number of items: 203.

A

Abdullah, Nor Aniza (2006) An Architecture for Augmenting the SCORM Run-Time Environment with a Personalised Link Service. University of Southampton, Electronics and Computer Science, Doctoral Thesis .

Acharyya, Amit, Kundu, Sumit and Chakrabarti, Saswat (2006) Performance of Cellular CDMA with Truncated and Limited Power Control Schemes in Presence of Soft Handoff. At 12th National Conference on Communications , 353-357.

Addis, M. J., Hafeez, S., Prideaux, D., Lowe, R., Lewis, P. H., Martinez, K. and Sinclair, P. A. S. (2006) The eCHASE System for Cross-border Use of European Multimedia Cultural Heritage Content in Education and Publishing. In, AXMEDIS 2006: 2nd International Conference on Automated Production of Cross Media Content for Multi-channel Distribution, ICSRiM - University of Leeds, Leeds LS2 9JT, UK, 12 - 15 Dec 2006.

Ahsant, M., Surridge, M., Leonard, T. A., Krishna, A. and Mulmo, O. (2006) Dynamic Trust Federation in Grids. In, The 4th International Conference on Trust Management, Pisa, Tuscany, Italy, 16 - 19 May 2006.

An, Y., Holt, J.J., Mitchell, G.R. and Vaughan, A. S. (2006) Influence of molecular composition on the development of microstructure from sheared polyethylene melts: Molecular and lamellar templating. Polymer, 47, (15), 5643-56.

Anagnostopoulos, V., Chatzis, S., Lalos, C., Doulamis, A., Kosmopoulos, D., Varvarigou, T., Neuschmied, H., Thallinger, G., Middleton, S. E., Addis, M.J., Bustos, E. and Giorgini, F. (2006) A Cross Media Platform for Personalized Leisure & Entertainment: The POLYMNIA Approach. In, AXMEDIS 2006: 2nd International Conference on Automated Production of Cross Media Content for Multi-channel Distribution, ICSRiM - University of Leeds, Leeds LS2 9JT, UK, 12 - 15 Dec 2006.

Anagnostopoulos, V., Chatzis, S., Lalos, C., Doulamis, A., Kosmopoulos, D., Varvarigou, T., Neuschmied, H., Thallinger, G., Middleton, S.E., Addis, M, Bustos, E and Giorgini, F (2006) A Cross Media Platform for Personalized Leisure & Entertainment: The POLYMNIA Approach. In, AXMEDIS

Andric, Mirjana and Hall, Wendy (2006) Exploiting Metadata Links to Support Information Retrieval in Document Management Systems. In, 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW), Hong Kong, IEEE, 59-59.

Antonacopoulos, Apostolos, Karatzas, Dimosthenis and Bridson, David (2006) Ground Truth for Layout Analysis Performance Evaluation. In, Bunke, Horst and Spitz, A.L. (eds.) Document Analysis Systems VII, Springer Lecture Notes in Computer Science, LNCS 3872. , , 302-311.

Ashri, Ronald, Payne, Terry R., Luck, Michael, Surridge, Mike, Sierra, Carles, Aguilar, Juan Antonio Rodriguez and Noriega, Pablo (2006) Using Electronic Institutions to secure Grid environments. In, Tenth International Workshop CIA 2006 on Cooperative Information Agents, Edinburgh, Scotland, , 461-475.

Ateniese, Giuseppe, Santis, Alfredo De, Ferrara, Anna Lisa and Masucci, Barbara (2006) Provably-secure time-bound hierarchical key assignment schemes. CCS, 288-297.

Azam, N., Boniface, M. J. and Ghanem, M. (2006) Workflow Interoperability in Grid-based Systems. In, Cracow Grid Workshop 2006, Cracow, Poland, 16 - 18 Oct 2006.

B

Baltag, Alexandru and Sadrzadeh, Mehrnoosh, De Vink, Erik, Lomuscio, Alessio, van der Hoek, Wiebe and Wooldridge, Michael (eds.) (2006) The Algebra of Multi-Agent Dynamic Belief Revision. Electronic Notes in Theoretical Computer Science, 157, (4), 37-56.

Banach, Richard, Jeske, Czeslaw, Poppleton, Michael and Stepney, Susan (2006) Retrenching the Purse: Finite Exception Logs, and Validating the Small. In, IEEE SEW-30: 30th Annual Software Engineering Workshop, Columbia, MD, USA, 25 - 27 Apr 2006. IEEE Computer Society Press.

Banach, Richard, Jeske, Czeslaw, Poppleton, Michael and Stepney, Susan (2006) Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. In, IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation, Paphos, Cyprus, IEEE Computer Society, 76-89.

Barker, Steve, Leuschel, Michael and Varea, Mauricio (2006) Efficient and Flexible Access Control via Jones-Optimal Logic Program Specialisation. Journal of Higher-Order and Symbolic Computation, To app

Barre, L. L., Vaughan, A. S. and Sutton, S. J. (2006) Towards water-resistant high voltage insulation systems: An ageing study of a technological water-blocking polymer. In, 2006 Annual Report Conference on Electrical Insulation and Dielectric Phenomena, Kansas City, MI, USA, 15 - 18 Oct 2006. IEEE, 513-516.

Bazin, A. I. (2006) Probabilistic Methods for Object Description and Classification. University of Southampton, Electronics and Computer Science, Other Thesis .

Beales, R. M., Addis, M. J. and Middleton, S. E. (2006) Ambient Multi-Camera Personal Documentary. At Memories for Life Workshop, British Library, London, 11 - 12 Dec 2006.

Belecheanu, Roxana, Munroe, Steve, Luck, Michael, Payne, Terry R., Miller, Tim, McBurney, Peter and Pechoucek, Michal (2006) Commercial Applications of Agents: Lessons, Experiences and Challenges. In, Fifth International Joint Conference on Autonomous Agents and Multiagent Systems

Benkner, S., Brandic, I., Engelbrecht, G., Middleton, S.E. and Schmidt, R. (2006) Application-Level QoS Support for a Medical Grid Infrastructure. In, Grid Computing in Life Sciences, Proceedings of the 2nd International Workshop on Life Science Grid, LSGrid World Scientific Publishing Company.

Bertram, S., Boniface, M. J., Briscombe, N., Kirton, M., Loos, C. and Ntuba, M. (2006) D.2.3.4 Validation Scenario Definition of 3rd Testbed.

Bertram, S., Boniface, M. J., Briscombe, N., Ntuba, M. and Palmer, D. (2006) Enabling Integrated Emergency Management: Reaping the Akogrimo Benefits.

Bhalla, A., Lynce, I., Sousa, J. T. and Marques-Silva, J. P. (2006) Heuristic-Based Backtracking Relaxation for Propositional Satisfiability. In, Giunchiglia, E. and Walsh, T. (eds.) SAT 2005 -- Satisfiability Research in the Year 2005. , Springer, 1-22.

Bian, W (2006) Implicit Function Theorems for Non-Differentiable Mappings. Journal of Optimization theory and applications, 129, (2), 277-292.

Boniface, M. J. (2006) SIMDAT Architecture. In, GGF16, Athens, Greece, 13 - 15 Feb 2006.

Boniface, M. J., Phillips, S. C. and Surridge, M. (2006) Grid-Based Business Partnerships using Service Level Agreements. In, Cracow Grid Workshop 2006, Cracow, Poland, 16 - 18 Oct 2006.

Boniface, M.J., Ferris, J, Ghanem, M and Azam, N (2006) Grid-enabled Workflows for Industrial Product Design. Proceedings of the Seconf IEEE International Conference on e-Science and Grid Computer 2006

Boniface, Mike, Phillips, Stephen and Surridge, Mike (2006) Grid-based Business Partnerships Using Service Level Agreements. In, Cracow Grid Workshop 2006, Cracow, Poland, 16 - 18 Oct 2006.

Bradley, Justin, Brown, Christopher, Carpenter, Bryan, Chang, Victor, Crisp, Jodi, Crouch, Stephen, De Roure, David, Newhouse, Steven, Li, Gary, Papay, Juri, Walker, Claire and Wookey, Aaron (2006) The OMII Software Distribution. In, All Hands Meeting 2006, East Midlands Conference Centre, Nottingham, 18 - 21 Sep 2006. , 748-753.

Brody, Timothy (2006) Evaluating Research Impact through Open Access to Scholarly Communication. University of Southampton, Electronics and Computer Science, Doctoral Thesis .

Bullock, Seth and Bedau, Mark (2006) Exploring adaptation with evolutionary activity plots. Artificial Life, 12, (2), 193-197.

C

Chang, Victor (2006) Experiments and Investigations for the Personal High Performance Computing (PHPC) built on top of the 64-bit processing and clustering systems. At 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, Potsdam, Germany, 27 - 30 Mar 2006.

Chang, Victor (2006) Implementations of the Integrated Linux, Windows and Macintosh Cluster for achieving the Personal High Performance Computing. In, IEE/IADAT International Conference on Telecommunications and Computer, University of Portsmouth, 27 - 29 Sep 2006.

Chang, Victor (2006) Implementations of Virtual Organization in the Wireless Home Networking Environments. In, IEEE 2006: International Conference on Mobile Communications and Learning, April 23-28, 2006, Mauritius, International Conference on Mobile Communications and Learning, 23 - 28 Apr 2006.

Chang, Victor (2006) The Mobile Learning for non-IT professionals to learn Web Services and to improve learning efficiency. In, ICEL 2006 The International Conference on e-Learning, University of Quebec in Montreal, Canada, 22-23 June 2006, Montreal, Canada, 22 - 23 Jun 2006.

Chang, Victor , Chang, Victor (ed.) (2006) The Past, Present and Future of the Linux Operating Systems.

Chang, Victor (2006) The Past, Present and Future of the Linux Operating Systems.

Chang, Victor (2006) The Past, Present and Future of the Linux Operating Systems.

Chang, Victor (2006) The Voice over Internet Protocol (VoIP) – Literature Review, Implementations at home environments and the Evaluations for the four major Voice Service Providers. In, IEEE Communications Society: The Eighth International Conference on Advanced Comunnication Technology, February 20-22, 2006, Seoul, S. Korea, 20 - 22 Feb 2006.

Chang, Victor (2006) Web Service Testing and Usability for Mobile Learning. In, IEEE Computer Society: The First International Conference on Mobile Communications and Learning MCL 2006, April 23-27, 2006, 23 - 27 Apr 2006.

Chen, Beining, Harrison, Robert F., Pasupa, Kitsuchart, Willett, Peter, Wilton, David J. and Wood, David J. (2006) Virtual Screening Using Binary Kernel Discrimination: Effect of Noisy Training Data and the Optimization of Performance. Journal of Chemical Information and Modeling, 46, (2), 478-486.

Chen, G (2006) Space charge measurement as a diagnositic tool to monitor electrical ageing in polymeric materials. In, International Conference on condition monitoring and diagnosis, Changwon, Korea, 02 - 05 Apr 2006. KIEEM.

Chen, G (2006) Space Charge Measurement as a Diagnostic Tool to Monitor Ageing in Polymeric Materials. Transactions on Electrical and Electronic Materials, 7, (5), 235-239.

Chen, G, Chong, Y L and Fu, M (2006) Calibration of the Pulsed Electroacoustic Technique in the Presence of Trapped Charge. Measurement Science and Technology, 17, (7), 1974-1980.

Chen, G, Chong, Y L and Fu, M (2006) A Novel Calibration Method in the Presence of Space Charge in Dielectric Materials Using the Pulsed Electroacoustic Technique. In, 8th Internaional Conference on Properties and Applications of Dielectric Materials, Bali, Indonesia, 26 - 30 Jun 2006. IEEE, 289-292.

Chen, G and Fu, M (2006) The Influence of Gamma Irradiation on Space Charge in LDPE. In, 8th Internaional Conference on Properties and Applications of Dielectric Materilas, Bali, Indonesia, 26 - 30 Jun 2006. IEEE, 131-134.

Choi, F., Beales, R. M., Hearn, J., Middleton, S. E., Addis, M. J. and Mangos, C. (2006) A Feature-Augmented Grammar for Automated Media Production. At AXMEDIS 2006: 2nd International Conference on Automated Production of Cross Media Content for Multi-channel Distribution, ICSRiM - University of Leeds, Leeds LS2 9JT, UK, 12 - 15 Dec 2006. IEEE Computer Society, 315-318.

Chong, Y L, Chen, G, Miyake, H, Matsui, K, Tanaka, Y and Takada, T (2006) Space charge and charge trapping characteristics of cross-linked polyethylene subjected to ac electric stresses. Journal of Physics D: Applied Physics, 39, (8), 1658-1666.

Cliff, Dave (2006) Evolutionary Optimization of ZIP60: A Controlled Explosion in Hyperspace. In, Fasli, Maria (ed.) Proceedings of the Trading Agent Design and Analysis / Agent Mediated Electronic Commerce VIII (TADA/AMEC2006) Joint Workshop. Trading Agent Design and Analysis (TADA) Workshop at AAMAS 2006 , Springer.

Cliff, Dave (2006) hpDJ: An automated DJ with floorshow feedback. In, O'Hara, Kenton and Brown, Barry (eds.) Consuming Music Together: Social and Collaborative Aspects of Music Consumption Technologies. , Kluwer, 241-264.

Cliff, Dave (2006) ZIP60: Further Explorations in the Evolutionary Design of Trader Agents and Online Auction-Market Mechanisms. IEEE Transactions on Evolutionary Computation

Cliff, Dave and Miller, Geoffrey (2006) Visualizing Coevolution With CIAO Plots. Artificial Life, 12, (2), 1-4.

Coles, Simon J., Frey, Jeremy G., Hursthouse, Michael B., Light, Mark E., Milsted, Andrew J., Carr, Leslie A., De Roure, David, Gutteridge, Christopher J., Mills, Hugo R., Meacham, Ken E., Surridge, Michael, Lyon, Elizabeth, Heery, Rachel, Duke, Monica and Day, Michael (2006) An e-science environment for service crystallography: from submission to dissemination. Journal of Chemical Information and Modeling, 46, (3), 1006-1016. (doi:10.1021/ci050362w).

Conole, Grainne, Smith, Janice and White, Su (2006) A Critique of the Impact of Policy and Funding. In, Conole, Grainne and Oliver, Martin (eds.) Contemporary Perspectives in e-learning Research. , Routledge, Falmer.

D

Darbari, Ashish (2006) A Structured Modelling Framework for Capturing Symmetry in Circuits. At 13th Automated Reasoning Workshop

Darbari, Ashish (2006) Symmetry Reduction for STE Model Checking. In, Formal Methods in Computer Aided Design (FMCAD)

Darbari, Ashish (2006) Symmetry Reduction for STE Model Checking Using Structured Models. University of Oxford, Computing Lab, Doctoral Thesis .

Dash, Rajdeep K (2006) Distributed Mechanisms for Multi-Agent Systems: Analysis and Design. University of Southampton, Electronics and Computer Science, Doctoral Thesis .

De Roure, David and Sure, York (2006) Semantic Grid-The convergence of technologies. Journal of Web Semantics, 4, (2), 82-83.

De Silva, Nishadi and Skaf-Molli, Hala (2006) Narratives to preserve coherence in collaborative writing. In, The Eighth International Workshop on Collaborative Editing Systems, Banff, Canada,

Denney, Ewen and Fischer, Bernd (2006) Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). In, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, 18 - 22 Sep 2006. IEEE Computer Society, 265-268.

Denney, Ewen and Fischer, Bernd (2006) A Generic Annotation Inference Algorithm for the Safety Certification of Automatically Generated Code. In, Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, 22 - 26 Oct 2006. ACM Press, 121-130.

Dodd, S J, Lewin, P L and Wong, K I (2006) Phase Resolved Electroluminescence Measurements in Thin Films of Low Density Polyethylene Using a Charge Coupled Device Camera. IEEE Transactions on Dielectrics and Electrical Insulation, 13, (1), 168-180.

E

Elkind, Edith, Goldberg, Leslie Ann and Goldberg, Paul W. (2006) Nash Equilibria in Graphical Games on Trees Revisited. In, 7th ACM Conference on Electronic Commerce (EC-2006), Ann Arbor, Michigan, USA, 11 - 15 Jun 2006. ACM, 100-109.

Ermolina, Irina, Milner, Joel and Morgan, Hywel (2006) Dielectrophoretic investigation of plant virus particles: Cow Pea Mosaic Virus and Tobacco Mosaic Virus. Electrophoresis, 27, (20), 3939-3948. (doi:10.1002/elps.200500928). (PMID:17054097).

Evagorou, D, Kyprianou, A, Lewin, P L, Stavrou, A, Efthymiou, V and Georghiou, G E (2006) An investigation into the parameters affecting the success of the wavelet packets method for denoising partial discharge signals. In, 5th Mediterranean Conference on Power Generation, Transmission and Distribution, Eilat, Israel, 15 - 17 Nov 2006. , CD-ROM.

Evans, Adrian N and Liu, Xin U (2006) A morphological gradient approach to color edge detection. IEEE Transactions on Image Processing, 15, (6), 1454-1463.

Evans, D.G., Draffan, E.A., James, A. and Blenkhorn, P. (2006) Do Text-to-Speech Synthesisers Pronounce Correctly? A Preliminary Study. At Computers Helping People with Special Needs, 10th International Conference, ICCHP2006, Linz, Austria, 11 - 13 Jul 2006. Springer 2006, 874-881.

F

Fill, K., Leung, S., DiBiase, D. and Nelson, A. (2006) Repurposing a learning activity on academic integrity: the experience of three universities. Journal of Interactive Media in Education, 2006, (01)

Fill, K. and Ottewill, R. (2006) Sink or Swim: Maximising the potential of video streaming. Innovations in Education and Teaching International, 43, (4), 397-408.

G

Galitonov, G.S., Birtwell, S.W., Zheludev, N.I. and Morgan, Hywel (2006) High capacity tagging using nanostructured diffraction barcodes. Optics Express, 14, (4), 1382-1387. (doi:10.1364/OE.14.001382).

Geard, N L (2006) Artificial Ontogenies: A Computational Model of the Control and Evolution of Development. The University of Queensland, School of Information Technology and Electrical Engineering, Doctoral Thesis .

Geard, N L (2006) Two design patterns for visualising the parameter space of complex systems.

Geard, N L and Wiles, J (2006) Investigating ontogenetic space with developmental cell lineages. In, Rocha, L M, Yaeger, L S, Bedau, M A, Floreano, D, Goldstone, R L and Vespignani, A (eds.) Artificial Life X: Proceedings of the Tenth International Conference on the Simulation and Synthesis of Living Systems. The Tenth International Conference on the Synthesis and Simulation of Living Systems (Artificial Life X) , MIT Press, 55-62.

Gee, Quintin (2006) Attempts at a web presence inventory of African minority languages. In, CaTAC'06, University of Tartu, Estonia,

Gee, Quintin and Argles, David (2006) Practical Guidance on Automated Essay-type Assessment Feedback. In, 7th Annual Conference of the ICS HE Academy, Trinity College, Dublin, 29 - 31 Aug 2006.

Goble, Carole, Corcho, Oscar, Alper, Pinar and De Roure, David (2006) e-science and the semantic web: A symbiotic relationship. In, Discovery Science 2006, Barcelona, Spain, Springer-Verlag, 1-12.

Goble, Carole, Wolstencroft, Katy, Goderis, Antoon, Hull, Duncan, Zhao, Jun, Alper, Pinar, Lord, Phillip, Belhajjame, Khalid, Turi, Daniele, Stevens, Robert and De Roure, David (2006) Knowledge Discovery for in silico Experiments with Taverna. In, Baker, Christopher and Cheung, Kei-Hoi (eds.) Semantic Web: Revolutionizing Knowledge Discovery in the Life Sciences. , Springer.

González, A., Ramos, A., Morgan, H., Green, N.G. and Castellanos, A. (2006) Electrothermal flows generated by alternating and rotating electric fields in microsystems. Journal of Fluid Mechanics, 564, 415-433. (doi:10.1017/S0022112006001595).

Groth, P, Munroe, S, Tan, V, Jiang, Sheng, Miles, S and Moreau, L (2006) Process Documentation Recording Protocol.

H

Hao, L, Lewin, P L and Dodd, S J (2006) Comparison of Support Vector Machine Based Partial Discharge Identification Parameters. In, 2006 IEEE International Symposium on Electrical Insulation, Toronto, Canada, 11 - 14 Jun 2006. , 110-113.

Hao, L, Lewin, P L and Dodd, S J (2006) Extraction of PD Signals from an Electro-optic Modulator Based PD Measurement System. In, 2006 IEEE Conference on Electrical Insulation and Dielectric Phenomena, Kansas City, Missouri, USA, 15 - 18 Oct 2006. IEEE, 623-626.

Haque, Nadim A (2006) Resource Allocation in Communications Networks Using Market-Based Agents. University of Southampton, School of Electronics and Computer Science, Doctoral Thesis .

Hardoon, D., Saunders, C., Szedmak, S. and Shawe-Taylor, J. (2006) A Correlation Approach for Automatic Image Annotation. In, Second International Conference on Advanced Data Mining and Applications, ADMA 2006, Xi'an, China, Springer, 681-692.

Hardoon, David R (2006) Semantic Models for Machine Learning. University of Southampton, School of Electornics and Computer Science, Doctoral Thesis .

Henderson, Peter and De Silva, Nishadi (2006) A narrative approach to collaborative writing: A business process model. In, 8th International Conference on Enterprise Information Systems (ICEIS), Paphos, Cyprus, 23 - 27 May 2006.

Hladowski, L, Galkowski, K, Owens, D H and Rogers, E (2006) Relaxed pass profile controllability of discrete linear repetitive processes. International Journal of Control, 79, (8), 938-958.

Hosier, I. L., Vaughan, A. S. and Montjen, F. A. (2006) Ageing of biodegradable oils for high voltage insulation systems. In, 2006 Annual Report Conference on Electrical Insulation and Dielectric Phenomena, Kansas City, MI, USA, 15 - 18 Oct 2006. IEEE, 481-484.

Hosier, I. L., Vaughan, A. S. and Sutton, S. J. (2006) A novel diagnostic tool for condition assessment of insulation oils. In, 2006 International Symposium on Electrical Insulation, Toronto, Canada, 11 - 14 Jun 2006. IEEE, 77-80.

Hu, Bo (2006) The Information Flow Foundation for Fusing Inferences. In, 19th International FLAIRS Conference, Florida, USA, AAAI, 43-48.

Hughes, J F, Higgins, S C and McKechnie, M T (2006) Patent: Method of Deactivating Dust Mite Allergen UK Patent No.2410899-B.

K

Kalfoglou, Yannis and Hu, Bo (2006) Issues with Evaluating and Using Publicly Available Ontologies. In, 4th International EON Workshop, Evaluating Ontologies for the Web, Edinburgh, Scotland,

Karam, Maria (2006) PhD Thesis: A framework for research and design of gesture-based human-computer interactions. University of Southampton, ECS, Doctoral Thesis .

Karunatillake, Nishan C. (2006) Argumentation–Based Negotiation in a Social Context. University of Southampton, School of Electronics and Computer Science, Doctoral Thesis .

Kharechko, Andriy (2006) Parametric Polynomial Time Perceptron Rescaling Algorithm. In, Broersma, Hajo, Dantchev, Stefan, Johnson, Matthew and Szeider, Stefan (eds.) Algorithms and Complexity in Durham 2006: Proceedings of the Second ACiD Workshop. , College Publications, King's College, London, UK, 157-157.

Klusch, Matthias, Rovatsos, Michael and Payne, Terry (2006) Cooperative Information Agents X (CIA 2006), Tenth International Workshop, Springer-Verlag, Berlin (LNAI 4149).

Kota, Ramachandra, Bansal, Vidit and Karlapalem, Kamalakar (2006) System Issues in Crowd Simulation using Massively Multi-Agent Systems. In, 2nd International Workshop on Massively Multi-Agent Systems, Hakodate, Japan,

Kullmann, O., Lynce, I. and Marques-Silva, J. (2006) Categorisation of clauses in conjunctive normal forms: minimally unsatisfiable sub-clause-sets and the lean kernel. In, International Conference on Theory and Applications of Satisfiability Testing, Seattle, USA, Springer, 22-35.

Kyprianou, A, Lewin, P L, Efthymiou, V, Stavrou, A and Georghiou, G E (2006) Wavelet packet denoising for online partial discharge detection in cables and its application to experimental field results. Measurement Science and Technology, 17, (9), 2367-2379.

L

Laera, Loredana, Tamma, Valentina, Euzenat, Jerome, Bench-Capon, Trevor and Payne, Terry R. (2006) Agents Arguing Over Ontology Alignments. In, Fourth European Workshop on Multi-Agent Systems, Lisbon, Portugal, 15 - 14 Dec 2006.

Laera, Loredana, Tamma, Valentina, Euzenat, Jerome, Bench-Capon, Trevor and Payne, Terry R. (2006) Arguing over ontology alignments. In, International Workshop on Ontology Matching (OM-2006), Athens, GA,

Laera, Loredana, Tamma, Valentina, Euzenat, Jerome, Bench-Capon, Trevor and Payne, Terry R. (2006) Reaching agreement over ontology alignments. In, 5th International Semantic Web Conference (ISWC 2006), Athens, GA, 05 - 09 Nov 2006. Springer, 371-384.

Lau, W S and Chen, G (2006) Simultaneous space charge and conduction current measurements in solid dielectrics under high dc electric field. In, International Conference on Condition Monitoring and Diagnosis, Changwon Korea, 02 - 05 Apr 2006. KIEEM.

Lawrence, Jamie, Payne, Terry R. and De Roure, David (2006) Co-presence Communities: Using pervasive computing to support weak social networks. In, 4th International Workshop on Distributed and Mobile Collaboration, Manchester, IEEE.

Leuschel, Michael, Craig, Stephen-John and Elphick, Dan (2006) Supervising Offline Partial Evaluation of Logic Programs using Online Techniques. In, Logic-Based Program Synthesis and Transformation, Venice, Springer-Verlag, 43-59.

Leuschel, Michael, Elphick, Dan, Varea, Mauricio, Craig, Stephen-John and Fontaine, Marc (2006) The Ecce and Logen Partial Evaluators and their Web Interfaces. In, Partial Evaluation and Semantics-Based Program Manipulation, Charleston, USA, ACM Press.

Lewy, Timothy (2006) A Consistent Reference Service for the Interoperation of EPrint Repositories. University of Southampton, Electronics and Computer Science, Other Thesis .

Lewy, Timothy, Lovell, Chris and Amor, James (2006) Extension to UML-B Notation and Toolset.

Liang, SF (2006) Evaluating Web Search Result Summaries. In, The 28th European Conference on Information Retrieval, ECIR’06

Liang, SF (2006) Investigating Sentence Weighting Components for Automatic Summarisation. Liang, S.F., Devlin, S. and Tait, J. (2007). Investigating Sentence Weighting Components for Automatic Summarisation. Information Processing & Management, 43(1), 146-153.

Luck, M, McBurney, P and Gonzalez-Palacios, J (2006) Agent-Based Computing and Programming of Agent Systems. In, Bordini, R, Dastani, M, Dix, J and El Fallah Segrouchni, A (eds.) Programming Multi-Agent Systems, Lecture Notes in Artificial Intelligence. , Springer, 3862.

Luck, M and d'Inverno, M (2006) Formal Methods and Agent-Based Systems. In, Rouff, C, Hinchey, M, Rash, J, Truszkowski, W and Gordon-Spears, D (eds.) NASA Monographs in Systems and Software Engineering. , Springer.

Lynce, Ines and Marques-Silva, Joao (2006) Efficient Haplotype Inference with Boolean Satisfiability. In, National Conference on Artificial Intelligence (AAAI), Boston, USA, AAAI Press.

Lynce, Ines and Marques-Silva, Joao (2006) SAT in Bioinformatics: Making the Case with Haplotype Inference. In, International Conference on Theory and Applications of Satisfiability Testing, Seattle, USA, Springer, 136-141.

M

Mahindrikar, Arun, Rao, Shodhan and Banavar, Ravi (2006) Point-to-point control of a 2R planar horizontal underactuated manipulator. Mechanism and Machine Theory, 41, (7), 838-844.

Manquinho, V. and Marques-Silva, J. P. (2006) On Using Cutting Planes in Pseudo-Boolean Optimization. Journal on Satisfiability, Boolean Modeling and Computation, 2, 209-219.

Marais, Emil, Argles, David and von Solms, Basie (2006) Security Issues Specific to e-Assessments. In, 8th Annual Conference on WWW Applications, Bloemfontein, 08 - 06 Sep 2006.

Marais, Emil, Minnaar, U. and Argles, David (2006) Plagiarism in e-learning systems: Identifying and solving the problem for practical assignments. In, The 6th IEEE International Conference on Advanced Learning Technologies, Kerkrade, The , Netherlands, 05 - 07 Jul 2006. , 822-824.

Markvart, T, Fragaki, A and Ross, JN, Yogi Goswami, D (ed.) (2006) PV system sizing using observed time series of solar radiation. Solar Energy, 80, (1), 46-50.

Martines, Elena, Seunarine, Kris, Morgan, Hywel, Gadegaard, Nikolaj, Wilkinson, Chris D.W. and Riehle, Mathis O. (2006) Air-trapping on biocompatible nanopatterns. Langmuir, 22, (26), 11230-11233. (doi:10.1021/la061611t). (PMID:17154608).

Melvin, T., Dyadshuka, L. and Weld, A. (2006) DNA, nanoparticles and photons - new approaches for clinical diagnostics. In, International Symposium on Biophotonics, Nanophotonics and Metamaterials. , IEEE, 20-21. (doi:10.1109/METAMAT.2006.334986).

Merchant, Sara, Middleton, Lee and Nixon, Mark S. (2006) Walk Of Shame: Criminals Exposed.

Middleton, Lee and Nixon, Mark S. (2006) Perp Walk Could Have Whole New Meaning.

Middleton, Lee, Wagg, David K., Bazin, Alex I., Carter, John N. and Nixon, Mark S. (2006) A smart environment for biometric capture. In, IEEE Conference on Automation Science and Engineering, Shanghai, China,

Miles, S, Moreau, L, Groth, P, Tan, V, Munroe, S and Jiang, Sheng (2006) Provenance Query Protocol.

Miles, S, Moreau, L, Groth, P, Tan, V, Munroe, S and Jiang, Sheng (2006) Provenance Query Protocol.

Miles, S, Moreau, L, Groth, P, Tan, V, Munroe, S and Jiang, Sheng (2006) XPath Profile for the Provenance Query Protocol.

Miles, S, Munroe, S, Groth, P, Jiang, Sheng, Tan, V, Ibbotson, J and Moreau, L (2006) Process Documentation Query Protocol.

Miles, Simon (2006) Agent-Oriented Data Curation in Bioinformatics. Multi-Agent and Grid Systems

Mitchinson, P M, Lewin, P L, Chen, G and Jarman, P (2006) An Experiment for Evaluating the Scale Effect of Moisture on High Voltage Transformer Insulation. In, 2006 IEEE International Symposium on Electrical Insulation, Toronto, Canada, 11 - 14 Jun 2006. , 218-221.

Mitchinson, P M, Lewin, P L, Chen, G and Jarman, P (2006) A Large Scale Test Facility for Assessing the Performance of Oil/Paper Insulation. In, The 10th INSUCON International Electrical Insulation Conference, Birmingham, UK, 24 - 26 May 2006. The Electrical Insulation Association, 316-321.

Mitchinson, P M, Lewin, P L, Hosier, I L, Chen, G and Jarman, P (2006) Oil reclamation - just a question of moisture? In, 2006 IEEE Conference on Electrical Insulation and Dielectric Phenomena, Kansas City, Missouri, USA, 15 - 18 Oct 2006. IEEE, 73-76.

Mitchinson, P. M., Hosier, I. L., Lewin, P. L., Vaughan, A. S., Chen, G. and Jarman, P. (2006) An Experiment to Evaluate the Benefits of Processing Aged Transformer Oil. In, 2006 IEEE International Symposium on Electrical Insulation, Toronto, Canada, 11 - 14 Jun 2006. IEEE, 89-92.

Mohd Ariffin, A, Lewin, P L and Dodd, S J (2006) Comparison of Electroluminescence of Different High Voltage Cable Materials under Identical Experimental Conditions. In, 2006 IEEE International Symposium on Electrical Insulation, Toronto, Canada, 11 - 14 Jun 2006. , 166-169.

Mohd Ariffin, A, Lewin, P L and Dodd, S J (2006) Comparison of electroluminescence phenomenon in LDPE, PET and PEN under the application of high electrical stress. In, 2006 IEEE Conference on Electrical Insulation and Dielectric Phenomena, Kansas City, Missouri, USA, 15 - 18 Oct 2006. IEEE, 260-263.

Morgado, Antonio Jose, De Oliveira Cantante De Matos, Paulo, Manquinho, Vasco and Marques-Silva, Joao (2006) Counting Models in Integer Domains. In, International Conference on Theory and Applications of Satisfiability Testing, Seattle, USA, Springer, 410-423.

Morgan, Hywel, Holmes, David and Green, Nicolas G. (2006) High speed simultaneous single particle impedance and fluorescence analysis on a chip. [in special issue: Second International Conference on Advanced Materials and Nanotechnology] Current Applied Physics, 6, (3), 367-370. (doi:10.1016/j.cap.2005.11.020).

Muir, David, Middleton, Lee and Nixon, Mark S. (2006) Can You Identify a Criminal By His Walk?

Munroe, S, Groth, P, Jiang, Sheng, Miles, S, Tan, V and Moreau, L (2006) Data model for Process Documentation.

Munroe, S, Groth, P, Jiang, Sheng, Miles, S, Tan, V and Moreau, L (2006) Data model for Process Documentation.

Munroe, S, Groth, P, Jiang, Sheng, Miles, S, Tan, V and Moreau, L (2006) A WS-Addressing Profile for Distributed Process Documentation.

Munroe, S, Tan, V, Groth, P, Jiang, Sheng, Miles, S and Moreau, L (2006) The Provenance Standardisation Vision.

Munroe, S, Tan, V, Groth, P, Jiang, Sheng, Miles, S and Moreau, L (2006) The Provenance Standardisation Vision.

Munroe, S, Tan, V, Groth, P, Jiang, Sheng, Miles, S and Moreau, L (2006) A SOAP Binding For Process Documentation.

Munroe, S., Miles, S., Groth, P., Jiang, S., Tan, V., Moreau, L., Ibbotson, J. and Vazquez-Salceda, J. (2006) PrIMe: A Methodology for Developing Provenance-Aware Applications.

Munroe, S., Miles, S., Groth, P., Jiang, S., Tan, V., Moreau, L., Ibbotson, J. and Vazquez-Salceda, J. (2006) PrIMe: A Methodology for Developing Provenance-Aware Applications.

P

Panahi, Taban, PANAHI, M (ed.) (2006) emotion and thoughts -materialism or spirituality. XUDAFERIN Tehran, 10-14.

Panahi, Taban, PANAHI, M (ed.) (2006) Internet and its role in Globalization. XUDAFERIN Tehran, 1, (54), 13-14.

Panhi, Taban (2006) Handling Numerical Data In Digital Computers an Approach With Remedy Of Java, andisheh bartar Tehran

Patel, J. (2006) A Trust and Reputation Model for Agent-Based Virtual Organisations. University of Southampton, Electronics and Computer Science, Doctoral Thesis .

Pitzalis, D., Lahanier, C., Pillay, R., Aitken, G., Russell, A., Smith, D. A., Sinclair, P. A. S., Addis, M. J., Lowe, R., Hafeez, S., Lewis, P. H., Martinez, K. and schraefel, m. c. (2006) Semantically Exposing Existing Knowledge Repositories: a Case Study in Cultural Heritage. In, The first international conference on Semantics And digital Media Technology (SAMT 2006), Divani Palace Acropolis, Athensm, Greece, 06 - 08 Dec 2006.

Powers, Simon T. and He, Jun (2006) Evolving discrete-valued anomaly detectors for a network intrusion detection system using negative selection. In, the 6th UK Workshop on Computational Intelligence (UKCI'06), University of Leeds, , 41-48.

R

Rabinovich, Zinovi and Rosenschein, Jeffrey S. (2006) Dynamics Based Control: Structure. In, Workshop on Multi-Agent Sequential Decision Making in Uncertain Domains (MSDM 2006) , 148-161.

Rabinovich, Zinovi and Rosenschein, Jeffrey S. (2006) On the Response of EMT-based Control to Interacting Targets and Models. In, The Fifth International Joint Conference on Autonomous Agents and Multiagent Systems , 465-470.

Robinson, A P, Lewin, P L and Swingler, S G (2006) Detection of Manufacturing Defects in Polymeric Cable Joint Insulation using X-rays. In, 2006 IEEE International Symposium on Electrical Insulation, Toronto, Canada, 11 - 14 Jun 2006. , 34-37.

Rodrigues, M and Luck, M (2006) Analysing Partner Selection through Exchange Values. In, Sichman, J and Antunes, L (eds.) Multi-Agent Based Simulation VI. , Springer.

Rodrigues, M R and Luck, M, Sichman, J and Antunes, L (eds.) (2006) Analysing Partner Selection through Exchange Values. Multi-Agent-Based Simulation VI, 3891, 24-40.

Rodrigues, M R and Luck, M, Klusch, M, Rovatsos, M and Payne, T (eds.) (2006) Evaluating Dynamic Services in Bioinformatics. Cooperative Information Agents X, 4149, 183-197.

Rousu, J., Saunders, C., Szedmak, S. and Shawe-Taylor, J. (2006) Kernel-Based Learning of Hierarchical Multilabel Classification Models. Journal of Machine Learning Research, 7, 1601-1626.

S

Sadrzadeh, Mehrnoosh (2006) Actions and Resources in Epistemic Logic. University of Quebec at Montreal, Philosophy, Doctoral Thesis .

Sadrzadeh, Mehrnoosh (2006) High Level Quantum Structures in Linguistics and Multi-Agent Systems. In, AAAI Spring Symposia on Quantum Interactions, Stanford University, California, AAAI Press.

Shabtay, Amit, Rabinovich, Zinovi and Rosenschein, Jeffrey S. (2006) Behaviosites: A Novel Paradigm for Affecting Distributed Behavior. In, The Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, Hakodate, Japan, , 679-681.

Shabtay, Amit, Rabinovich, Zinovi and Rosenschein, Jeffrey S. (2006) Behaviosites: A Novel Paradigm for Affecting Distributed Behavior. In, The Fourth International Workshop on Engineering Self-Organizing Applications (ESOA 2006) , 19-35.

Shabtay, Amit, Rabinovich, Zinovi and Rosenschein, Jeffrey S. (2006) Behaviosites: Manipulation of Multiagent System Behavior through Parasitic Infection. In, The Twenty-First National Conference on Artificial Intelligence , 709-715.

Sinclair, Patrick, Addis, Matthew, Choi, Freddy, Doerr, Martin, Lewis, Paul and Martinez, Kirk (2006) The use of CRM Core in Multimedia Annotation. In, First International Workshop on Semantic Web Annotations for Multimedia (SWAMM), Edinburgh, Scotland,

Sinclair, Patrick, Lewis, Paul, Martinez, Kirk, Addis, Matthew and Prideaux, Daniel (2006) Semantic Web Integration of Cultural Heritage Sources. At 15th World Wide Web Conference, Edinburgh, Scotland, 23 - 26 May 2006.

Slattery, Sue, Middleton, Lee and Nixon, Mark S. (2006) Crime Walk.

Sleeman, Derek, Ajit, Suraj, Fowler, David W and Knott, David (2006) The role of ontologies in creating and maintaining corporate knowledge: a case study from the aero industry. In, FOMI-06 Workshop Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy.

Snook, Colin, Poppleton, Michael and Johnson, Ian (2006) Towards a method for rigorous development of generic requirements patterns. In, Butler, M, Jones, C, Romanovsky, A and Troubitsyna, E (eds.) Rigorous development of complex fault tolerant systems. , Springer-Verlag Lecture Notes in Computer Science, 326-342. (Springer Lecture Notes in Computer Science).

Sugiura, Shinya and Iizuka, Hideo (2006) Study of reactively steered ring antenna array suitable for automobiles. At IEEE Antennas and Propagation Society International Symposium, Albuquerque, USA, , 2365-2368.

Surridge, M. and Ferris, J. (2006) P5.2.2 Service Binding and Access Model Registration.

Surridge, M., Ferris, J., Matskanis, N. and Cantalupo, B. (2006) P5.3.2 Adaptive Workflow Technology.

Surridge, M., Leonard, T. A., McArdle, M. and Ahsant, M. (2006) P5.4.5 Design and implementation of dynamic security components.

Surridge, Mike, Payne, Terry R., Taylor, Steve J., Watkins, E. Rowland, Leonard, Thomas, Jacyno, Mariusz and Ashri, Ronald (2006) Semantic Security in Service Oriented Environments. In, UK e-Science Programme All Hands Meeting 2006 (AHM2006)

Swaffield, D J, Lewin, P L, LeBlanc, M and Sutton, S J (2006) A Comparison between 2-D Isothermal Region Matrix and Finite Element Analysis Cable Rating Methods for Water Cooled Circuits. In, 2006 IEEE International Symposium on Electrical Insulation, Toronto, Canada, 11 - 14 Jun 2006. , 490-493.

Swaffield, D J, Lewin, P L and Sutton, S J (2006) The use of Finite Element Analysis Modelling to Improve the Precision of High Voltage Cable Ratings. In, The 10th INSUCON International Electrical Insulation Conference, Birmingham, UK, 24 - 26 May 2006. The Electrical Insulation Association, 155-161.

T

Takenaka, Kosuke, Setsuhara, Yuichi, Nishikawa, Kazuaki, Ebe, Akinori, Sugiura, Shinya, Takahashi, Kazuo and Ono, Koichi (2006) Characterization of Inductively-Coupled RF Plasma Sources with Multiple Low-Inductance Antenna Units. Japanese Journal of Applied Physics, 45, (10B), 8046-8049.

Tan, V, Groth, P, Jiang, Sheng, Miles, S, Munroe, S and Moreau, L (2006) WS Provenance Glossary.

Tan, V, Munroe, S, Groth, P, Jiang, Sheng, Miles, S and Moreau, L (2006) Basic Transformation Profile for Documentation Style.

Tan, V, Munroe, S, Groth, P, Jiang, Sheng, Miles, S and Moreau, L (2006) Basic Transformation Profile for Documentation Style.

Tan, V, Munroe, S, Groth, P, Jiang, Sheng, Miles, S and Moreau, L (2006) A Profile for Non-Repudiable Process Documentation.

Teacy, W. T. L. (2006) Agent-Based Trust and Reputation in the Context of Inaccurate Information Sources. University of Southampton, Electronics and Computer Science, Doctoral Thesis .

Tsampouka, Petroula and Shawe-Taylor, John (2006) Approximate Maximum Margin Algorithms with Rules Controlled by the Number of Mistakes.

Tsampouka, Petroula and Shawe-Taylor, John (2006) Constant Rate Approximate Maximum Margin Algorithms.

Tu, Shu-Hui, Ross, N. and Chang, Chun-Ming (2006) Analytical Synthesis of Current-Mode Even-Nth-Order Single-Ended-Input OTA and Equal-Capacitor Elliptic Filter Structure with the Minimum Components. At IEEE: Internatinal Symposium on Circuits and Systems 2006 (ISCAS 2006), Kos, Greece, 21 - 24 May 2006. , 3329-3332.

U

Upstill, C., Addis, M. J., Choi, F., Taylor, S. J. and Watkins, E. R. (2006) Data mining and fusion.

V

Vaughan, A S, Chen, G, Lewin, P L, Dodd, S J and Swingler, S G (2006) Dielectric Ageing: Materials, Measurements and Modelling of Nano- to Meso-Scale Processes. In, IET Seminar on Challenges in the Modelling and Measurement of Electromagnetic Materials, Savoy Place, London, UK, 25 - 26 Oct 2006. IET, 29-32.

Vaughan, A. S., Gherbaz, G., Swingler, S. G. and Abd Rashid, N. (2006) Polar/non-polar Polymer Blends: On structural evolution and the electrical properties of blends of polyethylene and ethylene - vinyl acetate. In, 2006 Annual Report Conference on Electrical Insulation and Dielectric Phenomena, Kansas City, MI, USA, 15 - 18 Oct 2006. IEEE, 272-275.

Vaughan, A. S., Hosier, I. L., Dodd, S. J. and Sutton, S. J. (2006) On the structure and chemistry of electrical trees in polyethylene. J. Phys D, 39, (5), 962-978.

Vaughan, A.S., Swingler, S.G. and Zhang, Y. (2006) Polyethylene Nanodielectrics: The Influence of Nanoclays on Structure Formation and Dielectric Breakdown. IEEJ Trans. FM, 126, (11), 1057-63.

Veres, GV, Nixon, MS and Carter, JC (2006) Is enough enough? What is sufficiency in biometric data? At International Conference on Image Analysis and Recognition, 18 - 20 Sep 2006. Springer Lecture Notes.

Veres, Galina V., Huynh, Trung Dong, Nixon, Mark S., Smart, Paul R. and Shadbolt, Nigel R. (2006) The Military Knowledge Information Fusion Via Semantic Web Technologies.

W

Wagg, David K (2006) Local and Global Models for Articulated Motion Analysis. University of Southampton, School of Electronics and Computer Science, Doctoral Thesis .

White, S A, Carter, Janet, Jamieson, Stephan, Efford, Nick and Jenkins, Tony (2006) TOPS – Collaboration and Competition to Stretch our Most Able Programming Novices. In, 37th Annual ASEE/IEEE Frontiers in Education, Milwaukee, Wi, 11 - 13 Oct 2007. IEEE, 21-24.

White, S A and Liccardi, I (2006) Harnessing Insight Into Disciplinary Differences To Refine E-Learning Design. In, 36th Annual ASEE/IEEE Frontiers in Education, San Diego CA, 28 - 31 Oct 2006. IEEE, S3J5-S3J10.

White, Su (2006) Higher Education and Learning Technologies an Organisational Perspective. University of Southampton, ECS, Doctoral Thesis .

White, Susan A and Irons, Alastair (2006) The Shape of Informatics: A UK Perspective. In, Informatics Education Europe, Montpellier, France, 10 - 09 Nov 2006. HEA-ICS, University of Ulster.

White, Susan A and Liccardi, I (2006) DISCIPLINARY DIFFERENCES – Frameworks For Better Learning Design. In, IEEE ICALT2006 - The 6th International Conference on Advanced Learning Technologies, Kerkrade, The , Netherlands, 05 - 07 Jul 2006. IEEE.

Wong, Sylvia C (2006) Qualitative Topological Coverage of Unknown Environments by Mobile Robots. The University of Auckland, New Zealand, Department of Electrical and Computer Engineering, Doctoral Thesis .

Woods, D.C, Grove, D.M, Liccardi, I, Lewis, S.M and Frey, J.G (2006) An eLearning website for the design and analysis of experiments with application to chemical processes. At 17th COMPSTAT Symposium of the IASC 2006, Rome, ITALY, 28 Aug - 01 Sep 2006.

X

Xu, Z and Chen, G (2006) Space Charge Behaviour at LDPE Interface under AC Electric Stress. At The 6th international space charge conference, Tour, France, 03 - 07 Jul 2006.

Y

Youngs, I. J., Stevens, G. C. and Vaughan, A. S. (2006) Trends in dielectrics research: an international review from 1980 to 2004. J. Phys D, 39, (7), 1267-1276.

This list was generated on Tue Apr 15 04:01:20 2014 BST.