Department of Information Technology
Department of Information Technology
Uppsala UniversityInformation TechnologyResearchPublications
Denna sida på svenska
Listen

Publications 2004

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

Updated  2009-12-17 17:07:11 by Björn Victor.