Intranet Tools

nb. next round of REF2013 will NOT be using data from eprints.ecs, but the central university REF interface.

RSS 1.0 Feed
RSS 2.0 Feed
Atom Feed
 
Warning

Important message for ECS staff
From 1st March 2012 ECS EPrints will be merging with the central Southampton EPrints Repository (ePrints Soton) and will no longer be accepting new publications - click here to find out more.

Items from Current ECS Groups > Electronic and Software Systems in 2004
(Grouped by Nothing)

Up a level
Export as [feed] Atom [feed] EPP RSS 2.0 [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Creator/Authors Name
Number of items: 77.

Al-Mazeed, A. H., Nixon, M. S. and Gunn, S. R. (2004) Classifiers Combination for Improved Motion Segmentation. In: International Conference on Image Analysis and Recognition, September 29 - October 1, 2004, Porto, Portugal. pp. 363-371.

Andrei, A., Schmitz, M., Eles, P., Peng, Z. and Al-Hashimi, B. M. (2004) Simultaneous Communication and Processor Voltage Scaling for Dynamic and Leakage Energy Reduction in Time-Constrained Systems. In: IEEE International Conference on Computer Aided Design (ICCAD), Nov 7-11, 2004, SAn Jose, CA. (In Press)

Andrei, A., Schmitz, M. T., Eles, P., Peng, Z. and Al-Hashimi, B. M. (2004) Overhead-Conscious Voltage Selection for Dynamic and Leakage Power Reduction of Time-Constraint Systems. In: Design, Automation and Test Europe Conference (DATE2004), Feb 2004, Paris, France. pp. 518-523.

Andrei, A., Schmitz, M. T., Eles, P., Peng, Z. and Al-Hashimi, B. M. (2004) Simultaneous Communication and Processor Voltage Scaling for Dynamic and Leakage Energy Reduction in Time-Constrained Systems. In: International Conference on Computer-Aided Design, Nov 2005, San Jose, USA. pp. 361-367.

Butler, M. and Ferreira, C. (2004) An Operational Semantics for StAC, a Language for Modelling Long-running Business Transactions. In: Coordination 2004, February 2004, Pisa. (In Press)

Butler, M., Leuschel, M., Lo Presti, S. and Turner, P. (2004) The Use of Formal Methods in the Analysis of Trust (Position Paper). In: Second International Conference on Trust Management (iTrust 2004), March 29 - April 1st 2004, Oxford, UK. pp. 333-339.

Carr, L., Miles-Board, T., Wills, G., Power, G., Bailey, C., Hall, W. and Grange, S. (2004) Evolving a Digital Library Environment to the Changing Needs of its Users. In: Healthcare Digital Libraries Workshop 2004 (HDL 2004), 16th September, University of Bath, Bath, UK.

Carr, L., Miles-Board, T., Wills, G., Power, G., Bailey, C., Hall, W. and Grange, S. (2004) Extending the Role of Digital Library: Computer Support for Creating Articles. In: The Fifteenth ACM Conference on Hypertext and Hypermedia, August 9-13, 2004, University of California, Santa Cruz, USA. pp. 12-21.

Carr, L., Miles-Board, T., Wills, G., Woukeu, A. and Hall, W. (2004) Towards a Knowledge-Aware Office Environment. In: 14th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2004), 5-8th October 2004, Whittlebury Hall, Northamptonshire, UK. pp. 489-491.

Carr, L., Miles-Board, T., Wills, G., Woukeu, A. and Hall, W. (2004) Towards a Knowledge-Aware Office Environment. In: 5th International Conference on Practical Aspects of Knowledge Management (PAKM 2004), 2-3 December, Vienna, Austria. pp. 129-140.

Carr, L., Miles-Board, T., Woukeu, A., Wills, G. and Hall, W. (2004) The Case for Explicit Knowledge in Documents. In: ACM Symposium on Document Engineering, October 28-30, Milwaukee, Wisconsin. pp. 90-98.

Carrabs, F., Cerulli, R., Gentili, M. and Parlato, G. (2004) Minimum Weighted Feedback Vertex Set on Diamonds. In: CTW. pp. 81-85.

Chang, C. M., Al-Hashimi, B. M. and Ross, N. J. (2004) Unified Active Filter Structures. IEE Proceedings: Circuits, Devices and Systems .

Chang, C. M., Al-Hashimi, B. M., Sun, Y. and Ross, N. J. (2004) New High Order Filter Structures Using Only Single-Ended-Input OTAs and Grounded Capacitors. IEEE Transactions on Circuits and Systems I: Fundamental Theroy and Applications . ISSN 1057-7122

Cirstea, C. (2004) A compositional approach to defining logics for coalgebras. Theoretical Computer Science, 327 (1). pp. 45-69. ISSN 0304-3975

Cirstea, C. (2004) On Logics for Coalgebraic Simulation. In: 7th International Workshop on Coalgebraic Methods in Computer Science, March 27 - 29, 2004, Barcelona, Spain. pp. 63-90.

Cirstea, C. and Pattinson, D. (2004) Modular Construction of Modal Logics. In: Fifteenth International Conference on Concurrency Theory, 31 August - 3 September 2004, London, UK. pp. 258-275.

Denney, E., Fischer, B. and Schumann, J. (2004) Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software. In: Second International Joint Conference on Automated Reasoning (IJCAR 2004), July 2004, Cork. pp. 198-212.

Dutta, P. S., Dasmahapatra, S., Gunn, S. R., Jennings, N. R. and Moreau, L. (2004) Cooperative Information Sharing to Improve Distributed Learning. In: The AAMAS 2004 workshop on Learning and Evolution in Agent-Based Systems, July 19 -- 24, New York. pp. 18-23.

Fischer, B., Knuth, K., Hajian, A. and Schumann, J. (2004) Automatic Derivation of Statistical Data Analysis Algorithms: Planetary Nebulae and Beyond. In: 23rd International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, August 3-8, 2003, Jackson Hole, Wyoming, USA. pp. 276-291.

Fischer, B., Knuth, K., Hajian, A. and Schumann, J. (2004) Automatic Derivation of Statistical Data Analysis Algorithms: Planetary Nebulae and Beyond. In: 23rd International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, August 3-8, 2003, Jackson Hole, Wyoming, USA. pp. 276-291.

Fowler, D. W., Sleeman, D., Wills, G., Lyon, T. and Knott, D. (2004) The Designers' Workbench: Using Ontologies and Constraints for Configuration. In: The Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, 13th-15th December 2004, Queens' College, Cambridge, UK.

Garratt, P. W. and Dawes, C. (2004) Wireless Network Support For Pedagogic Interaction. In: First International Conference on Innovations in Learning For The Future:E-Learning, 26-27Oct04, Istanbul.

Garratt, P. W., Yilmaz, E. and Rushton, A. (2004) Modelling Airbus Flight using a Circuit Design language. In: Modelling & Simulation International AMSE Conference, July 2004, Lyon France.

Garratt, P. W., Rushton, A. and Yilmaz, E. (2004) Building a Flight Control System for a Modelled Aircraft. In: MS02004 International Conference on Modeling And Simulation, April 2004, Minsk.

Gonciari, P. T. and Al-Hashimi, B. (2004) A Compression-Driven Test Access Mechanism Design Approach. In: European Test Synposium, 23-26 May, 2004, Corsica, France. (In Press)

GRANGE, S., WILLS, G. B., BAILEY, C., CARR, L., HALL, W. and WARWICK, D. (2004) USING A DYNAMIC REVIEW PROCESS FOR ORTHOPAEDIC HAND RESEARCH. In: Wessex Gauvain Orthopaedic Meeting 2004, June 2004, Ark Centre. Basingstoke.

Guyon, I. M., Gunn, S. R., Ben-Hur, A. and Dror, G. (2004) Result Analysis of the NIPS 2003 Feature Selection Challenge. In: Advances in Neural Information Processing Systems, Vancouver, B.C., Canada.

Hallerstede, S. and Butler, M. (2004) Performance Analysis of Probabilistic Action Systems. Formal Aspects of Computing, 16 (4). pp. 313-331. ISSN 0934-5043

Henderson, P., Crouch, S. and Walters, R. J. (2004) Information Invasion in Enterprise Systems: Modelling, Simulating and Analysing System-level Information Propagation. In: The 6th International Conference on Enterprise Information Systems (ICEIS 2004), April 14-17, 2004, Porto, Portugal. pp. 473-481.

Henderson, P., Walters, R. J. and Crouch, S. (2004) Implementing Hierarchical Features in a Graphically Based Formal Modelling Language. In: The Twenty-Eighth Annual International Computer Software & Applications Conference, 28-30 September 2004, Hong Kong. pp. 92-98.

Hennessy, M., Merro, M. and Rathke, J. (2004) Towards a behavioural theory of access and mobility control in distributed systems. Theoretical Computer Science, 322 (3). pp. 615-669.

Hennessy, M. and Rathke, J. (2004) Typed behavioural equivalences for processes in the presence of subtyping. Mathematical Structures in Computer Science, 14 (5). pp. 651-684.

Hennessy, M., Rathke, J. and Yoshida, N. (2004) SafeDpi: a language for controlling mobile code. Lecture Notes in Computer Science, Proc. Springer-Verlag.

Huyser, K. A., Knuth, K. H., Fischer, B., Schumann, J., Granquist-Fraser, D. and Hajian, A. R. (2004) Discovering Planetary Nebula Geometries: Explorations with a Hierarchy of Models. In: Twentyfourth International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, July 25-30, 2004, Garching bei München, Germany. pp. 135-142.

Jafaripanah, M., Al-Hashimi, B. and White, N. M. (2004) Design Consideration and Implementation
of Analog Adaptive Filters
for Sensor Response Correction.
In: 12th Iranian Conference on Electrical Engineering (ICEE2004), 11-13 May 2004, Mashhad, Iran. pp. 109-114.

Jeffrey, A. and Rathke, J. (2004) A theory of bisimulation for a fragment of concurrent ML with local names. Theoretical Computer Science, 323 (1-3). pp. 1-48. ISSN 0304-3975

Krstic, M., Maharatna, K., Troya, A., Grass, E. and Jagdhold, U. (2004) Baseband processor for IEEE 802.11a standard with embedded BIST. Facta Universitatis, 17 . pp. 231-239.

Lo Presti, S., Butler, M., Leuschel, M., Snook, C. and Turner, P. (2004) Formal Modelling and Verification of Trust in a Pervasive Application. Technical Report , ECS, DSSE. (Unpublished)

Maharatna, K., Grass, E. and Jagdhold, U. (2004) A 64-point Fourier transform chip for high-speed wireless LAN application using OFDM. IEEE Journal of Solid-State Circuit, 39 (3). pp. 484-493.

Maharatna, K., Troya, A., Banerjee, S. and Grass, E. (2004) New virtually scaling free adaptive CORDIC rotator. IEE Proceedings on Computers and Digital Techniques, 151 (6). pp. 448-456.

Maharatna, K., Troya, A., Banerjee, S., Grass, E. and Krstic, M. (2004) A 16-bit CORDIC rotator for high-performance wireless LAN. In: IEEE Personal Indoor and Mobile Radio Communication (PIMRC) 2004, Barcelona, Spain.

Maharatna, K., Troya, A., Krstic, M., Grass, E. and Jagdhold, U. (2004) A CORDIC like processor for computation of arctangent and absolute magnitude of a vector. In: IEEE International Symposium on Circuits and Systems (ISCAS) 2004, Vancouver, Canada. II-713-716.

Maneewatthana, T., Wills, G. and Hall, W. (2004) Adaptive Link Services for the Semantic Web. In: 14th International Conference on Knowledge Engineering and Knowledge Management, October 5-8, 2004, Whittlebury Hall, UK. pp. 469-470.

Merrett, G. and Al-Hashimi, B. M. (2004) Leakage Power Analysis and Comparison of Deep Submicron Logic Gates. In: IEEE 14th International Workshop on Power And Timing Modeling, Optimization and Simulation (PATMOS 2004), September 2004, Santorini, Greece. pp. 198-207.

Miles-Board, T., Carr, L., Woukeu, A., Wills, G. and Hall, W. (2004) Towards Semantic Web Support for Writing Project Proposals. In: The Fourteenth International World Wide Web Conference (WWW2005), Chiba, Japan.

Nicolici, N. and Al-Hashimi, B. M. (2004) Testability Trade-offs for BIST Data Paths. Journal of Electronic Testing, Theory and Applications (JETTA), 20, Is . ISSN 09238174

Pearce, C. B., Gunn, S. R., Ahmed, A. and Johnson, C. D. (2004) Investigation of the use of machine learning in predicting severity in acute pancreatitis. In: 11th Joint Meeting of the International Association of Pancreatology.

Pearce, C. B., Gunn, S. R., Ahmed, A. and Johnson, C. D. (2004) The use of machine learning techniques to predict severity in acute pancreatitis. In: Digestive Disease Week 2004, New Orleans, U.S.A..

Pearce, C. B., Gunn, S. R., Ahmed, A. and Johnson, C. D. (2004) Using machine learning to predict severity in acute pancreatitis. In: British Society of Gastroenterology.

Poppleton, M. R. and Banach, R. N. (2004) Requirements Validation by Lifting Retrenchments in B. In: ICECCS2004: IEEE International Conference on Engineering of Complex Computer Systems, April 2004, Florence, Italy. pp. 87-96.

Rogers, J. D. and Gunn, S. R. (2004) Ensemble Algorithms for Feature Selection. In: Sheffield Machine Learning Workshop.

Rosinger, P., Al-Hashimi, B. and Nicolici, N. (2004) Scan architecture with mutually exclusive scan segment activation for shift and capture power reduction. IEEE Transactions on Computer Aided Design, 23 (7). pp. 1142-1153.

Schmitz, M. T., Al-Hashimi, B. M. and Eles, P. (2004) Iterative schedule optimisation for voltage scalable distributed embedded systems. ACM Transactions on Embedded Computing Systems, 3 (1). pp. 1-36.

Schmitz, M. T., Al-Hashimi, B. M. and Eles, P. (2004) Iterative Schedule Optimization for Voltage Scalable Distributed Embedded Systems. ACM Transactions on Embedded Computing Systems, 3 (1). pp. 182-217.

Schmitz, M. T., Al-Hashimi, B. M. and Eles, P. (2004) System-Level Design Techniques for Energy-Efficient Embedded Systems. Kluwer Academic Publishers. ISBN 1-4020-7750-5

Schmitz, M. T., Al-Hashimi, B. M. and Eles, P. (2004) Co-Synthesis of Energy Efficient Multi-Mode Embedded Systems. IEEE Transactions on Computer Aided Design of ICs and Systems Design . (In Press)

Schmitz, M. T., Al-Hashimi, B. M. and Eles, P. (2004) System-Level Design Techniques for Energy-Efficient Embedded Systems. CAD Frameworks Kluwer Academic Publishers, Boston. ISBN Hardbound, ISBN 1-4020-7750-5

Shafik, R. A. and Islam, A. H. M. R. (2004) Comparative Study of Weiner-Hopf and LMS algorithm for Adaptive Noise Cancellation of Speech. IEB Journal of Electrical Engineering, 31 (1&2). pp. 50-54. ISSN 03794318

Shafik, R. A. and Yousaf-Zai, F. Q. (2004) A Novel Approach to Noisy Speech recognition using DTW algorithm with Mel-Frequency Cepstral Coefficients. Journal of Engineering and Technology (JET-IUT), 5 (2). pp. 21-29.

Snook, C. and Butler, M. (2004) U2B - A tool for translating UML-B models into B. In: UML-B Specification for Proven Embedded Systems Design, Springer. ISBN 1-4020-2866-0 (In Press)

Snook, C., Butler, M., Edmunds, A. and Johnson, I. (2004) Rigorous development of reusable, domain-specific components, for complex applications. In: 3rd International Workshop on Critical Systems Development with UML, October 12th, 2004, Lisbon. pp. 115-129.

Snook, C., Butler, M. and Oliver, I. (2004) The UML-B Profile for formal systems modelling in UML. In: UML-B Specification for Proven Embedded Systems Design, Springer. ISBN 1-4020-2866-0 (In Press)

Sobocinski, P. (2004) Deriving process congruences from reaction rules. PhD thesis, University of Aarhus.

Swabey, M., Beeby, S., Brown, A. and Chad, J. (2004) Using Otoacoustic Emissions as a Biometric. In: First International Conference on Biometric Authentication (ICBA 2004), 15-17th July 2004, Hong Kong. pp. 600-606.

Swabey, M. A., Beeby, S. P., Brown, A. D. and Chad, J. E. (2004) Investigation into the uniqueness of neonate transient otoacoustic emissions. Acoustics Research Letters Online, 5 (4). pp. 139-142. ISSN 1529-7853

Thomas, K. S., Molinari, M. and Cox, S. J. (2004) Treatment of boundary conditions in the analysis of PBG structures. In: Fifth IEE International Conference on Computation in Electromagnetics., 19-22 April, 2004, Stratford-upon-Avon. pp. 51-52.

Thomas, K. S., Molinari, M. and Cox, S. J. (2004) Treatment of boundary conditions in the analysis of PBG structures. In: Fifth IEE International Conference on Computation in Electromagnetics., 19-22 April, 2004, Stratford-upon-Avon. pp. 51-52.

Wilcock, R. and Al-Hashimi, B. M. (2004) Power-Aware Design Method for Class-A Switched-Current Wave Filters. IEE Proceedings - Circuits Devices and Systems .

Wilcock, R. and Al-Hashimi, B. M. (2004) Power-Conscious Design Methodology for Class-A Switched-Current Wave Filters. In: IEEE International Symposium on Circuits and Systems, Vancouver, Canada.

Wills, G., Fowler, D., Sleeman, D., Crowder, R., Kampa, S., Carr, L. and Knott, D. (2004) Issues in Moving to a Semantic Web for a Large Corporation. In: 5th International Conference on Practical Aspects of Knowledge Mangement, 2-3 December 2004, Vienna, Austria. pp. 378-388.

Wills, G., Woukeu, A., Bailey, C., Ong, A., Carr, L., Conole, G., Hall, W. and Grange, S. (2004) Ontological Driven Learning Agreements. In: EDMEDIA 2004 - World Conference on Education Multimedia, Hypermedia and Telecommunications, June 21 - 26, 2004, Lugano, Switzerland.

Wills, G. B., Davis, H. C. and Cooke, E. C. (2004) Paired Programming for Non-Computing Students. In: LTSN-ICS Fifth Annual Conference, August 2004, Ulster, UK.

Wu, D., Al-Hashimi, B. M. and Eles, P. (2004) Dynamic and Leakage Power-Composition Profile Driven Co-Synthesis for Energy and Cost Reduction. In: System-On-Chip Design, Test and Technology, September 2004, Loughborough, UK. (In Press)

Xie, Y. and Al-Hashimi, B. (2004) Analogue Adaptive Filters Using Wave Synthesis Technique. In: IEEE International Symposium on Circuits and Systems 2004 (ISCAS2004), May, 2004, Vancouver, Canada.

Xie, Y. and Al-Hashimi, B. (2004) 'Switched-Current Wave Group Delay Equalizers'. accepted by IEE Proceedings of Circuits, Devices and Systems . (In Press)

Yang, J. and Gunn, S. R. (2004) Input Uncertainty in Support Vector Machines. In: Sheffield Machine Learning Workshop.

This list was generated on Sun Nov 23 00:57:31 2014 GMT.
  Welcome from Deputy Head of School (Research) Research Prospectus Industrial Partnerships New Research Students Notes for Guidance New Research Students Notes for Guidance
The ECS EPrints Repository supports OAI 2.0 with a base URL of http://eprints.ecs.soton.ac.uk/cgi/oai2

EPrints is free software developed by the University of Southampton to facilitate Open Access to research.
EPrints