Publications 2003
-
Periodic signal modeling based on Liénard's equation
. Technical report / Department of Information Technology, Uppsala University nr 2003-036, Uppsala University, Uppsala, 2003. (External link
, fulltext
).
-
Algorithmic Improvements in Regular Model Checking
. Technical report / Department of Information Technology, Uppsala University nr 2003-024, Department of Information Technology, Uppsala University, 2003. (fulltext
).
-
Algorithmic Improvements in Regular Model Checking
. In CAV'03, 15th Int. Conf. Computer Aided Verification, pp 236-248, 2003.
-
Downward Closed Language Generators
. Technical report / Department of Information Technology, Uppsala University nr 2003-001, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext
).
-
Forward Reachability Analysis of Timed Petri Nets
. Technical report / Department of Information Technology, Uppsala University nr 2003-056, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext
).
-
Model checking of systems with many identical timed processes
. In Theoretical Computer Science, volume 290, number 1, pp 241-264, 2003. (DOI
).
-
The difference between concurrent and sequential computation
. Volume 13(4-5) of Mathematical Structures in Computer Science, Cambridge University Press, 2003. (DOI
).
-
Challenges in teaching capstone courses
. In ACM SIGCSE Bulletin, volume 35, number 3, pp 219-220, 2003.
-
Estimation of nominal directions of arrival and angular spreads of distributed sources
. In Signal Processing, volume 83, pp 1833-1838, 2003.
-
Special Issue on ASE'00
. Volume 10 of Automated Software Engineering, Kluwer Academic Publishers, 2003. (External link
).
-
Case studies in admission to and early performance in computer science degrees
. In ACM SIGCSE Bulletin, volume 35, number 4, pp 149-153, 2003.
-
Code synthesis for timed automata
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-011, Uppsala University, 2003. (fulltext
).
-
TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems
. In Proceedings of the International Conference of Formal Modeling and Analysis of Timed Systems, 2003. (External link
).
-
Times: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems
. In To appear in Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS'03, 2003.
-
Adjoint-based aerodynamic shape optimization
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-012, Uppsala University, 2003. (fulltext
).
-
Discrete adjoint-based shape optimization for an edge-based finite-volume solver
. In Computational Fluid and Solid Mechanics: 2003, pp 2190-2193, Elsevier Science, 2003. (DOI
).
-
Preconditioning methods for linear systems arising in constrained optimization problems
. In Numerical Linear Algebra with Applications, volume 10, pp 3-31, 2003. (DOI
).
-
Robust preconditioners for saddle point problems
. In Numerical Methods and Applications, volume 2542 of Lecture Notes in Computer Science, pp 158-166, Springer-Verlag, Berlin, 2003. (DOI
).
-
A Backward/Forward Strategy for Verifying Safety Properties of Infinite-State Systems
. Technical report / Department of Information Technology, Uppsala University nr 2003-065, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext
).
-
Spi Calculus Translated to pi-Calculus Preserving May-Testing
. Technical report / Department of Information Technology, Uppsala University nr 2003-063, 2003. (fulltext
).
-
The BDD Space Complexity of Different Forms of Complexity
. In Fundamenta Informaticae, volume 50, number 2, pp 111-133, 2003.
-
A fast all-integer ellipse discretization algorithm
. In Graphics Programming Methods, pp 121-131, 2003.
-
A fast and simple all-integer parametric line
. In , 2003.
-
The Usability Design Process: Integrating User-Centred Systems Design in the Software Development Process
. In Software Process: Improvement and Practice, volume 8, number 2, 2003.
-
Usability Design: Extending Rational Unified Process with a New Discipline
. In Interactive Systems: Design, Specification and Verification, 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 2003, Revised Papers, LNCS 2844, pp 316-330, 2003.
-
A feature set for cytometry on digitized microscopic images
. In Analytical Cellular Pathology, volume 24, number 1, pp 1-36, 2003.
-
Computerized Cell Image Analysis: Past, Present and Future
. 2003.
-
On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata
. In Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, 2003.
-
Timed Automata: Semantics, Algorithms and Tools
. In Lectures on Concurrency and Petri Nets, Advances in Petri Nets, pp 87-124, 2003.
-
Robust Cell Image Segmentation Methods
. 2003.
-
Low-Overhead Spatial and Temporal Data Locality Analysis
. Technical report / Department of Information Technology, Uppsala University nr 2003-057, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext
).
-
Methods for run time analysis of data locality
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-015, Uppsala University, 2003. (fulltext
).
-
StatCache: A Probabilistic Approach to Efficient and Accurate Data Locality Analysis
. Technical report / Department of Information Technology, Uppsala University nr 2003-058, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext
).
-
Insights to Angluin's Learning
. IT Technical Report 2003-039, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link
).
-
Multifrequency shape optimization of an acoustic horn
. In Computational Fluid and Solid Mechanics: 2003, pp 2204-2207, Elsevier Science, 2003. (DOI
).
-
A Framework to study learning in an internationally distributed course.
. In Communities of Practise.: Research Proceedings of the 10th Association for Learning Technology Conference (ALT-C 2003), pp 27-39, 2003.
-
Erfarenheter av att leda ett utvecklingsprojekt (in Swedish): Invited speaker, course for project leaders
. Rådet för Högre Utbildning ,Stockholm, Sweden, 2003.
-
Students' Understanding of Networks in an Internationally Distributed Course.
. In Proceedings of 3rd IEEE International Conference of Advanced Learning Technologies (ICALT 2003)., pp 380-381, 2003.
-
What is good teaching of computer networks?.
. In Proceedings of 33rd Annual Frontiers in Education, pp 2SD13-2SD19, 2003. (External link
).
-
On parameter estimation of MIMO flat-fading channels with frequency offsets
. In IEEE Trans Signal Process, volume 51, pp 602-613, 2003.
-
Training sequence selection for frequency offset estimation in frequency selective channels
. In Digital Signal Processing, volume 13, pp 106-127, 2003.
-
A recursive algorithm for estimating parameters in a one dimensional diffusion system
. In 13th IFAC Symposium on System Identification, 2003.
-
Reduced order models for a two-dimensional heat diffusion system
. Technical report / Department of Information Technology, Uppsala University nr 2003-022, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext
).
-
A note on gramain-based interaction measures
. In Proceedings of European Control Conference, 2003.
-
A Discrete Subexponential Algorithm for Parity Games
. In Proceedings of the 20th International Symposium on Theoretical Aspects of Computer Science, STACS'2003, 2003.
-
A discrete subexponential algorithm for parity games
. In STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, pp 663-674, 2003.
-
Algorithms for Combinatorial Optimization and Games Adapted from Linear Programming
. In Proceedings of the Eighth European Summer School on Logic, Language, and Information (ESSLLI) Student Session, pp 13-24, 2003.
-
Algorithms for Combinatorial Optimization and Games Adapted from Linear Programming
. Technical report / Department of Information Technology, Uppsala University nr 2003-015, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link
, fulltext
).
-
An Improved Subexponential Algorithm for Parity Games
. Technical report / Department of Information Technology, Uppsala University nr 2003-017, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext
).
-
Complexity of Model Checking by Iterative Improvement: the Pseudo-Boolean Framework
. In Proceedings of the Andrei Ershov Fifth International Conference ``Perspectives of System Informatics'', pp 381-394, 2003.
-
Complexity of model checking by iterative improvement: the pseudo-Boolean framework
. In Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, pp 381-394, 2003.
-
On Combinatorial Structure and Algorithms for Parity Games
. Technical report / Department of Information Technology, Uppsala University nr 2003-002, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext
).
-
On Fixed-Parameter Complexity of Infinite Games
. Technical report / Department of Information Technology, Uppsala University nr 2003-038, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext
).
-
Randomized Subexponential Algorithms for Parity Games
. Technical report / Department of Information Technology, Uppsala University nr 2003-019, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext
).
-
Automated test generation for industrial Erlang applications
. In Erlang Workshop 2003: Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003., pp 8-14, 2003.
-
Addressing users' health issues in software development - an exploratory study
. In Behaviour & Information Technology, special section on Designing IT for Healthy Work, volume 22, number 6, pp 411-420, 2003.
-
Addressing Users' Health Issues in Software Development: An Exploratory Study
. In Behaviour & Information Technology, volume 22, number 6, pp 411-420, 2003.
-
It’s all in a days work of a software engineer
. In Proceedings of HCI International 2003, June 22-27, Crete, Greece, 2003.
-
Usability and users’ health issues in systems development
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-003, Uppsala University, 2003. (fulltext
).
-
Why Usability Gets Lost or Usability in In-house Software Development
. In Interacting with Computers, volume 15, number 4, pp 623-639, 2003.
-
Why usability gets lost or usability in in-house software development
. In Interacting with Computers, volume 15, number 4, pp 623-639, 2003. (DOI
).
-
Automatic image analysis of concrete cracks
. CBA Master Thesis Report No. 60, Uppsala: Uppsala University School of Engineering, UPTEC F03 045, 2003.
-
Deciding LTL over Mazurkiewicz traces
. In Data & Knowledge Engineering, volume 44, number 2, pp 221-240, 2003. (External link
).
-
Model checking probabilistic distributed systems
. In ASIAN 2003: Proceedings of the 8th Asian Computing Science Conference, pp 291-304, 2003. (External link
).
-
Editorial
. In Discrete Applied Mathematics, volume 125, number 1, pp 1-2, 2003. (DOI
).
-
Weighted digital distance transforms in four dimensions
. In Discrete Applied Mathematics, volume 125, pp 161-176, 2003.
-
Weighted distance transforms in four dimensions
. In Discrete Applied Mathematics, volume 125, pp 161-176, 2003. (External link
).
-
An Algorithm for Computing Fundamental Solutions of Difference Operators
. Technical report / Department of Information Technology, Uppsala University nr 2003-006, 2003. (fulltext
).
-
Convergence acceleration for the steady-state Euler equations
. In Computers & Fluids, volume 32, pp 1075-1092, 2003. (DOI
).
-
Discrete Fundamental Solution Preconditioning for Hyperbolic Systems of PDE
. Technical report / Department of Information Technology, Uppsala University nr 2003-007, 2003. (fulltext
).
-
High order accurate solution of the incompressible Navier-Stokes equations
. Technical report / Department of Information Technology, Uppsala University nr 2003-064, 2003. (fulltext
).
-
Approaches to Reduce the Computational Cost when Solving Linear Systems of Equations Arising in Boundary Element Method Discretizations
. Technical report / Department of Information Technology, Uppsala University nr 2003-053, 2003. (fulltext
).
-
Shape optimization of an acoustic horn
. In Computer Methods in Applied Mechanics and Engineering, volume 192, pp 1533-1571, 2003. (DOI
).
-
A Tractable Mechanism for Time Dependent Markets
. In CEC 2003, IEEE International Conference on E-Commerce, pp 31-34, 2003.
-
A Tractable Mechanism for Time Dependent Markets
. Technical report / Department of Information Technology, Uppsala University nr 2003-027, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext
).
-
Message Analysis for Concurrent Languages
. In In Proceedings of the Static Analysis Symposium, pp 73-90, 2003.
-
2D and 3D Introductory Processes in Virtual Groups
. In IEEE Frontiers in Education, pp S1F1-S1F6, 2003. (External link
).
-
Estimation of Curvature along Curves with Application to Fibres in 3D Images of Paper
. 2003.
-
MEAD, Managing Education with Teachers at a Distance
. In IEEE Frontiers in Education conference, pp S1F26-S1F29, 2003. (External link
).
-
Runestone, the Story
. In Grundutbildningsrådets utvecklingskonferens, Gävle, 2003.
-
A Formal Semantics for UML Statecharts
. Technical report / Department of Information Technology, Uppsala University nr 2003-010, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext
).
-
A Tool Architecture for the Next Generation of UPPAAL
. Technical report / Department of Information Technology, Uppsala University nr 2003-011, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext
).
-
Hierarchical Modeling and Analysis of Real Time Systems
. Ph.D. thesis, Technical report / Department of Information Technology, Uppsala University nr 050, Institutionen för informationsteknologi, Uppsala, 2003.
-
Hierarchical Modeling and Analysis of Timed Systems
. IT Technical Report 2003-050, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link
).
-
Unification & Sharing in Timed Automata Verification
. In Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, 2003.
-
Verification of UML Statecharts with Real-Time Extensions
. Technical report / Department of Information Technology, Uppsala University nr 2003-009, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext
).
-
A New Technique for Accurate and Stable Modeling of Arbitrarily Oriented Thin Wires in the FDTD Method
. In IEEE transactions on electromagnetic compatibility (Print), volume 45, pp 416-423, 2003. (DOI
).
-
An Unconditionally Stable Subcell Model for Arbitrarily Oriented Thin Wires in the FETD Method
. In IEEE Transactions on Antennas and Propagation, volume 51, pp 1797-1805, 2003. (DOI
).
-
Frequency Dispersive Materials for 3-D Hybrid Solvers in Time Domain
. In IEEE Transactions on Antennas and Propagation, volume 51, pp 1199-1205, 2003. (DOI
).
-
Iterative solution of a hybrid method for Maxwell's equations in the frequency domain
. In International Journal for Numerical Methods in Engineering, volume 56, pp 1755-1770, 2003. (DOI
).
-
Adaptive Control of the Nitrate Level in an Activated Sludge Process Using an External Carbon Source - Extended Version
. Technical report / Department of Information Technology, Uppsala University nr 2003-030, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext
).
-
Adaptive control of the nitrate level in an activated sludge process
. In Water Science and Technology, volume 47, number 11, pp 137-144, 2003.
-
Urban water management: Modelling, simulation and control of the activated sludge process
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-005, Uppsala University, 2003. (fulltext
).
-
Problems of high dimension in molecular biology
. In Proc. 19th GAMM Seminar Leipzig on High-dimensional problems: Numerical treatment and applications, pp 21-30, Max Planck Institute for Mathematics in the Sciences, Leipzig, Germany, 2003.
-
On measuring the intersection length of a line and a digital volume
. CBA Master Thesis Report No. 63, Uppsala: Centre for Image Analysis, 2003.
-
Analysis of the Execution Time Unpredictability caused by Dynamic Branch Prediction
. In RTAS 2003: Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium, May 27-30, 2003, Toronto, Canada, pp 152-159, 2003.
-
Der ausgequetschte Code (3 part article)
. In Elektronik, number 8, 10, 12, 2003.
-
Embedded Systems Computer Architecture: Extended abstract in the Proc. of European Summer School on Embedded Systems
. In Proceedings of European Summer School on Embedded Systems: Västerås, September 2003, 2003.
-
Execution-Time Analysis for Embedded Real-Time Systems
. In International Journal on Software Tools for Technology Transfer, volume 4, number 4, pp 437-455, 2003.
-
Full-System Simulation Technology: Extended abstract in the proceedings of ESSES 2003 (European Summer School on Embedded Systems)
. In Proc. of the European Summer School on Embedded Systems: Västerås, September 2003, 2003.
-
Full-System Simulation Technology: Extended abstract appearing in the proceedings of ESSES 2003 (European Summer School on Embedded Systems)
. 2003.
-
Fast, accurate, and stable algorithm for the stress field around a zig-zag-shaped crack
. In Engineering Fracture Mechanics, volume 70, pp 355-364, 2003. (DOI
).
-
Make Haste, Not Waste: Automated System Testing
. In Extreme Programming and Agile Methods: XP Agile Universe 2003, Springer, 2003.
-
Make Haste, Not Waste: Automated System Testing
. In Extreme Programming and Agile Methods - XP/Agile Universe 2003, pp 120-128, 2003. (External link
).
-
Finding tree-stems in laser range images of young mixed stands to perform selective cleaning
. In Proceedings of the ScandLaser Scientific Workshop on Airborne Laser Scanning of Forest, pp 244-250, 2003.
-
Segmentation of individual tree crowns in colour aerial photographs using region growing supported by fuzzy rules
. In Canadian Journal of Forest Research, volume 33, number 8, pp 1557-1563, 2003.
-
Structure-preserving Segmentation of Individual Tree Crowns by Brownian Motion
. In Proceedings of the 13th Scandinavian Conference on Image Analysis, pp 283-289, 2003.
-
Abnormal expression pattern of cyclin E in tumor cells
. In International Journal of Cancer, volume 104, pp 369-375, 2003.
-
Abnormal expression pattern of cyclin E in tumour cells
. In Int J Cancer, volume 104, pp 369-375, 2003. (DOI
).
-
A Modular Tool Architecture for Worst-Case Execution Time Analysis
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 45, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext
).
-
Clustered Calculation of Worst-Case Execution Times
. In Proceedings of the 6th International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES 2003), 2003.
-
Anisotropic grid adaptation for Navier-Stokes' equations
. In Journal of Computational Physics, volume 190, pp 22-41, 2003. (DOI
).
-
Space-Time Adaptive Solution of First Order PDES
. Technical report / Department of Information Technology, Uppsala University nr 2003-061, 2003. (fulltext
).
-
A Generic Approach to Schedulability Analysis of Real-Time Systems
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 49, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext
).
-
Schedulability Analysis using Two Clocks
. In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2003. (External link
).
-
Breaking symmetries in matrix models: A brief overview.
. In Proceedings of the Tenth Workshop on Automated Reasoning (ARW'03), 2003. (External link
).
-
Simuleringsmotor för tågtrafik med stöd för experimentell konfiguration
. IT Technical Report 2003-047, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link
).
-
Theoretical and experimental study of binary perturbation peaks with focus on peculiar retention behaviour and vanishing peaks in chiral liquid chromatography
. In Journal of Chromatography A, volume 991, pp 31-45, 2003. (DOI
).
-
Latency-hiding and Optimizations of the DSZOOM Instrumentation System
. IT Technical Report 2003-029, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link
).
-
ENGINEERING THE HCI PROFESSION OR SOFTENING DEVELOPMENT PROCESSES
. In Proceedings of HCI International 2003, 2003.
-
DESIGN VERSUS DESIGN – FROM THE SHAPING OF PRODUCT TO THE CREATION OF USER EXPERIENCES
. In International journal of Human Computer Interaction, volume 15, number 1, pp 5-20, 2003.
-
Designing IT for Healthy Work
. Behaviour and Inforamtion Technology, Vol 22, No 6, 2003.
-
Key Principles for User-Centred Systems Design
. In Behaviour & Information Technology, volume 22, number 6, pp 397-409, 2003.
-
Key Principles for User-Centred Systems Design
. In Behaviour & Information Technology, volume 22, number 6, p 397 – 409, 2003.
-
Key principles for user centred systems design
. In Behaviour and Information Technology, volume 22, number 6, pp 397-409, 2003. (External link
).
-
Beyond adhoc networking. Selfconfiguring Networks and Terminal
. In The first COST-IST(EU)NSF(USA) Workshop on Exchanges and Trends in Networking, 2003. (External link
).
-
A fourth order difference method for the incompressible Navier-Stokes equations
. In Numerical Simulations of Incompressible Flows, pp 263-276, World Scientific Publishing, River Edge, NJ, 2003.
-
Time Compact Difference Methods for Wave Propagation in Discontinuous Media
. Technical report / Department of Information Technology, Uppsala University nr 2003-023, 2003. (fulltext
).
-
Time Compact High Order Difference Methods for Wave Propagation
. Technical report / Department of Information Technology, Uppsala University nr 2003-016, 2003. (fulltext
).
-
USABILITY DESIGN—EXTENDING RATIONAL UNIFIED PROCESS WITH A NEW DISCIPLINE
. In In LNCS volume 2844, DSV-IS 2003, 2003.
-
The Usability Design Process: Integrating User-Centered Systems Design in the Software Development Process
. In Software Process Improvement and Practice: Special Issue on Bridging the Process and Practice Gaps Between Software Engineering and Human Computer Interaction, volume 8, number 2, pp 111-131, 2003. (DOI
, External link
).
-
Communication error reporting mechanism in a multiprocessing computer system
. 2003.
-
Methods and apparatus for a directory-less memory access protocol in a distributed shared memory computer system
. 2003.
-
Multiprocessing systems employing hierarchical spin locks
. 2003.
-
Queuing delay limiter
. 2003.
-
Selective address translation in coherent memory replication
. 2003.
-
System and method for accessing a shared computer resource using a lock featuring different spin speeds corresponding to multiple states
. 2003.
-
Analysis of extrapolation boundary conditions for the linearized Euler equations
. In Applied Numerical Mathematics, volume 44, pp 95-108, 2003. (DOI
).
-
Bias compensated least squares estimate of the center of rotation
. In Journal of Biomechanics, volume 36, number 7, pp 999-1008, 2003.
-
Feature Vector Based Analysis of Hyperspectral Crop Reflectance Data for Discrimination and Quantification of Fungal Disease Severity in Wheat
. In Biosystems Engineering, volume 86, number 2, pp 125-134, 2003. (External link
).
-
Unsupervised Fuzzy Clustering and Image Segmentation Using Weighted Neural Networks
. 2003.
-
Feature Vector Based Analysis of Hyperspectral Crop Reflectance Data for Discrimination and Quantification of Fungal Disease Severity in Wheat
. In Biosystems Engineering, volume 86, number 2, pp 125-134, 2003.
-
Unsupervised Fuzzy Clustering and Image Segmentation Using Weighted Neural Networks
. In Proceedings of 12th International Conference for Image Analysis and Processing, pp 308-313, 2003.
-
A modified Phong-Blinn light model for shadowed areas
. In Graphics programming methods, pp 231-235, Charles River Media, Hingham, 2003.
-
A modified Phong-Blinn light model for shadowed areas
. In Proceedings of 3rd conference for the promotion of research in IT, 2003.
-
Fast Specular Highlights by modifying the Phong-Blinn Model
. In SIGGRAPH03, 2003.
-
Shading by Spherical Linear Interpolation using De Moivre's Formula
. In WSCG03, pp 57-60, 2003.
-
A ntialiasing for bump maps and a fast normalization trick
. In , 2003.
-
Fast setup for bilinear and biquadratic interpolation over triangles
. In , 2003.
-
Experimental evaluation of decision support tools for train traffic control
. In The World Congress on Railway Research, pp 670-677, 2003.
-
Time-Optimal Test Cases for Real-Time Systems
. In 1st International Workshop on Formal Modeling and Analysis of Timed Systems, 2003.
-
Towards automatic generation and evaluation of implied constraints.
. Technical report / Department of Information Technology, Uppsala University nr 2003-014, 2003. (fulltext
).
-
The Swedish National Graduate School in Scientific Computing (NGSSC)
. In Future Generation Computer Systems, volume 19, pp 1275-1283, 2003. (DOI
).
-
Segmentation of T1-MRI of the Human Cortex Using a 3D Grey-level Morphology Approach
. In Image Analysis: 13th Scandinavian Conference, SCIA2003 , Halmstad, Sweden, p 462–469, 2003.
-
Grey-Level Morphology Combined with an Artificial Neural Networks Aproach for Multimodal Segmentation of the Hippocampus
. 2003.
-
Segmentation and Visualisation of Human Brain Structures
. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 885, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext
).
-
Segmentation of T1-MRI of the Human Cortex Using a 3DGrey-level Morphology Approach
. 2003.
-
Generating on-line test oracles from temporal logic specifications
. In International Journal on Software Tools for Technology Transfer, volume 4, number 4, pp 456-471, 2003.
-
Categorization of coral reeef bottoms for change detection using IKONOS
. 2003.
-
Improved delineation of coral areas, for detection of coral bleaching, using multispectral an panchromatic IKONOS data
. 2003.
-
CoVASE: Collaborative Visualization for Constructivist Learning
. In Proceedings of CSCL Conf. 2003, pp 249-253, 2003.
-
Optimal Yule-Walker method for pole estimation of ARMA signals
. In 13th IFAC Symp on System Identification, Rotterdam, The Netherlands, 2003.
-
CoVASE: Collaborative Visualization for Constructivist Learning
. In Computer Support for Collaborative Learning 2003, 2003.
-
Array Signal Processing in the known waveform and steering vector case
. In ICASSP 2003, the 28th International Conference on Acoustics, Speech and Signal Processing, Hong Kong, 2003.
-
An observer for systems with nonlinear output map
. In Automatica, volume 39, number 5, pp 909-918, 2003.
-
The development of the HiPE system: Design and experience report
. In International Journal on Software Tools for Technology Transfer, volume 4, number 4, pp 421-436, 2003. (DOI
).
-
The Generation of N Dimensional Shape Primitives
. In Discrete Geometry for Computer Imagery: 11th International Conference, DGCI 2003, Naples, Italy, 2003. (DOI
, External link
).
-
ASTEC: An Experience in the Establishment of Collaboration between Academia and Industry
. In Springer International Journal on Software Tools for Technology Transfer, volume 4, number 4, pp 401-404, 2003.
-
Color Correction of Underwater Images Based on Estimation of Diffuse Attenuation Coefficients
. 2003.
-
A comparison of manual enumeration and image analysis of Gloeotrichia echinulata
. In Verhandlungen IVL: 28th Congress in Melbourne 2001, p 458, 2003.
-
Market based programming and resource allocation
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-007, Uppsala University, 2003. (fulltext
).
-
Cache memory design trade-offs for current and emerging workloads
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-009, Uppsala University, 2003. (fulltext
).
-
Memory System Behavior of Java-Based Middleware
. In Proceedings of the Ninth International Symposium on High Performance Computer Architecture, 2003. (External link
).
-
TImestamp-based Selective Cache Allocation
. In High Performance Memory Systems, Springer-Verlag, 2003.
-
Interface Capabilities for Query Processing in Peer Mediator Systems
. IT Technical Report 2003-048, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link
).
-
Query Processing for Peer Mediator Databases
. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 901, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext
).
-
Scalable View Expansion in a Peer Mediator System
. In Proc. 8th International Conference on Database Systems for Advanced Applications (DASFAA 2003), 2003. (External link
).
-
Scalable view expansion in a peer mediator system
. In Eighth International Conference on Database Systems for Advanced Application, (DASFAA'03), pp 107-116, 2003.
-
Information technology and moral stress: How to avoid moral stress and how to promote health
. In Human Computer Interaction: Cognitive, Social and Ergonomis Aspects, pp 78-82, 2003.
-
The activities of school psychologists in the contemporary education system
. In Psychologika Themata, volume 9, number 2, pp 151-165, 2003.
-
The contribution of information and communication technology to distance learning
. In Proceedings of the 2nd Greek Congress of Open and Distance Education, pp 66-70, 2003.
-
The use of information and communication technology in the training for ethical competence in business
. In Journal of Business Ethics, volume 48, number 1, pp 43-51, 2003. (DOI
, External link
).
-
The TRAIN-project: Effects of Organizational Factors, Automatic Train Control, Work Hours, and Environment: Suggestions for Safety-Enhancing Measures
. In Proceedings of the Human Factors and Ergonomic Society, 47th Annual Meeting, pp 1835-1839, 2003.
-
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata
. Technical report / Department of Information Technology, Uppsala University nr 2003-051, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext
).
-
A Compact Fourth Order Time Discretization Method for the Wave Equation
. Technical report / Department of Information Technology, Uppsala University nr 2003-041, 2003. (fulltext
).
-
Boundary conditions and estimates for the linearized Navier-Stokes equations on staggered grids
. In Computers & Fluids, volume 32, pp 1093-1112, 2003. (DOI
).
-
Error Estimates for Deferred Correction Methods in Time
. Technical report / Department of Information Technology, Uppsala University nr 2003-040, 2003. (fulltext
).
-
High Order Finite Difference Methods in Space and Time
. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 880, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext
).
-
Fault detection of nonlinear systems based on multi-form quasi-ARMAX modeling and its application to the ship benchmark
. In 13th IFAC Symposium on System Identification, 2003.
-
Solos in Concert
. In Mathematical Structures in Computer Science, volume 13, number 5, pp 657-683, 2003. (DOI
).
-
Biotechnological Advancement in Human Movement Analysis
. In 6th International Conference: Biotechnology and Public Health, Cavtat, October 2003., 2003.
-
Compact Data Structure and State-Space Reduction for Model-Checking Real-Time Systems
. In The International Journal of Time-Critical Computing Systems, volume 25, number 2, pp 255-275, 2003. (External link
).
-
HIGH-RESOLUTION NONPARAMETRIC SPECTRAL ANALYSIS: THEORY AND APPLICATIONS
. 2003.
-
Mean-square-error optimality of orthogonal space-time block codes
. In IEEE Signal Processing Lett, volume 10, pp 327-330, 2003.
-
Mean-square-error optimality of orthogonal space-time block codes
. In IEEE International Conference on Communications, Anchorage, Alaska, 2003.
-
Orthogonal space-time block codes: maximum likelihood detection for unknown channels and unstructured interferences
. In IEEE Trans Signal Process, volume 51, pp 362-372, 2003.
-
SPACE-TIME BLOCK CODING FOR WIRELESS COMMUNICATIONS
. Cambridge University Press, UK, 2003. (External link
).
-
On Possibilities for Estimating Continuous-time ARMA Parameters
. In Proc. of IFAC SYSID 2003, 2003.
-
The CRB for Parameter Estimation in Irregularly Sampled Continuous-time ARMA Systems
. In Proc. of IEEE ISSPIT'03, 2003.
-
Limiting Properties of Sampled Stochastic Systems
. Technical report / Department of Information Technology, Uppsala University nr 2003-028, 2003. (fulltext
).
-
A numerical study of some radial basis function based solution methods for elliptic PDEs
. In Computers and Mathematics with Applications, volume 46, pp 891-902, 2003. (DOI
).
-
Helmholtz and parabolic equation solutions to a benchmark problem in ocean acoustics
. In Journal of the Acoustical Society of America, volume 113, pp 2446-2454, 2003. (DOI
).
-
Parallel solution of the Helmholtz equation in a multilayer domain
. In BIT Numerical Mathematics, volume 43, pp 387-411, 2003. (DOI
).
-
Theoretical and Computational Aspects of Multivariate Interpolation with Increasingly Flat Radial Basis Functions
. Technical report / Department of Information Technology, Uppsala University nr 2003-035, 2003. (fulltext
).
-
Parallel model checking for LTL, CTL* and Lmu2
. In PDMC 2003: 2nd International Workshop on Parallel and Distributed Model Checking, pp 4-16, 2003. (External link
).
-
Channel order and RMS delay spread estimation with application to AC power line communications
. In Digital Signal Processing, volume 13, pp 284-300, 2003.
-
Doubly constrained robust Capon beamforming
. In 37th ASILOMAR Conf. on Signals, Systems, and Computers, Pacific Grove, CA, 2003, 2003.
-
On robust Capon beamforming and diagonal loading
. In IEEE Trans Signal Process, volume 51, number 1702-1715, 2003.
-
On robust Capon beamforming and diagonal loading
. In ICASSP 2003, the 28th International Conference on Acoustics, Speech and Signal Processing, Hong Kong, 2003.
-
Robust Capon beamforming in the presence of coherent interference
. In Adaptive Sensor Array Processing Workshop, MIT Lincoln Lab, MA, 2003.
-
Effective visualizations for large displays – the role of transsaccadic memory
. In Third IASTED International Conference on visualization, Imaging, and Image Processing 2003 (VIIP’03), 2003.
-
Metric 3D structure in visualizations
. In Information Visualization, volume 2, number 1, pp 51-57, 2003.
-
Surface area estimation of digitized planes using weighted local configurations
. In 11th International Conference on Discrete Geometry for Computer Imagery (DGCI), volume 2886 of LNCS, pp 348-357, 2003. (External link
).
-
Can coral reefs be monitored from space?
. In AMBIO, volume 32, number 8, pp 586-593, 2003.
-
Categorization of coral reef bottoms for change detection using IKONOS
. In Proceedings of the 30th International Symposium on Remote Sensing of Environment, Honolulu, Hawaii, USA, November 10-14, 2003, 2003.
-
A MIMO system with backward compatibility for OFDM based WLANs
. In The 4th IEEE Workshop on Signal Processing Advances in Wireless Communications, SPAWC 2003, Rome, Italy, 2003.
-
Numerical methods for mapping of multiple QTL
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-014, Uppsala University, 2003. (fulltext
).
-
Simultaneous search for multiple QTL using the global optimization algorithm DIRECT
. Technical report / Department of Information Technology, Uppsala University nr 2003-043, 2003. (fulltext
).
-
Handling of curvilinear coordinates in a PDE solver framework
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-004, Uppsala University, 2003. (fulltext
).
-
DIMA: Distributed Instant Messaging System
. In 1st Swedish National Computer Networking Conference, 2003.
-
A combined Intensity and Gradient-Based Similarity Criterion for Interindividual SPECT Brain Scan Registration
. In EURASIP Journal on Applied Signal Processing, volume 2003, number 5, pp 461-469, 2003.
-
THROOM: Running POSIX Multithreaded Binaries on a Cluster
. Technical report / Department of Information Technology, Uppsala University nr 2003-026, 2003. (fulltext
).
-
THROOM — Supporting POSIX Multithreaded Binaries on a Cluster
. In Euro-Par 2003: Parallel Processing, volume 2790 of Lecture Notes in Computer Science, pp 760-769, Springer-Verlag, Berlin, 2003. (DOI
).
-
Preconditioned implicit solution of linear hyperbolic equations with adaptivity
. Technical report / Department of Information Technology, Uppsala University nr 2003-034, 2003. (fulltext
).
-
Computationally efficient estimation of wave propagation functions of viscoelastic materials
. In 13th IFAC Symposium on System Identification, 2003.
-
On the use of flexural wave propagation experiments for identification of complex modulus
. In IEEE Transactions on Control Systems Technology, volume 11, number 6, pp 863-874, 2003.
-
Subspace estimation of real-valued sine wave frequencies
. Technical report / Department of Information Technology, Uppsala University nr 2003-004, 2003. (fulltext
).
-
Estimation Using Low Rank Signal Models
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 48, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext
).
-
Scalability aspects of validation
. In International Journal on Software Tools for Technology Transfer, volume 5, number 1, 2003.
-
Accuracy requirements for transient aerodynamics
. In Proc. 16th AIAA CFD Conference, volume 2003-3689 of Conference Proceeding Series, AIAA, 2003.
-
Boundary Procedures for Summation-by-Parts Operators
. In Journal of Scientific Computing, volume 18, pp 133-153, 2003. (DOI
).
-
Finite Difference Approximations of Second Derivatives on Summation by Parts Form
. Technical report / Department of Information Technology, Uppsala University nr 2003-012, 2003. (fulltext
).
-
Stable Artificial Dissipation Operators for High Order Finite Difference Schemes
. Technical report / Department of Information Technology, Uppsala University nr 2003-013, 2003. (fulltext
).
-
Summation-by-Parts Operators for High Order Finite Difference Methods
. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 828, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext
).
-
Stability of an wind-up prevention scheme in recursive estimation
. In IEEE Conference on Decision and Control, 2003.
-
Probing-Based Approaches to Bandwidth Measurements and Network Path Emulation
. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 784, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext
).
-
3D visualisation of sonar coverage data
. CBA Master Thesis Report No. 59, Uppsala: Uppsala University School of Engineering, UPTEC F03 037, 2003.
-
High-Order Numerical Simulation of Rocket Launch Noise
. In Mathematical and Numerical Aspects of Wave Propagation: WAVES 2003, pp 95-100, Springer-Verlag, Berlin, 2003.
-
Strictly Stable High Order Difference Approximations for Computational Aeroacoustics
. In Proc. Computational Aeroacoustics: From acoustic sources modeling to far-field radiated noise prediction, volume 449 of EUROMECH Colloquium, p 4, ONERA, France, 2003.
-
Strictly Stable High Order Difference Approximations for the Euler Equations
. In Proc. 10th International Congress on Sound and Vibration, pp 3883-3890, Royal Institute of Technology, Stockholm, Sweden, 2003.
-
Evaluating the educational impact of visualization
. In SIGCSE Bulletin inroads, volume 35, number 4, pp 124-136, 2003. (DOI
).
-
Open Ended Group Projects a 'Tool' for More Effective Teaching
. In Australian Computer Science Communications, volume 25, number 5, pp 95-103, 2003.
-
Open Ended Group Projects a 'tool' for more effective teaching
. In ACM Australasian computing education conference, Adelaide, 2003.
-
High order difference method on staggered, curvilinear grids for the incompressible Navier-Stokes equations
. In Computational Fluid and Solid Mechanics: 2003, pp 1057-1061, Elsevier Science, 2003. (DOI
).
-
A Parallel Shared Memory Implementation of the Fast Multipole Method for Electromagnetics
. Technical report / Department of Information Technology, Uppsala University nr 2003-049, 2003. (fulltext
).
-
Fast Numerical Techniques for Electromagnetic Problems in Frequency Domain
. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 916, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext
).
-
Rapid Solution of Parameter-Dependent Linear Systems for Electromagnetic Problems in the Frequency Domain
. Technical report / Department of Information Technology, Uppsala University nr 2003-055, 2003. (fulltext
).
-
Stability of the Fast Multipole Method for Helmholtz Equation in Three Dimensions
. Technical report / Department of Information Technology, Uppsala University nr 2003-054, 2003. (fulltext
).
-
The minimum residual interpolation method applied to multiple scattering in MM-PO
. In Proc, volume 2003:3 of Antennas and Propagation Society International Symposium, pp 828-831, IEEE, 2003. (DOI
).
-
Datorkulturen - en manlig historia
. In Vem tillhör tekniken? : kunskap och kön i teknikens värld, Lund: Arkiv, 2003.
-
A Stable and Efficient Hybrid Method for Aeroacoustic Sound Generation and Propagation
. In Proc. Computational Aeroacoustics: From acoustic sources modeling to far-field radiated noise prediction, volume 449 of EUROMECH Colloquium, p 4, ONERA, France, 2003.
-
Finite volume methods, unstructured meshes and strict stability for hyperbolic problems
. In Applied Numerical Mathematics, volume 45, pp 453-473, 2003. (DOI
).
-
High Order Finite Difference Approximations of Electromagnetic Wave Propagation Close to Material Discontinuities
. In Journal of Scientific Computing, volume 18, pp 215-234, 2003. (DOI
).
-
A gradient based optimisation algorithm for the design of brass-wind instruments
. Technical report / Department of Information Technology, Uppsala University nr 2003-033, 2003. (fulltext
).
-
Ill-posedness of absorbing boundary conditions applied on convex surfaces
. Technical report / Department of Information Technology, Uppsala University nr 2003-031, 2003. (fulltext
).
-
Impedance boundary conditions for acoustic waves in a duct with a step discontinuity
. Technical report / Department of Information Technology, Uppsala University nr 2003-032, 2003. (fulltext
).
-
Numerical Techniques for Acoustic Modelling and Design of Brass Wind Instruments
. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 862, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext
).
-
Parameterization of state feedback gains for pole placement
. In Proceedings, European Control Conference 2003, Cambridge, UK, 2003.
-
The ubiquitous interactor: Mobile services with multiple user interfaces
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-013, Uppsala University, 2003. (fulltext
).
-
Compact Constraints for Verification of Well Quasi-Ordered Programs
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 51, Acta Universitatis Upsaliensis, Uppsala, 2003.
-
2D grey-level convex hull computation: a discrete 3D approach
. 2003. (External link
).
-
A Polyvariant Type Analysis for Erlang
. IT Technical Report 2003-045, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link
).
-
A soft-typing system for Erlang
. In Proceedings of the 2003 ACM SIGPLAN workshop on Erlang, pp 56-71, 2003.
-
On Hazards of Using Fundamental Anti-windup Technique for H2 State-space Controllers With an Explicit Observer
. In Proceedings of the European Control Conference, Cambridge, UK, 2003.
-
Bootstrapping and decentralizing recommender systems
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-006, Uppsala University, 2003. (fulltext
).
-
Representing Matrices using Multi-Directional Foreign Functions
. In Functional Approaches to Computing with Data, 2003.
-
Undecidability of LTL for Timed Petri Nets
. 2003.
-
Verification of Probabilistic Systems with Faulty Communication
. In FOSSACS'03, Foundations of Software Science and Computation Structures, 2003.
-
Deciding Monotonic Games.
. In CSL/KGC'03, Computer Science Logic and 8th Kurt Gödel Colloquium, 2003.
-
Enriching Online Learning Resources with "Explanograms"
. In ISICT '03: Proceedings of the 1st international symposium on Information and communication technologies, pp 261-266, 2003. (External link
).
-
Structuring CSEd Research Studies: Connecting the Pieces
. In ACM SIGCSE Bulletin, volume 35, number 3, pp 149-153, 2003. (DOI
, External link
).
-
Where Are You? Wireless Way's to Enhance Collaboration.
. In Frontiers in Education, p 2300, 2003. (DOI
, External link
).
-
Clifford Networks
. In Complex-Valued Neural Networks Theories and Applications, 2003.
-
Comma-free codes
. 2003. (External link
).
-
Basic values in software development and organizational change
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-002, Uppsala University, 2003. (fulltext
).
-
Pricing European Multi-asset Options Using a Space-time Adaptive FD-method
. Technical report / Department of Information Technology, Uppsala University nr 2003-059, 2003. (fulltext
).
-
A Virtual laboratory for Computer Graphics Education
. In Proceedings of EUROGRAPHICS Conf. 2003, 2003.
-
A Virtual Laboratory for Computer Graphics Education
. In Proceedings of EUROGRAPHICS Conference 2003, pp 17-21, 2003.
-
A Virtual Laboratory for Computer Graphics Education
. In Proc. EUROGRAPHICS Conference 2003: Educational Presentations, pp 17-21, 2003.
-
Addressing the Requirements of QoS Management for Wireless Ad Hoc Networks
. In International Journal on Computer Communications, volume 26, number 12, 2003. (External link
).
-
Environmental Applications of Aquatic Remote Sensing
. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 812, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext
).
-
Efficient synchronization and coherence for nonuniform communication architectures
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-008, Uppsala University, 2003. (fulltext
).
-
Hierarchical Backoff Locks for Nonuniform Communication Architectures
. In Proceedings of the Ninth International Symposium on High Performance Computer Architecture (HPCA-9), Anaheim, California, USA, February 2003., 2003. (External link
).
-
Measuring Slipperiness - Human Locomotion and Surface Factors
. 2003.
-
Program schemas as proof methods.
. Technical report / Department of Information Technology, Uppsala University nr 2003-008, 2003. (fulltext
).
-
Functional Data Integration in a Distributed Mediator System
. In , 2003. (External link
).
-
Functional Queries to Wrapped Educational Semantic Web Meta-data
. In Functional Queries to Wrapped Educational Semantic Web Meta-data, 2003. (External link
).
-
High-performance Stream-oriented GRID Database Manager for Scientific Data,
. In Proc. 1st European Across Grids Conference, 2003. (External link
).
-
Training based maximum likelihood channel identification
. In The 4th IEEE Workshop on Signal Processing Advances in Wireless Communications, SPAWC 2003, Rome, Italy, 2003.
-
A stochastic method for training based channel identification
. In The 7th International Symp on Signal Processing and its Applications, ISSPA 2003, Paris, FRANCE, 2003.
-
Generalized training based channel identification
. In IEEE Globecom 2003, Signal Processing for Communications Symposium, San Francisco, USA, 2003, 2003.
-
Retargetable Graph-Coloring Register Allocation for Irregular Architectures
. In Software and Compilers for Embedded Systems: 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings, p 403, 2003. (External link
).
-
All you wanted to know about the HiPE compiler: (but might have been afraid to ask)
. In Proceedings of the Second ACM SIGPLAN Erlang Workshop, pp 36-43, 2003.
-
Experimental Evaluation and Improvements to Linear Scan Register Allocation
. In Software - Practice & Experience, volume 33, number 11, pp 1003-1034, 2003.
-
Work environment and computer systems development
. In Behaviour and Information Technology, volume 22, number 6, pp 375-387, 2003. (DOI
, External link
).
-
User needs for development of context dependent devices in mobile home care
. In Human-Computer Interaction with mobile devices and services, 2003.
-
Invariance kernels of Polygonal Differential Inclusions
. Technical report / Department of Information Technology, Uppsala University nr 2003-042, 2003. (fulltext
).
-
MARCH: a distributed content adaptation architecture
. In International Journal of Communication Systems: Special Issue: Wireless Access to the Global Internet: Mobile Radio Networks and Satellite Systems, volume March, number 1, 2003. (External link
).
-
Information Visualization using Transparent Shape Impostors
. In Proc. EUROGRAPHICS Conference 2003, Short Presentations, 2003.
-
Interactive virtual mummy dissections in a historical anatomic theatre
. In Proc. VAST2003: The 4th International Symposium on Virtual Reality, Archaeology and Cultural Heritage, 2003.
-
Using prior knowledge in SVD-based NMR spectroscopy -- the ATP example
. In Proceedings of the 7th International Symposium on Signal Processing and its Applications (ISSPA), Paris, France, July 1-4, pp 33-36, 2003.
-
Cache aware data laying for the Gauss-Seidel smoother
. In Electronic Transactions on Numerical Analysis, volume 15, pp 66-77, 2003.
-
Measuring perimeter and area in low resolution images using a fuzzy approach
. In Proceedings of 13th Scandinavian Conference on Image Analysis (SCIA 2003), Lecture Notes in Computer Science, pp 853-860, 2003. (DOI
, External link
).
-
Perimeter and Area Estimations of Digitized Objects with Fuzzy Borders
. In Proceedings of 11th International Conference on Discrete Geometry for Computer Imagery (DGCI 2003), Lecture Notes in Computer Science, pp 368-377, Springer, 2003. (DOI
, External link
).
-
Shape Description of Fuzzy Segmented Objects: Area and Perimeter Estimators
. In Proceedings of SSAB (Swedish Society for Automated Image Analysis) Symposium on Image Analysis, Stockholm, Sweden, pp 17-20, 2003.
-
Adaptive control of the steel converter process
. In Saint Petersburg State University Bulletin,, number 2, 2003.
-
Adaptive control of the top blown oxygen converter process with respect to temperature and unknown external disturbances
. In International Conference "Physics and Control" (PhysCon 2003), 2003.
-
The Elbow Cache: A Power-Efficient Alternative to Highly Associative Caches
. Technical report / Department of Information Technology, Uppsala University nr 2003-046, Uppsala: Department of Information Technology, Uppsala University, 2003. (fulltext
).
-
Maximum likelihood double differential detection clarified
. In The 4th IEEE Workshop on Signal Processing Advances in Wireless Communications, SPAWC 2003, Rome, Italy, 2003.
-
Robust Capon beamforming
. In IEEE Signal Processing Lett, volume 10, pp 172-175, 2003.
-
Space-tim block codes: trained, blind and semi-blind detection
. In Digital Signal Processing, volume 13, pp 93-105, 2003.
-
Trained space-time block decoding for flat fading channels with frequency offsets
. In Wireless Personal Communiccations, volume 27, pp 235-245, 2003.
-
Training sequence design for frequency offset and frequency-selective channel estimation
. In IEEE Trans Communications, volume 51, pp 1910-1917, 2003.
-
Frequency-domain method based on the singular value decomposition for frequency-selective NMR spectroscopy
. In Journal of Magnetic Resonance, volume 165, pp 80-88, 2003.
-
Joint Maximum-Likelihood Channel Estimation and Signal Detection for SIMO Channels
. In ICASSP 2003, the 28th International Conference on Acoustics, Speech and Signal Processing, Hong Kong, 2003.
-
Solving the linearized Navier-Stokes equations using semi-Toeplitz preconditioning
. Technical report / Department of Information Technology, Uppsala University nr 2003-005, 2003. (fulltext
).
-
Preconditioners and fundamental solutions
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-001, Uppsala University, 2003. (fulltext
).
-
Characterising 3D Objects by Shape and Topology
. In Discrete Geometry for Computer Imagery, pp 124-133, 2003.
-
Finding Cavities and Tunnels in 3D Complex Objects
. 2003.
-
Using distance transform based algorithms for extracting measures of the fibre network in volume images of paper
. In IEEE Transactions on Systems, Man, and Cybernetics, volume 33, number 4, pp 562-571, 2003.
-
On the Use of Shape Primitives for Reversible SurfaceSkeletonization
. 2003.
-
Simplifying curve skeletons in volume images
. In Computer Vision and Image Understanding, volume 90, pp 242-257, 2003.
-
A Stable and Accurate Summation-by-Parts Finite Volume Formulation of the Laplacian Operator
. Technical report / Department of Information Technology, Uppsala University nr 2003-003, 2003. (fulltext
).
-
Steady State Computations Using Summation-by-Parts Operators
. Technical report / Department of Information Technology, Uppsala University nr 2003-018, 2003. (fulltext
).
-
Well Posed Boundary Conditions for the Navier-Stokes Equations
. Technical report / Department of Information Technology, Uppsala University nr 2003-052, 2003. (fulltext
).
-
Identification of dynamic errors-in-variables model: approaches based on two-dimensional ARMA modelling of the data
. In Automatica, volume 39, number 5, pp 929-935, 2003.
-
Identification of linear systems in time domain
. In Encyclopedia of Life Support Systems, 2003. (External link
).
-
Prediction error methods
. In Encyclopedia of Life Support Systems, 2003.
-
Why are errors-in-variables problems often tricky?
. 2003.
-
Damping of harmonic disturbances in sampled-data systems { parameterization of all optimal controllers
. In Automatica, volume 39, number 1, pp 75-80, 2003.
-
Embedding MANETs in the Real World
. In IFIP-TC6 8th International Conference, Personal Wireless Communications (PWC 2003), Venice, Italy, September 23-25, 2003. Conti, M.; Giardano, S.; Gregori, E.; Olariu, S. (Ed.), pp 578-589, 2003.
-
LUNAR: Lightweight Underlay Network Ad-hoc Routing
. IT Technical Report 2003-021, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link
).
-
Network Pointers
. In ACM SIGCOMM Computer Communication Review, volume 33, number 1, pp 23 - 28, 2003.
-
SelNet: A Translating Underlay Network
. IT Technical Report 2003-020, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link
).
-
Polyadic History-Dependent Automata for the Fusion Calculus
. Technical report / Department of Information Technology, Uppsala University nr 2003-062, 2003. (fulltext
).
-
Concurrency, Time, and Constraints
. In Logic Programming, 19th International Conference, pp 72-101, 2003.
-
Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL
. In Logic Programming, 19th International Conference, pp 422-437, 2003.
-
Tractable symmetry breaking for CSPs with interchangeable values.
. In Proceedings of the eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), pp 277-282, 2003. (External link
).
-
A tool for filtering and visualization of digital images in the Fourier domain
. CBA Master Thesis Report No. 58, Uppsala: Uppsala University School of Engineering, UPTEC F03 010, 2003.
-
Feedforward-Feedback Control of an Activated Sludge Process: a simulation study
. In Water, Science and Technology, volume 47, number 11, pp 19-26, 2003.
-
Bundling: Reducing the Overhead of Multiprocessor Prefetchers
. IT Technical Report 2003-037, Uppsala: Department of Information Technology, Uppsala University, 2003. (External link
).
-
Cache Memory Behavior of Advanced PDE Solvers
. Technical report / Department of Information Technology, Uppsala University nr 2003-044, 2003. (fulltext
).
-
Exploiting data locality in adaptive architectures
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2003-010, Uppsala University, 2003. (fulltext
).
-
Miss Penalty Reduction Using Bundled Capacity Prefetching in Multiprocessors
. In Proceedings of the International Parallel and Distributed Processing Symposium, 2003.
-
Miss Penalty Reduction Using Bundled Capacity Prefetching in Multiprocessors
. In Proceedings of the 17th InternationalParallel and Distributed Processing Symposium (IPDPS 2003), Nice, France, 2003.
-
Wideband Relax and Wideband Clean for aeroacoustic imaging
. In 9th AIAA/CEAS Aeroacoustics Conference & Exhibit, Hilton Head, South Carolina, 2003.
-
Comparison between norm constrained and robust Capon beamformers
. In IEEE International Symp on Phased Array Systems and Technology, Boston, USA, 2003.
-
Froth delineation based on image classification
. In Minerals engineering, 2003.
-
Modelling non-linearities in images using an auto-associativeneural network
. 2003. (External link
).
-
Modelling of shapes without landmarks
. 2003. (External link
).
-
A fast algorithm for constructing parameterizations of three-dimensional simply connected digital objects
. In Computer Analysis of Images and Patterns, pp 385-392, 2003. (DOI
).
-
Inter-networking MPLS and SelNet
. Uppsala Universitet, 2003.
-
Harmonic signal analysis with Kalman filters using periodic orbits of nonlinear ODEs
. In Proc. 28th International Conference on Acoustics, Speech, and Signal Processing, pp 669-672, IEEE, Piscataway, NJ, 2003. (DOI
).
-
Least squares harmonic signal analysis using periodic orbits of ODEs
. In , volume 36:16 of IFAC-PapersOnLine, pp 1543-1548, 2003. (DOI
).
-
Second order ODEs are sufficient for modeling of many periodic signals
. Technical report / Department of Information Technology, Uppsala University nr 2003-025, Uppsala University, uppsala, 2003. (External link
, fulltext
).
-
User choices and model validation in system identification using nonlinear Wiener models
. In , volume 36:16 of IFAC-PapersOnLine, pp 837-842, 2003. (DOI
).
-
Utveckling av dynamisk tidsgraf för tågtrafikstyrning
. 2003.
-
Industrial Requirements for WCET Tools -- Answers to the ARTIST Questionnaire
. In WCET 2003: Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, WCET 2003 - a Satellite Event to ECRTS 2003, Polytechnic Institute of Porto, Portugal, July 1,, pp 39-43, 2003.
-
Algorithms for Applied Digital Image Cytometry
. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 896, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext
).
-
Robust methods for image segmentation and measurements.
. In Proceedings for Modern Methods for Quantitative Metallography, 2003.
-
Segmentation of cell nuclei in tissue by combining seeded watersheds with gradient information
. In Proceedings of SCIA-03: Scandinavian Conference on Image Analysis, pp 408-414, 2003. (External link
).
-
Segmentation of cell nuclei in tissue by combining watersheds with gradient information.
. In Lecture Notes in Computer Science 2749: Proceedings of the 13th Scandinavian Conference on Image Analysis (SCIA 2003), pp 408-414, 2003.
-
Watershed techniques for segmentation in image cytometry
. In Proceedings of the 1st International Cytomics Conference: Newport, Wales, United Kingdom, 2003.
-
High Order Symmetric Finite Difference Schemes for the Acoustic Wave Equation
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 46, Acta Universitatis Upsaliensis, Uppsala, 2003.
-
New Directions in Symbolic Model Checking
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 50, Acta Universitatis Upsaliensis, Uppsala, 2003. (fulltext
).
-
INTEGRATING WORK ENVIRONMENT CONSIDERATIONS INTO USABILITY EVALUATION METHODS – THE ADA APPROACH
. In Interacting with Computers, volume 22, number 6, pp 453-471, 2003.
-
INTEGRATING WORK ENVIRONMENT CONSIDERATIONS INTO USABILITY EVALUATION METHODS: THE ADA APPROACH
. In Interacting with Computers, volume 15, number 3, pp 453-471, 2003.
-
A simple method for estimating the impulse responses of loudspeakers
. In IEEE Trans Consumer Electronics, volume 49, pp 889-893, 2003.
-
Supporting tensor symmetries in EinSum
. In Computers and Mathematics with Applications, volume 45, pp 789-803, 2003. (DOI
).
-
Color correction of underwater images based on estimation of diffuse attenuation coefficients
. In Proceedings of 3rd conference for the promotion of research in IT, 2003.
-
Bottom Reflectance Influence on a Color Correction Algorithm for Underwater Images
. In Lecture Notes in Computer Science. Proceedings of the 13th Scandinavian Conference on Image Analysis (SCIA), volume 2749, pp 922-926, 2003.
-
Color Correction of Underwater Images Based on Estimation of Diffuse Attenuation Coefficients
. In Proceedings of the PICS 2003: The PICS Conference, An International Technical Conference on The Science and Systems of Digital Photography, including the Fifth International Symposium on Multispectral Color Science, pp 325-329, 2003.
-
Bottom Reflectance Influence on a Color Correction Algorithm for Underwater Images
. In 13th Scandinavian Conference, SCIA 2003 Göteborg, Sweden, June 29-July 2, 2003, pp 922-926, 2003.