Publikationer 2008
-
Weak versus Strong No-Slip Boundary Conditions for the Navier-Stokes Equations
. I 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
. I Electronical Notes in Theoretical Computer Science, volym 223, pp 3-14, 2008. (DOI
).
-
Composed Bisimulation for Tree Automata
. I Implementation and Application of Automata, volym 5148 av Lecture Notes in Computer Science, pp 212-222, Springer Berlin/Heidelberg, 2008. (DOI
).
-
Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata
. I Tools and Algorithms for the Construction and Analysis of Systems, volym 4963 av Lecture Notes in Computer Science, pp 93-108, Springer Berlin/Heidelberg, 2008. (DOI
).
-
Handling parameterized systems with non-atomic global conditions
. I Verification, Model Checking, and Abstract Interpretation, volym 4905 av Lecture Notes in Computer Science, pp 22-36, Springer-Verlag, Berlin, 2008. (DOI
).
-
Model Checking Race-Freeness
. I Proc. 1st Swedish Workshop on Multi-Core Computing, volym 2008:07 av Research report / Blekinge Institute of Technology, pp 89-96, 2008.
-
Model checking race-freeness
. I SIGARCH Computer Architecture News, volym 36, nummer 5, pp 72-79, 2008. (DOI
).
-
Monotonic abstraction for programs with dynamic memory heaps
. I Computer Aided Verification, volym 5123 av Lecture Notes in Computer Science, pp 341-354, Springer-Verlag, Berlin, 2008. (DOI
).
-
Monotonic abstraction in action: Automatic verification of distributed mutex algorithms
. I Theoretical Aspects of Computing - ICTAC 2008, volym 5160 av Lecture Notes in Computer Science, pp 50-65, Springer-Verlag, Berlin, 2008. (DOI
).
-
Monotonic and downward closed games
. I Journal of logic and computation (Print), volym 18, nummer 1, pp 153-169, 2008. (DOI
).
-
Parameterized tree systems
. I Formal Techniques for Networked and Distributed Systems: FORTE 2008?, volym 5048 av Lecture Notes in Computer Science, pp 69-83, Springer-Verlag, Berlin, 2008. (DOI
).
-
R-automata
. I CONCUR 2008 - Concurrency Theory, volym 5201 av Lecture Notes in Computer Science, pp 67-81, Springer-Verlag, Berlin, 2008. (DOI
).
-
Stochastic games with lossy channels
. I Foundations of Software Science and Computational Structures: Proceedings, volym 4962 av Lecture Notes in Computer Science, pp 35-49, Springer-Verlag, Berlin, 2008. (DOI
).
-
Universality Analysis for One-Clock Timed Automata
. I Fundamenta Informaticae, volym 89, nummer 4, pp 419-450, 2008.
-
Pyramidal flux in an anisotropic diffusion scheme for enhancing structures in 3D images
. I Medical Imaging 2008: Image Processing, volym 6914 av Proc. SPIE, pp 691429:1-12, Bellingham, WA, 2008. (DOI
).
-
Presentation of the VINN Excellence Center for Wireless Sensor Networks (WISENET)
. I Conference on Radio Science (RVK08), Växjö, 2008.
-
Estimating 3D Fibre Orientation in Volume Images
. I Proceedings of the 19th International Conference on Pattern Recognition, IEEE, 2008.
-
Tracking Tubular Structures in Volume Image Data
. I 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. (Extern länk).
-
Mesh independent convergence rates via differential operator pairs
. I Large-Scale Scientific Computing, volym 4818 av Lecture Notes in Computer Science, pp 3-15, Springer-Verlag, Berlin, 2008. (DOI
).
-
Automatic cepstrum-based smoothing of the periodogram via cross-validation
. I Proc. 16th European Signal Processing Conference, European Association for Signal Processing, 2008.
-
Optimal Preconditioning for Interpolation of Missing Data in a Band-Limited Sequence
. I 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
. I Game Programming Gems 7, pp 373-380, Charles River Media, Boston, 2008.
-
Trigonometric splines
. I 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>
. I ACM Transactions on Mathematical Software, volym 35, nummer 1, pp 1:1-29, 2008. (DOI
).
-
Exact and approximate solutions of source localization problems
. I IEEE Transactions on Signal Processing, volym 56, nummer 5, pp 1770-1778, 2008. (DOI
).
-
Combining tree partitioning, precedence, and incomparability constraints
. I Constraints, volym 13, nummer 4, pp 459-489, 2008. (DOI
).
-
Infinite-state Stochastic and Parameterized Systems
. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 76, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
).
-
Re?nement Types for Secure Implementations
. I Proc. 21st IEEE Computer Security Foundations Symposium, pp 17-32, IEEE, Piscataway, NJ, 2008. (DOI
, fulltext
).
-
Annual Report 2007
. 2008. (Extern länk
).
-
Regular Inference for State Machines Using Domains with Equality Tests
. I Fundamental Approaches to Software Engineering, volym 4961 av Lecture Notes in Computer Science, pp 317-331, Springer-Verlag, Berlin, 2008. (DOI
).
-
Disseminating phenomenography: Workshops for the computing education research community
. I 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
. I Australian Computer Science Communications, volym 30, nummer 5, pp 35-42, 2008. (Extern länk
).
-
Students learn CS in different ways: Insights from an empirical study: (Invited talk)
. Australian Computer Society, 2008. (Extern länk
).
-
Three Ways of Globalizing IT Engineering Education: Experiences from Two European Universities
. I 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
. I Journal of Nuclear Medicine, volym 49, nummer 7, pp 1204-1210, 2008. (DOI
).
-
A Testbed for Evaluating Delay Tolerant Network Protocol Implementations
. I 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. ().
-
Discrete Skeletons from Distance Transforms in 2D and 3D
. I Medial Representations: Mathematics, Algorithms and Applications, volym 37 av Computational Imaging and Vision, pp 155-190, Springer Verlag, Netherlands, 2008.
-
Räta linjer på dataskärmen: En illustration av rekursivitet
. I Nämnaren, volym 35, nummer 1, pp 46-50, 2008.
-
Tessellationer: konsten att dela upp planet i regelbundna mönster
. I 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
. I 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
. I IEEE Engineering in Medicine and Biology Magazine, volym 27, nummer 3, pp 42-50, 2008. (DOI
).
-
Geodesic Glyph Warping
. I Proceedings of SSBA, SSBA, Lund, Sweden, 2008.
-
Initialization of a nonlinear identification algorithm applied to laboratory plant data
. I IEEE Transactions on Control Systems Technology, volym 16, nummer 4, pp 708-716, 2008. (DOI
).
-
Nonlinear Identification and Control with Solar Energy Applications
. Doktorsavhandling, 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
. I International Journal for Numerical Methods in Engineering, volym 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. (Extern länk).
-
Structural characteristics of pore networks affecting print-through
. I Journal of Pulp and Paper Science (JPPS), volym 34, nummer 1, pp 13-22, 2008.
-
Multi-pitch estimation
. I Signal Processing, volym 88, nummer 4, pp 972-983, 2008. (DOI
).
-
On-line placement of real-time tasks on 2D partially run-time reconfigurable FPGAs
. I Proc. 5th IEEE International Symposium on Embedded Computing, pp 20-25, IEEE, Piscataway, NJ, 2008. (DOI
).
-
Timed Automata Patterns
. I IEEE Transactions on Software Engineering, volym 34, nummer 6, pp 844-859, 2008. (DOI
).
-
Review of User Parameter-Free Robust Adaptive Beamforming Algorithms
. I 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
. I 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
. I Journal of Process Control, volym 18, nummer 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. (Extern länk).
-
Numerical Solution Methods in Stochastic Chemical Kinetics
. Doktorsavhandling, 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. (Extern länk).
-
Simulation of stochastic reaction-diffusion processes on unstructured meshes
. Technical report / Department of Information Technology, Uppsala University nr 2008-012, 2008. (Extern länk).
-
Time-parallel simulation of stochastic chemical kinetics
. I Numerical Analysis and Applied Mathematics: ICNAAM 2008, volym 1048 av 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
. I 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
. I 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
. I 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
. I 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
. I Control Engineering Practice, volym 16, nummer 11, pp 1372-1378, 2008. (DOI
).
-
Exploring semantic interference in heterogeneous sensor networks
. I , pp 45-51, ACM Press, New York, 2008. (DOI
).
-
A hierarchy of approximations of the master equation scaled by a size parameter
. I Journal of Scientific Computing, volym 34, pp 127-151, 2008. (DOI
).
-
An introduction to inductive programming
. I Artificial Intelligence Review, volym 29, nummer 1, pp 45-62, 2008. (DOI
).
-
Proceedings of LSCS'08, the Fifth International Workshop on Local Search Techniques in Constraint Satisfaction
. 2008. (Extern länk
).
-
Proceedings of ModRef'08, the Seventh International Workshop on Constraint Modelling and Reformulation
. 2008. (Extern länk).
-
Solving necklace constraint problems
. I Proc. 18th European Conference on Artificial Intelligence, pp 520-524, IOS Press, Amsterdam, The Netherlands, 2008.
-
Algorithms for cross-talk suppression in fluorescence microscopy
. I Medicinteknikdagarna 2008, pp 64-64, 2008. (fulltext
).
-
Automatisk spårning av dendriter i konfokalmikroskopibilder av nervceller
. I Medicinteknikdagarna 2008, pp 61-61, 2008.
-
Adaptive QoS Routing for Significant Events in Wireless Sensor Networks
. I 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
. I Physica A: Statistical Mechanics and its Applications, volym 387, pp 6263-6276, 2008. (DOI
).
-
Stress chain solutions in two-dimensional isostatic granular systems: Fabric-dependent paths, leakage, and branching
. I Physical Review Letters, volym 101, pp 098001:1-4, 2008. (DOI
).
-
Highly Scalable Trip Grouping for Large Scale Collective Transportation Systems
. I Proc. 11th International Conference on Extending Database Technology, EDBT 2008, 2008. (Fulltext
).
-
Instant Social Ride-Sharing
. I Proc. 15th World Congress on Intelligent Transport Systems, p 8, Intelligent Transportation Society of America, 2008.
-
Privacy-Preserving Trajectory Collection
. I 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
. I 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. ().
-
Learning of Event-Recording Automata
. Technical report / Department of Information Technology, Uppsala University nr 2008-013, 2008. ().
-
Learning of Timed Systems
. Doktorsavhandling, 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
. I Formal Aspects of Computing, volym 20, nummer 6, pp 619-635, 2008. (DOI
).
-
New schedulability test conditions for non-preemptive scheduling on multiprocessor platforms
. I Proc. Real-Time Systems Symposium: RTSS 2008, pp 137-146, IEEE, Piscataway, NJ, 2008. (DOI
).
-
On denoising via penalized least-squares rules
. I Proc. International Conference on Acoustics, Speech, and Signal Processing: ICASSP 2008, volym 33 av International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp 3705-3708, IEEE, Piscataway, NJ, 2008. (DOI
).
-
On the reconstruction of gapped sinusoidal data
. I Proc. International Conference on Acoustics, Speech, and Signal Processing: ICASSP 2008, volym 33 av 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
. I 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. (Extern länk
, fulltext
).
-
Improving cache utilization using Acumem VPE
. I Tools for High Performance Computing, pp 115-135, Springer-Verlag, Berlin, 2008. (DOI
).
-
Comparison of some Gramian based interaction measures
. I 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
. I Journal of Biomechanical Engineering, volym 130, nummer 1, pp 011012:1-9, 2008. (DOI
).
-
A Learning Theory Perspective on Running Open Ended Group Projects (OEGPs)
. I Australian Computer Science Communications, volym 30, nummer 5, pp 85-92, 2008. (
).
-
Sparse grids and hybrid methods for the chemical master equation
. I BIT Numerical Mathematics, volym 48, pp 265-283, 2008. (DOI
).
-
Efficient computation of transient solutions of the chemical master equation based on uniformization and quasi-Monte Carlo
. I Journal of Chemical Physics, volym 128, pp 154109:1-7, 2008. (DOI
).
-
Numerical simulation of well stirred biochemical reaction networks governed by the master equation
. Licentiatavhandling, 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
. I Medicine Meets Virtual Reality 16, volym 132 av 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
. Doktorsavhandling, 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
. I Proc. 17th IFAC World Congress, International Federation of Automatic Control, 2008.
-
Analysis of Some Methods for Identifying Dynamic Errors-in-variables Systems
. Doktorsavhandling, 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
. I Proc. 17th IFAC World Congress, International Federation of Automatic Control, 2008.
-
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
. I 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. (Extern länk).
-
Extended pi-Calculi
. I Automata, Languages and Programming, PT 2: Proceedings of ICALP 2008, volym 5126 av Lecture Notes in Computer Science, pp 87-98, 2008. (DOI
).
-
Cyclic dependencies in modular performance analysis
. I 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
. I Proc. 1st Swedish Workshop on Multi-Core Computing, volym 2008:07 av Research report / Blekinge Institute of Technology, pp 82-88, 2008.
-
State-space exploration for concurrent algorithms under weak memory orderings
. I SIGARCH Computer Architecture News, volym 36, nummer 5, pp 65-71, 2008. (DOI
).
-
Reduction Techniques for Finite (Tree) Automata
. Doktorsavhandling, 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
. I 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
. Doktorsavhandling, 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
. I 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. (Extern länk).
-
Accurate time propagation for the Schrödinger equation with an explicitly time-dependent Hamiltonian
. I Journal of Chemical Physics, volym 128, pp 184101:1-11, 2008. (DOI
).
-
Stability of viscous shocks on finite intervals
. I Archive for Rational Mechanics and Analysis, volym 187, pp 157-183, 2008. (DOI
).
-
A hybrid level-set Cahn–Hilliard model for two-phase flow
. I 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
. I Proc. 5th International Conference on Innovation and Management, pp 2894-2908, Maastricht, The Netherlands, 2008.
-
Can micro world simulations assess and stimulate ethical competence?
. I Proceedings of the Tenth International Conference ETHICOMP 2008: "Living, Working And Learning Beyond Technology", pp 503-510, University of Pavia, Mantua, Italy, 2008. (Extern länk
).
-
Tools for ethical decision making
. I Proc. 3rd International Conference on Human Centered Processes: Part III, pp 13-24, 2008. (Extern länk
).
-
ARMA parameter estimation: Revisiting a cepstrum-based method
. I 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
. I 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
. I Numerische Mathematik, volym 108, pp 487-500, 2008. (DOI
).
-
Multi-dimensional option pricing using radial basis functions and the generalized Fourier transform
. I Journal of Computational and Applied Mathematics, volym 222, pp 175-192, 2008. (DOI
).
-
Estimation of Continuous-time Stochastic System Parameters
. I Identification of Continuous-time Models from Sampled Data, pp 31-66, Springer-Verlag, London, 2008. (DOI
).
-
Stability criteria for hybrid difference methods
. I Journal of Computational Physics, volym 227, pp 2886-2898, 2008. (DOI
).
-
Covariance beamforming, covariance matrix tapers and matrix beamforming are related
. I Electronics Letters, volym 44, nummer 5, pp 383-384, 2008. (DOI
).
-
Fully automatic computation of diagonal loading levels for robust adaptive beamforming
. I 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
. I 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
. I IEEE Transactions on Signal Processing, volym 56, nummer 1, pp 218-232, 2008. (DOI
).
-
Signal synthesis and receiver design for MIMO radar imaging
. I IEEE Transactions on Signal Processing, volym 56, nummer 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
. I Electronics Letters, volym 44, nummer 19, pp 1160-1161, 2008. (DOI
).
-
Deterministic Defuzzification based on Spectral Projected Gradient Optimization
. I 30th Symposium of the German Association for Pattern Recognition (DAGM), volym 5096 av Lecture Notes in Computer Science, pp 476-485, Springer, Berlin / Heidelberg, 2008. (DOI
).
-
Asynchronous time integration of flux-conservative transport
. I 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
. I 13th European Conference on Composite Materials (ECCM), 2008.
-
Graph Cut Based Segmentation of Phase Contrast Volume Images of Fibrous Materials
. I Proceedings of Swedish Symposium on Image Analysis (SSBA'08), pp 131-134, 2008.
-
Segmentation and Analysis of Volume Images, with Applications
. Licentiatavhandling, 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
. I Journal of Computational Physics, volym 227, pp 2293-2316, 2008. (DOI
).
-
Stable and accurate wave-propagation in discontinuous media
. I Journal of Computational Physics, volym 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. (Extern länk).
-
Newton-type methods for REML estimation in genetic analysis of quantitative traits
. I Journal of Computational Methods in Sciences and Engineering, volym 8, pp 53-67, 2008.
-
Interactive visualization of new electromagnetic quantities
. I 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
. I Proc. 4th International Computing Education Research Workshop, pp 125-135, ACM Press, New York, 2008. (DOI
).
-
High order numerical simulation of Aeolian tones
. I Computers & Fluids, volym 37, pp 450-462, 2008. (DOI
).
-
Neighborhood Sequences in the Diamond Grid
. I Image analysis: from theory to applications, pp 187-195, Research Publishing, Singapore, Chennai, 2008. (Extern länk
).
-
Estimation and Control of Resonant Systems with Stochastic Disturbances
. Doktorsavhandling, 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
. I 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
. I Reglermöte 2008: Proceedings, volym 2008:21 av Research report / Luleå University of Technology, pp 83-89, 2008. (Extern länk
).
-
Preconditioning of nonsymmetric saddle point systems as arising in modelling of viscoelastic problems
. I Electronic Transactions on Numerical Analysis, volym 29, pp 193-211, 2008.
-
Fully Automatic Heart Beat Rate Determination in Digital Video Recordings of Rat Embryos
. I ADVANCES IN MASS DATA ANALYSIS OF IMAGES AND SIGNALS IN MEDICINE, BIOTECHNOLOGY, CHEMISTRY AND FOOD INDUSTRY, PRCEEDINGS, volym 5108 av Lecture Notes in Computer Science, pp 27-37, 2008. (DOI
).
-
Measuring Heart Rate from Rat Embryo Videos
. I 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
. I Proceedings of SSBA, SSBA, Lund, Sweden, 2008.
-
Challenged Networking: An Experimental Study of new Protocols and Architectures
. Doktorsavhandling, 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
. I OpenMP Shared Memory Parallel Programming, volym 4315 av Lecture Notes in Computer Science, pp 382-393, Springer-Verlag, Berlin, 2008. (DOI
).
-
Estimation of pith position in untreated log ends in sawmill environments
. I Computers and Electronics in Agriculture, volym 63, nummer 2, pp 155-167, 2008. (DOI
).
-
Spatially-variant morphological operations on binary images based on the polar distance transform
. I ICPR 2008, volym CFP08182 av IEEE Proceedings, IEEE computer society, 2008.
-
The polar distance transform
. I Proceedings SSBA 2008, Symposium on image analysis, Lund, 2008.
-
IT in Home Health Care — A Case Study: Advantages and Disadvantages with Mobile Information Support
. I 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
. I Proceedings of the 47th IEEE Conference on Decision and Control, volym 47 av Proceedings / IEEE Conference on Decision and Control, pp 117-122, IEEE, Cancun, Mexico, 2008. (DOI
).
-
Enabling Bio-Feedback Using Real-Time fMRI
. I Proceedings of the 47th IEEE Conference on Decision and Control, volym 47 av Proceedings / IEEE Conference on Decision and Control, pp 3336-3341, IEEE, Cancun, Mexico, 2008. (DOI
).
-
Expressiveness of Process Algebras
. I Electronical Notes in Theoretical Computer Science, volym 209, pp 173-186, 2008. (DOI
).
-
Stepping Stones: Capacity building in engineering education
. I Proc. 38th ASEE/IEEE Frontiers in Education Conference, pp 307-312, IEEE, Piscataway, NJ, 2008. (DOI
).
-
Querying RDF Schema Views of Relational Databases
. Doktorsavhandling, 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. (Extern länk).
-
Improved radial basis function methods for multi-dimensional option pricing
. I Journal of Computational and Applied Mathematics, volym 222, pp 82-93, 2008. (DOI
).
-
Spectrum labeling for cognitive radio systems: candidate spectral estimation
. I 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
. I Proc. 17th IFAC World Congress, International Federation of Automatic Control, 2008.
-
Optimal sensor locations for nonparametric identification of viscoelastic materials
. I Automatica, volym 44, nummer 1, pp 28-38, 2008. (DOI
).
-
An Interactive Test-bed for Heterogeneous Wireless Sensor Networks.
. I DCOSS demo proceedings, volym 5067 av Lecture Notes in Computer Science, Springer Verlag, 2008.
-
Parameterized Systems: Generalizing and Simplifying Automatic Verification
. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 72, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
).
-
MIMO radar receiver design
. I 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
. I 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
. Licentiatavhandling, 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
. I 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
. I KronoScope, volym 8, nummer 2, pp 147-157, 2008. (DOI
).
-
Gradual Typing of Erlang Programs: A Wrangler Experience
. I 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
. I Tools and Algorithms for the Construction and Analysis of Systems, volym 4963 av Lecture Notes in Computer Science, pp 18-32, Springer-Verlag, Berlin, 2008. (DOI
).
-
Verifying Absence of ? Loops in Parameterized Protocols
. Doktorsavhandling, 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
. I SIGCSE Bulletin inroads, volym 40, nummer 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
. I AstraTech World Congress 2008, pp 136-137, 2008.
-
Att hitta ett histologiskt 2D snitt av ett benimplantat i en 3D mikrotomografivolym
. I Medicinteknikdagarna 2008, pp 103-103, MTF, 2008. (fulltext:postprint
).
-
Registration of 2D Histological Images of Bone Implants with 3D SR?CT Volumes
. I Advances in Visual Computing: 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part I, volym 5358 av Lecture Notes in Computer Science, pp 1071-1080, Springer, Heidelberg/Berlin, 2008. (DOI
, Extern länk
, fulltext:print
).
-
Registration of 2D Histological Images of Bone Implants with 3D SRuCT Volumes
. I SSBA 2008, pp 19-22, SSBA, Lund, 2008.
-
Automatic robust adaptive beamforming via ridge regression
. I Signal Processing, volym 88, nummer 1, pp 33-49, 2008. (DOI
).
-
Empirical Bayes linear regression with unknown model order
. I Digital signal processing (Print), volym 18, nummer 2, pp 236-248, 2008. (DOI
).
-
Estimation of semi-sparse radar range profiles
. I Digital signal processing (Print), volym 18, nummer 4, pp 543-560, 2008. (DOI
).
-
Stability of the notion of approximating class of sequences and applications
. I Journal of Computational and Applied Mathematics, volym 219, pp 518-536, 2008. (DOI
).
-
A bound on the overlap of same-sized subsets
. I Annals of Combinatorics, volym 12, nummer 3, pp 347-352, 2008. (DOI
).
-
Perimeter estimation based on grey level object representation
. Rapport nr 33, Centre for Image Analysis, Uppsala, Sweden, 2008. (Extern länk
).
-
Enhancing Signals
. 2008.
-
Robust Nuclear Quadrupole Resonance Signal Detection Allowing for Amplitude Uncertainties
. I IEEE Transactions on Signal Processing, volym 56, nummer 3, pp 887-894, 2008. (DOI
).
-
Viewing and Querying Topic Maps in terms of RDF
. I SEMMA2008: First International Workshop on Semantic Metadata Management and Applications, 2008. (Fulltext
).
-
On binary probing signals and instrumental variables receivers for radar
. I IEEE Transactions on Information Theory, volym 54, nummer 8, pp 3820-3825, 2008. (DOI
).
-
On spatial power spectrum and signal estimation using the Pisarenko framework
. I IEEE Transactions on Signal Processing, volym 56, nummer 10:2, pp 5109-5119, 2008. (DOI
).
-
On using a priori knowledge in space-time adaptive processing
. I IEEE Transactions on Signal Processing, volym 56, nummer 6, pp 2598-2602, 2008. (DOI
).
-
Spatial power spectrum estimation using the Pisarenko framework
. I 16th European Signal Processing Conference, EUSIPCO 2008, Lausanne, Switzerland, 2008.
-
Transmit codes and receive filters for pulse compression radar systems
. I 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
. I IEEE signal processing magazine (Print), volym 25, nummer 6, pp 94-109, 2008. (DOI
).
-
Waveform synthesis for diversity-based transmit beampattern design
. I IEEE Transactions on Signal Processing, volym 56, nummer 6, pp 2593-2597, 2008. (DOI
).
-
A Connection Between Z<sup>n</sup> and Generalized Triangular Grids
. I International Symposium on Visual Computing (ISVC 2008), Las Vegas, Nevada, volym 5359 av Lecture Notes in Computer Science, pp 1157-1166, Springer, Berlin / Heidelberg, 2008. (DOI
, Extern länk
).
-
Distance Functions and Image Processing on Point-Lattices: with focus on the 3D face- and body-centered cubic grids
. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 79, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
).
-
The Polar Distance Transform by Fast-Marching
. I Proceedings of 19th International Conference on Pattern Recognition (ICPR 2008), Tampa, Florida, December 2008, volym IEEE Catalog Number: CFP08182 av IEEE proceedings, IEEE computer society, 2008.
-
Weighted Neighborhood Sequences in Non-Standard Three-Dimensional Grids -- Parameter Optimization
. I In Proceedings, theoretical track, International Workshop on Combinatorial Image Analysis (IWCIA 2008), Buffalo, NY, USA, 2008, volym 4958 av Lecture notes in computer science, pp 51-62, 2008. (DOI
, Extern länk
).
-
Weighted Neighbourhood Sequences - Computing the Distance Transform
. I 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
. I In Proceedings International Conference on Discrete Geometry for Computer Imagery (DGCI 2008), Lyon, France, 2008, volym 4992 av Lecture notes in computer science, pp 201-212, 2008. (DOI
, Extern länk
).
-
Aspects on the reverse fuzzy distance transform
. I Pattern Recognition Letters, volym 29, nummer 7, pp 888-896, 2008. (DOI
).
-
A stable high-order finite difference scheme for the compressible Navier-Stokes equations: no-slip wall boundary conditions
. I Journal of Computational Physics, volym 227, pp 4805-4824, 2008. (DOI
).
-
An accuracy evaluation of unstructured node-centred finite volume methods
. I Applied Numerical Mathematics, volym 58, pp 1142-1158, 2008. (DOI
).
-
Extending the Frisch scheme for errors-in-variables identification to correlated output noise
. I International journal of adaptive control and signal processing (Print), volym 22, nummer 1, pp 55-73, 2008. (DOI
).
-
Statistical analysis of a third-order cumulants based algorithm for discrete-time errors-in-variables identification
. I Proc. 17th IFAC World Congress, International Federation of Automatic Control, 2008.
-
Model-based validation of QoS properties of biomedical sensor networks
. I 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
. I 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. (Extern länk
).
-
Using image analysis to model 3D liquid-paper interaction
. I Progress in Paper Physics Seminar 2008, volym B1 av TKK Reports in Forest Products Technology, 2008.
-
Optimization of an acoustic horn with respect to efficiency and directivity
. I International Journal for Numerical Methods in Engineering, volym 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
. I Medical Imaging 2008: Visualization, Image-Guided Procedures, and Modeling, volym 6918 av 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
. Doktorsavhandling, 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
. I SIAM Journal on Scientific Computing, volym 30, pp 1613-1633, 2008. (DOI
).
-
An interactive software module for visualizing coronary arteries in CT angiography
. I International Journal of Computer Assisted Radiology and Surgery, volym 3, pp 11-18, 2008. (DOI
).
-
On estimation of covariance matrices with Kronecker product structure.
. I IEEE Transactions on Signal Processing, volym 56, nummer 2, pp 478-491, 2008. (DOI
).
-
Creating Correct Network Protocols
. Doktorsavhandling, 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
. I Proc. 38th ASEE/IEEE Frontiers in Education Conference, pp 1464-1468, IEEE, Piscataway, NJ, 2008. (DOI
).
-
Unwinding processes in Computer Science student projects
. Licentiatavhandling, 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
. Doktorsavhandling, 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
. I International Journal of Signal and Imaging Systems Engineering, volym 1, nummer 1, pp 11-17, 2008. (DOI
).
-
Image analysis in fluorescence microscopy: the human eye is not enough
. I 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
. I IEEE Transactions on Aerospace and Electronic Systems, volym 44, nummer 3, pp 927-939, 2008. (DOI
).
-
Knowledge-aided adaptive beamforming
. I 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
. I 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
. I 14th AIAA/CEAS Aeroacoustics Conference (29th AIAA Aeroacoustics Conference), Vancouver, Canada, 2008, 2008.
-
Sparsity constrained deconvolution approaches for acoustic source mapping
. I Journal of the Acoustical Society of America, volym 123, nummer 5, pp 2631-2642, 2008. (DOI
).
-
Information Quality Aware Sensor Network Services
. I 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
. I 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
. I 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
. I IEEE Transactions on Signal Processing, volym 56, nummer 4, pp 1589-1600, 2008. (DOI
).
-
Knowledge-aided adaptive beamforming
. I IET Signal Processing, volym 2, nummer 4, pp 335-345, 2008. (DOI
).
-
Framing participation in organizational online communities: research challenges
. I Proc. 31st Information Systems Research Seminar in Scandinavia, 2008. (
).