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

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 | I | J | K | L | M | N | O | P | R | S | T | V | W | X | Y | Z
Number of items: 176.

A

Adam, Ariel, Rabinovich, Zinovi and Rosenschein, Jeffrey S. (2008) Dynamics based control with PSRs. In, 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, 12 - 16 May 2008. International Foundation for Autonomous Agents and Multiagent Systems.

Adams, Jo, Metcalf, Cheryl, Macleod, Christina, Spicka, Caroline , Burridge, Jane, Cooper, Cyrus and Cox, Nigel (2008) Three Dimensional Functional Motion Analysis of Silver Ring Splints in Rheumatoid Arthritis. In, British Society of Rheumatology Annual Meeting, Liverpool, UK, 22 - 25 Apr 2008. Rheumatology, ii154-ii155.

Addis, Matthew, Beales, Richard, Lowe, Richard, Middleton, Lee, Norlund, Charlotte and Zlatev, Zlatko (2008) SUSTAINABLE ARCHIVING AND STORAGE MANAGEMENT OF AUDIOVISUAL DIGITAL ASSETS. In, 2008 Conference of the International Broadcasting Convention (IBC 2008), Amsterdam, Netherlands,

Addis, Matthew, Lowe, Richard and Norlund, Charlotte (2008) A Service Oriented Approach to Online Digital Audiovisual Archives. In, 2008 NEM Summit - Towards Future Media Internet, St Malo, France, 13 - 15 Oct 2008.

Addis, Matthew, Wright, Richard and Miller, Ant (2008) The Significance of Storage in the ‘Cost of Risk’ of Digital Preservation. In, The Fifth International Conference on Preservation of Digital Objects (iPRES 2008), British Library, London, UK, 29 - 30 Sep 2008.

Aghdaei, Sara, Sandison, Mairi E., Zagnoni, Michele, Green, Nicolas G and Morgan, Hywel (2008) Formation of artificial lipid bilayers using droplet dielectrophoresis. Lab on a Chip, 8, (10), 1617-1620. (doi:10.1039/B807374K). (PMID:18813381).

Ajit, Suraj, Sleeman, Derek, Fowler, David W and Knott, David (2008) Constraint capture and maintenance in engineering design. AI for Engineering Design, Analysis & Manufacturing, 22, 325-343.

Akhtman, J., Furlong, M., Palmer, A., Phillips, A., Sharkh, S.M. and Turnock, S.R. (2008) SotonAUV: the design and development of a small, manoeuvrable autonomous underwater vehicle. Underwater Technology, 28, (1), 31-34.

Akhtman, Yosef (2008) Patent: Method and apparatus of peak-to-average power ratio reduction, U.S. Patent No. 7,409,009; EP1,469,649; GB2,401,516.

Al-Harbi, S, Almuhareb, A, Al-Thubaity , A, Khorsheed, M. S. and Al-Rajeh, A (2008) Automatic Arabic Text Classification. In, Proceedings of The 9th International Conference on the Statistical Analysis of Textual Data, Lyon-, France,

Althubaity, A., Almuhareb, A., Alharbi, S., Al-Rajeh, A. and Khorsheed , M. (2008) KACST Arabic Text Classification Project: Overview and Preliminary Results. In, Proceedings of The 9th IBIMA conference on Information Management in Modern Organizations, Marrakech, Morocco,

Asamoah, Andrea , Koumenides, Christos , Kousetti, Chrysovalanto and Handford, David (2008) Student to lecturer link. (Submitted)

Ashraf, A, Hashmani, M, Chowdhry, Bhawani S, Mussadiq, M, Gee, Quintin and Rajput, A Q K (2008) Design and Analysis of the Security Assessment Framework for achieving Discrete Security Values in Wireless Sensor Networks. In, 21st Annual Canadian Conference on Electrical and Computer Engineering, CCECE, Niagara Falls, Ontario, Canada, 04 - 07 May 2008. IEEE, 855-860.

Avellino, G, Boniface, Mike, Cantalupo, B , Ferris, Justin, Matskanis, Nikolaos, Mitchell, William and Surridge, Mike (2008) A Dynamic Orchestration Model for Future Internet Applications. In, Lecture Notes in Computer Science 5377. ServiceWave 2008 , Springer, 266-274.

B

Babes, Monica, Munoz de Cote, Enrique and Littman, Michael L. (2008) Social Reward Shaping in the Prisoner's Dilemma. At Proceedings of the International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS)

Bailey, J.A., Wilson, P.R., Brown, A.D. and Chad, J. (2008) Behavioural Simulation and Synthesis of Biological Neuron Systems using VHDL. In, Proceedings of 2008 IEEE International Behavioral Modeling and Simulation Workshop. Behavioral Modeling and Simulation Workshop San Jose, US, New York, US, Institute of Electrical and Electronics Engineers. (doi:10.1109/BMAS.2008.4751231).

Ball, Elisabeth (2008) An Incremental Process for the Development of Multi-agent Systems in Event-B. University of Southampton, School of Electronics and Computer Science, Doctoral Thesis .

Bandara, Ayomi (2008) Semantic Description and Matching of Services for Pervasive Environments. University of Southampton, Electronics & Computer Science, Doctoral Thesis .

Bartlett, S.J., Rüedi, J.-D, Craig, A. and Fierz, C. (2008) Assessment of techniques for analyzing snow crystals in two dimensions. Annals of Glaciology, 48, 103-112.

Basford, Philip (2008) Data Authentication for Sensor Networks.

Benayas, A., Jaque, D., Hettrick, S.J., Wilkinson, J.S. and Shepherd, D.P. (2008) Investigation of neodymium-diffused yttrium vanadate waveguides by confocal microluminescence. Journal of Applied Physics, 103, (10), 103104-[6pp]. (doi:10.1063/1.2924321).

Benn, Andrew (2008) Battery sizing and design of a user friendly monitor/charger for a bicycle light. University of Southampton, Electronics and Computer Science, Masters Thesis .

Berti, G., Lonsdale, G, Schmidt, J.G., Benkner, S., Hose, D.R., Fenner, J.W., Jones, D.M., Middleton, S.E. and Wollny, G. (2008) GRID SIMULATION SERVICES FOR THE MEDICAL COMMUNITY. International Journal of Computational Intelligence

Boniface, Mike (2008) Cross-Domain Middlewares Interoperability for Distributed Aircraft Design Optimization. In, Fourth IEEE International Conference on eScience , 485-492.

Boniface, Mike and Phillips, Stephen (2008) D.2.3.3 Report on SIMDAT Integration Grid Infrastructure, Evaluation and Validation & D.2.3.4 Report on finalised production ready SIMDAT Integration Grid Infrastructure.

Boniface, Mike and Phillips, Stephen (2008) D2.3.1 Third report on Grid-infrastructure state-of-the-art and SIMDAT Infrastructure roadmap.

Bouchrika, Imed (2008) Gait Analysis and Recognition for Automated Visual Surveillance. University of Southampton, Department of Electronics and Computer Science, Doctoral Thesis .

C

Carter, Janet, Efford, Nick, Jamieson, Stephan, Jenkins, Tony and White, Su (2008) Taxing our Best Students. ITALICS, 7, (1), 120-127.

Chang, Victor (2008) Identify new Software Quality Assurance needs for the UK e-Science community and reintroduction for the right tools to improve evolved software engineering processes. In, All Hands Meeting 2008, OMII-UK Workshop, Edinburgh, UK, 08 - 11 Sep 2008. (Submitted).

Chen, George and Van Nguyen , T (2008) Apparent Mobility and its Relationship with Ageing in Polymeric Insulation Materials (invited talk). At 2008 International Conference on Condition Monitoring and Diagnosis, Beijing, China, 21 - 24 Apr 2008. IEEE, 633-637.

Chen, George and Baharudin, Fauzan (2008) Partial Discharge Modelling Based on a Cylindrical Model in Solid Dielectrics. At 2008 International Conference on Condition Monitoring and Diagnosis, Beijing, China, 21 - 24 Apr 2008. IEEE, 74-78.

Chen-Burger, Jessica and Kalfoglou, Yannis (2008) Knowledge management support for enterprise distributed systems. In, Rittgen, Peter (ed.) Handbook of ontologies for business interaction. , Information Science Reference, 294-309.

Choo, Wilson and Chen, George (2008) Electric Field Determination in DC Polymeric Power Cable in the Presence of Space Charge and Temperature Gradient under dc Conditions. At 2008 International Conference on Condition Monitoring and Diagnosis, Beijing, China, 21 - 24 Apr 2008. , 321-324.

Chowdhry, Bhawani S, Rajput, A Q K, Gee, Quintin and Panhwar, M F (2008) Establishment of the Top Quality Centralized Instrumentation Centre: a Model for Developing Countries. In, UNSPECIFIED, Raipur, Chhattisgarh, India, 10 - 12 Dec 2008. (Submitted).

Cordeiro, Lucas, Barreto, Raimundo and Oliveira, Meuse (2008) Towards A Semiformal Development Methodology for Embedded Systems. In, 3rd International Conference on Evaluation of Novel Approaches to Software Engineering, Funchal, Madeira, Portugal, 04 - 07 May 2008. , 5-12.

Cordeiro, Lucas, Mar, Carlos, Valentin, Eduardo, Cruz, Fabiano, Patrick, Daniel, Barreto, Raimundo and Lucena, Vicente (2008) A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit. In, In Proceedings of the Agility in the Software Process Workshop of the 15th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems, Belfast, Northern Ireland, 31 Mar - 04 Apr 2008. IEEE Computer Society, 408-417.

Cordeiro, Lucas, Mar, Carlos, Valentin, Eduardo , Cruz, Fabiano , Patrick, Daniel , Barreto, Raimundo and Lucena, Vicente (2008) An Agile Development Methodology Applied to Embedded Control Software under Stringent Hardware Constraints. SIGSOFT Softw. Eng. Notes, 33, (1), 1-10.

Crouch, Stephen, Li, Gary, Hu, Chunming and Wo, Tianyu (2008) The CROWN BES job scheduler. In, All Hands Meeting: Crossing Boundaries (AHM2008), Edinburgh, GB, 08 - 11 Sep 2008.

Cruz, Fabiano, Barreto, Raimundo, Cordeiro, Lucas and Maciel, Paulo (2008) ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis. In, Design, Automation and Test in Europe (DATE), Munich, Germany, 10 - 14 Mar 2008. IEEE Computer Society, 1510-1515.

Cruz, Fabiano, Barreto, Raimundo , Cordeiro, Lucas and Maciel, Paulo (2008) Towards a Model-Driven Engineering Approach for Developing Embedded Hard Real-Time Software. At In 23rd ACM Symposium on Applied Computing, Track on Real-Time Systems, Fortaleza, Brazil, 16 - 20 Mar 2008. , 308-314.

D

De Oliveira Cantante De Matos, Paulo and Marques-Silva, Joao (2008) Model Checking Event-B by Encoding into Alloy. In, ABZ2008, London, UK, Springer LNCS.

De Oliveira Cantante De Matos, Paulo and Marques-Silva, Joao (2008) Model Checking Event-B by Encoding into Alloy.

De Oliveira Cantante De Matos, Paulo, Planes, Jordi, Letombe, Florian and Marques-Silva, Joao (2008) An Algorithm Porfolio for MAX-SAT. At European Conference on Artificial Intelligence (July 21st to 25th), Patras, Greece, Patras, Greece, 21 - 25 Jul 2008.

De Roure, David and Goble, Carole (2008) Re-evaluating the Grid: the social life of programs. In, Danelutto, Marco, Fragopoulou, Paraskevi and Getov, Vladimir (eds.) CoreGRID series. , Springer-Verlag New York Inc., 201-212.

De Roure, David, Goble, Carole and Bhagat, Jiten (2008) Accelerating Time to Experiment – the myExperiment approach to Open Science. In, Microsoft eScience Workshop, Indianapolis, Indiana, USA, 07 - 09 Dec 2008. (Submitted).

Dissado, L, Laurent, C, Montanari, GC, Shimizu, N, Fothergill, J, Lewin, P L, Sekii, Y, Nelson, K, Densley, J, Morshuis, P, Rowland, S, Gerhard, R, Okamoto, T, Arnold, M, Stevens, G, Vaughan, A, Fukunaga, K, Chen, G, da Silva, E, Fouracre, T and Holboll, JT (2008) An open letter to members of the IEEE Dielectrics and Electrical Insulation Society. IEEE Electrical Insulation Magazine, 24, 4-4.

Doran, Paul, Tamma, Valentina, Palmisano, Ignazio, Payne, Terry and Iannone, Luigi (2008) Evaluating Ontology Modules Using an Entropy Inspired Metric.

E

Elkind, Edith, Goldberg, Leslie Ann, Goldberg, Paul W. and Wooldridge, Michael (2008) Tractable and Expressive Class of Marginal Contribution Nets and Its Applications. In, AAMAS-08

Evagorou, D, Kyprianou, A, Lewin, P L, Stavrou, A, Efthymiou, V and Georghiou, G E (2008) Evaluation of Partial Discharge Denoising using the Wavelet Packets Transform as a Preprocessing Step for Classification. In, IEEE 2008 Conference on Electrical Insulation and Dielectric Phenomena, Quebec City, Quebec, Canada, 26 - 29 Oct 2008. IEEE, 387-390.

F

Fairman, Matthew J., Price, Andrew R., Xue, Gang, Molinari, Marc, Nicole, Denis A., Marsh, Robert, Takeda, Kenji and Cox, Simon J. (2008) Earth System Modelling with Windows Workflow Foundation. Future Generation Computer Systems

Feng, Xian, Loh, Wei H., Flanagan, Joanne C., Camerlingo, Angela, Dasgupta, Sonali, Petropoulos, Periklis, Horak, Peter, Frampton, Ken, White, Nicholas M., Price, Jonathan H. V., Rutt, Harvey N. and Richardson, David J. (2008) Single-mode tellurite glass holey fiber with extremely large mode area for infrared nonlinear applications. Optics Express, 16, (18), 13651-13655. (doi:10.1364/OE.16.013651).

Ferris, Justin, Surridge, Mike and Watkins, Rowland (2008) Business Value Chains in Real-Time On-Line Interactive Applications. In, Grid Economics and Business Models: Lecture Notes in Computer Science 5206. , Springer, 1-12.

Ferris, Justin, Surridge, Mike, Watkins, Rowland, Fahringer, T, Prodan, R, Glinka, F , Gorlatch, S, Anthes, C, Arragon, A, Rawlings, C and Lipaj, A (2008) Edutain@Grid: A Business Grid Infrastructure for Real-Time On-Line Interactive Applications. In, Grid Economics and Business Models: Lecture Notes in Computer Science 5206. , Springer, 152-162.

Fowler, David W., Reul, Quentin and Sleeman, Derek (2008) IPAS ontology development. In, 3rd International Workshop on Formal Ontology Meet Industry Workshop (FOMI 2008) IOS Press, 120-131.

Fu, Mingli , Dissado, L.A., Chen, George and Fothergill, J.C. (2008) Space Charge Formation and its Modified Electric Field under Applied Voltage Reversal and Temperature Gradient in XLPE Cable. IEEE Transactions on Dielectrics and Electrical Insulation, 15, (3), 851-860. (doi:10.1109/TDEI.2008.4543123).

G

Garcia-Sanchez, Pablo, Ramos, Antonio, Green, Nicolas G and Morgan, Hywel (2008) Traveling-wave electrokinetic micropumps: velocity, electrical current, and impedance measurements. Langmuir, 24, (17), 9361-9369. (doi:10.1021/la800423k ).

Geard, N L and Wiles, J (2008) LinMap: visualising complexity gradients in evolutionary landscapes. Artificial Life, 14, (3), 277-297.

Gee, Quintin (2008) Keynote Address: Is it Right and is it Legal? At International Multi Topic Conference (IMTIC'08), Jamshoro, Sindh, Pakistan, 11 - 12 Apr 2008. (Submitted).

Glaser, Hugh (2008) Diversity.

Goble, Carole and De Roure, David (2008) Curating Scientific Web Services and Workflows. Educause Review, 43, (5)

Goble, Carole, Missier, Paolo and De Roure, David (2008) Scientific workflows. In, McGraw Hill 2009 Yearbook of Science & Technology. , McGraw Hill.

Graca, Ana, Lynce, Ines, Marques-Silva, Joao and Oliveira, Arlindo (2008) Generic ILP vs Specialized 0-1 ILP for Haplotype Inference. In, WCB08 - Workshop on Constraint Based Methods for Bioinformatics, Paris, France,

Graca, Ana, Marques-Silva, Joao, Lynce, Ines and Oliveira, Arlindo (2008) Efficient Haplotype Inference with Combined CP and OR Techniques. In, International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Paris, France, Springer LNCS.

Guan, Tao (2008) A Semantic Matching Approach for Grid Service Discovery. Unpublished

Guan, Tao (2008) A System Architecture to Provide Enhanced Grid Access for Mobile Devices. School of ECS, School of ECS, Doctoral Thesis .

Guan, Tao, Zaluska, Ed and Roure, David (2008) A Semantic Service Matching Middleware for Mobile Devices Discovering Grid Services. In, Third International Conference on Grid and Pervasive Computing

H

Hallerstede, Stefan (2008) On the purpose of Event-B proof obligations. In, ABZ 2008 Cofenrence, London, UK, 16 - 18 Sep 2008.

Hao, L and Lewin, P L (2008) Phase Resolved Partial Discharge Identification using a Support Vector Machine. In, 23rd IAR Workshop on Advanced Control and Diagnosis, Coventry University, UK, 27 - 28 Nov 2008. , 386-391.

Hao, L, Lewin, P L and Swingler, S G (2008) Identification of Multiple Partial Discharge Sources. In, 2008 International Conference on Condition Monitoring and Diagnosis, Beijing, China, 21 - 24 Apr 2008. , 118-121.

Hao, L., Lewin, P.L. and Swingler, S.G. (2008) Improving detection sensitivity for partial discharge monitoring of high voltage equipment. Measurement Science and Technology, 19, (5), 055707:1-055707:10. (doi:10.1088/0957-0233/19/5/055707).

He, ZY, Peng, Z, Eles, P, Rosinger, P and Al-Hashimi, BM (2008) Thermal-aware SoC test scheduling with test set partitioning and interleaving. JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 24, 247-257.

Henderson, Peter and De Silva, Nishadi (2008) System architecture induces document architecture. In, The 20th International Conference on Software Engineering and Knowledge Engineering (SEKE 2008), San Francisco, 01 - 03 Jul 2008.

Heras, Federico, Manquinho, Vasco and Marques-Silva, Joao (2008) On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization. In, International FLAIRS Conference, Florida, USA, AAAI Press.

Hosier, I.L. (2008) The occurrence of the hexagonal phase in two long chain monodisperse carboxylic acids at high pressure. Polymer, 49, (8), 2127-2132.

Hosier, Ian L, Reaud, Sebastien, Vaughan, Alun S and Swingler, Steve G (2008) Morphology, thermal, mechanical and electrical properties of propylene-based materials for cable applications. At IEEE International Symposium on Electrical Insulation, Vancouver, Canada, 07 - 11 Jun 2008. IEEE, 502-505.

Hosier, Ian L, Vaughan, Alun S, Sutton, Simon J, Cooper, Jenny and Davis, Fred J (2008) Chemical, Physical and Electrical properties of aged dodecylbenzene 3: Thermal ageing of mixed isomers in nitrogen and sealed conditions. IEEE Transactions on Dielectrics and Electrical Insulation, 15, (4), 1056-1064.

Hosier, Ian L, Vaughan, Alun S and Swingler, Steve G (2008) Studies on the ageing behavior of various synthetic and natural insulation oils. At 2008 International Conference on Dielectric Liquids, Poitiers, France, 29 Jun - 04 Jul 2008. IEEE, 331-334.

Hussain, Zakria, Shawe-Taylor, John, Saunders, Craig and Pasupa, Kitsuchart (2008) Basic metric learning.

I

Iizuka, Hideo, Hall, Peter, Sugiura, Shinya and Sato, Kazuo (2008) Varactor-Loaded H-Shaped Antenna With Radiation Pattern Control. IEEE Transactions on Antennas and Propagation, 56, (9), 2833-2840.

Illias, H A, Chen, G and Lewin, P L (2008) Modeling of Partial Discharges from a Spherical Cavity within a Dielectric Material under Variable Frequency Electric Fields. In, IEEE 2008 Conference on Electrical Insulation and Dielectric Phenomena, Quebec City, Quebec, Canada, 26 - 29 Oct 2008. IEEE, 447-450.

Isaksen, Leif (2008) The application of network analysis to ancient transport geography: a case study of Roman Baetica. Digital Medievalist, 4

J

Joochim, Tossaporn (2008) TD to UML-B using Atlas Transformation Language (ATL).

Joochim, Tossaporn (2008) Timing diagrams add Requirements Engineering capability to Event-B Formal Development.

K

Klami, Arto, Kaski, Samuel, Pasupa, Kitsuchart, Saunders, Craig and de Campos, Teófilo (2008) Prediction of relevance of an image from a scan pattern.

Koukharenko, E., Li, X., Nandhakumar, I., Frety, N., Beeby, S.P., Cox, D., Tudor, M.J., Schiedt, B, Trautmann, C, Bertsch, A and White, Neil M. (2008) Towards a nanostructured thermoelectric generator using ion-track lithography. Journal of Micromechanics and Microengineering, 18, (10), 104015-[9pp]. (doi:10.1088/0960-1317/18/10/104015).

Kyriacou E, Demetris (2008) A Scrutable User Modelling Infrastructure for enabling life-long User Modelling. In, Adaptive Hypermedia and Adaptive Web-Based Systems - Doctoral Consortium, Hannover , Germany, 29 Jul - 01 Aug 2008. (Submitted).

L

Lazaric, A., Munoz de Cote, E., Dercole, F. and Restelli, M. (2008) Bifurcation Analysis of Reinforcement Learning Agents. In, Tuyls, K., Nowe, A., Guessoum, Z. and Kudenko, D. (eds.) Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning. , Springer-Verlag, 129-144. (Lecture Notes in Artificial Intelligence 4865).

Letombe, Florian and Marques-Silva, Joao (2008) Improvements to Hybrid Incremental SAT Algorithms. In, International Conference on Theory and Applications of Satisfiability Testing, Guangzhou, China, Springer LNCS.

Lewin, P L, Wang, P, Swaffield, D J and Chen, G (2008) A Model for Bubble Motion in Non-uniform Electric Fields. In, 16th IEEE International Conference on Dielectric Liquids, ICDL 2008, Poitiers, France, 30 Jun - 03 Jul 2008. IEEE, 50-53.

Liffiton, Mark, Mneimneh, Maher, Lynce, Ines, Andraus, Zaher, Marques-Silva, Joao and Sakallah, Karem (2008) A Branch and Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Subformulas. Constraints: An International Journal

Lynce, Ines, Graca, Ana, Marques-Silva, Joao and Oliveira, Arlindo (2008) Haplotype Inference with Boolean Constraint Solving: An Overview. In, Internation Conference on Tools with Artificial Intelligence, Dayton, Ohio, USA, IEEE Press.

Lynce, Ines and Marques-Silva, Joao (2008) Haplotype Inference with Boolean Satisfiability. International Journal on Artificial Intelligence Tools, 17, (2), 355-387.

Lynce, Ines, Marques-Silva, Joao and Prestwich, Steve (2008) Boosting Haplotype Inference with Local Search. Constraints An International Journal, 13, (1-2), 155-179.

M

Maneewatthana, Thanyalak (2008) Contextual Annotation Framework using Ontology-Based Contextual Annotation Service. University of Southampton , School of Electronics and Computer Science, Doctoral Thesis .

Manes, C., Guala, M., Löwe, H., Bartlett, S.J., Egli, L. and Lehning, M. (2008) Statistical properties of fresh snow roughness. Water Resources Research, 44, 11407.

Marques-Silva, Joao (2008) Model Checking with Boolean Satisfiability. Journal of Algorithms in Cognition, Informatics and Logic, 63, (1-3), 3-16.

Marques-Silva, Joao (2008) Practical Applications of Boolean Satisfiability. In, Workshop on Discrete Event Systems (WODES'08), Goteborg, Sweden, IEEE Press.

Marques-Silva, Joao, Lynce, Ines and Manquinho, Vasco (2008) Symmetry Breaking for Maximum Satisfiability.

Marques-Silva, Joao, Lynce, Ines and Manquinho, Vasco (2008) Symmetry Breaking for Maximum Satisfiability. In, International Conference on Logic for Programming Artificial Intelligence and Reasoning, Doha, Qatar, 22 - 27 Nov 2008. Springer LNCS.

Marques-Silva, Joao and Manquinho, Vasco (2008) Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms. In, International Conference on Theory and Applications of Satisfiability Testing, Guangzhou, China, Springer LNCS.

Marques-Silva, Joao and Planes, Jordi (2008) Algorithms for Maximum Satisfiability using Unsatisfiable Cores. In, Design, Automation and Test in Europe Conference and Exhibition, Munich, Germany, 06 - 10 Mar 2008. ACM Press.

Metcalf, Cheryl (2008) The Relationship between Movement and Function of the Wrist and Hand: A Clinically Focused Kinematic Study. University of Southampton, School of Electronics and Computer Science, Doctoral Thesis .

Mills, B, Chau, CF, Rogers, ETF, Grant-Jacob, J, Stebbings, SL, Praeger, M, de Paula, AM, Froud, CA, Chapman, RT, Butcher, TJ, Baumberg, JJ, Brocklesby, WS and Frey, JG (2008) Direct measurement of the complex refractive index in the extreme ultraviolet spectral region using diffraction from a nanosphere array. APPLIED PHYSICS LETTERS, 93

Mitchell, Bill (2008) Characterizing Communication Channel Deadlocks in Sequence Diagrams. IEEE Transactions on Software Engineering, 34, (3), 305-320.

Mitchinson, P M, Lewin, P L , Chen, George and Jarman, P N (2008) A new approach to the study of surface discharge on the oil-pressboard interface. In, 16th IEEE International Conference on Dielectric Liquids, ICDL 2008, Poitiers, France, 30 Jun - 03 Jul 2008. IEEE, 186-189.

Mohamed, R, Markovsky, I and Lewin, P L (2008) Modeling and Parameter Estimation of High Voltage Transformer Using Rational Transfer Function State Space Approach. In, IEEE 2008 Conference on Electrical Insulation and Dielectric Phenomena, Quebec City, Quebec, Canada, 26 - 29 Oct 2008. IEEE, 467-470.

Mohd Ariffin, A and Lewin, P L (2008) Phase-Resolved Measurement and Modelling of Electroluminescence Phenomenon in Polyethylene Subjected to High Electrical Stress. In, 2008 International Conference on Condition Monitoring and Diagnosis, Beijing, China, 21 - 24 Apr 2008. , 264-267.

Mohd Ariffin, A, Lewin, P L, Mills, D H and Dodd, S J (2008) The Effect of Voltage Waveform on Phase-Resolved Electroluminescence Measurements. In, IEEE 2008 Conference on Electrical Insulation and Dielectric Phenomena, Quebec City, Quebec, Canada, 26 - 29 Oct 2008. IEEE, 603-606.

Morgado, Antonio Jose and Marques-Silva, Joao (2008) Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem. In, Workshop on experimental evaluation of algorithms for solving problems with combinatorial explosion, Udine, Italy,

Morgado, Antonio Jose and Marques-Silva, Joao (2008) A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem.

Morgado, Antonio Jose and Marques-Silva, Joao (2008) A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem. In, WCB08 - Workshop on Constraint Based Methods for Bioinformatics, Paris, France,

Mosweunyane, Gontlafetse (2008) Research Progress Documents. (Submitted)

Mowbray, Stuart David (2008) Modelling and Extracting Periodically Deforming Objects by Continuous, Spatio-temporal Shape Description. University of Southampton, Electronics and Computers Science, Doctoral Thesis .

Munoz de Cote, Enrique and Littman, Michael L. (2008) A Polynomial-time Nash Equilibrium Algorithm for Repeated Stochastic Games. In, the 24th. Conference on Uncertainty in Artificial Intelligence (UAI) AUAI Press, 419-426.

N

Nakai, Makoto, Iizuka, Hideo, Sugiura, Shinya and Sato, Kazuo (2008) Frequency tunable compact antenna for digital terrestrial radio reception. At IEEE Antennas and Propagation Society International Symposium, San Diego, USA, IEEE.

Ni, Yizhao, Chu, Carlton , Saunders, Craig and Ashburner, John (2008) Kernel methods for fmri pattern prediction. At WCCI 2008 (IJCNN 2008), Hong Kong, China, 01 - 06 Jun 2008.

O

Owens, Alisdair (2008) A Nine Month Progress Report on an Investigation into Mechanisms for Improving Triple Store Performance.

P

Palmisano, Ignazio, Tamma, Valentina, Iannone, Luigi, Payne, Terry and Doran, Paul (2008) Dynamic ontology evolution in Open Environments. At 7th International Semantic Web Conference (ISWC 2008), Karlsruhe, DE, 26 - 30 Oct 2008. 2pp.

Palmisano, Ignazio, Tamma, Valentina, Iannone, Luigi, Payne, Terry R. and Doran, Paul (2008) Dynamic ontology evolution in open environments. Southampton, GB, University of Southampton, 15pp.

Palmisano, Ignazio, Tamma, Valentina, Iannone, Luigi, Payne, Terry R. and Doran, Paul (2008) Dynamic Change Evaluation for Ontology Evolution in the Semantic Web. In, The 2008 IEEE/WIC/ACM International Conference on Web Intelligence

Payne, Terry R. (2008) Web Services from an Agent Perspective. IEEE Intelligent Systems, 23, (2)

Penn, Alexandra (2008) Mechanisms for the initiation of multicellularity in bacterial biofilms (abstract). In, Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. , MIT Press.

Penn, Alexandra (2008) What can artificial life offer the development of methodologies in the field of socio-ecological sustainability? (abstract). In, Bullock, Seth, Noble, Jason, Watson, Richard and Bedau, Mark (eds.) Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. , MIT Press.

Pilgrim, J A, Swaffield, D J, Lewin, P L and Payne, D (2008) An Investigation of Thermal Ratings for High Voltage Cable Joints through the use of 2D and 3D Finite Element Analysis. In, IEEE International Symposium on Electrical Insulation, Vancouver, BC, Canada, 08 - 11 Jun 2008. IEEE, 543-546.

Powers, Simon T and He, Jun (2008) A Hybrid Artificial Immune System and Self Organising Map for Network Intrusion Detection. Information Sciences, 178, (15), 3024-3042.

Pu, S.H, Laister, A.J., Holmes, A.S., Yeatman, E.M., Miles, R.E., Robertson, I.D. and Dou, G. (2008) High-Q continuously tunable zipping varactors with a large tuning range. In, 2008 Asia Pacific Microwave Conference (APMC 2008), Hong Kong, HK, 16 - 20 Dec 2008. , 1-4. (doi:10.1109/APMC.2008.4958046).

R

Rabinovich, Zinovi, Pochter, Nir and Rosenschein, Jeffrey S. (2008) Coordination and Multi-Tasking Using EMT. In, The Twenty-Third National Conference on Artificial Intelligence (AAAI 2008), Chicago, Illinois,, 13 - 17 Jul 2008. (Submitted).

Razali, Rozilawati (2008) Usability of Semi-formal and Formal Methods Integration - Empirical Assessments. University of Southampton, DSSE/ECS, Doctoral Thesis .

Reading, Martin and Vaughan, Alun (2008) Dispersion and Rheology of Poly(ethylene oxide) / MMT Nanocomposites. In, CEIDP 2008, Quebec,

Reading, Martin and Vaughan, Alun (2008) Rheological, thermal and electrical properties of Poly(ethylene oxide) / MMT nanocomposites. In, CEIDP 2008, Quebec,

Redavid, Domenico, Ianone, Luigi, Payne, Terry and Semeraro, Giovanni (2008) OWL-S Atomic services composition with SWRL rules. In, 17th International Symposium on Methodologies for Intelligent Systems (ISMIS'08), York University, Toronto, Canada, 20 - 23 May 2008.

Ripon, Shamim (2008) Extending and Relating Semantic Models of Compensating CSP. University of Southampton, Electronics and Computer Science, Doctoral Thesis .

S

Sah, Melike, Hall, Wendy and De Roure, David C (2008) Designing a Personalized Semantic Web Browser. In, International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems, Lecture Notes In Computer Science (LNCS), Hannover, Germany, 28 Jul - 01 Aug 2008.

Sah, Melike, Hall, Wendy and De Roure, David C (2008) SemWeB: A Semantic Web Browser for Supporting the Browsing of Users using Semantic and Adaptive Links. At International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems Doctoral Consortium, Lecture Notes In Computer Science (LNCS), Hannover, Germany, 28 Jul - 01 Aug 2008.

Santis, Alfredo De, Ferrara, Anna Lisa and Masucci, Barbara (2008) An attack on a payment scheme. Inf. Sci., 178, (5), 1418-1421.

Santis, Alfredo De, Ferrara, Anna Lisa and Masucci, Barbara (2008) New constructions for provably-secure time-bound hierarchical key assignment schemes. Theor. Comput. Sci., 407, (1-3), 213-230.

Sattar, Sohail A., Haque, Shamsul, Pathan, Mahmood K. and Gee, Quintin (2008) Implementation Challenges for Nastaliq Character Recognition. In, International Multi Topic Conference (IMTIC'08), Jamshoro, Sindh, Pakistan, 11 - 12 Apr 2008. (Submitted).

Saunders, Craig, Hardoon, David, Shawe-Taylor, John and Widmer, Gerhard (2008) Using String Kernels to Identify Famous Performers from their Playing Style. Intelligent Data Analysis, 12, (4)

Schorlemmer, Marco and Kalfoglou, Yannis (2008) Institutionalising Ontology-Based Semantic Integration. Applied Ontology, 3, (3), 131-150.

Seely, Richard David, Samangooei, Sina, Middleton, Lee, Carter, John and Nixon, Mark (2008) The University of Southampton Multi-Biometric Tunnel and introducing a novel 3D gait dataset. At Biometrics: Theory, Applications and Systems, Hyatt Regency Crystal City, Washington DC, USA, IEEE.

Sleeman, Derek, Ajit, Suraj, Fowler, David W and Knott, David (2008) The role of ontologies in creating and maintaining corporate knowledge: A case study from the aero industry. Journal of Applied Ontology, 3, 151-172.

Smorodin, T., Bohm, C., Gaspar, J., Schmidt, M., Paul, O. and Stecher, M. (2008) Modeling and improvement of a metallization system subjected to fast temperature cycle stress. In, Proc. International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Micro-Systems EuroSimE 2008 , 1-6.

Spicka, Caroline, Adams, Jo, Macleod, Christina and Metcalf, Cheryl (2008) A Study Examining the Effectiveness of Silver Ring Splints for Hand Function in Adult Patients with Arthritis. In, British Society of Rheumatology Annual Meeting, Liverpool, UK, 22 - 25 Apr 2008. Rheumatology, ii33-ii34.

Stavrogiannis, Lampros C. (2008) Development of an Autonomous Double Auction Market for its Effective Operation in Competitive Environments. Aristotle University of Thessaloniki, Dept. of Electrical and Computer Engineering, Masters Thesis .

Sugiura, Shinya, Kikuma, Nobuyoshi and Iizuka, Hideo (2008) Eigenspace-Based Blind Pattern Optimizations of Steerable Antenna Array for Interference Cancellation. IET Microwaves, Antennas and Propagation, 2, (4), 358-366.

Sugiura, Shinya, Suzuki, Noriyoshi and Iizuka, Hideo (2008) Effect of Number of Elements of a Reactively-Loaded Ring Antenna Array on the Performance of Beamwidth Variation. IEEE Antennas and Wireless Propagation Letters, 7, (1), 669-672.

Sun, Tao, Berkel, Cees van, Green, Nicolas G and Morgan, Hywel (2008) Digital signal processing methods for impedance microfluidic cytometry. Microfluidics and Nanofluidics, 6, 179-187. (doi:10.1007/s10404-008-0315-3).

Sun, Tao, Green, Nicolas G and Morgan, Hywel (2008) Analytical solutions for the electric field and dielectrophoretic force in a dielectrophoretic focusing electrode structure. Applied Physics Letters, 92, (17), 173901.1-173901.3. (doi:10.1063/1.2916827).

Sun, Tao , Green, Nicolas G and Morgan, Hywel (2008) Analytical and numerical modeling methods for impedance analysis of single cells on-chip. Nano, 3, (1), 55-63. (doi:10.1142/S1793292008000800).

Swaffield, D J, Lewin, P L, Chen, G and Swingler, S G (2008) Partial Discharge Characterization of Streamers in Liquid Nitrogen under Applied AC Voltages. IEEE Transactions on Dielectrics and Electrical Insulation, 15, (3), 635-646.

Swaffield, D J, Lewin, P L and Sutton, S J (2008) Methods for rating directly buried high voltage cable circuits. IET Generation, Transmission & Distribution, 2, (3), 393-401.

Swingler, S G, Hao, L, Lewin, P L and Swaffield, D J (2008) Using optical couplers to monitor the condition of electricity infrastructure. In, UKERC Sustainable Energy UK: Meeting the Science and Engineering Challenge, St Anne's College, Oxford, UK, 13 - 14 May 2008. , CD-ROM.

Sykulski, A.M., Olhede, S.C. and Pavliotis, G.A. (2008) High Frequency Variability and Microstructure Bias. At Inference and Estimation in Probabilistic Time-Series Models, Isaac Newton Institute for Mathematical Sciences, Cambridge., UK, 18 - 20 Jun 2008. , 90-97.

T

Tamma, Valentina and Payne, Terry R. (2008) Is a Semantic Web Agent a Knowledge-Savvy Agent? IEEE Intelligent Systems,, 23, (4), 82-85.

Tang, Jiayu (2008) Automatic Image Annotation and Object Detection. University of Southampton, ECS, Doctoral Thesis .

Thorbjornsen, Bjorn (2008) RF Time-of-Flight Locating System for WSNs (Project Information Sheet).

Tran, T N, Lewin, P L, Golosnoy, I O and Georghiou, G E (2008) Numerical Modelling of Positive Surface Streamer in Air. In, 17th International Conference on Gas Discharges and their Applications, GD2008, Cardiff, United Kingdom, 07 - 12 Sep 2008. , 257-260.

V

Vaughan, A.S. and Hosier, I.L. (2008) The effect of dibenzylidene sorbitol on the crystallization behaviour of polyethylene. Journal of Materials Science, 48, (8), 2922-2928.

W

Wang, P, Swaffield, D J, Lewin, P L and Chen, G (2008) The Effect of an Electric Field on Behaviour of Thermally Induced Bubble in Liquid Nitrogen. In, 16th IEEE International Conference on Dielectric Liquids, ICDL 2008, Poitiers, France, 30 Jun - 03 Jul 2008. IEEE, 22-25.

Wang, P, Swaffield, D J, Lewin, P L and Chen, G (2008) Thermal Bubble Motion in Liquid Nitrogen under Nonuniform Electric Fields. IEEE Transactions on Dielectrics and Electrical Insulation, 15, (3), 626-634.

White, Su (2008) Experiences at the teaching-research interface. At The Teaching-Research Interface: Implications for Practice in HE and FE, Stirling, UK, 29 - 30 Apr 2008. (Submitted).

White, Su (2008) Scanning the Horizon: Towards a Theory of Education 2.0. In, 8th International Conference on the Design of Cooperative Systems, Carry-le-Rouet, France, 20 - 23 May 2008. (Submitted).

White, Su and Irons, Alastair (2008) Relating Research and Teaching: comparing experiences and beliefs. In, The 38th Annual IEEE/ASEE Frontiers in Education (FIE) Conference, Saratoga Springs, New York, 22 - 25 Oct 2008. IEEE Computer Society Press. (Submitted).

White, Su and McPherson, Maggie (2008) Consolidating Understanding: How to Transform Higher Education through Technology Enhanced Learning. In, European Conference on Technology Enhanced Learning, Maastricht, Netherlands, 17 - 19 Sep 2008. (Submitted).

Wilcock, R. and Wilson, P. (2008) Improved 6.7 GHz CMOS VCO delay cell with up to seven octave tuning. ISCAS 2008. 2008 IEEE International Symposium on Circuits and Systems, 444-7.

Wilson, PR and Wilcock, R (2008) Yield improvement using configurable analogue transistors. ELECTRONICS LETTERS, 44, 1132-1133.

Wilson, PR, Wilcock, R and Al-Hashimi, BM (2008) Fully integrated 533 MHz programmable switched current PLL in 0.012 mm(2). ELECTRONICS LETTERS, 44, 1297-U16.

Wilson, Max L. (2008) A Transfer Report on the Development of a Framework to Evaluate Search Interfaces for their Support of Different User Types and Search Tactics.

Won, Seung Hwan (2008) Initial Synchronisation in the Multiple-Input Multiple-Output Aided Single- and Multi-Carrier DS-CDMA as well as DS-UWB Downlink. University of Southampton, School of ECS, Doctoral Thesis .

Worgan, Simon and Moore, Roger (2008) Enabling Reinforcement Learning for Open Dialogue Systems through Speech Stress Detection. At The Fourth International Workshop on Human-Computer Conversation, Bellagio, Italy,

Wright, Patricia, Belt, S, Soroka, AJ, Pham, DT, Dimov, S, De Roure, David and Petrie, Helen (2008) Cognitive support for older people from multimedia options. In, The 6th International Conference of the International Society for Gerontechnology (ISG 08), Pisa, Italy, International Society for Gerontechnology, 241.

X

Xu, Zhiqiang and Chen, George (2008) Interfacial Characteristics of Space Charge in Multi-layer LDPE. At 2008 International Conference on Condition Monitoring and Diagnosis, Beijing, China, 21 - 24 Apr 2008. , 332-335.

Y

Yadav, Divakar (2008) Rigorous Design of Distributed Transactions. Univsersity of Southampton, Southampton, UK, Dependable Systems and Software Engineering, School of Electronics and Computer Science, Doctoral Thesis .

Z

Zhao, Chenxu and Kazmierski, T.J. (2008) AUTOMATED PERFORMANCE OPTIMISATION AND LAYOUT SYNTHESIS OF MEMS ACCELEROMETER WITH SIGMA-DELTA FORCE-FEEDBACK CONTROL LOOP. At 2008 IEEE International Behavioral Modeling and Simulation Workshop

Zheng, Xiaoquan and Chen, George (2008) Propagation Mechanism of Electrical Tree in XLPE Cable Insulation by investigating a Double Electrical Tree Structure. IEEE Transactions on Dielectrics and Electrical Insulation, 15, (3), 800-807.

Zuckerman, Michael, Faliszewski, Piotr , Bachrach, Yoram and Elkind, Edith (2008) Manipulating the Quota in Weighted Voting Games. In, Twenty-Third AAAI Conference on Artificial Intelligence, Chicago, 13 - 17 Jul 2008.

This list was generated on Tue Dec 16 02:29:53 2014 GMT.