Publications 2010
- Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction. In Testing Software and Systems: ICTSS 2010, volume 6435 of Lecture Notes in Computer Science, pp 188-204, Springer-Verlag, Berlin, 2010. (DOI).
- Energy stability of the MUSCL scheme. In Numerical Mathematics and Advanced Applications: 2009, pp 61-68, Springer-Verlag, Berlin, 2010. (DOI).
- Weak versus strong no-slip boundary conditions for the Navier-Stokes equations. In Engineering Applications of Computational Fluid Mechanics, volume 4, pp 29-38, 2010.
- Analyzing the security in the GSM radio network using attack jungles. 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).
- Constrained monotonic abstraction: A CEGAR for parameterized verification. In CONCUR 2010 – Concurrency Theory, volume 6269 of Lecture Notes in Computer Science, pp 86-101, Springer-Verlag, Berlin, 2010. (DOI).
- Forcing monotonicity in parameterized verification: From multisets to words. 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).
- Sampled semantics of timed automata. In Logical Methods in Computer Science, volume 6, number 3, pp 14:1-37, 2010. (DOI).
- Simulation subsumption in Ramsey-based Büchi automata universality and inclusion testing. In Computer Aided Verification, volume 6174 of Lecture Notes in Computer Science, pp 132-147, Springer-Verlag, Berlin, 2010. (DOI).
- Well (and better) quasi-ordered transition systems. In Bulletin of Symbolic Logic, volume 16, number 4, pp 457-515, 2010.
- When simulation meets antichains: On checking language inclusion of nondeterministic finite (tree) automata. 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).
- The effect of drugs with ion channel-blocking activity on the early embryonic rat heart. In Birth defects research. Part B. Developmental and reproductice toxicology, volume 89, number 5, pp 429-440, 2010. (DOI).
- A robust sliding mode controller with internal model for closed-loop artificial pancreas. In Medical and Biological Engineering and Computing, volume 48, number 12, pp 1191-1201, 2010. (DOI).
- Internal model sliding mode control approach for glucose regulation in type 1 diabetes. In Biomedical Signal Processing and Control, volume 5, number 2, pp 94-102, 2010. (DOI).
- Robust signal detection in 3D fluorescence microscopy. In Cytometry. Part A, volume 77A, number 1, pp 86-96, 2010. (DOI).
- Contributions to the initialization of online identification algorithms for anæsthesia: the NeuroMuscular Blockade case study. In Proc. 18th Mediterranean Conference on Control and Automation, pp 1341-1346, IEEE, Piscataway, NJ, 2010. (DOI).
- The next-generation ARC middleware. In Annales des télécommunications, volume 65, pp 771-776, 2010. (DOI).
- Diversity in the construction of organization value. In Which values for which organisations, 2010. (External link).
- From multi to single stack automata. In CONCUR 2010 – Concurrency Theory, volume 6269 of Lecture Notes in Computer Science, pp 117-131, Springer-Verlag, Berlin, 2010. (DOI).
- Global model checking of ordered multi-pushdown systems. 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).
- On the verification problem for weak memory models. In Proc. 37th ACM Symposium on Principles of Programming Languages, pp 7-18, ACM Press, New York, 2010. (DOI).
- 3D pore structure characterisation of paper. In Pattern Analysis and Applications, volume 13, number 2, pp 159-172, 2010. (DOI).
- A general approach to analyse preconditioners for two-by-two block matrices. Technical report / Department of Information Technology, Uppsala University nr 2010-029, 2010. (External link).
- An additive matrix preconditioning method with application for domain decomposition and two-level matrix partitionings. In Large-Scale Scientific Computing, volume 5910 of Lecture Notes in Computer Science, pp 76-83, Springer-Verlag, Berlin, 2010. (DOI).
- Condition number analysis for various forms of block matrix preconditioners. In Electronic Transactions on Numerical Analysis, volume 36, pp 168-194, 2010.
- Analysis of radial velocity data by a novel adaptive approach. In Astronomical Journal, volume 139, number 2, pp 783-793, 2010. (DOI).
- Comments on "Iterative Estimation of Sinusoidal Signal Parameters". In IEEE Signal Processing Letters, volume 17, number 12, pp 1022-1023, 2010. (DOI).
- Linear Systems, Sparse Solutions, and Sudoku. In IEEE Signal Processing Letters, volume 17, number 1, pp 40-42, 2010. (DOI).
- Modeling radial velocity signals for exoplanet search applications. In The 7th International Conference on Informatics in Control, Automation and Robotics, Madeira, Portugal, 2010.
- Spectral analysis of nonuniformly sampled data — a review. In Digital signal processing (Print), volume 20, number 2, pp 359-378, 2010. (DOI).
- A Robust Methodology for In Vivo <em>T</em><sub>1</sub> Mapping. In Magnetic Resonance in Medicine, volume 64, number 4, pp 1057-1067, 2010. (DOI).
- On matrices, automata, and double counting. 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).
- Formalising process calculi. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 93, Acta Universitatis Upsaliensis, Uppsala, 2010.
- Centre for Image Analysis Annual Report 2009. Uppsala University Printers, 2010.
- Recognizing signs of malignancy: The quest for computer assisted cancer screening and diagnosis systems. In International Conference on Computational Intelligence and Computing Research (ICCIC), 2010 IEEE, pp 1-6, IEEE Digital Library, Coimbatore, India, 2010.
- Introductory programming and the didactic triangle. In Australian Computer Science Communications, volume 32, number 2, pp 35-44, 2010. (External link).
- Interest dissemination in a searchable data-centric opportunistic network. In Proc. European Wireless Conference: EW 2010, pp 889-895, IEEE, Piscataway, NJ, 2010. (DOI).
- Dynamic models with quantized output for modeling patient response to pharmacotherapy. In Proc. International Conference on Control Applications: CCA 2010, pp 1029-1034, IEEE, Piscataway, NJ, 2010. (DOI).
- Estimation of dynamic models with output quantization applied to drug response modeling. Reglermöte 2010, Lund, 2010.
- Block-Parallel Programming for Real-time Embedded Applications. In Proc. 39th International Conference on Parallel Processing, pp 297-306, IEEE, Piscataway, NJ, 2010. (DOI, fulltext:postprint).
- Inferring Compact Models of Communication Protocol Entities. 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).
- Invariant synthesis for programs manipulating lists with unbounded data. In Computer Aided Verification, volume 6174 of Lecture Notes in Computer Science, pp 72-88, Springer-Verlag, Berlin, 2010. (DOI).
- A student perspective on software development and maintenance. Technical report / Department of Information Technology, Uppsala University nr 2010-012, 2010. (External link).
- On the Road to a Software Profession: Students’ Experiences of Concepts and Thresholds. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 734, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
- Ways to understand class diagrams. Technical report / Department of Information Technology, Uppsala University nr 2010-013, 2010. (External link).
- Robust AMLI methods for parabolic Crouzeix–Raviart FEM systems. In Journal of Computational and Applied Mathematics, volume 235, pp 380-390, 2010. (DOI).
- Extending Distance Computation - Propagating Derivatives. In Proceedings SSBA 2010, volume 34 of Centre for Image Analysis Report Series, pp 39-42, Centre for Image Analysis, Uppsala, 2010.
- Black-box identification of solar collector dynamics with variant time delay. In Control Engineering Practice, volume 18, number 10, pp 1133-1146, 2010. (DOI).
- Feedforward model predictive control of a non-linear solar collector plant with varying delays. In IET Control Theory and Applications, volume 4, number 8, pp 1421-1435, 2010. (DOI).
- A note on radial basis function interpolant limits. In IMA Journal of Numerical Analysis, volume 30, pp 543-554, 2010. (DOI).
- Internationella studentprojekt – en ämnesdidaktisk utmaning. In Kunskapens nya världar: Mötet mellan pedagogik och teknik vid Uppsala Learning Lab, pp 255-269, Uppsala Learning Lab, Uppsala University, 2010.
- Towards a usability coaching method for institutionalizing usability in organisations. In Human-Computer Interaction, volume 332 of IFIP Advances in Information and Communication Technology, pp 86-97, Springer-Verlag, Berlin, 2010. (DOI).
- Usability – Who Cares?: The Introduction of User-Centred Systems Design in Organisations. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 740, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
- Tribal ownership. 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).
- Resource efficient operation of a class of wastewater treatment processes. In Proc. 2nd IWA Water and Energy Conference, pp 96-97, International Water Association, 2010.
- Revisiting and Extending Interface Penalties for Multidomain Summation-by-Parts Operators. In Journal of Scientific Computing, volume 45, pp 118-150, 2010. (DOI).
- CellMC: a multiplatform model compiler for the Cell Broadband Engine and x86. In Bioinformatics, volume 26, pp 426-428, 2010. (DOI).
- Mode Switch: Adaptive use of delay-sensitive or energy-aware communication in IEEE 802.15.4-based networks. In Proc. 7th International Conference on Mobile Ad Hoc and Sensor Systems, pp 302-311, IEEE, Piscataway, NJ, 2010. (DOI).
- Static detection of race conditions in Erlang. In Practical Aspects of Declarative Languages: PADL 2010, volume 5937 of Lecture Notes in Computer Science, pp 119-133, Springer-Verlag, Berlin, 2010. (DOI).
- Effects of aging and gender on the spatial organization of nuclei in single human skeletal muscle cells. In Aging Cell, volume 9, number 5, pp 685-697, 2010. (DOI).
- NETWORKING 2010. Volume 6091 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2010.
- The Sum of minimal distances as a useful distance measure for image registration. In Proceedings SSBA 2010, pp 55-58, Centre for Image Analysis, Uppsala, 2010.
- Constructive controversy as a way to create "true collaboration" in an open ended group project setting. In Australian Computer Science Communications, volume 32, number 2, pp 73-78, 2010. (External link).
- Engineering Education Research in Practice: Evolving use of open ended group projects as a pedagogical strategy for developing skills in global collaboration. In International journal of engineering education, volume 26, number 4, pp 795-806, 2010.
- Experiences from using Constructive Controversy in an Open Ended Group Project. In Proc. 40th ASEE/IEEE Frontiers in Education Conference, pp S3D-1-5, IEEE, Piscataway, NJ, 2010. (DOI).
- The contribution of open ended group projects to international student collaborations. In ACM Inroads, volume 1, number 3, pp 79-84, 2010. (DOI).
- LS-SVMlab Toolbox User's Guide: version 1.7. ESAT-SISTA Technical Report nr 10-146, Katholieke Universiteit Leuven, Belgium, 2010. (fulltext).
- On Robustness in Kernel Based Regression. NIPS 2010 Workshop: Robust Statistical Learning, Neural Information Processing Systems Foundation, 2010. (fulltext).
- Covariance-based approaches to aeroacoustic noise source analysis. In Journal of the Acoustical Society of America, volume 128, number 5, pp 2877-2887, 2010. (DOI).
- Fully automatic computation of diagonal loading levels for robust adaptive beamforming. In IEEE Transactions on Aerospace and Electronic Systems, volume 46, number 1, pp 449-458, 2010. (DOI).
- Perfectly matched layers for second order wave equations. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2010-004, Uppsala University, 2010. (fulltext).
- Stable perfectly matched layers for the Schrödinger equations. In Numerical Mathematics and Advanced Applications: 2009, pp 287-295, Springer-Verlag, Berlin, 2010. (DOI).
- Well-posed and discretely stable perfectly matched layers for elastic wave equations in second order formulation. Technical report / Department of Information Technology, Uppsala University nr 2010-004, 2010. (External link).
- Simulations of acoustic waves in a turbo-fan engine air intake. In Proc. 16th AIAA/CEAS Aeroacoustics Conference, volume 2010-3999 of Conference Proceeding Series, AIAA, 2010.
- StatCC: a statistical cache contention model. In Proc. 19th International Conference on Parallel Architectures and Compilation Techniques, pp 551-552, ACM Press, New York, 2010. (DOI).
- StatStack: Efficient modeling of LRU caches. In Proc. International Symposium on Performance Analysis of Systems and Software: ISPASS 2010, pp 55-65, IEEE, Piscataway, NJ, 2010. (DOI).
- Agglomeration multigrid for the vertex-centered dual discontinuous Galerkin method. 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).
- Incorporating a discontinuous Galerkin method into the existing vertex-centered edge-based finite volume solver Edge. 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).
- Signal Extraction and Separation in In Vivo Animal PET Studies with Masked Volumewise Principal-Component Analysis. In Journal of Nuclear Medicine Technology, volume 38, number 2, pp 53-60, 2010. (DOI).
- Energy Framework: An extensible framework for simulating battery consumption in wireless networks. In Proc. 3rd International ICST Conference on Simulation Tools and Techniques, pp 20:1-4, ICST, Brussels, Belgium, 2010. (DOI, fulltext).
- An adaptive algorithm for simulation of stochastic reaction-diffusion processes. In Journal of Computational Physics, volume 229, pp 343-360, 2010. (DOI).
- Inductive programming. In Encyclopedia of Machine Learning, pp 537-544, Springer, New York, 2010. (DOI).
- Proc. 10th International Workshop on Symmetry in Constraint Satisfaction Problems. Department of Information Technology, Uppsala University, Uppsala, Sweden, 2010. (Proceedings).
- Programming by demonstration. In Encyclopedia of Machine Learning, pp 805-805, Springer, New York, 2010. (DOI).
- Trace-based programming. In Encyclopedia of Machine Learning, pp 989-989, Springer, New York, 2010. (DOI).
- Rotational transport on a sphere: Local node refinement with radial basis functions. In Journal of Computational Physics, volume 229, pp 1954-1969, 2010. (DOI).
- Image Processing System for Localising Macromolecules in Cryo-Electron Tomography. In Machine Graphics & Vision, volume 19, number 2, pp 159-184, Institute of Computer Science, Polish Academy of Science, Warsaw, Poland, 2010.
- Contributions to 3D Image Analysis using Discrete Methods and Fuzzy Techniques: With Focus on Images from Cryo-Electron Tomography. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 727, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
- Heuristics for grey-weighted distance computations. In Symposium on Image Analysis, Uppsala, March 11-12. Proceedings SSBA 2010., 2010.
- Three-Dimensional Tracing of Neurites in Fluorescence Microscopy Images Using Local Path-Finding. 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.
- Adaptive random re-routing for differentiated QoS in sensor networks. In Computer journal, volume 53, number 7, pp 1052-1061, 2010. (DOI).
- A concurrent language with a uniform treatment of regions and locks. 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).
- Race-free and memory-safe multithreading: Design and implementation in Cyclone. In Proc. 5th International Workshop on Types in Language Design and Implementation, pp 15-26, ACM Press, New York, 2010. (DOI).
- A novel method for solving multiscale elliptic problems with randomly perturbed data. In Multiscale Modeling & simulation, volume 8, pp 977-996, 2010. (DOI).
- NARX identification of Hammerstein systems using least-squares support vector machines. In Block-oriented Nonlinear System Identification, volume 404 of Lecture Notes in Control and Information Sciences, pp 241-258, Springer-Verlag, Berlin, 2010. (DOI).
- An algebraic variational multiscale–multigrid method for large eddy simulation of turbulent flow. In Computer Methods in Applied Mechanics and Engineering, volume 199, pp 853-864, 2010. (DOI).
- Learning of event-recording automata. In Theoretical Computer Science, volume 411, number 47, pp 4029-4054, 2010. (DOI).
- Costs and constraints from time-delayed feedback in small gene regulatory motifs. In Proceedings of the National Academy of Sciences of the United States of America, volume 107, pp 8171-8176, 2010. (DOI).
- Fixed-Priority Multiprocessor Scheduling with Liu & Layland's Utilization Bound. In Proc. 16th Real-Time and Embedded Technology and Applications Symposium, pp 165-174, IEEE, Piscataway, NJ, 2010. (DOI).
- An iterative adaptive approach for blood velocity estimation using ultrasound. In The 18th European Signal Processing Conference, Aalborg, Denmark, 2010.
- Signal Processing for Spectroscopic Applications. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 91, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
- Spectral Estimation of Irregularly Sampled Exponentially Decaying Signals with Applications to RF Spectroscopy. In Journal of magnetic resonance, volume 203, number 1, pp 167-176, 2010. (DOI).
- Handover for a portable communication device between local and wide area wireless networks. EU, WO, 2010. (External link).
- An implementation framework for solving high-dimensional PDEs on massively parallel computers. In Numerical Mathematics and Advanced Applications: 2009, pp 417-424, Springer-Verlag, Berlin, 2010. (DOI).
- Efficient cache modeling with sparse data. In Processor and System-on-Chip Simulation, pp 193-209, Springer, New York, 2010. (DOI).
- Interaction Analysis in Multivariable Control Systems: Applications to Bioreactors for Nitrogen Removal. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 92, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext, errata).
- Comments on "The equations of motion for a standing human reveal three mechanisms for balance" (A. Hof, Vol. 40, pp. 451–457). In Journal of Biomechanics, volume 43, number 16, pp 3244-3247, 2010. (DOI).
- Energy-efficient task-mapping for data-driven sensor network macroprogramming using constraint programming. In Proc. 9th International Workshop on Constraint Modelling and Reformulation, p 13, Department of Information Technology, Uppsala University, Uppsala, Sweden, 2010. (fulltext).
- 3D Stereoscopic Rendering: An Overview of Implementation Issues. In Game Engine Gems, pp 123-138, 2010.
- Europar 2010, Parallel Processing Workshops: UCHPC2010.. Springer, 2010.
- Use and analysis of student response systems in two summer courses. 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.
- On aperiodic correlation bounds. In IEEE Signal Processing Letters, volume 17, number 3, pp 253-256, 2010. (DOI).
- Waveform design with stopband and correlation constraints for cognitive radar. In The 2nd International Workshop on Cognitive Information Processing, Elba, Italy, 2010.
- Wideband MIMO waveform design for transmit beampattern synthesis. In The 5th IEEE Waveform Diversity and Design Conference, Niagara Falls, Canada, 2010.
- On an augmented Lagrangian-based preconditioning of Oseen type problems. Technical report / Department of Information Technology, Uppsala University nr 2010-026, 2010. (External link).
- Image-based comparison of pre-modern coins and medals. In 16 Workshop Farbbildverarbeitung, pp 156-169, 2010. (External link, External link).
- Generic finite element programming for massively parallel flow simulations. In Proc. ECCOMAS CFD Conference 2010, p 10, Tech. Univ. Lisbon, Portugal, 2010.
- Massively parallel finite element programming. In Recent Advances in the Message Passing Interface, volume 6305 of Lecture Notes in Computer Science, pp 122-131, Springer-Verlag, Berlin, 2010. (DOI).
- Incorporating active transport of cellular cargo in stochastic mesoscopic models of living cells. Technical report / Department of Information Technology, Uppsala University nr 2010-003, 2010. (External link).
- Incorporating active transport of cellular cargo in stochastic mesoscopic models of living cells. In Multiscale Modeling & simulation, volume 8, pp 1691-1714, 2010. (DOI).
- Flexible single molecule simulation of reaction-diffusion processes. Technical report / Department of Information Technology, Uppsala University nr 2010-014, 2010. (External link).
- Convergence analysis of finite element approximations of the Joule heating problem in three spatial dimensions. In BIT Numerical Mathematics, volume 50, pp 781-795, 2010. (DOI).
- On Handling Data in Automata Learning: Considerations from the CONNECT Perspective. 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).
- Quality-of-Information Aware Data Delivery for Wireless Sensor Networks: Description and Experiments. In Proc. Wireless Communications and Networking Conference 2010, p 6, IEEE, Piscataway, NJ, 2010. (DOI).
- Numerical methods for uncertainty propagation in high speed flows. In Proc. ECCOMAS CFD Conference 2010, p 11, Tech. Univ. Lisbon, Portugal, 2010.
- Velocity and pressure-based partitions of horizontal and vertical trajectories for on-line signature verification. In Pattern Recognition, volume 43, number 8, pp 2817-2832, 2010. (DOI).
- Physicians' concept of time usage: A key concern in EPR deployment. World Computer Congress 2010, Springer-Verlag, Berlin, 2010. (DOI, Physicians Concept of Time Usage).
- Mathematical modeling and grey-box identification of the human smooth pursuit mechanism. In Proc. International Conference on Control Applications: CCA 2010, pp 1023-1028, IEEE, Piscataway, NJ, 2010. (DOI).
- A Grid-Enabled Problem Solving Environment for QTL Analysis in R. In Proc. 2nd International Conference on Bioinformatics and Computational Biology, pp 202-209, ISCA, Cary, NC, 2010.
- An e-Science Approach to Genetic Analysis of Quantitative Traits. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 708, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
- Computational and visualization tools for genetic analysis of complex traits. Technical report / Department of Information Technology, Uppsala University nr 2010-001, 2010. (External link).
- A Cost-Efficient and Automatic Digitization Workflow Using Commodity Hardware and Image Analysis. In Archiving 2010, volume 7 of Archiving, Society for Imaging Science and Technology, Den Haag, 2010.
- A Fully Abstract Symbolic Semantics for Psi-Calculi. In Proc. 6th Workshop on Structural Operational Semantics: SOS 2009, volume 18 of Electronic Proceedings in Theoretical Computer Science, pp 17-31, 2010. (DOI).
- Psi-calculi: a framework for mobile process calculi: Cook your own correct process calculus - just add data and logic. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 94, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
- Weak Equivalences in Psi-calculi. In Proc. 25th Symposium on Logic in Computer Science: LICS 2010, pp 322-331, IEEE, Piscataway, NJ, 2010. (DOI).
- Computer aided ethical IT systems design. In ETHICOMP 2010: The "backwards, forwards, and sideways" changes of ICT, pp 332-340, Universitat Rovira i Virgili, Tarragona, Spain, 2010. (External link).
- Information Technology, democratic societies and competitive markets. In An information law for the 21st Century, Nomiki Vivliothiki, Athens, 2010.
- Robots and systems as autonomous ethical agents. In INTECH 2010: Proceedings of the 11th International Conference on Intelligent Technologies, pp 5-9, Assumption University, Bangkok, 2010.
- SARC coherence: Scaling directory cache coherence in performance and power. In IEEE Micro, volume 30, number 5, pp 54-65, 2010. (DOI).
- Interval-based models for run-time DVFS orchestration in superscalar processors. In Proc. 7th International Conference on Computing Frontiers, pp 287-296, ACM Press, New York, 2010. (DOI).
- Where replacement algorithms fail: a thorough analysis. In Proc. 7th International Conference on Computing Frontiers, pp 141-150, ACM Press, New York, 2010. (DOI).
- Magnetohydrodynamic flow of a Sisko fluid in annular pipe: A numerical study. In International Journal for Numerical Methods in Fluids, volume 62, pp 1169-1180, 2010. (DOI).
- Three-dimensional texture analysis of renal cell carcinoma cell nuclei for computerized automatic grading. In Journal of medical systems, volume 34, number 4, pp 709-716, Springer, Netherlands, 2010. (DOI).
- Different levels of 3D: An evaluation of visualized discrete spatiotemporal data in space-time cubes. In Information Visualization, volume 9, number 2, pp 152-164, 2010. (DOI).
- Evaluating 2D and 3D Visualizations of Spatiotemporal Information. In ACM Transactions on Applied Perception, volume 7, number 3, pp 19:1-23, 2010. (DOI).
- Minimizing Multi-Resource Energy for Real-Time Systems with Discrete Operation Modes. In Proc. 22nd Euromicro Conference on Real-Time Systems, pp 113-122, IEEE, Piscataway, NJ, 2010. (DOI).
- A Fourier-coefficient based solution of an optimal control problem in quantum chemistry. In Journal of Optimization Theory and Applications, volume 147, pp 491-506, 2010. (DOI).
- Error control for simulations of a dissociative quantum system. In Numerical Mathematics and Advanced Applications: 2009, pp 523-531, Springer-Verlag, Berlin, 2010. (DOI).
- Management of moral knowledge and ethical processes in organizations. In Ethical issues and social dilemmas in knowledge management: Organizational innovation, pp 199-214, IGI Global, Hershey, USA, 2010.
- Interaction of waves with frictional interfaces using summation-by-parts difference operators I: Weak enforcement of nonlinear boundary conditions. Technical report / Department of Information Technology, Uppsala University nr 2010-017, 2010. (External link).
- Interaction of waves with frictional interfaces using summation-by-parts difference operators II: Extension to full elastodynamics. Technical report / Department of Information Technology, Uppsala University nr 2010-018, 2010. (External link).
- Numerical Mathematics and Advanced Applications: 2009. Springer-Verlag, Berlin, 2010.
- Towards Identification of Highly Pathogenic Viruses Based on Image Analysis and TEM. In TAMSEC 2010, pp 25-25, 2010. (External link).
- Let us be philosophers!: Computerized support for ethical decision making. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2010-005, Uppsala University, 2010. (fulltext).
- The Effect of Reynolds Number in High Order Accurate Calculations with Shock Diffraction. 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).
- High resolution angle-Doppler imaging for MTI radar. In IEEE Transactions on Aerospace and Electronic Systems, volume 46, number 3, pp 1544-1556, 2010. (DOI).
- Iterative adaptive approach for wide-band active sonar array processing. In IEEE Oceans 2010 Conference, Sydney, Australia, 2010.
- The phased array is the maximum SNR active array. In IEEE signal processing magazine (Print), volume 27, number 2, pp 143-144, 2010. (DOI).
- De-noising of SRµCT Fiber Images by Total Variation Minimization. In Proceedings of the 20th International Conference on Pattern Recognition (ICPR10), pp 4621-4624, Istanbul, Turkey, 2010. (DOI).
- A stable and high order interface procedure for conjugate heat transfer problems. In Numerical Mathematics and Advanced Applications: 2009, pp 599-607, Springer-Verlag, Berlin, 2010. (DOI).
- A stable and high-order accurate conjugate heat transfer problem. In Journal of Computational Physics, volume 229, pp 5440-5456, 2010. (DOI).
- Spectral analysis of the continuous and discretized heat and advection equation on single and multiple domains. Technical report / Department of Information Technology, Uppsala University nr 2010-030, 2010. (External link).
- Covert underwater acoustic communications. In Journal of the Acoustical Society of America, volume 128, number 5, pp 2898-2909, 2010. (DOI).
- Design, Implementation, and Evaluation of Wireless Sensor Network Systems. In EURASIP Journal on Wireless Communications and Networking, pp 439890:1-2, 2010. (DOI).
- Efficient algorithms for multidimensional global optimization in genetic mapping of complex traits. In Advances and Applications in Bioinformatics and Chemistry, volume 3, pp 75-88, 2010. (DOI).
- Early results using hardware transactional memory for high-performance computing applications. In Proc. 3rd Swedish Workshop on Multi-Core Computing, pp 93-97, Chalmers University of Technology, Göteborg, Sweden, 2010. (fulltext:postprint).
- Constrained and Dimensionality-Independent Path Openings. In IEEE Transactions on Image Processing, volume 19, number 6, pp 1587-1595, 2010. (DOI).
- Path openings and their applications. In Proceedings SSBA 2010: Symposium on Image Analysis, pp 79-82, Centre for Image Analysis, Uppsala, 2010.
- Proceedings SSBA 2010: Symposium on Image Analysis. Volume 34 of Centre for Image Analysis Report Series, Centre for Image Analysis, Uppsala, 2010.
- Revisiting priority queues for image analysis. In Pattern Recognition, volume 43, number 9, pp 3003-3012, 2010. (DOI).
- Combining abstract interpretation with model checking for timing analysis of multicore software. In Proc. Real-Time Systems Symposium: RTSS 2010, pp 339-349, IEEE, Piscataway, NJ, 2010. (DOI).
- Static worst-case execution time analysis of the ?C/OS-II real-time kernel. In Frontiers of Computer Science in China, volume 4, number 1, pp 17-27, 2010. (DOI).
- Virtuella Samarbeten: Studie av uppfattningar kring webbaserade moduler inom ramen för Vision 2030 i Stockholms Stad, delrapport 1. Nationellt IT-användarcentrum (NITA), Uppsala, 2010. (fulltext).
- What is Culture?: Toward Common Understandings of Culture in HCI. In Human-Computer Interaction, volume 332 of IFIP Advances in Information and Communication Technology, pp 133-141, Springer Berlin/Heidelberg, 2010. (DOI).
- PAPSYNTH: Simulated Bright-field Images of Cervical Smears. In 2010 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, volume 7 of Biomedical Imaging: From Nano to Macro, 2010.
- Relaxed Image Foresting Transforms for Interactive Volume Image Segmentation. In MEDICAL IMAGING 2010: IMAGE PROCESSING, volume 7623 of Proceedings of SPIE-The International Society for Optical Engineering, 2010. (DOI).
- Local search over relational databases. 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).
- Proc. 9th International Workshop on Constraint Modelling and Reformulation. Department of Information Technology, Uppsala University, Uppsala, Sweden, 2010. (Programme).
- Merging PK/PD information in a minimally parameterized model of the NeuroMuscular Blockade. In Proc. 32nd International Conference of the IEEE Engineering in Medicine and Biology Society, pp 4602-4605, IEEE, Piscataway, NJ, 2010. (DOI).
- Online Nonlinear Identification of the Effect of Drugs in Anæsthesia using a Minimal Parameterization and BIS Measurements. Technical report / Department of Information Technology, Uppsala University nr 2010-008, 2010. (External link, fulltext).
- Online nonlinear identification of the effect of drugs in anæsthesia using a minimal parameterization and BIS measurements. In Proc. American Control Conference: ACC 2010, pp 4379-4384, American Automatic Control Council, 2010.
- Stable and accurate interpolation operators for high-order multiblock finite difference methods. In SIAM Journal on Scientific Computing, volume 32, pp 2298-2320, 2010. (DOI).
- Stable and accurate second-order formulation of the shifted wave equation. In Communications in Computational Physics, volume 7, pp 103-137, 2010. (DOI).
- Summation by parts operators for finite difference approximations of second-derivatives with variable coefficients. Technical report / Department of Information Technology, Uppsala University nr 2010-023, 2010. (External link).
- Computing students learning computing informally. In Proc. 10th International Conference on Computing Education Research: Koli Calling, pp 43-48, ACM Press, New York, 2010. (DOI).
- Directional sensitivity of continuous least-squares state estimators. In Systems & control letters (Print), volume 59, number 9, pp 571-577, 2010. (DOI).
- Two Non-linear Parametric Models of Contrast Enhancement for DCE-MRI of the Breast Amenable to Fitting Using Linear Least Squares. 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).
- Assessing a multiple QTL search using the variance component model. In Computational biology and chemistry (Print), volume 34, pp 34-41, 2010. (DOI).
- Sub-optimal networked system identificationbased on covariance functions. In NecSys '10, 2nd IFAC Workshop on Distributed Estimationand Control in Networked Systems, 2010.
- Unbalance estimation using linear and nonlinear regression. In Automatica, volume 46, number 11, pp 1752-1761, 2010. (DOI).
- Assessing orthogonality and statistical properties of linear regression methods for interval mapping with partial information. Technical report / Department of Information Technology, Uppsala University nr 2010-005, 2010. (External link).
- Stochastically guaranteed global optima in multi-dimensional QTL searches. Technical report / Department of Information Technology, Uppsala University nr 2010-006, 2010. (External link).
- Using Markov models and a stochastic Lipschitz condition for genetic analyses. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2010-002, Uppsala University, 2010. (fulltext).
- Element-by-element Schur complement approximations for general nonsymmetric matrices of two-by-two block form. In Large-Scale Scientific Computing, volume 5910 of Lecture Notes in Computer Science, pp 108-115, Springer-Verlag, Berlin, 2010. (DOI).
- Finite-element based sparse approximate inverses for block-factorized preconditioners. Technical report / Department of Information Technology, Uppsala University nr 2010-010, 2010. (External link).
- A delay-aware reliable event reporting framework for wireless sensor–actuator networks. In Ad hoc networks, volume 8, number 7, pp 694-707, 2010. (DOI).
- A Modified Particle Swarm Optimization Applied in Image Registration. In Proceedings of 20th International Conference on Pattern Recognition, pp 2302-2305, IEEE computer society, 2010.
- Image Registration using Particle swarm optimization approach. In Symposium on Image Analysis, pp 31-34, 2010.
- Chelonia — a self-healing storage cloud. In Proc. 9th Cracow Grid Workshop, pp 5-12, ACC Cyfronet AGH, Kraków, Poland, 2010.
- Improved methodology for identifying the teratogenic potential in early drug development of hERG channel blocking drugs. In Reproductive Toxicology, volume 29, number 2, pp 156-163, Elsevier, 2010. (DOI).
- A perfectly matched layer applied to a reactive scattering problem. In Journal of Chemical Physics, volume 133, pp 054306:1-11, 2010. (DOI).
- Absorbing boundary techniques for the time-dependent Schrödinger equation. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2010-001, Uppsala University, 2010. (fulltext).
- Fluid structure interaction problems: the necessity of a well posed, stable and accurate formulation. In Communications in Computational Physics, volume 8, pp 1111-1138, 2010. (DOI).
- A hybrid scheme for bore design optimization of a brass instrument. In Journal of the Acoustical Society of America, volume 128, pp 1391-1400, 2010. (DOI).
- An efficient loudspeaker horn designed by numerical optimization: An experimental study. Report / UMINF nr 10.01, Department of Computing Science, Umeå University, 2010.
- Årsringsmätning med bildanalys. In Fakta Skog, SLU, number 2, p 4p, 2010.
- Iterative Learning Control and Recursive Identification. Reglermöte 2010, Lund, 8–9 juni 2010, 2010. (fulltext).
- Conveying Conceptions of Quality through Instruction. In Proc. 7th International Conference on the Quality of Information and Communications Technology, 2010.
- Developing Global Teamwork Skills: The Runestone Project. In Annual Global Engineering Education Conference (EDUCON): The Future of Global Learning in Engineering Education, IEEE, 2010. (fulltext).
- Does Quality Assurance Enhance the Quality of Computing Education?. In Australian Computer Science Communications, volume 32, number 2, pp 9-14, 2010. (External link, fulltext).
- Explanograms. In Kunskapens nya världar: Mötet mellan pedagogik och teknik vid Uppsala Learning Lab, pp 171-179, Uppsala Learning Lab, Uppsala University, 2010.
- Should we care about global intercultural collaboration?. In ACM Inroads, volume 1, number 3, pp 4-7, 2010. (DOI).
- Enhancing Student Engagement in an Introductory Programming Course. In Proc. 40th ASEE/IEEE Frontiers in Education Conference, pp F1E-1-2, IEEE, Piscataway, NJ, 2010. (DOI).
- Efficient adaptive filtering for smooth linear FIR models. In Proc. 18th European Signal Processing Conference, pp 2136-2140, European Association for Signal Processing, 2010. (fulltext).
- On the identification of monotone Wiener systems. In Proc. 49th Conference on Decision and Control, pp 7208-7213, IEEE, Piscataway, NJ, 2010. (DOI).
- Pricing American options using a space-time adaptive finite difference method. In Mathematics and Computers in Simulation, volume 80, pp 1922-1935, 2010. (DOI).
- MLP-aware instruction queue resizing: The key to power-efficient performance. In Architecture of Computing Systems – ARCS 2010, volume 5974 of Lecture Notes in Computer Science, pp 113-125, Springer-Verlag, Berlin, 2010. (DOI).
- Boundary procedures for the time-dependent Burgers' equation under uncertainty. In Acta Mathematica Scientia, volume 30, pp 539-550, 2010. (DOI).
- Efficiency of shock capturing schemes for Burgers' equation with boundary uncertainty. In Numerical Mathematics and Advanced Applications: 2009, pp 737-745, Springer-Verlag, Berlin, 2010. (DOI).
- An adaptive cross-layer design for prioritized traffic in wireless communications. In Proc. 6th International Conference on Mobile Ad Hoc and Sensor Networks, pp 203-206, IEEE, Piscataway, NJ, 2010. (DOI).
- Density estimation of two-phase flow with multiscale and randomly perturbed data. In Advances in Water Resources, volume 33, pp 1130-1141, 2010. (DOI).
- Structure testing of wave propagation models used in identification of viscoelastic materials. In Automatica, volume 46, number 4, pp 728-734, 2010. (DOI).
- Viscoelastic Materials: Identification and Experiment Design. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 90, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
- Repeatable experiments with mobile nodes in a relocatable WSN testbed. In Proc. 6th IEEE International Conference on Distributed Computing in Sensor Systems Workshops: DCOSSW 2010, pp 1-6, IEEE Computer Society, 2010. (DOI).
- Sensei-UU: a relocatable sensor network testbed. In Proc. 5th ACM International Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization, pp 63-70, ACM Press, 2010. (DOI).
- Iterative adaptive approaches to MIMO radar imaging. In IEEE Journal of Selected Topics in Signal Processing, volume 4, number 1, pp 5-20, 2010. (DOI).
- Probing Waveform Synthesis and Receiver Filter Design. In IEEE signal processing magazine (Print), volume 27, number 4, pp 99-112, 2010. (DOI).
- Secure Overlays: Making Static Key Distribution Schemes Work with Mobile Base Stations in WSNs. In Wired/Wireless Internet Communications, volume 6074 of Lecture Notes in Computer Science, pp 386-397, Springer-Verlag, Berlin, 2010. (DOI).
- Speedup and tracking accuracy evaluation of parallel particle filter algorithms implemented on a multicore architecture. In Proc. International Conference on Control Applications: CCA 2010, pp 440-445, IEEE, Piscataway, NJ, 2010. (DOI).
- Wireless sensor network deployment in mobile phones assisted environment. In Proc. 18th International Workshop on Quality of Service, p 9, IEEE, Piscataway, NJ, 2010. (DOI).
- Assessment of density matrix methods for electronic structure calculations. Technical report / Department of Information Technology, Uppsala University nr 2010-024, 2010. (External link).
- Coupling visualization and data analysis for knowledge discovery from multi-dimensional scientific data. In Procedia Computer Science, volume 1, number 1, pp 1751-1758, 2010. (DOI, External link).
- Integrating data clustering and visualization for the analysis of 3D gene expression data. In IEEE/ACM Transactions on Computational Biology & Bioinformatics, volume 7, number 1, pp 64-79, 2010. (DOI).
- Automated Web Service Query Service. In International Journal of Web and Grid Services (IJWGS), volume 6, number 4, pp 400-423, 2010. (DOI).
- Querying Data Providing Web Services. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 755, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
- Using static analysis to detect type errors and concurrency defects in Erlang programs. In Functional and Logic Programming: FLOPS 2010, volume 6009 of Lecture Notes in Computer Science, pp 13-18, Springer-Verlag, Berlin, 2010. (DOI).
- A Software Technique for Reducing Cache Pollution. In Proc. 3rd Swedish Workshop on Multi-Core Computing, pp 59-62, Chalmers University of Technology, Göteborg, Sweden, 2010. (fulltext:postprint).
- Reducing Cache Pollution Through Detection and Elimination of Non-Temporal Memory Accesses. In Proc. International Conference for High Performance Computing, Networking, Storage and Analysis: SC 2010, p 11, IEEE, Piscataway, NJ, 2010. (DOI, fulltext:print).
- Development and implementation of new principles and systems for train traffic control in Sweden. 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).
- Methods for 3D Visualization of Bone Tissue in the Proximity of Implants. In Swedish Symposium on Image Analysis 2010, pp 149-152, Uppsala, 2010.
- Methods for Visualization of Bone Tissue in the Proximity of Implants. In International Conference on Computer Vision and Graphics, volume 6375 of Lecture notes on computer science, pp 243-250, Springer, Heidelberg, 2010. (DOI).
- On realising a strategy for resilience in opportunistic networks. In Future Network and Mobile Summit, Florence, 2010.
- A curvature based lightning model for quai-global diffuse illumination. In Eurographics 2010 Posters, 2010.
- Om professionell användning av sociala medier och andra digitala kanaler. Technical report / Department of Information Technology, Uppsala University nr 2010-028, 2010. (External link).
- Using a ring-shaped region around the optic disc in retinal image registration of Glaucoma patients. In Symposium on Image Analysis, pp 35-38, 2010.
- Improved non-parametric sparse recovery with data matched penalties. In Proc. 2nd International Workshop on Cognitive Information Processing, pp 46-51, IEEE, Piscataway, NJ, 2010. (DOI).
- Gradient based intensity normalization. In Journal of Microscopy, volume 240, number 3, pp 249-258, 2010. (DOI).
- Accelerated Approximation for Stochastic Reachability Games: Extended version of paper <em>New algorithms for solving simple stochastic games</em>. 2010. (fulltext).
- SPARQL queries to RDFS views of Topic Maps. In International Journal of Metadata, Semantics and Ontologies (IJMSO), volume 5, number 1, pp 1-16, Inderscience, 2010. (DOI).
- Agile software development and ISO-IEC software quality standards: Measuring economic benefits and calculating quantitative yields. In Proc. 25th International Forum on Systems/Software Cost Modeling, University of Southern California, Los Angeles, CA, 2010.
- A new method for moving-average parameter estimation. In Proc. 44th Asilomar Conference on Signals, Systems and Computers, pp 1817-1820, IEEE, Piscataway, NJ, 2010. (DOI).
- Algebraic Derivation of Elfving Theorem on Optimal Experiment Design and Some Connections With Sparse Estimation. In IEEE Signal Processing Letters, volume 17, number 8, pp 743-745, 2010. (DOI).
- Sequence sets with optimal integrated periodic correlation level. In IEEE Signal Processing Letters, volume 17, number 1, pp 63-66, 2010. (DOI).
- Digital Distance Functions on a Honeycomb Point Lattice. In Workshop on Applications of Discrete Geometry and Mathematical Morphology, pp 17-21, 2010. (External link).
- Interpolation and Sampling on a Honeycomb Lattice. In Proceedings of 20th International Conference on Pattern Recognition, IEEE proceedings, pp 2222-2225, IEEE computer society, 2010. (DOI, External link).
- Sampling and Aliasing Properties of Three-Dimensional Point-Lattices. In <em>Proceedings SSBA'10 Symposium on Image Analysis</em>, Uppsala, Sweden, 2010, pp 23-26, Centre for Image Analysis, Uppsala, 2010. (fulltext).
- Sampling and Ideal Reconstruction on the 3D Diamond Grid. 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).
- Parallelizing multicore cache simulations on GPUs. In Proc. 3rd Swedish Workshop on Multi-Core Computing, pp 3-8, Chalmers University of Technology, Göteborg, Sweden, 2010.
- Contingency plans for air traffic flow and capacity management. In Proc. 9th Innovative Research Workshop and Exhibition, pp 119-126, EUROCONTROL Experimental Centre, Brétigny sur Orge, France, 2010. (fulltext).
- Contingency plans for air traffic management. 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).
- Primal and dual model representations in kernel-based learning. In Statistics Surveys, volume 4, pp 148-183, 2010. (DOI).
- Towards automatic visualization of MET biomedical data. In Proceedings SSBA 2010: Symposium on Image Analysis, pp 83-86, Uppsala University Printers, Uppsala, 2010.
- A computational study of vortex-airfoil interaction using high-order finite difference methods. In Computers & Fluids, volume 39, pp 1267-1274, 2010. (DOI).
- Accuracy analysis of time domain maximum likelihood method and sample maximum likelihood method for errors-in-variables and output error identification. In Automatica, volume 46, number 4, pp 721-727, 2010. (DOI).
- Asymptotic accuracy of covariance function based errors-in-variables system parameter estimates. In Proc. 49th Conference on Decision and Control, pp 328-333, IEEE, Piscataway, NJ, 2010. (DOI).
- Asymptotic accuracy of covariance function based identifying errors-in-variables systemparameter estimates. In Reglermöte 2010 (National Conference on Control), 2010.
- Errors-in-variables identification using a generalized instrumental variable estimation method. In Reglermöte 2010 (National Conference on Control), 2010.
- Errors-in-variables identification using a generalized instrumental variable estimation method. In Proc. 49th Conference on Decision and Control, pp 322-327, IEEE, Piscataway, NJ, 2010. (DOI).
- System identification for the errors-in-variables problem. In UKACC International Conference on CONTROL 2010, 2010.
- A new sparse sensing approach for MIMO radar imaging. In The 8th European Conference on Synthetic Aperture Radar, Aachen, Germany, 2010.
- Efficient sparse Bayesian learning via Gibbs sampling. In the 35th International Conference on Acoustics, Speech and Signal Processing, Dallas, USA, 2010.
- Estimation of linear deformations of 3D objects. In Proceedings of 2010 IEEE 17th International Conference on Image Processing, pp 153-156, 2010. (DOI).
- Recursive Identification and Scaling of Non-linear Systems using Midpoint Numerical Integration. Technical report / Department of Information Technology, Uppsala University nr 2010-025, Uppsala University, Uppsala, 2010. (External link, fulltext).
- Recursive Prediction Error Identification and Scaling of Non-linear Systems with Midpoint Numerical Integration. Technical report / Department of Information Technology, Uppsala University nr 2010-011, Uppsala University, Uppsala, 2010. (External link, fulltext).
- Recursive prediction error identification and scaling of non-linear systems with midpoint numerical integration. In 2010 American Control Conference: ACC 2010, Proceedings of the American Control Conference, pp 4510-4515, 2010.
- Harnessing Surprise: Tales from students' transformational biographies. In Proc. 41st ACM Technical Symposium on Computer Science Education, pp 300-304, ACM Press, New York, 2010. (DOI).
- Threshold Concepts in Computer Science: an ongoing empirical investigation. In Threshold Concepts and Transformational Learning, pp 241-258, Sense Publishers, Rotterdam, The Netherlands, 2010.
- Holistic approach to learning and teaching introductory object-oriented programming. In Computer Science Education, volume 20, number 2, pp 103-127, 2010. (DOI).
- Students’ Conceptions of Computer Programming. Technical report / Department of Information Technology, Uppsala University nr 2010-021, 2010. (fulltext).
- An efficient task-based approach for solving the <em>n</em>-body problem on multicore architectures. PARA 2010: State of the Art in Scientific and Parallel Computing, University of Iceland, Reykjavík, 2010. (fulltext:postprint).
- Elite golfers' kinematic sequence in full-swing and partial-swing shots. In Sports Biomechanics, volume 9, number 4, pp 236-244, 2010. (DOI).
- Case-study for different models of resource brokering in grid systems. Technical report / Department of Information Technology, Uppsala University nr 2010-009, 2010. (External link).
- Managing applications and data in distributed computing infrastructures. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2010-003, Uppsala University, 2010. (fulltext).
- Verifying parallel programs with dynamic communication structures. In Theoretical Computer Science, volume 411, pp 3460-3468, 2010. (DOI).
- Shape Optimization for Acoustic Wave Propagation Problems. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 709, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
- Additive survival least-squares support vector machines. In Statistics in Medicine, volume 29, number 2, pp 296-308, 2010. (DOI).
- On the use of a clinical kernel in survival analysis. In Proc. 18th European Symposium on Artificial Neural Networks, pp 451-456, d-side publications, Evere, Belgium, 2010.
- High contrast microwave tomography using topology optimization techniques. In Journal of Computational and Applied Mathematics, volume 234, pp 1773-1780, 2010. (DOI).
- Microwave tomographic imaging as a sequence of topology optimization problems. In Optimization and Engineering, volume 11, pp 597-610, 2010. (DOI).
- Shape and topology optimization of an acoustic horn-lens combination. In Journal of Computational and Applied Mathematics, volume 234, pp 1781-1787, 2010. (DOI).
- New square-root factorization of inverse Toeplitz matrices. In IEEE Signal Processing Letters, volume 17, number 2, pp 137-140, 2010. (DOI).
- On optimal input signal design for frequency response estimation. In The 49th IEEE Conference on Decision and Control, Atlanta, USA, 2010.
- RTT positioning field performance. In IEEE Transactions on Vehicular Technology, volume 59, number 7, pp 3656-3661, 2010. (DOI).
- A method for analyzing learning outcomes in project courses. In Proc. 40th ASEE/IEEE Frontiers in Education Conference, pp T4H-1-2, IEEE, Piscataway, NJ, 2010. (DOI).
- Computer Science Project Courses: Contrasting Students’ Experiences with Teachers’ Expectations. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 722, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext).
- Emergency call delivery standards impair cellular positioning accuracy. In Proc. International Conference on Communications: ICC 2010, pp 4655-4660, IEEE, Piscataway, NJ, 2010. (DOI).
- Input-output data sets for development and benchmarking in nonlinear identification. Technical report / Department of Information Technology, Uppsala University nr 2010-020, Uppsala universitet, Uppsala, 2010. (Report in fulltext, fulltext).
- MATLAB Software for Recursive Identification and Scaling Using a Structured Nonlinear Black-box Model: Revision 5. Technical report / Department of Information Technology, Uppsala University nr 2010-002, Uppsala universitet, Uppsala, 2010. (Report in fulltext, fulltext).
- MATLAB software for recursive identification and scaling using a structured nonlinear black-box model: Revision 6. Technical report / Department of Information Technology, Uppsala University nr 2010-022, Uppsala universitet, 2010. (Report in fulltext, fulltext).
- Recursive noise floor estimation in WCDMA. In IEEE Transactions on Vehicular Technology, volume 59, number 5, pp 2615-2620, 2010. (DOI).
- Analysis and visualization of information quality of technical documentation. In Proc. 4th European Conference on Information Management and Evaluation, pp 388-396, Academic Conferences, Reading, UK, 2010.
- Information quality testing. In Perspectives in Business Informatics Research, volume 64 of Lecture Notes in Business Information Processing, pp 14-26, Springer-Verlag, Berlin, 2010. (DOI).
- On the role of visual references in collaborative visualization. In Information Visualization, volume 9, number 2, pp 98-114, 2010. (DOI).
- MIMO radar sparse angle-Doppler imaging for ground moving target indication. In IEEE International Radar Conference, Washington DC, USA, 2010.
- A covariance fitting approach for correlated acoustic source mapping. In Journal of the Acoustical Society of America, volume 127, number 5, pp 2920-2931, 2010. (DOI).
- Source Localization and Sensing: A nonparametric iterative adaptive approach based on weighted least squares. In IEEE Transactions on Aerospace and Electronic Systems, volume 46, number 1, pp 425-443, 2010. (DOI).
- Multicore embedded systems: The timing problem and possible solutions. In Formal Methods and Software Engineering, volume 6447 of Lecture Notes in Computer Science, pp 22-23, Springer-Verlag, Berlin, 2010. (DOI).
- Application of a transition graph-based predictive algorithm to a solar air conditioning plant. In IEEE Transactions on Control Systems Technology, volume 18, number 5, pp 1162-1171, 2010. (DOI).
- Scalable Splitting of Massive Data Streams. 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).
- Bright-Field Microscopy Visualization of Proteins and Protein Complexes by In Situ Proximity Ligation with Peroxidase Detection. In Clinical Chemistry, volume 56, number 1, pp 99-110, 2010. (DOI, External link).
- Medio-lateral stability of sit-to-walk performance in older individuals with and without fear of falling. In Gait & Posture, volume 31, number 4, pp 438-443, 2010. (DOI).
- Early Recognition of Smoke in Digital Video. In Proceedings of European Conference of Computer Science (ECCS'10), pp 301-307, WSEAS Press, 2010.
- A regional Swedish consortium for research and education: Demand-driven research within wastewater and sludge management. In Proc. 2nd IWA Water and Energy Conference, pp 100-101, International Water Association, 2010.
- Learning control applied to continuous wastewater treatment systems: an initial study. In Proc. 2nd IWA Water and Energy Conference, pp 98-99, International Water Association, 2010.
- Direct numerical simulations of localized disturbances in pipe Poiseuille flow. In Computers & Fluids, volume 39, pp 926-935, 2010. (DOI).
- Welterweight Java. In Objects, Models, Components, Patterns, volume 6141 of Lecture Notes in Computer Science, pp 97-116, Springer-Verlag, Berlin, 2010. (DOI).