Hoppa till huvudinnehållet
Institutionen för informationsteknologi

Publikationer 2005

  1. Bias analysis in LS estimation of periodic signals using nonlinear ODE's. E. Abd-Elrady och T. Söderström. I Proc IFAC 16th World Congress, 2005.
  2. Least squares periodic signal modeling using orbits of nonlinear ODE's and fully automated spectral analysis. E. Abd-Elrady och J. Schoukens. I Automatica, volym 41, nummer 5, pp 857-862, 2005.
  3. Nonlinear Approaches to Periodic Signal Modeling. Emad Abd-Elrady. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 59, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
  4. Decidability and Complexity Results for Timed Automata via Channel Machines. Parosh Abdulla, Johann Deneux, Joël Ouaknine och James Worrell. I LNCS, volym 3580, 2005.
  5. Simulating perfect channels with probabilistic lossy channels. Parosh Abdulla, Christel Baier, S. Purushotaman Iyer och Bengt Jonsson. I Information and Computation, volym 197, nummer 1-2, pp 22-40, 2005.
  6. Direct and Inverse Methods for Waveguides and Scattering Problems in the Time Domain. Erik Abenius. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 102, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
  7. Modeling of inhomogeneous waveguides using hybrid methods. Erik Abenius och Christer Johansson. 2005.
  8. Waveguide Truncation Using UPML in the Finite-Element Time-Domain Method. Erik Abenius, Fredrik Edelvik och Christer Johansson. Technical report / Department of Information Technology, Uppsala University nr 2005-026, 2005. (fulltext).
  9. Numerical Methods for Aerodynamic Shape Optimization. Olivier Amoignon. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 135, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
  10. An Auction Mechanism for Polynomial-time Execution with Combinatorial Constraints. Arne Andersson, Jim Holmström och Mattias Willman. I Proc. 7th International Conference on E-Commerce Technology, pp 17-24, IEEE, Piscataway, NJ, 2005. (DOI).
  11. Balanced Binary Search Trees. Arne Andersson. I Handbook of Data Structures and Applications, p 1392, CRC Press, 2005.
  12. Searching and Priority Queues in o(log n) Time. Arne Andersson. I Handbook of Data Structures and Applications, p 1392, CRC Press, 2005.
  13. Computing and analysing convex deficiencies to characterise 3D complex objects. Carlo Arcelli, Gabriella Sanniti di Baja och Stina Svensson. I Image and Vision Computing: Discrete Geometry for Computer Imagery, volym 23, nummer 2, pp 203-211, 2005. (Extern länk).
  14. Accurate and rapid estimation of adsorption isotherms in liquid chromatography using the inverse method on plateaus. Robert Arnell, Patrik Forssén och Torgny Fornstedt. I Journal of Chromatography A, volym 1099, pp 167-174, 2005. (DOI).
  15. Individual pore segmentation in 3D volumes of fibrous materials. Maria Axelsson, Ida-Maria Sintorn, Stina Svensson och Gunilla Borgefors. I SSBA Symposium on Image Analysis 2005, 2005.
  16. Decidability and Complexity Results for Timed Automata via Channel Machines. Parosh Aziz Abdulla, Johann Deneux, Joel Ouaknine och James Worrell. I Proc. ICALP'05, 32nd Int. Colloquium on Automata, Languages and Programming, 2005.
  17. From Monotonic Transition Systems to Monotonic Games. Parosh Aziz Abdulla. I Spring School on Infinite Games and Their Applications, 2005.
  18. Simulating Perfect Channels with Probabilistic Lossy Channels. Parosh Aziz Abdulla, Christel Baier, Purushothaman Iyer och Bengt Jonsson. I The Journal of Information and Computation, volym 197, nummer 1-2, pp 22-40, 2005.
  19. Simulation-Based Iteration of Tree Transducers. Parosh Aziz Abdulla, Axel Legay, Julien d'Orso och Ahmed Rezine. I Proc. TACAS'05, 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2005.
  20. Verification of Parameterized Timed Systems. Parosh Aziz Abdulla. I FORMATS'05, International Conference on Formal ModUppsala, Sweden, 2005 modelling and Analysis of Timed Systems, 2005.
  21. Verification of Probabilistic Systems with Faulty Communication. Parosh Aziz Abdulla, Nathalie Bertrand, Alexander Rabinovich och Philippe Schnoebelen. I The Journal of Information and Computation, 2005.
  22. Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property. Parosh Aziz Abdulla, Noomene Ben Henda och Richard Mayr. I http://doi.ieeecomputersociety.org/10.1109/LICS.2005.54, 2005. (Extern länk).
  23. A Fully Abstract Encoding of the pi-Calculus with Data Terms. Michael Baldamus, Joachim Parrow och Björn Victor. I Proceedings of ICALP 2005, volym 3580 av Lecture notes in computer science, pp 1202-1213, Springer, Berlin, 2005. (DOI, Extern länk).
  24. USE AND USEFULNESS OF HCI METHODS: RESULTS FROM AN EXPLORATORY STUDY AMONG NORDIC HCI PRACTITIONERS. Ida Bark, Asbjørn Følstad och Jan Gulliksen. I People and Computers XIX: The Bigger Picture, 2005. (Extern länk).
  25. Connected Minimal Acceleration Trigonometric Curves. Tony Barrera, Anders Hast och Ewert Bengtsson. I SIGRAD 2005 The Annual SIGRAD Conference Special Theme – Mobile Graphics November 23-24, 2005 Lund, Sweden, 2005. (Extern länk).
  26. Minimal Acceleration Hermite Curves. Tony Barrera, Anders Hast och Ewert Bengtsson. I Game Programming Gems 5, pp 225-231, Charles River Media, Hingham, Massachusetts, 2005.
  27. The tree constraint. Nicolas Beldiceanu, Pierre Flener och Xavier Lorca. I Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Second International Conference, CPAIOR 2005, Proceedings, pp 64-78, 2005. (Extern länk).
  28. The Re-Design of a PDA-based System for Supporting People with Parkinson’s Disease. Göransson Bengt. I People and Computers XVIII — Design for Life: Proceedings of HCI 2004, pp 181-196, Springer London, 2005. (DOI).
  29. Computerized Cell Image Processing in Healthcare. Ewert Bengtsson. I Proceedings of Healthcomm2005, pp 11-17, 2005. (Extern länk).
  30. Efficient and Flexible Characterization of Data Locality through Native Execution Sampling. Erik Berg. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 101, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
  31. Fast Data-Locality Profiling of Native Execution. Erik Berg och Erik Hagersten. I ACM SIGMETRICS Performance Evaluation Review, volym 33, nummer 1, pp 169-180, 2005. (DOI).
  32. Insights to Angluin's Learning. Therese Berg, Bengt Jonsson, Martin Leucker och Mayank Saksena. I Electr. Notes on Theoret. Comput. Sci., volym 118, pp 3-18, 2005.
  33. Insights to Angluin's Learning. Therese Berg, Bengt Jonsson, Martin Leucker och Mayank Saksena. I Electronic Notes in Theoretical Computer Science, volym 118, pp 3-18, 2005. (DOI).
  34. Model Checking. Therese Berg och Harald Raffelt. I Model-Based Testing of Reactive Systems: Advanced Lectures, volym 3472 av Lecture Notes in Computer Sciences: Programming and Software Engineering, pp 557-603, Springer, Berlin / Heidelberg, 2005.
  35. Model-based Testing of Reactive Systems: 19 Model Checking. Therese Berg och Harald Raffelt. I , pp 557-603, Springer Berlin / Heidelberg, 2005. (DOI, Extern länk).
  36. On the Correspondence Between Conformance Testing and Regular Inference. Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt och Bernhard Steffen. I FASE 2005, pp 175-189, 2005.
  37. Learning computer systems in a distributed project course: The what, why, how and where. Anders Berglund. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 62, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
  38. Study of the Effects of Non-Traditional Examinatin Methods in Engineering Education Programmes. Anders Berglund. Myndigheten för nätverk och samarbete inom högre utbildning, Stockholm, Sweden, 2005.
  39. What do our students strive for?: Insights from a distributed, project-based course in computer systems. Anders Berglund och Anna Eckerdal. I Proc. 5th Finnish/Baltic Sea Conference on Computer Science Education: Koli Calling, pp 65-72, Turku Centre for Computer Science, Finland, 2005. (Proceedings).
  40. Combinatorial Optimization for Infinite Games on Graphs. Henrik Björklund. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 3, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext, cover).
  41. Robust optimal multilevel preconditioners for non-conforming finite element systems. Radim Blaheta, Svetozar Margenov och Maya Neytcheva. I Numerical Linear Algebra with Applications, volym 12, pp 495-514, 2005. (DOI).
  42. Specifying and Generating Test Cases Using Observer Automata. Johan Blom, Anders Hessel, Bengt Jonsson och Paul Pettersson. I Proceeding of the 4th International Workshop on Formal Approaches to Testing of Software (FATES'04), LNCS 3395, Springer, pp 125-139, 2005.
  43. A new evolutionary algorithm for image segmentation. Leonardo Bocchi, Lucia Ballerini och Signe Hässler. I Applications of evolutionary computing, volym 3449 av Lecture notes in computer science, pp 264-273, 2005. (DOI).
  44. A Fine Balance: Addressing Usability and Users’ Needs in the Development of IT Systems for the Workplace. Inger Boivie. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 95, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext, cover).
  45. An Approximation of the Maximal Inscribed Convex Set of a Digital Obj. Gunilla Borgefors och Robin Strand. I In F. Roli and S. Vitulano, editors, Proceedings of 13th International Conference on Image Analysis and Processing (ICIAP'05), pp 438-445, 2005.
  46. Centre for Image Analysis Annual Report 2004. Gunilla Borgefors, Ida-Maria Sintorn, Robin Strand och Lena Wadelius. Centrum för bildanalys, 2005. (Extern länk).
  47. Digital distance transforms in 2D, 3D, and 4D. Gunilla Borgefors. I Handbook of Pattern Recognition and Computer Vision, 3rd Edition, pp 157-176, World Scientific, Singapore, 2005.
  48. Discrete Skeletons from Distance Transforms in 2D and 3D. Gunilla Borgefors, Ingela Nyström och Gabriella Sanniti di Baja. CBA Internal Report nr 34, 2005.
  49. Kedjekod - ett sätt att beskriva former i digitala bilder. Gunilla Borgefors. I Problemlösning är # 1, pp 38-42, Liber, Stockholm, 2005.
  50. Design in Telemedicine: Development and Implementation of Usable Computer Systems. Erik Borälv. Doktorsavhandling, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 5, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext, cover).
  51. Preconditioners Based on Fundamental Solutions. Henrik Brandén och Per Sundqvist. Technical report / Department of Information Technology, Uppsala University nr 2005-001, 2005. (fulltext).
  52. Preconditioners based on fundamental solutions. Henrik Brandén och Per Sundqvist. I BIT Numerical Mathematics, volym 45, pp 481-494, 2005. (DOI).
  53. Power saving in wireless ad hoc networks without synchronization. Torsten Braun och Laura Marie Feeney. I 5th Scandinavian Workshop on Wireless Ad Hoc Networks (ADHOC'05), 2005.
  54. Model-Based Testing of Reactive Systems: Advanced Lectures. Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker och Alexander Pretschner (red). Volym 3472 av Lecture Notes in Computer Science, Springer Verlag, 2005.
  55. Model-Based Testing of Reactive Systems, Advanced Lectures: outcome of a research seminar. Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker och Alexander Pretschner (red). Volym 3472 av Lecture Notes in Computer Science, Springer Verlag, 2005.
  56. Nonlinear Identification of a Solar Heating System. Linda Brus. Technical reports nr 2005-008, Dept. of Information Technology, 2005. (Extern länk).
  57. Nonlinear Identification of an Anaerobic Digestion Process. Linda Brus. Technical Reports nr 2005-007, Dept. of Information Technology, 2005. (Extern länk).
  58. Nonlinear identification of a solar heating system. Linda Brus. I Proceedings of the 2005 IEEE International Conference on Control Application, pp 1491-1497, 2005.
  59. Nonlinear identification of an anaerobic digestion process. Linda Brus. I Proceedings of the 2005 IEEE International Conference on Control Applications, pp 137-142, 2005.
  60. High order accurate solution of the incompressible Navier-Stokes equations. Arnim Brüger, Bertil Gustafsson, Per Lötstedt och Jonas Nilsson. I Journal of Computational Physics, volym 203, pp 49-71, 2005. (DOI).
  61. Splitting methods for high order solution of the incompressible Navier-Stokes equations in 3D. Arnim Brüger, Bertil Gustafsson, Per Lötstedt och Jonas Nilsson. I International Journal for Numerical Methods in Fluids, volym 47, pp 1157-1163, 2005. (DOI).
  62. A consistent stabilized formulation for a nonsymmetric saddle-point problem. Erik Bängtsson. Technical report / Department of Information Technology, Uppsala University nr 2005-030, 2005. (fulltext).
  63. Algebraic preconditioning versus direct solvers for dense linear systems as arising in crack propagation problems. Erik Bängtsson och Maya Neytcheva. I Communications in Numerical Methods in Engineering, volym 21, pp 73-81, 2005. (DOI).
  64. Numerical simulations of glacial rebound using preconditioned iterative solution methods. Erik Bängtsson och Maya Neytcheva. I Applications of Mathematics, volym 50, pp 183-201, 2005. (DOI).
  65. Robust preconditioned iterative solution methods for large-scale nonsymmetric problems. Erik Bängtsson. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-006, Uppsala University, 2005. (fulltext).
  66. SaveCCM: An Analysable Component Model for Real-Time Systems. Jan Carlson, John Håkansson och Paul Pettersson. I Proceedings of International Workshop on Formal Aspects of Component Software, 2005.
  67. A Flexible Model for Tree-Sructured Multi-Commodity Markets. Per Carlsson och Arne Andersson. I CEC 2005: Seventh IEEE International Conference on E-Commerce Technology, pp 50-58, 2005.
  68. A Flexible Model for Tree-Structured Multi-Commodity Markets. Per Carlsson och Arne Andersson. Technical report / Department of Information Technology, Uppsala University nr 2005-011, Department of Information Technology, Uppsala University, 2005. (fulltext).
  69. Better Grid Integration of Distributed Generation Using Supply - Demand Matching. Per Carlsson, J.C.P Kester, C.J Warmer, J.K. Kok och I.G. Kamphuis. 2005. (Extern länk).
  70. IP Quality of Service Support for Soft Real-Time Applications. Karthik Channakeshava, Kaustubh Phanse, Luiz DaSilva, Binoy Ravindran, Scott Midkiff och Douglas Jensen. I Fourth International Workshop on Real-time Networks, 2005. (Extern länk).
  71. Shape signaturs of fuzzy star-shaped sets based on distance from the centroid. Jocelyn Chanussot, Ingela Nyström och Natasa Sladoje. I Pattern Recognition Letters, volym 26, nummer 6, pp 735-746, Elsevier, 2005. (DOI).
  72. Automatic Tracking of Neural Stem Cells. Tang Chunming och Ewert Bengtsson. I WDIC 2005: Workshop Proceedings, pp 61-66, 2005.
  73. Managing cross-cultural differences in an open ended group project course. Mats Daniels, Lecia Barker, Åsa Cajander, Cary Laxer och Dan Moore. I IEEE Frontiers in education conference, pp T4D22-23, 2005.
  74. Widening the horizon using the OEIGP. Mats Daniels, Xristine Faulkner och Ian Newman. I HCI International, Las Vegas, 2005.
  75. Janus: an architecture for flexible access to sensor networks. Adam Dunkels, Richard Gold, Sergio Angel Marti, Arnold Pears och Mats Uddenfeldt. I DIN '05: Proceedings of the 1st ACM workshop on Dynamic interconnection of networks, pp 48-52, 2005. (DOI).
  76. Janus: an architecture for flexible access to sensor networks. Adam Dunkels, Richard Gold, Sergio Angel Marti, Arnold Pears och Mats Uddenfeldt. I Proceedings of the 1st ACM workshop on Dynamic interconnection of networks, pp 48 - 52, 2005.
  77. Stationary behavior of an anti-windup scheme for recursive parameter estimation under lack of excitation. Magnus E och Alexander Medvedev. I in IFAC World Congress, 2005.
  78. Comparing student software designs using semantic categorization. Anna Eckerdal, Robert McCartney, Jan Erik Moström, Mark Ratcliffe och Carol Zander. I Proc. 5th Finnish/Baltic Sea Conference on Computer Science Education: Koli Calling, pp 57-64, Turku Centre for Computer Science, Finland, 2005.
  79. Novice Java Programmers' Conceptions of "Object" and "Class", and Variation Theory. Anna Eckerdal och Michael Thuné. I SIGCSE Bulletin inroads, volym 37, nummer 3, pp 89-93, 2005. (DOI).
  80. What Does It Take to Learn 'Programming Thinking'?. Anna Eckerdal och Anders Berglund. I Proc. 1st International Computing Education Research Workshop, pp 135-142, ACM Press, New York, 2005. (DOI).
  81. On the modeling of small geometric features in computational electromagnetics. Fredrik Edelvik. I Multiscale Methods in Science and Engineering, volym 44 av Lecture Notes in Computational Science and Engineering, pp 133-148, Springer-Verlag, Berlin, 2005. (DOI).
  82. Identification of linear systems with errors in variables using separable nonlinear least squares. Mats Ekman. I Proc of 16:th IFAC World Congress, 2005.
  83. Modeling and Control of Bilinear Systems: Application to the Activated Sludge Process. Mats Ekman. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 65, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
  84. Suboptimal control for the bilinear quadratic regulator problem: Application to the activated sludge process. Mats Ekman. I IEEE Transactions on Control Systems Technology, volym 13, nummer 1, pp 162-168, 2005.
  85. Developing Embedded Networked Products using the Simics Full-System Simulator. Jakob Engblom, David Kågedal, Johan Runeson och Andreas Moestedt. I Proc. 16th IEEE International Symposium on Personal Indoor and Mobile Radio Communications: (PIMRC 2005), Berlin, Germany September 2005, 2005.
  86. Guidelines for a curriculum on embedded software and systems: The ARTIST Education Group. Jakob Engblom. I ACM Transactions on Embedded Computing Systems (TECS), volym 4, nummer 3, pp 587-611, 2005.
  87. Computing the moments of high dimensional solutions of the master equation. Stefan Engblom. Technical report / Department of Information Technology, Uppsala University nr 2005-020, 2005. (fulltext).
  88. Multiscale Methods in Science and Engineering. Björn Engquist, Per Lötstedt och Olof Runborg (red). Volym 44 av Lecture Notes in Computational Science and Engineering, Springer-Verlag, Berlin, 2005.
  89. Verification and generation of geographical data using domain theory. Lars-Henrik Eriksson. I TRain Workshop at the 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM’05), 2005, 2005. (fulltext:postprint).
  90. Autonomy method: Acquiring skills for ethichal analysis of computerisation in car driving. Mikael Erlandsson och Iordanis Kavathatzopoulos. I ETHICOMP 2005: Looking back to the future, pp CD-ROM, 2005.
  91. Clustered Worst-Case Execution-Time Calculation. Andreas Ermedahl, Friedhelm Stappert och Jakob Engblom. I IEEE Transactions on Computers, volym 54, nummer 9, 2005.
  92. Gas jet impinging on liquid surface: Cavity shape modelling and video based estimation. Magnus Evestedt och Alexander Medvedev. I Proceedings of the 16th IFAC World Congress, 2005.
  93. Gas jet impinging on liquid surface: Cavity shape modelling and video-based estimation. Magnus Evestedt och Alexander Medvedev. I in IFAC World Congress, 2005.
  94. Parameter and state estimation using audio and video signals. Magnus Evestedt. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-009, Uppsala University, 2005. (fulltext).
  95. Stationary behaviour of an anti-windup scheme for recursive parameter estimation under lack of excitation. Magnus Evestedt och Alexander Medvedev. I Proceedings of the 16th IFAC World Congress, 2005.
  96. Windup properties of recursive parameter estimation algorithms in acoustic echo cancellation. Magnus Evestedt, Alexander Medvedev och Torbjörn Wigren. I , volym 38:1 av IFAC-PapersOnLine, pp 113-118, 2005. (DOI).
  97. Enabling limited traffic scheduling in asynchronous ad hoc networks. Laura Marie Feeney, Bengt Ahlgren och Per Gunningberg. I 3rd Swedish National Computer Networking Workshop (SNCNW 2005), 2005.
  98. Modelling Fusion Calculus using HD-Automata. Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor och Kidane Yemane. Technical report / Department of Information Technology, Uppsala University nr 2005-038, 2005.
  99. Modelling and Minimising the Fusion Calculus using HD-automata. Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor och Kidane Yemane. I Proceedings of CALCO 2005, 2005. (DOI, Extern länk).
  100. Amos II Release 8 User's Manual. Staffan Flodin, Martin Hansson, Vanja Josifovski, Timour Katchaounov, Tore Risch och Martin Sköld. 2005. (Extern länk).
  101. Framework for Querying Distributed Objects Managed by a Grid Infrastructure. Ruslan Fomkin och Tore Risch. I Data Management in Grids: First VLDB Workshop, DMG 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers, 2005. (DOI, Extern länk).
  102. An augmented-reality approach to co-located visual exploration of indoor climate data in real rooms.. A-K Forsberg, Lars W Pettersson, E. Lindén, M. Sandberg och Stefan Seipel. I Proceedings of the 10th International Conference on Indoor Air Quality and Climate: Indoor Air, 2005.
  103. Simple 3D glyphs for Spatial Multivariate Data. Camilla Forsell, Stefan Seipel och Mats Lind. I IEEE Symposium on Information Visualization: InfoVis 05, p 244, 2005.
  104. Adsorption Isotherm Parameter Estimation in Nonlinear Liquid Chromatography. Patrik Forssén. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 96, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
  105. Centerline-based colon segmentation for CT colonography. Hans Frimmel, Janne Näppi och Hiroyuki Yoshida. I Medical physics (Lancaster), volym 32, pp 2665-2672, 2005. (DOI).
  106. Clustering of Objects in 3D Electron Tomography Reconstructions of Protein Solutions Based on Shape Measurements. Magnus Gedda. I Pattern Recognition and Image Analysis: Third International Conference on Advances in Pattern Recognition, ICAPR 2005, Bath, UK, August 2005, Proceedings, Part II, p 809, 2005. (DOI, Extern länk).
  107. An Indirection Architecture for the Internet. Richard Gold. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 128, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext, cover).
  108. Inference of Timed Transition Systems. Olga Grinchtein, Martin Leucker och Bengt Jonsson. I Proceedings of the 6th International Workshop on Verification of Infinite-State Systems (INFINITY), 2005.
  109. User-Centered Design and the Offshoring Model. Jan Gulliksen, Andy Smith och Liam Bannon. I CSI Communication, volym 29, nummer 1, pp 14-18, 2005.
  110. Microwave imaging via adaptive beamforming methods for breast cancer detection. B. Guo, Y. Wang, Jian Li och Peter Stoica. I Progress in Electromagnetics Research Symposium, 2005.
  111. Time compact high order difference methods for wave propagation, 2D. Bertil Gustafsson och Per Wahlund. I Journal of Scientific Computing, volym 25, pp 195-211, 2005. (DOI).
  112. Bit-level Binaries and Generalized Comprehensions in Erlang. Per Gustafsson och Konstantinos Sagonas. I Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, pp 1-8, 2005.
  113. Multi-node computer system employing multiple memory response states. Erik Hagersten. 2005.
  114. Multi-node computer system where active devices selectively initiate certain transactions using remote-type address packets. Erik Hagersten. 2005.
  115. Multi-node system in which home memory subsystem stores global to local address translation information for replicating nodes. Erik Hagersten. 2005.
  116. Parallella program ger paradigmskifte. Erik Hagersten, Lars Albertsson och Jakob Engblom. I Elektroniktidningen, nummer 13, 2005.
  117. Applications of Coupling Analysis on Bioreactor Models. Björn Halvarsson, Pär Samuelsson och Bengt Carlsson. I Proceedings of 16th IFAC World Congress, 2005.
  118. Using an Extended Kalman Filter for Rigid Body Pose Estimation. Kjartan Halvorssen, Torsten Söderström, Virgil Stokes och Håkan Lanshammar. I Journal of Biomechanical Engineering, volym 127, nummer 3, pp 475-483, 2005.
  119. Camera-spectrometer for instantaneous multi- and hyperspectral imaging. Hamed Hamid Muhammed och Fredrik Bergholm. I 5th European Conference on Precision Agriculture, p 1008, 2005.
  120. Camera-spectrometer for multi- and hyperspectral imaging. Hamed Hamid Muhammed och Fredrik Bergholm. I Swedish Society for Automated Image Analysis Symposium - SSBA 2005, pp 45-48, 2005.
  121. Hyperspectral Crop Reflectance Data for characterising and estimating Fungal Disease Severity in Wheat. Hamed Hamid Muhammed. I Biosystems Engineering, volym 91, nummer 1, pp 9-20, 2005.
  122. Hyperspectral Crop Reflectance Data for characterising and estimating Fungal Disease Severity in Wheat. Hamed Hamid Muhammed. I Biosystems Engineering, volym 91, nummer 1, pp 9-20, 2005. (DOI, Extern länk).
  123. Hyperspectral Image Generation, Processing and Analysis. Hamed Hamid Muhammed. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 82, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext, summary, cover).
  124. Shading by Quaternion Interpolation. Anders Hast. I WSCG2005, pp 53-56, 2005. (Extern länk).
  125. Exploring optimal solution to hardware/software partitioning for synchronous model. Jifeng He, Dang Huang, Geguang Pu, Zongyan Qiu och Wang Yi. I Formal Aspects of Computing, volym 17, nummer 4, pp 587-611, 2005.
  126. Laplace's equation and the Dirichlet-Neumann map: a new mode for Mikhlin's method. Johan Helsing och Eddie Wadbro. I Journal of Computational Physics, volym 202, pp 391-410, 2005. (DOI).
  127. Towards markerless analysis of human motion. Björn Holmberg. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-011, Uppsala University, 2005. (fulltext).
  128. UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus.. Fredrik Holmen, Martin Leucker och Marcus Lindström. I PDMD 2004: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, pp 91-105, 2005.
  129. Easy-to-use object selection by color space projections and watershed segmentation. Per Holting och Carolina Wählby. I Image Analysis and Processing: ICIAP 2005 13th International Conference, Cagliari, Italy, September 6-8, 2005. Proceedings, volym 3617 av Lecture notes in computer science, pp 269-276, 2005. (DOI).
  130. Accuracy analysis of bias-eliminating least squares estimates for identification of errors in variables systems. Mei Hong, Torsten Söderström och Wei Xing Zheng. Technical Report nr 2005-021, Department of Information Technology, Uppsala, 2005. (Extern länk).
  131. On two methods for identifying dynamic errors-in-variables systems. Mei Hong. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-007, Uppsala University, 2005. (fulltext).
  132. Field performance of Pinus contorta trees propagated vegetatively via adventitious buds. Karl-Anders Högberg, Gunnar Flygh, Roland Grönroos och Sara von Arnold. I Scandinavian Journal of Forest Research, volym 20, nummer 4, pp 318-321, 2005. (DOI, Extern länk).
  133. Customizable Parallel Execution of Scientific Stream Queries. Milena Ivanova och Tore Risch. Technical report / Department of Information Technology, Uppsala University nr 2005-012, Department of Information Technology, Uppsala University, 2005. (fulltext).
  134. Customizable parallel execution of scientific stream queries. Milena Ivanova och Tore Risch. I 31st International Conference on Very Large Data Bases, 2005. (Extern länk).
  135. Scalable Scientific Stream Query Processing. Milena Ivanova. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 66, Acta Universitatis Upsaliensis, Uppsala, 2005.
  136. Actin or reacting?: A cognitive work analysis approach to the train driver task. Anders Jansson, Eva Olsson och Lena Kecklund. I Rail Human Factors: Supporting the Integrated Railway, pp 40-49, Aldershot, UK: Ashgate Publishing Ltd., 2005.
  137. Using parallel computing and grid systems for genetic mapping of multifactorial traits. Mahen Jayawardena, Kajsa Ljungberg och Sverker Holmgren. Technical report / Department of Information Technology, Uppsala University nr 2005-036, 2005. (fulltext).
  138. Efficient IT support in care for the elderly: Experiences from the VIHO project. Niklas Johansson och Bengt Sandblad. Technical Report series from the Department of Information Technology nr 2005-032, Uppsala universitet, Uppsala, 2005. (Extern länk).
  139. Usability in IT Systems for Mobile Work. Niklas Johansson, Torbjörn Lindh och Bengt Sandblad. I Mobile Virtual Work – A new Paradigm?, pp 177-202, 2005.
  140. Usability in Mobile IT systems. Niklas Johansson och Stina Nylander. Technical Report series from the Department of Information Technology nr 2005-029, Uppsala universitet, Uppsala, 2005. (Extern länk).
  141. Usable IT systems for mobile work. Niklas Johansson. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-008, Uppsala University, 2005. (fulltext).
  142. Finite State Machines. Bengt Jonsson. I Model-Based Testing of Reactive Systems: Advanced Lectures, pp 611-614, Springer, 2005.
  143. Computer assisted second language learning. Katerina Kalimikeraki och Iordanis Kavathatzopoulos. I Open and Distance Education and Education Technology, volym 1, nummer 2, pp 74-97, 2005.
  144. Exploring Processor Design Options for Java Based Middleware. Martin Karlsson, Kevin Moore, Erik Hagersten och David Wood. I Proceedings of the 2005 International Conference on Parallel Processing (ICPP-05), 2005.
  145. Memory System Design for Chip-Multiprocessors. Martin Karlsson. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 134, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext, cover).
  146. Approaches to P2P Applications Development. Thabotharan Kathiravelu och Arnold Pears. I Seventh International Workshop on Protocols for High-Speed Networks (PfHSN 2002), 2005. (DOI, Extern länk).
  147. Computers for ethical competence. Iordanis Kavathatzopoulos. I ETHICOMP 2005: Looking back to the future, pp CD-ROM, 2005.
  148. Kan vi lära oss hantera moraliska problem?. Iordanis Kavathatzopoulos. I Etik i medborgarnas tjänst: En antologi om förvaltningsetik, pp 43-54, Statens kvalitets- och kompetensråd, Stockholm, 2005.
  149. Reachability Relations and Sampled Semantics of Timed Systems. Pavel Krcal och Radek Pelanek. FIMU-RS nr 2005-09, Faculty of Informatics, Masaryk University Brno, Czechia, 2005. (Extern länk).
  150. Improvement of fault detection method for nonlinear black-box systems based on multi-form quasi-ARMAX modeling. K. Kumamaru, K. Inoue, F. Tsuboushi och T. Söderström. I Proc. 16th IFAC World Congress, 2005.
  151. Time reversal and zero forcing for WLAN applications. P. Kyritsi, G. Papanicolaou och Peter Stoica. I The Wireless Personal Multimedia Communications Conf. WPMC 05, Aalborg, Denmark, 2005.
  152. Time reversal and zero-forcing equalization for fixed wireless access channels. P. Kyritsi, Peter Stoica, G. Papanicolaou, P. Eggers och A. Oprea. I 39th ASILOMAR Conference on Signals, Systems and Computers, Pacific Grove, CA, 2005.
  153. The Complexity of Model Checking Higher Order Fixpoint Logic. Martin Lange och Rafa? Somla. I Mathematical Foundations of Computer Science 2005: 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings, 2005. (DOI).
  154. Measuring crop status using multivariate analysis of hyperspectral field reflectance with. Anders Larsolle och Hamed Hamid Muhammed. I 5th European Conference on Precision Agriculture: Precision Agriculture ‘05, p 1008, 2005.
  155. Measuring crop status using multivariate analysis of hyperspectral field reflectance with application on disease severity and amount of plant density. Anders Larsolle och Hamed Hamid Muhammed. I Proceedings of 5th European Conference on Precision Agriculture, volym Precision Agriculture ’05, pp 217-225, 2005.
  156. The Cramer-Rao bound for estimation of continuous-time ARX parameters from irregularly sampled data. E K Larsson, M. Mossberg och T. Söderström. I Proc IFAC 16th World Congress, 2005.
  157. Theoretical and computational aspects of multivariate interpolation with increasingly flat radial basis functions. Elisabeth Larsson och Bengt Fornberg. I Computers and Mathematics with Applications, volym 49, pp 103-130, 2005. (DOI).
  158. Adaptive equalization for frequency-selective channels of unknown length. Erik G. Larsson, Yngve Selén och Peter Stoica. I IEEE Transactions on Vehicular Technology, volym 54, nummer 2, pp 568-579, 2005.
  159. Functional programming languages for verification tools: a comparison of Standard ML and Haskell. Martin Leucker, Thomas Noll, Perdita Stevens och Michael Weber. I International Journal on Software Tools for Technology Transfer, volym 7, nummer 2, pp 184-194, 2005.
  160. Doubly constrained robust Capon beamformer. Jian Li, Peter Stoica och Zhizong Wang. U.S. Patent, 2005.
  161. Surface Area Estimation of Digitized 3D Objects using Weighted Local Configurations. Joakim Lindblad. I Image and Vision Computing, volym 23, nummer 2, pp 111-122, 2005. (DOI, Extern länk).
  162. Surface Volume Estimation of Digitized Hyperplanes Using Weighted Local Configurations. Joakim Lindblad. I Proceedings of Discrete Geometry for Computer Imagery, pp 252-262, 2005. (DOI, Extern länk).
  163. Efficient algorithms for multi-dimensional global optimization in genetic mapping of complex traits. Kajsa Ljungberg, Kateryna Mishchenko och Sverker Holmgren. Technical report / Department of Information Technology, Uppsala University nr 2005-035, 2005. (fulltext).
  164. Efficient evaluation of the residual sum of squares for quantitative trait locus models in the case of complete marker genotype information. Kajsa Ljungberg. Technical report / Department of Information Technology, Uppsala University nr 2005-033, 2005. (fulltext).
  165. Numerical Algorithms for Mapping of Multiple Quantitative Trait Loci in Experimental Populations. Kajsa Ljungberg. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 133, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
  166. High performance generative programming with a Fortran 95 application. Malin Ljungberg. 5th Workshop on Parallel/High-Performance Object-Oriented Scientific Computing, Glasgow, Scotland, 2005.
  167. Delayed effects on plasma concentration of testosterone and testicular morphology by intramuscular low-dose di(2-ethylhexyl)phthalate or oestradiol benzoate in the prepubertal boar. K. Ljungvall, Patrick Karlsson Edlund, F. Hultén, A. Madej, L. Norrgren, S. Einarsson, H. Rodriguez-Martinez och U. Magnusson. I Theriogenology, volym 64, nummer 5, pp 1170-1184, 2005. (DOI).
  168. Efficiently Compiling a Functional Language on AMD64: The HiPE Experience. Daniel Luna, Mikael Pettersson och Konstantinos Sagonas. I Proceedings of the Seventh ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, pp 176-186, 2005.
  169. Experimental Evaluation of Three Ad Hoc Routing Protocols. Henrik Lundgren. 2005.
  170. Implementation and Experimental Evaluation of Wireless Ad hoc Routing Protocols. Henrik Lundgren. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 17, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
  171. affinity-on-next-touch: Increasing the Performance of an Industrial PDE Solver on a cc-NUMA System. Henrik Löf och Sverker Holmgren. I Proc. 19th ACM International Conference on Supercomputing, pp 387-392, ACM Press, New York, 2005. (DOI).
  172. Dimensional reduction of the Fokker-Planck equation for stochastic chemical reactions. Per Lötstedt och Lars Ferm. Technical report / Department of Information Technology, Uppsala University nr 2005-023, 2005. (fulltext).
  173. Using boundary conditions for estimation of complex modulus from flexural wave experiments. K. Mahata, S. Mousavi, T. Söderström och U. Valdek. I IEEE Transactions on Control Systems Technology, volym 13, nummer 6, pp 1093-1099, 2005.
  174. Model Checking Parameterized Timed Systems. Pritha Mahata. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 61, Institutionen för informationsteknologi, Uppsala, 2005. (fulltext).
  175. Wireless Communication in Orienteering. Sergio Angel Marti och Christian Rohner. 2005. (Extern länk).
  176. People and Computers XIX: The Bigger Picture. Tom McEwan, Jan Gulliksen och David Benyon (red). Springer, 2005. (Extern länk).
  177. Dynamic breast MRI visualised through colour mapping. Andrew Mehnert, Ewert Bengtsson, Kerry McMahon, Dominic Kennedy, Stepehen Wilson och Stuart Crozier. I Proceedings SSBA 2005, pp 9-12, 2005.
  178. Visualisation of the pattern of contrast enhancement in dynamic breast MRI. Andrew Mehnert, Ewert Bengtsson, Kerry McMahon, Dominic Kennedy, Stephen Wilson och Stuart Crozier. I WDIC 2005: Workshop Proceedings, 2005.
  179. A Unifying Model of Variables and Names. Marino Miculan och Kidane Yemane. I Proceedings of FoSSaCS 2005, 2005. (DOI).
  180. HD-Automata for Open Bisimulation. Marino Miculan, Emilio Tuosto och Kidane Yemane. Technical report / Department of Information Technology, Uppsala University nr 2005-037, 2005. (fulltext).
  181. A new, fast and semi-automated size determination method (SASDM) for studying multicellular tumor spheroids. Azita Monazzam, Pasha Razifar, Örjan Lindhe, Raymond Josephsson, Bengt Långström och Mats Bergström. I Cancer Cell International, nummer 5, p 32, 2005. (DOI).
  182. Load balancing by changing the graph connectivity on heterogeneous clusters. Kalyani Munasinghe och Richard Wait. I Advances in Grid Computing – EGC 2005, volym 3470 av Lecture Notes in Computer Science, pp 1040-1047, Springer-Verlag, Berlin, 2005. (DOI).
  183. Developing and testing distributed CAN-based real-time control-systems using a single PC. Anders Möller, Per Åberg, Fredrik Löwenhielm, Jakob Brundin, Jakob Engblom och Mikael Nolin. I Proc. 10th International CAN Conference, CAN in Automation: Roma, Italy, March 2005, 2005.
  184. Strictly stable high order difference approximations for computational aeroacoustics. Bernhard Müller och Stefan Johansson. I Comptes rendus. Mecanique, volym 333, pp 699-705, 2005. (DOI).
  185. Towards High Order Numerical Simulation of Aeolian Tones. Bernhard Müller. I Proceedings in Applied Mathematics and Mechanics: PAMM, volym 5, nummer 1, pp 473-474, 2005. (DOI).
  186. Modeling and control of a viscoelastic piezolaminated beam. P. Naucler, H. Norlander, A. Jansson och T. Söderström. I Proc. IFAC 16th World Congress, 2005.
  187. Modeling and control of vibration in mechanical structures. Peter Nauclér. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-005, Uppsala University, 2005. (fulltext).
  188. Regular Model Checking. Marcus Nilsson. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 60, Acta Universitatis Upsaliensis, Uppsala, 2005.
  189. Multipole solution of electromagnetic scattering problems with many, parameter dependent incident waves. Martin Nilsson och Per Lötstedt. I Multiscale Methods in Science and Engineering, volym 44 av Lecture Notes in Computational Science and Engineering, pp 195-203, Springer-Verlag, Berlin, 2005. (DOI).
  190. Rapid solution of parameter-dependent linear systems for electromagnetic problems in the frequency domain. Martin Nilsson. I IEEE Transactions on Antennas and Propagation, volym 53, pp 777-784, 2005. (DOI).
  191. A Testbed and Methodology for Experimental Evaluation of Mobile Ad hoc Networks. Erik Nordström, Per Gunningberg och Henrik Lundgren. I Proceedings of the First International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (TRIDENTCOM), 2005.
  192. A Testbed and Methodology for Experimental Evaluation of Wireless Mobile Ad hoc Networks. Erik Nordström, Per Gunningberg och Henrik Lundgren. I Proceedings of The First International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (TRIDENTCOM), IEEE Computer Society, IEEE Computer Society, 2005.
  193. Interaction between TCP and UDP flows in Wireless Multi-hop Ad hoc Networks. Erik Nordström och Christian Rohner. I Proceedings of the 5th Scandinavian Workshop on Wireless Ad-hoc Networks (Adhoc'05), 2005. (Extern länk).
  194. Mythbusters: Whatever You Thought About MANET Routing, Think Again.... Erik Nordström, Richard Gold och Per Gunningberg. Uppsala University, 2005. (Extern länk).
  195. A stable and efficient hybrid method for aeroacoustic sound generation and propagation. Jan Nordström och Jing Gong. I Comptes rendus. Mecanique, volym 333, pp 713-718, 2005. (DOI).
  196. Boundary Conditions for a Divergence Free Velocity-Pressure Formulation of the Incompressible Navier-Stokes Equations. Jan Nordström, Ken Mattsson och Charles Swanson. Technical report / Department of Information Technology, Uppsala University nr 2005-031, 2005. (fulltext).
  197. Well-posed boundary conditions for the Navier-Stokes equations. Jan Nordström och Magnus Svärd. I SIAM Journal on Numerical Analysis, volym 43, pp 1231-1255, 2005. (DOI).
  198. Ubiquitous Service Access through Adapted User Interfaces on Multiple Devices. Stina Nylander, Markus Bylund och Annika Waern. I Journal of Personal and Ubiquitous Computing, volym 9, nummer 3, pp 123-133, 2005.
  199. Discrete Applied Mathematics, 147(2-3):147-361: Special issue on Discrete Geometry for Computer Imagery. Ingela Nyström, Gabriella Sanniti di Baja och Stina Svensson (red). 2005.
  200. Image and Vision Computing 23(2):87-269: Special issue on Discrete Geometry for Computer Imagery. Ingela Nyström, Gabriella Sanniti di Baja och Stina Svensson (red). 2005.
  201. Skeletonization in 3D Discrete Binary Images. Ingela Nyström och Gabriella Sanniti di Baja. I Handbook of Pattern Recognition and Computer Vision, 3rd edition, pp 137-156, World Scientific, Singapore, 2005.
  202. UPPMAX Progress Report. Ingela Nyström och Sverker Holmgren (red). Uppsala University, 2005.
  203. Region-based supine-prone correspondence for the reduction of false-positive CAD polyp candidates in CT colonography. Janne Näppi, Akihiko Okamura, Hans Frimmel, Abraham Dachman och Hiroyuki Yoshida. I Academic Radiology, volym 12, pp 695-707, 2005. (DOI).
  204. Virtual endoscopic visualization of the colon by shape-scale signatures. Janne Näppi, Hans Frimmel och Hiroyuki Yoshida. I IEEE transactions on information technology in biomedicine, volym 9, pp 120-131, 2005. (DOI).
  205. Active Vibration Control of Multibody Systems: Application to Automotive Design. Claes Olsson. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 59, Institutionen för informationsteknologi, Uppsala, 2005. (fulltext).
  206. Disturbance Observer-Based Automotive Engine Vibration Isolation Dealing With Non-linear Dynamics and Transient Excitation. Claes Olsson. I Technical Report, Department of Information Technology, Uppsala University, Number 2005-009, 2005.
  207. Structure Flexibility Impacts on Robust Active Vibration Isolation Using Mixed Sensitivity Optimisation. Claes Olsson. I Technical Report, Department of Information Technology, Uppsala University, Number 2005-003, January, 2005.
  208. A Participatory Process Supporting Design of Future Work. Eva Olsson, Niklas Johansson, Jan Gulliksen och Bengt Sandblad. Technical Report series from the Department of Information Technology nr 2005-018, 2005. (Extern länk).
  209. Participatory design with train drivers - a process analysis. Eva Olsson och Anders Jansson. I Interacting with computers, volym 17, nummer 2, pp 147-166, 2005. (DOI).
  210. Databasteknik. Thomas Padron-McCarthy och Tore Risch. Studentlitteratur, 2005.
  211. Constructing a Core Literature for Computing Education Research. Arnold Pears, Stephen Seidman, Crystal Eney, Päivi Kinnunen och Lauri Malmi. I ACM SIGCSE Bulletin, volym 37, nummer 4, pp 152-161, 2005. (Extern länk).
  212. Visualizations of symbols in a horizontal multiple viewer 3D display environment. Lars W Pettersson, Mats Lind, U. Spak och Stefan Seipel. I IEEE Proceedings of the 9th International Conference on Information Visualization, pp 357-362, 2005.
  213. Visualizations of Symbols in a Horizontal Multiple Viewer 3D Display Environment. Lars Winkler Pettersson, Mats Lind, Ulrik Spak och Stefan Seipel. I IV '05: Proceedings of the Ninth International Conference on Information Visualisation, pp 357-362, 2005.
  214. Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala Sweden, September 2005, Proceedings. Paul Pettersson och Yi Wang (red). Volym 3829 av Lecture Notes in Computer Science, Springer-Verlag, 2005.
  215. Formal Modeling and Analysis of Timed Systems, Third International Conference. Paul Pettersson och Yi Wang (red). Volym 3829 av Lecture Notes in Computer Science, Springer Verlag, 2005.
  216. Nordic Journal of Computing: Selected Papers of the Sixteenth Nordic Workshop on Programming Theory, October 6-8, 2004. Paul Pettersson och Yi Wang (red). Publishing Accociation Nordic Journal of Computing, Helsinki, 2005.
  217. Nordic Journal of Computing. Paul Pettersson och Yi Wang (red). Publishing Accociation Nordic Journal of Computing, Helsinki, 2005.
  218. Option pricing using radial basis functions. Ulrika Pettersson, Elisabeth Larsson, Gunnar Marcusson och Jonas Persson. I Proc. ECCOMAS Thematic Conference on Meshless Methods, pp C24.1-6, Departamento de Matemática, Instituto Superior Técnico, Lisboa, Portugal, 2005.
  219. Design and Demonstration of Policy-Based Management in a Multi-Hop Ad Hoc Network Testbed. Kaustubh Phanse, Luiz DaSilva och Scott Midkiff. I International Journal of Ad Hoc Networks, volym 3, nummer 3, 2005. (Extern länk).
  220. Digital image processing for multiplexing of single molecule detection. Amalka Pinidiyaarachchi, Jenny Göransson, Carlos Gonzalez-Rey, Mathias Howell, Jonas Melin, Jonas Jarvius, Mats Nilsson, Ewert Bengtsson och Carolina Wählby. I Medicinteknikdagarna: Stockholm/Södertälje September 27-28, 2005, 2005.
  221. Seeded watersheds for combined segmentation and tracking. Amalka Pinidiyaarachchi och Carolina Wählby. I Image Analysis and Processing – ICIAP 2005, volym 3617/2005 av Lecture Notes in Computer Science, pp 336-343, Springer Berlin / Heidelberg, 2005. (DOI).
  222. Model-Based Testing - A Glossary. Alexander Pretschner och Martin Leucker. I Model-Based Testing of Reactive Systems,: Advanced Lectures, pp 607-609, Springer, 2005.
  223. Software Techniques for Distributed Shared Memory. Zoran Radovic. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 67, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
  224. LearnLib: a library for automata learning and experimentation. Harald Raffelt, Bernhard Steffen och Therese Berg. I Proceedings of the 10th international workshop on Formal methods for industrial critical systems, p 10, 2005. (DOI, Extern länk).
  225. A Dynamic MPI-OpenMP Model for Structured Adaptive Mesh Refinement. Jarmo Rantakokko. I Parallel Processing Letters, volym 15, pp 37-47, 2005.
  226. Noise correlation in PET, CT, SPECT and PET/CT data evaluated using autocorrelation function: a phantom study on data, reconstructed using FBP and OSEM. Pasha Razifar, Mattias Sandström, Harald Schneider, Bengt Långström, Ewert Bengtsson och Mats Bergström. I BMC Medical Imaging, volym 5, nummer 5, 2005.
  227. Noise correlation in PET, CT, SPECT and PET/CT data evaluated using autocorrelation function: a phantom study on data, reconstructed using FBP and OSEM.. Pasha Razifar, Mattias Sandström, Harald Schneider, Bengt Långström, Enn Maripuu, Ewert Bengtsson och Mats Bergström. I Bio Medical Central (BMC): Medical Imaging, volym 5, nummer 5, 2005. (DOI, Extern länk).
  228. Non-isotropic noise correlation in PET data reconstructed by FBP but not by OSEM demonstrated using auto-correlation function. Pasha Razifar, Mark Lubberink, Harald Schneider, Bengt Långström, Ewert Bengtsson och Mats Bergström. I Bio Medical Central (BMC): Medical Imaging, volym 5, nummer 3, 2005. (DOI).
  229. Non-isotropic noise correlation in PET data reconstructed by FBP but not by OSEM demonstrated using auto-correlation function. Pasha Razifar, Mark Lubberink, Harald Schneider, Bengt Långström, Ewert Bengtsson och Mats Bergström. I BMC Medical Imaging, volym 5, nummer 3, 2005.
  230. Novel Approaches for Application of Principal Component Analysis on Dynamic PET Images for Improvement of Image Quality and Clinical Diagnosis. Pasha Razifar. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 114, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext, cover).
  231. Report on the Workshop on Wrapper Techniques for Legacy Data Systems. Tore Risch, Ph Thiran, C. Costilla, J. Henrard, J. Kabisch, Johan Petrini, W-J van den Heuvel och J-L Hainaut. I SIGMOD Record, volym 34, nummer 3, pp 85-86, 2005.
  232. Interactions between TCP, UDP and Routing Protocols in Wireless Multi-hop Ad hoc Networks. Christian Rohner, Erik Nordström, Per Gunningberg och Christian Tschudin. I Proceedings of the 1st IEEE ICPS Workshop on Multi-hop Ad hoc Networks: from theory to reality (REALMAN 2005), 2005. (Extern länk).
  233. Gaussian maximum-likelihood channel estimation with short training sequences. O. Rousseaux, G. Leus, Peter Stoica och M. Moonen. I IEEE Transactions on Wireless Communication, volym 4, pp 2945-2955, 2005.
  234. On optimal sensor locations for nonparametric identification of viscoelastic materials. Agnes Runqvist, Magnus Mossberg och Torsten Söderström. Technical Report series from the Department of Information Technology nr 2005-006, 2005. (Extern länk).
  235. Optimal sensor locations for nonparametric identification of viscoelastic materials. Agnes Runqvist, Magnus Mossberg och Torsten Söderström. I Proc. IFAC 16th World Congress, 2005.
  236. Bit-level binaries and generalized comprehensions in Erlang. Konstantinos Sagonas och Per Gustafsson. I Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, 2005.
  237. Efficiently Compiling a Functional Language on AMD64: The HiPE Experience. Konstantinos Sagonas, Mikael Pettersson och Daniel Luna. I PPDP 2005: 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, 2005.
  238. Experience from Developing the Dialyzer: A Static Analysis Tool Detecting Defects in Erlang Applications. Konstantinos Sagonas. I Proceedings of ACM SIGPLAN Workshop on the Evaluation of Software Defect Detection Tools, 2005.
  239. Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang. Konstantinos Sagonas och Joe Armstrong (red). ACM 2005, Tallinn, Estonia, 2005.
  240. TypEr: A Type Annotator of Erlang Code. Konstantinos Sagonas och Tobias Lindahl. I Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, pp 17-25, 2005.
  241. An integrating linearization method for Hammerstein models. Pär Samuelsson, Hans Norlander och Bengt Carlsson. I Automatica, volym 41, nummer 10, pp 1825-1828, 2005.
  242. Control of Nitrogen Removal in Activated Sludge Processes. Pär Samuelsson. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 64, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
  243. Cost-Efficient Operation of a Denitrifying Activated Sludge Process - An Initial Study. Pär Samuelsson, Björn Halvarsson och Bengt Carlsson. Technical reports from the Department of Information Technology nr 2005-010, 2005.
  244. Interaction analysis and control structure selection in a wastewater treatment plant model. Pär Samuelsson, Björn Halvarsson och Bengt Carlsson. I IEEE Transactions on Control Systems Technology, volym 13, nummer 6, pp 955-964, 2005. (DOI).
  245. Homing and Synchronizing Sequences. Sven Sandberg. I Model-Based Testing of Reactive Systems, pp 5-33, Springer Verlag, 2005.
  246. Frequency-Selective Analysis of Multichannel Magnetic Resonance Spectroscopy Data. Niclas Sandgren och Peter Stoica. I Proceedings of the 27th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2005.
  247. Spectral analysis of multichannel MRS data. Niclas Sandgren, Peter Stoica, Frigo Frederick J. och Yngve Selén. I Journal of Magnetic Resonance, volym 175, nummer 1, pp 79-91, 2005. (Extern länk).
  248. Sub-Band Cramer-Rao Bounds for Frequency-Selective Spectral Analysis. Niclas Sandgren och Peter Stoica. I Proceedings of the 39th Asilomar Conference on Signals, Systems, and Computers, pp 1439-1442, 2005.
  249. Discrete 3D tools applied to 2D grey-level images. Gabriella Sanniti di Baja, Ingela Nyström och Gunilla Borgefors. I Image Analysis and Processing - ICIAP 2005: 13th International Conference, pp 229-236, 2005.
  250. An introduction to human-centered software engineering: Integrating usability in the development process. Ahmed Seffah, Jan Gulliksen och Michel Desmarais. I Human-centered software engineering: Integrating usability in the software development lifecycle, pp 3-14, Springer, 2005. (Extern länk).
  251. Human-Centered Software Engineering: Integrating Usability in the Software Development Lifecycle. Ahmed Seffah, Jan Gulliksen och Michel Desmarais. Springer, 2005. (Extern länk).
  252. Real-time visualization of animated trees. Stefan Seipel och D. Wesslén. I Visual Comput., nummer 21, pp 397-405, 2005.
  253. Optimal Bayesian RAKE receiver for sparse channels. Yngve Selén och Erik G. Larsson. I Conference Record of the 39th Asilomar Conference on Signals, Systems, and Computers, 2005.
  254. Sparse matrix storage revisited. Malik Silva och Richard Wait. I Computing Frontiers: 2005, pp 230-235, ACM Press, New York, 2005. (DOI).
  255. Medial grey-level based representation for proteins in volume images. Ida-Maria Sintorn, Magnus Gedda, Stina Svensson och Susana Mata. I Pattern Recognition and Image Analysis: Second Iberian Conference (IbPRIA 2005), Proceedings, Part II, volym 3523 av Lecture notes in computer science, pp 421-428, 2005. (Extern länk).
  256. Segmentation of individual pores in 3D paper images. Ida-Maria Sintorn, Stina Svensson, Maria Axelsson och Gunilla Borgefors. I Nordic Pulp & Paper Research Journal, volym 20, nummer 3, pp 316-319, 2005.
  257. Shape based identification of proteins in volume images. Ida-Maria Sintorn och Gunilla Borgefors. I Image Analysis: 14th Scandinavian Conference on Image Analysis, SCIA 2005, pp 253-262, 2005.
  258. Fokker-Planck approximation of the master equation in molecular biology. Paul Sjöberg, Per Lötstedt och Johan Elf. Technical report / Department of Information Technology, Uppsala University nr 2005-044, 2005. (fulltext).
  259. Numerical solution of the Fokker–Planck approximation of the chemical master equation. Paul Sjöberg. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-010, Uppsala University, 2005. (fulltext).
  260. A Brief Review on Benno Artman's "Euclid - The Creation of Mathematics". Natasa Sladoje. Intern rapport, CBA nr 36, Centre for Image Analysis, Uppsala, 2005.
  261. Estimation of moments of digitized objects with fuzzy borders. Natasa Sladoje och Joakim Lindblad. I Proc. of 13th International Conference on Image Analysis and Processing: Cagliari, Italy, Lecture Notes in Computer Science, pp 188-195, Springer, 2005. (DOI).
  262. Measurements of digitized objects with fuzzy borders in 2D and 3D. Natasa Sladoje, Ingela Nyström och Punam Kumar Saha. I Image and Vision Computing, volym 23, nummer 2, pp 123-132, 2005. (DOI).
  263. Review of scientific papers on fuzzy shape analysis. Natasa Sladoje. Intern rapport, CBA nr 32, Centre for Image Analysis, Uppsala, 2005.
  264. BUILDING USABILITY IN INDIA: REFLECTIONS FROM THE INDO EUROPEAN SYSTEMS USABILITY PARTNERSHIP. Andrew Smith, Jan Gulliksen och Liam Bannon. I People and Computers XIX: The Bigger Picture, 2005. (Extern länk).
  265. New Algorithms for Solving Simple Stochastic Games. Rafa? Somla. I Proceedings of the Workshop on Games in Design and Verification (GDV 2004), 2005. (DOI).
  266. Skewed Caches from a Low-Power Perspective. Mathias Spjuth, Martin Karlsson och Erik Hagersten. I Proceedings of Computing Frontiers, Ischia, Italy, May 2005, 2005.
  267. A new type of parameter estimation algorithm for missing data problems. Peter Stoica, L. Xu och J. Li. I Statistics and Probability Letters, volym 75, pp 219-229, 2005.
  268. Extended derivations of MUSIC in the presence of steering vector errors. Peter Stoica, Z. Wang och J. Li. I IEEE Trans Signal Process, volym 53, pp 1209-1211, 2005.
  269. On MIMO channel capacity: an intuitive discussion. Peter Stoica, Y. Jiang och J. Li. I IEEE Signal Processing Mag, pp 83-84, 2005.
  270. On nonexistence of the maximum likelihood estimate in blind multichannel identification. Peter Stoica och Jian Li. I IEEE Signal Processing Mag., pp 99-101, 2005.
  271. Parameter estimation with missing data via equalization-maximization. Peter Stoica, L. Xu och Jian Li. I ICASSP 2005, the 30th International Conference on Acoustics, Speech and Signal Processing, Philadelphia, PA, 2005.
  272. SPECTRAL ANALYSIS OF SIGNALS. Peter Stoica och R. Moses. J Wiley&Sons, 2005.
  273. The heuristic, GLRT, and MAP detectors for double differential modulation are identical. Peter Stoica, J. Liu, J. Li och M A Prasad. I IEEE Trans Info Theory, volym 51, pp 1860-1865, 2005.
  274. A Classification of Centres of Maximal Balls in Z^3. Robin Strand. 2005.
  275. Distance Transforms for Three-Dimensional Grids with Non-Cubic Voxels. Robin Strand och Gunilla Borgefors. I Computer Vision and Image Understanding, volym 100, nummer 3, pp 294-311, 2005. (Extern länk).
  276. Resolution Pyramids on the FCC and BCC Grids. Robin Strand och Gunilla Borgefors. I Proceedings of Discrete Geometry for Computer Imagery, pp 68-78, 2005.
  277. The Euclidean Distance Transform Applied to the FCC and BCC Grids. Robin Strand. I Pattern Recognition and Image Analysis, Proceedings of Second Iberian Conference, IbPRIA 2005: volume 1, pp 243-250, 2005.
  278. The face-centered cubic grid and the body-centered cubic grid: a literature survey. Robin Strand. Internrapport, Centrum för Bildanalys nr 35, 2005.
  279. Navier-Stokes equations for low Mach number flows solved by boundary summation. Per Sundqvist och Sverker Holmgren. 2005.
  280. Numerical Computations with Fundamental SolutionsNumeriska beräkningar med fundamentallösningar. Per Sundqvist. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 45, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
  281. High-Performance Longest Prefix Matching supporting High-Speed Incremental Updates and Guaranteed Compression. Mikael Sundström och Lars-Åke Larzon. I Proceedings of IEEE Infocom 2005, 2005.
  282. An Accuracy Evaluation of Unstructured Node-Centred Finite Volume Methods. Magnus Svärd, Jing Gong och Jan Nordström. NIA Report nr 2005-04, National Institute of Aerospace, Hampton, VA, 2005.
  283. Stable Artificial Dissipation Operators for Finite Volume Schemes on Unstructured Grids. Magnus Svärd, Jing Gong och Jan Nordström. NIA Report nr 2005-05, National Institute of Aerospace, Hampton, VA, 2005.
  284. Steady-State Computations Using Summation-by-Parts Operators. Magnus Svärd, Ken Mattsson och Jan Nordström. I Journal of Scientific Computing, volym 24, pp 79-95, 2005. (DOI).
  285. Accuracy analsyis of the Frisch estimates for identifying errors-in-variables systems. T. Söderström. I Proc. 44th IEEE CDC/European Control Conference, 2005.
  286. Convergence of bias-eliminating least squares methods for errors-in-variables identification. T. Söderström, M. Hong och W X Zheng. I Proc. 44th IEEE CDC/European Control Conference, 2005.
  287. Convergence properties of bias-eliminating algorithms for errors-in-variables identification. T. Söderström, M. Hong och W X Zheng. I International Journal of Adaptive Control and Signal Processing, volym 19, pp 703-722, 2005.
  288. Identification of dynamic errors-in-variables systems with periodic data. T. Söderström och M. Hong. I Proc. IFAC 16th World Congress, 2005.
  289. Approaches for Continuous-Time Modeling in Errors-in-Variables Identification. Torsten Söderström, Erik K. Larsson, Kaushik Mahata och Magnus Mossberg. Technical report / Department of Information Technology, Uppsala University nr 2005-024, Department of Information Technology, Uppsala University, 2005. (fulltext).
  290. Computing the Covariance Matrix for PEM Estimates and the Cramer-Rao Lower Bound for Linear State Space Models. Torsten Söderström. Technical report / Department of Information Technology, Uppsala University nr 2005-019, Department of Information Technology, Uppsala University, 2005. (fulltext).
  291. Periodic signal analysis by maximum likelihood modeling of orbits of nonlinear ODEs. Torsten Söderström, Torbjörn Wigren och Emad Abd-Elrady. I Automatica, volym 41, nummer 5, pp 793-805, 2005. (DOI).
  292. Students designing software: a multi-national, multi-institutional study. Josh Tenenberg, Sally Fincher, Ken Blaha, Dennis Bouvier, Tzu-Yi Chen, Donald Chinn, Stephen Cooper, Anna Eckerdal, Hubert Johnson, Robert McCartney, Alvaro Monge, Jan Erik Moström, Marian Petre, Kris Powers, Mark Ratcliffe, Anthony Robins, Dean Sanders, Leslie Schwartzman, Beth Simon, Carol Stoker, Allison Elliott Tew och Tammy VanDeGrift. I Informatics in Education. An International Journal, volym 4, pp 143-162, 2005.
  293. Lessons from Experimental MANET Research. Christian Tschudin, Per Gunningberg, Henrik Lundgren och Erik Nordström. I Ad hoc networks, volym 3, nummer 2, pp 221-233, 2005. (DOI).
  294. The Design and Implementation of an Architecture for Flexible Access to Sensor Networks. Mats Uddenfeldt. 2005. (Extern länk).
  295. Compositional derivation of symmetries for constraint satisfaction. Pascal Van Hentenryck, Pierre Flener, Justin Pearson och Magnus Ågren. I Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings, pp 234-247, 2005. (DOI).
  296. A haptic interaction technique for volume images based on gradient diffusion. Erik Vidholm och Ingela Nyström. I World Haptics Conference, pp 336-341, 2005.
  297. A haptic interaction technique for volume images based on gradient diffusion. Erik Vidholm och Ingela Nyström. I Proceedings of WorldHaptics, pp 336-341, 2005.
  298. Haptic volume rendering based on gradient vector flow. Erik Vidholm och Ingela Nyström. I Proceedings of SSBA (Swedish Society for Automated Image Analysis) Symposium on Image Analysis, Malmö, Sweden, pp 97-100, 2005.
  299. Proceedings of the REALWSN'05: Workshop on Real-World Wireless Sensor Networks. Thiemo Voigt och Christian Rohner (red). Technical Report T2005:09, SICS - Swedish Institute of Computer Science, 2005. (Extern länk).
  300. A Subexponential Algorithm for a Subclass of P-Matrix Generalized Linear Complementarity Problems. Sergei Vorobyov och Ola Svensson. DIMACS Technical Report nr 2005-20, Center for Discrete Mathematics and Theoretical Computer Science, Rutgers University, NJ, USA, 2005.
  301. Combinatorial Structure and Randomized Subexponential Algorithms for Infinite Games. Sergei Vorobyov och Henrik Björklund. I Theoretical Computer Science, nummer 349(3), pp 347-360, 2005.
  302. LP-Polytopes for Mean Payoff Games. Sergei Vorobyov och Ola Svensson. RUTCOR Research Report RRR nr 34-2005, RUTCOR, Rutgers Center of Operations Research, 2005.
  303. Linear Complementarity Algorithms for Mean Payoff Games. Sergei Vorobyov, Henrik Björklund och Ola Svensson. DIMACS Technical Report nr 2005-05, Center for Discrete Mathematics and Theoretical Computer Science, Rutgers University, NJ, USA, 2005.
  304. Vasa: A Simulator Infrastructure with Adjustable Fidelity. Dan Wallin, Håkan Zeffer, Martin Karlsson och Erik Hagersten. I In Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2005), Phoenix, Arizona, USA, November 2005., 2005. (Extern länk).
  305. Vasa: A Simulator Infrastructure with Adjustable Fidelity. Dan Wallin, Håkan Zeffer, Martin Karlsson och Erik Hagersten. I Proceedings of the International Conference on Parallel and Distibuted Computing and Systems, 2005.
  306. Vasa: A Simulator Infrastructure with Adjustable Fidelity. Dan Wallin, Håkan Zeffer, Martin Karlsson och Erik Hagersten. I Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems, 2005.
  307. Bildanalys och bildförbättring. Hans Wallin och Gunilla Borgefors. I Den osynliga matematiken, pp 114-115, Liber Ab, Stockholm, 2005.
  308. Adaptive imaging for forward-looking ground penetrating radar. Y. Wang, X. Li, J. Li och Peter Stoica. I IEEE Transactions on Aerospace and Electronic Systems, volym 41, pp 922-936, 2005.
  309. Nonparametric spectral analysis with missing data via the EM algorithm. Y. Wang, Peter Stoica, J. Li och T. Marzetta. I Digital Signal Processing, volym 15, pp 191-206, 2005.
  310. Rank-deficient robust Capon filter bank approach to complex spectral estimation. Y. Wang och Peter Stoica. I IEEE Transactions on Signal Processing, volym 53, pp 2713-2716, 2005.
  311. SPECTRAL ANALYSIS OF SIGNALS: THE MISSING DATA CASE. Y. Wang, J. Li och Peter Stoica. Morgan&Claypool Publishers, 2005.
  312. Two-dimensional nonparametric spectral analysis in the missing data case. Y. Wang, Jian Li och Peter Stoica. I ICASSP 2005, the 30th International Conference on Acoustics, Speech and Signal Processing, Philadelphia, PA, 2005.
  313. Ad Hoc Routing Protocol Verification Through Broadcast Abstraction. Oskar Wibling, Joachim Parrow och Arnold Pears. I Formal Techniques for Networked and Distributed Systems – FORTE 2005, volym 3731 av Lecture Notes in Computer Science, pp 128-142, Springer-Verlag, Berlin, 2005. (DOI).
  314. Ad hoc routing protocol validation. Oskar Wibling. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-004, Uppsala University, 2005. (fulltext).
  315. A second order ODE is sufficient for modelling of many periodic signals. Torbjörn Wigren och Torsten Söderström. I International Journal of Control, volym 78, nummer 13, pp 982-996, 2005. (DOI).
  316. Discussion on: "Subspace-based Identification Algorithms for Hammerstein and Wiener Models". Torbjörn Wigren. I European Journal of Control, volym 11, nummer 2, pp 148-149, 2005. (DOI).
  317. MATLAB software for recursive identification and scaling using a structured nonlinear black-box model: Revision 2. Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2005-022, Uppsala universitet, 2005. (Report in fulltext, fulltext).
  318. MATLAB software for recursive identification and scaling using a structured nonlinear black-box model: Revision 1. Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2005-002, Uppsala universitet, 2005. (Report in fulltext, fulltext).
  319. Recursive identification based on nonlinear state space models applied to drum-boiler dynamics with nonlinear output equations. Torbjörn Wigren. I Proc. American Control Conference: ACC 2005, pp 5066-5072, American Automatic Control Council, 2005. (DOI).
  320. Scaling of the sampling period in nonlinear system identification. Torbjörn Wigren. I Proc. American Control Conference: ACC 2005, pp 5058-5065, American Automatic Control Council, 2005. (DOI).
  321. Efficient memory management for message-passing concurrency, Part I: Single-threaded execution. Jesper Wilhelmsson. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-001, Uppsala University, 2005. (fulltext).
  322. Multi-static adaptive microwave imaging for early breast cancer detection. Y. Xie, B. Guo, L. Xu, Jian Li och Peter Stoica. I Conference Record of The Thirty-Ninth Asilomar Conference on Signals, Systems & Computers, volym 2005 av Conference Record - Asilomar Conference on Signals, Systems and Computers, pp 285-289, 2005. (DOI).
  323. Adaptive Coherence Batching for Trap-Based Memory Architectures. Håkan Zeffer och Erik Hagersten. information Technology - Technical reports nr 2005-016, Uppsala Universitet, dept of information technology, 2005. (Extern länk).
  324. Flexibility Implies Performance. Håkan Zeffer, Zoran Radovic och Erik Hagersten. Information Technology - Technical reports nr 2005-013, uppsala universitet, dept of information technology, 2005. (Extern länk).
  325. Hardware–Software Tradeoffs in Shared-Memory Implementations. Håkan Zeffer. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-002, Uppsala University, 2005. (fulltext).
  326. TMA: A Trap-Based Memory Architecture. Håkan Zeffer, Zoran Radovic, Martin Karlsson och Erik Hagersten. information Technology - Technical reports nr 2005-015, Uppsala Universitet, dept of information technology, 2005. (Extern länk).
  327. Fourth order symmetric finite difference schemes for the acoustic wave equation. Abraham Zemui. I BIT Numerical Mathematics, volym 45, pp 627-651, 2005. (DOI).
  328. Moral stress in IT-based work. Carl Åborg, Iordanis Kavathatzopoulos och Jenny Öhman Persson. I ETHICOMP 2005: Looking back to the future, pp CD-ROM, 2005.
  329. High-level modelling and local search. Magnus Ågren. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-003, Uppsala University, 2005. (fulltext).
  330. Incremental algorithms for local search from existential second-order logic. Magnus Ågren, Pierre Flener och Justin Pearson. I Proceedings of Principles and Practice of Constraint Programming - CP 2005, pp 47-61, 2005. (Extern länk).
  331. Set variables and local search. Magnus Ågren, Pierre Flener och Justin Pearson. I Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Second International Conference, CPAIOR 2005, Proceedings, pp 19-33, 2005. (Extern länk).
  332. Applications of the generalized Fourier transform in numerical linear algebra. Krister Åhlander och Hans Munthe-Kaas. I BIT Numerical Mathematics, volym 45, pp 819-850, 2005. (DOI).
  333. Mesh generation for symmetrical geometries. Krister Åhlander. I Computational Science and its Applications, volym 3480 av Lecture Notes in Computer Science, pp 657-668, Springer-Verlag, Berlin, 2005. (DOI).
  334. Sorting out the relationships between pairs of iterators, values, and references. Krister Åhlander. I Generative Programming and Component Engineering, volym 3676 av Lecture Notes in Computer Science, pp 342-356, Springer-Verlag, Berlin, 2005. (DOI).
  335. Sparse generalized Fourier transforms. Krister Åhlander. Technical report / Department of Information Technology, Uppsala University nr 2005-043, 2005. (fulltext).
  336. Colour Correction of Underwater Images Using Spectral Data. Julia Åhlén. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 120, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext, cover).
  337. Dissolved Organic Matters Impact on Colour. Julia Åhlén, David Sundgren, Tommy Lindell och Ewert Bengtsson. I Image Analysis: 14th Scandinavian Conference, SCIA 2005, pp 1148-1156, 2005.
  338. Dissolved Organic Matters Impact on Colour Reconstruction in Underwater Images. Julia Åhlén, David Sundgren, Tommy Lindell och Ewert Bengtsson. I Lecture Notes in Computer Science. Proceedings of the 14th Scandinavian Conference on Image Analysis, volym 3540, pp 1148-1156, 2005.
  339. Pre-Processing of Underwater Images Taken in Shallow Water for Color Reconstruction Purposes. Julia Åhlén, David Sundgren och Ewert Bengtsson. I Proceedings of the 7th IASTED International Conference on Signal and Image Processing, 2005.
  340. Pre-Processing of Underwater Images Taken in shallow Water for Color Reconstruction Purposes. Julia Åhlén, David Sundgren och Ewert Bengtsson. I IASTED Proceeding (479): IASTED 7th Conference on Signal and Image Processing - 2005, 2005. (Extern länk).

Uppdaterad  2009-12-17 17:08:03 av Björn Victor.