Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2004

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

A

Al-Mazeed, A. H., Nixon, M. S. and Gunn, S. R. (2004) Classifiers Combination for Improved Motion Segmentation. At International Conference on Image Analysis and Recognition, Porto, Portugal, 29 Sep - 01 Oct 2004. Springer-Verlag Heidelberg, 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), SAn Jose, CA, 07 - 11 Nov 2004. IEEE International Conference on Computer Aided Design (ICCAD.

Andrei, Alexandru, Schmitz, Marcus T, Eles, Petru, Peng, Zebo and Al-Hashimi, Bashir M (2004) Overhead-Conscious Voltage Selection for Dynamic and Leakage Power Reduction of Time-Constraint Systems. In, Design, Automation and Test Europe Conference (DATE2004), Paris, France, IEEE, 518-523.

Andrei, Alexandru, Schmitz, Marcus T, Eles, Petru, Peng, Zebo and Al-Hashimi, Bashir 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, San Jose, USA, IEEE, 361-367.

B

Butler, Michael and Ferreira, Carla (2004) An Operational Semantics for StAC, a Language for Modelling Long-running Business Transactions. In, Coordination 2004, Pisa, Springer.

Butler, Michael, Leuschel, Michael, Lo Presti, Stephane and Turner, Phillip (2004) The Use of Formal Methods in the Analysis of Trust (Position Paper). In, Second International Conference on Trust Management (iTrust 2004), Oxford, UK, 01 Mar - 29 Apr 2004. Springer, 333-339.

C

Carr, Leslie, Miles-Board, Timothy, Wills, Gary, Power, Guillermo, Bailey, Christopher, Hall, Wendy and Grange, Simon (2004) Evolving a Digital Library Environment to the Changing Needs of its Users. In, Healthcare Digital Libraries Workshop 2004 (HDL 2004), University of Bath, Bath, UK,

Carr, Leslie, Miles-Board, Timothy, Wills, Gary, Power, Guillermo, Bailey, Christopher, Hall, Wendy and Grange, Simon (2004) Extending the Role of Digital Library: Computer Support for Creating Articles. In, The Fifteenth ACM Conference on Hypertext and Hypermedia, University of California, Santa Cruz, USA, 09 - 13 Aug 2004. , 12-21.

Carr, Leslie, Miles-Board, Timothy, Wills, Gary, Woukeu, Arouna and Hall, Wendy (2004) Towards a Knowledge-Aware Office Environment. At 14th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2004), Whittlebury Hall, Northamptonshire, UK, 08 - 05 Oct 2004. Springer-Verlag, 489-491.

Carr, Leslie, Miles-Board, Timothy, Wills, Gary, Woukeu, Arouna and Hall, Wendy (2004) Towards a Knowledge-Aware Office Environment. In, 5th International Conference on Practical Aspects of Knowledge Management (PAKM 2004), Vienna, Austria, 02 - 03 Dec 2004. Springer, 129-140.

Carr, Leslie, Miles-Board, Timothy, Woukeu, Arouna, Wills, Gary and Hall, Wendy (2004) The Case for Explicit Knowledge in Documents. In, ACM Symposium on Document Engineering, Milwaukee, Wisconsin, 28 - 30 Oct 2004. , 90-98.

Carrabs, Francesco, Cerulli, Raffaele, Gentili, Monica and Parlato, Gennaro (2004) Minimum Weighted Feedback Vertex Set on Diamonds. At CTW , 81-85.

Chang, Chun-Ming, Al-Hashimi, Bashir M. and Ross, Neil J. (2004) Unified Active Filter Structures. IEE Proceedings: Circuits, Devices and Systems

Chang, Chun-Ming, Al-Hashimi, Bashir M., Sun, Y. and Ross, Neil 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

Cirstea, Corina, Gumm, H.P. (ed.) (2004) A compositional approach to defining logics for coalgebras. Theoretical Computer Science, 327, (1), 45-69.

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

Cirstea, Corina and Pattinson, Dirk (2004) Modular Construction of Modal Logics. In, Fifteenth International Conference on Concurrency Theory, London, UK, 31 Aug - 03 Sep 2004. Springer, 258-275.

D

Denney, Ewen, Fischer, Bernd and Schumann, Johann (2004) Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software. In, Second International Joint Conference on Automated Reasoning (IJCAR 2004), Cork, Springer Verlag, 198-212.

Dutta, Partha S., Dasmahapatra, Srinandan, Gunn, Steve R., Jennings, N. R. and Moreau, Luc (2004) Cooperative Information Sharing to Improve Distributed Learning. In, The AAMAS 2004 workshop on Learning and Evolution in Agent-Based Systems, New York, 19 - 24 Jul 2004. , 18-23.

F

Fischer, Bernd, Knuth, Kevin, Hajian, Arsen and Schumann, Johann (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, Jackson Hole, Wyoming, USA, 03 - 08 Aug 2003. AIP Press, 276-291.

Fischer, Bernd, Knuth, Kevin, Hajian, Arsen and Schumann, Johann (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, Jackson Hole, Wyoming, USA, 03 - 08 Aug 2003. AIP Press, 276-291.

Fowler, David W., Sleeman, Derek, Wills, Gary, Lyon, Terry and Knott, David (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, Queens' College, Cambridge, UK, 13 - 15 Dec 2004.

G

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

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, Istanbul, 26 - 27 Oct 2004.

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

Garratt, Paul William, Rushton, Andrew and Yilmaz, Esat (2004) Building a Flight Control System for a Modelled Aircraft. In, MS02004 International Conference on Modeling And Simulation, Minsk,

Gonciari, Paul Theo and Al-Hashimi, Bashir (2004) A Compression-Driven Test Access Mechanism Design Approach. In, European Test Synposium, Corsica, France, 23 - 26 May 2004. IEEE.

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

H

Hallerstede, Stefan and Butler, Michael (2004) Performance Analysis of Probabilistic Action Systems. Formal Aspects of Computing, 16, (4), 313-331.

Henderson, Peter, Crouch, Stephen and Walters, Robert John (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), Porto, Portugal, 14 - 17 Apr 2004. , 473-481.

Henderson, Peter, Walters, Robert John and Crouch, Stephen (2004) Implementing Hierarchical Features in a Graphically Based Formal Modelling Language. In, The Twenty-Eighth Annual International Computer Software & Applications Conference, Hong Kong, 28 - 30 Sep 2004. IEEE Computer Society, 92-98.

Hennessy, Matthew, Merro, Massimo and Rathke, Julian, Sassone, Vladimiro (ed.) (2004) Towards a behavioural theory of access and mobility control in distributed systems. Theoretical Computer Science, 322, (3), 615-669.

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

Hennessy, Matthew, Rathke, Julian and Yoshida, Nobuko (2004) SafeDpi: a language for controlling mobile code, Springer-Verlag (Lecture Notes in Computer Science, Proc. Computer Scienc).

Huyser, Karen A., Knuth, Kevin H., Fischer, Bernd, Schumann, Johann, Granquist-Fraser, Domhnull and Hajian, Arsen 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, Garching bei M√ľnchen, Germany, 25 - 30 Jul 2004. AIP Press, 135-142.

J

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

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

K

Krstic, Milos, Maharatna, Koushik, Troya, Alfonso, Grass, Eckhard and Jagdhold, Ulrich (2004) Baseband processor for IEEE 802.11a standard with embedded BIST. Facta Universitatis, 17, 231-239.

L

Lo Presti, Stephane, Butler, Michael, Leuschel, Michael, Snook, Colin and Turner, Phillip (2004) Formal Modelling and Verification of Trust in a Pervasive Application.

M

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

Maharatna, Koushik, Troya, Alfonso, Banerjee, Swapna and Grass, Eckhard (2004) New virtually scaling free adaptive CORDIC rotator. IEE Proceedings on Computers and Digital Techniques, 151, (6), 448-456.

Maharatna, Koushik, Troya, Alfonso, Banerjee, Swapna, Grass, Eckhard and Krstic, Milos (2004) A 16-bit CORDIC rotator for high-performance wireless LAN. In, IEEE Personal Indoor and Mobile Radio Communication (PIMRC) 2004, Barcelona, Spain,

Maharatna, Koushik, Troya, Alfonso, Krstic, Milos, Grass, Eckhard and Jagdhold, Ulrich (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, Thanyalak, Wills, Gary and Hall, Wendy (2004) Adaptive Link Services for the Semantic Web. At 14th International Conference on Knowledge Engineering and Knowledge Management, Whittlebury Hall, UK, 05 - 08 Oct 2004. Springer-Verlag Heidelberg, 469-470.

Merrett, Geoff and Al-Hashimi, Bashir 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), Santorini, Greece, , 198-207.

Miles-Board, Timothy, Carr, Leslie, Woukeu, Arouna, Wills, Gary and Hall, Wendy (2004) Towards Semantic Web Support for Writing Project Proposals. In, The Fourteenth International World Wide Web Conference (WWW2005), Chiba, Japan,

N

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

P

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. At 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. At 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. At British Society of Gastroenterology

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

R

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

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

S

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

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

Schmitz, Marcus T, Al-Hashimi, Bashir M and Eles, Petru (2004) System-Level Design Techniques for Energy-Efficient Embedded Systems, Kluwer Academic Publishers

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

Schmitz, Marcus T., Al-Hashimi, Bashir M. and Eles, Petru (2004) System-Level Design Techniques for Energy-Efficient Embedded Systems , Kluwer Academic Publishers, Boston (CAD Frameworks).

Shafik, Rishad Ahmed and Islam, Abu Hena Mohammad Razibul (2004) Comparative Study of Weiner-Hopf and LMS algorithm for Adaptive Noise Cancellation of Speech. IEB Journal of Electrical Engineering, 31, (1&2), 50-54.

Shafik, Rishad Ahmed and Yousaf-Zai, Fazli Qayyum (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), 21-29.

Snook, Colin and Butler, Michael (2004) U2B - A tool for translating UML-B models into B. In, Mermet, J. (ed.) UML-B Specification for Proven Embedded Systems Design. , Springer.

Snook, Colin, Butler, Michael, Edmunds, Andy and Johnson, Ian (2004) Rigorous development of reusable, domain-specific components, for complex applications. In, 3rd International Workshop on Critical Systems Development with UML, Lisbon, Technische Universitat Munchen, 115-129.

Snook, Colin, Butler, Michael and Oliver, Ian (2004) The UML-B Profile for formal systems modelling in UML. In, Mermet, J. (ed.) UML-B Specification for Proven Embedded Systems Design. , Springer.

Sobocinski, P (2004) Deriving process congruences from reaction rules. University of Aarhus, BRICS, Doctoral Thesis .

Swabey, Matthew, Beeby, Stephen, Brown, Andrew and Chad, John (2004) Using Otoacoustic Emissions as a Biometric. At First International Conference on Biometric Authentication (ICBA 2004), Hong Kong, 17 - 15 Jul 2004. Springer, 600-606.

Swabey, Matthew A, Beeby, Stephen P, Brown, Andrew D and Chad, John E (2004) Investigation into the uniqueness of neonate transient otoacoustic emissions. Acoustics Research Letters Online, 5, (4), 139-142.

T

Thomas, KS, Molinari, M and Cox, SJ (2004) Treatment of boundary conditions in the analysis of PBG structures. In, Fifth IEE International Conference on Computation in Electromagnetics., Stratford-upon-Avon, 19 - 22 Apr 2004. IEE, 51-52.

Thomas, KS, Molinari, M and Cox, SJ (2004) Treatment of boundary conditions in the analysis of PBG structures. In, Fifth IEE International Conference on Computation in Electromagnetics., Stratford-upon-Avon, 19 - 22 Apr 2004. IEE, 51-52.

W

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, GB, Davis, HC and Cooke, EC (2004) Paired Programming for Non-Computing Students. In, LTSN-ICS Fifth Annual Conference, Ulster, UK,

Wills, Gary, Fowler, David, Sleeman, Derek, Crowder, Richard, Kampa, Simon, Carr, Leslie and Knott, David (2004) Issues in Moving to a Semantic Web for a Large Corporation. In, 5th International Conference on Practical Aspects of Knowledge Mangement, Vienna, Austria, 02 - 03 Dec 2004. Springer, 378-388.

Wills, Gary, Woukeu, Arouna, Bailey, Christopher, Ong, A., Carr, Leslie, Conole, Grainne, Hall, Wendy and Grange, Simon (2004) Ontological Driven Learning Agreements. In, EDMEDIA 2004 - World Conference on Education Multimedia, Hypermedia and Telecommunications, Lugano, Switzerland, 21 - 26 Jun 2004.

Wu, Dong, Al-Hashimi, Bashir M and Eles, Petru (2004) Dynamic and Leakage Power-Composition Profile Driven Co-Synthesis for Energy and Cost Reduction. In, System-On-Chip Design, Test and Technology, Loughborough, UK,

X

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

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

Y

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

This list was generated on Thu Aug 21 22:55:40 2014 BST.