Institutionen för informationsteknologi
Institutionen för informationsteknologi
Uppsala universitetInformationsteknologiForskningPublikationer
This page in English
Lyssna

Publikationer 2004

  1. Bias analysis in least squares estimation of periodic signals using nonlinear ODEs. E. Abd-Elrady och T. Söderström. Department of Information Technology nr 2004-035, 2004.
  2. Least squares periodic signal modeling using orbits of nonlinear ODE's and fully automated spectral analysis. E. Abd-Elrady och J. Schoukens. I Preprint of Reglermöte, Gothenburg, Sweden, May 26-27, 2004.
  3. Least squares periodic signal modeling using orbits of nonlinear ODE's and fully automated spectral analysis. E. Abd-Elrady och J. Schoukens. I Proc 6th IFAC Symposium on Nonlinear Control Systems, 2004.
  4. A nonlinear approach to harmonic signal modeling. E. Abd-Elrady. I Signal Processing, volym 84, nummer 1, pp 163-195, 2004.
  5. Periodic signal analysis using orbits of nonlinear ODEs based on the Markov estimate. Emad Abd-Elrady, Torsten Söderström och Torbjörn Wigren. I , volym 37:12 av IFAC-PapersOnLine, pp 367-372, 2004. (DOI).
  6. Periodic signal modeling based on Liénard's equation. Emad Abd-Elrady, Torsten Söderström och Torbjörn Wigren. I IEEE Transactions on Automatic Control, volym 49, nummer 10, pp 1773-1778, 2004. (DOI).
  7. A Survey of Regular Model Checking.. Parosh Abdulla, Bengt Jonsson, Marcus Nilsson och Mayank Saksena. I CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings., pp 35-48, 2004.
  8. Decidability of Zenoness, Token Liveness, and Boundedness for Dense-Timed Petri Nets.. Parosh Abdulla, Pritha Mahata och Richard Mayr. I FSTTCS' 04: 24th Conference on Foundations of Software Technology and Theoretical Computer Science, 2004. (DOI, Extern länk).
  9. Designing Safe, Reliable Systems using Scade. Parosh Abdulla, Johann Deneux och Ove Åkerlund. I Proc. ISoLA '04: International Symposium on Leveraging Applications of Formal Methods, 2004.
  10. Forward Reachability Analysis of Timed Petri Nets. Parosh Abdulla, Johann Deneux, Pritha Mahata och Aletta Nylén. I FORMATS-FTRTFT'04, 2004, 2004.
  11. Multi-Clock Timed Networks. Parosh Abdulla, Johann Deneux och Pritha Mahata. I LICS'2004, 18th IEEE Int. Symp. on Logic in Computer Science, 2004.
  12. Open, Closed and Robust Timed Networks.. Parosh Abdulla, Johann Deneux och Pritha Mahata. I CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, p 529, 2004. (Extern länk).
  13. Regular Model Checking for LTL(MSO). Parosh Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso och Mayank Saksena. I Computer Aided Verification, pp 348-360, 2004.
  14. Report on Dataflow Dependencies in Billing Processing Systems. Parosh Abdulla, Noomene Ben Henda, Johann Deneux, Bengt Jonsson och Tomas Reidmar. I Proc. ISoLA '04: 1st International Symposium on Leveraging Applications of Formal Methods, 2004.
  15. SAT-solving the Coverability Problem for Unbounded Petri Nets. Parosh Abdulla, Purushothaman Iyer och Aletta Nylén. I Formal methods in system design, volym 24, nummer 1, pp 25-43, Kluwer Academic Publishers, The Netherlands, 2004. (Extern länk).
  16. Regular Model Checking for LTL(MSO). Parosh Aziz Abdulla, Julien d'Orso, Bengt Jonsson, Marcus Nilsson och Mayank Saksena. I Proc. 16th Int. Conf. on Computer Aided Verification, LNCS, 2004.
  17. Using Forward Reachability Analysis for Verification of Lossy Channel Systems. Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani och Bengt Jonsson. I Formal methods in system design, volym 25, nummer 1, pp 39-65, 2004. (DOI).
  18. A General Approach for Time-Domain Simulation of Waveguides in 3D. Erik Abenius och Christer Johansson. I Proc. EMB 04, Computational Electromagnetics: Methods and Applications, pp 220-226, Department of Electromagnetics, Chalmers University of Technology, Göteborg, Sweden, 2004.
  19. A capon-like spatial spectrum estimator for correlated sources. Richard Abrahamsson, A. Jacobsson och Peter Stoica. I 12th European Signal Processing Conference: EUSIPCO 2004, 2004.
  20. Common factor estimation and two applications in signal prosessing. M. Agarwal, Peter Stoica och P. Åhgren. I Signal Processing, volym 84, pp 421-429, 2004.
  21. Train traffic control by re-planning in real-time. J. Allan, R J Hill, C A Brebbia, G. Sciutto och S. Sone (red). 2004.
  22. Eigenvalue estimates for preconditioned saddle point matrices. Owe Axelsson och Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2004-019, 2004. (Extern länk).
  23. Controller Synthesis for Probabilistic Systems. Christel Baier, Marcus Grösser, Martin Leucker, Benedikt Bollig och Frank Ciesinski. I IFIP TCS 2004: Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France, pp 493-506, 2004.
  24. Spi Calculus Translated to pi-Calculus Preserving May-Tests. Michael Baldamus, Joachim Parrow och Björn Victor. I Proceedings of LICS 2004: Logic in Computer Science, Proceedings / Symposium on Logic in Computer Science, pp 22-31, IEEE Computer Society, Los Alamitos, Calif, 2004. (DOI, Extern länk).
  25. Web Services as a New Approach to Distributing and Coordinating Semantics-Based Verification Toolkits. Michael Baldamus, Jesper Bengtson, GianLuigi Ferrari och Roberto Raggi. I Electronic Notes in Theoretical Computer Science, volym 105, pp 11-20, 2004.
  26. Evaluation of Authentication Algorithms for Small Devices. Tobias Bandh. 2004.
  27. Faster shading by equal angle interpolation of vectors. Tony Barrera, Anders Hast och Ewert Bengtsson. I IEEE Transactions on Visualization and Computer Graphics, pp 217-223, 2004.
  28. Faster Shading by Equal Angle Interpolation of Vectors. Barrera Tony, Hast Anders, Bengtsson Ewert. I IEEE Transactions on Visualization and Computer Graphics, volym 10, nummer 2, pp 217-223, 2004.
  29. Synthesis of Programs in Computational Logic. David Basin, Yves Deville, Pierre Flener, Andreas Hamfelt och Jorgen Fischer Nilsson. I Program Development in Computational Logic, pp 30-65, Springer-Verlag, 2004.
  30. What do we mean by theoretically sound research in computer science education. Moti Ben-Ari, Anders Berglund, Shirley Booth och Christian Holmboe. I ACM SIGCSE 9th International workshop on Integrating Technology in Computer Science Education, pp 230-231, 2004.
  31. Robust cell image segmentation methods. Ewert Bengtsson, Carolina Wählby och Joakim Lindblad. I Pattern Recognition and Image Analysis: Advances in Mathematical Theory and Applications, volym 14, nummer 2, pp 157-167, 2004. (Extern länk).
  32. Timed Automata: Semantics, Algorithms and Tools. Johan Bengtsson och Yi Wang. I In Lecture Notes on Concurrency and Petri Nets: LNCS 3098, 2004.
  33. StatCache: A Probabilistic Approach to Efficient and Accurate Data Locality Analysis. Erik Berg och Erik Hagersten. I 2004 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS-2004),, 2004.
  34. StatCache: A Probabilistic Approach to Efficient and Accurate Data Locality Analysis. Erik Berg och Erik Hagersten. I Proceedings of the 2004 IEEE International Symposium on Performance Analysis of Systems and Software, 2004.
  35. Approximations of very weak solutions to boundary-value problems. Martin Berggren. I SIAM Journal on Numerical Analysis, volym 42, pp 860-877, 2004. (DOI).
  36. A framework to study learning in a complex learning environment. Anders Berglund. I ALT-J Research in Learning Technology Journal, volym 12, nummer 1, pp 65-79, 2004. (Extern länk).
  37. Att lära datakommunikation i en internationell projekt-baserad kurs (in Swedish): Invited presentation at the conference in didactics for teachers in technology and science,. Anders Berglund. Lund University, Lund, Sweden, 2004.
  38. Teaching and learning CS: An overview of research approaches: Keynote speech at the 4th Annual Finnish/Baltic Sea Conference on Computer Science Education. Anders Berglund. Koli, Joensuu, Finland, 2004.
  39. Reduced order models for a two-dimensional heat diffusion system. B. Bhikkaji, K. Mahata och T. Söderström. I International Journal of Control, volym 77, nummer 18, pp 1532-1548, 2004.
  40. Model Reduction and Parameter Estimation for Diffusion Systems. Bharath Bhikkaji. Doktorsavhandling, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 974, Acta Universitatis Upsaliensis, Uppsala, 2004. (fulltext).
  41. Performance of Pastry in a Heterogeneous System. Fredrik Bjurefors, Richard Gold och Lars-Åke Larzon. I Proceedings of the Fourth IEEE International Conference on Peer-to-Peer computing, 2004. (Extern länk).
  42. A Combinatorial Strongly Subexponential Strategy Improvement Algorithm for Mean Payoff Games. Henrik Björklund, Sven Sandberg och Sergei Vorobyov. DIMACS Technical Reports Published in 2004 nr 5, DIMACS, 2004. (Extern länk).
  43. A Combinatorial Strongly Subexponential Strategy Improvement Algorithm for Mean Payoff Games. Henrik Björklund, Sven Sandberg och Sergei Vorobyov. I Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science (MFCS 2004), pp 673-685, 2004.
  44. A combinatorial strongly subexponential algorithm for mean payoff games. Henrik Björklund, Sven Sandberg och Sergei Vorobyov. I Mathematical Foundations of Computer Science 2004, pp 673-685, 2004.
  45. Controlled Linear Programming for Infinite Games. Henrik Björklund, Ola Svensson och Sergei Vorobyov. DIMACS Technical Reports nr 2005-13, 2004.
  46. Controlled Linear Programming: Boundedness and Duality. Henrik Björklund, Olle Nilsson, Ola Svensson och Sergei Vorobyov. DIMACS Technical Report nr 2004-56, 2004.
  47. Memoryless Determinacy of Parity and Mean Payoff Games: A Simple Proof. Henrik Björklund, Sven Sandberg och Sergei Vorobyov. I Theoretical Computer Science, volym 310, nummer 1-3, pp 365-378, 2004.
  48. Memoryless Determinacy of Parity and Mean Payoff Games: A Simple Proof. Henrik Björklund, Sven Sandberg och Sergei Vorobyov. I Theoretical Computer Science, volym 310, nummer 1-3, pp 365-378, 2004.
  49. Memoryless determinacy of parity and mean payoff games: a simple proof. Henrik Björklund, Sven Sandberg och Sergei Vorobyov. I Theoretical Computer Science, volym 310, nummer 3, pp 365-378, Elsevier, 2004.
  50. Memoryless determinacy of parity and mean payoff games: a simple proof. Henrik Björklund, Sven Sandberg och Sergei Vorobyov. I Theoretical Computer Science, volym 310, pp 365-378, 2004.
  51. Randomized Subexponential Algorithms for Infinite Games. Henrik Björklund, Sven Sandberg och Sergei Vorobyov. Technical reports from the Department of Information Technology nr 2004-011, Uppsala Universitet, 2004. (Extern länk).
  52. The Controlled Linear Programming Problem. Henrik Björklund, Olle Nilsson, Ola Svensson och Sergei Vorobyov. DIMACS Technical Report nr 2004-41, 2004.
  53. Uniform estimate of the constant in the strengthened CBS inequality for anisotropic non-conforming FEM systems. Radim Blaheta, Svetozar Margenov och Maya Neytcheva. I Numerical Linear Algebra with Applications, volym 11, pp 309-326, 2004. (DOI).
  54. Specifying and Generating Test Cases Using Observer Automata. Johan Blom, Anders Hessel, Bengt Jonsson och Paul Pettersson. I Proceedings of the 4th International Workshop on Formal Approaches to Testing of Software, pp 125-139, 2004. (DOI).
  55. From Piles to Tiles: Designing for Overview and Control in Case Handling Systems. Stefan Blomkvist, Inger Boivie, Masood Masoodian och Jenny Persson. I Conference Proceedings of OZCHI 2004, pp 161-170, 2004.
  56. From Piles to Tiles: Designing for Overview and Control in Case Handling Systems. Stefan Blomkvist, Inger Boivie, Masood Masoodian och Jenny Persson. I Conference Proceedings of OZCHI 2004: The CHISIG Annual Conference on Human-Computer Interaction, 2004.
  57. Message-Passing Automata Are Expressively Equivalent to EMSO Logic. Benedikt Bollig och Martin Leucker. I CONCUR 2004: Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, pp 146-160, 2004.
  58. Verifying Qualitative Properties of Probabilistic Programs. Benedikt Bollig och Martin Leucker. I Validation of Stochastic Systems: A Guide to Current Research, pp 124-146, Springer, 2004.
  59. Centre for Image Analysis Annual Report 2003. Gunilla Borgefors, Ingela Nyström, Ida-Maria Sintorn, Robin Strand och Lena Wadelius. Centrum för bildanalys, 2004.
  60. Tessellationer i matematik, arkitektur och konst. Gunilla Borgefors. I Matenmatikbiennalen 2004: Malmö, 22-24 jan. 2004, p 4, 2004.
  61. A Design Case: Interactive Sports Content Broadcasting. Erik Borälv, Niklas Johansson, Emmanuel Papaioannou och Athanasios Demiris. Technical Report series from the Department of Information Technology nr 2004-049, 2004. (Extern länk).
  62. Design and Evaluation of the CHILI System. Erik Borälv. Technical Report series from the Department of Information Technology nr 2004-056, 2004. (Extern länk).
  63. Design and evaluation of the CHILI system. Erik Borälv. I Technical reports from the Department of Information Technology at Uppsala University, nummer 56, 2004.
  64. Evaluation and Reflections on the Design of the WeAidU System. Erik Borälv. Technical Report series from the Department of Information Technology nr 2004-057, 2004. ().
  65. Evaluation and reflections on the design of the WeAidU system. Erik Borälv. I Technical reports from the Department of Information Technology at Uppsala University, nummer 57, 2004.
  66. An algorithm for computing fundamental solutions of difference operators. Henrik Brandén och Per Sundqvist. I Numerical Algorithms, volym 36, pp 331-343, 2004. (DOI).
  67. Algorithms for Electronic Power Markets. Per Carlsson. Doktorsavhandling, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1041, Acta Universitatis Upsaliensis, Uppsala, 2004. (fulltext).
  68. Network Mobility and Protocol Interoperability in Ad Hoc Networks. Luiz DaSilva, Scott Midkiff, Jahng Park, Kaustubh Phanse, Tao Lin, George Hadjichristofi och Nathaniel Davis. I IEEE Communications Magazine, volym 42, nummer 11, 2004. (Extern länk).
  69. Five myths of assessment. Mats Daniels, Anders Berglund, Arnold Pears och Sally Fincher. I Australian Computer Science Communication, volym 26, nummer 5, pp 57-61, 2004. (Extern länk).
  70. Modeling stem cell migration by Hidden Markov. Johan Degerman, Karin Althoff, Thorleif Thorlin, Carolina Wählby, Patrick Karlsson, Ewert Bengtsson och Tomas Gustavsson. I Proceedings of the Swedish Symposium on Image Analysis, SSBA 2004, pp 122-125, 2004.
  71. An integrated approach to developing sensor network solutions. Adam Dunkels, Laura Marie Feeney, Björn Grönvall och Thiemo Voigt. I 2nd International Workshop on Sensor and Actor Network Protocols and Applications (SANPA'04), 2004.
  72. On the Understanding of Object and Class. Anna Eckerdal. Technical report / Department of Information Technology, Uppsala University nr 2004-058, 2004. (Extern länk).
  73. Subcell Modeling of Thin Wires and Thin Slots in Time-Domain Finite-Element Simulations. Fredrik Edelvik. I Proc. EMB 04, Computational Electromagnetics: Methods and Applications, pp 212-219, Department of Electromagnetics, Chalmers University of Technology, Göteborg, Sweden, 2004.
  74. MPC for discrete-time bilinear systems. Mats Ekman. I Proceedings of Reglermöte 2004, 2004.
  75. Improving DSZOOM's Run Time System. Niklas Ekström. Master's thesis, UPTEC F03 104, School of Engineering, Uppsala University, Sweden, January 2004., 2004.
  76. On-chip monitoring for non-intrusive hardware/software observability. Mohammed El Shobaki. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2004-004, Uppsala University, 2004. (fulltext).
  77. Understanding Your C Compiler: How to Minimize Code Size. Jakob Engblom. I The Firmware Handbook, Elsevier/Newnes, 2004.
  78. Using Formal Methods in a Retrospective Safety Case. Lars-Henrik Eriksson. I Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings, volym 3219 av Springer Lecture Notes in Computer Science, pp 31-44, Springer Berlin/Heidelberg, 2004. (Conference proceedings, fulltext:postprint).
  79. Augmented reality as a navigation aid for the manoeuvring of High-Speed Crafts. Mikael Erlandsson och Anders Jansson. I DESIGN 2004 conference, 2004.
  80. Cavity depth and diameter estimation in the converter process water model. Magnus Evestedt och Alexander Medvedev. I Association for Iron & Steel Technology Conference Proceedings, 2004.
  81. Comparative study of three recursive parameter estimation algorithms with application to acoustic echo cancellation. Magnus Evestedt, Alexander Medvedev och Torbjörn Wigren. I Proc. Reglermöte, 2004.
  82. A geometric derivation of the probability of finding a relay in multi-rate networks. Laura Marie Feeney, Daniel Hollos, Holger Karl, Martin Kubisch och Seble Mengesha. I 3rd IFIP Conference on Networking (Networking 2004), 2004.
  83. Analysis and protocol design for rate adaptation for simple relay networks. Laura Marie Feeney, Daniel Hollos, Holger Karl, Martin Kubisch och Seble Mengesha. I 4th Scandinavian Workshop on Wireless Ad-hoc Networks (AdHoc'04), 2004.
  84. Energy Efficient Communication in Ad Hoc Networks. Laura Marie Feeney. I Mobile Ad Hoc Networking, Wiley, 2004.
  85. Accurate and stable grid interfaces for finite volume methods. Lars Ferm och Per Lötstedt. I Applied Numerical Mathematics, volym 49, pp 207-224, 2004. (DOI).
  86. Adaptive, Conservative Solution of the Fokker-Planck Equation in Molecular Biology. Lars Ferm, Per Lötstedt och Paul Sjöberg. Technical report / Department of Information Technology, Uppsala University nr 2004-054, 2004. (Extern länk).
  87. A Generic Approach to Schedulability Analysis of Real-Time Tasks. Elena Fersman och Wang Yi. I Nordic Journal of Computing, volym 12, nummer 2, pp 129-147, 2004.
  88. A generic approach to schedulability analysis of real-time tasks. Elena Fersman och Yi Wang. I Nordic Journal of Computing, volym 11, 2004.
  89. A multi-national, multi-institutional study of student-generated software designs. Sally Fincher, Marian Petre, Josh Tenenberg, Ken Blaha, Dennis Bouvier, Tzu-Yi Chen, Donald Chinn, Stephen Cooper, Anna Eckerdal, Hubert Johnson, Robert McCartney, Alvaro Monge, Jan Erik Moström, Kris Powers, Mark Ratcliffe, Anthony Robins, Dean Sanders, Leslie Schwartzman, Beth Simon, Carol Stoker, Allison Elliott Tew och Tammy VanDeGrift. I Proc. 4th Finnish/Baltic Sea Conference on Computer Science Education: Koli Calling, pp 20-27, Helsinki University of Technology, Finland, 2004.
  90. Air-traffic complexity resolution using constraint programming. Pierre Flener, Justin Pearson och Magnus Ågren. 2004.
  91. Financial portfolio optimisation. Pierre Flener, Justin Pearson och Luis G. Reyna. I 10th International Conference on Principles and Practice of Constraint Programming: CP 2004, pp 227-241, 2004. (Extern länk).
  92. Introducing ESRA, a relational language for modelling combinatorial problems. Pierre Flener, Justin Pearson och Magnus Ågren. I LOPSTR'03: Revised Selected Papers, pp 214-232, Springer-Verlag, 2004. (Extern länk).
  93. Worst-case air-traffic generation using constraint programming. Pierre Flener och Justin Pearson. 2004.
  94. Managing Long Running Queries in Grid Environment,. Ruslan Fomkin och Tore Risch. I 1st Intl. Workshop on GRID Computing and its Applications to Data Analysis (GADA'04), 2004. (Extern länk).
  95. Some observations regarding interpolants in the limit of flat radial basis functions. Bengt Fornberg, Grady Wright och Elisabeth Larsson. I Computers and Mathematics with Applications, volym 47, pp 37-55, 2004. (DOI).
  96. Fast and robust computation of colon centerline in CT colonography. Hans Frimmel, Janne Näppi och Hiroyuki Yoshida. I Medical physics (Lancaster), volym 31, pp 3046-3056, 2004. (DOI).
  97. Constructing space-time trellis codes using orthogonal designs. G. Ganesan och Peter Stoica. I Wireless Personal Communicattions, volym 28, pp 1-16, 2004.
  98. Orthogonal space-time block codes with feedback. G. Ganesan, Peter Stoica och E. Larsson. I Wireless personal Communications, volym 28, pp 287-312, 2004.
  99. Education in Greek language in Scandinavia. Giannis Garefalakis, Petros Gougoulakis och Iordanis Kavathatzopoulos (red). IPODE, Athens, 2004.
  100. Relationally Staged Computations in Calculi of Mobile Processes. Neil Ghani, Kidane Yemane och Björn Victor. I Proc. 7th Workshop on Coalgebraic Methods in Computer Science, volym 106 av Electronic Notes in Theoretical Computer Science, pp 105-120, Elsevier, 2004. (DOI).
  101. On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. Pablo Giambiagi, Gerardo Schneider och Frank Valencia. I Proceedings of the 7nd International Conference on Foundations of Software Science and Computation Structures (FOSSACS'04), pp 226-240, 2004.
  102. On the expressiveness of CCS-like calculi. Giambiagi Pablo, Schneider Gerardo and Valencia Frank D.. 2004.
  103. On the expressiveness of infinite behavior and name scoping in process calculi. Giambiagi Pablo, Schneider Gerardo and Valencia Frank D.. I FOSSACS'04, pp 226-240, 2004.
  104. A Virtualized Link Layer with Support for Indirection. Richard Gold, Per Gunningberg och Christian Tschudin. I ACM SIGCOMM Workshop on Future Directions in Network Architecture (FDNA'04), 2004. (Extern länk).
  105. A virtualized link layer with support for indirection. Richard Gold, Per Gunningberg och Christian Tschudin. I ACM SIGCOMM Workshop on Future Directions in Network Architecture (FDNA'04), pp 28-34, ACM New York, NY, USA, Portland, 2004.
  106. A Stable Hybrid Method for Hyperbolic Problems. Jing Gong och Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2004-039, 2004. (Extern länk).
  107. Artificial Dissipation for Strictly Stable Finite Volume Methods on Unstructured Meshes. Jing Gong, Magnus Svärd och Jan Nordström. I Computational Mechanics Abstracts: Volume II, pp 7-7, Tsinghua University Press, Beijing, China, 2004.
  108. Learning of event-recording automata. Olga Grinchtein, Bengt Jonsson och Martin Leucker. I FORMATS/FTRTFT 2004: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, pp 379-396, 2004. (DOI).
  109. Network invariants for real-time systems. Olga Grinchtein och Martin Leucker. I 5th International Workshop on Verification of Infinite-State Systems, pp 57-74, 2004.
  110. ACCOMPLISHING UNIVERSAL ACCESS THROUGH SYSTEM REACHABILITY – A MANAGEMENT PERSPECTIVE. Jan Gulliksen, Hans Andersson och Per Lundgren. I Universal Access in the Information Society, volym 3, nummer 1, 2004.
  111. Guidelines, Standards, Methods and Processes for Software Accessability. Jan Gulliksen, Susan Harker och Gregg Vanderheiden (red). Volym Vol 3, No 1 av Springer Journal Universal Access in the Information Society, Springer, 2004.
  112. Making IT Happen - Strategic User Centred Systems Design in Organizations. Jan Gulliksen och Bengt Göransson. I 1st Indian National Conference on Human Computer Interaction, 2004.
  113. Making a Difference: A Survey of the Usability Profession in Sweden. Jan Gulliksen, Inger Boivie, Jenny Persson, Anders Hektor och Lena Herulf. I Proceedings of NordiCHI 2004, pp 207-215, 2004.
  114. Making a Difference - A Survey of the Usability Profession in Sweden. Jan Gulliksen, Inger Boivie, Jenny Persson, Anders Hektor och Lena Herulf. I 3rd Nordic Conference on Human Computer Interaction: NORDICHI 2004, pp 207-215, 2004.
  115. SOFTWARE ACCESSIBILITY OF HUMAN-COMPUTER INTERFACES – ISO TECHNICAL SPECIFICATION 16071. Jan Gulliksen och Susan Harker. I Universal Access in the Information Society, volym 3, nummer 1, 2004.
  116. Strategic User Centred Systems Design in the Organization. Jan Gulliksen och Bengt Göransson. I 7th International Conference on Work with Computing Systems, WWCS 2004, 2004.
  117. Time Compact Difference Methods for Wave Propagation in Discontinuous Media. Bertil Gustafsson och Per Wahlund. I SIAM Journal on Scientific Computing, volym 26, pp 272-293, 2004. (DOI).
  118. Time Compact High Order Difference Methods for Wave Propagation. Bertil Gustafsson och Eva Mossberg. I SIAM Journal on Scientific Computing, volym 26, pp 259-271, 2004. (DOI).
  119. Adaptive Pattern Matching on Binary Data. Per Gustafsson och Konstantinos Sagonas. I In Programming Languages and Systems. Proceedings of the 13th European Symposium On Programming: Volume 2986 in LNCS, pp 124-139, 2004.
  120. Relationships Between Fore- and Hindlimb Ground Reaction Force and Hoof Deceleration Patterns in Trotting Horses. P. Gustås, C. Johnston, L. Roepstorff, S. Drevemo och H. Lanshammar. I Equine Veterinary Journal, volym 36, nummer 8, pp 737-742, 2004.
  121. Relationships Between the Hoof Retardation Pattern of the Forelimb and Hind Limb at the Trot. P. Gustås, C. Johnston, L. Roepstorff, S. Drevemo och H. Lanshammar. I International Workshop of Equine Locomotion, Michigan, May 2004., 2004.
  122. User-Centred Systems Design: Designing Usable Interactive Systems in PracticeAnvändarcentrerad systemdesign: Design av användbara interaktiva system i praktiken. Bengt Göransson. Doktorsavhandling, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 981, Acta Universitatis Upsaliensis, Uppsala, 2004. (fulltext).
  123. Computer system employing bundled prefetching. Erik Hagersten. 2004.
  124. Computer system including a promise array. Erik Hagersten. 2004.
  125. Multi-node computer system employing a reporting mechanism for multi-node transactions. Erik Hagersten. 2004.
  126. Multi-node computer system implementing global access state dependent transactions. Erik Hagersten. 2004.
  127. Multi-node computer system with proxy transaction to read data from a non-owning memory device. Erik Hagersten. 2004.
  128. Multi-node system in which global address generated by processing subsystem includes global to local translation information. Erik Hagersten. 2004.
  129. Multi-node system with global access states. Erik Hagersten. 2004.
  130. Multi-node system with interface intervention to satisfy coherency transactions transparently to active devices. Erik Hagersten. 2004.
  131. Multi-node system with split ownership and access right coherence mechanism. Erik Hagersten. 2004.
  132. Multiprocessing computer system employing capacity prefetching. Erik Hagersten. 2004.
  133. Multiprocessing systems employing hierarchical back-off locks. Erik Hagersten. 2004.
  134. Performing virtual to global address translation in processing subsystem. Erik Hagersten. 2004.
  135. System and method for reducing shared memory write overhead in multiprocessor systems. Erik Hagersten. 2004.
  136. Characterizing and Estimating Fungal Disease Severity in Wheat. H. Hamid Muhammed. I Swedish Society for Automated Image Analysis Symposium - SSBA 2004, Ångströmlaboratoriet, Uppsala University, pp 194-198, 2004.
  137. Unsupervised Fuzzy Clustering Using Weighted Incremental Neural Networks. Hamed Hamid Muhammed. I International Journal of Neural Systems, volym 14, nummer 6, pp 355-371, 2004.
  138. Unsupervised Fuzzy Clustering Using Weighted Incremental Neural Networks. Hamed Hamid Muhammed. I International Journal of Neural Systems (IJNS), volym 14, nummer 6, pp 355-371, 2004.
  139. Improved Diffuse Anisotropic Shading. A. Hast, Daniel Wesslén och Stefan Seipel. I Sigrad Conference 2004, pp 57-58, 2004.
  140. Improved Algorithms for Fast Shading and Lighting. Anders Hast. Doktorsavhandling, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 955, Acta Universitatis Upsaliensis, Uppsala, 2004. (fulltext).
  141. Soft and Hard Edged Spotlights. Anders Hast, Tony Barrera och Ewert Bengtsson. I WSCG04, pp 95-99, 2004.
  142. A Test Case Generation Algorithm for Real-Time Systems. Anders Hessel och Paul Pettersson. I proceedings of the 4th International Conference on Quality Software, pp 268-273, 2004.
  143. A Test Case Generation Algorithm for Real-Time Systems. Anders Hessel och Paul Pettersson. I Proceedings of the 9th International Conference on Quality Software 2004 (QSIC04), IEEE Computer Society Press, pp 268-273, 2004.
  144. Time-Optimal Real-Time Test Case Generation using UPPAAL. Anders Hessel, Kim Larsen, Brian Nielsen, Paul Pettersson och Arne Skou. I Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, pp 114-130, 2004.
  145. Time-optimal Real-Time Test Case Generation using Uppaal. Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson och Arne Skou. I Proceedings of the 3rd International Workshop on Formal Approaches to Testing of Software (FATES'03), LNCS 2931, Springer, pp 136-151, 2004.
  146. A virtual reality comparison between different camera solutions for use in human motion analysis: High resolution or many cameras?. Björn Holmberg och Håkan Lanshammar. I Eigth international symposium on the 3-D analysis of human movement, pp 73-76, 2004.
  147. Time-marching methods for the time-dependent Schrödinger equation. Sverker Holmgren, Christer Peterson och Hans Karlsson. I Proc. Int. Conference on Computational and Mathematical Methods in Science and Engineering: CMMSE-2004, pp 53-56, Uppsala University, Uppsala, Sweden, 2004.
  148. An Analysis Tool for UML Models with SPT Annotations. John Håkansson, Leonid Mokrushin, Paul Pettersson och Yi Wang. I Proceedings of the International Workshop on Specification and Validation of UML models for Real Time and Embedded Systems, 2004.
  149. Adaptive iteration to steady state of flow problems. Karl Hörnell och Per Lötstedt. I Journal of Scientific Computing, volym 20, pp 331-354, 2004. (DOI).
  150. Acting or reacting?: A cognitive work analysis approach to the train driver task. Anders Jansson, Eva Olsson och Lena Kecklund. I Rail Human Factors, 2004.
  151. The effects of co-location of visual and haptic space on judgements of form.. Gunnar Jansson och Magnus Öström. I Proceedings of the 4th International Conference Eurohaptics 2004, pp 516-519, 2004.
  152. Development of a Virtual Laboratory System for Science Education and the Study of Collaborative Action. N. Jensen, Stefan Seipel, S. von Voigt, S. Raasch, S. Olbrich och W. Nejdl. I AACE ED Media Conference 2004, pp 21-26, 2004.
  153. Array signal processing in the known waveform and steering vector case.. Y. Jiang, Peter Stoica och J. Li. I IEEE Trans Signal Process, volym 52, pp 23-35, 2004.
  154. A characterization of a hybrid and dynamic partitioner for SAMR applications. Henrik Johansson och Johan Steensland. Technical report / Department of Information Technology, Uppsala University nr 2004-009, 2004. (Extern länk).
  155. Characterization of a hybrid and dynamic partitioner for SAMR applications. Henrik Johansson och Johan Steensland. I Proc. Parallel and Distributed Computing and Systems: 2004, pp 713-718, ACTA Press, Calgary, Canada, 2004.
  156. High order difference approximations for the linearized Euler equations. Stefan Johansson. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2004-006, Uppsala University, 2004. (fulltext).
  157. High order finite difference operators with the summation by parts property based on DRP schemes. Stefan Johansson. Technical report / Department of Information Technology, Uppsala University nr 2004-036, 2004. (Extern länk).
  158. High order summation by parts operator based on a DRP scheme applied to 2D Aeroacoustics. Stefan Johansson. Technical report / Department of Information Technology, Uppsala University nr 2004-050, 2004. (Extern länk).
  159. Location coverage and sensitivity with A-GPS. Ari Kangas och Torbjörn Wigren. I Proc. 18th URSI International Symposium on Electromagnetic Theory, pp 361-363, URSI, Ghent, Belgium, 2004.
  160. Modeling and control of a viscoelastic piezolaminated beam. P. Karlsson, H. Norlander, A. Jansson och T. Söderström. I Reglermöte 2004 (National Conference on Control), 2004.
  161. Segmentation and separation of point like fluorescent markers in digital images. Patrick Karlsson och Joakim Lindblad. I ISBI2004, pp 1291-1294, 2004. (DOI).
  162. Segmentation of point-like fluorescent markers. Patrick Karlsson, Joakim Lindblad och Carolina Wählby. I Proceedings: Symposium on Image Analysis, pp 146-149, 2004.
  163. Assessing health and moral stress in IT-based work. Iordanis Kavathatzopoulos, Jenny Persson Öhman och Carl Åborg. Technical Report from the Department of Information Technology nr 2004-047, Uppsala universitet Institutionen för informationsteknologi, Uppsala, 2004. (Extern länk).
  164. Individual learning and organizational change for ethical competence in the use of information technology tools. Iordanis Kavathatzopoulos, Jenny Persson och Carl Åborg. I The ETHICOMP Journal, volym 1, nummer 1, pp On-line, 2004. (Extern länk).
  165. Making ethical decisions in professional life. Iordanis Kavathatzopoulos. I How professional make decisions, pp 277-288, Lawrence Erlbaum Associates Publishers, Mahwah, NJ., 2004.
  166. New technologies in the education of native language. Iordanis Kavathatzopoulos. I Greek language education in Scandinavia, pp 73-76, 2004.
  167. Skattekontoret i Falun: Ett mönsterkontor. Iordanis Kavathatzopoulos, Jenny Persson och Carl Åborg. Uppsala universitet Institutionen för informationsteknologi, Uppsala, 2004. (Extern länk).
  168. Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. Pavel Krcal och Yi Wang. I TACAS 2004, LNCS 2988: 10th International Conf. on Tools & Algorithms, 2004.
  169. Timed vs Time Triggered Automata. Pavel Krcal, P.S. Thiagarajan, Yi Wang och Leonid Mokrushin. I CONCUR 2004, London, UK, pp 340-354, 2004.
  170. Time step restrictions using semi-implicit methods for the incompressible Navier-Stokes equations. Wendy Kress och Per Lötstedt. Technical report / Department of Information Technology, Uppsala University nr 2004-030, 2004. (Extern länk).
  171. Congestion Control in a High Speed Radio Environment. Sara Landström, Lars-Åke Larzon och Ulf Bodin. I roceedings of the International Conference on Wireless Networks, 2004. (Extern länk).
  172. Properties of TCP-like congestion control. Sara Landström, Lars-Åke Larzon och Ulf Bodin. I Proceedings of the Swedish National Computer Networking Workshop, 2004.
  173. High-Resolution Nonparametric Spectral Analysis:: Theory and Applications. E. Larsson, Li J och Peter Stoica. I In High-Resolution and Robust Signal Processing, pp 151-251, Marcel-Dekker New York, 2004.
  174. Identification of continuous-time ARX models from irregularly sampled data. E K Larsson, M. Mossberg och T. Söderström. Department of Electrical Engineering, Karlstad University nr 2004-02, 2004.
  175. Practical aspects of continuous-time ARMA system identification. E K Larsson, M. Mossberg och T. Söderström. Department of Electrical Engineering, Karlstad University nr 2004-01, 2004.
  176. Identification of Stochastic Continuous-time Systems: Algorithms, Irregular Sampling and Cramér-Rao Bounds. Erik Larsson. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 52, Acta Universitatis Upsaliensis, Uppsala, 2004.
  177. Adaptive equalization for frequency-selective channels of unknown length. Erik G. Larsson, Yngve Selén och Peter Stoica. I IEEE Global Telecommunications Conference (Globecom), vol. 2, (Dallas, Texas, USA), 2004.
  178. The Lightweight User Datagram Protocol (UDP-Lite). Lars-Åke Larzon, Mikael Degermark och Stephen Pink. IETF, 2004. (Extern länk).
  179. Subspace-based MRS data quatitation of multiplets using prior knowledge. T. Laudadio, Y. Selén, L. Vanhamme, Peter Stoica, P. Van Hecke och S. Van Huffel. I 12th meeting of the International Society for Magnetic Resonance in Medicine, 2004.
  180. Subspace-based MRS Data Quantitation of Multiplets using Prior Knowledge. Teresa Laudadio, Yngve Selén, Leentje Vanhamme, Peter Stoica och Paul Van Hecke. I Journal of Magnetic Resonance, volym 168, nummer 1, pp 53-65, 2004.
  181. Doubly constrained robust capon beamformer. J. Li, Peter Stoica och Z. Wang. I IEEE Trans Signal Process, volym 52, pp 2407-2423, 2004.
  182. Nonparametric spectral analysis with missing data via the EM algorithm. J. Li, Peter Stoica, Y. Wang och T. Marzetta. I 38th ASILOMAR Conf. on Signals, Systems and Computers, 2004.
  183. Rank deficient robust capon beamforming for complex spectral estimation. J. Li, Y. Wang och Peter Stoica. I Conf. on Algorithms for SAR Imagery, SPIE´s AeroSense, 2004.
  184. Versatile robust capon beamforming: theory and applications. J. Li och Peter Stoica. I 3rd IEEE Sensor Array and Multichannel Signal Processing Workshop: (SAM 2004), 2004.
  185. Robust Capon Beamforming. Jian Li, Peter Stoica och Zhizong Wang. U.S. Patent, 2004.
  186. Vård-IT-kartan: Användare och IT-system inom svensk vård och omsorg. Torbjörn Lind, Bengt Sandblad, Niklas Johansson och Mats Utbult. UsersAward, 2004. (Extern länk).
  187. Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. Tobias Lindahl och Konstantinos Sagonas. I In Programming Languages and Systems: Proceedings of the Second Asian Symposium: Volume 3302 in LNCS, pp 91-106, 2004.
  188. Image Analysis for Automatic Segmentation of Cytoplasms and Classification of Rac1 Activation. Joakim Lindblad, Carolina Wählby, Ewert Bengtsson och Alla Zaltsman. I Cytometry, volym 57A, nummer 1, pp 22-23, 2004. (DOI, Fulltext).
  189. National classification of Swedish shoreline types, from Landsat-7 data. Tommy Lindell och Petra Philipson. I Proc. 12th Australasian Remote Sensing and Photogrammetry Conference, p 8, 2004. (Conference).
  190. Validation of the Accuracy of the Perturbation Peak Method for Determination of Multicomponent Adsorption Isotherm Parameters in LC. Johan Lindholm, Patrik Forssén och Torgny Fornstedt. I Analytical Chemistry, volym 76, pp 5472-5478, 2004. (DOI).
  191. Validation of the Accuracy of the Perturbation Peak Method for Determination of Single and Binary Adsorption Isotherm Parameters in LC. Johan Lindholm, Patrik Forssén och Torgny Fornstedt. I Analytical Chemistry, volym 76, pp 4856-4865, 2004. (DOI).
  192. Supercover of Non-square and Non-cubic Grids. Troung Kieu Linh, Atsushi Imiya, Robin Strand och Gunilla Borgefors. I Proc. 10th International Workshop on Combinatorial Image Analysis (IWCIA 2004): Auckland, New Zealand, Dec. 2004, pp 88-97, 2004.
  193. A soft-detector based on multiple symbol detection for double differential modulation. J. Liu, M. Simon, Peter Stoica och J. Li. I IEEE Communications Lett., volym 8, pp 296-298, 2004.
  194. A soft-detector based on multiple symbol detection for double differential modulation. J. Liu, M. Simon, Peter Stoica och J. Li. I ICASSP 2004 29th International Conference on Acoustics , Speach and Signal Processing,, 2004.
  195. Simultaneous search for multiple QTL using the global optimization algorithm DIRECT. Kajsa Ljungberg, Sverker Holmgren och Örjan Carlborg. I Bioinformatics, volym 20, pp 1887-1895, 2004. (DOI).
  196. Curvilinear coordinates in a PDE solver framework: Validation. Malin Ljungberg och Kurt Otto. Technical report / Department of Information Technology, Uppsala University nr 2004-032, 2004. (Extern länk).
  197. Curvilinear coordinates in a PDE solver framework: Analysis. Malin Ljungberg. Technical report / Department of Information Technology, Uppsala University nr 2004-031, 2004. (Extern länk).
  198. Generic programming aspects of symmetry exploiting numerical software. Malin Ljungberg och Krister Åhlander. Technical report / Department of Information Technology, Uppsala University nr 2004-020, 2004. (Extern länk).
  199. Generic programming aspects of symmetry exploiting numerical software. Malin Ljungberg och Krister Åhlander. I Proc. ECCOMAS Congress 2004, p 20, Jyväskylä, Finland, 2004. (Fulltext).
  200. HiPE on AMD64. Daniel Luna, Mikael Pettersson och Konstantinos Sagonas. I In Proceedings of the Third ACM SIGPLAN Erlang Workshop, pp 38-47, 2004.
  201. Feasibility study of WLAN technology for the Uppsala - Stockholm commuter train.. David Lundberg. Uppsala Universitet, 2004.
  202. Algorithmic Optimizations of a Conjugate Gradient Solver on Shared Memory Architectures. Henrik Löf och Jarmo Rantakokko. Technical report / Department of Information Technology, Uppsala University nr 2004-048, 2004. (Extern länk).
  203. Improving Geographical Locality of Data for Shared Memory Implementations of PDE Solvers. Henrik Löf, Markus Nordén och Sverker Holmgren. I Computational Science – ICCS 2004, volym 3037 av Lecture Notes in Computer Science, pp 9-16, Springer-Verlag, Berlin, 2004. (DOI).
  204. Improving geographical locality of data for shared memory implementations of PDE solvers. Henrik Löf, Markus Nordén och Sverker Holmgren. Technical report / Department of Information Technology, Uppsala University nr 2004-006, 2004. (Extern länk).
  205. Parallelizing the Method of Conjugate Gradients for Shared Memory Architectures. Henrik Löf. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2004-005, Uppsala University, 2004. (fulltext).
  206. A minimal residual interpolation method for linear equations with multiple right-hand sides. Per Lötstedt och Martin Nilsson. I SIAM Journal on Scientific Computing, volym 25, pp 2126-2144, 2004. (DOI).
  207. Preconditioned implicit solution of linear hyperbolic equations with adaptivity. Per Lötstedt, Alison Ramage, Lina von Sydow och Stefan Söderberg. I Journal of Computational and Applied Mathematics, volym 170, pp 269-289, 2004. (DOI).
  208. Space-Time Adaptive Finite Difference Method for European Multi-Asset Options. Per Lötstedt, Jonas Persson, Lina von Sydow och Johan Tysk. Technical report / Department of Information Technology, Uppsala University nr 2004-055, 2004. (Extern länk).
  209. ESPRIT like estimation of real-valued sinusoidal frequencies. K. Mahata och T. Söderström. I IEEE Transactions on Signal Processing, volym 52, nummer 5, pp 1161-1170, 2004.
  210. Improved estimation performance using known linear constraints. K. Mahata och T. Söderström. I Automatica, volym 40, nummer 8, pp 1307-1318, 2004.
  211. Large sample properties of separable nonlinear least squares estimators. K. Mahata och T. Söderström. I IEEE Transactions on Signal Processing, volym 52, nummer 6, pp 1650-1658, 2004.
  212. Computationally efficient estimation of wave propagation functions from 1-D wave experiments on viscoelastic materials. Kaushik Mahata, Torsten Söderström och L. Hillström. I Automatica, volym 40, nummer 5, pp 713-727, 2004. (DOI).
  213. Stable and Accurate Artificial Dissipation. Ken Mattsson, Magnus Svärd och Jan Nordström. I Journal of Scientific Computing, volym 21, pp 57-79, 2004. (DOI).
  214. Summation by parts operators for finite difference approximations of second derivatives. Ken Mattsson och Jan Nordström. I Journal of Computational Physics, volym 199, pp 503-540, 2004. (DOI).
  215. Stability of a Riccati equation arising in recursive parameter estimation under lack of excitation. Alexander Medvedev. I IEEE Transactions on automatic control, volym 49, pp 2275-2280, 2004.
  216. A unifying model of variables and names. Marino Miculan och Kidane Yemane. Research Report UDMI nr 15/2004/RR, Department of Mathematics and Computer Science, University of Udine, 2004.
  217. Fast and approximate estimation of continuous-time stochastic signals from discrete-time data. M. Mossberg och E K Larsson. I ICASSP 2004, 2004.
  218. Optimal experimental design for identification of viscoelastic materials. M. Mossberg. I IEEE Transactions on Control Systems Technology, volym 12, nummer 4, pp 578-582, 2004.
  219. Fourier Transform Methods in Image Analysis of Compression Wood at the Cellular Level. Mattias K. Moëll och Minoru Fujita. I IAWA Journal, volym 25, nummer 3, pp 311-324, 2004.
  220. Strictly Stable High Order Difference Approximations for Low Mach Number Computational Aeroacoustics. Bernhard Müller och Stefan Johansson. I Proc. ECCOMAS Congress 2004, p 19, Jyväskylä, Finland, 2004. (Fulltext).
  221. Special issue on the pi-calculus. Uwe Nestmann och Björn Victor (red). Volym 63(1) av Journal of Logic and Algebraic Programming, Elsevier, 2004. (DOI, Extern länk).
  222. Numerical solution methods for glacial rebound models. Maya Neytcheva, Erik Bängtsson och Björn Lund. Technical report / Department of Information Technology, Uppsala University nr 2004-016, 2004. (Extern länk).
  223. Different methods that reduce cost in monostatic RCS computations for MoM accelerated by MLFMA. Martin Nilsson. I Proc. EMB 04, Computational Electromagnetics: Methods and Applications, pp 164-171, Department of Electromagnetics, Chalmers University of Technology, Göteborg, Sweden, 2004.
  224. Stability of the High Frequency Fast Multipole Method for Helmholtz’ Equation in Three Dimensions. Martin Nilsson. I BIT Numerical Mathematics, volym 44, pp 773-791, 2004. (DOI).
  225. Comparison of Forwarding Strategies in Internet Connected MANETs. Erik Nordström, Per Gunningberg och Christian Tschudin. I ACM SIGMOBILE Mobile Computing Reviews, volym 1, nummer 2, 2004. (DOI, Extern länk).
  226. Comparison of Forwarding Strategies in Internet Connected MANETs. Erik Nordström, Per Gunningberg och Christian Tschudin. I ACM SIGMOBILE Mobile Computing and Communications Review, volym 8, nummer 4, pp 72-76, ACM, 2004. (DOI).
  227. Comparison of forwarding Strategies in Internet Connected MANETs. Erik Nordström, Per Gunningberg och Christian Tschudin. I ACM MobiHoc 2004: Poster Session., 2004.
  228. Gateway Forwarding Strategies for Ad Hoc Networks. Erik Nordström, Per Gunningberg och Christian Tschudin. I AdHoc 04 Johannesberg, 2004.
  229. Parallel PDE Solvers on cc-NUMA Systems. Markus Nordén. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2004-002, Uppsala University, 2004. (fulltext).
  230. Estetik för dynamiska symboler: Användning av grafik, och symbolspråk för bildskärmsbaserad lägespresentation vid modernt ledningsarbete. Else Nygren. Institutionen för Informationsvetenskap / MDI Uppsala, 2004.
  231. Interaktionsdesign kompendium. Else Nygren. Uppsala universitet, insitutionen för informationsvetenskap, uppsala, 2004.
  232. Utvärdering av sökvägledningar. Else Nygren. Uppsala universitet, institutionen för informationsvetenskap, människa-datorinteraktion, Uppsala, 2004.
  233. Mobile Access to Real-Time Information - The Case of Autonomous Stock Brokering. Stina Nylander, Markus Bylund och Magnus Boman. I Journal of Personal and Ubiquitous Computing, volym 8, nummer 1, pp 42-46, 2004.
  234. The Ubiquitous Interactor - Device Independent Access to Mobile Services. Stina Nylander, Markus Bylund och Annika Waern. I Proceedings of Computer-Aided Design of User Interfaces, pp 271-282, 2004.
  235. Engineering Information Integration using Object-Oriented Mediator Technology. Mattias Nyström och Tore Risch. I Software - Practice and Experience J.,, volym 34, nummer 10, pp 949-975, 2004. (Extern länk).
  236. Optimising Mediator Queries to Distributed Engieering Systems. Mattias Nyström och Tore Risch. I Proc. 9th International Conference on Database Systems for Advanced Applications (DASFAA 2004), 2004. (Extern länk).
  237. A new high-performance CAD scheme for the detection of polyps in CT colonography. Janne Näppi, Hans Frimmel, Abraham Dachman och Hiroyuki Yoshida. I Medical Imaging 2004: Image Processing, volym 5370 av Proc. SPIE, pp 839-848, Bellingham, WA, 2004. (DOI).
  238. Region-based supine-prone correspondence for reduction of false positives in CAD of CT colonography. Janne Näppi, Hans Frimmel, Akihiko Okamura, Abraham H. Dachman och Hiroyuki Yoshida. I CARS 2004 – Computer Assisted Radiology and Surgery, volym 1268 av International Congress Series, pp 993-998, Elsevier, 2004. (DOI).
  239. Real-time Rendering of Accumulated Snow. P. Ohlsson och Stefan Seipel. I Sigrad Conference 2004, pp 25-32, 2004.
  240. Comparative Study of Recursive Parameter Estimation Algorithms with Application to Active Vibration Isolation. Claes Olsson. I Technical Report, Department of Information Technology, Uppsala University, Number 2004-051, November, 2004.
  241. Saturation induced limit cycles in observer-based feedback control. Claes Olsson och Alexander Medvedev. I IFAC Workshop on Periodic Control Systems (PSYCO 2004), pp 351-356, 2004.
  242. A user centered process analysis. Eva Olsson, Niklas Johansson, Jan Gulliksen och Bengt Sandblad. 2004.
  243. Designing Work Support Systems – For and With Skilled Users. Eva Olsson. Doktorsavhandling, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 983, Acta Universitatis Upsaliensis, Uppsala, 2004. (fulltext).
  244. What active users and designers contribute in the design process. Eva Olsson. I Interacting with Computers, volym 16, nummer 2, pp 377-401, 2004.
  245. What active users and designers contribute in the design process. Eva Olsson. I Interacting with Computers, volym 16, nummer 2, pp 377-401, 2004. (Extern länk).
  246. User Interface Design for Multi-platform Interactive Sports Content Broadcasting. Emmanuel Papaioannou, Erik Borälv, Athanasios Demiris, Niklas Johansson och Nikolaos Ioannidis. I Advanced visual interfaces conference 2004, 2004.
  247. Proceedings of the 1st International Workshop on Local Search Techniques in Constraint Satisfaction: LSCS 2004. Justin Pearson, Magnus Ågren och Markus Bohlin (red). 2004. (Extern länk).
  248. Symmetry breaking in constraint satisfaction with graph-isomorphism: Comma-free codes. Justin Pearson. I Proceedings of AI&M'04, 2004. (Extern länk).
  249. Processing queries over RDF views of wrapped relational databases. Johan Petrini och Tore Risch. I 1st International Workshop on Wrapper Techniques for Legacy Systems, WRAP 2004,, 2004. (Extern länk).
  250. Collaborative 3D Visualizations of Geo-Spatial Information for Command and Control. Lars Winkler Pettersson, Ulrik Spak och Stefan Seipel. I Proceedings of SIGRAD Conference 2004, pp 41-47, 2004.
  251. Collaborative 3D Vizualizations of Geo-Spatial Information for Command and Control. Lars Winkler Pettersson, Stefan Seipel och Ulrik Spak. I Sigrad 2004, pp 41-47, 2004. (Extern länk).
  252. In Situ Tomographic Display for Interactive Data Visualization. Lars Winkler Pettersson, Daniel Wesslén och Stefan Seipel. I NordiCHI '04: Proceedings of the third Nordic conference on Human-computer interaction, pp 93-96, 2004.
  253. In situ tomographic display for interactive data vizualization. Lars Winkler Pettersson, Stefan Seipel och Daniel Wesslén. I NordiCHI 2004, 2004.
  254. Proceedings of the 16th Nordic Workshop on Programming Theory. Paul Pettersson och Wang Yi. 2004. (Extern länk).
  255. Protocol Support for Policy-Based Management in Mobile Ad Hoc Networks. Kaustubh Phanse och Luiz DaSilva. I IEEE/IFIP Network Operations and Management Symposium, 2004. (Extern länk).
  256. Nationell kartering från satellitbilder av strandtyper längs svenska havskusten. Petra Philipson och Tommy Lindell. CBA internal reports nr 28, 2004.
  257. Timed Patterns: TCOZ to Timed Automata. Hao Ping, Song Dong Jin, Chao Qin Sheng, Sun Jun och Yi Wang. I 6th International Conf. on Formal Engineering Methods: LNCS 3308, 2004.
  258. An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zhongyan Qiu och Wang Yi. I 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, 2004.
  259. An Approach to Hardware/Software Partitioning for Pultiple Hardware Devices Model. Geguang Pu, Xiaopeng Zhao, Zongyan Qiu, Jifeng He och Yi Wang. I 3rd IEEE International Conf. on Software Engineering and Formal Methods, 2004.
  260. An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. Geguang Pu, Hung Dang, Jifeng He och Wang Yi. I Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004., 2004.
  261. Algorithm visualization through animation and role plays. Jarmo Rantakokko. I Proc. Third Program Visualization Workshop, volym 407 av Research Report, pp 76-81, Dept. of Computer Science, University of Warwick, 2004.
  262. Comparison of parallelization models for structured adaptive mesh refinement. Jarmo Rantakokko. I Euro-Par 2004: Parallel Processing, volym 3149 av Lecture Notes in Computer Science, pp 615-623, Springer-Verlag, Berlin, 2004. (DOI).
  263. Interactive learning of algorithms. Jarmo Rantakokko. Technical report / Department of Information Technology, Uppsala University nr 2004-023, 2004. (Extern länk).
  264. Addressing heterogeneity in Peer-to-Peer networks. Olof Rensfelt och Lars-Åke Larzon. I Proceedings of the Swedish National Computer Networking Workshop, 2004.
  265. LUNAR over Bluetooth. Olof Rensfelt, Richard Gold och Lars-Åke Larzon. I Proceedings of the 4:th Scandinavian Workshop on Wireless Ad-Hoc Networks, 2004. (Extern länk).
  266. Functional data integration in a distributed mediator system. Tore Risch, Vanja Josifovski och Timour Katchaounov. I The Functional Approach to Data Management: Modeling, Analyzing and Integrating Heterogeneous Data, p 483, 2004.
  267. Mediators for Querying Heterogeneous Data. Tore Risch. I The Practical Handbook of Internet Computing, Chapman & Hall/CRC, USA, 2004.
  268. Building Secure Communities in Spontaneously Networked Environments. Christian Rohner. I 4th Scandinavian Workshop on Wireless Ad-hoc Networks (AdHoc'04), 2004.
  269. Security Bootstrapping for Networked Devices. Christian Rohner. 2004.
  270. Using Ad Hoc Networking in Orienteering A Demonstration. Christian Rohner. I 4th Scandinavian Workshop on Wireless Ad-hoc Networks (AdHoc'04), 2004.
  271. Using Ad-hoc Networking in Orienteering - A Demonstration. Christian Rohner, Henrik Lundgren och Erik Nordström. I International Conference on Mobile Computing and Networking (Mobicom04), 2004.
  272. Non-viability Deductions in Arc-Consistency Computation. Camilo Rueda och Frank Valencia. I Logic Programming: 20th International Conference, ICLP 2004, pp 343-355, 2004.
  273. On validity in modelization of musical problems by CCP. Camilo Rueda och Frank Valencia. I Soft Computing: A Fusion of Foundations, Methodologies and Applications, volym 8, nummer 9, pp 641-648, 2004.
  274. Just Enough Tabling. Konstantinos Sagonas och Peter J. Stuckey. I In Proceedings of the Sixth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pp 78-89, 2004.
  275. Message Analysis-Guided Allocation and Low-Pause Incremental Garbage Collection in a Concurrent Language. Konstantinos Sagonas och Jesper Wilhelmsson. I In Proceedings of ISMM'04: ACM SIGPLAN International Symposium on Memory Management, pp 1-12, 2004.
  276. Experimental Proof of a Chromatographic Paradox: Are the injected molecules in the peak?. Jörgen Samuelsson, Patrik Forssén, Morgan Stefansson och Torgny Fornstedt. I Analytical Chemistry, volym 76, pp 953-958, 2004. (DOI).
  277. Analysis of the input-output couplings in a wastewater treatment plant model. Pär Samuelsson, Björn Halvarsson och Bengt Carlsson. Technical reports from the Department of Information Technology nr 2004-014, 2004.
  278. Integrating Linearization Method for Static Input Nonlinearities.. Pär Samuelsson och Bengt Carlsson. Technical reports from the Department of Information Technology nr 2004-008, 2004.
  279. Linearization of Static Input Nonlinearities. Pär Samuelsson och Bengt Carlsson. I Proceedings of Reglermöte 2004, 2004.
  280. Frequency-selective SVD-based magnetic resonance spectroscopy with prior knowledge. Niclas Sandgren, Peter Stoica och Yngve Selén. I Conference Record of the 38th Asilomar Conference on Signals, Systems, and Computers, 2004.
  281. Parametric methods for frequency-selective MR spectroscopy. Niclas Sandgren. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2004-001, Uppsala University, 2004.
  282. Parametric methods for frequency-selective MR spectroscopy - a review. Niclas Sandgren, Yngve Selén, Peter Stoica och Jian Li. I Journal of Magnetic Resonance, volym 168, nummer 2, pp 259-272, 2004.
  283. 2D grey-level skeleton computation: A discrete 3D approach. Gabriella Sanniti di Baja och Ingela Nyström. I Proceedings of International Conference on Pattern Recognition (ICPR 2004), 2004.
  284. Model checking polygonal differential inclusions using invariance kernels. Gerardo Schneider och Gordon Pace. 2004.
  285. Reorganisation in the Skewed-Associative TLB. Thorild Selén. Technical report 2004-027, 2004.
  286. A model averaging approach for equalizing sparse communication channels. Yngve Selén, Erik G. Larsson, Peter Stoica och Niclas Sandgren. I Conference Record of the 38th Asilomar Conference on Signals, Systems, and Computers, pp 677-681, 2004.
  287. Model Selection. Yngve Selén. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2004-003, Uppsala University, 2004. (fulltext).
  288. Multiple-symbol double-differential detection based on least-squares and generalized-likelihood ratio criteria. M. Simon, J. Liu, Peter Stoica och J. Li. I IEEE Trans Communications, volym 52, pp 46-49, 2004.
  289. A refined circular template matching method for classification of human cytomegalovirus capsids in TEM images. Ida-Maria Sintorn, Mohammed Homman-Loudiyi, Cecilia Söderberg-Nauclér och Gunilla Borgefors. I Computer Methods and Programs in Biomedicine, volym 76, pp 95-102, 2004. (DOI).
  290. Object decomposition based on grey-level and shape information. Ida-Maria Sintorn. I Proc. Swedish Society for Automated Image Analysis (SSBA) Symposium 2004, p 25, 2004.
  291. Using grey-level and shape information for decomposing proteins in 3D images. Ida-Maria Sintorn och Susana Mata. I IEEE International, pp 800-803, 2004.
  292. Weighted distance transforms for volume images digitized in elongated voxel grids. Ida-Maria Sintorn och Gunilla Borgefors. I Pattern Recognition Letters, volym 25, pp 571-580, 2004. (DOI).
  293. Defuzzification of discrete objects by optimizing area and perimeter similarity. Natasa Sladoje, Joakim Lindblad och Ingela Nyström. I Proceedings of International Conference on Pattern Recognition (ICPR 2004), pp 526-629, 2004. (DOI).
  294. Steel converter process control with cooling additives. Boris Sokolov, Alexander Shepeljavyi och Alexander Medvedev. I 6th IFAC Symposium on Nonlinear Control Systems: NOLCOS 2004, 2004.
  295. Low Power and Conflict Tolerant Cache Design. Mathias Spjuth, Martin Karlsson och Erik Hagersten. Technical Report 2004-024, Department of Information Tech. May 2004, 2004.
  296. Array processing for signals with non-zero means in colored noise fields. Peter Stoica, M. Agrawal och P. Åhgren. I Digital Signal Processing, volym 14, pp 296-311, 2004.
  297. Cross-Validation Rules for Order Estimation. Peter Stoica och Yngve Selén. I Digital Signal Processing, volym 14, nummer 4, pp 355-371, 2004.
  298. Cyclic minimizers, majorization techniques, and the expectation-maximization algorithm: a refresher. Peter Stoica och Yngve Selén. I IEEE Signal Processing Magazine, volym 21, nummer 1, pp 112-114, 2004.
  299. Model-Order Selection: A review of information criterion rules. Peter Stoica och Yngve Selén. I IEEE Signal Processing Magazine, volym 21, nummer 4, pp 36-47, 2004.
  300. Multi-model approach to model selection. Peter Stoica, Yngve Selén och Jian Li. I Digital Signal Processing, volym 14, nummer 5, pp 399-412, 2004.
  301. On information criteria and the generalized likelihood ratio test of model order selection. Peter Stoica, Yngve Selén och Jian Li. I IEEE Signal Processing Letters, volym 11, nummer 10, pp 794-797, 2004.
  302. The heurnistic, GLRT and MAP detectors for double differential modulation are identical. Peter Stoica, J. Liu, J. Li och M. Prasad. I 5th IEEE Workshop on Signal Processing Advances in Wireless Communications, 2004.
  303. The waterbed effect in spectral estimation. Peter Stoica, J. Li och B. Ninness. I IEEE Signal Processing Mag., pp 88-90, 2004.
  304. Using prior knowledge in SVD-based parameter estimation for magnetic resonance spectroscopy--the ATP example. Peter Stoica, Yngve Selén, Niclas Sandgren och Sabine Van Huffel. I IEEE Transactions on Biomedical Engineering, volym 51, nummer 9, pp 1568-1578, 2004. (Extern länk).
  305. Surface skeletons in grids with non-cubic voxels. Robin Strand. I Proceedings of International Conference on Pattern Recognition (ICPR 2004), 2004.
  306. Semi-Toeplitz preconditioning for the linearized Navier-Stokes equations. Samuel Sundberg och Lina von Sydow. I BIT Numerical Mathematics, volym 44, pp 307-341, 2004. (DOI).
  307. Boundary Summation Equations. Per Sundqvist. Technical report / Department of Information Technology, Uppsala University nr 2004-042, 2004. (Extern länk).
  308. On Coordinate Transformations for Summation-by-Parts Operators. Magnus Svärd. I Journal of Scientific Computing, volym 20, pp 29-42, 2004. (DOI).
  309. On the Order of Accuracy for Difference Approximations of Initial-Boundary Value Problems. Magnus Svärd och Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2004-040, 2004. (Extern länk).
  310. Stability of finite volume approximations for the Laplacian operator on quadrilateral and triangular grids. Magnus Svärd och Jan Nordström. I Applied Numerical Mathematics, volym 51, pp 101-125, 2004. (DOI).
  311. Stable High-Order Finite Difference Methods for AerodynamicsStabila högordnings finita differensmetoder för aerodynamik. Magnus Svärd. Doktorsavhandling, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1026, Acta Universitatis Upsaliensis, Uppsala, 2004. (fulltext).
  312. Identification of dynamic errors-in-variables systems with periodic data. T. Söderström och M. Hong. Department of Information Technology nr 2004-037, 2004.
  313. Identification of dynamic errors-in-variables systems with periodic data. Torsten Söderström och Mei Hong. I Reglermöte 2004, National Conference on Control, 2004.
  314. Maximum likelihood modeling of orbits of nonlinear ODEs. Torsten Söderström, Torbjörn Wigren och Emad Abd-Elrady. Technical report / Department of Information Technology, Uppsala University nr 2004-001, Uppsala universitet, 2004. (Report in fulltext, fulltext).
  315. Spezifikation von Stellwerkslogik mit formalen Methoden. Carsten Trog och Lars-Henrik Eriksson. I Signal + Draht, nummer 1+2, 2004.
  316. LUNAR - A Lightweight Underlay Network Ad-hoc Routing Protocol and Implementation. Christian Tschudin, Richard Gold, Olof Rensfelt och Oskar Wibling. I Next Generation Teletraffic and Wired/Wireless Advanced Networking (NEW2AN'04), p 300, 2004.
  317. LUNAR - A Lightweight Underlay Network Ad-hoc Routing Protocol and Implementation. Christian Tschudin, Richard Gold, Olof Rensfelt och Oskar Wibling. I Proceedings of the International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networking (NEW2AN), 2004.
  318. Lightweight Underlay Network Adhoc Routing Protocol and Implementation. Christian Tschudin, Richard Gold, Olof Rensfelt och Oskar Wibling. I Next Generation Teletraffic and Wired/Wireless Advanced Networking (NEW2AN'04), 2004.
  319. A Content Adaptation Network using SelNet. Mats Uddenfeldt och Richard Gold. I Second Swedish National Computer Networking Workshop (SNCNW 2004), 2004.
  320. Fast surface rendering for interactive medical image segmentation with haptic feedback. Erik Vidholm och Jonas Agmund. I Proceedings of SIGRAD 2004: Special theme - Environmental visualization, 2004. (Extern länk).
  321. Haptic guided seeding of MRA images for semi-automatic segmentation. Erik Vidholm, Xavier Tizon, Ingela Nyström och Ewert Bengtsson. I Proceedings of IEEE International Symposium on Biomedical Imaging, volym 1, pp 288-291, 2004.
  322. Haptic guided seeding of MRA images for semi-automatic segmentation. Erik Vidholm, Xavier Tizon, Ingela Nyström och Ewert Bengtsson. I Proceedings of IEEE international symposium on biomedical imaging: From nano to macro, pp 288-291, 2004. (Extern länk).
  323. The most nonelementary theory. Sergei Vorobyov. I Information and Computation, volym 190, nummer 2, pp 196-219, 2004.
  324. Bundling: Reducing the Overhead of Multiprocessor Prefetchers. Dan Wallin och Erik Hagersten. I 18th International Parallel and Distributed Processing Symposium: (IPDPS 2004), 2004.
  325. Bundling: Reducing the Overhead of Multiprocessor Prefetchers. Dan Wallin och Erik Hagersten. I Proceedings of the International Parallel and Distributed Processing Symposium, 2004.
  326. Cache memory behavior of advanced PDE solvers. Dan Wallin, Henrik Johansson och Sverker Holmgren. I Parallel Computing: Software Technology, Algorithms, Architectures and Applications, volym 13 av Advances in Parallel Computing, pp 475-482, Elsevier, Amsterdam, The Netherlands, 2004.
  327. Maximum-likelihood double differential detection clarified. Y. Wang, J. Li, G. Liu och Peter Stoica. I IEEE Trans Info Theory, volym 50, pp 572-576, 2004.
  328. Polarimetric SAR target feature extraction and image formation via semi-parametric methods. Y. Wang, J. Li, G. Liu och Peter Stoica. I Digital Signal Procesing, volym 14, pp 268-293, 2004.
  329. Wideband relax and wideband clean for aeroacoustic imaging. Y. Wang, J. Li, Peter Stoica, M. Sheplak och T. Nishida. I J Acoust. Soc. of America, volym 115, nummer 757-767, 2004.
  330. Constant-beamwidth and constant-powerwidth wideband robust capon beamformers for acoustic imaging. Z. Wang, J. li, Peter Stoica, T. Nishida och M. Sheplak. I J Accoust. Soc. of America, volym 116, pp 1621-1631, 2004.
  331. On Modelling Nonlinear Variation in Discrete Appearances of Objects. Felix Wehrmann. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 54, Acta Universitatis Upsaliensis, Uppsala, 2004. (fulltext).
  332. GPU-assisted Surface Reconstruction and Motion Analysis from Range Scanner Data. Daniel Wesslén och Stefan Seipel. I Sigrad Conference 2004, pp 52-52, 2004.
  333. The Virtual Forest. Daniel Wesslén och Stefan Seipel. I Sigrad Conference 2004, p 61, 2004.
  334. Automatized Verification of Ad Hoc Routing Protocols. Oskar Wibling, Joachim Parrow och Arnold Pears. I Formal Techniques for Networked and Distributed Systems – FORTE 2004, volym 3235 av Lecture Notes in Computer Science, pp 343-358, Springer-Verlag, Berlin, 2004. (DOI).
  335. Recursive prediction error identification of nonlinear state space models. Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2004-004, Uppsala University, Uppsala, 2004. (Extern länk, fulltext).
  336. Future train traffic control, control by re-planning. J. Wilson, B. Norris, A. Mills och T. Clark (red). 2004.
  337. Combining intensity, edge, and shape information for 2D and 3D segmentation of cell nuclei in tissue sections. Carolina Wählby, Ida-Maria Sintorn, Fredrik Erlandsson, Gunilla Borgefors och Ewert Bengtsson. I Journal of Microscopy, volym 215, nummer 1, pp 67-76, 2004. (DOI).
  338. Time-lapse microscopy and image analysis for tracking stem cell migration. Carolina Wählby, Patrick Karlsson, Thorleif Thorlin, Karin Althoff, Johan Degerman, Ewert Bengtsson och Tomas Gustavsson. I Proceedings of the Swedish Symposium on Image Analysis SSBA 2004, pp 118-121, 2004.
  339. Evaluation, Implementation and Performance of Write Permission Caching in the DSZOOM System. Håkan Zeffer, Zoran Radovic, Oskar Grenholm och Erik Hagersten. Technical reports from the Department of Information Technology nr 2004-005, 2004. (Extern länk).
  340. Exploiting Spatial Store Locality through Permission Caching in Software DSMs. Håkan Zeffer, Zoran Radovic, Oskar Grenholm och Erik Hagersten. I Proceedings of the 10th International Euro-Par Conference: Parallel Processing, p 551, 2004. (Extern länk).
  341. Objective assessment in cervical dystonia. Lena Zetterberg, Sten-Magnus Aquilonius, Birgitta Lindmark, Erik Lundström, Virgil Stokes, Catarina Färnstrand och K. Halvorsen. I Proceedings from ESMAC 13th Annual Meeting of European Society of Movement Analysis of Adult and Children, 2004.
  342. Set Variables and Local Search. Magnus Ågren. Technical reports from the Department of Information Technology nr 2004-015, 2004. (Extern länk).
  343. Set variables and local search (Abstract). Magnus Ågren. I 10th International Conference on Principles and Practice of Constraint Programming: CP 2004, p 788, 2004.
  344. On System Identification and Acoustic Echo CancellationSystemidentifiering och Akustisk Ekoutsläckning. Per Åhgren. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 53, Acta Universitatis Upsaliensis, Uppsala, 2004.
  345. On applications of the generalized Fourier transform in numerical linear algebra. Krister Åhlander och Hans Munthe-Kaas. Technical report / Department of Information Technology, Uppsala University nr 2004-029, 2004. (Extern länk).
  346. Improvement of a Color Correction Algorithm for Underwater Images Through Compensating for Digital Camera Behaviour. Julia Åhlén och David Sundgren. I Proceedings of the Swedish Symposium on Image Analysis, pp 142-145, 2004.
  347. The Obvious & The Essential: Interpreting Software Development & Organizational Change. Jenny Öhman Persson. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 57, Acta Universitatis Upsaliensis, Uppsala, 2004. (fulltext).

Uppdaterad  2009-12-17 17:07:38 av Björn Victor.