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
, fulltext
).
-
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
, fulltext
).
-
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
, fulltext
).
-
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
).
-
A Well-posed and Discretely Stable Perfectly Matched Layer for Elastic Wave Equations in Second Order Formulation
. Technical report / Department of Information Technology, Uppsala University nr 2010-004, 2010. (fulltext
).
-
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
).
-
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
, fulltext
).
-
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
, fulltext
).
-
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
, fulltext
).
-
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
, fulltext
).
-
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
, fulltext
).
-
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
, fulltext
).
-
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
, fulltext
).
-
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
, fulltext
).
-
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
, fulltext
).
-
Stochastically Guaranteed Global Optimums Achievable with a Divide-and-Conquer Approach to Multidimensional QTL Searches
. Technical report / Department of Information Technology, Uppsala University nr 2010-006, 2010. (fulltext
).
-
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
, fulltext
).
-
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
, fulltext
).
-
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
, fulltext
).
-
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
, fulltext
).
-
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
).