Department of Information Technology

Publications 2010

  1. Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction. Fides Aarts, Bengt Jonsson, and Johan Uijen. In Testing Software and Systems: ICTSS 2010, volume 6435 of Lecture Notes in Computer Science, pp 188-204, Springer-Verlag, Berlin, 2010. (DOI).
  2. Energy stability of the MUSCL scheme. Qaisar Abbas, Edwin van der Weide, and Jan Nordström. In Numerical Mathematics and Advanced Applications: 2009, pp 61-68, Springer-Verlag, Berlin, 2010. (DOI).
  3. Weak versus strong no-slip boundary conditions for the Navier-Stokes equations. Qaisar Abbas and Jan Nordström. In Engineering Applications of Computational Fluid Mechanics, volume 4, pp 29-38, 2010.
  4. Analyzing the security in the GSM radio network using attack jungles. Parosh Aziz Abdulla, Jonathan Cederberg, and Lisa Kaati. In Leveraging Applications of Formal Methods, Verification, and Validation: Part I, volume 6415 of Lecture Notes in Computer Science, pp 60-74, Springer-Verlag, Berlin, 2010. (DOI).
  5. Constrained monotonic abstraction: A CEGAR for parameterized verification. Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, and Ahmed Rezine. In CONCUR 2010 – Concurrency Theory, volume 6269 of Lecture Notes in Computer Science, pp 86-101, Springer-Verlag, Berlin, 2010. (DOI).
  6. Forcing monotonicity in parameterized verification: From multisets to words. Parosh Aziz Abdulla. In SOFSEM 2010: Theory and Practice of Computer Science, volume 5901 of Lecture Notes in Computer Science, pp 1-15, Springer-Verlag, Berlin, 2010. (DOI).
  7. Sampled semantics of timed automata. Parosh Aziz Abdulla, Pavel Krcal, and Wang Yi. In Logical Methods in Computer Science, volume 6, number 3, pp 14:1-37, 2010. (DOI).
  8. Simulation subsumption in Ramsey-based Büchi automata universality and inclusion testing. Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, and Tomás Vojnar. In Computer Aided Verification, volume 6174 of Lecture Notes in Computer Science, pp 132-147, Springer-Verlag, Berlin, 2010. (DOI).
  9. Well (and better) quasi-ordered transition systems. Parosh Aziz Abdulla. In Bulletin of Symbolic Logic, volume 16, number 4, pp 457-515, 2010.
  10. When simulation meets antichains: On checking language inclusion of nondeterministic finite (tree) automata. Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, and Tomás Vojnar. In Tools and Algorithms for the Construction and Analysis of Systems, volume 6015 of Lecture Notes in Computer Science, pp 158-174, Springer-Verlag, Berlin, 2010. (DOI).
  11. The effect of drugs with ion channel-blocking activity on the early embryonic rat heart. D. Abela, H. Ritchie, D. Ababneh, C. Gavin, Mats F Nilsson, M Khalid Khan Niazi, K. Carlsson, and WS Webster. In Birth defects research. Part B. Developmental and reproductice toxicology, volume 89, number 5, pp 429-440, 2010. (DOI).
  12. A robust sliding mode controller with internal model for closed-loop artificial pancreas. Amjad Abu-Rmileh, Winston Garcia-Gabin, and Darine Zambrano. In Medical and Biological Engineering and Computing, volume 48, number 12, pp 1191-1201, 2010. (DOI).
  13. Internal model sliding mode control approach for glucose regulation in type 1 diabetes. Amjad Abu-Rmileh, Winston Garcia-Gabin, and Darine Zambrano. In Biomedical Signal Processing and Control, volume 5, number 2, pp 94-102, 2010. (DOI).
  14. Robust signal detection in 3D fluorescence microscopy. Amin Allalou, Amalka Pinidiyaarachchi, and Carolina Wählby. In Cytometry. Part A, volume 77A, number 1, pp 86-96, 2010. (DOI).
  15. Contributions to the initialization of online identification algorithms for anæsthesia: the NeuroMuscular Blockade case study. Juliana Almeida, Margarida Martins da Silva, Torbjörn Wigren, and Teresa Mendonça. In Proc. 18th Mediterranean Conference on Control and Automation, pp 1341-1346, IEEE, Piscataway, NJ, 2010. (DOI).
  16. The next-generation ARC middleware. Owen Appleton, David Cameron, Jozef Cernák, Péter Dóbé, Mattias Ellert, Thomas Frågåt, Michael Grønager, Daniel Johansson, Johan Jönemo, Josva Kleist, Marek Kocan, Aleksandr Konstantinov, Balázs Kónya, Iván Márton, Bjarte Mohn, Steffen Möller, Henning Müller, Zsombor Nagy, Jon K. Nilsen, Farid Ould-Saada, Katarina Pajchel, Weizhong Qiang, Alexander Read, Peter Rosendahl, Gábor Röczei, Martin Savko, Martin Skou Andersen, Oxana Smirnova, Péter Stefán, Ferenc Szalai, Adrian Taga, Salman Z. Toor, Anders Wäänänen, and Xin Zhou. In Annales des télécommunications, volume 65, pp 771-776, 2010. (DOI).
  17. Diversity in the construction of organization value. Ryoko Asai and Iordanis Kavathatzopoulos. In Which values for which organisations, 2010. (External link).
  18. From multi to single stack automata. Mohamed Faouzi Atig. In CONCUR 2010 – Concurrency Theory, volume 6269 of Lecture Notes in Computer Science, pp 117-131, Springer-Verlag, Berlin, 2010. (DOI).
  19. Global model checking of ordered multi-pushdown systems. Mohamed Faouzi Atig. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2010, volume 8 of Leibniz International Proceedings in Informatics, pp 216-227, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2010. (DOI).
  20. On the verification problem for weak memory models. Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, and Madanlal Musuvathi. In Proc. 37th ACM Symposium on Principles of Programming Languages, pp 7-18, ACM Press, New York, 2010. (DOI).
  21. 3D pore structure characterisation of paper. Maria Axelsson and Stina Svensson. In Pattern Analysis and Applications, volume 13, number 2, pp 159-172, 2010. (DOI).
  22. A general approach to analyse preconditioners for two-by-two block matrices. Owe Axelsson and Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2010-029, 2010. (External link).
  23. An additive matrix preconditioning method with application for domain decomposition and two-level matrix partitionings. Owe Axelsson. In Large-Scale Scientific Computing, volume 5910 of Lecture Notes in Computer Science, pp 76-83, Springer-Verlag, Berlin, 2010. (DOI).
  24. Condition number analysis for various forms of block matrix preconditioners. Owe Axelsson and János Karátson. In Electronic Transactions on Numerical Analysis, volume 36, pp 168-194, 2010.
  25. Analysis of radial velocity data by a novel adaptive approach. Prabhu Babu, Peter Stoica, Jian Li, Zhaofu Chen, and Jian Ge. In Astronomical Journal, volume 139, number 2, pp 783-793, 2010. (DOI).
  26. Comments on "Iterative Estimation of Sinusoidal Signal Parameters". Prabhu Babu and Peter Stoica. In IEEE Signal Processing Letters, volume 17, number 12, pp 1022-1023, 2010. (DOI).
  27. Linear Systems, Sparse Solutions, and Sudoku. Prabhu Babu, Kristiaan Pelckmans, Peter Stoica, and Jian Li. In IEEE Signal Processing Letters, volume 17, number 1, pp 40-42, 2010. (DOI).
  28. Modeling radial velocity signals for exoplanet search applications. Prabhu Babu, Peter Stoica, and Jian Li. In The 7th International Conference on Informatics in Control, Automation and Robotics, Madeira, Portugal, 2010.
  29. Spectral analysis of nonuniformly sampled data — a review. Prabhu Babu and Peter Stoica. In Digital signal processing (Print), volume 20, number 2, pp 359-378, 2010. (DOI).
  30. A Robust Methodology for In Vivo <em>T</em><sub>1</sub> Mapping. Joëlle K. Barral, Erik Gudmundson, Nikola Stikov, Maryam Etezadi-Amoli, Peter Stoica, and Dwight G. Nishimura. In Magnetic Resonance in Medicine, volume 64, number 4, pp 1057-1067, 2010. (DOI).
  31. On matrices, automata, and double counting. Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, and Justin Pearson. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, volume 6140 of Lecture Notes in Computer Science, pp 10-24, Springer-Verlag, Berlin, 2010. (DOI).
  32. Formalising process calculi. Jesper Bengtson. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 93, Acta Universitatis Upsaliensis, Uppsala, 2010.
  33. Centre for Image Analysis Annual Report 2009. Ewert Bengtsson, Vladimir Curic, Ingela Nyström, Robin Strand, Lena Wadelius, and Erik Wernersson (eds). Uppsala University Printers, 2010.
  34. Recognizing signs of malignancy: The quest for computer assisted cancer screening and diagnosis systems. Ewert Bengtsson. In International Conference on Computational Intelligence and Computing Research (ICCIC), 2010 IEEE, pp 1-6, IEEE Digital Library, Coimbatore, India, 2010.
  35. Introductory programming and the didactic triangle. Anders Berglund and Raymond Lister. In Australian Computer Science Communications, volume 32, number 2, pp 35-44, 2010. (External link).
  36. Interest dissemination in a searchable data-centric opportunistic network. Fredrik Bjurefors, Per Gunningberg, Erik Nordström, and Christian Rohner. In Proc. European Wireless Conference: EW 2010, pp 889-895, IEEE, Piscataway, NJ, 2010. (DOI).
  37. Dynamic models with quantized output for modeling patient response to pharmacotherapy. Marcus Björk, Alexander Medvedev, and Peter Stoica. In Proc. International Conference on Control Applications: CCA 2010, pp 1029-1034, IEEE, Piscataway, NJ, 2010. (DOI).
  38. Estimation of dynamic models with output quantization applied to drug response modeling. Marcus Björk and Alexander Medvedev. Reglermöte 2010, Lund, 2010.
  39. Block-Parallel Programming for Real-time Embedded Applications. David Black-Schaffer and William J. Dally. In Proc. 39th International Conference on Parallel Processing, pp 297-306, IEEE, Piscataway, NJ, 2010. (DOI, fulltext:postprint).
  40. Inferring Compact Models of Communication Protocol Entities. Therese Bohlin, Bengt Jonsson, and Siavash Soleimanifard. In Leveraging Applications of Formal Methods, Verification, and Validation: Part I, volume 6415 of Lecture Notes in Computer Science, pp 658-672, Springer-Verlag, Berlin, 2010. (DOI).
  41. Invariant synthesis for programs manipulating lists with unbounded data. Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, and Mihaela Sighireanu. In Computer Aided Verification, volume 6174 of Lecture Notes in Computer Science, pp 72-88, Springer-Verlag, Berlin, 2010. (DOI).
  42. A student perspective on software development and maintenance. Jonas Boustedt. Technical report / Department of Information Technology, Uppsala University nr 2010-012, 2010. (External link).
  43. On the Road to a Software Profession: Students’ Experiences of Concepts and Thresholds. Jonas Boustedt. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 734, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
  44. Ways to understand class diagrams. Jonas Boustedt. Technical report / Department of Information Technology, Uppsala University nr 2010-013, 2010. (External link).
  45. Robust AMLI methods for parabolic Crouzeix–Raviart FEM systems. Petia Boyanova, Svetozar Margenov, and Maya Neytcheva. In Journal of Computational and Applied Mathematics, volume 235, pp 380-390, 2010. (DOI).
  46. Extending Distance Computation - Propagating Derivatives. Anders Brun. In Proceedings SSBA 2010, volume 34 of Centre for Image Analysis Report Series, pp 39-42, Centre for Image Analysis, Uppsala, 2010.
  47. Black-box identification of solar collector dynamics with variant time delay. Linda Brus and Darine Zambrano. In Control Engineering Practice, volume 18, number 10, pp 1133-1146, 2010. (DOI).
  48. Feedforward model predictive control of a non-linear solar collector plant with varying delays. Linda Brus, Torbjörn Wigren, and Darine Zambrano. In IET Control Theory and Applications, volume 4, number 8, pp 1421-1435, 2010. (DOI).
  49. A note on radial basis function interpolant limits. Martin D. Buhmann, Slawomir Dinew, and Elisabeth Larsson. In IMA Journal of Numerical Analysis, volume 30, pp 543-554, 2010. (DOI).
  50. Internationella studentprojekt – en ämnesdidaktisk utmaning. Åsa Cajander and Mats Daniels. In Kunskapens nya världar: Mötet mellan pedagogik och teknik vid Uppsala Learning Lab, pp 255-269, Uppsala Learning Lab, Uppsala University, 2010.
  51. Towards a usability coaching method for institutionalizing usability in organisations. Åsa Cajander, Elina Eriksson, and Jan Gulliksen. In Human-Computer Interaction, volume 332 of IFIP Advances in Information and Communication Technology, pp 86-97, Springer-Verlag, Berlin, 2010. (DOI).
  52. Usability – Who Cares?: The Introduction of User-Centred Systems Design in Organisations. Åsa Cajander. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 740, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
  53. Tribal ownership. Nicholas Cameron, James Noble, and Tobias Wrigstad. In Proc. 1st International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, volume 45:10 of ACM SIGPLAN Notices, pp 618-633, ACM Press, New York, 2010. (DOI).
  54. Resource efficient operation of a class of wastewater treatment processes. Bengt Carlsson. In Proc. 2nd IWA Water and Energy Conference, pp 96-97, International Water Association, 2010.
  55. Revisiting and Extending Interface Penalties for Multidomain Summation-by-Parts Operators. Mark H. Carpenter, Jan Nordström, and David Gottlieb. In Journal of Scientific Computing, volume 45, pp 118-150, 2010. (DOI).
  56. CellMC: a multiplatform model compiler for the Cell Broadband Engine and x86. Emmet Caulfield and Andreas Hellander. In Bioinformatics, volume 26, pp 426-428, 2010. (DOI).
  57. Mode Switch: Adaptive use of delay-sensitive or energy-aware communication in IEEE 802.15.4-based networks. Feng Chen, Xiaoyu Tong, Edith Ngai, and Falko Dressler. In Proc. 7th International Conference on Mobile Ad Hoc and Sensor Systems, pp 302-311, IEEE, Piscataway, NJ, 2010. (DOI).
  58. Static detection of race conditions in Erlang. Maria Christakis and Konstantinos Sagonas. In Practical Aspects of Declarative Languages: PADL 2010, volume 5937 of Lecture Notes in Computer Science, pp 119-133, Springer-Verlag, Berlin, 2010. (DOI).
  59. Effects of aging and gender on the spatial organization of nuclei in single human skeletal muscle cells. Alexander Cristea, Rizwan Qaisar, Patrick Karlsson Edlund, Joakim Lindblad, Ewert Bengtsson, and Lars Larsson. In Aging Cell, volume 9, number 5, pp 685-697, 2010. (DOI).
  60. NETWORKING 2010. Mark Crovella, Laura Marie Feeney, Dan Rubenstein, and S. V. Raghavan (eds). Volume 6091 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2010.
  61. The Sum of minimal distances as a useful distance measure for image registration. Vladimir Curic, Joakim Lindblad, and Natasa Sladoje. In Proceedings SSBA 2010, pp 55-58, Centre for Image Analysis, Uppsala, 2010.
  62. Constructive controversy as a way to create "true collaboration" in an open ended group project setting. Mats Daniels and Åsa Cajander. In Australian Computer Science Communications, volume 32, number 2, pp 73-78, 2010. (External link).
  63. Engineering Education Research in Practice: Evolving use of open ended group projects as a pedagogical strategy for developing skills in global collaboration. Mats Daniels, Åsa Cajander, Arnold Pears, and Tony Clear. In International journal of engineering education, volume 26, number 4, pp 795-806, 2010.
  64. Experiences from using Constructive Controversy in an Open Ended Group Project. Mats Daniels and Åsa Cajander. In Proc. 40th ASEE/IEEE Frontiers in Education Conference, pp S3D-1-5, IEEE, Piscataway, NJ, 2010. (DOI).
  65. The contribution of open ended group projects to international student collaborations. Mats Daniels. In ACM Inroads, volume 1, number 3, pp 79-84, 2010. (DOI).
  66. LS-SVMlab Toolbox User's Guide: version 1.7. Kris De Brabanter, Peter Karsmakers, Fabian Ojeda, Carlos Alzate, Jos De Brabanter, Kristiaan Pelckmans, Bart De Moor, Joos Vandewalle, and Johan A. K. Suykens. ESAT-SISTA Technical Report nr 10-146, Katholieke Universiteit Leuven, Belgium, 2010. (fulltext).
  67. On Robustness in Kernel Based Regression. Kris De Brabanter, Peter Karsmakers, Jos De Brabanter, Kristiaan Pelckmans, Johan A. K. Suykens, and Bart De Moor. NIPS 2010 Workshop: Robust Statistical Learning, Neural Information Processing Systems Foundation, 2010. (fulltext).
  68. Covariance-based approaches to aeroacoustic noise source analysis. Lin Du, Luzhou Xu, Jian Li, Bin Guo, Peter Stoica, Chris Bahr, and Louis N. Cattafesta. In Journal of the Acoustical Society of America, volume 128, number 5, pp 2877-2887, 2010. (DOI).
  69. Fully automatic computation of diagonal loading levels for robust adaptive beamforming. Lin Du, Jian Li, and Peter Stoica. In IEEE Transactions on Aerospace and Electronic Systems, volume 46, number 1, pp 449-458, 2010. (DOI).
  70. Perfectly matched layers for second order wave equations. Kenneth Duru. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2010-004, Uppsala University, 2010. (fulltext).
  71. Stable perfectly matched layers for the Schrödinger equations. Kenneth Duru and Gunilla Kreiss. In Numerical Mathematics and Advanced Applications: 2009, pp 287-295, Springer-Verlag, Berlin, 2010. (DOI).
  72. Well-posed and discretely stable perfectly matched layers for elastic wave equations in second order formulation. Kenneth Duru and Gunilla Kreiss. Technical report / Department of Information Technology, Uppsala University nr 2010-004, 2010. (External link).
  73. Simulations of acoustic waves in a turbo-fan engine air intake. Gunilla Efraimsson, Nicolas Forsberg, and Jan Nordström. In Proc. 16th AIAA/CEAS Aeroacoustics Conference, volume 2010-3999 of Conference Proceeding Series, AIAA, 2010.
  74. StatCC: a statistical cache contention model. David Eklöv, David Black-Schaffer, and Erik Hagersten. In Proc. 19th International Conference on Parallel Architectures and Compilation Techniques, pp 551-552, ACM Press, New York, 2010. (DOI).
  75. StatStack: Efficient modeling of LRU caches. David Eklöv and Erik Hagersten. In Proc. International Symposium on Performance Analysis of Systems and Software: ISPASS 2010, pp 55-65, IEEE, Piscataway, NJ, 2010. (DOI).
  76. Agglomeration multigrid for the vertex-centered dual discontinuous Galerkin method. Sven-Erik Ekström and Martin Berggren. In ADIGMA — A European Initiative on the Development of Adaptive Higher-Order Variational Methods for Aerospace Applications, volume 113 of Notes on Numerical Fluid Mechanics and Multidisciplinary Design, pp 301-308, Springer-Verlag, Berlin, 2010. (DOI).
  77. Incorporating a discontinuous Galerkin method into the existing vertex-centered edge-based finite volume solver Edge. Sven-Erik Ekström and Martin Berggren. In ADIGMA — A European Initiative on the Development of Adaptive Higher-Order Variational Methods for Aerospace Applications, volume 113 of Notes on Numerical Fluid Mechanics and Multidisciplinary Design, pp 39-52, Springer-Verlag, Berlin, 2010. (DOI).
  78. Signal Extraction and Separation in In Vivo Animal PET Studies with Masked Volumewise Principal-Component Analysis. Fredrik Engbrant, Azita Monazzam, Per-Edvin Svensson, Johan Olsson, Ewert Bengtsson, and Pasha Razifar. In Journal of Nuclear Medicine Technology, volume 38, number 2, pp 53-60, 2010. (DOI).
  79. Energy Framework: An extensible framework for simulating battery consumption in wireless networks. Laura Marie Feeney and Daniel Willkomm. In Proc. 3rd International ICST Conference on Simulation Tools and Techniques, pp 20:1-4, ICST, Brussels, Belgium, 2010. (DOI, fulltext).
  80. An adaptive algorithm for simulation of stochastic reaction-diffusion processes. Lars Ferm, Andreas Hellander, and Per Lötstedt. In Journal of Computational Physics, volume 229, pp 343-360, 2010. (DOI).
  81. Inductive programming. Pierre Flener and Ute Schmid. In Encyclopedia of Machine Learning, pp 537-544, Springer, New York, 2010. (DOI).
  82. Proc. 10th International Workshop on Symmetry in Constraint Satisfaction Problems. Pierre Flener and Justin Pearson (eds). Department of Information Technology, Uppsala University, Uppsala, Sweden, 2010. (Proceedings).
  83. Programming by demonstration. Pierre Flener and Ute Schmid. In Encyclopedia of Machine Learning, pp 805-805, Springer, New York, 2010. (DOI).
  84. Trace-based programming. Pierre Flener and Ute Schmid. In Encyclopedia of Machine Learning, pp 989-989, Springer, New York, 2010. (DOI).
  85. Rotational transport on a sphere: Local node refinement with radial basis functions. Natasha Flyer and Erik Lehto. In Journal of Computational Physics, volume 229, pp 1954-1969, 2010. (DOI).
  86. Image Processing System for Localising Macromolecules in Cryo-Electron Tomography. M. Gedda, L.-G. Öfverstedt, U. Skoglund, and S. Svensson. In Machine Graphics & Vision, volume 19, number 2, pp 159-184, Institute of Computer Science, Polish Academy of Science, Warsaw, Poland, 2010.
  87. Contributions to 3D Image Analysis using Discrete Methods and Fuzzy Techniques: With Focus on Images from Cryo-Electron Tomography. Magnus Gedda. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 727, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
  88. Heuristics for grey-weighted distance computations. Magnus Gedda. In Symposium on Image Analysis, Uppsala, March 11-12. Proceedings SSBA 2010., 2010.
  89. Three-Dimensional Tracing of Neurites in Fluorescence Microscopy Images Using Local Path-Finding. Magnus Gedda and Pascal Vallotton. In 2010 IEEE International Conference On Acoustics, Speech And Signal Processing, 2010. ICASSP 2010, International Conference on Acoustics Speech and Signal Processing ICASSP, pp 646-649, 2010.
  90. Adaptive random re-routing for differentiated QoS in sensor networks. Erol Gelenbe and Edith Ngai. In Computer journal, volume 53, number 7, pp 1052-1061, 2010. (DOI).
  91. A concurrent language with a uniform treatment of regions and locks. Prodromos Gerakios, Nikolaos Papaspyrou, and Konstantinos Sagonas. In Proc. 2nd Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software: PLACES 2009, volume 17 of Electronic Proceedings in Theoretical Computer Science, pp 79-93, 2010. (DOI).
  92. Race-free and memory-safe multithreading: Design and implementation in Cyclone. Prodromos Gerakios, Nikolaos Papaspyrou, and Konstantinos Sagonas. In Proc. 5th International Workshop on Types in Language Design and Implementation, pp 15-26, ACM Press, New York, 2010. (DOI).
  93. A novel method for solving multiscale elliptic problems with randomly perturbed data. Victor Ginting, Axel Målqvist, and Michael Presho. In Multiscale Modeling & simulation, volume 8, pp 977-996, 2010. (DOI).
  94. NARX identification of Hammerstein systems using least-squares support vector machines. Ivan Goethals, Kristiaan Pelckmans, Tillmann Falck, Johan A. K. Suykens, and Bart De Moor. In Block-oriented Nonlinear System Identification, volume 404 of Lecture Notes in Control and Information Sciences, pp 241-258, Springer-Verlag, Berlin, 2010. (DOI).
  95. An algebraic variational multiscale–multigrid method for large eddy simulation of turbulent flow. Volker Gravemeier, Michael W. Gee, Martin Kronbichler, and Wolfgang A. Wall. In Computer Methods in Applied Mechanics and Engineering, volume 199, pp 853-864, 2010. (DOI).
  96. Learning of event-recording automata. Olga Grinchtein, Bengt Jonsson, and Martin Leucker. In Theoretical Computer Science, volume 411, number 47, pp 4029-4054, 2010. (DOI).
  97. Costs and constraints from time-delayed feedback in small gene regulatory motifs. Andreas Grönlund, Per Lötstedt, and Johan Elf. In Proceedings of the National Academy of Sciences of the United States of America, volume 107, pp 8171-8176, 2010. (DOI).
  98. Fixed-Priority Multiprocessor Scheduling with Liu &amp; Layland's Utilization Bound. Nan Guan, Martin Stigge, Wang Yi, and Ge Yu. In Proc. 16th Real-Time and Embedded Technology and Applications Symposium, pp 165-174, IEEE, Piscataway, NJ, 2010. (DOI).
  99. An iterative adaptive approach for blood velocity estimation using ultrasound. Erik Gudmundson, Andreas Jakobsson, J. Jensen, and Peter Stoica. In The 18th European Signal Processing Conference, Aalborg, Denmark, 2010.
  100. Signal Processing for Spectroscopic Applications. Erik Gudmundson. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 91, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
  101. Spectral Estimation of Irregularly Sampled Exponentially Decaying Signals with Applications to RF Spectroscopy. Erik Gudmundson, Peter Stoica, Jian Li, Andreas Jakobsson, Michael D. Rowe, John A. S. Smith, and Jun Ling. In Journal of magnetic resonance (San Diego, Calif. 1997: Print), volume 203, number 1, pp 167-176, 2010. (DOI).
  102. Handover for a portable communication device between local and wide area wireless networks. Per Gunningberg, Mattias Hansson, Pekka Hedqvist, Jonne Kodu, and Esbjörn Köhler. EU, WO, 2010. (External link).
  103. An implementation framework for solving high-dimensional PDEs on massively parallel computers. Magnus Gustafsson and Sverker Holmgren. In Numerical Mathematics and Advanced Applications: 2009, pp 417-424, Springer-Verlag, Berlin, 2010. (DOI).
  104. Efficient cache modeling with sparse data. Erik Hagersten, David Eklöv, and David Black-Schaffer. In Processor and System-on-Chip Simulation, pp 193-209, Springer, New York, 2010. (DOI).
  105. Interaction Analysis in Multivariable Control Systems: Applications to Bioreactors for Nitrogen Removal. Björn Halvarsson. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 92, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext, errata).
  106. Comments on "The equations of motion for a standing human reveal three mechanisms for balance" (A. Hof, Vol. 40, pp. 451–457). Kjartan Halvorsen. In Journal of Biomechanics, volume 43, number 16, pp 3244-3247, 2010. (DOI).
  107. Energy-efficient task-mapping for data-driven sensor network macroprogramming using constraint programming. Farshid Hassani Bijarbooneh, Pierre Flener, Edith Ngai, and Justin Pearson. In Proc. 9th International Workshop on Constraint Modelling and Reformulation, p 13, Department of Information Technology, Uppsala University, Uppsala, Sweden, 2010. (fulltext).
  108. 3D Stereoscopic Rendering: An Overview of Implementation Issues. Anders Hast. In Game Engine Gems, pp 123-138, 2010.
  109. Europar 2010, Parallel Processing Workshops: UCHPC2010.. Anders Hast (ed). Springer, 2010.
  110. Use and analysis of student response systems in two summer courses. Amie Hauer and Mats Daniels. In Att undervisa med vetenskaplig förankring – i praktiken!, volume 8 of Rapportserie från Avdelningen för universitetspedagogisk utveckling, pp 115-128, Uppsala universitet, 2010.
  111. On aperiodic correlation bounds. Hao He, Peter Stoica, and Jian Li. In IEEE Signal Processing Letters, volume 17, number 3, pp 253-256, 2010. (DOI).
  112. Waveform design with stopband and correlation constraints for cognitive radar. Hao He, Peter Stoica, and Jian Li. In The 2nd International Workshop on Cognitive Information Processing, Elba, Italy, 2010.
  113. Wideband MIMO waveform design for transmit beampattern synthesis. Hao He, Peter Stoica, and Jian Li. In The 5th IEEE Waveform Diversity and Design Conference, Niagara Falls, Canada, 2010.
  114. On an augmented Lagrangian-based preconditioning of Oseen type problems. Xin He, Maya Neytcheva, and Stefano Serra Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2010-026, 2010. (External link).
  115. Image-based comparison of pre-modern coins and medals. Jens Hedrich, Dietrich Paulus, Hendrik Mäkeler, and Ewert Bengtsson. In 16 Workshop Farbbildverarbeitung, pp 156-169, 2010. (External link, External link).
  116. Generic finite element programming for massively parallel flow simulations. Timo Heister, Martin Kronbichler, and Wolfgang Bangerth. In Proc. ECCOMAS CFD Conference 2010, p 10, Tech. Univ. Lisbon, Portugal, 2010.
  117. Massively parallel finite element programming. Timo Heister, Martin Kronbichler, and Wolfgang Bangerth. In Recent Advances in the Message Passing Interface, volume 6305 of Lecture Notes in Computer Science, pp 122-131, Springer-Verlag, Berlin, 2010. (DOI).
  118. Incorporating active transport of cellular cargo in stochastic mesoscopic models of living cells. Andreas Hellander and Per Lötstedt. Technical report / Department of Information Technology, Uppsala University nr 2010-003, 2010. (External link).
  119. Incorporating active transport of cellular cargo in stochastic mesoscopic models of living cells. Andreas Hellander and Per Lötstedt. In Multiscale Modeling & simulation, volume 8, pp 1691-1714, 2010. (DOI).
  120. Flexible single molecule simulation of reaction-diffusion processes. Stefan Hellander and Per Lötstedt. Technical report / Department of Information Technology, Uppsala University nr 2010-014, 2010. (External link).
  121. Convergence analysis of finite element approximations of the Joule heating problem in three spatial dimensions. Michael J. Holst, Mats G. Larson, Axel Målqvist, and Robert Söderlund. In BIT Numerical Mathematics, volume 50, pp 781-795, 2010. (DOI).
  122. On Handling Data in Automata Learning: Considerations from the CONNECT Perspective. Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, and Sofia Cassel. In Leveraging Applications of Formal Methods, Verification, and Validation: Part II, volume 6416 of Lecture Notes in Computer Science, pp 221-235, Springer-Verlag, Berlin, 2010. (DOI).
  123. Quality-of-Information Aware Data Delivery for Wireless Sensor Networks: Description and Experiments. Gregory Humber and Edith C.-H. Ngai. In Proc. Wireless Communications and Networking Conference 2010, p 6, IEEE, Piscataway, NJ, 2010. (DOI).
  124. Numerical methods for uncertainty propagation in high speed flows. Gianluca Iaccarino, Per Pettersson, Jan Nordström, and Jeroen Witteveen. In Proc. ECCOMAS CFD Conference 2010, p 11, Tech. Univ. Lisbon, Portugal, 2010.
  125. Velocity and pressure-based partitions of horizontal and vertical trajectories for on-line signature verification. Muhammad Talal Ibrahim, M. Aurangzeb Khan, Khurram Saleem Alimgeer, M Khalid Khan Niazi, Imtiaz A. Taj, and Ling Guan. In Pattern Recognition, volume 43, number 8, pp 2817-2832, 2010. (DOI).
  126. Physicians' concept of time usage: A key concern in EPR deployment. Rebecka Janols, Bengt Göransson, Erik Borälv, and Bengt Sandblad. World Computer Congress 2010, Springer-Verlag, Berlin, 2010. (DOI, Physicians Concept of Time Usage).
  127. Mathematical modeling and grey-box identification of the human smooth pursuit mechanism. Daniel Jansson, Alexander Medvedev, Peter Stoica, and Hans W. Axelson. In Proc. International Conference on Control Applications: CCA 2010, pp 1023-1028, IEEE, Piscataway, NJ, 2010. (DOI).
  128. A Grid-Enabled Problem Solving Environment for QTL Analysis in R. Mahen Jayawardena, Carl Nettelblad, Salman Toor, Per-Olov Östberg, Erik Elmroth, and Sverker Holmgren. In Proc. 2nd International Conference on Bioinformatics and Computational Biology, pp 202-209, ISCA, Cary, NC, 2010.
  129. An e-Science Approach to Genetic Analysis of Quantitative Traits. Mahen Jayawardena. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 708, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
  130. Computational and visualization tools for genetic analysis of complex traits. Mahen Jayawardena, Salman Toor, and Sverker Holmgren. Technical report / Department of Information Technology, Uppsala University nr 2010-001, 2010. (External link).
  131. A Cost-Efficient and Automatic Digitization Workflow Using Commodity Hardware and Image Analysis. Henrik Johansson, Per Erik Svedlund, Erik Siira, and Hamid Sarve. In Archiving 2010, volume 7 of Archiving, Society for Imaging Science and Technology, Den Haag, 2010.
  132. A Fully Abstract Symbolic Semantics for Psi-Calculi. Magnus Johansson, Björn Victor, and Joachim Parrow. In Proc. 6th Workshop on Structural Operational Semantics: SOS 2009, volume 18 of Electronic Proceedings in Theoretical Computer Science, pp 17-31, 2010. (DOI).
  133. Psi-calculi: a framework for mobile process calculi?: Cook your own correct process calculus - just add data and logic. Magnus Johansson. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 94, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
  134. Weak Equivalences in Psi-calculi. Magnus Johansson, Jesper Bengtson, Joachim Parrow, and Björn Victor. In Proc. 25th Symposium on Logic in Computer Science: LICS 2010, pp 322-331, IEEE, Piscataway, NJ, 2010. (DOI).
  135. Computer aided ethical IT systems design. Iordanis Kavathatzopoulos and Mikael Laaksoharju. In ETHICOMP 2010: The "backwards, forwards, and sideways" changes of ICT, pp 332-340, Universitat Rovira i Virgili, Tarragona, Spain, 2010. (External link).
  136. Information Technology, democratic societies and competitive markets. Iordanis Kavathatzopoulos. In An information law for the 21st Century, Nomiki Vivliothiki, Athens, 2010.
  137. Robots and systems as autonomous ethical agents. Iordanis Kavathatzopoulos. In INTECH 2010: Proceedings of the 11th International Conference on Intelligent Technologies, pp 5-9, Assumption University, Bangkok, 2010.
  138. SARC coherence: Scaling directory cache coherence in performance and power. Stefanos Kaxiras and Georgios Keramidas. In IEEE Micro, volume 30, number 5, pp 54-65, 2010. (DOI).
  139. Interval-based models for run-time DVFS orchestration in superscalar processors. Georgios Keramidas, Vasileios Spiliopoulos, and Stefanos Kaxiras. In Proc. 7th International Conference on Computing Frontiers, pp 287-296, ACM Press, New York, 2010. (DOI).
  140. Where replacement algorithms fail: a thorough analysis. Georgios Keramidas, Pavlos Petoumenos, and Stefanos Kaxiras. In Proc. 7th International Conference on Computing Frontiers, pp 141-150, ACM Press, New York, 2010. (DOI).
  141. Magnetohydrodynamic flow of a Sisko fluid in annular pipe: A numerical study. Masood Khan, Qaisar Abbas, and Kenneth Duru. In International Journal for Numerical Methods in Fluids, volume 62, pp 1169-1180, 2010. (DOI).
  142. Three-dimensional texture analysis of renal cell carcinoma cell nuclei for computerized automatic grading. Tae-Yun Kim, Hyun-Ju Choi, Hae-Gil Hwang, and Heung-Kook Choi. In Journal of medical systems, volume 34, number 4, pp 709-716, Springer, Netherlands, 2010. (DOI).
  143. Different levels of 3D: An evaluation of visualized discrete spatiotemporal data in space-time cubes. Andreas Kjellin, Lars Winkler Pettersson, Stefan Seipel, and Mats Lind. In Information Visualization, volume 9, number 2, pp 152-164, 2010. (DOI).
  144. Evaluating 2D and 3D Visualizations of Spatiotemporal Information. Andreas Kjellin, Lars Winkler Pettersson, Stefan Seipel, and Mats Lind. In ACM Transactions on Applied Perception, volume 7, number 3, pp 19:1-23, 2010. (DOI).
  145. Minimizing Multi-Resource Energy for Real-Time Systems with Discrete Operation Modes. Fanxin Kong, Yiqun Wang, Qingxu Deng, and Wang Yi. In Proc. 22nd Euromicro Conference on Real-Time Systems, pp 113-122, IEEE, Piscataway, NJ, 2010. (DOI).
  146. A Fourier-coefficient based solution of an optimal control problem in quantum chemistry. Katharina Kormann, Sverker Holmgren, and Hans O. Karlsson. In Journal of Optimization Theory and Applications, volume 147, pp 491-506, 2010. (DOI).
  147. Error control for simulations of a dissociative quantum system. Katharina Kormann and Anna Nissen. In Numerical Mathematics and Advanced Applications: 2009, pp 523-531, Springer-Verlag, Berlin, 2010. (DOI).
  148. Management of moral knowledge and ethical processes in organizations. Agata Kostrzewa, Mikael Laaksoharju, and Iordanis Kavathatzopoulos. In Ethical issues and social dilemmas in knowledge management: Organizational innovation, pp 199-214, IGI Global, Hershey, USA, 2010.
  149. Interaction of waves with frictional interfaces using summation-by-parts difference operators I: Weak enforcement of nonlinear boundary conditions. Jeremy E. Kozdon, Eric M. Dunham, and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2010-017, 2010. (External link).
  150. Interaction of waves with frictional interfaces using summation-by-parts difference operators II: Extension to full elastodynamics. Jeremy E. Kozdon, Eric M. Dunham, and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2010-018, 2010. (External link).
  151. Numerical Mathematics and Advanced Applications: 2009. Gunilla Kreiss, Per Lötstedt, Axel Målqvist, and Maya Neytcheva (eds). Springer-Verlag, Berlin, 2010.
  152. Towards Identification of Highly Pathogenic Viruses Based on Image Analysis and TEM. Gustaf Kylberg, Mats Uppström, Kjell-Olof Hedlund, and Ida-Maria Sintorn. In TAMSEC 2010, pp 25-25, 2010. (External link).
  153. Let us be philosophers!: Computerized support for ethical decision making. Mikael Laaksoharju. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2010-005, Uppsala University, 2010. (fulltext).
  154. The Effect of Reynolds Number in High Order Accurate Calculations with Shock Diffraction. Craig Law, Qaisar Abbas, Jan Nordström, and Beric W. Skews. In Proc. 7th South African Conference on Computational and Applied Mechanics, pp 416-423, South African Association for Theoretical and Applied Mechanics, 2010. (fulltext:postprint).
  155. High resolution angle-Doppler imaging for MTI radar. Jian Li, Xumin Zhu, Peter Stoica, and Muralidhar Rangaswamy. In IEEE Transactions on Aerospace and Electronic Systems, volume 46, number 3, pp 1544-1556, 2010. (DOI).
  156. Iterative adaptive approach for wide-band active sonar array processing. Jian Li, Zhaofu Chen, Peter Stoica, and K. Lo. In IEEE Oceans 2010 Conference, Sydney, Australia, 2010.
  157. The phased array is the maximum SNR active array. Jian Li and Peter Stoica. In IEEE signal processing magazine (Print), volume 27, number 2, pp 143-144, 2010. (DOI).
  158. De-noising of SRµCT Fiber Images by Total Variation Minimization. Joakim Lindblad, Natasa Sladoje, and Tibor Lukic. In Proceedings of the 20th International Conference on Pattern Recognition (ICPR10), pp 4621-4624, IEEE, 2010. (DOI).
  159. A stable and high order interface procedure for conjugate heat transfer problems. Jens Lindström and Jan Nordström. In Numerical Mathematics and Advanced Applications: 2009, pp 599-607, Springer-Verlag, Berlin, 2010. (DOI).
  160. A stable and high-order accurate conjugate heat transfer problem. Jens Lindström and Jan Nordström. In Journal of Computational Physics, volume 229, pp 5440-5456, 2010. (DOI).
  161. Spectral analysis of the continuous and discretized heat and advection equation on single and multiple domains. Jens Lindström and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2010-030, 2010. (External link).
  162. Covert underwater acoustic communications. Jun Ling, Hao He, Jian Li, William Roberts, and Peter Stoica. In Journal of the Acoustical Society of America, volume 128, number 5, pp 2898-2909, 2010. (DOI).
  163. Design, Implementation, and Evaluation of Wireless Sensor Network Systems. Jiangchuan Liu, Jiannong Cao, Xiang-Yang Li, Limin Sun, Dan Wang, and Edith C.-H. Ngai. In EURASIP Journal on Wireless Communications and Networking, pp 439890:1-2, 2010. (DOI).
  164. Efficient algorithms for multidimensional global optimization in genetic mapping of complex traits. Kajsa Ljungberg, Kateryna Mishchenko, and Sverker Holmgren. In Advances and Applications in Bioinformatics and Chemistry, volume 3, pp 75-88, 2010. (DOI).
  165. Early results using hardware transactional memory for high-performance computing applications. Karl Ljungkvist, Martin Tillenius, Sverker Holmgren, Martin Karlsson, and Elisabeth Larsson. In Proc. 3rd Swedish Workshop on Multi-Core Computing, pp 93-97, Chalmers University of Technology, Göteborg, Sweden, 2010. (fulltext:postprint).
  166. Constrained and Dimensionality-Independent Path Openings. Cris L. Luengo Hendriks. In IEEE Transactions on Image Processing, volume 19, number 6, pp 1587-1595, 2010. (DOI).
  167. Path openings and their applications. Cris L. Luengo Hendriks. In Proceedings SSBA 2010: Symposium on Image Analysis, pp 79-82, Centre for Image Analysis, Uppsala, 2010.
  168. Proceedings SSBA 2010: Symposium on Image Analysis. Cris L. Luengo Hendriks and Milan Gavrilovic (eds). Volume 34 of Centre for Image Analysis Report Series, Centre for Image Analysis, Uppsala, 2010.
  169. Revisiting priority queues for image analysis. Cris L. Luengo Hendriks. In Pattern Recognition, volume 43, number 9, pp 3003-3012, 2010. (DOI).
  170. Combining abstract interpretation with model checking for timing analysis of multicore software. Mingsong Lv, Wang Yi, Nan Guan, and Ge Yu. In Proc. Real-Time Systems Symposium: RTSS 2010, pp 339-349, IEEE, Piscataway, NJ, 2010. (DOI).
  171. Static worst-case execution time analysis of the ?C/OS-II real-time kernel. Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, and Wang Yi. In Frontiers of Computer Science in China, volume 4, number 1, pp 17-27, 2010. (DOI).
  172. Virtuella Samarbeten: Studie av uppfattningar kring webbaserade moduler inom ramen för Vision 2030 i Stockholms Stad, delrapport 1. Anette Löfström. Nationellt IT-användarcentrum (NITA), Uppsala, 2010. (fulltext).
  173. What is Culture?: Toward Common Understandings of Culture in HCI. Anette Löfström. In Human-Computer Interaction, volume 332 of IFIP Advances in Information and Communication Technology, pp 133-141, Springer Berlin/Heidelberg, 2010. (DOI).
  174. PAPSYNTH: Simulated Bright-field Images of Cervical Smears. Patrik Malm, Anders Brun, and Ewert Bengtsson. In 2010 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, volume 7 of Biomedical Imaging: From Nano to Macro, 2010.
  175. Relaxed Image Foresting Transforms for Interactive Volume Image Segmentation. Filip Malmberg, Ingela Nyström, Andrew Mehnert, Craig Engstrom, and Ewert Bengtsson. In MEDICAL IMAGING 2010: IMAGE PROCESSING, volume 7623 of Proceedings of SPIE-The International Society for Optical Engineering, 2010. (DOI).
  176. Local search over relational databases. Toni Mancini, Pierre Flener, and Justin Pearson. In Proc. 7th International Workshop on Local Search Techniques in Constraint Satisfaction, p 15, Department of Computing Science and Engineering, Université catholique de Louvain, Belgium, 2010. (Fulltext).
  177. Proc. 9th International Workshop on Constraint Modelling and Reformulation. Toni Mancini and Justin Pearson (eds). Department of Information Technology, Uppsala University, Uppsala, Sweden, 2010. (Programme).
  178. Merging PK/PD information in a minimally parameterized model of the NeuroMuscular Blockade. Margarida Martins da Silva, Juliana Almeida, Torbjörn Wigren, and Teresa Mendonça. In Proc. 32nd International Conference of the IEEE Engineering in Medicine and Biology Society, pp 4602-4605, IEEE, Piscataway, NJ, 2010. (DOI).
  179. Online Nonlinear Identification of the Effect of Drugs in Anæsthesia using a Minimal Parameterization and BIS Measurements. Margarida Martins da Silva, Teresa Mendonça, and Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2010-008, 2010. (External link).
  180. Online nonlinear identification of the effect of drugs in anæsthesia using a minimal parameterization and BIS measurements. Margarida Martins da Silva, Teresa Mendonça, and Torbjörn Wigren. In Proc. American Control Conference: ACC 2010, pp 4379-4384, American Automatic Control Council, 2010.
  181. Stable and accurate interpolation operators for high-order multiblock finite difference methods. Ken Mattsson and Mark H. Carpenter. In SIAM Journal on Scientific Computing, volume 32, pp 2298-2320, 2010. (DOI).
  182. Stable and accurate second-order formulation of the shifted wave equation. Ken Mattsson and Florencia Parisi. In Communications in Computational Physics, volume 7, pp 103-137, 2010. (DOI).
  183. Summation by parts operators for finite difference approximations of second-derivatives with variable coefficients. Ken Mattsson. Technical report / Department of Information Technology, Uppsala University nr 2010-023, 2010. (External link).
  184. Computing students learning computing informally. Robert McCartney, Anna Eckerdal, Jan Erik Moström, Kate Sanders, Lynda Thomas, and Carol Zander. In Proc. 10th International Conference on Computing Education Research: Koli Calling, pp 43-48, ACM Press, New York, 2010. (DOI).
  185. Directional sensitivity of continuous least-squares state estimators. Alexander Medvedev and Hannu T. Toivonen. In Systems & control letters (Print), volume 59, number 9, pp 571-577, 2010. (DOI).
  186. Two Non-linear Parametric Models of Contrast Enhancement for DCE-MRI of the Breast Amenable to Fitting Using Linear Least Squares. Andrew Mehnert, M. Wildermoth, Stuart Crozier, Ewert Bengtsson, and D. Kennedy. In Proceedings 2010 International Conference on Digital Image Computing: Techniques and Applications (DICTA 2010), pp 611-616, IEEE Computer Society, IEEE Computer Society, Los Alamitos, CA, USA, 2010. (DOI).
  187. Assessing a multiple QTL search using the variance component model. Kateryna Mishchenko, Lars Rönnegård, Sverker Holmgren, and Volodymyr Mishchenko. In Computational biology and chemistry (Print), volume 34, pp 34-41, 2010. (DOI).
  188. Sub-optimal networked system identificationbased on covariance functions. Magnus Mossberg, Yasir Irshad, and Torsten Söderström. In NecSys '10, 2nd IFAC Workshop on Distributed Estimationand Control in Networked Systems, 2010.
  189. Unbalance estimation using linear and nonlinear regression. Peter Nauclér and Torsten Söderström. In Automatica, volume 46, number 11, pp 1752-1761, 2010. (DOI).
  190. Assessing orthogonality and statistical properties of linear regression methods for interval mapping with partial information. Carl Nettelblad, Örjan Carlborg, and José M. Álvarez-Castro. Technical report / Department of Information Technology, Uppsala University nr 2010-005, 2010. (External link).
  191. Stochastically guaranteed global optima in multi-dimensional QTL searches. Carl Nettelblad and Sverker Holmgren. Technical report / Department of Information Technology, Uppsala University nr 2010-006, 2010. (External link).
  192. Using Markov models and a stochastic Lipschitz condition for genetic analyses. Carl Nettelblad. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2010-002, Uppsala University, 2010. (fulltext).
  193. Element-by-element Schur complement approximations for general nonsymmetric matrices of two-by-two block form. Maya Neytcheva, Minh Do-Quang, and Xin He. In Large-Scale Scientific Computing, volume 5910 of Lecture Notes in Computer Science, pp 108-115, Springer-Verlag, Berlin, 2010. (DOI).
  194. Finite-element based sparse approximate inverses for block-factorized preconditioners. Maya Neytcheva, Erik Bängtsson, and Elisabeth Linnér. Technical report / Department of Information Technology, Uppsala University nr 2010-010, 2010. (External link).
  195. A delay-aware reliable event reporting framework for wireless sensor–actuator networks. Edith Ngai, Yangfan Zhou, Michael R. Lyu, and Jiangchuan Liu. In Ad hoc networks, volume 8, number 7, pp 694-707, 2010. (DOI).
  196. A Modified Particle Swarm Optimization Applied in Image Registration. M Khalid Khan Niazi and Ingela Nyström. In Proceedings of 20th International Conference on Pattern Recognition, pp 2302-2305, IEEE computer society, 2010.
  197. Image Registration using Particle swarm optimization approach. M Khalid Khan Niazi, Jens Hedrich, and Nyström Ingela. In Symposium on Image Analysis, pp 31-34, 2010.
  198. Chelonia — a self-healing storage cloud. Jon K. Nilsen, Salman Toor, Zsombor Nagy, and Bjarte Mohn. In Proc. 9th Cracow Grid Workshop, pp 5-12, ACC Cyfronet AGH, Kraków, Poland, 2010.
  199. Improved methodology for identifying the teratogenic potential in early drug development of hERG channel blocking drugs. Mats F. Nilsson, C. Danielsson, A.-C. Sköld, A. Johansson, B. Blomgren, J. Wilson, Khalid Muhammad Khan Niazi, Ewert Bengtsson, Kim Kultima, W. S. Webster, and Bengt R. Danielsson. In Reproductive Toxicology, volume 29, number 2, pp 156-163, Elsevier, 2010. (DOI).
  200. A perfectly matched layer applied to a reactive scattering problem. Anna Nissen, Hans O. Karlsson, and Gunilla Kreiss. In Journal of Chemical Physics, volume 133, pp 054306:1-11, 2010. (DOI).
  201. Absorbing boundary techniques for the time-dependent Schrödinger equation. Anna Nissen. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2010-001, Uppsala University, 2010. (fulltext).
  202. Fluid structure interaction problems: the necessity of a well posed, stable and accurate formulation. Jan Nordström and Sofia Eriksson. In Communications in Computational Physics, volume 8, pp 1111-1138, 2010. (DOI).
  203. A hybrid scheme for bore design optimization of a brass instrument. Daniel Noreland, Rajitha Udawalpola, and Martin Berggren. In Journal of the Acoustical Society of America, volume 128, pp 1391-1400, 2010. (DOI).
  204. An efficient loudspeaker horn designed by numerical optimization: An experimental study. Daniel Noreland, Rajitha Udawalpola, Pablo Seoane, Eddie Wadbro, and Martin Berggren. Report / UMINF nr 10.01, Department of Computing Science, Umeå University, 2010.
  205. Årsringsmätning med bildanalys. Kristin Norell and Gunilla Borgefors. In Fakta Skog, SLU, number 2, p 4p, 2010.
  206. Iterative Learning Control and Recursive Identification. Johannes Nygren, Kristiaan Pelckmans, and Bengt Carlsson. Reglermöte 2010, Lund, 8–9 juni 2010, 2010. (fulltext).
  207. Conveying Conceptions of Quality through Instruction. Arnold Pears. In Proc. 7th International Conference on the Quality of Information and Communications Technology, 2010.
  208. Developing Global Teamwork Skills: The Runestone Project. Arnold Pears and Mats Daniels. In Annual Global Engineering Education Conference (EDUCON): The Future of Global Learning in Engineering Education, IEEE, 2010. (fulltext).
  209. Does Quality Assurance Enhance the Quality of Computing Education?. Arnold Pears. In Australian Computer Science Communications, volume 32, number 2, pp 9-14, 2010. (External link, fulltext).
  210. Explanograms. Arnold Pears. In Kunskapens nya världar: Mötet mellan pedagogik och teknik vid Uppsala Learning Lab, pp 171-179, Uppsala Learning Lab, Uppsala University, 2010.
  211. Should we care about global intercultural collaboration?. Arnold Pears. In ACM Inroads, volume 1, number 3, pp 4-7, 2010. (DOI).
  212. Enhancing Student Engagement in an Introductory Programming Course. Arnold N. Pears. In Proc. 40th ASEE/IEEE Frontiers in Education Conference, pp F1E-1-2, IEEE, Piscataway, NJ, 2010. (DOI).
  213. Efficient adaptive filtering for smooth linear FIR models. Kristiaan Pelckmans, Toon van Waterschoot, and Johan A. K. Suykens. In Proc. 18th European Signal Processing Conference, pp 2136-2140, European Association for Signal Processing, 2010. (fulltext).
  214. On the identification of monotone Wiener systems. Kristiaan Pelckmans. In Proc. 49th Conference on Decision and Control, pp 7208-7213, IEEE, Piscataway, NJ, 2010. (DOI).
  215. Pricing American options using a space-time adaptive finite difference method. Jonas Persson and Lina von Sydow. In Mathematics and Computers in Simulation, volume 80, pp 1922-1935, 2010. (DOI).
  216. MLP-aware instruction queue resizing: The key to power-efficient performance. Pavlos Petoumenos, Georgia Psychou, Stefanos Kaxiras, Juan Manuel Cebrián Gonzalez, and Juan Luis Aragón. In Architecture of Computing Systems – ARCS 2010, volume 5974 of Lecture Notes in Computer Science, pp 113-125, Springer-Verlag, Berlin, 2010. (DOI).
  217. Boundary procedures for the time-dependent Burgers' equation under uncertainty. Per Pettersson, Jan Nordström, and Gianluca Iaccarino. In Acta Mathematica Scientia, volume 30, pp 539-550, 2010. (DOI).
  218. Efficiency of shock capturing schemes for Burgers' equation with boundary uncertainty. Per Pettersson, Qaisar Abbas, Gianluca Iaccarino, and Jan Nordström. In Numerical Mathematics and Advanced Applications: 2009, pp 737-745, Springer-Verlag, Berlin, 2010. (DOI).
  219. An adaptive cross-layer design for prioritized traffic in wireless communications. Guduru K. Pradeep and Edith C.-H. Ngai. In Proc. 6th International Conference on Mobile Ad Hoc and Sensor Networks, pp 203-206, IEEE, Piscataway, NJ, 2010. (DOI).
  220. Density estimation of two-phase flow with multiscale and randomly perturbed data. Michael Presho, Axel Målqvist, and Victor Ginting. In Advances in Water Resources, volume 33, pp 1130-1141, 2010. (DOI).
  221. Structure testing of wave propagation models used in identification of viscoelastic materials. Agnes Rensfelt and Torsten Söderström. In Automatica, volume 46, number 4, pp 728-734, 2010. (DOI).
  222. Viscoelastic Materials: Identification and Experiment Design. Agnes Rensfelt. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 90, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
  223. Repeatable experiments with mobile nodes in a relocatable WSN testbed. Olof Rensfelt, Frederik Hermans, Per Gunningberg, and Lars-Åke Larzon. In Proc. 6th IEEE International Conference on Distributed Computing in Sensor Systems Workshops: DCOSSW 2010, pp 1-6, IEEE Computer Society, 2010. (DOI).
  224. Sensei-UU: a relocatable sensor network testbed. Olof Rensfelt, Frederik Hermans, Lars-Åke Larzon, and Per Gunningberg. In Proc. 5th ACM International Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization, pp 63-70, ACM Press, 2010. (DOI).
  225. Iterative adaptive approaches to MIMO radar imaging. William Roberts, Peter Stoica, Jian Li, Tarik Yardibi, and Firooz A. Sadjadi. In IEEE Journal of Selected Topics in Signal Processing, volume 4, number 1, pp 5-20, 2010. (DOI).
  226. Probing Waveform Synthesis and Receiver Filter Design. William Roberts, Hao He, Jian Li, and Peter Stoica. In IEEE signal processing magazine (Print), volume 27, number 4, pp 99-112, 2010. (DOI).
  227. Secure Overlays: Making Static Key Distribution Schemes Work with Mobile Base Stations in WSNs. Ioana Rodhe and Christian Rohner. In Wired/Wireless Internet Communications, volume 6074 of Lecture Notes in Computer Science, pp 386-397, Springer-Verlag, Berlin, 2010. (DOI).
  228. Speedup and tracking accuracy evaluation of parallel particle filter algorithms implemented on a multicore architecture. Olov Rosén, Alexander Medvedev, and Mats Ekman. In Proc. International Conference on Control Applications: CCA 2010, pp 440-445, IEEE, Piscataway, NJ, 2010. (DOI).
  229. Wireless sensor network deployment in mobile phones assisted environment. Zheng Ruan, Edith C.-H. Ngai, and Jiangchuan Liu. In Proc. 18th International Workshop on Quality of Service, p 9, IEEE, Piscataway, NJ, 2010. (DOI).
  230. Assessment of density matrix methods for electronic structure calculations. Elias Rudberg and Emanuel H. Rubensson. Technical report / Department of Information Technology, Uppsala University nr 2010-024, 2010. (External link).
  231. Coupling visualization and data analysis for knowledge discovery from multi-dimensional scientific data. Oliver Rübel, Sean Ahern, E. Wes Bethel, Mark D. Biggin, Hank Childs, Estelle Cormier-Michel, Angela DePace, Michael B. Eisen, Charless C. Fowlkes, Cameron G.R. Geddes, Hans Hagen, Bernd Hamann, Min-Yu Huang, Soile V.E. Keränen, David W. Knowles, Cris L. Luengo Hendriks, Jitendra Malik, Jeremy Meredith, Peter Messmer, -. Prabhat, Daniela Ushizima, Gunther H. Weber, and Kesheng Wu. In Procedia Computer Science, volume 1, number 1, pp 1751-1758, 2010. (DOI, External link).
  232. Integrating data clustering and visualization for the analysis of 3D gene expression data. Oliver Rübel, Gunther H. Weber, Min-Yu Huang, E. Wes Bethel, Mark D. Biggin, Charless C. Fowlkes, Cris L. Luengo Hendriks, Soile V.E. Keränen, Michael B. Eisen, David W. Knowles, Jitendra Malik, and Bernd Hamann. In IEEE/ACM Transactions on Computational Biology & Bioinformatics, volume 7, number 1, pp 64-79, 2010. (DOI).
  233. Automated Web Service Query Service. Manivasakan Sabesan, Tore Risch, and Feng Luan. In International Journal of Web and Grid Services (IJWGS), volume 6, number 4, pp 400-423, 2010. (DOI).
  234. Querying Data Providing Web Services. Manivasakan Sabesan. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 755, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
  235. Using static analysis to detect type errors and concurrency defects in Erlang programs. Konstantinos Sagonas. In Functional and Logic Programming: FLOPS 2010, volume 6009 of Lecture Notes in Computer Science, pp 13-18, Springer-Verlag, Berlin, 2010. (DOI).
  236. A Software Technique for Reducing Cache Pollution. Andreas Sandberg, David Eklöv, and Erik Hagersten. In Proc. 3rd Swedish Workshop on Multi-Core Computing, pp 59-62, Chalmers University of Technology, Göteborg, Sweden, 2010. (fulltext:postprint).
  237. Reducing Cache Pollution Through Detection and Elimination of Non-Temporal Memory Accesses. Andreas Sandberg, David Eklöv, and Erik Hagersten. In Proc. International Conference for High Performance Computing, Networking, Storage and Analysis: SC 2010, p 11, IEEE, Piscataway, NJ, 2010. (DOI, fulltext:print).
  238. Development and implementation of new principles and systems for train traffic control in Sweden. Bengt Sandblad, Arne W. Andersson, Arvid Kauppi, and Gunnika Isaksson-Lutteman. In Computers in Railways XII: Computer System Design and Operation in Railways and other Transit Systems, pp 441-450, WIT Press, Southampton, UK, 2010. (DOI).
  239. Methods for 3D Visualization of Bone Tissue in the Proximity of Implants. Hamid Sarve, Joakim Lindblad, and Carina B Johansson. In Swedish Symposium on Image Analysis 2010, pp 149-152, Uppsala, 2010.
  240. Methods for Visualization of Bone Tissue in the Proximity of Implants. Hamid Sarve, Joakim Lindblad, Carina Johansson, and Gunilla Borgefors. In International Conference on Computer Vision and Graphics, volume 6375 of Lecture notes on computer science, pp 243-250, Springer, Heidelberg, 2010. (DOI).
  241. On realising a strategy for resilience in opportunistic networks. Marcus Schöller, Paul Smith, Christian Rohner, Merkouris Karaliopoulos, Abdul Jabbar, James P.G. Sterbenz, and David Hutchinson. In Future Network and Mobile Summit, Florence, 2010.
  242. A curvature based lightning model for quai-global diffuse illumination. Stefan Seipel, Fei Liu, and Martin Ericsson. In Eurographics 2010 Posters, 2010.
  243. Om professionell användning av sociala medier och andra digitala kanaler. Håkan Selg. Technical report / Department of Information Technology, Uppsala University nr 2010-028, 2010. (External link).
  244. Using a ring-shaped region around the optic disc in retinal image registration of Glaucoma patients. Bettina Selig, M Khalid Khan Niazi, and Ingela Nyström. In Symposium on Image Analysis, pp 35-38, 2010.
  245. Improved non-parametric sparse recovery with data matched penalties. Marco Signoretto, Kristiaan Pelckmans, Lieven De Lathauwer, and Johan A. K. Suykens. In Proc. 2nd International Workshop on Cognitive Information Processing, pp 46-51, IEEE, Piscataway, NJ, 2010. (DOI).
  246. Gradient based intensity normalization. Ida-Maria Sintorn, Leanne Bischof, Michael Buckley, Paul Jackway, and Stephen Haggarty. In Journal of Microscopy, volume 240, number 3, pp 249-258, 2010. (DOI).
  247. Accelerated Approximation for Stochastic Reachability Games: Extended version of paper <em>New algorithms for solving simple stochastic games</em>. Rafa? Somla. 2010. (fulltext).
  248. SPARQL queries to RDFS views of Topic Maps. Silvia Stefanova and Tore Risch. In International Journal of Metadata, Semantics and Ontologies (IJMSO), volume 5, number 1, pp 1-16, Inderscience, 2010. (DOI).
  249. Agile software development and ISO-IEC software quality standards: Measuring economic benefits and calculating quantitative yields. Anca-Juliana Stoica and Margus Nael. In Proc. 25th International Forum on Systems/Software Cost Modeling, University of Southern California, Los Angeles, CA, 2010.
  250. A new method for moving-average parameter estimation. Peter Stoica, Lin Du, Jian Li, and Tryphon Georgiou. In Proc. 44th Asilomar Conference on Signals, Systems and Computers, pp 1817-1820, IEEE, Piscataway, NJ, 2010. (DOI).
  251. Algebraic Derivation of Elfving Theorem on Optimal Experiment Design and Some Connections With Sparse Estimation. Peter Stoica and Prabhu Babu. In IEEE Signal Processing Letters, volume 17, number 8, pp 743-745, 2010. (DOI).
  252. Sequence sets with optimal integrated periodic correlation level. Peter Stoica, Hao He, and Jian Li. In IEEE Signal Processing Letters, volume 17, number 1, pp 63-66, 2010. (DOI).
  253. Digital Distance Functions on a Honeycomb Point Lattice. Robin Strand and Benedek Nagy. In Workshop on Applications of Discrete Geometry and Mathematical Morphology, pp 17-21, 2010. (External link).
  254. Interpolation and Sampling on a Honeycomb Lattice. Robin Strand. In Proceedings of 20th International Conference on Pattern Recognition, IEEE proceedings, pp 2222-2225, IEEE computer society, 2010. (DOI, External link).
  255. Sampling and Aliasing Properties of Three-Dimensional Point-Lattices. Robin Strand. In <em>Proceedings SSBA'10 Symposium on Image Analysis</em>, Uppsala, Sweden, 2010, pp 23-26, Centre for Image Analysis, Uppsala, 2010. (fulltext).
  256. Sampling and Ideal Reconstruction on the 3D Diamond Grid. Robin Strand. In <em>Proceedings of 20th International Conference on Pattern Recognition, Istanbul, Turkey, August 2010</em>, IEEE proceedings, pp 4609-4612, IEEE computer society, 2010. (DOI).
  257. Parallelizing multicore cache simulations on GPUs. Nikolaos Strikos, Georgios Keramidas, and Stefanos Kaxiras. In Proc. 3rd Swedish Workshop on Multi-Core Computing, pp 3-8, Chalmers University of Technology, Göteborg, Sweden, 2010.
  258. Contingency plans for air traffic flow and capacity management. Karl Sundequist Blomdahl, Pierre Flener, and Justin Pearson. In Proc. 9th Innovative Research Workshop and Exhibition, pp 119-126, EUROCONTROL Experimental Centre, Brétigny sur Orge, France, 2010. (fulltext).
  259. Contingency plans for air traffic management. Karl Sundequist Blomdahl, Pierre Flener, and Justin Pearson. In Principles and Practice of Constraint Programming – CP 2010, volume 6308 of Lecture Notes in Computer Science, pp 643-657, Springer-Verlag, Berlin, 2010. (DOI).
  260. Primal and dual model representations in kernel-based learning. Johan A. K. Suykens, Carlos Alzate, and Kristiaan Pelckmans. In Statistics Surveys, volume 4, pp 148-183, 2010. (DOI).
  261. Towards automatic visualization of MET biomedical data. Lennart Svensson. In Proceedings SSBA 2010: Symposium on Image Analysis, pp 83-86, Uppsala University Printers, Uppsala, 2010.
  262. A computational study of vortex-airfoil interaction using high-order finite difference methods. Magnus Svärd, Johan Lundberg, and Jan Nordström. In Computers & Fluids, volume 39, pp 1267-1274, 2010. (DOI).
  263. Accuracy analysis of time domain maximum likelihood method and sample maximum likelihood method for errors-in-variables and output error identification. Torsten Söderström, Mei Hong, Johan Schoukens, and Rik Pintelon. In Automatica, volume 46, number 4, pp 721-727, 2010. (DOI).
  264. Asymptotic accuracy of covariance function based errors-in-variables system parameter estimates. Torsten Söderström and Magnus Mossberg. In Proc. 49th Conference on Decision and Control, pp 328-333, IEEE, Piscataway, NJ, 2010. (DOI).
  265. Asymptotic accuracy of  covariance function based identifying errors-in-variables systemparameter estimates. Torsten Söderström and Magnus Mossberg. In Reglermöte 2010 (National Conference on Control), 2010.
  266. Errors-in-variables identification using a generalized instrumental variable estimation method. Torsten Söderström. In Reglermöte 2010 (National Conference on Control), 2010.
  267. Errors-in-variables identification using a generalized instrumental variable estimation method. Torsten Söderström. In Proc. 49th Conference on Decision and Control, pp 322-327, IEEE, Piscataway, NJ, 2010. (DOI).
  268. System identification for the errors-in-variables problem. Torsten Söderström. In UKACC International Conference on CONTROL 2010, 2010.
  269. A new sparse sensing approach for MIMO radar imaging. Xing Tan, William Roberts, Jian Li, and Peter Stoica. In The 8th European Conference on Synthetic Aperture Radar, Aachen, Germany, 2010.
  270. Efficient sparse Bayesian learning via Gibbs sampling. Xing Tan, Jian Li, and Peter Stoica. In the 35th International Conference on Acoustics, Speech and Signal Processing, Dallas, USA, 2010.
  271. Estimation of linear deformations of 3D objects. Attila Tanács, Joakim Lindblad, Natasa Sladoje, and Zoltan Kato. In Proceedings of 2010 IEEE 17th International Conference on Image Processing, pp 153-156, 2010. (DOI).
  272. Recursive Identification and Scaling of Non-linear Systems using Midpoint Numerical Integration. Soma Tayamon and Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2010-025, 2010. (External link).
  273. Recursive Prediction Error Identification and Scaling of Non-linear Systems with Midpoint Numerical Integration. Soma Tayamon and Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2010-011, 2010. (External link).
  274. Recursive prediction error identification and scaling of non-linear systems with midpoint numerical integration. Soma Tayamon and Torbjörn Wigren. In 2010  American Control Conference: ACC 2010, Proceedings of the American Control Conference, pp 4510-4515, 2010.
  275. Harnessing Surprise: Tales from students' transformational biographies. Lynda Thomas, Carol Zander, and Anna Eckerdal. In Proc. 41st ACM Technical Symposium on Computer Science Education, pp 300-304, ACM Press, New York, 2010. (DOI).
  276. Threshold Concepts in Computer Science: an ongoing empirical investigation. Lynda Thomas, Jonas Boustedt, Anna Eckerdal, Robert McCartney, Jan Erik Moström, Kate Sanders, and Carol Zander. In Threshold Concepts and Transformational Learning, pp 241-258, Sense Publishers, Rotterdam, The Netherlands, 2010.
  277. Holistic approach to learning and teaching introductory object-oriented programming. Neena Thota. In Computer Science Education, volume 20, number 2, pp 103-127, 2010. (DOI).
  278. Students’ Conceptions of Computer Programming. Michael Thuné and Anna Eckerdal. Technical report / Department of Information Technology, Uppsala University nr 2010-021, 2010. (fulltext).
  279. An efficient task-based approach for solving the <em>n</em>-body problem on multicore architectures. Martin Tillenius and Elisabeth Larsson. PARA 2010: State of the Art in Scientific and Parallel Computing, University of Iceland, Reykjavík, 2010. (fulltext:postprint).
  280. Elite golfers' kinematic sequence in full-swing and partial-swing shots. Fredrik Tinmark, John Hellström, Kjartan Halvorsen, and Alf Thorstensson. In Sports Biomechanics, volume 9, number 4, pp 236-244, 2010. (DOI).
  281. Case-study for different models of resource brokering in grid systems. Salman Toor, Bjarte Mohn, David Cameron, and Sverker Holmgren. Technical report / Department of Information Technology, Uppsala University nr 2010-009, 2010. (External link).
  282. Managing applications and data in distributed computing infrastructures. Salman Toor. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2010-003, Uppsala University, 2010. (fulltext).
  283. Verifying parallel programs with dynamic communication structures. Tayssir Touili and Mohamed Faouzi Atig. In Theoretical Computer Science, volume 411, pp 3460-3468, 2010. (DOI).
  284. Shape Optimization for Acoustic Wave Propagation Problems. Rajitha Udawalpola. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 709, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
  285. Additive survival least-squares support vector machines. Vanya Van Belle, Kristiaan Pelckmans, Johan A. K. Suykens, and Sabine Van Huffel. In Statistics in Medicine, volume 29, number 2, pp 296-308, 2010. (DOI).
  286. On the use of a clinical kernel in survival analysis. Vanya Van Belle, Kristiaan Pelckmans, Johan A. K. Suykens, and Sabine Van Huffel. In Proc. 18th European Symposium on Artificial Neural Networks, pp 451-456, d-side publications, Evere, Belgium, 2010.
  287. High contrast microwave tomography using topology optimization techniques. Eddie Wadbro and Martin Berggren. In Journal of Computational and Applied Mathematics, volume 234, pp 1773-1780, 2010. (DOI).
  288. Microwave tomographic imaging as a sequence of topology optimization problems. Eddie Wadbro. In Optimization and Engineering, volume 11, pp 597-610, 2010. (DOI).
  289. Shape and topology optimization of an acoustic horn-lens combination. Eddie Wadbro, Rajitha Udawalpola, and Martin Berggren. In Journal of Computational and Applied Mathematics, volume 234, pp 1781-1787, 2010. (DOI).
  290. New square-root factorization of inverse Toeplitz matrices. Bo Wahlberg and Peter Stoica. In IEEE Signal Processing Letters, volume 17, number 2, pp 137-140, 2010. (DOI).
  291. On optimal input signal design for frequency response estimation. Bo Wahlberg, Hakan Hjalmarsson, and Peter Stoica. In The 49th IEEE Conference on Decision and Control, Atlanta, USA, 2010.
  292. RTT positioning field performance. Jenni Wennervirta and Torbjörn Wigren. In IEEE Transactions on Vehicular Technology, volume 59, number 7, pp 3656-3661, 2010. (DOI).
  293. A method for analyzing learning outcomes in project courses. Mattias Wiggberg. In Proc. 40th ASEE/IEEE Frontiers in Education Conference, pp T4H-1-2, IEEE, Piscataway, NJ, 2010. (DOI).
  294. Computer Science Project Courses: Contrasting Students’ Experiences with Teachers’ Expectations. Mattias Wiggberg. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 722, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
  295. Emergency call delivery standards impair cellular positioning accuracy. Torbjörn Wigren, Michael Anderson, and Ari Kangas. In Proc. International Conference on Communications: ICC 2010, pp 4655-4660, IEEE, Piscataway, NJ, 2010. (DOI).
  296. Input-output data sets for development and benchmarking in nonlinear identification. Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2010-020, 2010. (External link).
  297. MATLAB software for recursive identification and scaling using a structured nonlinear black-box model: Revision 6. Torbjörn Wigren, Linda Brus, and Soma Tayamon. Technical report / Department of Information Technology, Uppsala University nr 2010-022, 2010. (External link).
  298. Recursive noise floor estimation in WCDMA. Torbjörn Wigren. In IEEE Transactions on Vehicular Technology, volume 59, number 5, pp 2615-2620, 2010. (DOI).
  299. Analysis and visualization of information quality of technical documentation. Anna Wingkvist, Welf Löwe, Morgan Ericsson, and Rüdiger Lincke. In Proc. 4th European Conference on Information Management and Evaluation, pp 388-396, Academic Conferences, Reading, UK, 2010.
  300. Information quality testing. Anna Wingkvist, Morgan Ericsson, Welf Löwe, and Rüdiger Lincke. In Perspectives in Business Informatics Research, volume 64 of Lecture Notes in Business Information Processing, pp 14-26, Springer-Verlag, Berlin, 2010. (DOI).
  301. On the role of visual references in collaborative visualization. Lars Winkler Pettersson, Andreas Kjellin, Mats Lind, and Stefan Seipel. In Information Visualization, volume 9, number 2, pp 98-114, 2010. (DOI).
  302. MIMO radar sparse angle-Doppler imaging for ground moving target indication. Ming Xue, William Roberts, Jian Li, Xing Tan, and Peter Stoica. In IEEE International Radar Conference, Washington DC, USA, 2010.
  303. A covariance fitting approach for correlated acoustic source mapping. Tarik Yardibi, Jian Li, Peter Stoica, Nikolas S. Zawodny, and Louis N. Cattafesta. In Journal of the Acoustical Society of America, volume 127, number 5, pp 2920-2931, 2010. (DOI).
  304. Source Localization and Sensing: A nonparametric iterative adaptive approach based on weighted least squares. Tarik Yardibi, Jian Li, Peter Stoica, Ming Xue, and Arthur B. Baggeroer. In IEEE Transactions on Aerospace and Electronic Systems, volume 46, number 1, pp 425-443, 2010. (DOI).
  305. Multicore embedded systems: The timing problem and possible solutions. Wang Yi. In Formal Methods and Software Engineering, volume 6447 of Lecture Notes in Computer Science, pp 22-23, Springer-Verlag, Berlin, 2010. (DOI).
  306. Application of a transition graph-based predictive algorithm to a solar air conditioning plant. Darine Zambrano, Winston Garcia-Gabin, and Eduardo F. Camacho. In IEEE Transactions on Control Systems Technology, volume 18, number 5, pp 1162-1171, 2010. (DOI).
  307. Scalable Splitting of Massive Data Streams. Erik Zeitler and Tore Risch. In Database Systems for Advanced Applications: Part II, volume 5982 of Lecture Notes in Computer Science, pp 184-198, Springer-Verlag, Berlin, 2010. (DOI, fulltext).
  308. Bright-Field Microscopy Visualization of Proteins and Protein Complexes by In Situ Proximity Ligation with Peroxidase Detection. Agata Zieba, Carolina Wählby, Fredrik Hjelm, Lee Jordan, Jonathan Berg, Ulf Landegren, and Katerina Pardali. In Clinical Chemistry, volume 56, number 1, pp 99-110, 2010. (DOI, External link).
  309. Medio-lateral stability of sit-to-walk performance in older individuals with and without fear of falling. Anna Cristina Åberg, Gunilla Elmgren Frykberg, and Kjartan Halvorsen. In Gait & Posture, volume 31, number 4, pp 438-443, 2010. (DOI).
  310. Early Recognition of Smoke in Digital Video. Julia Åhlén and Stefan Seipel. In Proceedings of European Conference of Computer Science (ECCS'10), pp 301-307, WSEAS Press, 2010.
  311. A regional Swedish consortium for research and education: Demand-driven research within wastewater and sludge management. Linda Åmand and Bengt Carlsson. In Proc. 2nd IWA Water and Energy Conference, pp 100-101, International Water Association, 2010.
  312. Learning control applied to continuous wastewater treatment systems: an initial study. Linda Åmand and Bengt Carlsson. In Proc. 2nd IWA Water and Energy Conference, pp 98-99, International Water Association, 2010.
  313. Direct numerical simulations of localized disturbances in pipe Poiseuille flow. Per-Olov Åsén, Gunilla Kreiss, and Dietmar Rempfer. In Computers & Fluids, volume 39, pp 926-935, 2010. (DOI).
  314. Welterweight Java. Johan Östlund and Tobias Wrigstad. In Objects, Models, Components, Patterns, volume 6141 of Lecture Notes in Computer Science, pp 97-116, Springer-Verlag, Berlin, 2010. (DOI).

Updated  2011-01-03 12:41:39 by Kurt Otto.