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: No Grouping | Authors/Creators | Item Type
Number of items: 81.

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

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 At Design, Automation and Test Europe Conference (DATE2004), France. , pp. 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 At International Conference on Computer-Aided Design, United States. , pp. 361-367.

Butler, Michael and Ferreira, Carla, (2004) An Operational Semantics for StAC, a Language for Modelling Long-running Business Transactions De Nicola, Rocco, Ferrari, Gianluigi and Meredith, Greg (eds.) At Coordination 2004.

Butler, Michael, Leuschel, Michael, Lo Presti, Stephane and Turner, Phillip, (2004) The Use of Formal Methods in the Analysis of Trust (Position Paper) Jensen, Christian, Poslad, Stefan and Dimitrakos, Theo (eds.) At Second International Conference on Trust Management (iTrust 2004), United Kingdom. 01 Mar - 29 Apr 2004. , pp. 333-339.

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 At Healthcare Digital Libraries Workshop 2004 (HDL 2004), United Kingdom.

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 At The Fifteenth ACM Conference on Hypertext and Hypermedia, United States. 09 - 13 Aug 2004. , pp. 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), United Kingdom. , pp. 489-491.

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

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

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

Carrabs, Francesco, Cerulli, Raffaele, Gentili, Monica and Parlato, Gennaro (2004) Minimum Weighted Feedback Vertex Set on Diamonds Electronic Notes in Discrete Mathematics, 17, pp. 87-91. (doi:10.1016/j.endm.2004.09.001).

Cazeaux, Jose' Manuel, Rossi, Daniele and Metra, Cecilia (2004) New high speed CMOS self-checking voter At 10th IEEE International On-Line Testing Symposium (IOLTS 2004). Proceedings, Portugal. 12 Jul 2004 - 14 Jul 2014 . , pp. 58-63. (doi:10.1109/OLT.2004.1319660).

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 Part 1: Regular Papers

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

Cirstea, Corina, (2004) On Logics for Coalgebraic Simulation Adámek, J. and Milius, S. (eds.) At 7th International Workshop on Coalgebraic Methods in Computer Science, Spain. 27 - 29 Mar 2004. , pp. 63-90.

Cirstea, Corina and Pattinson, Dirk, (2004) Modular Construction of Modal Logics Gardner, Philippa and Yoshida, Nobuko (eds.) At Fifteenth International Conference on Concurrency Theory, United Kingdom. 31 Aug - 03 Sep 2004. , pp. 258-275.

Denney, Ewen, Fischer, Bernd and Schumann, Johann, (2004) Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software Basin, David and Rusinowitch, Michael (eds.) At Second International Joint Conference on Automated Reasoning (IJCAR 2004). , pp. 198-212.

Fischer, Bernd, Knuth, Kevin, Hajian, Arsen and Schumann, Johann, (2004) Automatic Derivation of Statistical Data Analysis Algorithms: Planetary Nebulae and Beyond Erickson, Gary and Knuth, Kevin (eds.) At 23rd International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, United States. 03 - 08 Aug 2003. , pp. 276-291.

Fischer, Bernd, Knuth, Kevin, Hajian, Arsen and Schumann, Johann, (2004) Automatic Derivation of Statistical Data Analysis Algorithms: Planetary Nebulae and Beyond Erickson, Gary and Knuth, Kevin (eds.) At 23rd International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, United States. 03 - 08 Aug 2003. , pp. 276-291.

Fowler, David W., Sleeman, Derek, Wills, Gary, Lyon, Terry and Knott, David (2004) The Designers' Workbench: Using Ontologies and Constraints for Configuration. At The Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, United Kingdom. 13 - 15 Dec 2004.

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.

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

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

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

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

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, Canada.

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

Henderson, Peter, Crouch, Stephen and Walters, Robert John, (2004) Information Invasion in Enterprise Systems: Modelling, Simulating and Analysing System-level Information Propagation Seruca, Isabel, Filipe, Joaquim, Hammoudi, Slimane and Cordeiro, Jose (eds.) At The 6th International Conference on Enterprise Information Systems (ICEIS 2004), Portugal. 14 - 17 Apr 2004. , pp. 473-481.

Henderson, Peter, Walters, Robert John and Crouch, Stephen (2004) Implementing Hierarchical Features in a Graphically Based Formal Modelling Language At The Twenty-Eighth Annual International Computer Software & Applications Conference. 28 - 30 Sep 2004. , pp. 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), pp. 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), pp. 651-684.

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

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 Fischer, R. and Dose, V. (eds.) At Twentyfourth International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, Germany. 25 - 30 Jul 2004. , pp. 135-142.

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), Iran, Islamic Republic of. 11 - 13 May 2004. , pp. 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), pp. 1-48.

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, pp. 231-239.

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

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), pp. 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), pp. 448-456.

Maharatna, Koushik, Troya, Alfonso, Banerjee, Swapna, Grass, Eckhard and Krstic, Milos (2004) A 16-bit CORDIC rotator for high-performance wireless LAN At IEEE Personal Indoor and Mobile Radio Communication (PIMRC) 2004, 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 At IEEE International Symposium on Circuits and Systems (ISCAS) 2004, Canada. , II-713-716.

Maneewatthana, Thanyalak, Wills, Gary and Hall, Wendy, (2004) Adaptive Link Services for the Semantic Web Motta, Enrico, Shadbolt, Nigel, Stutt, Arthur and Gibbins, Nick (eds.) At 14th International Conference on Knowledge Engineering and Knowledge Management, United Kingdom. 05 - 08 Oct 2004. , pp. 469-470.

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

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

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

Omana, Martin, Rossi, Daniele and Metra, Cecilia (2004) Fast and low-cost clock deskew buffer At 19th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT 2004). Proceedings, France. 10 - 13 Oct 2004. , pp. 202-210. (doi:10.1109/DFTVS.2004.1347841).

Omana, Martin, Rossi, Daniele and Metra, Cecilia (2004) Model for transient fault susceptibility of combinational circuits Journal of Electronic Testing, Theory and Applications (JETTA), 20, (5), pp. 501-509. (doi:10.1023/B:JETT.0000042514.37566.6d).

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.

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 Bellini, Pierfrancesco, Bohner, Shawn and Steffen, Bernhard (eds.) At ICECCS2004: IEEE International Conference on Engineering of Complex Computer Systems, Italy. , pp. 87-96.

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), pp. 1142-1153.

Rossi, Daniele, Muccio, Andrea, Nieuwland, Andre, Katoch, Atul and Metra, Cecilia (2004) Impact of ECCs on simultaneously switching output noise for on-chip busses of high reliability systems [error correcting codes] At 10th IEEE International On-Line Testing Symposium (IOLTS 2004). Proceedings, Portugal. 11 - 14 Jul 2004. , pp. 135-140. (doi:10.1109/OLT.2004.1319671).

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), pp. 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), pp. 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), pp. 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), pp. 21-29.

Snook, Colin and Butler, Michael (2004) U2B - A tool for translating UML-B models into B In, Mermet, J. (eds.) 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 Jurgens, Jan and France, Robert (eds.) At 3rd International Workshop on Critical Systems Development with UML. , pp. 115-129.

Snook, Colin, Butler, Michael and Oliver, Ian (2004) The UML-B Profile for formal systems modelling in UML In, Mermet, J. (eds.) 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 Zhang, D and Jain, A N (eds.) At First International Conference on Biometric Authentication (ICBA 2004). , pp. 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 Acoustic Research Letters Online, 5, (4), pp. 139-142.

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

Thomas, KS, Molinari, M and Cox, SJ (2004) Treatment of boundary conditions in the analysis of PBG structures. At Fifth IEE International Conference on Computation in Electromagnetics.. 19 - 22 Apr 2004. , 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 At IEEE International Symposium on Circuits and Systems, Canada.

Wills, GB, Davis, HC and Cooke, EC (2004) Paired Programming for Non-Computing Students. At LTSN-ICS Fifth Annual Conference, United Kingdom.

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 Karagiannis, Dimitris and Reimer, Ulrich (eds.) At 5th International Conference on Practical Aspects of Knowledge Mangement, Austria. 02 - 03 Dec 2004. , pp. 378-388.

Wills, Gary, Woukeu, Arouna, Bailey, Christopher, Ong, A., Carr, Leslie, Conole, Grainne, Hall, Wendy and Grange, Simon (2004) Ontological Driven Learning Agreements At EDMEDIA 2004 - World Conference on Education Multimedia, Hypermedia and Telecommunications, 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 At System-On-Chip Design, Test and Technology, United Kingdom.

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

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

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

This list was generated on Thu Apr 13 02:07:05 2017 BST.