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

Publications 2003

  1. Periodic signal modeling based on Liénard's equation. Emad Abd-Elrady, Torsten Söderström, and Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2003-036, Uppsala University, Uppsala, 2003. (External link, fulltext).
  2. Algorithmic Improvements in Regular Model Checking. Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, and Julien d'Orso. Technical report / Department of Information Technology, Uppsala University nr 2003-024, Department of Information Technology, Uppsala University, 2003. (fulltext).
  3. Algorithmic Improvements in Regular Model Checking. Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, and Julien d'Orso. In CAV'03, 15th Int. Conf. Computer Aided Verification, pp 236-248, 2003.
  4. Downward Closed Language Generators. Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, and Aletta Nylén. Technical report / Department of Information Technology, Uppsala University nr 2003-001, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext).
  5. Forward Reachability Analysis of Timed Petri Nets. Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, and Aletta Nylén. Technical report / Department of Information Technology, Uppsala University nr 2003-056, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext).
  6. Model checking of systems with many identical timed processes. Parosh Aziz Abdulla and Bengt Jonsson. In Theoretical Computer Science, volume 290, number 1, pp 241-264, 2003. (DOI).
  7. The difference between concurrent and sequential computation. Luca Aceto, Giuseppe Longo, and Björn Victor (eds). Volume 13(4-5) of Mathematical Structures in Computer Science, Cambridge University Press, 2003. (DOI).
  8. Challenges in teaching capstone courses. Liz Adams, Mats Daniels, Annegret Goold, Orit Hazzan, Kathy Lynch, and Ian Newman. In ACM SIGCSE Bulletin, volume 35, number 3, pp 219-220, 2003.
  9. Estimation of nominal directions of arrival and angular spreads of distributed sources. M. Agrawal, P. Stoica, O. Besson, and P. Åhgren. In Signal Processing, volume 83, pp 1833-1838, 2003.
  10. Special Issue on ASE'00. Perry Alexander and Pierre Flener (eds). Volume 10 of Automated Software Engineering, Kluwer Academic Publishers, 2003. (External link).
  11. Case studies in admission to and early performance in computer science degrees. Sylvia Alexander, June Amillo, Boyle Roger, Clark Martyn, Mats Daniels, Cary Laxer, and Ken Loose. In ACM SIGCSE Bulletin, volume 35, number 4, pp 149-153, 2003.
  12. Code synthesis for timed automata. Tobias Amnell. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-011, Uppsala University, 2003. (fulltext).
  13. TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems. Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. In Proceedings of the International Conference of Formal Modeling and Analysis of Timed Systems, 2003. (External link).
  14. Times: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems. Amnell T, Fersman E, Mokrushin L, Pettersson P and Yi W. In To appear in Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS'03, 2003.
  15. Adjoint-based aerodynamic shape optimization. Olivier Amoignon. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-012, Uppsala University, 2003. (fulltext).
  16. Discrete adjoint-based shape optimization for an edge-based finite-volume solver. Olivier Amoignon and Martin Berggren. In Computational Fluid and Solid Mechanics: 2003, pp 2190-2193, Elsevier Science, 2003. (DOI).
  17. Preconditioning methods for linear systems arising in constrained optimization problems. Owe Axelsson and Maya Neytcheva. In Numerical Linear Algebra with Applications, volume 10, pp 3-31, 2003. (DOI).
  18. Robust preconditioners for saddle point problems. Owe Axelsson and Maya Neytcheva. In Numerical Methods and Applications, volume 2542 of Lecture Notes in Computer Science, pp 158-166, Springer-Verlag, Berlin, 2003. (DOI).
  19. A Backward/Forward Strategy for Verifying Safety Properties of Infinite-State Systems. Michael Baldamus, Richard Mayr, and Gerardo Schneider. Technical report / Department of Information Technology, Uppsala University nr 2003-065, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext).
  20. Spi Calculus Translated to pi-Calculus Preserving May-Testing. Michael Baldamus, Joachim Parrow, and Björn Victor. Technical report / Department of Information Technology, Uppsala University nr 2003-063, 2003. (fulltext).
  21. The BDD Space Complexity of Different Forms of Complexity. Baldamus, Michael and Schneider, Klaus. In Fundamenta Informaticae, volume 50, number 2, pp 111-133, 2003.
  22. A fast all-integer ellipse discretization algorithm. Barrera Tony, Hast Anders, Bengtsson Ewert. In Graphics Programming Methods, pp 121-131, 2003.
  23. A fast and simple all-integer parametric line. Barrera Tony, Hast Anders, Bengtsson Ewert. In , 2003.
  24. The Usability Design Process: Integrating User-Centred Systems Design in the Software Development Process. Göransson Bengt, Jan Gulliksen, and Inger Boivie. In Software Process: Improvement and Practice, volume 8, number 2, 2003.
  25. Usability Design: Extending Rational Unified Process with a New Discipline. Göransson Bengt, Magnus Lif, and Jan Gulliksen. In Interactive Systems: Design, Specification and Verification, 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 2003, Revised Papers, LNCS 2844, pp 316-330, 2003.
  26. A feature set for cytometry on digitized microscopic images. Ewert Bengtsson and Karsten Rodenacker. In Analytical Cellular Pathology, volume 24, number 1, pp 1-36, 2003.
  27. Computerized Cell Image Analysis: Past, Present and Future. Ewert Bengtsson. 2003.
  28. On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. Johan Bengtsson and Wang Yi. In Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, 2003.
  29. Timed Automata: Semantics, Algorithms and Tools. Johan Bengtsson and Wang Yi. In Lectures on Concurrency and Petri Nets, Advances in Petri Nets, pp 87-124, 2003.
  30. Robust Cell Image Segmentation Methods. Bengtsson Ewert, Wählby Carolina, Lindblad Joakim. 2003.
  31. Low-Overhead Spatial and Temporal Data Locality Analysis. Erik Berg and Erik Hagersten. Technical report / Department of Information Technology, Uppsala University nr 2003-057, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext).
  32. Methods for run time analysis of data locality. Erik Berg. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-015, Uppsala University, 2003. (fulltext).
  33. StatCache: A Probabilistic Approach to Efficient and Accurate Data Locality Analysis. Erik Berg and Erik Hagersten. Technical report / Department of Information Technology, Uppsala University nr 2003-058, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext).
  34. Insights to Angluin's Learning. Therese Berg, Bengt Jonsson, Martin Leucker, and Mayank Saksena. IT Technical Report 2003-039, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link).
  35. Multifrequency shape optimization of an acoustic horn. Martin Berggren, Erik Bängtsson, and Daniel Noreland. In Computational Fluid and Solid Mechanics: 2003, pp 2204-2207, Elsevier Science, 2003. (DOI).
  36. A Framework to study learning in an internationally distributed course.. Anders Berglund. In Communities of Practise.: Research Proceedings of the 10th Association for Learning Technology Conference (ALT-C 2003), pp 27-39, 2003.
  37. Erfarenheter av att leda ett utvecklingsprojekt (in Swedish): Invited speaker, course for project leaders. Anders Berglund. Rådet för Högre Utbildning ,Stockholm, Sweden, 2003.
  38. Students' Understanding of Networks in an Internationally Distributed Course.. Anders Berglund and Arnold Pears. In Proceedings of 3rd IEEE International Conference of Advanced Learning Technologies (ICALT 2003)., pp 380-381, 2003.
  39. What is good teaching of computer networks?.. Anders Berglund. In Proceedings of 33rd Annual Frontiers in Education, pp 2SD13-2SD19, 2003. (External link).
  40. On parameter estimation of MIMO flat-fading channels with frequency offsets. O. Besson and P. Stoica. In IEEE Trans Signal Process, volume 51, pp 602-613, 2003.
  41. Training sequence selection for frequency offset estimation in frequency selective channels. O. Besson and P. Stoica. In Digital Signal Processing, volume 13, pp 106-127, 2003.
  42. A recursive algorithm for estimating parameters in a one dimensional diffusion system. B. Bhikkaji, T. Söderström, and K. Mahata. In 13th IFAC Symposium on System Identification, 2003.
  43. Reduced order models for a two-dimensional heat diffusion system. B. Bhikkaji, K. Mahata, and T. Söderström. Technical report / Department of Information Technology, Uppsala University nr 2003-022, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext).
  44. A note on gramain-based interaction measures. Wolfgang Birk and Alexander Medvedev. In Proceedings of European Control Conference, 2003.
  45. A Discrete Subexponential Algorithm for Parity Games. Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. In Proceedings of the 20th International Symposium on Theoretical Aspects of Computer Science, STACS'2003, 2003.
  46. A discrete subexponential algorithm for parity games. Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. In STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, pp 663-674, 2003.
  47. Algorithms for Combinatorial Optimization and Games Adapted from Linear Programming. Henrik Björklund and Sven Sandberg. In Proceedings of the Eighth European Summer School on Logic, Language, and Information (ESSLLI) Student Session, pp 13-24, 2003.
  48. Algorithms for Combinatorial Optimization and Games Adapted from Linear Programming. Henrik Björklund and Sven Sandberg. Technical report / Department of Information Technology, Uppsala University nr 2003-015, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link, fulltext).
  49. An Improved Subexponential Algorithm for Parity Games. Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. Technical report / Department of Information Technology, Uppsala University nr 2003-017, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext).
  50. Complexity of Model Checking by Iterative Improvement: the Pseudo-Boolean Framework. Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. In Proceedings of the Andrei Ershov Fifth International Conference ``Perspectives of System Informatics'', pp 381-394, 2003.
  51. Complexity of model checking by iterative improvement: the pseudo-Boolean framework. Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. In Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, pp 381-394, 2003.
  52. On Combinatorial Structure and Algorithms for Parity Games. Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. Technical report / Department of Information Technology, Uppsala University nr 2003-002, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext).
  53. On Fixed-Parameter Complexity of Infinite Games. Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. Technical report / Department of Information Technology, Uppsala University nr 2003-038, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext).
  54. Randomized Subexponential Algorithms for Parity Games. Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. Technical report / Department of Information Technology, Uppsala University nr 2003-019, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext).
  55. Automated test generation for industrial Erlang applications. Johan Blom and Bengt Jonsson. In Erlang Workshop 2003: Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003., pp 8-14, 2003.
  56. Addressing users' health issues in software development - an exploratory study. Boivie, I., Blomkvist, S., Persson, J., Åborg, C.. In Behaviour & Information Technology, special section on Designing IT for Healthy Work, volume 22, number 6, pp 411-420, 2003.
  57. Addressing Users' Health Issues in Software Development: An Exploratory Study. Inger Boivie, Carl Åborg, Jenny Persson, and Stefan Blomkvist. In Behaviour & Information Technology, volume 22, number 6, pp 411-420, 2003.
  58. It’s all in a days work of a software engineer. Inger Boivie, Jan Gulliksen, and Bengt Göransson. In Proceedings of HCI International 2003, June 22-27, Crete, Greece, 2003.
  59. Usability and users’ health issues in systems development. Inger Boivie. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-003, Uppsala University, 2003. (fulltext).
  60. Why Usability Gets Lost or Usability in In-house Software Development. Inger Boivie, Carl Åborg, Jenny Persson, and Mats Löfberg. In Interacting with Computers, volume 15, number 4, pp 623-639, 2003.
  61. Why usability gets lost or usability in in-house software development. Inger Boivie, Carl Åborg, Jenny Persson, and Mats Löfberg. In Interacting with Computers, volume 15, number 4, pp 623-639, 2003. (DOI).
  62. Automatic image analysis of concrete cracks. Karl Bolin and Johan Helgesson. CBA Master Thesis Report No. 60, Uppsala: Uppsala University School of Engineering, UPTEC F03 045, 2003.
  63. Deciding LTL over Mazurkiewicz traces. Benedikt Bollig and Martin Leucker. In Data & Knowledge Engineering, volume 44, number 2, pp 221-240, 2003. (External link).
  64. Model checking probabilistic distributed systems. Benedikt Bollig and Martin Leucker. In ASIAN 2003: Proceedings of the 8th Asian Computing Science Conference, pp 291-304, 2003. (External link).
  65. Editorial. G. Borgefors, Ingela Nyström, and G. Sanniti Di Baja. In Discrete Applied Mathematics, volume 125, number 1, pp 1-2, 2003. (DOI).
  66. Weighted digital distance transforms in four dimensions. Gunilla Borgefors. In Discrete Applied Mathematics, volume 125, pp 161-176, 2003.
  67. Weighted distance transforms in four dimensions. Gunilla Borgefors. In Discrete Applied Mathematics, volume 125, pp 161-176, 2003. (External link).
  68. An Algorithm for Computing Fundamental Solutions of Difference Operators. Henrik Brandén and Per Sundqvist. Technical report / Department of Information Technology, Uppsala University nr 2003-006, 2003. (fulltext).
  69. Convergence acceleration for the steady-state Euler equations. Henrik Brandén and Sverker Holmgren. In Computers & Fluids, volume 32, pp 1075-1092, 2003. (DOI).
  70. Discrete Fundamental Solution Preconditioning for Hyperbolic Systems of PDE. Henrik Brandén, Sverker Holmgren, and Per Sundqvist. Technical report / Department of Information Technology, Uppsala University nr 2003-007, 2003. (fulltext).
  71. High order accurate solution of the incompressible Navier-Stokes equations. Arnim Brüger, Bertil Gustafsson, Per Lötstedt, and Jonas Nilsson. Technical report / Department of Information Technology, Uppsala University nr 2003-064, 2003. (fulltext).
  72. Approaches to Reduce the Computational Cost when Solving Linear Systems of Equations Arising in Boundary Element Method Discretizations. Erik Bängtsson and Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2003-053, 2003. (fulltext).
  73. Shape optimization of an acoustic horn. Erik Bängtsson, Daniel Noreland, and Martin Berggren. In Computer Methods in Applied Mechanics and Engineering, volume 192, pp 1533-1571, 2003. (DOI).
  74. A Tractable Mechanism for Time Dependent Markets. Per Carlsson, Arne Andersson, and Fredrik Ygge. In CEC 2003, IEEE International Conference on E-Commerce, pp 31-34, 2003.
  75. A Tractable Mechanism for Time Dependent Markets. Per Carlsson, Arne Andersson, and Fredrik Ygge. Technical report / Department of Information Technology, Uppsala University nr 2003-027, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext).
  76. Message Analysis for Concurrent Languages. Richard Carlsson, Konstantinos Sagonas, and Jesper Wilhelmsson. In In Proceedings of the Static Analysis Symposium, pp 73-90, 2003.
  77. 2D and 3D Introductory Processes in Virtual Groups. Tony Clear and Mats Daniels. In IEEE Frontiers in Education, pp S1F1-S1F6, 2003. (External link).
  78. Estimation of Curvature along Curves with Application to Fibres in 3D Images of Paper. David Coeurjolly and Stina Svensson. 2003.
  79. MEAD, Managing Education with Teachers at a Distance. Mats Daniels, Xristine Faulkner, and Ian Newman. In IEEE Frontiers in Education conference, pp S1F26-S1F29, 2003. (External link).
  80. Runestone, the Story. Mats Daniels, Anders Berglund, and Arnold Pears. In Grundutbildningsrådets utvecklingskonferens, Gävle, 2003.
  81. A Formal Semantics for UML Statecharts. Alexandre David, Johann Deneux, and Julien d'Orso. Technical report / Department of Information Technology, Uppsala University nr 2003-010, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext).
  82. A Tool Architecture for the Next Generation of UPPAAL. Alexandre David, Gerd Behrmann, Kim G. Larsen, and Wang Yi. Technical report / Department of Information Technology, Uppsala University nr 2003-011, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext).
  83. Hierarchical Modeling and Analysis of Real Time Systems. Alexandre David. Ph.D. thesis, Technical report / Department of Information Technology, Uppsala University nr 050, Institutionen för informationsteknologi, Uppsala, 2003.
  84. Hierarchical Modeling and Analysis of Timed Systems. Alexandre David. IT Technical Report 2003-050, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link).
  85. Unification & Sharing in Timed Automata Verification. Alexandre David, Gerd Behrmann, Kim Larsen, and Wang Yi. In Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, 2003.
  86. Verification of UML Statecharts with Real-Time Extensions. Alexandre David, M. Oliver Möller, and Wang Yi. Technical report / Department of Information Technology, Uppsala University nr 2003-009, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext).
  87. A New Technique for Accurate and Stable Modeling of Arbitrarily Oriented Thin Wires in the FDTD Method. Fredrik Edelvik. In IEEE transactions on electromagnetic compatibility (Print), volume 45, pp 416-423, 2003. (DOI).
  88. An Unconditionally Stable Subcell Model for Arbitrarily Oriented Thin Wires in the FETD Method. Fredrik Edelvik, Gunnar Ledfelt, Per Lötstedt, and Douglas J. Riley. In IEEE Transactions on Antennas and Propagation, volume 51, pp 1797-1805, 2003. (DOI).
  89. Frequency Dispersive Materials for 3-D Hybrid Solvers in Time Domain. Fredrik Edelvik and Bo Strand. In IEEE Transactions on Antennas and Propagation, volume 51, pp 1199-1205, 2003. (DOI).
  90. Iterative solution of a hybrid method for Maxwell's equations in the frequency domain. Johan Edlund, Per Lötstedt, and Bo Strand. In International Journal for Numerical Methods in Engineering, volume 56, pp 1755-1770, 2003. (DOI).
  91. Adaptive Control of the Nitrate Level in an Activated Sludge Process Using an External Carbon Source - Extended Version. M. Ekman, P. Samuelsson, and B. Carlsson. Technical report / Department of Information Technology, Uppsala University nr 2003-030, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext).
  92. Adaptive control of the nitrate level in an activated sludge process. Mats Ekman, Pär Samuelsson, and Bengt Carlsson. In Water Science and Technology, volume 47, number 11, pp 137-144, 2003.
  93. Urban water management: Modelling, simulation and control of the activated sludge process. Mats Ekman. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-005, Uppsala University, 2003. (fulltext).
  94. Problems of high dimension in molecular biology. Johan Elf, Per Lötstedt, and Paul Sjöberg. In Proc. 19th GAMM Seminar Leipzig on High-dimensional problems: Numerical treatment and applications, pp 21-30, Max Planck Institute for Mathematics in the Sciences, Leipzig, Germany, 2003.
  95. On measuring the intersection length of a line and a digital volume. Daniel Eliasson. CBA Master Thesis Report No. 63, Uppsala: Centre for Image Analysis, 2003.
  96. Analysis of the Execution Time Unpredictability caused by Dynamic Branch Prediction. Jakob Engblom. In RTAS 2003: Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium, May 27-30, 2003, Toronto, Canada, pp 152-159, 2003.
  97. Der ausgequetschte Code (3 part article). Jakob Engblom, Thomas Watzlawick, and Andreas Barth. In Elektronik, number 8, 10, 12, 2003.
  98. Embedded Systems Computer Architecture: Extended abstract in the Proc. of European Summer School on Embedded Systems. Jakob Engblom. In Proceedings of European Summer School on Embedded Systems: Västerås, September 2003, 2003.
  99. Execution-Time Analysis for Embedded Real-Time Systems. Jakob Engblom, Andreas Ermedahl, Mikael Sjödin, Jan Gustafsson, and Hans Hansson. In International Journal on Software Tools for Technology Transfer, volume 4, number 4, pp 437-455, 2003.
  100. Full-System Simulation Technology: Extended abstract in the proceedings of ESSES 2003 (European Summer School on Embedded Systems). Jakob Engblom. In Proc. of the European Summer School on Embedded Systems: Västerås, September 2003, 2003.
  101. Full-System Simulation Technology: Extended abstract appearing in the proceedings of ESSES 2003 (European Summer School on Embedded Systems). Jakob Engblom. 2003.
  102. Fast, accurate, and stable algorithm for the stress field around a zig-zag-shaped crack. Jonas Englund. In Engineering Fracture Mechanics, volume 70, pp 355-364, 2003. (DOI).
  103. Make Haste, Not Waste: Automated System Testing. Carl Erickson, Ralph Palmer, David Crosby, Michael Marsiglia, and Micah Alles. In Extreme Programming and Agile Methods: XP Agile Universe 2003, Springer, 2003.
  104. Make Haste, Not Waste: Automated System Testing. Carl Erickson, Ralph Palmer, David Crosby, Michael Marsiglia, and Micah Alles. In Extreme Programming and Agile Methods - XP/Agile Universe 2003, pp 120-128, 2003. (External link).
  105. Finding tree-stems in laser range images of young mixed stands to perform selective cleaning. Mats Erikson and Vestlund Karin. In Proceedings of the ScandLaser Scientific Workshop on Airborne Laser Scanning of Forest, pp 244-250, 2003.
  106. Segmentation of individual tree crowns in colour aerial photographs using region growing supported by fuzzy rules. Mats Erikson. In Canadian Journal of Forest Research, volume 33, number 8, pp 1557-1563, 2003.
  107. Structure-preserving Segmentation of Individual Tree Crowns by Brownian Motion. Mats Erikson. In Proceedings of the 13th Scandinavian Conference on Image Analysis, pp 283-289, 2003.
  108. Abnormal expression pattern of cyclin E in tumor cells. Fredrik Erlandsson, Carolina Wählby, Susanna Ekholm-Reed, Ann-Cathrin Hellström, Ewert Bengtsson, and Anders Zetterberg. In International Journal of Cancer, volume 104, pp 369-375, 2003.
  109. Abnormal expression pattern of cyclin E in tumour cells. Fredrik Erlandsson, Carolina Wählby, Susanna Ekholm-Reed, Ann-Cathrin Hellström, Ewert Bengtsson, and Anders Zetterberg. In Int J Cancer, volume 104, pp 369-375, 2003. (DOI).
  110. A Modular Tool Architecture for Worst-Case Execution Time Analysis. Andreas Ermedahl. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 45, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext).
  111. Clustered Calculation of Worst-Case Execution Times. Andreas Ermedahl, Friedhelm Stappert, and Jakob Engblom. In Proceedings of the 6th International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES 2003), 2003.
  112. Anisotropic grid adaptation for Navier-Stokes' equations. Lars Ferm and Per Lötstedt. In Journal of Computational Physics, volume 190, pp 22-41, 2003. (DOI).
  113. Space-Time Adaptive Solution of First Order PDES. Lars Ferm and Per Lötstedt. Technical report / Department of Information Technology, Uppsala University nr 2003-061, 2003. (fulltext).
  114. A Generic Approach to Schedulability Analysis of Real-Time Systems. Elena Fersman. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 49, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext).
  115. Schedulability Analysis using Two Clocks. Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2003. (External link).
  116. Breaking symmetries in matrix models: A brief overview.. Pierre Flener, Alan M. Frisch, Brahim Hnich, Chris Jefferson, Zeynep Kiziltan, Ian Miguel, Justin Pearson, and Toby Walsh. In Proceedings of the Tenth Workshop on Automated Reasoning (ARW'03), 2003. (External link).
  117. Simuleringsmotor för tågtrafik med stöd för experimentell konfiguration. Jimmy Flink. IT Technical Report 2003-047, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link).
  118. Theoretical and experimental study of binary perturbation peaks with focus on peculiar retention behaviour and vanishing peaks in chiral liquid chromatography. Patrik Forssén, Johan Lindholm, and Torgny Fornstedt. In Journal of Chromatography A, volume 991, pp 31-45, 2003. (DOI).
  119. Latency-hiding and Optimizations of the DSZOOM Instrumentation System. Oskar Grenholm, Zoran Radovic, and Erik Hagersten. IT Technical Report 2003-029, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link).
  120. ENGINEERING THE HCI PROFESSION OR SOFTENING DEVELOPMENT PROCESSES. J. Gulliksen, S. Blomkvist, and B. Göransson. In Proceedings of HCI International 2003, 2003.
  121. DESIGN VERSUS DESIGN – FROM THE SHAPING OF PRODUCT TO THE CREATION OF USER EXPERIENCES. Gulliksen, J., Lantz, A.. In International journal of Human Computer Interaction, volume 15, number 1, pp 5-20, 2003.
  122. Designing IT for Healthy Work. Jan Gulliksen (ed). Behaviour and Inforamtion Technology, Vol 22, No 6, 2003.
  123. Key Principles for User-Centred Systems Design. Jan Gulliksen, Bengt Göransson, Inger Boivie, Stefan Blomkvist, Jenny Persson, and Åsa Cajander. In Behaviour & Information Technology, volume 22, number 6, pp 397-409, 2003.
  124. Key Principles for User-Centred Systems Design. Jan Gulliksen, Bengt Göransson, Inger Boivie, Stefan Blomkvist, Jenny Persson, and Åsa Cajander. In Behaviour & Information Technology, volume 22, number 6, p 397 – 409, 2003.
  125. Key principles for user centred systems design. Jan Gulliksen, Bengt Göransson, Inger Boivie, Stefan Blomkvist, and Åsa Cajander. In Behaviour and Information Technology, volume 22, number 6, pp 397-409, 2003. (External link).
  126. Beyond adhoc networking. Selfconfiguring Networks and Terminal. Per Gunningberg. In The first COST-IST(EU)NSF(USA) Workshop on Exchanges and Trends in Networking, 2003. (External link).
  127. A fourth order difference method for the incompressible Navier-Stokes equations. Bertil Gustafsson, Per Lötstedt, and Anders Göran. In Numerical Simulations of Incompressible Flows, pp 263-276, World Scientific Publishing, River Edge, NJ, 2003.
  128. Time Compact Difference Methods for Wave Propagation in Discontinuous Media. Bertil Gustafsson and Per Wahlund. Technical report / Department of Information Technology, Uppsala University nr 2003-023, 2003. (fulltext).
  129. Time Compact High Order Difference Methods for Wave Propagation. Bertil Gustafsson and Eva Mossberg. Technical report / Department of Information Technology, Uppsala University nr 2003-016, 2003. (fulltext).
  130. USABILITY DESIGN—EXTENDING RATIONAL UNIFIED PROCESS WITH A NEW DISCIPLINE. B. Göransson, Magnus Lif, and Jan Gulliksen. In In LNCS volume 2844, DSV-IS 2003, 2003.
  131. The Usability Design Process: Integrating User-Centered Systems Design in the Software Development Process. Bengt Göransson, Jan Gulliksen, and Inger Boivie. In Software Process Improvement and Practice: Special Issue on Bridging the Process and Practice Gaps Between Software Engineering and Human Computer Interaction, volume 8, number 2, pp 111-131, 2003. (DOI, External link).
  132. Communication error reporting mechanism in a multiprocessing computer system. Erik Hagersten. 2003.
  133. Methods and apparatus for a directory-less memory access protocol in a distributed shared memory computer system. Erik Hagersten. 2003.
  134. Multiprocessing systems employing hierarchical spin locks. Erik Hagersten. 2003.
  135. Queuing delay limiter. Erik Hagersten. 2003.
  136. Selective address translation in coherent memory replication. Erik Hagersten. 2003.
  137. System and method for accessing a shared computer resource using a lock featuring different spin speeds corresponding to multiple states. Erik Hagersten. 2003.
  138. Analysis of extrapolation boundary conditions for the linearized Euler equations. Thomas Hagstrom and Jan Nordström. In Applied Numerical Mathematics, volume 44, pp 95-108, 2003. (DOI).
  139. Bias compensated least squares estimate of the center of rotation. Kjartan Halvorsen. In Journal of Biomechanics, volume 36, number 7, pp 999-1008, 2003.
  140. Feature Vector Based Analysis of Hyperspectral Crop Reflectance Data for Discrimination and Quantification of Fungal Disease Severity in Wheat. H. Hamid Muhammed and A. Larsolle. In Biosystems Engineering, volume 86, number 2, pp 125-134, 2003. (External link).
  141. Unsupervised Fuzzy Clustering and Image Segmentation Using Weighted Neural Networks. H. Hamid Muhammed. 2003.
  142. Feature Vector Based Analysis of Hyperspectral Crop Reflectance Data for Discrimination and Quantification of Fungal Disease Severity in Wheat. Hamed Hamid Muhammed and Anders Larsolle. In Biosystems Engineering, volume 86, number 2, pp 125-134, 2003.
  143. Unsupervised Fuzzy Clustering and Image Segmentation Using Weighted Neural Networks. Hamed Hamid Muhammed. In Proceedings of 12th International Conference for Image Analysis and Processing, pp 308-313, 2003.
  144. A modified Phong-Blinn light model for shadowed areas. Anders Hast, Tony Barrera, and Ewert Bengtsson. In Graphics programming methods, pp 231-235, Charles River Media, Hingham, 2003.
  145. A modified Phong-Blinn light model for shadowed areas. Anders Hast, Tony Barrera, and Ewert Bengtsson. In Proceedings of 3rd conference for the promotion of research in IT, 2003.
  146. Fast Specular Highlights by modifying the Phong-Blinn Model. Anders Hast, Tony Barrera, and Ewert Bengtsson. In SIGGRAPH03, 2003.
  147. Shading by Spherical Linear Interpolation using De Moivre's Formula. Anders Hast, Tony Barrera, and Ewert Bengtsson. In WSCG03, pp 57-60, 2003.
  148. A ntialiasing for bump maps and a fast normalization trick. Hast Anders, Barrera Tony, Bengtsson Ewert. In , 2003.
  149. Fast setup for bilinear and biquadratic interpolation over triangles. Hast Anders, Barrera Tony, Bengtsson Ewert. In , 2003.
  150. Experimental evaluation of decision support tools for train traffic control. Peter Hellström, Bengt Sandblad, W Arne Andersson, Thomas Kvist, Arvid Kauppi, Johan Wikström, and Anders Gideon. In The World Congress on Railway Research, pp 670-677, 2003.
  151. Time-Optimal Test Cases for Real-Time Systems. Anders Hessel, Kim Larsen, Brian Nielsen, Paul Pettersson, and Arne Skou. In 1st International Workshop on Formal Modeling and Analysis of Timed Systems, 2003.
  152. Towards automatic generation and evaluation of implied constraints.. Brahim Hnich, Julian Richardson, and Pierre Flener. Technical report / Department of Information Technology, Uppsala University nr 2003-014, 2003. (fulltext).
  153. The Swedish National Graduate School in Scientific Computing (NGSSC). Sverker Holmgren and Anders Ynnerman. In Future Generation Computer Systems, volume 19, pp 1275-1283, 2003. (DOI).
  154. Segmentation of T1-MRI of the Human Cortex Using a 3D Grey-level Morphology Approach. R. Hult. In Image Analysis: 13th Scandinavian Conference, SCIA2003 , Halmstad, Sweden, p 462–469, 2003.
  155. Grey-Level Morphology Combined with an Artificial Neural Networks Aproach for Multimodal Segmentation of the Hippocampus. Roger Hult. 2003.
  156. Segmentation and Visualisation of Human Brain Structures. Roger Hult. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 885, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext).
  157. Segmentation of T1-MRI of the Human Cortex Using a 3DGrey-level Morphology Approach. Roger Hult. 2003.
  158. Generating on-line test oracles from temporal logic specifications. John Håkansson, Bengt Jonsson, and Ola Lundqvist. In International Journal on Software Tools for Technology Transfer, volume 4, number 4, pp 456-471, 2003.
  159. Categorization of coral reeef bottoms for change detection using IKONOS. Center for Remote Sensing of Environment International (ed). 2003.
  160. Improved delineation of coral areas, for detection of coral bleaching, using multispectral an panchromatic IKONOS data. Center for Remote Sensing of Environment International (ed). 2003.
  161. CoVASE: Collaborative Visualization for Constructivist Learning. N. Jansen, W. Nejdl, S. Olbrich, and S. Seipel. In Proceedings of CSCL Conf. 2003, pp 249-253, 2003.
  162. Optimal Yule-Walker method for pole estimation of ARMA signals. M. Jansson and P. Stoica. In 13th IFAC Symp on System Identification, Rotterdam, The Netherlands, 2003.
  163. CoVASE: Collaborative Visualization for Constructivist Learning. N. Jensen, S. Seipel, W. Nejdl, and S. Olbrich. In Computer Support for Collaborative Learning 2003, 2003.
  164. Array Signal Processing in the known waveform and steering vector case. Y. Jian, J. Li, and P. Stoica. In ICASSP 2003, the 28th International Conference on Acoustics, Speech and Signal Processing, Hong Kong, 2003.
  165. An observer for systems with nonlinear output map. Andreas Johansson and Alexander Medvedev. In Automatica, volume 39, number 5, pp 909-918, 2003.
  166. The development of the HiPE system: Design and experience report. Erik Johansson, Mikael Pettersson, Konstantinos Sagonas, and Thomas Lindgren. In International Journal on Software Tools for Technology Transfer, volume 4, number 4, pp 421-436, 2003. (DOI).
  167. The Generation of N Dimensional Shape Primitives. Pieter P. Jonker and Stina Svensson. In Discrete Geometry for Computer Imagery: 11th International Conference, DGCI 2003, Naples, Italy, 2003. (DOI, External link).
  168. ASTEC: An Experience in the Establishment of Collaboration between Academia and Industry. Bengt Jonsson and Konstantinos Sagonas. In Springer International Journal on Software Tools for Technology Transfer, volume 4, number 4, pp 401-404, 2003.
  169. Color Correction of Underwater Images Based on Estimation of Diffuse Attenuation Coefficients. Julia Åhlén, Bengtsson Ewert, Lindell Tommy. 2003.
  170. A comparison of manual enumeration and image analysis of Gloeotrichia echinulata. Irene Karlsson, Patrick Karlsson, and Niklas Strömbeck. In Verhandlungen IVL: 28th Congress in Melbourne 2001, p 458, 2003.
  171. Market based programming and resource allocation. Maria Karlsson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-007, Uppsala University, 2003. (fulltext).
  172. Cache memory design trade-offs for current and emerging workloads. Martin Karlsson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-009, Uppsala University, 2003. (fulltext).
  173. Memory System Behavior of Java-Based Middleware. Martin Karlsson, Kevin Moore, Erik Hagersten, and David Wood. In Proceedings of the Ninth International Symposium on High Performance Computer Architecture, 2003. (External link).
  174. TImestamp-based Selective Cache Allocation. Martin Karlsson and Erik Hagersten. In High Performance Memory Systems, Springer-Verlag, 2003.
  175. Interface Capabilities for Query Processing in Peer Mediator Systems. Timour Katchaounov and Tore Risch. IT Technical Report 2003-048, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link).
  176. Query Processing for Peer Mediator Databases. Timour Katchaounov. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 901, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext).
  177. Scalable View Expansion in a Peer Mediator System. Timour Katchaounov, Vanja Josifovski, and Tore Risch. In Proc. 8th International Conference on Database Systems for Advanced Applications (DASFAA 2003), 2003. (External link).
  178. Scalable view expansion in a peer mediator system. Timour Katchaounov, Vanja Josifovski, and Tore Risch. In Eighth International Conference on Database Systems for Advanced Application, (DASFAA'03), pp 107-116, 2003.
  179. Information technology and moral stress: How to avoid moral stress and how to promote health. Iordanis Kavathatzopoulos, Jenny Persson, and Carl Åborg. In Human Computer Interaction: Cognitive, Social and Ergonomis Aspects, pp 78-82, 2003.
  180. The activities of school psychologists in the contemporary education system. Iordanis Kavathatzopoulos. In Psychologika Themata, volume 9, number 2, pp 151-165, 2003.
  181. The contribution of information and communication technology to distance learning. Iordanis Kavathatzopoulos. In Proceedings of the 2nd Greek Congress of Open and Distance Education, pp 66-70, 2003.
  182. The use of information and communication technology in the training for ethical competence in business. Iordanis Kavathatzopoulos. In Journal of Business Ethics, volume 48, number 1, pp 43-51, 2003. (DOI, External link).
  183. The TRAIN-project: Effects of Organizational Factors, Automatic Train Control, Work Hours, and Environment: Suggestions for Safety-Enhancing Measures. Lena Kecklund, Eva Olsson, Anders Jansson, Göran Kecklund, and Michael Ingre. In Proceedings of the Human Factors and Ergonomic Society, 47th Annual Meeting, pp 1835-1839, 2003.
  184. Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. Pavel Krcal and Wang Yi. Technical report / Department of Information Technology, Uppsala University nr 2003-051, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext).
  185. A Compact Fourth Order Time Discretization Method for the Wave Equation. Wendy Kress. Technical report / Department of Information Technology, Uppsala University nr 2003-041, 2003. (fulltext).
  186. Boundary conditions and estimates for the linearized Navier-Stokes equations on staggered grids. Wendy Kress and Jonas Nilsson. In Computers & Fluids, volume 32, pp 1093-1112, 2003. (DOI).
  187. Error Estimates for Deferred Correction Methods in Time. Wendy Kress. Technical report / Department of Information Technology, Uppsala University nr 2003-040, 2003. (fulltext).
  188. High Order Finite Difference Methods in Space and Time. Wendy Kress. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 880, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext).
  189. Fault detection of nonlinear systems based on multi-form quasi-ARMAX modeling and its application to the ship benchmark. K. Kumamaru, K. Inoue, Y. Hosoyamada, and T. Söderström. In 13th IFAC Symposium on System Identification, 2003.
  190. Solos in Concert. Cosimo Laneve and Björn Victor. In Mathematical Structures in Computer Science, volume 13, number 5, pp 657-683, 2003. (DOI).
  191. Biotechnological Advancement in Human Movement Analysis. H. Lanshammar. In 6th International Conference: Biotechnology and Public Health, Cavtat, October 2003., 2003.
  192. Compact Data Structure and State-Space Reduction for Model-Checking Real-Time Systems. Kim Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. In The International Journal of Time-Critical Computing Systems, volume 25, number 2, pp 255-275, 2003. (External link).
  193. HIGH-RESOLUTION NONPARAMETRIC SPECTRAL ANALYSIS: THEORY AND APPLICATIONS. E. Larsson, J. Li, and P. Stoica. 2003.
  194. Mean-square-error optimality of orthogonal space-time block codes. E. Larsson and P. Stoica. In IEEE Signal Processing Lett, volume 10, pp 327-330, 2003.
  195. Mean-square-error optimality of orthogonal space-time block codes. E. Larsson and P. Stoica. In IEEE International Conference on Communications, Anchorage, Alaska, 2003.
  196. Orthogonal space-time block codes: maximum likelihood detection for unknown channels and unstructured interferences. E. Larsson, P. Stoica, and J. Li. In IEEE Trans Signal Process, volume 51, pp 362-372, 2003.
  197. SPACE-TIME BLOCK CODING FOR WIRELESS COMMUNICATIONS. E. Larsson and P. Stoica. Cambridge University Press, UK, 2003. (External link).
  198. On Possibilities for Estimating Continuous-time ARMA Parameters. E K Larsson and M. Mossberg. In Proc. of IFAC SYSID 2003, 2003.
  199. The CRB for Parameter Estimation in Irregularly Sampled Continuous-time ARMA Systems. E K Larsson and E G Larsson. In Proc. of IEEE ISSPIT'03, 2003.
  200. Limiting Properties of Sampled Stochastic Systems. E. K. Larsson. Technical report / Department of Information Technology, Uppsala University nr 2003-028, 2003. (fulltext).
  201. A numerical study of some radial basis function based solution methods for elliptic PDEs. Elisabeth Larsson and Bengt Fornberg. In Computers and Mathematics with Applications, volume 46, pp 891-902, 2003. (DOI).
  202. Helmholtz and parabolic equation solutions to a benchmark problem in ocean acoustics. Elisabeth Larsson and Leif Abrahamsson. In Journal of the Acoustical Society of America, volume 113, pp 2446-2454, 2003. (DOI).
  203. Parallel solution of the Helmholtz equation in a multilayer domain. Elisabeth Larsson and Sverker Holmgren. In BIT Numerical Mathematics, volume 43, pp 387-411, 2003. (DOI).
  204. Theoretical and Computational Aspects of Multivariate Interpolation with Increasingly Flat Radial Basis Functions. Elisabeth Larsson and Bengt Fornberg. Technical report / Department of Information Technology, Uppsala University nr 2003-035, 2003. (fulltext).
  205. Parallel model checking for LTL, CTL* and Lmu2. Martin Leucker, Rafal Somla, and Michael Weber. In PDMC 2003: 2nd International Workshop on Parallel and Distributed Model Checking, pp 4-16, 2003. (External link).
  206. Channel order and RMS delay spread estimation with application to AC power line communications. H. Li, J. Liu, J. Li, and P. Stoica. In Digital Signal Processing, volume 13, pp 284-300, 2003.
  207. Doubly constrained robust Capon beamforming. J. Li, P. Stoica, and Z. Wang. In 37th ASILOMAR Conf. on Signals, Systems, and Computers, Pacific Grove, CA, 2003, 2003.
  208. On robust Capon beamforming and diagonal loading. J. Li, P. Stoica, and Z. Wang. In IEEE Trans Signal Process, volume 51, number 1702-1715, 2003.
  209. On robust Capon beamforming and diagonal loading. J. Li, P. Stoica, and Z. Wang. In ICASSP 2003, the 28th International Conference on Acoustics, Speech and Signal Processing, Hong Kong, 2003.
  210. Robust Capon beamforming in the presence of coherent interference. J. Li, Y. Jiang, P. Stoica, and Z. Wang. In Adaptive Sensor Array Processing Workshop, MIT Lincoln Lab, MA, 2003.
  211. Effective visualizations for large displays – the role of transsaccadic memory. Mats Lind, Camilla Forsell, and Alexander Allard. In Third IASTED International Conference on visualization, Imaging, and Image Processing 2003 (VIIP’03), 2003.
  212. Metric 3D structure in visualizations. Mats Lind, Geoffrey P. Bingham, and Camilla Forsell. In Information Visualization, volume 2, number 1, pp 51-57, 2003.
  213. Surface area estimation of digitized planes using weighted local configurations. Joakim Lindblad. In 11th International Conference on Discrete Geometry for Computer Imagery (DGCI), volume 2886 of LNCS, pp 348-357, 2003. (External link).
  214. Can coral reefs be monitored from space?. Tommy Lindell and Petra Philipson. In AMBIO, volume 32, number 8, pp 586-593, 2003.
  215. Categorization of coral reef bottoms for change detection using IKONOS. Tommy Lindell and Petra Philipsson. In Proceedings of the 30th International Symposium on Remote Sensing of Environment, Honolulu, Hawaii, USA, November 10-14, 2003, 2003.
  216. A MIMO system with backward compatibility for OFDM based WLANs. J. Liu, J. Li, and P. Stoica. In The 4th IEEE Workshop on Signal Processing Advances in Wireless Communications, SPAWC 2003, Rome, Italy, 2003.
  217. Numerical methods for mapping of multiple QTL. Kajsa Ljungberg. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-014, Uppsala University, 2003. (fulltext).
  218. Simultaneous search for multiple QTL using the global optimization algorithm DIRECT. Kajsa Ljungberg, Sverker Holmgren, and Örjan Carlborg. Technical report / Department of Information Technology, Uppsala University nr 2003-043, 2003. (fulltext).
  219. Handling of curvilinear coordinates in a PDE solver framework. Malin Ljungberg. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-004, Uppsala University, 2003. (fulltext).
  220. DIMA: Distributed Instant Messaging System. Henrik Lundgren, Erik Nordström, Richard Gold, and Mattias Wiggberg. In 1st Swedish National Computer Networking Conference, 2003.
  221. A combined Intensity and Gradient-Based Similarity Criterion for Interindividual SPECT Brain Scan Registration. Lundqvist Roger, Bengtsson Ewert, Thurfjell Lennart. In EURASIP Journal on Applied Signal Processing, volume 2003, number 5, pp 461-469, 2003.
  222. THROOM: Running POSIX Multithreaded Binaries on a Cluster. Henrik Löf, Zoran Radovi?, and Erik Hagersten. Technical report / Department of Information Technology, Uppsala University nr 2003-026, 2003. (fulltext).
  223. THROOM — Supporting POSIX Multithreaded Binaries on a Cluster. Henrik Löf, Zoran Radovi?, and Erik Hagersten. In Euro-Par 2003: Parallel Processing, volume 2790 of Lecture Notes in Computer Science, pp 760-769, Springer-Verlag, Berlin, 2003. (DOI).
  224. Preconditioned implicit solution of linear hyperbolic equations with adaptivity. Per Lötstedt, Alison Ramage, Lina von Sydow, and Stefan Söderberg. Technical report / Department of Information Technology, Uppsala University nr 2003-034, 2003. (fulltext).
  225. Computationally efficient estimation of wave propagation functions of viscoelastic materials. K. Mahata, T. Söderström, and L. Hillström. In 13th IFAC Symposium on System Identification, 2003.
  226. On the use of flexural wave propagation experiments for identification of complex modulus. K. Mahata, S. Mousavi, T. Söderström, M. Mossberg, U. Valdek, and L. Hillström. In IEEE Transactions on Control Systems Technology, volume 11, number 6, pp 863-874, 2003.
  227. Subspace estimation of real-valued sine wave frequencies. K. Mahata and T. Söderström. Technical report / Department of Information Technology, Uppsala University nr 2003-004, 2003. (fulltext).
  228. Estimation Using Low Rank Signal Models. Kaushik Mahata. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 48, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext).
  229. Scalability aspects of validation. Tiziana Margaria and Wang Yi. In International Journal on Software Tools for Technology Transfer, volume 5, number 1, 2003.
  230. Accuracy requirements for transient aerodynamics. Ken Mattsson, Magnus Svärd, Mark Carpenter, and Jan Nordström. In Proc. 16th AIAA CFD Conference, volume 2003-3689 of Conference Proceeding Series, AIAA, 2003.
  231. Boundary Procedures for Summation-by-Parts Operators. Ken Mattsson. In Journal of Scientific Computing, volume 18, pp 133-153, 2003. (DOI).
  232. Finite Difference Approximations of Second Derivatives on Summation by Parts Form. Ken Mattsson and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2003-012, 2003. (fulltext).
  233. Stable Artificial Dissipation Operators for High Order Finite Difference Schemes. Ken Mattsson, Magnus Svärd, and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2003-013, 2003. (fulltext).
  234. Summation-by-Parts Operators for High Order Finite Difference Methods. Ken Mattsson. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 828, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext).
  235. Stability of an wind-up prevention scheme in recursive estimation. Alexander Medvedev. In IEEE Conference on Decision and Control, 2003.
  236. Probing-Based Approaches to Bandwidth Measurements and Network Path Emulation. Bob Melander. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 784, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext).
  237. 3D visualisation of sonar coverage data. Hannah Myerscough. CBA Master Thesis Report No. 59, Uppsala: Uppsala University School of Engineering, UPTEC F03 037, 2003.
  238. High-Order Numerical Simulation of Rocket Launch Noise. Bernhard Müller and Johan Westerlund. In Mathematical and Numerical Aspects of Wave Propagation: WAVES 2003, pp 95-100, Springer-Verlag, Berlin, 2003.
  239. Strictly Stable High Order Difference Approximations for Computational Aeroacoustics. Bernhard Müller and Stefan Johansson. In Proc. Computational Aeroacoustics: From acoustic sources modeling to far-field radiated noise prediction, volume 449 of EUROMECH Colloquium, p 4, ONERA, France, 2003.
  240. Strictly Stable High Order Difference Approximations for the Euler Equations. Bernhard Müller and Stefan Johansson. In Proc. 10th International Congress on Sound and Vibration, pp 3883-3890, Royal Institute of Technology, Stockholm, Sweden, 2003.
  241. Evaluating the educational impact of visualization. Thomas Naps, Guido Rößling, Jay Anderson, Stephen Cooper, Wanda Dann, Rudolf Fleischer, Boris Koldehofe, Ari Korhonen, Marja Kuittinen, Charles Leska, Lauri Malmi, Myles McNally, Jarmo Rantakokko, and Rockford J. Ross. In SIGCSE Bulletin inroads, volume 35, number 4, pp 124-136, 2003. (DOI).
  242. Open Ended Group Projects a 'Tool' for More Effective Teaching. Ian Newman, Mats Daniels, and Xristine Faulkner. In Australian Computer Science Communications, volume 25, number 5, pp 95-103, 2003.
  243. Open Ended Group Projects a 'tool' for more effective teaching. Ian Newman, Mats Daniels, and Xristine Faulkner. In ACM Australasian computing education conference, Adelaide, 2003.
  244. High order difference method on staggered, curvilinear grids for the incompressible Navier-Stokes equations. Jonas Nilsson, Bertil Gustafsson, Per Lötstedt, and Arnim Brüger. In Computational Fluid and Solid Mechanics: 2003, pp 1057-1061, Elsevier Science, 2003. (DOI).
  245. A Parallel Shared Memory Implementation of the Fast Multipole Method for Electromagnetics. Martin Nilsson. Technical report / Department of Information Technology, Uppsala University nr 2003-049, 2003. (fulltext).
  246. Fast Numerical Techniques for Electromagnetic Problems in Frequency Domain. Martin Nilsson. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 916, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext).
  247. Rapid Solution of Parameter-Dependent Linear Systems for Electromagnetic Problems in the Frequency Domain. Martin Nilsson. Technical report / Department of Information Technology, Uppsala University nr 2003-055, 2003. (fulltext).
  248. Stability of the Fast Multipole Method for Helmholtz Equation in Three Dimensions. Martin Nilsson. Technical report / Department of Information Technology, Uppsala University nr 2003-054, 2003. (fulltext).
  249. The minimum residual interpolation method applied to multiple scattering in MM-PO. Martin Nilsson. In Proc, volume 2003:3 of Antennas and Propagation Society International Symposium, pp 828-831, IEEE, 2003. (DOI).
  250. Datorkulturen - en manlig historia. Jörgen Nissen. In Vem tillhör tekniken? : kunskap och kön i teknikens värld, Lund: Arkiv, 2003.
  251. A Stable and Efficient Hybrid Method for Aeroacoustic Sound Generation and Propagation. Jan Nordström and Jing Gong. In Proc. Computational Aeroacoustics: From acoustic sources modeling to far-field radiated noise prediction, volume 449 of EUROMECH Colloquium, p 4, ONERA, France, 2003.
  252. Finite volume methods, unstructured meshes and strict stability for hyperbolic problems. Jan Nordström, Karl Forsberg, Carl Adamsson, and Peter Eliasson. In Applied Numerical Mathematics, volume 45, pp 453-473, 2003. (DOI).
  253. High Order Finite Difference Approximations of Electromagnetic Wave Propagation Close to Material Discontinuities. Jan Nordström and Rikard Gustafsson. In Journal of Scientific Computing, volume 18, pp 215-234, 2003. (DOI).
  254. A gradient based optimisation algorithm for the design of brass-wind instruments. Daniel Noreland. Technical report / Department of Information Technology, Uppsala University nr 2003-033, 2003. (fulltext).
  255. Ill-posedness of absorbing boundary conditions applied on convex surfaces. Daniel Noreland. Technical report / Department of Information Technology, Uppsala University nr 2003-031, 2003. (fulltext).
  256. Impedance boundary conditions for acoustic waves in a duct with a step discontinuity. Daniel Noreland. Technical report / Department of Information Technology, Uppsala University nr 2003-032, 2003. (fulltext).
  257. Numerical Techniques for Acoustic Modelling and Design of Brass Wind Instruments. Daniel Noreland. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 862, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext).
  258. Parameterization of state feedback gains for pole placement. Hans Norlander. In Proceedings, European Control Conference 2003, Cambridge, UK, 2003.
  259. The ubiquitous interactor: Mobile services with multiple user interfaces. Stina Nylander. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-013, Uppsala University, 2003. (fulltext).
  260. Compact Constraints for Verification of Well Quasi-Ordered Programs. Aletta Nylén. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 51, Acta Universitatis Upsaliensis, Uppsala, 2003.
  261. 2D grey-level convex hull computation: a discrete 3D approach. Ingela Nyström, Gunilla Borgefors, and Gabriella Sanniti di Baja. 2003. (External link).
  262. A Polyvariant Type Analysis for Erlang. Sven-Olof Nyström. IT Technical Report 2003-045, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link).
  263. A soft-typing system for Erlang. Sven-Olof Nyström. In Proceedings of the 2003 ACM SIGPLAN workshop on Erlang, pp 56-71, 2003.
  264. On Hazards of Using Fundamental Anti-windup Technique for H2 State-space Controllers With an Explicit Observer. Claes Olsson. In Proceedings of the European Control Conference, Cambridge, UK, 2003.
  265. Bootstrapping and decentralizing recommender systems. Tomas Olsson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-006, Uppsala University, 2003. (fulltext).
  266. Representing Matrices using Multi-Directional Foreign Functions. Kjell Orsborn and Tore Risch. In Functional Approaches to Computing with Data, 2003.
  267. Undecidability of LTL for Timed Petri Nets. Parosh, Aziz Abdulla and Aletta Nylén. 2003.
  268. Verification of Probabilistic Systems with Faulty Communication. Parosh, Aziz Abdulla and Alexander Rabinovich. In FOSSACS'03, Foundations of Software Science and Computation Structures, 2003.
  269. Deciding Monotonic Games.. Parosh Aziz Abdulla, Ahmed Bouajjani, and Julien d'Orso.. In CSL/KGC'03, Computer Science Logic and 8th Kurt Gödel Colloquium, 2003.
  270. Enriching Online Learning Resources with "Explanograms". Arnold Pears and Carl Erickson. In ISICT '03: Proceedings of the 1st international symposium on Information and communication technologies, pp 261-266, 2003. (External link).
  271. Structuring CSEd Research Studies: Connecting the Pieces. Arnold Pears and Mats Daniels. In ACM SIGCSE Bulletin, volume 35, number 3, pp 149-153, 2003. (DOI, External link).
  272. Where Are You? Wireless Way's to Enhance Collaboration.. Arnold Pears and Marc-Aurele Brothier. In Frontiers in Education, p 2300, 2003. (DOI, External link).
  273. Clifford Networks. Justin Pearson. In Complex-Valued Neural Networks Theories and Applications, 2003.
  274. Comma-free codes. Justin Pearson. 2003. (External link).
  275. Basic values in software development and organizational change. Jenny Persson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-002, Uppsala University, 2003. (fulltext).
  276. Pricing European Multi-asset Options Using a Space-time Adaptive FD-method. Jonas Persson and Lina von Sydow. Technical report / Department of Information Technology, Uppsala University nr 2003-059, 2003. (fulltext).
  277. A Virtual laboratory for Computer Graphics Education. Lars W Pettersson, N. Jensen, and Stefan Seipel. In Proceedings of EUROGRAPHICS Conf. 2003, 2003.
  278. A Virtual Laboratory for Computer Graphics Education. Lars Winkler Pettersson, Nils Jensen, and Stefan Seipel. In Proceedings of EUROGRAPHICS Conference 2003, pp 17-21, 2003.
  279. A Virtual Laboratory for Computer Graphics Education. Pettersson L.W., Jensen N., Seipel S. In Proc. EUROGRAPHICS Conference 2003: Educational Presentations, pp 17-21, 2003.
  280. Addressing the Requirements of QoS Management for Wireless Ad Hoc Networks. Kaustubh Phanse and Luiz DaSilva. In International Journal on Computer Communications, volume 26, number 12, 2003. (External link).
  281. Environmental Applications of Aquatic Remote Sensing. Petra Philipson née Ammenberg. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 812, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext).
  282. Efficient synchronization and coherence for nonuniform communication architectures. Zoran Radovi?. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-008, Uppsala University, 2003. (fulltext).
  283. Hierarchical Backoff Locks for Nonuniform Communication Architectures. Zoran Radovic and Erik Hagersten. In Proceedings of the Ninth International Symposium on High Performance Computer Architecture (HPCA-9), Anaheim, California, USA, February 2003., 2003. (External link).
  284. Measuring Slipperiness - Human Locomotion and Surface Factors. M. Redfern, R. Cham, K. Gielo-Perczak, R. Grönqvist, M. Hirvonen, H. Lanshammar, M. Marpet, C. Yi-Chung Pai, and C. Powers. 2003.
  285. Program schemas as proof methods.. Julian Richardson and Pierre Flener. Technical report / Department of Information Technology, Uppsala University nr 2003-008, 2003. (fulltext).
  286. Functional Data Integration in a Distributed Mediator System. Tore Risch, Vanja Josifovski, and Timour Katchaounov. In , 2003. (External link).
  287. Functional Queries to Wrapped Educational Semantic Web Meta-data. Tore Risch. In Functional Queries to Wrapped Educational Semantic Web Meta-data, 2003. (External link).
  288. High-performance Stream-oriented GRID Database Manager for Scientific Data,. Tore Risch and Milena Ivanova. In Proc. 1st European Across Grids Conference, 2003. (External link).
  289. Training based maximum likelihood channel identification. O. Rosseaux, G. Leus, P. Stoica, and M. Moonen. In The 4th IEEE Workshop on Signal Processing Advances in Wireless Communications, SPAWC 2003, Rome, Italy, 2003.
  290. A stochastic method for training based channel identification. O. Rousseaux, G. Leus, P. Stoica, and M. Moonen. In The 7th International Symp on Signal Processing and its Applications, ISSPA 2003, Paris, FRANCE, 2003.
  291. Generalized training based channel identification. O. Rousseaux, G. Leus, P. Stoica, and M. Moonen. In IEEE Globecom 2003, Signal Processing for Communications Symposium, San Francisco, USA, 2003, 2003.
  292. Retargetable Graph-Coloring Register Allocation for Irregular Architectures. Johan Runeson and Sven-Olof Nyström. In Software and Compilers for Embedded Systems: 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings, p 403, 2003. (External link).
  293. All you wanted to know about the HiPE compiler: (but might have been afraid to ask). Konstantinos Sagonas, Mikael Pettersson, Richard Carlsson, Per Gustafsson, and Tobias Lindahl. In Proceedings of the Second ACM SIGPLAN Erlang Workshop, pp 36-43, 2003.
  294. Experimental Evaluation and Improvements to Linear Scan Register Allocation. Konstantinos Sagonas and Erik Stenman.. In Software - Practice & Experience, volume 33, number 11, pp 1003-1034, 2003.
  295. Work environment and computer systems development. Bengt Sandblad, Jan Gulliksen, Carl Åborg, Inger Boivie, Jenny Persson, Bengt Göransson, Iordanis Kavathatzopoulos, Stefan Blomkvist, and Åsa Cajander. In Behaviour and Information Technology, volume 22, number 6, pp 375-387, 2003. (DOI, External link).
  296. User needs for development of context dependent devices in mobile home care. Isabella Scandurra, Maria Hägglund, Niklas Johansson, Bengt Sandblad, and Sabine Koch. In Human-Computer Interaction with mobile devices and services, 2003.
  297. Invariance kernels of Polygonal Differential Inclusions. Gerardo Schneider. Technical report / Department of Information Technology, Uppsala University nr 2003-042, 2003. (fulltext).
  298. MARCH: a distributed content adaptation architecture. Ardon Sebastien, Per Gunningberg, Björn Landfeldt, Yuri Ismailov, Marcus Portmann, and Aruna Seneviratne. In International Journal of Communication Systems: Special Issue: Wireless Access to the Global Internet: Mobile Radio Networks and Satellite Systems, volume March, number 1, 2003. (External link).
  299. Information Visualization using Transparent Shape Impostors. S. Seipel. In Proc. EUROGRAPHICS Conference 2003, Short Presentations, 2003.
  300. Interactive virtual mummy dissections in a historical anatomic theatre. Lindkvist M. Seipel S.. In Proc. VAST2003: The 4th International Symposium on Virtual Reality, Archaeology and Cultural Heritage, 2003.
  301. Using prior knowledge in SVD-based NMR spectroscopy -- the ATP example. Yngve Selén, Peter Stoica, Niclas Sandgren, and Sabine Van Huffel. In Proceedings of the 7th International Symposium on Signal Processing and its Applications (ISSPA), Paris, France, July 1-4, pp 33-36, 2003.
  302. Cache aware data laying for the Gauss-Seidel smoother. Malik Silva. In Electronic Transactions on Numerical Analysis, volume 15, pp 66-77, 2003.
  303. Measuring perimeter and area in low resolution images using a fuzzy approach. Natasa Sladoje, Ingela Nyström, and Punam K. Saha. In Proceedings of 13th Scandinavian Conference on Image Analysis (SCIA 2003), Lecture Notes in Computer Science, pp 853-860, 2003. (DOI, External link).
  304. Perimeter and Area Estimations of Digitized Objects with Fuzzy Borders. Natasa Sladoje, Ingela Nyström, and Punam K. Saha. In Proceedings of 11th International Conference on Discrete Geometry for Computer Imagery (DGCI 2003), Lecture Notes in Computer Science, pp 368-377, Springer, 2003. (DOI, External link).
  305. Shape Description of Fuzzy Segmented Objects: Area and Perimeter Estimators. Natasa Sladoje, Ingela Nyström, and Punam K. Saha. In Proceedings of SSAB (Swedish Society for Automated Image Analysis) Symposium on Image Analysis, Stockholm, Sweden, pp 17-20, 2003.
  306. Adaptive control of the steel converter process. Boris Sokolov, Alexander Shepelyavi, and Alexander Medvedev. In Saint Petersburg State University Bulletin,, number 2, 2003.
  307. Adaptive control of the top blown oxygen converter process with respect to temperature and unknown external disturbances. Boris Sokolov, Alexander Shepelyavi, and Alexander Medvedev. In International Conference "Physics and Control" (PhysCon 2003), 2003.
  308. The Elbow Cache: A Power-Efficient Alternative to Highly Associative Caches. Mathias Spjuth, Martin Karlsson, and Erik Hagersten. Technical report / Department of Information Technology, Uppsala University nr 2003-046, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext).
  309. Maximum likelihood double differential detection clarified. P. Stoica, J. Liu, and J. Li. In The 4th IEEE Workshop on Signal Processing Advances in Wireless Communications, SPAWC 2003, Rome, Italy, 2003.
  310. Robust Capon beamforming. P. Stoica, Z. Wang, and J. Li. In IEEE Signal Processing Lett, volume 10, pp 172-175, 2003.
  311. Space-tim block codes: trained, blind and semi-blind detection. P. Stoica and G. Gansean. In Digital Signal Processing, volume 13, pp 93-105, 2003.
  312. Trained space-time block decoding for flat fading channels with frequency offsets. P. Stoica and G. Gansean. In Wireless Personal Communiccations, volume 27, pp 235-245, 2003.
  313. Training sequence design for frequency offset and frequency-selective channel estimation. P. Stoica and O. Besson. In IEEE Trans Communications, volume 51, pp 1910-1917, 2003.
  314. Frequency-domain method based on the singular value decomposition for frequency-selective NMR spectroscopy. Petre Stoica, Niclas Sandgren, Yngve Selén, Leentje Vanhamme, and Sabine Van Huffel. In Journal of Magnetic Resonance, volume 165, pp 80-88, 2003.
  315. Joint Maximum-Likelihood Channel Estimation and Signal Detection for SIMO Channels. P. Stoica P, H. Vikalo, and B. Hassibi. In ICASSP 2003, the 28th International Conference on Acoustics, Speech and Signal Processing, Hong Kong, 2003.
  316. Solving the linearized Navier-Stokes equations using semi-Toeplitz preconditioning. Samuel Sundberg. Technical report / Department of Information Technology, Uppsala University nr 2003-005, 2003. (fulltext).
  317. Preconditioners and fundamental solutions. Per Sundqvist. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-001, Uppsala University, 2003. (fulltext).
  318. Characterising 3D Objects by Shape and Topology. Stina Svensson, Carlo Arcelli, and Gabriella Sanniti di Baja. In Discrete Geometry for Computer Imagery, pp 124-133, 2003.
  319. Finding Cavities and Tunnels in 3D Complex Objects. Stina Svensson, Carlo Arcelli, and Gabriella Sanniti di Baja. 2003.
  320. Using distance transform based algorithms for extracting measures of the fibre network in volume images of paper. Svensson, Stina and Aronsson, Mattias. In IEEE Transactions on Systems, Man, and Cybernetics, volume 33, number 4, pp 562-571, 2003.
  321. On the Use of Shape Primitives for Reversible SurfaceSkeletonization. Svensson, Stina and Jonker, Pieter P.. 2003.
  322. Simplifying curve skeletons in volume images. Svensson, Stina and Sanniti di Baja, Gabriella. In Computer Vision and Image Understanding, volume 90, pp 242-257, 2003.
  323. A Stable and Accurate Summation-by-Parts Finite Volume Formulation of the Laplacian Operator. Magnus Svärd and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2003-003, 2003. (fulltext).
  324. Steady State Computations Using Summation-by-Parts Operators. Magnus Svärd, Ken Mattsson, and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2003-018, 2003. (fulltext).
  325. Well Posed Boundary Conditions for the Navier-Stokes Equations. Magnus Svärd and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2003-052, 2003. (fulltext).
  326. Identification of dynamic errors-in-variables model: approaches based on two-dimensional ARMA modelling of the data. T. Söderström, K. Mahata, and U. Soverini. In Automatica, volume 39, number 5, pp 929-935, 2003.
  327. Identification of linear systems in time domain. T. Söderström. In Encyclopedia of Life Support Systems, 2003. (External link).
  328. Prediction error methods. T. Söderström. In Encyclopedia of Life Support Systems, 2003.
  329. Why are errors-in-variables problems often tricky?. T. Söderström. 2003.
  330. Damping of harmonic disturbances in sampled-data systems { parameterization of all optimal controllers. Hannu Toivonen and Alexander Medvedev. In Automatica, volume 39, number 1, pp 75-80, 2003.
  331. Embedding MANETs in the Real World. Christian Tschudin, Henrik Lundgren, and Erik Nordström. In IFIP-TC6 8th International Conference, Personal Wireless Communications (PWC 2003), Venice, Italy, September 23-25, 2003. Conti, M.; Giardano, S.; Gregori, E.; Olariu, S. (Ed.), pp 578-589, 2003.
  332. LUNAR: Lightweight Underlay Network Ad-hoc Routing. Christian Tschudin and Richard Gold. IT Technical Report 2003-021, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link).
  333. Network Pointers. Christian Tschudin and Richard Gold. In ACM SIGCOMM Computer Communication Review, volume 33, number 1, pp 23 - 28, 2003.
  334. SelNet: A Translating Underlay Network. Christian Tschudin and Richard Gold. IT Technical Report 2003-020, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link).
  335. Polyadic History-Dependent Automata for the Fusion Calculus. Emilio Tuosto, Björn Victor, and Kidane Yemane. Technical report / Department of Information Technology, Uppsala University nr 2003-062, 2003. (fulltext).
  336. Concurrency, Time, and Constraints. Frank Valencia. In Logic Programming, 19th International Conference, pp 72-101, 2003.
  337. Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL. Frank Valencia. In Logic Programming, 19th International Conference, pp 422-437, 2003.
  338. Tractable symmetry breaking for CSPs with interchangeable values.. Pascal Van Hentenryck, Pierre Flener, Justin Pearson, and Magnus Ågren. In Proceedings of the eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), pp 277-282, 2003. (External link).
  339. A tool for filtering and visualization of digital images in the Fourier domain. Erik Vidholm. CBA Master Thesis Report No. 58, Uppsala: Uppsala University School of Engineering, UPTEC F03 010, 2003.
  340. Feedforward-Feedback Control of an Activated Sludge Process: a simulation study. D. Vrecko, Bengt Carlsson, and N. Hvala. In Water, Science and Technology, volume 47, number 11, pp 19-26, 2003.
  341. Bundling: Reducing the Overhead of Multiprocessor Prefetchers. Dan Wallin and Erik Hagersten. IT Technical Report 2003-037, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link).
  342. Cache Memory Behavior of Advanced PDE Solvers. Dan Wallin, Henrik Johansson, and Sverker Holmgren. Technical report / Department of Information Technology, Uppsala University nr 2003-044, 2003. (fulltext).
  343. Exploiting data locality in adaptive architectures. Dan Wallin. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-010, Uppsala University, 2003. (fulltext).
  344. Miss Penalty Reduction Using Bundled Capacity Prefetching in Multiprocessors. Dan Wallin and Erik Hagersten. In Proceedings of the International Parallel and Distributed Processing Symposium, 2003.
  345. Miss Penalty Reduction Using Bundled Capacity Prefetching in Multiprocessors. Dan Wallin and Erik Hagersten. In Proceedings of the 17th InternationalParallel and Distributed Processing Symposium (IPDPS 2003), Nice, France, 2003.
  346. Wideband Relax and Wideband Clean for aeroacoustic imaging. Y. Wang, J. Li, P. Stoica, M. Sheplak, and T. Nishida. In 9th AIAA/CEAS Aeroacoustics Conference & Exhibit, Hilton Head, South Carolina, 2003.
  347. Comparison between norm constrained and robust Capon beamformers. Z. Wang, J. Li, and P. Stoica. In IEEE International Symp on Phased Array Systems and Technology, Boston, USA, 2003.
  348. Froth delineation based on image classification. Bergholm Fredrik Wang Weixing. In Minerals engineering, 2003.
  349. Modelling non-linearities in images using an auto-associativeneural network. Felix Wehrmann and Ewert Bengtsson. 2003. (External link).
  350. Modelling of shapes without landmarks. Felix Wehrmann and Ewert Bengtsson. 2003. (External link).
  351. A fast algorithm for constructing parameterizations of three-dimensional simply connected digital objects. Ola Weistrand. In Computer Analysis of Images and Patterns, pp 385-392, 2003. (DOI).
  352. Inter-networking MPLS and SelNet. Andreas Westling. Uppsala Universitet, 2003.
  353. Harmonic signal analysis with Kalman filters using periodic orbits of nonlinear ODEs. Torbjörn Wigren, Emad Abd-Elrady, and Torsten Söderström. In Proc. 28th International Conference on Acoustics, Speech, and Signal Processing, pp 669-672, IEEE, Piscataway, NJ, 2003. (DOI).
  354. Least squares harmonic signal analysis using periodic orbits of ODEs. Torbjörn Wigren, Emad Abd-Elrady, and Torsten Söderström. In , volume 36:16 of IFAC-PapersOnLine, pp 1543-1548, 2003. (DOI).
  355. Second order ODEs are sufficient for modeling of many periodic signals. Torbjörn Wigren and Torsten Söderström. Technical report / Department of Information Technology, Uppsala University nr 2003-025, Uppsala University, uppsala, 2003. (External link, fulltext).
  356. User choices and model validation in system identification using nonlinear Wiener models. Torbjörn Wigren. In , volume 36:16 of IFAC-PapersOnLine, pp 837-842, 2003. (DOI).
  357. Utveckling av dynamisk tidsgraf för tågtrafikstyrning. Johan Wikström. 2003.
  358. Industrial Requirements for WCET Tools -- Answers to the ARTIST Questionnaire. Reinhard Wilhelm, Jakob Engblom, Stephan Thesing, and David Whalley. In WCET 2003: Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, WCET 2003 - a Satellite Event to ECRTS 2003, Polytechnic Institute of Porto, Portugal, July 1,, pp 39-43, 2003.
  359. Algorithms for Applied Digital Image Cytometry. Carolina Wählby. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 896, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext).
  360. Robust methods for image segmentation and measurements.. Carolina Wählby, Ingela Nyström, and Ewert Bengtsson. In Proceedings for Modern Methods for Quantitative Metallography, 2003.
  361. Segmentation of cell nuclei in tissue by combining seeded watersheds with gradient information. Carolina Wählby and Ewert Bengtsson. In Proceedings of SCIA-03: Scandinavian Conference on Image Analysis, pp 408-414, 2003. (External link).
  362. Segmentation of cell nuclei in tissue by combining watersheds with gradient information.. Carolina Wählby and Ewert Bengtsson. In Lecture Notes in Computer Science 2749: Proceedings of the 13th Scandinavian Conference on Image Analysis (SCIA 2003), pp 408-414, 2003.
  363. Watershed techniques for segmentation in image cytometry. Carolina Wählby and Ewert Bengtsson. In Proceedings of the 1st International Cytomics Conference: Newport, Wales, United Kingdom, 2003.
  364. High Order Symmetric Finite Difference Schemes for the Acoustic Wave Equation. Abraham Zemui. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 46, Acta Universitatis Upsaliensis, Uppsala, 2003.
  365. New Directions in Symbolic Model Checking. Julien d'Orso. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 50, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext).
  366. INTEGRATING WORK ENVIRONMENT CONSIDERATIONS INTO USABILITY EVALUATION METHODS – THE ADA APPROACH. Åborg, C, Sandblad, B, Gulliksen, J, & Lif, M. In Interacting with Computers, volume 22, number 6, pp 453-471, 2003.
  367. INTEGRATING WORK ENVIRONMENT CONSIDERATIONS INTO USABILITY EVALUATION METHODS: THE ADA APPROACH. Carl Åborg, Bengt Sandblad, Jan Gulliksen, and Magnus Lif. In Interacting with Computers, volume 15, number 3, pp 453-471, 2003.
  368. A simple method for estimating the impulse responses of loudspeakers. P. Åhgren and P. Stoica. In IEEE Trans Consumer Electronics, volume 49, pp 889-893, 2003.
  369. Supporting tensor symmetries in EinSum. Krister Åhlander. In Computers and Mathematics with Applications, volume 45, pp 789-803, 2003. (DOI).
  370. Color correction of underwater images based on estimation of diffuse attenuation coefficients. Julia Åhlen. In Proceedings of 3rd conference for the promotion of research in IT, 2003.
  371. Bottom Reflectance Influence on a Color Correction Algorithm for Underwater Images. Julia Åhlén and David Sundgren. In Lecture Notes in Computer Science. Proceedings of the 13th Scandinavian Conference on Image Analysis (SCIA), volume 2749, pp 922-926, 2003.
  372. Color Correction of Underwater Images Based on Estimation of Diffuse Attenuation Coefficients. Julia Åhlén, Ewert Bengtsson, and Tommy Lindell. In Proceedings of the PICS 2003: The PICS Conference, An International Technical Conference on The Science and Systems of Digital Photography, including the Fifth International Symposium on Multispectral Color Science, pp 325-329, 2003.
  373. Bottom Reflectance Influence on a Color Correction Algorithm for Underwater Images. Sundgren David Åhlén Julia. In 13th Scandinavian Conference, SCIA 2003 Göteborg, Sweden, June 29-July 2, 2003, pp 922-926, 2003.

Updated  2009-12-17 17:06:49 by Björn Victor.