Hoppa till huvudinnehållet
Institutionen för informationsteknologi

Publikationer 1999

  1. On the existence of network invariants for verifying parameterized systems. Parosh Abdulla och Bengt Jonsson. I Correct System Design: Recent Insights and Advances, pp 180-197, Springer-Verlag, Berlin, 1999.
  2. Handling Global Conditions in Parameterized System Verification. Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonnson och Marcus Nilsson. I Proc. 11th Int. Conf. on Computer Aided Verification, volym 1633 av Lecture Notes in Computer Science, pp 134-145, Springer Verlag, Berlin, 1999. (DOI).
  3. Symbolic verification of lossy channel systems: Application to the bounded retransmission protocol. Parosh Aziz Abdulla, A. Annichini och A. Bouajjani. I Tools and Algorithms for the Construction and Analysis of Systems: Proceddings of TACAS'99, volym 1579 av Lecture Notes in Computer Science, pp 208-222, 1999. (DOI).
  4. Fusion trees can be implemented with AC0 instructions.. Arne Andersson, Peter Bro Miltersen och Mikkel Thorup. I Theoretical Computer Science, volym 205, pp 337-344, 1999.
  5. General balanced trees. Arne Andersson. I Journal of Algorithms, volym 30, pp 1-28, 1999.
  6. Integer Programming for Automated Auctions. Arne Andersson, Mattias Tenhunen och Fredrik Ygge. Technical report / Department of Information Technology, Uppsala University nr 1999-016, Dept of Information Technology, Uppsala University, 1999. (fulltext).
  7. Measure-based performance evaluation. Arne Andersson, Paul Davidsson och Johan Linden. I Pattern Recognition Letters, volym 28, 1999.
  8. Suffix trees on words. Arne Andersson, N. Jesper Larsson och Kurt Swanson. I Algorithmica, volym 23, 1999.
  9. A multivariate approach to registration of dissimilar tomographic images. JLR Andersson och Lennart Thurfjell. I European Journal of Nuclear Medicine, volym 26, nummer 7, pp 718-733, SPRINGER VERLAG, 1999. (DOI).
  10. Optimal disturbances and bypass transition in boundary layers. Paul Andersson, Martin Berggren och Dan S. Henningson. I Physics of fluids, volym 11, pp 134-150, 1999. (DOI).
  11. The Ravenscar Profile and Implementation Issues. Lars Asplund, Bob Johnson och Kristina Lundqvist. I Procedings if the 9th International Real-Time Ada Workshop, Ada Letters, pp 12-14, ACM Press, 1999.
  12. Fifty years of attempts to automate screening for cervical cancer. Ewert Bengtsson. I Medical imaging technology, volym 17, nummer 3, pp 203-210, Japanese Society of Medical Imaging Technology, 1999.
  13. L'analyse informatisée des plaies: une nouvelle méthode d'évaluation objective de la cicatrisation. Ewert Bengtsson, Nils Engström, Lars Hellgren och Jan Vincent. I Journal des Plaies et Cicatrisations, volym 16, pp 31-34, Societe Francaise et Francophone des Plaies et Cicatrisations, 1999.
  14. The volume discharge approach to geometric conservation. Martin Berggren. I Computational Methods for Fluid-Structure Interaction, pp 133-141, Tapir Publishers, Trondheim, Norway, 1999.
  15. Model-based control for a fine coal injection plant. W. Birk, A. Johansson och A. Medvedev. I IEEE Control Systems Magazine, volym 19, nummer 1, pp 33-43, 1999. (Extern länk).
  16. Computing skeletons in three dimensions. Gunilla Borgefors, Ingela Nyström och Baja Gabriella Sanniti Di. I Pattern Recognition, volym 32, nummer 7, pp 1225-1236, PERGAMON-ELSEVIER SCIENCE LTD, 1999. (DOI).
  17. Convergence acceleration for flow problems using semicirculant approximations. Henrik Brandén. Licentiatavhandling, Scientific Report nr 214, Dept. of Scientific Computing, Uppsala University, 1999.
  18. Convergence acceleration for hyperbolic systems using semicirculant approximations. Henrik Brandén och Sverker Holmgren. I Journal of Scientific Computing, volym 14, pp 357-393, 1999. (DOI).
  19. Algorithms for time delay estimation using a low complexity exhaustive search. Catharina Carlemalm, Susanne Halvarsson, Torbjörn Wigren och Bo Wahlberg. I IEEE Transactions on Automatic Control, volym 44, nummer 5, pp 1031-1037, 1999. (DOI).
  20. Reinforcement Learning for Control of Self-Similar Call Traffic in Broadband Networks. Carlström, Jakob and Nordström, Ernst. I Teletraffic Engineering in a Competitive World, pp 571-580, Elsevier Science B.V., 1999.
  21. A stable and conservative interface treatment of arbitrary spatial accuracy. Mark H. Carpenter, Jan Nordström och David Gottlieb. I Journal of Computational Physics, volym 148, pp 341-365, 1999. (DOI).
  22. EXPRESS'99: 6th International Workshop on Expressiveness in Concurrency. Ilaria Castellani och Björn Victor (red). Volym 27 av Electronic Notes in Theoretical Computer Science, Elsevier Science BV, Amsterdam, 1999. (Extern länk).
  23. Closure functions and width 1 problems. V. Dalmau och J. Pearson. 1999.
  24. Evaluating a joint international project in disjunct courses. Mats Daniels och Sally Fincher. I SEFI Workshop, delft, Holland, 1999. (Extern länk).
  25. Full Scale Industrial Project Work. Mats Daniels och Lars Asplund. I IEEE Frontiers in Education conference, pp 11b2-7, 1999. (Extern länk).
  26. IT in Society: a Multi-Disciplinary Course. Mats Daniels och Marian Petre. I IEEE Frontiers in Education conference, USA, pp 13a1-21, 1999. (Extern länk).
  27. Reflections on International Projects in the Undergraduate CS Education. Mats Daniels, Anders Berglund och Marian Petre. I Computer Science Education, volym 9, nummer 3, pp 256-267, 1999. (Extern länk).
  28. Runestone, an International Student Collaboration Project,. Mats Daniels. 1999.
  29. Some thoughts on international projects in the undergraduate education. Mats Daniels, Anders Berglund och Marian Petre. I EpCOS WS, U.K., 1999. (Extern länk).
  30. A nondeterministic polynomial-time unification algorithm for bags, sets and trees. E. Dantsin och A. Voronkov. I FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, volym 1578, pp 180-196, SPRINGER-VERLAG BERLIN, 1999.
  31. CAT: the Copying Approach to Tabling. Bart Demoen och Konstantinos Sagonas. I Journal of Functional and Logic Programming: Special Issue on Selected Best Papers from PLILP/ALP'98, volym 1999, nummer 2, pp 1-38, 1999.
  32. Analysis of a finite volume solver for Maxwell's equations. Fredrik Edelvik. I Finite Volumes for Complex Applications II: Problems and Perspectives, pp 141-148, Hermes Science Publications, Paris, 1999.
  33. Towards a Mathematical Foundation for Design Patterns. Amnon H. Eden, Yoram Hirshfeld och Amiram Yehudai. IT Technical Report nr 1999-004, Dept. of Information Technology, Uppsala University, 1999. (fulltext).
  34. Biopsy protocol stability in a three-dimensional model of prostate cancer: Changes in cancer yield after adjustment of biopsy positions. Lars Egevad, Hans Frimmel, Stefan Mattson, Ewert Bengtsson och Christer Busch. I Urology, volym 54, pp 862-868, 1999. (DOI).
  35. Three-dimensional computer reconstruction of prostate cancer from radical prostatectomy specimens: Evaluation of the model by core biopsy simulation. Lars Egevad, Hans Frimmel, Mona Norberg, Stefan Mattson, Ingrid Carlbom, Ewert Bengtsson och Christer Busch. I Urology, volym 53, pp 192-198, 1999. (DOI).
  36. Embedded Code != Desktop Code. Why SpecInt95 Should Not Be Used to Benchmark Embedded Systems Tools. J. Engblom. I Poster, SNART '99, 1999. (Extern länk).
  37. Static Properties of Commercial Embedded Real-Time Programs, and Their Implication for Worst-Case Execution Time Analysis. J. Engblom. I Proceedings of the 5th IEEE Real-Time Technology and Applications Symposium (RTAS '99), IEEE Computer Society Press, 1999. (Extern länk).
  38. Towards Industry-Strength Worst-Case Execution Time Analysis. J. Engblom, A. Ermedahl, M. Sjödin, J. Gustafsson och H. Hansson. ASTEC Technical Report 99/02, 1999. (Extern länk).
  39. Why SpecInt95 Should Not Be Used to Benchmark Embedded Systems Tools. J. Engblom. I Proceedings of the ACM SIGPLAN 1999 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES '99), ACM Press, 1999. (Extern länk).
  40. Continuous-time AR process parameter estimation in presence of additive white noise. H. Fan, T. Söderström och Y. Zou. I IEEE Transactions on Signal Processing, volym 47, nummer 12, pp 3392-3398, 1999.
  41. Estimation of continuous-time AR process parameters from discrete-time data. H. Fan, T. Söderström, M. Mossberg, B. Carlsson och Y. Zou. I IEEE Transactions on Signal Processing, volym 47, nummer 5, pp 1232-1244, 1999.
  42. Blockwise adaptive grids with multigrid acceleration for compressible flow. Lars Ferm och Per Lötstedt. I AIAA Journal, volym 37, pp 121-123, 1999.
  43. Towards schema-guided compilation of set constraint programs. Pierre Flener, Brahim Hnich och Zeynep Kiziltan. I Proc. of DPS'99, pp 59-66, 1999.
  44. Aspects of the Chain of Processing and the Application of Multi- and Hyperspectral Data from Lakes. Peter Flink. Licentiatavhandling, , Centre for Image Analysis, 1999.
  45. Modeling prostate cancer distributions. Hans Frimmel, Lars Egevad, Ewert Bengtsson och Christer Busch. I Urology, volym 54, pp 1028-1034, 1999. (DOI).
  46. Positioning Biopsy Needles in the Prostate Gland Using 3D Computer Modelling. Hans Frimmel. Doktorsavhandling, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 465, Acta Universitatis Upsaliensis, Uppsala, 1999.
  47. Blind multiuser MMSE detector for CDMA signals in ISI channels. D. Gesbert, J. Sorelius, P. Stoica och A. Paulraj. I IEEE COMMUNICATIONS LETTERS, volym 3, nummer 8, pp 233-235, 1999.
  48. Människa-maskininteraktion och gränssnittsutformning i samband med tågtrafikstyrning: Rapport från ett forskningsprojekt. Anders Gideon, Arne W. Andersson, Bengt Sandblad, Eva Olsson och Anders Jansson. Banverket, Borlänge, 1999.
  49. HOW TO MAKE USER CENTRED DESIGN USABLE. J. Gulliksen, A. Lantz och I. Boivie. I Human-Computer Interaction INTERACT ’99, 1999.
  50. USER CENTERED DESIGN – PROBLEMS AND POSSIBILITIES. J. Gulliksen, A. Lantz och I. Boivie. I SIGCHI Bulletin, volym 31, nummer 2, pp 25-35, 1999.
  51. USER ORIENTATION IN PRACTICE – PROBLEMS AND POSSIBILITIES. J. Gulliksen, A. Lantz och I. Boivie. Technical report TRITA-NA-D9813, CID-40, 1999. (Extern länk).
  52. BRINGING IN THE SOCIAL PERSPECTIVE: USER CENTRED DESIGN.. J. Gulliksen. I Proceedings of the 8th International Conference on Human-Computer Interaction, HCI International '99, 1999.
  53. KAN EN STANDARD VARA TILL NÅGON HJÄLP I DESIGNARBETE?. J. Gulliksen och T. Berns. I Designjournalen, volym 6, nummer 1, Stockholm: Svensk Industridesign, 1999.
  54. HCI Education in Sweden. Jan Gulliksen och Lars Oestreicher. I SIGCHI Bulletin, volym 4, nummer 2, pp 3-7, ACM SiGCHI, 1999.
  55. A fast domain decomposition high order Poisson solver. Bertil Gustafsson och Lina Hemmingsson-Frändén. I Journal of Scientific Computing, volym 14, pp 223-243, 1999. (DOI).
  56. Boundary conditions and estimates for the steady Stokes equations on staggered grids. Bertil Gustafsson och Jonas Nilsson. Technical report / Department of Information Technology, Uppsala University nr 1999-015, 1999. (fulltext).
  57. The Godunov–Ryabenkii condition: The beginning of a new stability theory. Bertil Gustafsson. Technical report / Department of Information Technology, Uppsala University nr 1999-014, 1999. (fulltext).
  58. Formalizing the Intent of Design Patterns. An Approach Towards a Solution to theIndexing Problem. Andreas Gustavsson och Mattias Ersson. IT Technical Report nr 1999-006, Dept. of Information Technology, Uppsala University, 1999. (fulltext).
  59. WildFire: A Scalable Path for SMPs. Erik Hagersten och Michael Koster. I Proc. Fifth Int. Symp. on High-Performance Computer Architecture, pp 172-181, 1999. (DOI, Extern länk).
  60. Scanning the DSM Technology. Greg Papadopoulos Hagersten Erik. I Proceedings of the IEEE, volym 30, nummer 12, IEEE, 1999. (Extern länk).
  61. Solving hyperbolic PDEs using interpolating wavelets. Mats Holmström. I SIAM Journal on Scientific Computing, volym 21, pp 405-420, 1999. (DOI).
  62. Segmentation of the Brain in MRI Using Grey Level Morphology and Propagation of Information. R. Hult, E. Bengtsson och L. Thurfjell. I Proceedings of 11th Scandinavian Conference on Image Analysis, SCIA’99, Kangerlussuaq, Greenland, p 367–373, 1999.
  63. Segmentation of the Brain in MRI Using Grey Level Morphology and Propagation of Information. Roger Hult, Ewert Bengtsson och Lennart Thurfjell. I Proceedings of SCIA'99, pp 367-373, Pattern Recognition Society of Denmark, Lyngby, 1999.
  64. Runge–Kutta Time Step Selection for Flow Problems. Karl Hörnell. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 16, Acta Universitatis Upsaliensis, Uppsala, 1999.
  65. Model-based and matched-filterbank signal analysis. Andreas Jakobsson. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 22, Acta Universitatis Upsaliensis, Uppsala, 1999.
  66. Two-Dimensional Capon Spectrum Analysis. Andreas Jakobsson, Marple, S. Lawrence, Jr. och Petre Stoica. IT Technical Report nr 1999-007, Dept. of Information Technology, Uppsala University, 1999. (fulltext).
  67. Goal achievement and mental models in everyday decision making. Anders Jansson. I Judgment and Decision Making: Neo-Brunswikian and Process-Tracing Approaches, pp 23-43, Lawrence Erlbaum Associates, Mahwah, NJ, 1999.
  68. Trafiksäkerhet och informationsmiljö i tågförarsystemet: Litteraturöversikt och olyckfallsanalyser. Anders Jansson, Eva Olsson och Erik Lindberg. Technical report / Department of Information Technology, Uppsala University nr 1999-005, 1999.
  69. Trafiksäkerhet och informationsmiljö i tågförarsystemet. Litteraturöversikt och olycksfallsanalyser. Anders Jansson, Erik Lindberg och Eva Olsson. IT Technical Report nr 1999-005, Dept. of Information Technology, Uppsala University, 1999. (Extern länk, fulltext).
  70. Convergence acceleration for computing steady-state compressible flow at low Mach numbers. Patrick Jenny och Bernhard Müller. I Computers & Fluids, volym 28, pp 951-972, 1999. (DOI).
  71. Evaluation of HiPE, an Erlang Native Code Compiler. Erik Johansson, Sven-Olof Nyström, Christer Jonsson och Thomas Lindgren. ASTEC report 99/03, 1999. (Extern länk).
  72. HiPE: High-Performance Erlang. Erik Johansson, Sven-Olof Nyström, Mikael Pettersson och Konstantinos Sagonas. ASTEC report 99/04, 1999. (Extern länk).
  73. Fully Abstract Characterization of Probabilistic May Testin. Bengt Jonsson och Yi Wang. 1999.
  74. Proving Refinement Using Transduction. Bengt Jonsson, Amir Pnueli och Camilla Rump. I Distributed Computing, volym 12, nummer 2/3, pp 129-150, 1999.
  75. Comparison of Amos II with other Data Integration Projects. Vanja Josifovski och Tore Risch. 1999. (Extern länk).
  76. Distributed Mediation using a Light-Weight OODBMS. Vanja Josifovski och Tore Risch. I 1st ECOOP Workshop on Object-Oriented Databases, 1999. (Extern länk).
  77. Functional Query Optimization over Object-Oriented Views for Data Integration. Vanja Josifovski och Tore Risch. I Journal of Intelligent Information Systems (JIIS), volym 12, nummer 2-3, 1999. (Extern länk).
  78. Integrating Heterogeneous Overlapping Databases through Object-Oriented Transformations. Vanja Josifovski och Tore Risch. I Proc. 25th Intl. Conf. On Very Large Databases, 1999. (Extern länk).
  79. Optimizing queries in distributed and composable mediators. Vanja Josifovski, Timour Katchaounov och Tore Risch. I Proceedings of the Fourth IFCIS International Conference on Cooperative Information Systems, CoopIS'99, pp 291-302, 1999.
  80. Optimizing queries in distributed and composable mediators. Vanja Josifovski, Timour Katchaounov och Tore Risch. I Proc. 4th Conference on Cooperative Information Systems, CoopIS'99, 1999. (Extern länk).
  81. Assessing and training ethical competence as a psychological ability in business organisations. Iordanis Kavathatzopoulos. I Building moral competence: in organisations, in business schools, in public sector institutions, Norwegian School of Management, Sandvika, Norway, 1999.
  82. Education and ethical competence in information technology design. Iordanis Kavathatzopoulos. 1999.
  83. Informal learning in IT-use: Cognitive support as an operational strategy. Iordanis Kavathatzopoulos och Jan Gulliksen. I Human Centered Processes, pp 29-35, ENST Bretagne and Centre Universitaire, Brest, 1999.
  84. The study of moral thought as a psychological phenomenon. Iordanis Kavathatzopoulos. I Psychology in the focus of human and social sciencies, pp 61-68, Kastaniotis, Athens, 1999.
  85. Verification of Infinite-State Systems: Decision Problems and Efficient Algorithms. Mats Kindahl. Doktorsavhandling, DoCS nr 110, Department of Computer Systems, Uppsala University, 1999.
  86. Classification of SPECT scans of AD and FLD based on intensity and gradient information. Vassili Kovalev, Lennart Thurfjell, Roger Lundqvist och M. Pagani. I Medical Image Understanding and Analysis 99, p 4, 1999.
  87. Convergence acceleration for the Euler equations using a parallel semi-Toeplitz preconditioner. Andreas Kähäri och Samuel Sundberg. I Euro-Par'99: Parallel Processing, volym 1685 av Lecture Notes in Computer Science, pp 1124-1127, Springer-Verlag, Berlin, 1999. (DOI).
  88. Solos in Concert. Cosimo Laneve och Björn Victor. I Proceedings of ICALP'99, 1999. (Extern länk).
  89. A domain decomposition method for the Helmholtz equation in a multilayer domain. Elisabeth Larsson. I SIAM Journal on Scientific Computing, volym 20, pp 1713-1731, 1999. (DOI).
  90. On Sensor Array Signal Processing with Incomplete Data. Erik G. Larsson och Petre Stoica. IT Technical Report nr 1999-012, Dept of Information Technology, Uppsala University, 1999. (Extern länk, fulltext).
  91. Steadfast logic programs. Kung-Kiu Lau, Mario Ornaghi och Sten-Åke Tärnlund. I The journal of logic programming, volym 38, nummer 3, pp 259-294, 1999. (DOI).
  92. A Proof System for Timed Automata. Huimin Lin och Wang Yi. IT Technical Report nr 1999-013, Dept of Information Technology, Uppsala University, 1999. (Extern länk, fulltext).
  93. Coastal Zone Mapping of Jamaica for Planning and Management. Tommy Lindell. I Pecora 14 Land Satellite Information III, p 4, ASPRS, Denver, 1999.
  94. Manual for Monitoring European Lakes using Remote Sensing Techniques. Tommy Lindell, Don Pierson och G. Premazzi. Joint Research Centre, Ispra, Italy, 1999.
  95. Design Issues for Scalable Availability LH* Schemes with Record Grouping. Witold Litwin, Jim Menon, Tore Risch och Thomas Schwarz. I DIMACS Workshop on Distributed Data and Structures (WDAS'99), 1999. (Extern länk).
  96. A Formal Model of a Run-Time Kernel for Ravenscar. K. Lundqvist och L. Asplund. I Procedings Sixth International Conference on Real-Time Computing Systems and Applications, IEEE Computer Society, pp 504-507, 1999. (Extern länk).
  97. A Formal Model of a Ravenscar-Compliant Run-Time Kernel and Application Code. Kristina Lundqvist och Lars Asplund. IT Technical Report nr 1999-002, Dept. of Information Technology, Uppsala University, 1999. (Extern länk).
  98. A Formal Model of the Ada Ravenscar Tasking Profile; Delay Until. Kristina Lundqvist och Lars Asplund. I Proceedings ACM SIGAda Annual International Conference, ACM Press, 1999. (Extern länk).
  99. A formal model of the Ada Ravenscar Tasking Profile: Protected objects. Kristina Lundqvist, Lars Asplund och Stephen Michell. I Reliable Software Technologies - Ada-Europe '99, pp 12-25, 1999.
  100. Classification of Functional Patterns in SPECT Brain Scans Based on Partial Least Squares Analysis. Roger Lundqvist, Ewert Bengtsson, H. Jacobsson, C. Jonsson, S. Larsson, M. Pagani, M. Wägner och Lennart Thurfjell. I Proceedings of SCIA'99, pp 375-381, Pattern Recognition Society of Denmark, Lyngby, 1999.
  101. Parallel solution of hyperbolic PDEs with space-time adaptivity. Per Lötstedt och Stefan Söderberg. I Finite Volumes for Complex Applications II: Problems and Perspectives, pp 769-776, Hermes Science Publications, Paris, 1999.
  102. Extendable, Dispatchable Task Communication Mechanisms. Steven Michell och Kristina Lundqvist. I Procedings if the 9th International Real-Time Ada Workshop, Ada Letters, pp 54-59, ACM Press, 1999.
  103. Type Domains for Abstract Interpretation: A critical study. Per Mildner. Doktorsavhandling, Uppsala theses in computing science nr 31, Uppsala universitet, 1999.
  104. System identification by approximating the differentiation operator - accuracy analysis and results. M. Mossberg och T. Söderström. I European Control Conference: ECC '99, 1999.
  105. Call Admission Control and Routing for Integrated CBR/VBR and ABR Services: A Markov Decision Approach. Nordström, Ernst and Carlström, Jakob. I Proceedings of IEEE ATM Workshop '99, pp 71-76, The Institute of Electronics, Information and Communication Engineers, Japan, 1999.
  106. Boundary and interface conditions for high-order finite-difference methods applied to the Euler and Navier-Stokes equations. Jan Nordström och Mark H. Carpenter. I Journal of Computational Physics, volym 148, pp 621-645, 1999. (DOI).
  107. The fringe region technique and the Fourier method used in the direct numerical simulation of spatially evolving viscous flows. Jan Nordström, Niklas Nordin och Dan Henningson. I SIAM Journal on Scientific Computing, volym 20, pp 1365-1393, 1999. (DOI).
  108. The Evolution of Process Graphics.. Else Nygren. I People in Control. An international conference on Human Interfaces in Control Rooms, Cockpits and Command Centres, 21-23 June 1999. University of Bath, UK., 1999.
  109. A Corporate Style Guide that Includes Domain Knowledge. Eva Olsson och Jan Gulliksen. I International Journal of Human-Computer Interaction, volym 11, nummer 4, pp 317-338, 1999.
  110. A Corporate Style Guide that Includes Domain Knowledge. Eva Olsson och Jan Gulliksen. I International Journal of Human-Computer Interaction, volym 11, nummer 4, pp 317-338, 1999. (Extern länk).
  111. Accessing Finite Element Results Through an Extensible Query Language. K. Orsborn. I Proc. 7th Intl. Conf. on Civil and Structural Engineering (CC99), 1999. (Extern länk).
  112. A unifying framework for preconditioners based on fast transforms. Kurt Otto. Scientific Report nr 187, Dept. of Scientific Computing, Uppsala University, 1999. (Extern länk).
  113. Iterative solution of the Helmholtz equation by a fourth-order method. Kurt Otto. I suppl, volym 40:1 av Bollettino di Geofisica Teorica ed Applicata, pp 104-105, OGS, Trieste, Italy, 1999.
  114. Iterative solution of the Helmholtz equation by a second-order method. Kurt Otto och Elisabeth Larsson. I SIAM Journal on Matrix Analysis and Applications, volym 21, pp 209-229, 1999. (DOI).
  115. Mapping pathological rCBF in Alzheimer disease and Frontal Lobe Dementia using a standardised brain atlas. M. Pagani, H. Jacobsson, D. Salmaso, C. Ramström, C. Jonsson, PO Schnell, Lennart Thurfjell, Roger Lundqvist, A. Wägner och SA Larsson. I European association nuclear medicine congress, Barcelona 9th-13th October 1999, SPRINGER VERLAG, 1999.
  116. Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice. Paul Pettersson. Doktorsavhandling, DoCS nr 101, Department of Computer Systems, Uppsala University, 1999.
  117. Monitoring Complex Rule Conditions. Tore Risch och Martin Sköld. I Active Rules in Database Systems, Springer-Verlag, 1999. (Extern länk).
  118. On the cancellation problem in calculating compressible low Mach number flows. Jörn Sesterhenn, Bernhard Müller och Hans Thomann. I Journal of Computational Physics, volym 151, pp 597-615, 1999. (DOI).
  119. Analysing Multimedia Traffic in Real-Time ATM Networks. Sjödin, Mikael, Hansson, Hans. I Real-Time Technology and Applications Symposium; RTAS'99, 1999. (Extern länk).
  120. Subspace-Based Parameter Estimation Problems in Signal Processing. Joakim Sorelius. Doktorsavhandling, , Department of Information Technology, Uppsala University, 1999.
  121. Subspace-based parameter estimation of symmetric noncausal autoregressive signals from noisy measurements. P. Stoica och J. Sorelius. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 47, nummer 2, pp 321-331, 1999.
  122. Dominant pattern extraction from 3-D kinematic data. V. Stokes, H. Lanshammar och A. Thorstensson. I IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, volym 46, nummer 1, pp 100-106, 1999.
  123. Simulations of acoustic wave phenomena using high-order finite difference approximations. Bo Strand. I SIAM Journal on Scientific Computing, volym 20, pp 1585-1604, 1999. (DOI).
  124. Fully Reversible Skeletonization for Volume Images Based on Anchor-Points from the D26 Distance Transform. Stina Svensson, Ingela Nyström och Gunilla Borgefors. I Proceedings of SCIA'99, pp 601-608, Pattern Recognition Society of Denmark, Lyngby, 1999.
  125. On reversible skeletonization using anchor-points from distance transforms. Stina Svensson, Gunilla Borgefors och Ingela Nyström. I Journal of Visual Communication and Image Representation, volym 10, nummer 4, pp 379-397, ACADEMIC PRESS INC, 1999. (DOI).
  126. Comments on "On a least-squares-based algorithm for identification of stochastic linear systems". T. Söderström, WX Zheng och P. Stoica. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 47, nummer 5, pp 1395-1396, 1999.
  127. Comments on 'Identification of closed-loop systems via least-squares method'. T. Söderström. I International Journal of Adaptive Control and Signal Processing, volym 13, nummer 1, pp 37-41, 1999.
  128. Feedforward, correlated disturbances and identification. T. Söderström. I Automatica, volym 35, nummer 9, pp 1565-1571, 1999.
  129. On the Cramer-Rao lower bound for estimating continuous-time autoregressive parameters. T. Söderström. I Proc 14th IFAC World Congress, 1999.
  130. Parameter Estimation for Diffusion Models. Torsten Söderström och Susanne Halvarsson. IT Technical Report nr 1999-003, Dept. of Information Technology, Uppsala University, 1999. (Extern länk, fulltext).
  131. Perturbation Results for Singular Values. Torsten Söderström. Department of Information Technology nr 1999-001, 1999. (fulltext).
  132. Fusion of Multimodality Brain Images. Lennart Thurfjell, G. Lindahl och Roger Lundqvist. I Proceedings of SCIA'99, pp 359-366, Pattern Recognition Society of Denmark, Lyngby, 1999.
  133. Using an Extensible Object-Oriented Query Language in a Multibody System Analysis. Tisell, C., Orsborn,K.. I Proc. 7th Intl. Conf. on Civil and Structural Engineering (CC99), 1999. (Extern länk).
  134. A self-deploying election service for active networks. CF Tschudin. I COORDINATION LANGUAGES AND MODELS, volym 1594, pp 183-195, SPRINGER-VERLAG BERLIN, 1999.
  135. An Active Networks Overlay Network (ANON). Christian Tschudin. I Proceedings of the First International Working Conference on Active Networks (IWAN 99), 1999.
  136. Secure Internet Programming. Christian Tschudin. I Apoptosis - the Programmed Death of Distributed Services, pp 253-260, Springer LNCS, 1999. (Extern länk).
  137. Modular termination proofs for Prolog with tabling. Sofie Verbaeten, Konstantinos Sagonas och Danny De Schreye. I Principles and Practice of Declarative Programming, pp 342-359, 1999. (DOI).
  138. Proceedings of the 11th Nordic Workshop on Programming Theory. Björn Victor och Wang Yi (red). IT Technical Reports, Dept. of Information Technology, Uppsala university, 1999. (Extern länk).
  139. Filter bank methods for hyperbolic PDEs. Johan Waldén. I SIAM Journal on Numerical Analysis, volym 36, pp 1183-1233, 1999. (DOI).
  140. Filter banks, ?-cycles and hyperbolic PDE. Johan Waldén. I Numerical Treatment of Multiscale Problems, volym 70 av Notes Numer. Fluid Mech., pp 168-179, Vieweg, Braunschweig, Germany, 1999.
  141. On the approximation of singular source terms in differential equations. Johan Waldén. I Numerical Methods for Partial Differential Equations, volym 15, pp 503-520, 1999. (DOI).
  142. A 3D Deformable Surface Model to Segment the Brain in MR Images. Felix Wehrmann, Ewert Bengtsson och Lennart Thurfjell. I Proceedings of SCIA'99, pp 289-294, Pattern Recognition Society of Denmark, Lyngby, 1999.
  143. Automatic quantification of microvessel density in urinary bladder carcinoma. Kenneth Wester, Petter Ranefall, Ewert Bengtsson, Christer Busch och Per-Uno Malmström. I British Journal of Cancer, volym 81, nummer 8, pp 1363-1370, CHURCHILL LIVINGSTONE, 1999. (DOI).
  144. Compensation of the RLS algorithm for output nonlinearities. Torbjörn Wigren och Anders E. Nordsjö. I IEEE Transactions on Automatic Control, volym 44, nummer 10, pp 1913-1918, 1999. (DOI).
  145. Algorithms for cytoplasm segmentation of fluorescence labeled cells grown in micro-fabricated structures. Carolina Wählby (nee Linnman), Joakim Lindblad, Mikael Vondrus, Ewert Bengtsson och Lennart Björkesten. I Amersham Pharmacia Biotech Uppsala R&D day, December 2, 1999., 1999.
  146. Detection of fluorescent foci and evaluation of spatial relationships in 3D-fluorescence microscopy images of mammalian cells. Carolina Wählby (nee Linnman), Ewert Bengtsson, Susanna Ekholm-Jensen och Anders Zetterberg,. I Analytical Cellular Pathology, Proceedings of 6th ESACP Congress in Heidelberg, April 7-11: Also in proceedings, SSAB Symposium on Image Analysis, March 9-10, 1999, Gothenburg, p. 57-60., pp 36-37, 1999.
  147. he HomeBots System and Field Tests: A Multi-Commodity Market for Predictive Load Management. Fredrik Ygge, Hans Akkermans, Arne Andersson, Marko Krejic och Erik Bortjes. I Fourth International Conference and Exhibiti on on The Practical Application of Intelligent Agents and Multi-Agents (PAAM99), 1999.
  148. An Object-Oriented Framework for PDE Solvers. Krister Åhlander. Doktorsavhandling, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 423, Acta Universitatis Upsaliensis, Uppsala, 1999.
  149. Quantifying human balance: Analysis of force plate data. Annica Önell. Doktorsavhandling, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 494, Acta Universitatis Upsaliensis, Uppsala, 1999.
  150. Analysis of Imaging Spectrometer Data with Lake Environment Applications. Catherine Östlund. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 17, Acta Universitatis Upsaliensis, Uppsala, 1999.

Uppdaterad  2009-12-17 17:02:56 av Björn Victor.