Department of Information Technology

Publications 2007

  1. Decisive Markov Chains. Parosh Abdulla, Noomene Ben Henda, and Richard Mayr. In Logical Methods in Computer Science, volume 3, number 4, pp 1-32, 2007. (DOI).
  2. Parameterized Verification of Infinite-state Processes with Global Conditions. Parosh Abdulla, Giorgio Delzanno, and Ahmed Rezine. In Computer Aided Verification, Proceedings, volume 4590 of Lecture Notes in Computer Science, pp 145-157, 2007.
  3. Zone-Based Universality Analysis for Single-Clock Timed Automata. Parosh Abdulla, Joel Ouaknine, Karin Quaas, and James Worrell. In International Symposium on Fundamentals of Software Engineering, Proceedings, volume 4767 of Lecture Notes in Computer Science, pp 98-112, 2007.
  4. Bisimulation minimization of tree automata. Parosh Aziz Abdulla, Johanna Högberg, and Lisa Kaati. In International Journal of Foundations of Computer Science, volume 18, number 4, pp 699-713, 2007. (DOI).
  5. Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness. Parosh Aziz Abdulla, Pritha Mahata, and Richard Mayr. In Logical Methods in Computer Science, volume 3, number 1, pp 1-61, 2007. (DOI).
  6. Regular Model Checking without Transducers. Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, and Ahmed Rezine. In TACAS'07, The 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2007. (External link).
  7. Sampled universality of timed automata. Parosh Aziz Abdulla, Pavel Krcal, and Wang Yi. In Foundations of Software Science and Computational Structures, Proceedings, volume 4423 of Lecture Notes in Computer Science, pp 2-16, 2007. (DOI).
  8. Using Forward Reachability Analysis for Verification of Timed Petri Nets. Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, and Aletta Nylén. In Nordic Journal of Computing, volume 14, number 1, pp 1-42, 2007.
  9. Enhanced covariance matrix estimators in adaptive beamforming. Richard Abrahamsson, Yngve Selén, and Peter Stoica. In 2007 IEEE International Conference on Acoustics, Speech, and Signal Processing, Vol II, Pts 1-3, volume 2 of International Conference on Acoustics Speech and Signal Processing (ICASSP), pp 969-972, 2007.
  10. Estimation of the parameters of a bilinear model with applications to submarine detection and system identification. Richard Abrahamsson, Steven M. Kay, and Peter Stoica. In Digital signal processing (Print), volume 17, number 4, pp 756-773, 2007. (DOI).
  11. ARPD: Asynchronous random key predistribution in the LEAP framework for Wireless Sensor Networks. Andreas Achtzehn, Christian Rohner, and Ioana Rodhe. In 3rd IEEE International Workshop on Wireless and Sensor Networks Security (IEEE WSNS 2007), 2007. (External link).
  12. Filtering and restoration of structures in 3D ultrasound images. Oscar Acosta, Hans Frimmel, Aaron Fenster, and Sébastien Ourselin. In Proc. 4th International Symposium on Biomedical Imaging, pp 888-891, IEEE, Piscataway, NJ, 2007. (DOI).
  13. What is the word for "Engineering" in Swedish: Swedish students' conceptions of their discipline. Robin Adams, Sally Fincher, Arnold Pears, Jürgen Börstler, Jonas Boustedt, Peter Dalenius, Gunilla Eken, Tim Heyer, Andreas Jacobsson, Vanja Lindberg, Bengt Molin, Jan Erik Moström, and Mattias Wiggberg. Technical report / Department of Information Technology, Uppsala University nr 2007-018, 2007. (External link).
  14. Image Based Measurements of Single Cell mtDNA Mutation Load. Amin Allalou, Frans M. van de Rijke, Roos Jahangir Tafrechi, Anton K. Raap, and Carolina Wählby. In Image Analysis, Proceedings, volume 4522 of Lecture notes in computer science, pp 631-640, 2007. (DOI).
  15. Image based measurements of single cell mtDNA mutation load MTD 2007. Amin Allalou, Frans van de Rijke, Roos Jahangir Tafrechi, Anton Raap, and Carolina Wählby. In Medicinteknikdagarna 2007, 2007.
  16. Segmentation of Cytoplasms of Cultured Cells. Amin Allalou, Carolina Wählby, Frans van de Rijke, Roos Jahangir Tafrechi, and Anton Raap. In In Proceedings SSBA 2007, Symposium on image analysis, Linköping, 2007.
  17. Dynamic Ordered Sets with Exponential Search Trees. Arne Andersson and Mikkel Thorup. In Journal of the ACM, volume 54, number 3, p 1236460, 2007. (DOI).
  18. Application of a perfectly matched layer to the nonlinear wave equation. Daniel Appelö and Gunilla Kreiss. In Wave motion, volume 44, pp 531-548, 2007. (DOI).
  19. Tuneable Peak Deformations in Chiral Liquid Chromatography. Robert Arnell, Patrik Forssén, and Torgny Fornstedt. In Analytical Chemistry, volume 79, pp 5838-5847, 2007. (DOI).
  20. The Complexity of Model Checking Higher-order Fixpoint Logic. Roland Axelson, Martin Lange, and Rafal Somla. In Logical Methods in Computer Science, volume 3, number 2:7, pp 1-33, 2007. (DOI).
  21. 2D Ring Artifact Reduction of X-ray Tomography Images. Maria Axelsson, Stina Svensson, and Gunilla Borgefors. In Proceedings SSBA 2007: Symposium on Image Analysis, Linköping, March 14-15, 2007.
  22. 3D Tracking of Cellulose Fibres in Volume Images. Maria Axelsson. In IEEE International Conference on Image Processing, 2007. ICIP 2007., pp IV-309, 2007. (DOI, External link).
  23. A black-box generalized conjugate gradient minimum residual method based on variable preconditioners and local element approximations. Owe Axelsson, Radim Blaheta, and Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2007-033, 2007. (External link).
  24. Double Sobolev gradient preconditioning for nonlinear elliptic problems. Owe Axelsson and János Karátson. In Numerical Methods for Partial Differential Equations, volume 23, pp 1018-1036, 2007. (DOI).
  25. Mesh independent superlinear PCG rates via compact-equivalent operators. Owe Axelsson and János Karátson. In SIAM Journal on Numerical Analysis, volume 45, pp 1495-1516, 2007. (DOI).
  26. Symmetric part preconditioning of the CG method for Stokes type saddle-point systems. Owe Axelsson and János Karátson. In Numerical Functional Analysis and Optimization, volume 28, pp 1027-1049, 2007. (DOI).
  27. Comparison of histomorphometrical data obtained with two different image analysis methods. Lucia Ballerini, Victoria Franke-Stenport, Gunilla Borgefors, and Carina B. Johansson. In Journal of materials science. Materials in medicine, volume 18, number 8, pp 1471-1479, 2007. (DOI).
  28. ExPLoIT: Exploiting Past Location Information and Transitivity for positioning in mobile sensor networks. Christophe Baraër, Kaustubh Phanse, Johan Nykvist, and Luka Birsa. In SECOND IEEE/Create-Net/ICST International Conference on COMmunication System softWAre and MiddlewaRE, 2007. (External link).
  29. A completeness proof for bisimulation in the pi-calculus using Isabelle. Jesper Bengtson and Joachim Parrow. In Electronical Notes in Theoretical Computer Science, volume 192, number 1, pp 61-75, 2007. (DOI, External link).
  30. Formalising the pi-calculus using nominal logic. Jesper Bengtson and Joachim Parrow. In FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, volume 4423 of LECTURE NOTES IN COMPUTER SCIENCE, pp 63-77, 2007. (External link).
  31. Analysis of 3D images of molecules, cells, tissues and organs. Ewert Bengtsson. In Medicinteknikdagarna 2007, p 1, 2007.
  32. The biotech industry in the Uppsala region - result of academic research and private entrepreneurship. Ewert Bengtsson. In Global Human Resources Forum 2007, 2007.
  33. A doctoral course in research methods in computing education research: How should we teach it?. Anders Berglund, Päivi Kinnunen, and Lauri Malmi. In Proc. 7th Baltic Sea Conference on Computing Education Research: Koli Calling, pp 175-178, 2007. (External link).
  34. Debating the OO debate: Where is the problem?. Anders Berglund and Raymond Lister. In Proc. 7th Baltic Sea Conference on Computing Education Research: Koli Calling, pp 171-174, 2007. (External link).
  35. Do we teach well? Insights from Engineering Education Research: Keynote talk at the ReflekTori 2007. Anders Berglund. Helsinki University of Technology, TKK, Helsinki, Finland, 2007. (External link).
  36. How do students understand computer network protocols?. Anders Berglund and Raymond Lister. In proceedings of the 20th Annual Conference of the National Advisory Committee on Computing Qualifications (NACCQ), pp 15-29, 2007. (External link).
  37. Learning computer systems in a project course: Aims and approaches: Keynote speech at First Australasian Workshop on Applications of Phenomenography in Engineering, Computing and Science Education. Anders Berglund. University Technology, Sydney, Australia, 2007.
  38. Phenomenography: A way to study learning from the students' perspective.: Keynote presentation at Researching Phenomena: Three methodologies, three perspectives. Anders Berglund. Auckland University of Technology, Auckland, New Zeeland, 2007.
  39. Proc. 6th Baltic Sea Conference on Computing Education Research: Koli Calling. Anders Berglund and Mattias Wiggberg (eds). Volume 2007-006 of Technical report / Department of Information Technology, Uppsala University, 2007. (External link).
  40. Why I used phenomenography in "Students learn CS in different ways: Insights from an empirical study". Anders Berglund. In In Annals of Research in Engineering Education, volume 3, number 2, 2007.
  41. Testbed and Methodology for Experimental Evaluation of Opportunistic Networks. Fredrik Bjurefors, Kaustubh Phanse, Oskar Wibling, and Christian Rohner. In 7th Scandinavian Workshop on Wireless Ad-hoc Networks (ADHOC'07), 2007.
  42. A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games. Henrik Björklund and Sergei Vorobyov. In Discrete Applied Mathematics, volume 155, number 2, pp 210-229, 2007. (DOI).
  43. Schwarz methods for discrete elliptic and parabolic problems with an application to nuclear waste repository modelling. Radim Blaheta, Roman Kohut, Maya Neytcheva, and Jirí Starý. In Mathematics and Computers in Simulation, volume 76, pp 18-27, 2007. (DOI).
  44. Resolving the geometry of biomolecules imaged by cryo electron tomography. Lorenzo Bongini, Duccio Fanelli, Stina Svensson, Magnus Gedda, and Francesco Piazza. In Journal of Microscopy, volume 228, number 2, pp 174-184, 2007. (DOI).
  45. Hemmafrun som lyckades. Gunilla Borgefors. In Nämnaren, volume 34, number 1, pp 18-20, 2007.
  46. Timed calculus of cryptographic communication. Johannes Borgström, Olga Grinchtein, and Simon Kramer. In Formal Aspects in Security and Trust, volume 4691 of Lecture Notes in Computer Science, pp 16-30, Springer-Verlag, Berlin, 2007. (DOI).
  47. Students working with a large software system: Experiences and understandings. Jonas Boustedt. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2007-002, Uppsala University, 2007. (fulltext).
  48. Threshold Concepts in Computer Science: Do they exist and are they useful?. Jonas Boustedt, Anna Eckerdal, Robert McCartney, Jan Erik Moström, Mark Ratcliffe, Kate Sanders, and Carol Zander. In SIGCSE Bulletin inroads, volume 39, number 1, pp 504-508, 2007. (DOI).
  49. Classifying individual tree species under leaf-off and leaf-on conditions using airborne lidar. Tomas Brandtberg. In ISPRS journal of photogrammetry and remote sensing (Print), volume 61, number 5, pp 325-340, 2007. (DOI).
  50. Discrete fundamental solution preconditioning for hyperbolic systems of PDE. Henrik Brandén, Sverker Holmgren, and Per Sundqvist. In Journal of Scientific Computing, volume 30, pp 35-60, 2007. (DOI).
  51. Convergence Analysis of a Recursive Identification Algorithm for Nonlinear ODE Models with a Restricted Black-box Parameterization. Linda Brus. In 46th IEEE Conference on Decision and Control Proceedings, 2007.
  52. Finite element block-factorized preconditioners. Erik Bängtsson and Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2007-008, 2007. (External link).
  53. Robust Preconditioners Based on the Finite Element Framework. Erik Bängtsson. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 296, Acta Universitatis Upsaliensis, Uppsala, 2007. (fulltext).
  54. Automation and E-government Services: A Widened Perspective. Åsa Cajander and Elina Eriksson. In The 1st International Workshop on Design & Evaluation of e-Government Applications and Services: DEGAS, 2007. (External link).
  55. Evaluating Procurement, Usability and Off-the-Shelf Office Software. Åsa Cajander, Elina Eriksson, and Jan Gulliksen. In COST294-MAUSE Workshop - Downstream Utility: The Good, the Bad, and the Utterly Useless, pp 22-29, 2007.
  56. Usability and User’s Health Issues in Systems Development - Attitudes and Perspectives. Åsa Cajander, Inger Boivie, and Jan Gulliksen. In Maturing Usability: Quality in Software, Interaction, and Value, Springer Verlag, 2007.
  57. A Flexible Model for Tree-Structured Multi-Commodity Markets. Per Carlsson and Arne Andersson. In Electronic Commerce Research, volume 7, number 1, pp 69-88, 2007. (DOI).
  58. The Multi-Pitch Estimation Problem: Some New Solutions. Mads Christensen, Peter Stoica, Andreas Jakobsson, and Søren Holdt Jensen. In International Conference on Acoustics, Speech, and Signal Processing: April 15-20, 2007, Honolulu, Hawaii, USA, 2007. (To appear.)
  59. Balancing Scaffolding and Complexity in Open Ended Group Projects (OEGPs): A Learning Theory View. Mats Daniels and Amie Hauer. In IEEE Frontiers in Education conference, pp F2G1-F2G2, 2007. (External link).
  60. Ill-structured Problem Solving in Engineering Education. Mats Daniels, Angela Carbone, Amie Hauer, and Dan Moore. In IEEE Frontiers in Education conference, pp F3F1-F3F2, 2007. (External link).
  61. Ill-structured problem solving: Invited panel. Mats Daniels, Angela Carbone, Tony Clear, and Michael de Raadt. In Australasian Computer Education Conference (ACE), 2007. (External link).
  62. Signal power estimation via vector and matrix approaches.. Lin Du, Jian Li, and Peter Stoica. In 41st ASILOMAR Conference on Signals, Systems and Computers., 2007.
  63. From Limen to Lumen: Computing students in liminal spaces. Anna Eckerdal, Robert McCartney, Jan Erik Moström, Kate Sanders, Lynda Thomas, and Carol Zander. In Proc. 3rd International Computing Education Research Workshop, pp 123-132, ACM Press, New York, 2007. (DOI).
  64. Mobile phones and virtuous cycles: in search of empirical evidence. Mats Edenius and Erik Borälv. In Beyond mobility, volume 2007 of EFI yearbook, Studentlitteratur, Lund, 2007.
  65. Mobile phones, managers and new configuration of time and space. Mats Edenius and Hans Rämö. In Work With Computing Systems, WWCS, Stockholm 2007, 2007. (External link).
  66. Parameter estimation of continuous-time bilinear systems based on numerical integration and separable non-linear least-squares. Mats Ekman and Erik Larsson. In International Journal of Control, volume 80, number 3, pp 329-339, 2007. (DOI).
  67. Correlation between clinical assessment and force plate measurement of postural control after stroke. Gunilla Elmgren Frykberg, Birgitta Lindmark, Håkan Lanshammar, and Jörgen Borg. In Journal of Rehabilitation Medicine, volume 39, number 6, pp 448-453, 2007. (DOI, fulltext:print).
  68. Seamless Formal Verification of Complex Event Processing Applications. AnneMarie Ericsson, Paul Pettersson, Mikael Berndtsson, and Marco Seiriö. In Proceedings of the 6th Inaugural International Conference on Distributed Event-Based Systems, 2007.
  69. Sensemaking and Knowledge Building in System Development. Elina Eriksson. In Human-Computer Interaction - INTERACT 2007, Pt 2, Proceedings, volume 4663 of Lecture Notes in Computer Science, pp 571-572, 2007.
  70. The GTO Toolset and Method. Lars-Henrik Eriksson. In Electronical Notes in Theoretical Computer Science, volume 185, pp 77-91, 2007. (DOI).
  71. Simulations of Ground Effects on Wake Vortices at Runways. Sofia Eriksson, Magnus Svärd, and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2007-019, 2007. (External link).
  72. Collegial verbalisation: a case study on a new method on information acquisition. Mikael Erlandsson and Anders Jansson. In Behaviour & Information Technology, volume 26, number 6, pp 535-543, 2007. (DOI).
  73. Cavity Shape Dynamical Modelling and Estimation in a Water Model of the Steel Converter Process. Magnus Evestedt and Alexander Medvedev. In Journal of the Japanese Society for Experimental Mechanics, volume 7, pp s93-s98, 2007.
  74. Parameter and State Estimation with Information-rich Signals. Magnus Evestedt. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 368, Acta Universitatis Upsaliensis, Uppsala, 2007. (fulltext, cover).
  75. Leveraging a power save protocol to improve performance in ad hoc networks. Laura Marie Feeney, Christian Rohner, and Bengt Ahlgren. In ACM SIGMOBILE Mobile Computing and Communications Review, volume 11, number 2, pp 51-52, 2007. (DOI).
  76. Multi-rate relaying for performance improvement in IEEE 802.11 WLANs. Laura Marie Feeney, Bilge Cetin, Daniel Hollos, Martin Kubisch, Seble Mengesha, and Holger Karl. In , 2007.
  77. The impact of wakeup schedule distribution in asynchronous power save protocols on the performance of multihop wireless networks. Laura Marie Feeney, Christian Rohner, and Bengt Ahlgren. In IEEE Wireless Communications and Networking Conference: WCNC 2007, 2007.
  78. A hierarchy of approximations of the master equation scaled by a size parameter. Lars Ferm, Per Lötstedt, and Andreas Hellander. Technical report / Department of Information Technology, Uppsala University nr 2007-011, 2007. (External link).
  79. Adaptive solution of the master equation in low dimensions. Lars Ferm and Per Lötstedt. Technical report / Department of Information Technology, Uppsala University nr 2007-023, 2007. (External link).
  80. Numerical method for coupling the macro and meso scales in stochastic chemical kinetics. Lars Ferm and Per Lötstedt. In BIT Numerical Mathematics, volume 47, pp 735-762, 2007. (DOI).
  81. Task automata: Schedulability, decidability and undecidability. Elena Fersman, Pavel Krcal, Paul Pettersson, and Wang Yi. In Information and Computation, volume 205, number 8, pp 1149-1172, 2007. (DOI).
  82. Air-Traffic Complexity Resolution in Multi-Sector Planning. Pierre Flener, Justin Pearson, Magnus Ågren, Carlos Garcia Avello, and Mete Celiktin. Technical reports from the Department of Information Technology nr 2007-003, 2007. (External link).
  83. Air-traffic complexity resolution in multi-sector planning. Pierre Flener, Justin Pearson, Magnus Ågren, Carlos Garcia Avello, Mete Çeliktin, and Søren Dissing. In Journal of Air Transport Management, volume 13, number 6, pp 323-328, 2007. (DOI).
  84. Air-traffic complexity resolution in multi-sector planning using constraint programming. Pierre Flener, Justin Pearson, Magnus Ågren, Carlos Garcia Avello, Mete Celiktin, and Søren Dissing. In Proceedings of ATM'07, the 7th USA/Europe R&D Seminar on Air Traffic Management, 2007. (External link).
  85. Design of financial CDO squared transactions using constraint programming. Pierre Flener, Justin Pearson, Luis G. Reyna, and Olof Sivertsson. In Constraints, volume 12, number 2, pp 179-205, 2007. (DOI).
  86. Efficient structural symmetry breaking for constraint satisfaction problems. Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, and Magnus Ågren. In International Symmetry Conference, 2007. (External link).
  87. Structural symmetry breaking for constraint satisfaction problems. Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, and Magnus Ågren. Technical reports from the Department of Information Technology nr 2007-032, 2007. (External link).
  88. Cost-based Optimization of Complex Scientific Queries. Ruslan Fomkin and Tore Risch. In 19th International Conference on Scientific and Statistical Database Management (SSDBM 2007), 2007. (External link).
  89. Weighted distance transforms generalized to modules and their computation on point lattices. Céline Fouard, Robin Strand, and Gunilla Borgefors. In Pattern Recognition, volume 40, number 9, pp 2453-2474, 2007. (DOI).
  90. Reduction of attenuation effects in 3D transrectal ultrasound images. Hans Frimmel, Oscar Acosta, Aaron Fenster, and Sébastien Ourselin. In Medical Imaging 2007: Ultrasonic Imaging and Signal Processing, volume 6513 of Proc. SPIE, pp 65130Z:1-8, Bellingham, WA, 2007. (DOI).
  91. X-ray Microtomography of Wood-Based Materials: Pulp-Fibre Reinforced Thermoplastics and Polythylen Glycol-Impregnated Oak. E. Kristofer Gamstedt, Karin M. Almgren, Bettina Selig, Ingela Bjurhager, Stina Svensson, and Per Nygård. HASYLAB Annual report, 2007. (fulltext).
  92. Quantification and Localization of Colocalization. Milan Gavrilovic and Carolina Wählby. In Proceedings SSBA 2007: Symposium on Image Analysis, Linköping, March 14-15, pp 93-96, Linköping University, Linköping, 2007. (fulltext).
  93. Flexibility Description of the MET Protein Stalk Based on the Use of Non-Uniform B-Splines. Magnus Gedda and Stina Svensson. In 12th International Conference on Computer Analysis of Images and Patterns, pp 173-180, 2007. (DOI, External link).
  94. Groupoids and conditional symmetry. Ian P. Gent, Tom Kelsey, Steve Linton, Justin Pearson, and Colva Roney-Dougal. In Principles and Practice of Constraint Programming – CP 2007, pp 823-830, 2007. (DOI).
  95. A Hybrid Method for the Unsteady Compressible Navier-Stokes Equations. Jing Gong, Jan Nordström, and Edwin van der Weide. Technical report / Department of Information Technology, Uppsala University nr 2007-029, 2007. (External link).
  96. A Stable and Efficient Hybrid Scheme for Viscous Problems in Complex Geometries. Jing Gong and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2007-002, 2007. (External link).
  97. A stable and efficient hybrid scheme for viscous problems in complex geometries. Jing Gong and Jan Nordström. In Journal of Computational Physics, volume 226, pp 1291-1309, 2007. (DOI).
  98. Hybrid Methods for Unsteady Fluid Flow Problems in Complex Geometries. Jing Gong. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 374, Acta Universitatis Upsaliensis, Uppsala, 2007. (fulltext).
  99. Variational multiscale methods for large eddy simulation of turbulent flows: Fourier analysis and application to diffuser flow. Volker Gravemeier, Martin Kronbichler, and Wolfgang A. Wall. In Proc. 5th International Symposium on Turbulence and Shear Flow Phenomena, pp 461-466, TU München, Garching, Germany, 2007.
  100. Efficient Algorithms for Computing the Capon and APES Filters. Erik Gudmundson and Andreas Jakobsson. In CONFERENCE RECORD OF THE FORTY-FIRST ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS & COMPUTERS, VOLS 1-5, pp 427-430, 2007.
  101. WISENET Wireless Sensor Networks VINN Excellence Center. Per Gunningberg, Roland Grönroos, Ilia Katardjiev, Thiemo Voigt, Anders Ahlén, Klas Hjort, and Anders Rydberg. 2007. (External link).
  102. Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang. Per Gustafsson and Konstantinos Sagonas. In Practical Aspects of Declarative Languages: PADL 2007, volume 4354 of Lecture Notes in Computer Science, pp 94-108, 2007. (DOI).
  103. Interaction analysis and control of bioreactors for nitrogen removal. Björn Halvarsson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2007-006, Uppsala University, 2007. (fulltext).
  104. Towards time-stable and accurate LES on unstructured grids. Frank Ham, Ken Mattsson, Gianluca Iaccarino, and Parviz Moin. In Complex Effects in Large Eddy Simulations, volume 56 of Lecture Notes in Computational Science and Engineering, pp 235-249, Springer-Verlag, Berlin, 2007. (DOI).
  105. Designing Work and IT Systems: A Participatory Process that Supports Usability and Sustainability. Niklas Hardenborg. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 376, Acta Universitatis Upsaliensis, Uppsala, 2007. (fulltext, cover).
  106. Performing the Vision Seminar Process. Niklas Hardenborg, Iordanis Kavathatzopoulos, and Bengt Sandblad. Technical report / Department of Information Technology, Uppsala University nr 2007-031, 2007. (External link).
  107. Metalib and Google Scholar: A user study. Glenn Haya, Else Nygren, and Wilhelm Widmark. In Online information review (Print), volume 31, number 3, pp 365-375, 2007. (DOI).
  108. Metalib and Google Scholar from the students' perspective. Glenn Haya and Else Nygren. In Nord I&D 2007 “The Human side of IT”: The 13th Nordic Conference on Information and Documentation Stockholm University, Aula Magna, 18-19 June 2007, 2007.
  109. Efficient computation of transient solutions of the chemical master equation based on uniformization and Quasi-Monte Carlo. Andreas Hellander. Technical report / Department of Information Technology, Uppsala University nr 2007-027, 2007. (External link).
  110. Hybrid method for the chemical master equation. Andreas Hellander and Per Lötstedt. In Journal of Computational Physics, volume 227, pp 100-122, 2007. (DOI).
  111. A Global Algorithm for Model-Based Test Suite Generation. Anders Hessel and Paul Pettersson. In Proc. 3rd Workshop on Model Based Testing: MBT 2007, volume 190:2 of Electronic Notes in Theoretical Computer Science, pp 47-59, Elsevier, 2007. (DOI).
  112. Cover - A Real-Time Test Case Generation Tool. Anders Hessel and Paul Pettersson. In 19th IFIP International Conference on Testing of Communicating Systems and 7th International Workshop on Formal Approaches to Testing of Software, 2007.
  113. Model-Based Test Case Generation for Real-Time Systems. Anders Hessel. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 301, Acta Universitatis Upsaliensis, Uppsala, 2007. (fulltext, cover).
  114. Model-based Testing of a WAP Gateway: An Industrial Case-Study. Anders Hessel and Paul Pettersson. In Formal Methods: Applications and Technology, volume 4346 of LECTURE NOTES IN COMPUTER SCIENCE, pp 116-131, 2007.
  115. Testing Real-time systems using UPPAAL. Anders Hessel, Kim G. Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, and Arne Skou. In Formal Methods and Testing, Springer-Verlag, 2007.
  116. A simplified form of the bias-eliminating least squares method for errors-in-variables identification. Mei Hong, Torsten Söderström, and Wei Xing Zheng. In IEEE Transactions on Automatic Control, volume 52, number 9, pp 1754-1756, 2007. (DOI).
  117. Accuracy analysis of bias-eliminating least squares estimates for errors-in-variables systems. Mei Hong, Torsten Söderström, and Wei Xing Zheng. In Automatica, volume 43, number 9, pp 1590-1596, 2007. (DOI).
  118. Partial Order Reduction for Verification of Real-Time Components. John Håkansson and Paul Pettersson. In Formal Modeling and Analysis of Timed Systems, volume 4763 of Lecture Notes in Computer Science, pp 211-226, 2007.
  119. The spatial distribution of nuclei in single skeletal muscle cells as visualised by 3-D images:: the differences in organisation between species and between healthy cells and cells affected by disease. Anna-Stina Höglund, Jingxia Liu, Patrick Karlsson, Joakim Lindblad, Gunilla Borgefors, Ewert Bengtsson, and Lars Larsson. In Biophysical Journal: 637A-637A Suppl. S, 2007.
  120. Single-cell A3243G mitochondrial DNA mutation load assays for segregation analysis. Roshan S. Jahangir Tafrechi, Frans M. van de Rijke, Amin Allalou, Chatarina Larsson, Willem C. R. Sloos, Marchien van de Sande, Carolina Wählby, George M. C. Janssen, and Anton K. Raap. In Journal of Histochemistry and Cytochemistry, volume 55, number 11, pp 1159-1166, 2007. (DOI).
  121. Mesh deformation using radial basis functions for gradient-based aerodynamic shape optimization. Stefan Jakobsson and Olivier Amoignon. In Computers & Fluids, volume 36, pp 1119-1136, 2007. (DOI).
  122. In situ detection of phosphorylated platelet-derived growth factor receptor beta using a generalized proximity ligation method. Malin Jarvius, Janna Paulsson, Irene Weibrecht, Karl-Johan Leuchowius, Ann-Catrin Andersson, Carolina Wählby, Mats Gullberg, Johan Botling, Tobias Sjöblom, Boyka Markova, Arne Östman, Ulf Landegren, and Ola Söderberg. In Molecular & Cellular Proteomics, volume 6, number 9, pp 1500-1509, 2007. (DOI).
  123. Grid-enabling an efficient algorithm for demanding global optimization problems in genetic analysis. Mahen Jayawardena and Sverker Holmgren. In Proc. 3rd International Conference on e-Science and Grid Computing, pp 205-212, IEEE Computer Society, Los Alamitos, CA, 2007. (DOI).
  124. Parallel algorithms and implementations for genetic analysis of quantitative traits. Mahen Jayawardena. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2007-005, Uppsala University, 2007. (fulltext).
  125. Using parallel computing and grid systems for genetic mapping of quantitative traits. Mahen Jayawardena, Kajsa Ljungberg, and Sverker Holmgren. In Applied Parallel Computing: State of the Art in Scientific Computing, volume 4699 of Lecture Notes in Computer Science, pp 627-636, Springer-Verlag, Berlin, 2007. (DOI).
  126. A language for specifying type contracts in Erlang and its interaction with success typings. Miguel Jiménez, Tobias Lindahl, and Konstantinos Sagonas. In Proc. 6th ACM SIGPLAN Workshop on ERLANG, pp 11-17, ACM Press, New York, 2007. (DOI).
  127. A User Centred Process for Specification of Requirements for Usability and a Healthy Work. Niklas Johansson and Malin Grahn. In Proceedings of Work With Computer Systems <em>Conference</em>: WWCS 2007, 2007. (External link).
  128. A participatory process supporting design of future work. Niklas Johansson, Eva Olsson, Jan Gulliksen, and Bengt Sandblad. In Ergonomics: An Introduction, pp 127-160, ICFAI University Press, Hyderabad, India, 2007.
  129. Systematic Acceleration in Regular Model Checking. Bengt Jonsson and Mayank Saksena. In Computer Aided Verification: CAV 2007, volume 4590 of Lecture Notes in Computer Science, pp 131-144, Springer-Verlag, Berlin, 2007. (DOI).
  130. Obtaining the bidirectional transmittance distribution function of isotropically scattering materials using an integrating sphere. Jacob C. Jonsson and Henrik Brandén. In Optics Communications, volume 277, pp 228-236, 2007. (DOI).
  131. Market-based Approaches to Optimization. Maria Karlsson, Fredrik Ygge, and Arne Andersson. In Computational intelligence, volume 23, number 1, pp 92-109, 2007. (DOI, External link).
  132. Conserving Memory Bandwidth in Chip Multiprocessors with Runahead Execution.. Martin Karlsson and Erik Hagersten. In 21st International Parallel and Distributed Processing Symposium, 2007.
  133. Analysis of Skeletal Fibers in Three Dimensional Images: Methodological considerations. Patrick Karlsson, Joakim Lindblad, Ewert Bengtsson, Anna-Stina Höglund, Jingxia Liu, and Lars Larsson. In XXXVIth European Muscle Conference of the European Society for Muscle Research: European Muscle Conference 2007, p 130, 2007. (External link).
  134. Analysis of Skeletal Fibers in Three Dimensional Images. Patrick Karlsson, Joakim Lindblad, Ewert Bengtsson, Anna-Stina Höglund, Jingxia Liu, and Lars Larsson. In Medicinteknikdagarna 2007, p 1, 2007.
  135. Towards content distribution in opportunistic networks. Thabotharan Kathiravelu. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2007-003, Uppsala University, 2007. (fulltext).
  136. Information Technology as a tool for democratic skills. Iordanis Kavathatzopoulos. In Forms of democracy in education: Open access and distance education, pp 155-162, 2007.
  137. Simulation and support in ethical decision making. Iordanis Kavathatzopoulos, Mikael Laaksoharju, and Christian Rick. In Globalisation: Bridging the global nature of Information and Communication Technology and the local nature of human beings, pp 278-287, 2007.
  138. Usability index. Iordanis Kavathatzopoulos. In Work with computing systems: Computing systems for human benefits from the 8th international conference on working with computing systems, p 160, 2007. (External link).
  139. Endothelial Cell Image Enhancement using Non-subsampled Image Pyramid. Mohammad A. U. Khan, M. Khalid Khan Niazi, M. Aurangzeb Khan, and M. Talal Ibrahim. In Information Technology Journal, volume 6, number 7, pp 1057-1062, 2007. (DOI, External link).
  140. Multi-processor schedulability analysis of preemptive real-time tasks with variable execution times. Pavel Krcal, Martin Stigge, and Wang Yi. In Formal Modeling and Analysis of Timed Systems: FORMATS 2007, volume 4763 of Lecture Notes in Computer Science, pp 274-289, 2007. (DOI).
  141. Modeling of contact line dynamics for two-phase flow. Gunilla Kreiss. In Proceedings in Applied Mathematics and Mechanics: PAMM, volume 7, number 1, pp 1141603-1141604, 2007. (DOI).
  142. Automated and reproducible segmentation of visceral and subcutaneous adipose tissue from abdominal MRI. Joel Kullberg, Håkan Ahlström, Lars Johansson, and Hans Frimmel. In International Journal of Obesity, volume 31, pp 1806-1817, 2007. (DOI).
  143. Reducing the TCP Acknowledgment Frequency. Sara Landström and Lars-Åke Larzon. In Computer communication review, volume 37, number 3, pp 5-16, 2007. (DOI).
  144. Linear Regression With a Sparse Parameter Vector. Erik G. Larsson and Yngve Selén. In IEEE Transactions on Signal Processing, volume 55, number 2, pp 451-460, 2007. (DOI).
  145. Identification of Continuous-Time ARX Models From Irregularly Sampled Data. Erik K. Larsson, Magnus Mossberg, and Torsten Söderström. In IEEE Transactions on Automatic Control, volume 52, number 3, pp 417-427, 2007. (DOI).
  146. Beampattern synthesis via a matrix approach for signal power estimation. Jian Li, Yao Xie, Peter Stoica, Xiayu Zheng, and James Ward. In IEEE Transactions on Signal Processing, volume 55, number 12, pp 5643-5657, 2007. (DOI).
  147. MIMO SAR imaging: signal synthesis and receiver design.. Jian Li, Xiayu Zheng, and Peter Stoica. In The 2nd International Workshop on Computational Advances in Multi-Sensor Adaptive Processing,, 2007.
  148. MIMO radar with colocated antennas: Review of some recent work. Jian Li and Peter Stoica. In IEEE signal processing magazine (Print), volume 24, number 5, pp 106-114, 2007. (DOI).
  149. On Parameter Identifiability of MIMO Radar. Jian Li, Peter Stoica, Luzhou Xu, and William Roberts. In IEEE Signal Processing Letters, volume 14, number 12, pp 968-971, 2007. (DOI).
  150. Time estimation as a measure of cognitive workload. Mats Lind and Henning Sundvall. In Engineering Psychology and Cognitive Ergonomics: 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings, pp 359-365, Springer Berlin / Heidelberg, 2007. (DOI, External link).
  151. Common cause failure analysis: Methodology evaluation using Nordic experience data. Sandra Lindberg. Student thesis (Systems in Technology and Society Programme), supervisor: Gunnar Johanson, examiner: Bengt Carlsson, Elísabet Andrésdottír, UPTEC STS nr 07 024, 2007. (fulltext).
  152. Defuzzification by Feature Distance Minimization Based on DC Programming. Joakim Lindblad, Tibor Lukic, and Natasa Sladoje. In 5th International Symposium on Image and Signal Processing and Analysis, 2007: ISPA 2007, pp 373-378, 2007. (DOI).
  153. Generating Trace-Sets for Model-based Testing. Birgitta Lindström, Paul Pettersson, and Jeff Offutt. In The 18th IEEE International Symposium on Software Reliability (ISSRE '07), pp 171-180, 2007. (DOI, External link).
  154. Usability: Perspectives from Research, Publishing, and Higher Education Institutions. Joan K. Lippincott, Joris van Rossum, Sayeed Choudhury, and Else Nygren. In ETD, the 10th International Symposium on Electronic Theses and Dissertations, in Uppsala, 13-16 June 2007, 2007.
  155. Differing Ways that Computing Academics Understand Teaching.. Raymond Lister, Anders Berglund, Ilona Box, Chris Cope, Arnold Pears, Chris Avram, Matt Bower, Angela Carbone, Bill Davey, Michael de Raadt, Bernhard Doyle, Sue Fitzgerald, Linda Grandell, Cat Kutay, Mia Peltomäki, Judy Sheard, Simon, Ken Sutton, Des Traynor, Judy Tutty, and Anne Venables. In Australian Computer Science Communications, volume 29, number 5, pp 97-106, 2007. (External link).
  156. Composable difference operators for coordinate invariant partial differential equations. Malin Ljungberg. Technical report / Department of Information Technology, Uppsala University nr 2007-007, 2007. (External link).
  157. Design of High Performance Computing Software for Genericity and Variability. Malin Ljungberg. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 285, Acta Universitatis Upsaliensis, Uppsala, 2007. (fulltext).
  158. Students' understandings of concurrent programming. Jan Lönnberg and Anders Berglund. In Proc. 7th Baltic Sea Conference on Computing Education Research: Koli Calling, pp 77-86, 2007. (External link).
  159. Space-time adaptive finite difference method for European multi-asset options. Per Lötstedt, Jonas Persson, Lina von Sydow, and Johan Tysk. In Computers and Mathematics with Applications, volume 53, pp 1159-1180, 2007. (DOI).
  160. A database approach for information communication in a peer-to-peer collaborative CAD environment. Haoxue Ma and Tore Risch. In Software, practice & experience, volume 37, number 11, pp 1193-1213, 2007. (DOI).
  161. Bayesian approaches for identification of the complex modulus of viscoelastic materials. Kaushik Mahata and Torsten Söderström. In Automatica, volume 43, number 8, pp 1369-1376, 2007. (DOI).
  162. Research in engineering education: quality and perspectives. Lauri Malmi and Anders Berglund. In ReflekTori 2007: Symposium of Engineering Education, 2007. (External link).
  163. High-order accurate computations for unsteady aerodynamics. Ken Mattsson, Magnus Svärd, Mark Carpenter, and Jan Nordström. In Computers & Fluids, volume 36, pp 636-649, 2007. (DOI).
  164. Successful Students' Strategies for Getting Unstuck. Robert McCartney, Anna Eckerdal, Jan Erik Moström, Kate Sanders, and Carol Zander. In SIGCSE Bulletin inroads, volume 39, number 3, pp 156-160, 2007. (DOI).
  165. Stability of the solutions of the observation error equations at control of the steel converter process. Alexander V. Medvedev, Boris M. Sokolov, and Alexander I. Shepelyavyi. In Automation and remote control, volume 68, number 9, pp 1471-1475, 2007. (DOI).
  166. Shading correction methods for digital image analysis of confocal wood images. Mattias K. Moëll and Lloyd A. Donaldson. In IAWA Journal, volume 28, number 3, pp 349-364, Smithsonian Institution Libraries, 2007. (External link).
  167. Analysis of the IMAPCT of GIS/ICT On Wetland ASSESSMENT. Moses Musinguzi, Gerhard Bax, and Sandy Tickodri-Togboa. In Proceedings of the Conference on Collaborative Research for Technological Development: 16th-21st December 2007 Kampala Uganda, 2007.
  168. Assessment of GIS DATA interoperability in Uganda. Moses Musinguzi, Gerhard Bax, and Sandy Tickodri-Togboa. In Proceedings of the Conference on Collaborative Research for Technological Development: 16th-21st December 2007 Kampala Uganda, 2007.
  169. Numerical analysis and adaptive computation for solutions of elliptic problems with randomly perturbed coefficients. Axel Målqvist, Donald Estep, and Simon Tavener. In Proceedings in Applied Mathematics and Mechanics: PAMM, volume 7, number 1, pp 1140401-1140402, 2007. (DOI).
  170. Separation of One-dimensional Waves - a Stochastic Systems Approach. Peter Naucler and Torsten Söderström. In CONFERENCE RECORD OF THE FORTY-FIRST ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS &amp; COMPUTERS, VOLS 1-5, pp 661-665, 2007.
  171. A mechanical wave diode: Using feedforward control for one-way transmission of elastic extensional waves. Peter Nauclér, Bengt Lundberg, and Torsten Söderström. In IEEE Transactions on Control Systems Technology, volume 15, number 4, pp 715-724, 2007. (DOI).
  172. Polynomial Feedforward Design Techniques for a Mechanical Wave Diode System. Peter Nauclér and Torsten Söderström. 2007.
  173. A Cross-Environment Study of Routing Protocols for Wireless Multi-hop Networks. Erik Nordström, Per Gunningberg, Christian Rohner, and Oskar Wibling. IT Technical Reports nr 2007-016, 2007. (External link).
  174. Evaluating Wireless Multi-hop Networks Using a Combination of Simulation, Emulation, and Real World Experiments. Erik Nordström, Per Gunningberg, Christian Rohner, and Oskar Wibling. In Proceedings of the 1st international workshop on System evaluation for mobile platforms (MobiEval'07), pp 29-34, ACM Association for Computing Machinery, New York, 2007. (DOI).
  175. Experiences from measuring human mobility using Bluetooth inquiring devices. Erik Nordström, Christophe Diot, Richard Gass, and Per Gunningberg. In In Proceedings of the 1st international In Proceedings of the 1stinternational workshop on System evaluation for mobile platforms (MobiEval'07), pp 15-20, ACM Press, New York, 2007. (DOI, External link).
  176. A Hybrid Method for Unsteady Fluid Flow. Jan Nordström, Frank Ham, Mohammad Shoeybi, Edwin van der Weide, Magnus Svärd, Ken Mattsson, Gianluca Iaccarino, and Jing Gong. Technical report / Department of Information Technology, Uppsala University nr 2007-020, 2007. (External link).
  177. Boundary conditions for a divergence free velocity-pressure formulation of the Navier-Stokes equations. Jan Nordström, Ken Mattsson, and Charles Swanson. In Journal of Computational Physics, volume 225, pp 874-890, 2007. (DOI).
  178. Error bounded schemes for time-dependent hyperbolic problems. Jan Nordström. In SIAM Journal on Scientific Computing, volume 30, pp 46-59, 2007. (DOI).
  179. Dynamic data migration for structured AMR solvers. Markus Nordén, Henrik Löf, Jarmo Rantakokko, and Sverker Holmgren. In International journal of parallel programming, volume 35, pp 477-491, 2007. (DOI).
  180. Grey Weighted Polar Distance Transform for Outlining Circular and Approximately Circular Objects. Kristin Norell, Joakim Lindblad, and Stina Svensson. In 14th International Conference on Image Analysis and Processing: ICIAP 2007, pp 647-652, 2007. (DOI).
  181. I huvudet på Nintendo-generationen: - om datorspel, kunskap, inlärning och olika sätt att tänka. Else Nygren. In Aktuella ungdomskulturer Community, psykonauter och fildelning: 26 - 27 april 2007 i Uppsala, 2007.
  182. Design and Implementation of Multi-Device ServicesUtveckling av tjänster med multipla användargränssnitt. Stina Nylander. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 267, SICS dissertation series nr 46, Acta Universitatis Upsaliensis, Uppsala, 2007. (fulltext, cover).
  183. A conservative level set method for two phase flow II. Elin Olsson, Gunilla Kreiss, and Sara Zahedi. In Journal of Computational Physics, volume 225, pp 785-807, 2007. (DOI).
  184. A Survey of Literature on the Teaching of Introductory Programming. Arnold Pears, Stephen Seidman, Lauri Malmi, Linda Mannila, Elizabeth Adams, Jens Bennedsen, Marie Devlin, and James Paterson. In SIGCSE Bulletin inroads, volume 39, number 4, pp 204-223, 2007. (DOI).
  185. CeTUSS (Centrum för Teknikutbildning i Studenternas Sammanhang): A national center for pedagogical development in technology education. Arnold Pears and Mats Daniels. In Meeting the Growing Demand for Engineers and Their Educators 2010-2020, 2007. (External link).
  186. What's in a Publication? The Bleeding Edge of Computing Education: Keynote: 2nd Workshop on Computer Science Education. Arnold Pears. In 2nd Workshop on Computer Science Education, 2007. (External link).
  187. What’s the problem?: Teachers’ experience of student learning successes and failures. Arnold Pears, Anders Berglund, Anna Eckerdal, Philip East, Päivi Kinnunen, Lauri Malmi, Robert McCartney, Jan Erik Moström, Laurie Murphy, Mark Bartley Ratcliffe, Carsten Schulte, Beth Simon, Ioanna Stamouli, and Lynda Thomas. In Proc. 7th Baltic Sea Conference on Computing Education Research: Koli Calling, volume 88 of CRPIT, pp 207-211, Australian Computer Society, 2007. (External link).
  188. Pricing American options using a space-time adaptive finite difference method. Jonas Persson. Technical report / Department of Information Technology, Uppsala University nr 2007-004, 2007. (External link).
  189. Pricing European multi-asset options using a space-time adaptive FD-method. Jonas Persson and Lina von Sydow. In Computing and Visualization in Science, volume 10, pp 173-183, 2007. (DOI).
  190. SWARD: Semantic Web Abridged Relational Databases. Johan Petrini and Tore Risch. 2007. (External link).
  191. On color spaces for cytology. Amalka Pinidiyaarachchi and Carolina Wählby. In SSBA 2007, Symposium i bildanalys i Linköping 14-15 mars 2007, 2007.
  192. Asymptotic uncertainty of transfer-function estimates using nonparametric noise models. Rik Pintelon and Mei Hong. In IEEE Transactions on Instrumentation and Measurement, volume 56, number 6, pp 2599-2605, 2007. (DOI).
  193. Tools and methods for evaluation of overlay networks. Olof Rensfelt. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2007-004, Uppsala University, 2007. (fulltext).
  194. Vendetta – A Tool for Flexible Monitoring and Management of Distributed Testbeds. Olof Rensfelt, Lars-Åke Larzon, and Sven Westergren. In Proc. 3rd International Conference on Testbeds and Research Infrastructure for the Development of Networks and Communities, p 8, IEEE, Piscataway, NJ, 2007. (DOI).
  195. n-LQA: n-Layers Query Authentication in Sensor Networks. Ioana Rodhe, Christian Rohner, and Andreas Achtzehn. In 3rd IEEE International Workshop on Wireless and Sensor Networks Security (IEEE WSNS 2007), 2007. (External link).
  196. Increasing the efficiency of variance component quantitative trait loci analysis by using reduced-rank identity-by-descent matrices. Lars Rönnegård, Kateryna Mishchenko, Sverker Holmgren, and Örjan Carlborg. In Genetics, volume 176, pp 1935-1938, 2007. (DOI).
  197. Querying mediated web services. Manivasakan Sabesan. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2007-001, Uppsala University, 2007. (fulltext).
  198. Web Service Mediation Through Multi-level Views. Manivasakan Sabesan and Tore Risch. In Proceedings of the CAiSE'07 Workshops and Doctoral Consortium: Vol. 2 UMICS, AOIS, WSIM, Doctoral Consortium, pp 755-766, Tapir Academic Press, Trondheim, Norway, 2007.
  199. Detecting defects in Erlang programs using static analysis. Konstantinos Sagonas. In Proc. 9th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pp 37-37, ACM Press, New York, 2007. (External link).
  200. Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols: (Extended Version). Mayank Saksena, Oskar Wibling, and Bengt Jonsson. IT Technical Reports nr 2007-035, 2007. (External link).
  201. Cost-Efficient Operation of a Denitrifying Activated Sludge Process. Pär Samuelsson, Björn Halvarsson, and Bengt Carlsson. In Water Research, volume 41, number 11, pp 2325-2332, 2007. (DOI).
  202. Games and Probabilistic Infinite-State Systems. Sven Sandberg. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 277, Universitetsbiblioteket, Uppsala, 2007. (fulltext, cover).
  203. Implementation of a test system for evaluation of new concepts in rail traffic planning and control. Bengt Sandblad, Arne W. Andersson, Arvid Kauppi, and Johan Wikström. In People and Rail Systems: Human Factors at the Heart of the Railway, pp 301-308, Ashgate Publishing, Farnham, UK, 2007.
  204. Advanced Spectral Analysis with Applications. Niclas Sandgren. Ph.D. thesis, , Institutionen för informationsteknologi, Uppsala, 2007.
  205. Demand-Driven Indexing of Prolog Clauses. Vítor Santos Costa, Konstantinos Sagonas, and Ricardo Lopes. In Logic Programming: ICLP 2007, volume 4670 of Lecture Notes in Computer Science, pp 395-409, Springer-Verlag, Berlin, 2007. (DOI).
  206. Analysis of Histological Image and SRuCT Image Volumes of Bone Remodeling Around Implants. Hamid Sarve and Joakim Lindblad. In Proceedings SSBA 2007: Symposium on Image Analysis, Linköping, March 14-15, p 4, Linköpings universitet, Linköping, 2007.
  207. Image Analysis of Bone Tissue Remodelling Around Implants. Hamid Sarve, Joakim Lindblad, Carina B Johansson, Victoria Franke-Stenport, Bernhard R, Scharnweber D, Gunilla Borgefors, and Y T Sul. In European Conference on Biomaterials 2007, 2007.
  208. Image analysis of Bone Tissue Remodelling Around Biomaterials. Hamid Sarve. In Medicinteknikdagarna 2007, 2007.
  209. Quantification of bone remodeling in the proximity of implants. Hamid Sarve, Carina B. Johansson, Joakim Lindblad, Gunilla Borgefors, and Victoria Franke-Stenport. In 12th Int. Conf. on Computer Analysis of Images and Patterns, pp 253-260, 2007.
  210. PixelActiveSurface: A tabletop rear-projection display for collaboration with pixel-accurate interaction. Stefan Seipel and Lars Winkler Pettersson. Technical report / Department of Information Technology, Uppsala University nr 2007-034, 2007. (External link).
  211. Real-Time Rendering of Ice. Stefan Seipel and Anders Nivfors. In Proceedings of the Ninth IASTED International Conference on Computer Graphics and Imaging, pp 60-66, 2007. (External link).
  212. Volumetric Normal Mapping in Rendering of Multivariate Volume Data. Stefan Seipel. In Proceedings of EUROGRAPHICS 2007, pp 49-52, 2007.
  213. Automatic robust adaptive beamforming via ridge regression. Yngve Selén, Richard Abrahamsson, and Peter Stoica. In 2007 IEEE International Conference on Acoustics, Speech, and Signal Processing, Vol II, Pts 1-3, volume 2 of International Conference on Acoustics Speech and Signal Processing (ICASSP), pp 965-968, 2007.
  214. Empirical Bayes linear regression with unknown model order. Yngve Selén and Erik G. Larsson. In 2007 IEEE International Conference on Acoustics, Speech, and Signal Processing, Vol III, Pts 1-3, Proceedings, volume 3 of International Conference on Acoustics Speech and Signal Processing (ICASSP), pp 773-776, 2007. (DOI).
  215. Model Selection and Sparse Modeling. Yngve Selén. Ph.D. thesis, , Institutionen för informationsteknologi, Uppsala, 2007.
  216. RAKE Receiver for Channels with a Sparse Impulse Response. Yngve Selén and Erik G. Larsson. In IEEE Transactions on Wireless Communications, volume 6, number 9, pp 3175-3180, 2007. (DOI).
  217. Numerical Methods for Stochastic Modeling of Genes and Proteins. Paul Sjöberg. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 358, Acta Universitatis Upsaliensis, Uppsala, 2007. (fulltext).
  218. PDE and Monte Carlo approaches to solving the master equation applied to gene regulation. Paul Sjöberg. Technical report / Department of Information Technology, Uppsala University nr 2007-028, 2007. (External link).
  219. Partial approximation of the master equation by the Fokker-Planck equation. Paul Sjöberg. In Applied Parallel Computing: State of the Art in Scientific Computing, volume 4699 of Lecture Notes in Computer Science, pp 637-646, Springer-Verlag, Berlin, 2007. (DOI).
  220. Representation and Reconstruction of Fuzzy Disks by Moments. Natasa Sladoje and Joakim Lindblad. In Fuzzy sets and systems (Print), volume 158, number 5, pp 517-534, 2007. (DOI).
  221. Interaction in medical image analysis and visualization. Örjan Smedby, Ewert Bengtsson, and Anders Persson (eds). MICCAI, Brisbane, Australia, 2007.
  222. Robust NQR Signal Detection. Samuel Dilshan Somasundaram, Andreas Jakobsson, and Erik Gudmundson. In Proceedings of the 2007 IEEE International Conference on Acoustics, Speech, and Signal Processing: April 15-20, 2007, Honolulu, Hawaii, USA, 2007.
  223. Adaptive beamforming for quadrupole resonance. Peter Stoica, Hong Xiong, Luzhou Xu, and Jian Li. In Digital signal processing (Print), volume 17, number 3, pp 634-651, 2007. (DOI).
  224. On incorporating a priori knowledge in space-time adaptive processing.. Peter Stoica, Jian Li, Xumin Zhu, and J. Guerci. In ASAP07: The 5th Adaptive Sensor Array Processing Workshop, 2007.
  225. On probing signal design for MIMO radar. Peter Stoica, Jian Li, and Yao Xie. In IEEE Transactions on Signal Processing, volume 55, number 8, pp 4151-4161, 2007. (DOI).
  226. On sequences with good correlation properties: A new perspective. Peter Stoica, Jian Li, and Ming Xue. In Proceedings of the 2007 IEEE Information Theory Workshop on Information Theory for Wireless Networks, pp 52-56, 2007.
  227. Optimal correction of an indefinite estimated MA spectral density matrix. Peter Stoica, Luzhou Xu, Jian Li, and Yao Xie. In Statistics and Probability Letters, volume 77, number 10, pp 973-980, 2007. (DOI).
  228. Total-Variance Reduction via Thresholding: Application to cepstral analysis. Peter Stoica and Niclas Sandgren. In IEEE Transactions on Signal Processing, volume 55, number 1, pp 66-72, 2007. (DOI).
  229. Waveform synthesis for diversity-based beampattern design.. Peter Stoica, Jian Li, Xumin Zhu, and Bin Guo. In The IEEE Workshop on Statistical Signal Processing, 2007.
  230. Distances based on neighbourhood sequences in non-standard three-dimensional grids. Robin Strand and Benedek Nagy. In Discrete Applied Mathematics, volume 155, number 4, pp 548-557, 2007. (DOI, External link).
  231. Minimal Cost-Path for Path-Based Distances. Robin Strand, Filip Malmberg, and Stina Svensson. In Proceedings of 5th International Symposium on Image and Signal Processing and Analysis (ISPA 2007), pp 379-384, 2007. (DOI, External link).
  232. Shape Representation wtih Maximal Path-Points for Path-Based Distances. Robin Strand. In Image and Signal Processing and Analysis, 2007. ISPA 2007. 5th International Symposium on, pp 397-402, 2007. (DOI, External link).
  233. Topology Preserving Marching Cubes-like Algorithms on the Face-Centered Cubic Grid. Robin Strand and Peer Stelldinger. In 14th International Conference on Image Analysis and Processing (ICIAP 2007), pp 781-788, 2007. (DOI, External link).
  234. Weighted Distances Based on Neighbourhood Sequences in Non-Standard Three-Dimensional Grids. Robin Strand. In Image Analysis, Proceedings, volume 4522 of Lecture Notes in Computer Science, pp 452-461, 2007. (DOI).
  235. Weighted distances based on neighbourhood sequences. Robin Strand. In Pattern Recognition Letters, volume 28, number 15, pp 2029-2036, 2007. (DOI).
  236. A decomposition scheme for 3D fuzzy objects based on fuzzy distance information. Stina Svensson. In Pattern Recognition Letters, volume 28, number 2, pp 224-232, 2007. (DOI).
  237. Centres of maximal balls extracted from a fuzzy distance transform. Stina Svensson. In Procedings of 8th International Symposium on Mathematical Morphology (ISMM 2007), 2007. (External link).
  238. A stable high-order finite difference scheme for the compressible Navier-Stokes equations: far-field boundary conditions. Magnus Svärd, Mark H. Carpenter, and Jan Nordström. In Journal of Computational Physics, volume 225, pp 1020-1038, 2007. (DOI).
  239. A Frisch Scheme for Correlated Output Noise Errors-in-Variables Identification. Torsten Söderström. In European Control Conference, ECC'07, 2007.
  240. Accuracy Analysis of the Frisch Scheme for Identifying Errors-in-Variables Systems. Torsten Söderström. In IEEE Transactions on Automatic Control, volume 52, number 6, pp 985-997, 2007. (DOI).
  241. Errors-in-variables methods in system identification. Torsten Söderström. In Automatica, volume 43, number 6, pp 939-958, 2007. (DOI).
  242. Identification of the main arterial branches by whole-body contrast-enhanced MRA in elderly subjects using limited user interaction and fast marching. Xavier Tizon, Qingfen Lin, Tomas Hansen, Gunilla Borgefors, Lars Johansson, Håkan Ahlström, and Hans Frimmel. In Journal of Magnetic Resonance Imaging, volume 25, pp 806-814, 2007. (DOI).
  243. Accuracy evaluation of the unstructured node-centered finite volume method in aerodynamic computations. Lars Tysell and Jan Nordström. In Proc. 10th ISGG Conference on Numerical Grid Generation, pp 146-158, Curran Associates, Red Hook, NY, 2007.
  244. Haptic interaction with deformable models for 3D liver segmentation. Erik Vidholm and Ingela Nyström. In <em>Proceedings of MICCAI Workshop</em>: <em> Interaction in Medical Image Analysis and Visualization 2007</em>, pp 41-48, 2007.
  245. Hardware accelerated visualization of parametrically mapped dynamic breast MRI data. Erik Vidholm, Andrew Mehnert, Ewert Bengtsson, Michael Wildermoth, Kerry McMahon, Steven Wilson, and Stuart Crozier. In Proceedings of MICCAI workshop: Interaction in Medical Image Analysis and Visualization, pp 33-40, 2007.
  246. High contrast microwave tomography using topology optimization techniques. Eddie Wadbro and Martin Berggren. In Proc. 8th International Conference on Mathematical and Numerical Aspects of Waves: WAVES 2007, pp 448-450, Department of Mathematics, University of Reading, Reading, UK, 2007.
  247. Shape and topology optimization of an acoustic horn-lens combination. Eddie Wadbro, Rajitha Udawalpola, and Martin Berggren. In Proc. 8th International Conference on Mathematical and Numerical Aspects of Waves: WAVES 2007, pp 451-453, Department of Mathematics, University of Reading, Reading, UK, 2007.
  248. Computer system employing bundled prefetching. Dan Wallin and Erik Hagersten. US, 2007.
  249. Multiprocessing computer system employing capacity prefetching. Dan Wallin and Erik Hagersten. US, 2007.
  250. Two-dimensional nonparametric spectral analysis in missing data case. Yanwei Wang, Peter Stoica, and Jian Li. In IEEE Transactions on Aerospace and Electronic Systems, volume 43, number 4, pp 1604-1616, 2007. (DOI).
  251. Design and Analysis of a Nonlinear Observer for a Hydraulic Servo System. Maria Werlefors and Alexander Medvedev. In Proceedings of 7:th IFAC Symposium on Nonlinear Control Systems, 2007.
  252. KRONECKER STRUCTURED COVARIANCE MATRIX ESTIMATION. Karl Werner, Magnus Jansson, and Petre Stoica. In International Conference on Acoustics, Speech, and Signal Processing: April 15-20, 2007, Honolulu, Hawaii, USA, 2007.
  253. Computer Science students' experiences of decision making in project groups. Mattias Wiggberg. In Proc. 7th Baltic Sea Conference on Computing Education Research: Koli Calling, pp 137-148, 2007. (External link).
  254. Adaptive enhanced cell-ID fingerprinting localization by clustering of precise position measurements. Torbjörn Wigren. In IEEE Transactions on Vehicular Technology, volume 56, number 5, pp 3199-3209, 2007. (DOI).
  255. Criteria and time horizon in feedforward MPC for non-linear systems with time delays. Torbjörn Wigren and Linda Brus. In , volume 40:12 of IFAC-PapersOnLine, pp 782-787, 2007. (DOI).
  256. Estimation of uplink WCDMA load in a single RBS. Torbjörn Wigren and Per Hellqvist. In Proc. 66th Vehicular Technology Conference, pp 1499-1503, IEEE, Piscataway, NJ, 2007. (DOI).
  257. MATLAB software for recursive identification and scaling using a structured nonlinear black-box model: Revision 3. Torbjörn Wigren and Linda Brus. Technical report / Department of Information Technology, Uppsala University nr 2007-013, 2007. (External link).
  258. MATLAB software for recursive identification of Wiener systems: Revision 2. Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2007-010, 2007. (External link).
  259. MATLAB software for recursive identification of systems with output quantization: Revision 1. Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2007-015, 2007. (External link).
  260. Reduction of amplitude dependent gain variations in control of non-linear Wiener type systems. Torbjörn Wigren and Linda Brus. In , volume 40:12 of IFAC-PapersOnLine, pp 336-341, 2007. (DOI).
  261. Discovering Equilibrium Strategies for a Combinatorial First Price Auction. Jim Wilenius and Arne Andersson. In 9th IEEE International Conference on E-Commerce Technology/4th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services, pp 13-20, 2007. (DOI).
  262. Collaborative Pixel-Accurate Interaction with PixelActiveSurface. Lars Winkler Pettersson and Stefan Seipel. 2007 International ACM Conference on Supporting Group Work (Extended Abstract), 2007.
  263. Parameter estimation and number detection of MIMO radar targets.. Luzhou Xu, Peter Stoica, and Jian Li. In 41st ASILOMAR Conference on Signals, Systems and Computers., 2007.
  264. Waveform Optimization for MIMO Radar: A Cramer-Rao Bound Based Study. Luzhou Xu, Jian Li, Peter Stoica, Keith W. Forsythe, and Daniel W. Bliss. In International Conference on Acoustics, Speech, and Signal Processing: April 15-20, 2007, Honolulu, Hawaii, USA, 2007.
  265. How does internationalisation affect learning and teaching of Computer Science: A study at Tongji University in China. Doris Dongsheng Yang and Anders Berglund. In Proc. 7th Baltic Sea Conference on Computing Education Research: Koli Calling, pp 221-224, 2007. (External link).
  266. A case for low-complexity MP architectures. Håkan Zeffer and Erik Hagersten. In Proc. Conference on Supercomputing: SC 2007, pp 559-570, ACM Press, New York, 2007. (DOI).
  267. Using stream queries to measure communication performance of a parallel computing environment. Erik Zeitler and Tore Risch. In Proc. 1st International Workshop on Distributed Event Processing, Systems and Applications (DEPSA’07), 2007. (External link).
  268. MIMO Transmit Beamforming Under Uniform Elemental Power Constraint. Xiayu Zheng, Yao Xie, Jian Li, and Peter Stoica. In IEEE Transactions on Signal Processing, volume 55, number 11, pp 5395-5406, 2007. (DOI).
  269. MIMO transmit beamforming under uniform elemental power constraint.. Xiayu Zheng, Yao Xie, Jian Li, and Peter Stoica. In SPAWC 2007: The 8th IEEE Workshop on Signal Processing Advances in Wireless Communications, 2007.
  270. Knowledge-aided space-time adaptive processing. Xumin Zhu, Jian Li, Peter Stoica, and J. Guerci. In 41st ASILOMAR Conference on Signals, Systems and Computers., 2007.
  271. Generic incremental algorithms for local search. Magnus Ågren, Pierre Flener, and Justin Pearson. In Constraints, volume 12, number 3, pp 293-324, 2007. (DOI).
  272. On Constraint-Oriented Neighbours for Local Search. Magnus Ågren, Pierre Flener, and Justin Pearson. Technical reports from the Department of Information Technology nr 2007-009, 2007. (External link).
  273. Revisiting constraint-directed search. Magnus Ågren, Pierre Flener, and Justin Pearson. In Proceedings of LSCS'07, the 4th International Workshop on Local Search Techniques in Constraint Satisfaction, 2007. (External link).
  274. Set Constraints for Local Search. Magnus Ågren. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 71, Acta Universitatis Upsaliensis, Uppsala, 2007. (fulltext).
  275. Sparse generalized Fourier transforms. Krister Åhlander and Daniel Henriksson. In BIT Numerical Mathematics, volume 47, pp 213-237, 2007. (DOI).
  276. Application of underwater hyperspectral data for color correction purposes. Julia Åhlén, David Sundgren, and Ewert Bengtsson. In Pattern Recognition and Image Analysis, volume 17, number 1, pp 170-173, 2007. (DOI).
  277. The SAVE Approach to Component-Based Development of Vehicular Systems. Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, John Håkansson, Anders Möller, Paul Pettersson, and Massimo Tivoli. In Journal of Systems and Software, volume 80, number 5, pp 655-667, 2007. (DOI).

Updated  2009-12-17 17:09:55 by Björn Victor.