Publications 2008
-
Weak versus Strong No-Slip Boundary Conditions for the Navier-Stokes Equations
. In Proc. 6th South African Conference on Computational and Applied Mechanics, pp 52-62, South African Association for Theoretical and Applied Mechanics, 2008.
-
Monotonic Abstraction in Parameterized Verification
. In Electronic Notes in Theoretical Computer Science, volume 223, pp 3-14, 2008. (DOI
).
-
Composed Bisimulation for Tree Automata
. In Implementation and Application of Automata, volume 5148 of Lecture Notes in Computer Science, pp 212-222, Springer Berlin/Heidelberg, 2008. (DOI
).
-
Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata
. In Tools and Algorithms for the Construction and Analysis of Systems, volume 4963 of Lecture Notes in Computer Science, pp 93-108, Springer Berlin/Heidelberg, 2008. (DOI
).
-
Handling parameterized systems with non-atomic global conditions
. In Verification, Model Checking, and Abstract Interpretation, volume 4905 of Lecture Notes in Computer Science, pp 22-36, Springer-Verlag, Berlin, 2008. (DOI
).
-
Model Checking Race-Freeness
. In Proc. 1st Swedish Workshop on Multi-Core Computing, volume 2008:07 of Research report / Blekinge Institute of Technology, pp 89-96, 2008.
-
Model checking race-freeness
. In SIGARCH Computer Architecture News, volume 36, number 5, pp 72-79, 2008. (DOI
).
-
Monotonic abstraction for programs with dynamic memory heaps
. In Computer Aided Verification, volume 5123 of Lecture Notes in Computer Science, pp 341-354, Springer-Verlag, Berlin, 2008. (DOI
).
-
Monotonic abstraction in action: Automatic verification of distributed mutex algorithms
. In Theoretical Aspects of Computing - ICTAC 2008, volume 5160 of Lecture Notes in Computer Science, pp 50-65, Springer-Verlag, Berlin, 2008. (DOI
).
-
Monotonic and downward closed games
. In Journal of logic and computation (Print), volume 18, number 1, pp 153-169, 2008. (DOI
).
-
Parameterized tree systems
. In Formal Techniques for Networked and Distributed Systems: FORTE 2008?, volume 5048 of Lecture Notes in Computer Science, pp 69-83, Springer-Verlag, Berlin, 2008. (DOI
).
-
R-automata
. Technical report / Department of Information Technology, Uppsala University nr 2008-016, Department of Information Technology, Uppsala University, 2008. (fulltext
).
-
R-automata
. In CONCUR 2008 - Concurrency Theory, volume 5201 of Lecture Notes in Computer Science, pp 67-81, Springer-Verlag, Berlin, 2008. (DOI
).
-
Stochastic games with lossy channels
. In Foundations of Software Science and Computational Structures: Proceedings, volume 4962 of Lecture Notes in Computer Science, pp 35-49, Springer-Verlag, Berlin, 2008. (DOI
).
-
Universality Analysis for One-Clock Timed Automata
. In Fundamenta Informaticae, volume 89, number 4, pp 419-450, 2008.
-
Pyramidal flux in an anisotropic diffusion scheme for enhancing structures in 3D images
. In Medical Imaging 2008: Image Processing, volume 6914 of Proc. SPIE, pp 691429:1-12, Bellingham, WA, 2008. (DOI
).
-
Presentation of the VINN Excellence Center for Wireless Sensor Networks (WISENET)
. In Conference on Radio Science (RVK08), Växjö, 2008.
-
Estimating 3D Fibre Orientation in Volume Images
. In Proceedings of the 19th International Conference on Pattern Recognition, IEEE, 2008.
-
Tracking Tubular Structures in Volume Image Data
. In Proceedings SSBA 2008: Symposium on Image Analysis, Lund, March 12-14, 2008, pp 51-54, 2008.
-
Equivalent operator preconditioning for linear elliptic problems
. Technical report / Department of Information Technology, Uppsala University nr 2008-002, 2008. (fulltext
).
-
Mesh independent convergence rates via differential operator pairs
. In Large-Scale Scientific Computing, volume 4818 of Lecture Notes in Computer Science, pp 3-15, Springer-Verlag, Berlin, 2008. (DOI
).
-
Automatic cepstrum-based smoothing of the periodogram via cross-validation
. In Proc. 16th European Signal Processing Conference, European Association for Signal Processing, 2008.
-
Optimal Preconditioning for Interpolation of Missing Data in a Band-Limited Sequence
. In Proc. 42nd Asilomar Conference on Signals, Systems and Computers, pp 561-565, IEEE, Piscataway, NJ, 2008. (DOI
).
-
An alternative model for shading of diffuse light for rough materials
. In Game Programming Gems 7, pp 373-380, Charles River Media, Boston, 2008.
-
Trigonometric splines
. In Game programming Gems 7, pp 191-198, Charles River Media, Boston, 2008.
-
Hybrid differentiation strategies for simulation and analysis of applications in C<sub>++</sub>
. In ACM Transactions on Mathematical Software, volume 35, number 1, pp 1:1-29, 2008. (DOI
).
-
Exact and approximate solutions of source localization problems
. In IEEE Transactions on Signal Processing, volume 56, number 5, pp 1770-1778, 2008. (DOI
).
-
Combining tree partitioning, precedence, and incomparability constraints
. In Constraints, volume 13, number 4, pp 459-489, 2008. (DOI
).
-
Infinite-state Stochastic and Parameterized Systems
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 76, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
).
-
Re?nement Types for Secure Implementations
. In Proc. 21st IEEE Computer Security Foundations Symposium, pp 17-32, IEEE, Piscataway, NJ, 2008. (DOI
, fulltext
).
-
Annual Report 2007
. 2008. (External link
).
-
Regular Inference for State Machines Using Domains with Equality Tests
. In Fundamental Approaches to Software Engineering, volume 4961 of Lecture Notes in Computer Science, pp 317-331, Springer-Verlag, Berlin, 2008. (DOI
).
-
Disseminating phenomenography: Workshops for the computing education research community
. In Proc. EARLI SIG 9 Workshop on Phenomenography and Variation Theory: Implications of Phenomenography and Variation Theory in Practice, pp 17-18, Kristianstad Academic Press, Sweden, 2008. (Proceedings
).
-
Learning educational research methods through collaborative research: the PhICER initiative
. In Australian Computer Science Communications, volume 30, number 5, pp 35-42, 2008. (External link
).
-
Students learn CS in different ways: Insights from an empirical study: (Invited talk)
. Australian Computer Society, 2008. (External link
).
-
Three Ways of Globalizing IT Engineering Education: Experiences from Two European Universities
. In International Conference on Science, Technology and Education Policy: Engineering Education, Innovation and Globalization, pp 63-67, Hangzhou, China, 2008. (fulltext:print
).
-
Modeling spheroid growth, PET tracer uptake, and treatment effects of the Hsp90 inhibitor NVP-AUY922
. In Journal of Nuclear Medicine, volume 49, number 7, pp 1204-1210, 2008. (DOI
).
-
A Testbed for Evaluating Delay Tolerant Network Protocol Implementations
. In Proceedings 5th Swedish National Computer Networking Workshop, 2008.
-
Regular Inference for Communication Protocol Entities
. Technical report / Department of Information Technology, Uppsala University nr 2008-024, 2008. (fulltext
).
-
Discrete Skeletons from Distance Transforms in 2D and 3D
. In Medial Representations: Mathematics, Algorithms and Applications, volume 37 of Computational Imaging and Vision, pp 155-190, Springer Verlag, Netherlands, 2008.
-
Räta linjer på dataskärmen: En illustration av rekursivitet
. In Nämnaren, volume 35, number 1, pp 46-50, 2008.
-
Tessellationer: konsten att dela upp planet i regelbundna mönster
. In Människor och matematik: Läsebok för nyfikna, pp 185-210, NCM, Göteborg, 2008.
-
A methodology for exploring students' experiences and interaction with large-scale software through role-play and phenomenography
. In Proc. 4th International Computing Education Research Workshop, pp 27-38, ACM Press, New York, 2008. (DOI
).
-
A light puncture robot for CT and MRI interventions
. In IEEE Engineering in Medicine and Biology Magazine, volume 27, number 3, pp 42-50, 2008. (DOI
).
-
Geodesic Glyph Warping
. In Proceedings of SSBA, SSBA, Lund, Sweden, 2008.
-
Initialization of a nonlinear identification algorithm applied to laboratory plant data
. In IEEE Transactions on Control Systems Technology, volume 16, number 4, pp 708-716, 2008. (DOI
).
-
Nonlinear Identification and Control with Solar Energy Applications
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 73, Institutionen för informationsteknologi, Uppsala, 2008. (fulltext
).
-
A comparison between two solution techniques to solve the equations of glacially induced deformation of an elastic Earth
. In International Journal for Numerical Methods in Engineering, volume 75, pp 479-502, 2008. (DOI
).
-
Användbara IT-stöd: En utvärdering av ett forskningsprojekt vid CSN, Centrala studiestödsnämnden
. Technical report / Department of Information Technology, Uppsala University nr 2008-021, 2008. (fulltext
).
-
Structural characteristics of pore networks affecting print-through
. In Journal of Pulp and Paper Science (JPPS), volume 34, number 1, pp 13-22, 2008.
-
Multi-pitch estimation
. In Signal Processing, volume 88, number 4, pp 972-983, 2008. (DOI
).
-
On-line placement of real-time tasks on 2D partially run-time reconfigurable FPGAs
. In Proc. 5th IEEE International Symposium on Embedded Computing, pp 20-25, IEEE, Piscataway, NJ, 2008. (DOI
).
-
Timed Automata Patterns
. In IEEE Transactions on Software Engineering, volume 34, number 6, pp 844-859, 2008. (DOI
).
-
Review of User Parameter-Free Robust Adaptive Beamforming Algorithms
. In Proceedings of the 42nd Asilomar Conference on Signals, Systems, and Computers: Oct 26-29, 2008, Pacific Grove, California, USA, 2008.
-
User parameter free approaches to multistatic adaptive ultrasound imaging
. In ISBI 2008, the IEEE International Symposium on Biomedical Imaging, Paris, France, 2008, pp 1287-1290, 2008. (DOI
).
-
Bilinear black-box identification and MPC of the activated sludge process
. In Journal of Process Control, volume 18, number 7-8, pp 643-653, 2008. (DOI
).
-
Empowering a flexible application portal with a SOA-based grid job management framework
. PARA 2008: State of the Art in Scientific and Parallel Computing, Norwegian University of Science and Technology, Trondheim, Norway, 2008.
-
A discrete spectral method for the chemical master equation
. Technical report / Department of Information Technology, Uppsala University nr 2008-005, 2008. (fulltext
).
-
Numerical Solution Methods in Stochastic Chemical Kinetics
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 564, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
).
-
Parallel in time simulation of multiscale stochastic chemical kinetics
. Technical report / Department of Information Technology, Uppsala University nr 2008-020, 2008. (fulltext
).
-
Simulation of stochastic reaction-diffusion processes on unstructured meshes
. Technical report / Department of Information Technology, Uppsala University nr 2008-012, 2008. (fulltext
).
-
Time-parallel simulation of stochastic chemical kinetics
. In Numerical Analysis and Applied Mathematics: ICNAAM 2008, volume 1048 of AIP Conference Proceedings, pp 174-177, American Institute of Physics (AIP), Melville, NY, 2008. (DOI
).
-
Design and Implementation of a Stereoscopic Display in a Lecture-room
. In SIGRAD 2008: The Annual SIGRAD Conference Special Theme: Interaction, November 27–28, 2008 Stockholm, Sweden, Linköping Electronic Conference Proceedings, pp 79-80, Linköping University Electronic Press, 2008.
-
Introducing Usability Roles in Public Authorities
. In Proc. 5th Nordic Conference on Human-Computer Interaction: Building Bridges, pp 113-122, ACM Press, New York, 2008. (DOI
).
-
Shock Calculations using a Very High Order Accurate Euler and Navier-Stokes Solver
. In Proc. 6th South African Conference on Computational and Applied Mechanics, pp 63-73, South African Association for Theoretical and Applied Mechanics, 2008.
-
Simulations of Ground Effects on Wake Vortices at Runways
. In Proc. 6th South African Conference on Computational and Applied Mechanics, pp 101-108, South African Association for Theoretical and Applied Mechanics, 2008.
-
Windup properties of recursive parameter estimation algorithms in acoustic echo cancellation
. In Control Engineering Practice, volume 16, number 11, pp 1372-1378, 2008. (DOI
).
-
Exploring semantic interference in heterogeneous sensor networks
. In , pp 45-51, ACM Press, New York, 2008. (DOI
).
-
A hierarchy of approximations of the master equation scaled by a size parameter
. In Journal of Scientific Computing, volume 34, pp 127-151, 2008. (DOI
).
-
An introduction to inductive programming
. In Artificial Intelligence Review, volume 29, number 1, pp 45-62, 2008. (DOI
).
-
Proceedings of LSCS'08, the Fifth International Workshop on Local Search Techniques in Constraint Satisfaction
. 2008. (External link
).
-
Proceedings of ModRef'08, the Seventh International Workshop on Constraint Modelling and Reformulation
. 2008. (External link
).
-
Solving necklace constraint problems
. In Proc. 18th European Conference on Artificial Intelligence, pp 520-524, IOS Press, Amsterdam, The Netherlands, 2008.
-
Algorithms for cross-talk suppression in fluorescence microscopy
. In Medicinteknikdagarna 2008, pp 64-64, 2008. (fulltext
).
-
Automatisk spårning av dendriter i konfokalmikroskopibilder av nervceller
. In Medicinteknikdagarna 2008, pp 61-61, 2008.
-
Adaptive QoS Routing for Significant Events in Wireless Sensor Networks
. In Proc. 5th International Conference on Mobile Ad Hoc and Sensor Systems, pp 410-415, IEEE, Piscataway, NJ, 2008. (DOI
).
-
Analysis of stresses in two-dimensional isostatic granular systems
. In Physica A: Statistical Mechanics and its Applications, volume 387, pp 6263-6276, 2008. (DOI
).
-
Stress chain solutions in two-dimensional isostatic granular systems: Fabric-dependent paths, leakage, and branching
. In Physical Review Letters, volume 101, pp 098001:1-4, 2008. (DOI
).
-
Highly Scalable Trip Grouping for Large Scale Collective Transportation Systems
. In Proc. 11th International Conference on Extending Database Technology, EDBT 2008, 2008. (Fulltext
).
-
Instant Social Ride-Sharing
. In Proc. 15th World Congress on Intelligent Transport Systems, p 8, Intelligent Transportation Society of America, 2008.
-
Privacy-Preserving Trajectory Collection
. In Proc. 16th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, pp 46:1-4, ACM Press, New York, 2008. (DOI
).
-
CFD in Non-Inertial Frames Applied to an Oscillating Airfoil and a Straked Body
. In Proc. 6th South African Conference on Computational and Applied Mechanics, pp 92-100, South African Association for Theoretical and Applied Mechanics, 2008.
-
Inference of Event-Recording Automata using Timed Decision Trees
. Technical report / Department of Information Technology, Uppsala University nr 2008-014, 2008. (fulltext
).
-
Learning of Event-Recording Automata
. Technical report / Department of Information Technology, Uppsala University nr 2008-013, 2008. (fulltext
).
-
Learning of Timed Systems
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 434, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
, cover
).
-
Network invariants for real-time systems
. In Formal Aspects of Computing, volume 20, number 6, pp 619-635, 2008. (DOI
).
-
New schedulability test conditions for non-preemptive scheduling on multiprocessor platforms
. In Proc. Real-Time Systems Symposium: RTSS 2008, pp 137-146, IEEE, Piscataway, NJ, 2008. (DOI
).
-
On denoising via penalized least-squares rules
. In Proc. International Conference on Acoustics, Speech, and Signal Processing: ICASSP 2008, volume 33 of International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp 3705-3708, IEEE, Piscataway, NJ, 2008. (DOI
).
-
On the reconstruction of gapped sinusoidal data
. In Proc. International Conference on Acoustics, Speech, and Signal Processing: ICASSP 2008, volume 33 of International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp 3513-3516, IEEE, Piscataway, NJ, 2008. (DOI
).
-
Only Figures Matter?: If Measuring Usability and User Experience in Practice is Insanity or a Necessity
. In Proc. International Workshop on Meaningful Measures: Valid Useful User Experience Measurement, pp 91-96, Institute of Research in Informatics of Toulouse (IRIT), Toulouse, France, 2008. (
).
-
High Order Difference Methods for Time Dependent PDE
. Springer-Verlag, Berlin, 2008. (DOI
).
-
InfraCAM - A Design Case
. UPA Europe 2008, 4-6 December 2008, Torino, Italy, 2008. (External link
, fulltext
).
-
Improving cache utilization using Acumem VPE
. In Tools for High Performance Computing, pp 115-135, Springer-Verlag, Berlin, 2008. (DOI
).
-
Comparison of some Gramian based interaction measures
. In Proc. International Conference on Computer-Aided Control Systems: CACSD 2008, pp 138-143, IEEE, Piscataway, NJ, 2008. (DOI
).
-
Tracking the Motion of Hidden Segments Using Kinematic Constraints and Kalman Filtering
. In Journal of Biomechanical Engineering, volume 130, number 1, pp 011012:1-9, 2008. (DOI
).
-
A Learning Theory Perspective on Running Open Ended Group Projects (OEGPs)
. In Australian Computer Science Communications, volume 30, number 5, pp 85-92, 2008. (
).
-
Sparse grids and hybrid methods for the chemical master equation
. In BIT Numerical Mathematics, volume 48, pp 265-283, 2008. (DOI
).
-
Efficient computation of transient solutions of the chemical master equation based on uniformization and quasi-Monte Carlo
. In Journal of Chemical Physics, volume 128, pp 154109:1-7, 2008. (DOI
).
-
Numerical simulation of well stirred biochemical reaction networks governed by the master equation
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2008-003, Uppsala University, 2008. (fulltext
).
-
A modular simulation framework for colonoscopy using a new haptic device
. In Medicine Meets Virtual Reality 16, volume 132 of Studies in Health Technology and Informatics, pp 165-170, IOS Press, Amsterdam, The Netherlands, 2008.
-
Estimating Human Limb Motion Using Skin Texture and Particle Filtering
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 568, Universitetsbiblioteket, Uppsala, 2008. (fulltext
, cover
).
-
Estimating human limb motion using skin texture as virtual markers
. 2008.
-
Accuracy analysis of time-domain maximum likelihood method and sample maximum likelihood method for errors-in-variables identification
. In Proc. 17th IFAC World Congress, International Federation of Automatic Control, 2008.
-
Analysis of Some Methods for Identifying Dynamic Errors-in-variables Systems
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 78, Acta Universitatis Upsaliensis, Uppsala, 2008. (cover
).
-
Comparison of three Frisch methods for errors-in-variables identification
. In Proc. 17th IFAC World Congress, International Federation of Automatic Control, 2008.
-
Relations between Bias-Eliminating Least Squares, the Frisch Scheme and Extended Compensated Least Squares Methods for Identifying Errors-in-Variables Systems
. Technical report / Department of Information Technology, Uppsala University nr 2008-008, 2008. (fulltext
).
-
Efficient optimization algorithms and implementations for genetic analysis of complex traits on a grid system with multicore nodes
. PARA 2008: State of the Art in Scientific and Parallel Computing, Norwegian University of Science and Technology, Trondheim, Norway, 2008.
-
A patch-based partitioner for parallel SAMR applications
. In Proc. Parallel and Distributed Computing and Systems: 2008, pp 53-58, ACTA Press, Calgary, Canada, 2008. (fulltext:postprint
).
-
Design and implementation of a dynamic and adaptive meta-partitioner for parallel SAMR grid hierarchies
. Technical report / Department of Information Technology, Uppsala University nr 2008-017, 2008. (fulltext
).
-
Extended pi-Calculi
. In Automata, Languages and Programming, PT 2: Proceedings of ICALP 2008, volume 5126 of Lecture Notes in Computer Science, pp 87-98, 2008. (DOI
).
-
Cyclic dependencies in modular performance analysis
. In Proc. 8th ACM International Conference on Embedded Software, pp 179-188, ACM Press, New York, 2008. (DOI
).
-
State-Space Exploration for Concurrent Algorithms under Weak Memory Orderings
. In Proc. 1st Swedish Workshop on Multi-Core Computing, volume 2008:07 of Research report / Blekinge Institute of Technology, pp 82-88, 2008.
-
State-space exploration for concurrent algorithms under weak memory orderings
. In SIGARCH Computer Architecture News, volume 36, number 5, pp 65-71, 2008. (DOI
).
-
Reduction Techniques for Finite (Tree) Automata
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 562, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
).
-
UPPMAX Progress Report
. Uppsala University, 2008.
-
Correction in 3D Confocal Images
. In Proceedings of the 2008 Symposium on Image Analysis, pp 31-34, 2008.
-
Introduction to the Mean-Shift Procedure: Filtering and Segmentation
. Internal Report nr 47, Centre for Image Analysis, Uppsala University, 2008.
-
Methods and models for 2D and 3D image analysis in microscopy, in particular for the study of muscle cells
Metoder och modeller för två- och tredimensionell bildanalys inom mikroskopi, speciellt med inrikting mot muskelceller
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 544, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
).
-
Non-uniform 3D distance transform for anisotropic signal correction in confocal image volumes of skeletal muscle cell nuclei
. In Proc. 5th International Symposium on Biomedical Imaging, pp 1363-1366, IEEE, Piscataway, NJ, 2008. (DOI
).
-
Ett förbättrat verktyg för mätning av användbarhet, stress och nytta: Andra försöket inom CSN
. Technical report / Department of Information Technology, Uppsala University nr 2008-003, 2008. (fulltext
).
-
Accurate time propagation for the Schrödinger equation with an explicitly time-dependent Hamiltonian
. In Journal of Chemical Physics, volume 128, pp 184101:1-11, 2008. (DOI
).
-
Stability of viscous shocks on finite intervals
. In Archive for Rational Mechanics and Analysis, volume 187, pp 157-183, 2008. (DOI
).
-
A hybrid level-set Cahn–Hilliard model for two-phase flow
. In Proc. 1st European Conference on Microfluidics, pp 59:1-10, La Société Hydrotechnique de France, 2008. (fulltext:postprint
).
-
The Evolution of Living Labs: Propositions for Improved Design and Further Research
. In Proc. 5th International Conference on Innovation and Management, pp 2894-2908, Maastricht, The Netherlands, 2008.
-
Can micro world simulations assess and stimulate ethical competence?
. In Proceedings of the Tenth International Conference ETHICOMP 2008: "Living, Working And Learning Beyond Technology", pp 503-510, University of Pavia, Mantua, Italy, 2008. (External link
).
-
Tools for ethical decision making
. In Proc. 3rd International Conference on Human Centered Processes: Part III, pp 13-24, 2008. (External link
).
-
ARMA parameter estimation: Revisiting a cepstrum-based method
. In Proceedings of the 2008 IEEE International Conference on Acoustics, Speech, and Signal Processing: March 30 - April 4, 2008, Las Vegas, Nevada, USA, pp 3685-3688, 2008. (DOI
).
-
New spectral estimation based on filterbank for spectrum sensing
. In Proceedings of the 2008 IEEE International Conference on Acoustics, Speech, and Signal Processing: March 30 - April 4, 2008, Las Vegas, Nevada, USA, pp 3509-3512, 2008. (DOI
).
-
A posteriori error estimates for mixed finite element approximations of elliptic problems
. In Numerische Mathematik, volume 108, pp 487-500, 2008. (DOI
).
-
Multi-dimensional option pricing using radial basis functions and the generalized Fourier transform
. In Journal of Computational and Applied Mathematics, volume 222, pp 175-192, 2008. (DOI
).
-
Estimation of Continuous-time Stochastic System Parameters
. In Identification of Continuous-time Models from Sampled Data, pp 31-66, Springer-Verlag, London, 2008. (DOI
).
-
Stability criteria for hybrid difference methods
. In Journal of Computational Physics, volume 227, pp 2886-2898, 2008. (DOI
).
-
Covariance beamforming, covariance matrix tapers and matrix beamforming are related
. In Electronics Letters, volume 44, number 5, pp 383-384, 2008. (DOI
).
-
Fully automatic computation of diagonal loading levels for robust adaptive beamforming
. In Proceedings of the 2008 IEEE International Conference on Acoustics, Speech, and Signal Processing: March 30 - April 4, 2008, Las Vegas, Nevada, USA, pp 2325-2328, 2008. (DOI
).
-
MIMO Radar Waveform Synthesis
. In Proceedings of the 2008 IEEE Radar Conference: 26-30 May 2008, Rome, Italy, pp 1-6, 2008. (DOI
).
-
Range compression and waveform optimization for MIMO radar: a Cramér-Rao bound based study
. In IEEE Transactions on Signal Processing, volume 56, number 1, pp 218-232, 2008. (DOI
).
-
Signal synthesis and receiver design for MIMO radar imaging
. In IEEE Transactions on Signal Processing, volume 56, number 8:2, pp 3959-3968, 2008. (DOI
).
-
Component infrastructure for managing performance data and runtime adaptation of parallel applications
. PARA 2008: State of the Art in Scientific and Parallel Computing, Norwegian University of Science and Technology, Trondheim, Norway, 2008. (fulltext:postprint
).
-
On using cyclic algorithms for sinusoidal parameter estimation
. In Electronics Letters, volume 44, number 19, pp 1160-1161, 2008. (DOI
).
-
Deterministic Defuzzification based on Spectral Projected Gradient Optimization
. In 30th Symposium of the German Association for Pattern Recognition (DAGM), volume 5096 of Lecture Notes in Computer Science, pp 476-485, Springer, Berlin / Heidelberg, 2008. (DOI
).
-
Asynchronous time integration of flux-conservative transport
. In Proc. 11th European Conference on the Mathematics of Oil Recovery, pp A42:1-9, European Association of Geoscientists & Engineers, Houten, The Netherlands, 2008.
-
Reviews of scientific papers on Automated cervical cancer screening through image analysis
. Internal Report nr 46, Centre for Image Analysis, Uppsala, 2008. (fulltext
).
-
An Automated Image Analysis Method for Measuring Fibre Contact in Fibrous and Composite Materials
. In 13th European Conference on Composite Materials (ECCM), 2008.
-
Graph Cut Based Segmentation of Phase Contrast Volume Images of Fibrous Materials
. In Proceedings of Swedish Symposium on Image Analysis (SSBA'08), pp 131-134, 2008.
-
Segmentation and Analysis of Volume Images, with Applications
. Licentiate thesis, Licentiate thesis / Centre for Image Analysis, Swedish University of Agricultural Sciences, Uppsala University nr 8, Centrum för bildanalys, Uppsala, 2008. (fulltext
).
-
Stable and accurate schemes for the compressible Navier-Stokes equations
. In Journal of Computational Physics, volume 227, pp 2293-2316, 2008. (DOI
).
-
Stable and accurate wave-propagation in discontinuous media
. In Journal of Computational Physics, volume 227, pp 8753-8767, 2008. (DOI
).
-
Stable boundary treatment for the wave equation on second-order form
. Technical report / Department of Information Technology, Uppsala University nr 2008-019, 2008. (fulltext
).
-
Newton-type methods for REML estimation in genetic analysis of quantitative traits
. In Journal of Computational Methods in Sciences and Engineering, volume 8, pp 53-67, 2008.
-
Interactive visualization of new electromagnetic quantities
. In SIGRAD 2008: The Annual SIGRAD Conference Special Theme: Interaction, November 27–28, 2008 Stockholm, Sweden, Linköping Electronic Conference Proceedings, pp 71-74, Linköping University Electronic press, 2008.
-
Concrete examples of abstraction as manifested in students' transformative experiences
. In Proc. 4th International Computing Education Research Workshop, pp 125-135, ACM Press, New York, 2008. (DOI
).
-
High order numerical simulation of Aeolian tones
. In Computers & Fluids, volume 37, pp 450-462, 2008. (DOI
).
-
Neighborhood Sequences in the Diamond Grid
. In Image analysis: from theory to applications, pp 187-195, Research Publishing, Singapore, Chennai, 2008. (External link
).
-
Estimation and Control of Resonant Systems with Stochastic Disturbances
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 74, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
).
-
Feedforward design for a mechanical system with marginally stable inverse
. In Proc. 17th IFAC World Congress, International Federation of Automatic Control, 2008.
-
On the tradeoff between feedback properties and disturbance attenuation for a cantilever beam system
. In Reglermöte 2008: Proceedings, volume 2008:21 of Research report / Luleå University of Technology, pp 83-89, 2008. (External link
).
-
Preconditioning of nonsymmetric saddle point systems as arising in modelling of viscoelastic problems
. In Electronic Transactions on Numerical Analysis, volume 29, pp 193-211, 2008.
-
Fully Automatic Heart Beat Rate Determination in Digital Video Recordings of Rat Embryos
. In ADVANCES IN MASS DATA ANALYSIS OF IMAGES AND SIGNALS IN MEDICINE, BIOTECHNOLOGY, CHEMISTRY AND FOOD INDUSTRY, PRCEEDINGS, volume 5108 of Lecture Notes in Computer Science, pp 27-37, 2008. (DOI
).
-
Measuring Heart Rate from Rat Embryo Videos
. In Swedish Symposium on Image Analysis, pp 35-38, Swedish Society for Automated Image Analysis, Lund, Sweden, 2008.
-
Distance maps in an arbitrary metric tensor field: An iterative solver for 2-D charts
. In Proceedings of SSBA, SSBA, Lund, Sweden, 2008.
-
Challenged Networking: An Experimental Study of new Protocols and Architectures
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 450, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
).
-
Geographical locality and dynamic data migration for OpenMP implementations of adaptive PDE solvers
. In OpenMP Shared Memory Parallel Programming, volume 4315 of Lecture Notes in Computer Science, pp 382-393, Springer-Verlag, Berlin, 2008. (DOI
).
-
Estimation of pith position in untreated log ends in sawmill environments
. In Computers and Electronics in Agriculture, volume 63, number 2, pp 155-167, 2008. (DOI
).
-
Spatially-variant morphological operations on binary images based on the polar distance transform
. In ICPR 2008, volume CFP08182 of IEEE Proceedings, IEEE computer society, 2008.
-
The polar distance transform
. In Proceedings SSBA 2008, Symposium on image analysis, Lund, 2008.
-
IT in Home Health Care — A Case Study: Advantages and Disadvantages with Mobile Information Support
. In Proc. 2nd International Conference on Pervasive Computing Technologies for Healthcare, pp 201-204, IEEE, Piscataway, NJ, 2008. (DOI
).
-
Direct Weight Optimization Applied to Discontinuous Functions
. In Proceedings of the 47th IEEE Conference on Decision and Control, volume 47 of Proceedings / IEEE Conference on Decision and Control, pp 117-122, IEEE, Cancun, Mexico, 2008. (DOI
).
-
Enabling Bio-Feedback Using Real-Time fMRI
. In Proceedings of the 47th IEEE Conference on Decision and Control, volume 47 of Proceedings / IEEE Conference on Decision and Control, pp 3336-3341, IEEE, Cancun, Mexico, 2008. (DOI
).
-
Expressiveness of Process Algebras
. In Electronic Notes in Theoretical Computer Science, volume 209, pp 173-186, 2008. (DOI
).
-
Stepping Stones: Capacity building in engineering education
. In Proc. 38th ASEE/IEEE Frontiers in Education Conference, pp 307-312, IEEE, Piscataway, NJ, 2008. (DOI
).
-
Querying RDF Schema Views of Relational Databases
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 75, Acta Universitatis Upsaliensis, Uppsala, 2008.
-
Numerical analysis of Burgers' equation with uncertain boundary conditions using the stochastic Galerkin method
. Technical report / Department of Information Technology, Uppsala University nr 2008-011, 2008. (fulltext
).
-
Improved radial basis function methods for multi-dimensional option pricing
. In Journal of Computational and Applied Mathematics, volume 222, pp 82-93, 2008. (DOI
).
-
Spectrum labeling for cognitive radio systems: candidate spectral estimation
. In 1st IAPR (International Association for Pattern Recognition) Worshop on Cognitive Information Processing, CIP 08, Santorini, Greece, 2008, 2008.
-
Frequency content in an axially impacted bar subject to boundary conditions
. In Proc. 17th IFAC World Congress, International Federation of Automatic Control, 2008.
-
Optimal sensor locations for nonparametric identification of viscoelastic materials
. In Automatica, volume 44, number 1, pp 28-38, 2008. (DOI
).
-
An Interactive Test-bed for Heterogeneous Wireless Sensor Networks.
. In DCOSS demo proceedings, volume 5067 of Lecture Notes in Computer Science, Springer Verlag, 2008.
-
Parameterized Systems: Generalizing and Simplifying Automatic Verification
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 72, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
).
-
MIMO radar receiver design
. In Proceedings of the 2008 IEEE Radar Conference: 26-30 May 2008, Rome, Italy, pp 1-6, 2008. (DOI
).
-
Sparse signal representation for MIMO radar imaging
. In Proceedings of the 42nd Asilomar Conference on Signals, Systems, and Computers: Oct 26-29, 2008, Pacific Grove, California, USA, 2008.
-
Query authentication and data confidentiality in wireless sensor networks
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2008-002, Uppsala University, 2008. (fulltext
).
-
n-LDA: n-Layers Data Aggregation in Sensor Networks
. In Proc. 28th International Conference on Distributed Computing Systems Workshops, pp 400-405, IEEE, Piscataway, NJ, 2008. (DOI
).
-
Time constraints in new mobile communication: Practices among senior managers
. In KronoScope, volume 8, number 2, pp 147-157, 2008. (DOI
).
-
Gradual Typing of Erlang Programs: A Wrangler Experience
. In Proc. 7th ACM SIGPLAN Workshop on ERLANG, pp 73-81, ACM Press, New York, 2008. (DOI
).
-
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
. In Tools and Algorithms for the Construction and Analysis of Systems, volume 4963 of Lecture Notes in Computer Science, pp 18-32, Springer-Verlag, Berlin, 2008. (DOI
).
-
Verifying Absence of ? Loops in Parameterized Protocols
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 419, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
).
-
Student Understanding of Object-Oriented Programming as Expressed in Concept Maps
. In SIGCSE Bulletin inroads, volume 40, number 1, pp 332-336, 2008. (DOI
).
-
Are all state of the art techniques "simple as that" to implement in biomaterials research?: a pilot study in rat bone
. In AstraTech World Congress 2008, pp 136-137, 2008.
-
Att hitta ett histologiskt 2D snitt av ett benimplantat i en 3D mikrotomografivolym
. In Medicinteknikdagarna 2008, pp 103-103, MTF, 2008. (fulltext:postprint
).
-
Registration of 2D Histological Images of Bone Implants with 3D SR?CT Volumes
. In Advances in Visual Computing: 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part I, volume 5358 of Lecture Notes in Computer Science, pp 1071-1080, Springer, Heidelberg/Berlin, 2008. (DOI
, External link
, fulltext:print
).
-
Registration of 2D Histological Images of Bone Implants with 3D SRuCT Volumes
. In SSBA 2008, pp 19-22, SSBA, Lund, 2008.
-
Automatic robust adaptive beamforming via ridge regression
. In Signal Processing, volume 88, number 1, pp 33-49, 2008. (DOI
).
-
Empirical Bayes linear regression with unknown model order
. In Digital signal processing (Print), volume 18, number 2, pp 236-248, 2008. (DOI
).
-
Estimation of semi-sparse radar range profiles
. In Digital signal processing (Print), volume 18, number 4, pp 543-560, 2008. (DOI
).
-
Stability of the notion of approximating class of sequences and applications
. In Journal of Computational and Applied Mathematics, volume 219, pp 518-536, 2008. (DOI
).
-
A bound on the overlap of same-sized subsets
. In Annals of Combinatorics, volume 12, number 3, pp 347-352, 2008. (DOI
).
-
Perimeter estimation based on grey level object representation
. Rapport nr 33, Centre for Image Analysis, Uppsala, Sweden, 2008. (External link
).
-
Enhancing Signals
. 2008.
-
Robust Nuclear Quadrupole Resonance Signal Detection Allowing for Amplitude Uncertainties
. In IEEE Transactions on Signal Processing, volume 56, number 3, pp 887-894, 2008. (DOI
).
-
Viewing and Querying Topic Maps in terms of RDF
. In SEMMA2008: First International Workshop on Semantic Metadata Management and Applications, 2008. (Fulltext
).
-
On binary probing signals and instrumental variables receivers for radar
. In IEEE Transactions on Information Theory, volume 54, number 8, pp 3820-3825, 2008. (DOI
).
-
On spatial power spectrum and signal estimation using the Pisarenko framework
. In IEEE Transactions on Signal Processing, volume 56, number 10:2, pp 5109-5119, 2008. (DOI
).
-
On using a priori knowledge in space-time adaptive processing
. In IEEE Transactions on Signal Processing, volume 56, number 6, pp 2598-2602, 2008. (DOI
).
-
Spatial power spectrum estimation using the Pisarenko framework
. In 16th European Signal Processing Conference, EUSIPCO 2008, Lausanne, Switzerland, 2008.
-
Transmit codes and receive filters for pulse compression radar systems
. In 2008 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING, VOLS 1-12, International Conference on Acoustics Speech and Signal Processing (ICASSP), pp 3649-3652, 2008. (DOI
).
-
Transmit codes and receive filters for radar: A look at the design process
. In IEEE signal processing magazine (Print), volume 25, number 6, pp 94-109, 2008. (DOI
).
-
Waveform synthesis for diversity-based transmit beampattern design
. In IEEE Transactions on Signal Processing, volume 56, number 6, pp 2593-2597, 2008. (DOI
).
-
A Connection Between Z<sup>n</sup> and Generalized Triangular Grids
. In International Symposium on Visual Computing (ISVC 2008), Las Vegas, Nevada, volume 5359 of Lecture Notes in Computer Science, pp 1157-1166, Springer, Berlin / Heidelberg, 2008. (DOI
, External link
).
-
Distance Functions and Image Processing on Point-Lattices: with focus on the 3D face- and body-centered cubic grids
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 79, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
).
-
The Polar Distance Transform by Fast-Marching
. In Proceedings of 19th International Conference on Pattern Recognition (ICPR 2008), Tampa, Florida, December 2008, volume IEEE Catalog Number: CFP08182 of IEEE proceedings, IEEE computer society, 2008.
-
Weighted Neighborhood Sequences in Non-Standard Three-Dimensional Grids -- Parameter Optimization
. In In Proceedings, theoretical track, International Workshop on Combinatorial Image Analysis (IWCIA 2008), Buffalo, NY, USA, 2008, volume 4958 of Lecture notes in computer science, pp 51-62, 2008. (DOI
, External link
).
-
Weighted Neighbourhood Sequences - Computing the Distance Transform
. In Proceedings SSBA'08 Symposium on Image Analysis, Lund, Sweden, pp 63-66, 2008.
-
Weighted Neighbourhood Sequences in Non-Standard Three-Dimensional Grids: Metricity and Algorithms
. In In Proceedings International Conference on Discrete Geometry for Computer Imagery (DGCI 2008), Lyon, France, 2008, volume 4992 of Lecture notes in computer science, pp 201-212, 2008. (DOI
, External link
).
-
Aspects on the reverse fuzzy distance transform
. In Pattern Recognition Letters, volume 29, number 7, pp 888-896, 2008. (DOI
).
-
A stable high-order finite difference scheme for the compressible Navier-Stokes equations: no-slip wall boundary conditions
. In Journal of Computational Physics, volume 227, pp 4805-4824, 2008. (DOI
).
-
An accuracy evaluation of unstructured node-centred finite volume methods
. In Applied Numerical Mathematics, volume 58, pp 1142-1158, 2008. (DOI
).
-
Extending the Frisch scheme for errors-in-variables identification to correlated output noise
. In International journal of adaptive control and signal processing (Print), volume 22, number 1, pp 55-73, 2008. (DOI
).
-
Statistical analysis of a third-order cumulants based algorithm for discrete-time errors-in-variables identification
. In Proc. 17th IFAC World Congress, International Federation of Automatic Control, 2008.
-
Model-based validation of QoS properties of biomedical sensor networks
. In Proc. 8th ACM International Conference on Embedded Software, pp 69-78, ACM Press, New York, 2008. (DOI
).
-
Efficient Sensor Network Reprogramming through Compression of Executable Modules
. In Proceedings of Fifth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON 2008): June 16-20, 2008, San Francisco, California, USA. 2008, 2008. (External link
).
-
Using image analysis to model 3D liquid-paper interaction
. In Progress in Paper Physics Seminar 2008, volume B1 of TKK Reports in Forest Products Technology, 2008.
-
Optimization of an acoustic horn with respect to efficiency and directivity
. In International Journal for Numerical Methods in Engineering, volume 73, pp 1571-1606, 2008. (DOI
).
-
A toolkit for interactive medical image visualization and segmentation with haptics
. 2008.
-
Accurate and reproducible semi-automatic liver segmentation using haptic interaction
. In Medical Imaging 2008: Visualization, Image-Guided Procedures, and Modeling, volume 6918 of Proc. SPIE, pp 69182Q:1-8, Bellingham, WA, 2008. (DOI
).
-
Visualization and Haptics for Interactive Medical Image Analysis
Visualisering och Haptik för Interaktiv Medicinsk Bildanalys
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 386, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
, cover
).
-
Microwave tomography using topology optimization techniques
. In SIAM Journal on Scientific Computing, volume 30, pp 1613-1633, 2008. (DOI
).
-
An interactive software module for visualizing coronary arteries in CT angiography
. In International Journal of Computer Assisted Radiology and Surgery, volume 3, pp 11-18, 2008. (DOI
).
-
On estimation of covariance matrices with Kronecker product structure.
. In IEEE Transactions on Signal Processing, volume 56, number 2, pp 478-491, 2008. (DOI
).
-
Creating Correct Network Protocols
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 571, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
, errata
).
-
Reflecting on running large scale student collaboration projects
. In Proc. 38th ASEE/IEEE Frontiers in Education Conference, pp 1464-1468, IEEE, Piscataway, NJ, 2008. (DOI
).
-
Unwinding processes in Computer Science student projects
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2008-001, Uppsala University, 2008. (fulltext
).
-
MATLAB software for recursive identification and scaling using a structured nonlinear black-box model: Revision 4
. Technical report / Department of Information Technology, Uppsala University nr 2008-007, Uppsala universitet, 2008. (Report in fulltext
, fulltext
).
-
Collaborative Visualization: Designing and evaluating systems for co-located work
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 385, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
).
-
Evaluating Collaborative Visualization of Spatial Data in Multi-Viewer Displays
. 2008.
-
Finding cells, finding molecules, finding patterns
. In International Journal of Signal and Imaging Systems Engineering, volume 1, number 1, pp 11-17, 2008. (DOI
).
-
Image analysis in fluorescence microscopy: the human eye is not enough
. In Medicinteknikdagar 2008: Mötesplats för aktörer inom forskning, sjukvård och industri, Nils Löfgren, Högskolan i Borås, Proceedings, Medicinteknikdagarna 2008, 2008. (fulltext
).
-
Target detection and parameter estimation for MIMO radar systems
. In IEEE Transactions on Aerospace and Electronic Systems, volume 44, number 3, pp 927-939, 2008. (DOI
).
-
Knowledge-aided adaptive beamforming
. In Proceedings of the 2008 IEEE International Conference on Acoustics, Speech, and Signal Processing: March 30 - April 4, 2008, Las Vegas, Nevada, USA, pp 2337-2340, 2008. (DOI
).
-
Nonparametric and Sparse Signal Representations in Array Processing via Iterative Adaptive Approaches
. In Proceedings of the 42nd Asilomar Conference on Signals, Systems, and Computers: Oct 26-29, 2008, Pacific Grove, California, USA, 2008.
-
Sparsity constrained deconvolution approaches for acoustic source mapping
. In 14th AIAA/CEAS Aeroacoustics Conference (29th AIAA Aeroacoustics Conference), Vancouver, Canada, 2008, 2008.
-
Sparsity constrained deconvolution approaches for acoustic source mapping
. In Journal of the Acoustical Society of America, volume 123, number 5, pp 2631-2642, 2008. (DOI
).
-
Information Quality Aware Sensor Network Services
. In Proc. 42nd Asilomar Conference on Signals, Systems and Computers, pp 1155-1159, IEEE, Piscataway, NJ, 2008. (DOI
).
-
An interface capturing method for two-phase flow with moving contact lines
. In Proc. 1st European Conference on Microfluidics, pp 118:1-10, La Société Hydrotechnique de France, 2008. (fulltext:postprint
).
-
Threshold Concepts in Computer Science: a multinational empirical investigation
. In Threshold Concepts within the Disciplines, pp 105-118, Sense Publishers, Rotterdam, The Netherlands, 2008.
-
Adaptive arrays for broadband communications in the presence of unknown co-channel interference
. In IEEE Transactions on Signal Processing, volume 56, number 4, pp 1589-1600, 2008. (DOI
).
-
Knowledge-aided adaptive beamforming
. In IET Signal Processing, volume 2, number 4, pp 335-345, 2008. (DOI
).
-
Framing participation in organizational online communities: research challenges
. In Proc. 31st Information Systems Research Seminar in Scandinavia, 2008. (
).