Publications 2002
-
An adaptive grid point algorithm for harmonic signal modeling
. In Proc. of The 15th IFAC World Congress on Automatic Control, Barcelona, Spain, July 21-26,, 2002.
-
An adaptive grid point algorithm for harmonic signal modeling
. In Preprint of Reglermöte, Linköping, Sweden, May 29-30., 2002.
-
Harmonic signal modeling based on the Wiener model structure
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-003, Uppsala University, 2002. (fulltext
).
-
Regular Model Checking made Simple and Efficient
. In CONCUR 2002: Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings, pp 116-130, 2002.
-
Regular Tree Model Checking
. In CAV 2002, 14th Int. Conf. on Computer Aided Verification., pp 555-568, 2002.
-
Verification of Probabilistic Systems with Faulty Communication
. Technical report / Department of Information Technology, Uppsala University nr 2002-038, Department of Information Technology, Uppsala University, 2002. (fulltext
).
-
Hybrid time domain solvers for the Maxwell equations in 2D
. In International Journal for Numerical Methods in Engineering, volume 53, pp 2185-2199, 2002. (DOI
).
-
On context in phenomenographic research on understanding heat and temperate
. In EARLI, Bi-annual Symposium, Fribourg, Switzerland, 2002. (External link
).
-
Bio-optical Modelling Combined with Remote Sensing to Assess Water Quality
. In International Journal of Remote Sensing, volume 23, number 8, pp 1621-1638, 2002. (DOI
).
-
Automated change detection of bleached coral reef areas
. In Proceedings of 7th International Conference, Remote Sensing for Marine and Coastal Environments, 2002.
-
Code Synthesis for Timed Automata
. In Nordic Journal of Computing, volume 9, number 4, pp 269-300, 2002.
-
TIMES: A Tool for Modelling and Implementation of Embedded Systems
. In Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2002, volume 2280 of Lecture Notes in Computer Science, pp 460-464, Springer-Verlag, Berlin, 2002. (DOI
).
-
Resource Allocation With Wobbly Functions
. In Computational Optimization and Applications, volume 23, number 2, pp 171-200, 2002.
-
Resource Allocation with Wobbly Functions
. In Computational Optimization and Applications, volume 23, number 2, pp 171-200, 2002.
-
Curvature Measurements for fibres in 3D Images of Paper
. In Proceedings SSAB'02 Symposium on Image Analysis, pp 165-168, 2002.
-
Estimating Fibre Twist and Aspect Ratios in 3D Voxel Volumes
. In International Conference on Pattern Recognition (ICPR'02), 2002.
-
Slice-based Digital Volume Assembly of a Small Paper Sample
. In Nordic Pulp and Paper Research Journal, volume 17, number 1, 2002.
-
Ring Shaped Object Detector for Non-Isotropic 2D Images Using Optimized Distance Transform Weights
. 2002.
-
Caching in Multi-unit combinatorial auctions
. In International Joint Conference on Autonomous Agents & Multiagent systems, 2002. (External link
).
-
A Segmentation Technique to Determine Fat Content in NMR Images of Beef Meat
. In IEEE Transactions on Nuclear Science, volume 49, number 1, pp 195-199, 2002.
-
Determination of Pores in Pig Meat Images
. In International Conference on Computer Vision and Graphics, Zakopane, Poland, pp 70-78, 2002.
-
Determination of holes in pig meat images
. In Proceedings SSAB'02 Symposium on Image Analysis, pp 53-56, 2002.
-
The future of Italian doctors
. In Eurodoc 2002, European Conference of Doctoral Students, Girona, Spain, 2002.
-
Segmentation of liver images by texture and genetic snakes
. 2002.
-
Intranätboken: från elektronisk anslagstavla till dagligt arbetsverktyg
. Liber Stockholm, 2002. (External link
).
-
Surface Construction with Near Least Square Acceleration based on Vertex Normals on Triangular Meshes
. In Sigrad, pp 43-48, 2002.
-
Surface Construction with Near Least Square Acceleration based on Vertex Normals on Triangular Meshes
. In Proceedings from Sigrad 2002, pp 17-22, 2002.
-
New UPPAAL Architecture
. In Workshop on Real-Time Tools, 2002.
-
UPPAAL Implementation Secrets
. In International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, p 3, 2002.
-
Automated Analysis of an Audio Control Protocol Using UPPAAL
. In Journal of Logic and Algebraic Programming, volume 52-53, pp 163-181, 2002. (External link
).
-
Clocks, DBMs and States in Timed Systems
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 39, Acta Universitatis Upsaliensis, Uppsala, 2002.
-
Reachability Analysis for Timed Automata with Constraints over Clock Differences.
. Technical Report, Uppsala University, 2002.
-
SIP: Performance Tuning through Source Code Interdependence
. In Proceedings of the 8th International Euro-Par Conference, 2002.
-
The Plenoscope Concept and Image Formation
. In Proceedings of SSAB 2002, pp 75-78, 2002.
-
Are you guys really concerned about the grades?
. In Proceedings of ISCRAT2002, 2002. (External link
).
-
How do students understand network protocols?: A phenomenographic study
. Technical report / Department of Information Technology, Uppsala University nr 2002-006, 2002. (fulltext
).
-
Learning computer systems in a distributed course: Problematizing content and context.
. In Proceedings of the European Association for Research on Learning and Instruction, SIG 10, Current Issues in Phenomenography, 2002. (External link
).
-
On the understanding of computer network protocols
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-002, Uppsala University, 2002. (fulltext
).
-
Understanding Network Protocols.: A Phenomenographic study
. In Proceedings of the second annual Finnish/Baltic Sea conference on computer science education, pp 70-75, 2002.
-
Understanding Network Protocols. A Phenomenographic study: Invited seminar at the 2nd Annual Finnish/Baltic Sea Conference on Computer Science Education
. Koli, Joensuu, Finland, 2002.
-
Channel and frequency offsets estimation in MIMO time-selective channels
. In 2nd IEEE Sensor Array and Multichannel Signal Processing Workshop, Rosslyn ,USA, 2002.
-
Direction finding in the presence of an intermittent interference
. In IEEE Trans Signal Processing, volume 50, pp 1554-1564, 2002.
-
Data-aided frequency offset estimation in frequency selective channels: training sequence selection.
. In ICASSP 2002, the 27th International Conference on Acoustics, Speech and Signal Processing, Orlando, USA, 2002.
-
Bias and variance of the parameter estimates for a one dimensional diffusion system
. In Proc 15th IFAC World Congress, 2002.
-
Recursive algorithm for estimating parameters in a one dimensional heat diffusion system
. In Reglermöte 2002 (National Conference on Control), 2002.
-
Bias and variance of parameter estimates of a one-dimensional heat diffusion system
. In Proc of 15th IFAC Congress, Barcelona, Spain, July, 2002.
-
Recursive algorithm for estimating parameters in a one-dimensional heat diffusion system
. In Proc of Reglermöte, Linköping, Sweden, 2002.
-
A Discrete Subexponential Algorithm for Parity Games
. Technical report / Department of Information Technology, Uppsala University nr 2002-026, 2002. (fulltext
).
-
An Experimental Study of Algorithms for Completely Unimodal Optimization
. Technical report / Department of Information Technology, Uppsala University nr 2002-030, 2002. (fulltext
).
-
Memoryless Determinacy of Parity Games: A Simple Proof
. Technical Report 2002-033 nr 2002-033, Dept of Information Technology, Uppsala University, Uppsala, 2002. (To appear in: Theoretical Computer Science)
-
Memoryless Determinacy of Parity and Mean Payoff Games: A Simple Proof
. Technical report / Department of Information Technology, Uppsala University nr 2002-033, Department of Information Technology, Uppsala University, 2002. (fulltext
).
-
Optimization on Completely Unimodal Hypercubes
. Technical report / Department of Information Technology, Uppsala University nr 2002-018, 2002. (fulltext
).
-
Two Adversary Lower Bounds for Parity Games
. Technical report / Department of Information Technology, Uppsala University nr 2002-008, 2002. (fulltext
).
-
Uniform estimate of the constant in the strengthened CBS inequality for anisotropic non-conforming FEM systems
. Technical report / Department of Information Technology, Uppsala University nr 2002-039, 2002. (fulltext
).
-
Health Problems in Computer-supported Work - a Usability Matter?
. In Proceedings of HCI Conference 2002. People and Computers, 2002.
-
Fuzzy border distance transforms and their use in 2D skeletonization
. 2002.
-
Automated analysis of dynamic web services
. Technical report / Department of Information Technology, Uppsala University nr 2002-010, 2002. (fulltext
).
-
Individual Tree-based Species Classification in High Spatial Resolution Aerial Images of Forests using Fuzzy Sets
. In Fuzzy Sets and Systems, volume 132, number 3, pp 371-387, 2002.
-
A Compact Higher Order Finite Difference Method for the Incompressible Navier-Stokes Equations
. In Journal of Scientific Computing, volume 17, pp 551-560, 2002. (DOI
).
-
Shape optimization of an acoustic horn
. Technical report / Department of Information Technology, Uppsala University nr 2002-019, 2002. (fulltext
).
-
Control of an activatedsludge process with nutrient removal - A benchmark study
. In Water, Science and Technology, volume 45, number 4-5, pp 135-142, 2002.
-
Worst-Case Execution Time Analysis of Disable Interrupt Regions in a Commercial Real-Time Operating System
. In RT TOOLS 2002,: Proc. 2nd Workshop on Real-Time Tools, Copenhagen, Denmar, August 2002, 2002.
-
Communication Tests of Electronic Power Markets through Power Line Communication
. 2002. (External link
).
-
Hierarchical module namespaces in Erlang.
. In Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania, 2002. (External link
).
-
Eliminating queues from RT UML model representations
. In FTRTFT 2002: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings., pp 375-394, 2002.
-
Distributed Teaching with Local Control
. In IEEE Frontiers in Education conference, p T4E12, 2002. (External link
).
-
Open Ended Group Projects, Motivating Students and Preparing them for the
. In IEEE Conference on Software Engineering Education & Training, 2002. (External link
).
-
A Tool Architecture for the Next Generation of Uppaal
. In Formal Methods at the Crossroads. From Panacea to Foundational Support, pp 352-366, Springer, 2002.
-
Formal Verification of UML Statecharts with Real-Time Extensions
. In Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, pp 218-232, 2002.
-
A New Technique for Accurate and Stable Modeling of Arbitrarily Oriented Thin Wires in the FDTD Method
. Technical report / Department of Information Technology, Uppsala University nr 2002-016, 2002. (fulltext
).
-
A comparison of time-domain hybrid solvers for complex scattering problems
. In International journal of numerical modelling, volume 15, pp 475-487, 2002. (DOI
).
-
An Unconditionally Stable Subcell Model for Arbitrarily Oriented Thin Wires in the FETD Method
. Technical report / Department of Information Technology, Uppsala University nr 2002-007, 2002. (fulltext
).
-
Hybrid Solvers for the Maxwell Equations in Time-Domain
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 40, Acta Universitatis Upsaliensis, Uppsala, 2002. (fulltext
).
-
Adaptive Control of the External Carbon Flow Rate in an Activated Sludge Process
. In Proc of Reglermöte (National meeting on Control), 2002.
-
Adaptive control of the external carbon flow rate in an activated sludge process
. In 1st World Water Congress of the IWA, Melbourne, 2002.
-
Domain decomposition of the Padé scheme and pseudo-spectral method, used in Vlasov simulations
. Technical report / Department of Information Technology, Uppsala University nr 2002-029, 2002. (fulltext
).
-
Numerical Vlasov–Maxwell Modelling of Space Plasma
. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 758, Acta Universitatis Upsaliensis, Uppsala, 2002. (fulltext
).
-
Numerical modelling of the two-dimensional Vlasov–Maxwell system
. Technical report / Department of Information Technology, Uppsala University nr 2002-028, 2002. (fulltext
).
-
Outflow boundary conditions for the Fourier transformed two-dimensional Vlasov equation
. In Journal of Computational Physics, volume 181, pp 98-125, 2002. (DOI
).
-
Processor Pipelines and Static Worst-Case Execution Time Analysis
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 36, Acta Universitatis Upsaliensis, Uppsala, 2002. (fulltext
).
-
Processor Pipelines and Their Properties for Static WCET Analysis.
. In EMSOFT 2002: Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings., pp 334-348, 2002. (External link
).
-
Teleradiologie on a Personal Digital Assistant
. In Mobile Computing in Medicine, pp 73-80, 2002.
-
Ubiquitous radiology: The scalable CHILI architecture on stationary and mobile devices
. In Proceedings of the 20th EuroPACS annual meeting, pp 113-116, 2002.
-
Colour segmentation of individual tree crowns in aerial images
. In Proceedings SSAB'02, pp 177-180, 2002.
-
FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002. Proceedings
. Volume 2391 of Lecture Notes in Computer Science, Springer-Verlag, Berlin Heidelberg, 2002.
-
A Unified Flow Information Language for WCET Analysis
. In WCET Workshop, Wien, June 18, 2002., 2002.
-
A QoS aware power save protocol for wireless ad hoc networks
. In 1st Mediterranean Workshop on Ad Hoc Networks(Med-Hoc Net 2002), 2002.
-
Demonstration Abstract: Spontaneous networking for secure collaborative applications in an infrastructureless environment.: International Conference on Pervasive Computing (Pervasive 2002)
. 2002.
-
Spontnet: Experiences in configuring and securing small ad hoc networks
. In 5th International Workshop on Networked Applicances(IWNA5), 2002.
-
Accurate and stable grid interfaces for finite volume methods
. Technical report / Department of Information Technology, Uppsala University nr 2002-012, 2002. (fulltext
).
-
Adaptive error control for steady state solutions of inviscid flow
. In SIAM Journal on Scientific Computing, volume 23, pp 1777-1798, 2002. (DOI
).
-
Anisotropic grid adaptation for Navier-Stokes' equations
. Technical report / Department of Information Technology, Uppsala University nr 2002-023, 2002. (fulltext
).
-
On numerical errors in the boundary conditions of the Euler equations
. In Applied Mathematics and Computation, volume 128, pp 129-140, 2002. (DOI
).
-
Schedulability Analysis with Two Clocks
. Technical Report, 2002.
-
Achievements and prospects of program synthesis
. In Computational Logic: Logic Programming and Beyond;Computational Logic: Logic Programming and Beyond; Essays in Honour of Robert A. Kowalski, pp 310-346, Springer-Verlag, 2002.
-
Breaking all the symmetries in matrix models: Results, conjectures, and directions
. In Proceedings of SymCon'02, the Second International Workshop on Symmetry in CSPs, 2002. (External link
).
-
Breaking row and column symmetries in matrix models
. In Principles and Practice of Constraint Programming – CP 2002, volume 2470 of Lecture Notes in Computer Science, pp 462-476, Springer-Verlag, Berlin, 2002. (DOI
).
-
Matrix modelling: Exploiting common patterns in constraint programming
. In Proceedings of the International Workshop on Reformulating CSPs, 2002. (External link
).
-
Proceedings of SymCon'02, the Second International Workshop on Symmetry in CSPs
. 2002. (External link
).
-
Program synthesis for combinatorial optimisation problems: Position statement
. In Working Notes of the AAAI'02 Spring Symposium on the State of the Art and Future Trends of Logic-based Program Synthesis, 2002.
-
Diagonally weighted orthogonal space-time block codes
. In 36th ASILOMAR Conference on Signals, Systems and Computers, Pacific Grove, CA, 2002.
-
Differential detection based on space-time block codes
. In Wireless Personal Comm, volume 21, pp 163-180, 2002.
-
Differential modulation using space-time block codes
. In IEEE Sign Process Lett, volume 9, pp 57-60, 2002.
-
Designing Space-Time Codes Using Orthogonal Designs
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 41, Acta Universitatis Upsaliensis, Uppsala, 2002.
-
Stochastic Cramer-Rao bound for direction estimation in unknown noise fields
. In IEE Proc Radar Sonar Navig, volume 149, pp 2-8, 2002.
-
LUNAR: ligthweight Underlay Network Ad-hoc Routing
. Technical Report, Uppsala University, 2002.
-
Combining Wavelets with Finite Differences: Consistency Analysis
. Technical report / Department of Information Technology, Uppsala University nr 2002-001, 2002. (fulltext
).
-
USABILITY THROUGHOUT THE ENTIRE SOFTWARE DEVELOPMENT LIFECYCLE – A INTERACT 2001 WORKSHOP
. In SIGCHI Bulletin, 2002.
-
Användarcentrerad systemdesign
. Studentlitteratur, 2002. (External link
).
-
Deferred correction in space and time
. In Journal of Scientific Computing, volume 17, pp 541-550, 2002. (DOI
).
-
Fourth order methods for the Stokes and Navier-Stokes equations on staggered grids
. In Frontiers of Computational Fluid Dynamics: 2002, pp 165-179, World Scientific Publishing, River Edge, NJ, 2002.
-
Native Code Compilation of Erlang's Bit Syntax
. In Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania, pp 6-15, 2002.
-
Hierarchical SMP computer System
. 2002.
-
Hybrid memory access protocol in a distributed shared memory computer system
. 2002.
-
Methods and apparatus for a directory-less memory access protocol in a distributed shared memory computer system
. 2002.
-
Selective address translation in coherent memory replication
. 2002.
-
Skewed finite hashing function
. 2002.
-
Model-based Methods in Motion Capture
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 42, Acta Universitatis Upsaliensis, Uppsala, 2002.
-
Unsupervised Hyperspectral Image Segmentation Using a New Class of Neuro-Fuzzy Systems Based on Weighted Incremental Neural Networks
. In 31st Applied Imagery Pattern Recognition Worshop (AIPR 2002), Washington DC, USA, 2002.
-
Unsupervised Image Segmentation Using New Neuro-Fuzzy Systems
. In Swedish Society for Automated Image Analysis Symposium - Proceedings of SSAB 2002, pp 83-87, 2002.
-
Using Weighted Fixed Neural Networks for Unsupervised Fuzzy Clustering
. In International Journal of Neural Systems (IJNS), volume 12, number 6, pp 425-434, 2002. (External link
).
-
Using Weighted Fixed Neural Networks for Unsupervised Fuzzy Clustering
. In International Journal of Neural Systems, volume 12, number 6, pp 425-434, 2002.
-
Using Hyperspectral Reflectance Data for Discrimination Between Healthyand Diseased Plants, and Determination of Damage-Level in Diseased Plants
. In 31st Applied Imagery Pattern Recognition Worshop (AIPR 2002), Washington DC, USA., 2002.
-
Improved Bump Mapping by using Quadratic Vector Interpolation
. In Eurographics02, 2002.
-
Improved Fundamental Algorithms for Fast Computer Graphics
. Licentiate thesis, , Centre for Image Analysis, 2002.
-
Reconstruction Filters for Bump Mapping
. In WSCG02, pp 9-12, 2002.
-
Reconstruction Filters for Bump Mapping
. In Proceedings from Promote IT 2002, pp 244-256, 2002.
-
Improved Bump Mapping by using Quadratic Vector Interpolation
. 2002.
-
Performance of PDE solvers on a self-optimizing NUMA architecture
. In Parallel Algorithms and Applications, volume 17, pp 285-299, 2002. (DOI
).
-
Nuclear egress of human Cytomegalovirus capsids by budding through thenuclear membrane,
. In Proc. Int. Conf. on Electron Microscopy, Durban, South Africa, 2002., 2002.
-
Determination of holes and cracks in meat with image analysis
. In 48th International Congress of Meat Science and Technology, Rome, Italy, 25-30 August 2002, pp 336-337, 2002.
-
Tripeptide Interference with Human Immunodeficiency Virus Type 1 Morphogenesis
. In Antimicrobial Agents and Chemotherapy, volume 46, number 11, pp 3597-3605, 2002.
-
"To do" gets more attention than "to understand": Pupil’s use of ICT in some Swedish classrooms
. In Proceedings for European Conference on Educational Research in Lisbon, 11-12 September 2002, 2002.
-
Array signal processing for QR
. In 36th ASILOMAR Conference on Signals, Systems and Computers, Pacific Grove, CA, 2002., 2002.
-
A System for Information Management in Simulation of Manufacturing Processes
. In Proceedings for European Conference on Educational Research in Lisbon, 11-12 September 2002, 2002.
-
Heap Architectures for Concurrent Languages using Message Passing
. In Proceedings of ISMM'2002: ACM SIGPLAN International Symposium on Memory Management, pp 88-99, 2002.
-
Linear Scan Register Allocation in a High-Performance Erlang Compiler.
. In # Practical Aspects of Declarative Languages: Proceedings of the PADL 2002 Symposium, Portland, Oregon., pp 299-317, 2002. (External link
).
-
Numerical solution of the linearized Euler equations using high order finite difference operators with the summation by parts property
. Technical report / Department of Information Technology, Uppsala University nr 2002-034, 2002. (fulltext
).
-
Differentiated security in wireless networks
. Information technology, Uppsala University, 2002. (External link
).
-
Testing preorders for probabilistic processes can be characterized by simulations
. In Theoretical Computer Science, volume 282, number 1, pp 33-51, 2002.
-
Query Decomposition for a Distributed Object-Oriented Mediator System
. In Distributed and Parallel Databases J., volume 11, number 3, pp 307-336, 2002. (External link
).
-
Cross correlation functions <em>C<sub>nm</sub></em>(<em>E</em>) via Lanczos algorithms without diagonalization
. In Journal of Chemical Physics, volume 117, pp 9116-9123, 2002. (DOI
).
-
A simple and possibly efficient approach to Automatic License Plate Recognition
. In Proceedings SSAB'02: Symposium on Image Analysis, p 185, 2002.
-
Query Processing in Self-Profiling Composable Peer-to-Peer Mediator Databases
. In EDBT Workshops 2002, number 2490, pp 627-637, 2002. (External link
).
-
Object-Oriented Mediator Queries to Internet Search Engines
. In Advances in Object-Oriented Information Systems, 2002. (External link
).
-
Object-oriented mediator queries to internet search engines
. In Lecture Notes in Computer Science, volume 2426, pp 176-186, 2002.
-
Ethical competence training for individuals and organizations
. In Moral Leadership in Action: Building and Sustaining Moral Competence in European Organizations, pp 293-303, Edward Elgar Publishing, Cheltenham UK, 2002.
-
Individual learning and organizational change for ethical competence in the use of information technology tools
. In The transformation of organisations in the information age: Social and ethical implications, pp 383-390, 2002.
-
A Comparison of Neuro-Fuzzy and Traditional Image Segmentation Methods for Automated Detection of Buildings in Aerial Photos
. In Proceedings of PCV'02: PHOTOGRAMMETRIC COMPUTER VISION 2002, 2002.
-
A Comparison of Neuro-Fuzzy and Traditional Image Segmentation Methods for Automated Detection of Buildings in Aerial Photos
. In Proceedings of PCV'02: PHOTOGRAMMETRIC COMPUTER VISION 2002, 2002.
-
Completing CAD Data Queries for Visualization
. In International Database Engineering and Applications Symposium (IDEAS 2002), Edmonton, Canada, 2002. (External link
).
-
Deferred Correction Methods for Initial Boundary Value Problems
. In Journal of Scientific Computing, volume 17, pp 241-251, 2002. (DOI
).
-
Decision support in the train dispatching process
. In Computers in railways VIII, pp 1085-1095, 2002.
-
Accessing distributed proxy configurations
. AU, WO, US, 2002. (External link
).
-
Creating distributed proxy configurations
. AU, WO, US, GB, DE, 2002. (External link
).
-
Amplitude spectrum estimation for two-dimensional gapped data
. In IEEE Trans Signal Processing, volume 50, pp 1343-1354, 2002.
-
Fast implementation of two-dimensional APES and CAPON spectral estimators
. In Multidimensional Systems and Signal Processing, volume 13, pp 35-53, 2002.
-
On a decoupled approach to adaptive signal separation using an antenna array
. In IEEE Trans Vehicular Technology, volume 51, pp 1681-1685, 2002.
-
On maximum-likelihood detection and decoding for space-time coding systems
. In IEEE Trans Signal Processing, vol 50, 937-944, 2002., volume 50, pp 937-944, 2002.
-
Space-time block coding for frequency-selective channels
. In ICASSP 2002, the 27th International Conference on Acoustics, Speech and Signal Processing, Orlando, USA, 2002.
-
Spectral estimation via adaptive filterbank methods: a unified analysis and a new algorithm
. In Signal Processing, volume 82, pp 1991-2001, 2002.
-
Continuous-time AR parameter estimation by using properties of sampled systems
. In Proc. 15th IFAC World Congress, Barcelona, Spain, 2002.
-
Continuous-time AR parameter estimation by using properties of sampled systems
. In Reglermöte 2002 (National Conference on Control), 2002.
-
The Cramér-Rao Bound for Continuous-Time Autoregressive Parameter Estimation with Irregular Sampling
. In Circuits Systems Signal Processing, volume 21, number 6, pp 581-601, 2002.
-
Identification of Continuous-Time AR Processes from Unevenly Sampled Data
. In Automatica, volume 38, number 4, pp 709-718, 2002.
-
On the performance of orthogonal space-time block coding with quantized feedback
. In IEEE Communications Lett, volume 6, pp 487-489, 2002.
-
Learning from students: Continous improvement in international collaboration
. In ACM SIGCSE Bulletin, volume 34, number 3, 2002. (External link
).
-
Dynamic Message Sequence Charts
. In FSTTCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings., pp 253-264, 2002.
-
Two-dimensional sinusoidal amplitude estimation with application to two-dimensional system identification
. In Circ Syst Sign Process, volume 21, pp 369-397, 2002.
-
Two-dimensional system identification using amplitude estimation
. In IEEE Sign Process Lett., volume 9, pp 61-63, 2002.
-
Adaptive data mediation over XML data
. In Journal of Applied System Studies (JASS), volume 3, number 2, 2002. (External link
).
-
Axiomatising timed automata
. In Acta Informatica, volume 38, number 4, pp 277-305, 2002.
-
The Illusion of Perceived metric Structure
. In Proceedings of InfoVis 2002, IEEE Symposium on Information Visualization, pp 51-56, 2002.
-
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment.
. In Proceedings of the 14th International Workshop on the Implementation of Functional Languages (IFL 2002). Madrid, Spain, September 2002. LNCS., 2002. (External link
).
-
Development of Algorithms for Digital Image Cytometry
. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 789, Acta Universitatis Upsaliensis, Uppsala, 2002. (fulltext
).
-
Surface area estimation of digitized 3D objects using local computations
. In Proceedings of Discrete Geometry for Computer Imagery (DGCI2002), pp 267-278, 2002.
-
Mapping of coral bottoms from different high resolution satellite images
. In Proc. 29th International Symposium on Remote Sensing of Environment, p 4, 2002.
-
Methods and application of interactive 3D computer graphics in antropology: Technical Report 2002-002, Dept of Information Technology
. Technical Report nr 2002-002, 2002.
-
An Architecture for a Scalable Distributed DBS: Application to SQL Server 2000
. In 2nd Intl. Workshop on Cooperative Internet Computing (CIC 2002), Hong Kong, 2002. (External link
).
-
LH*g: A High-Availability Scalable Distributed Data Structure through Record Grouping
. In IEEE Trnasactions on Knowledge and Data Engineering, volume 14, number 4, pp 923-927, 2002.
-
Efficient algorithms for quantitative trait loci mapping problems
. In Journal of Computational Biology, volume 9, pp 793-804, 2002. (DOI
).
-
Efficient kernel algorithms for QTL mapping problems
. Technical report / Department of Information Technology, Uppsala University nr 2002-005, 2002. (fulltext
).
-
Ad hoc Protocol Evaluation and Experiences of Real World Ad Hoc Networking
. Informationsteknologi, Uppsala Universitet, 2002.
-
A Large-scale Testbed for Reproducible Ad hoc Protocol Evaluations
. In Proceedings of the 3rd annual IEEE Wireless Communications and Networking Conference, 2002. WCNC2002., volume 1 of IEEE Wireless Communications and Networking, pp 412-418, 2002. (DOI
).
-
Coping with Communication Gray Zones in IEEE 802.11b based Ad hoc Networks
. In In Proceedings of The Fifth ACM International Workshop On Wireless Mobile Multimedia (WoWMoM), 2002.
-
Coping with Communication Gray Zones in IEEE 802.11b based Ad hoc Networks
. Technical report / Department of Information Technology, Uppsala University nr 2002-022, Department of Information Technology, Uppsala University, 2002. (fulltext
).
-
Coping with Communication Gray Zones in IEEE 802.11b based Ad hoc Networks
. In Proceedings of the 5th ACM international workshop on Wireless mobile multimedi, 2002.
-
Implementation and real-world evaluation of routing protocols for wireless ad hoc networks
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-008, Uppsala University, 2002. (fulltext
).
-
The Gray Zone Problem in IEEE 802.11b based Ad hoc Networks
. In ACM SIGMOBILE Mobile Computing and Communications Review, volume 6, number 3, pp 104-105, 2002.
-
A minimum residual interpolation method for linear equations with multiple right hand sides
. Technical report / Department of Information Technology, Uppsala University nr 2002-041, 2002. (fulltext
).
-
Implicit solution of hyperbolic equations with space-time adaptivity
. In BIT Numerical Mathematics, volume 42, pp 134-158, 2002. (DOI
).
-
Integration of Multibody System Analysis Information based on Database Technology
. In Proceedings of the Third International Conference on Engineering Computational Technology (ECT2002), 2002.
-
Identification of complex elastic modulus from flexural wave experiments
. In Proc 3rd International Conference on Identification in Engineering Systems, 2002.
-
Identification of dynamic errors-in-variables model using prefiltered data
. In Proc. 15th IFAC World Congress, Barcelona, Spain, 2002.
-
Identification of dynamic errors-in-variables models
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-005, Uppsala University, 2002. (fulltext
).
-
On Enabling the WAM with Region Support
. In Proceedings of the International Conference on Logic Programming, pp 163-178, 2002.
-
Accuracy Requirements for Steady and Transient Aerodynamics
. Technical report / Department of Information Technology, Uppsala University nr 2002-035, 2002. (fulltext
).
-
Stable and accurate artificial dissipation
. Technical report / Department of Information Technology, Uppsala University nr 2002-003, 2002. (fulltext
).
-
First-Come-First-Served Packet Dispersion and Implications for
. 2002.
-
Regression-Based Available Bandwidth Measurements
. In Proc of the 2002 International Symposium on Performance Evaluation of Computer and Telecommunications, 2002.
-
Trace-Driven Network Path Emulation
. Technical report / Department of Information Technology, Uppsala University nr 2002-037, Uppsala University, 2002. (fulltext
).
-
The asymptotic Cramer-Rao bound for 2-D superimposed exponential signals
. In Multidimensional Systems and Sign Process, volume 13, pp 317-331, 2002.
-
Higher order finite difference methods for wave propagation problems
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-001, Uppsala University, 2002. (fulltext
).
-
Load balancing in scientific computing on clusters
. In Proc. Int. Workshop on Grid and Cooperative Computing, pp 281-288, Publishing House of Electronics Industry, Beijing, China, 2002.
-
On using mobile agents for load balancing in high performance computing
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-006, Uppsala University, 2002. (fulltext
).
-
Control Errors in CFD!
. Technical report / Department of Information Technology, Uppsala University nr 2002-036, 2002. (fulltext
).
-
Entropy Splitting for High Order Numerical Simulation of Vortex Sound at Low Mach Numbers
. In Journal of Scientific Computing, volume 17, pp 181-190, 2002. (DOI
).
-
High order numerical simulation of sound generated by the Kirchhoff vortex
. In Computing and Visualization in Science, volume 4, pp 197-204, 2002. (DOI
).
-
EDUTELLA: A P2P Networking Infrastructure Based on RDF
. 11th International World Wide Web Conference, Honolulu, HI, 2002.
-
Iterative solution of Maxwell's equations in frequency domain
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-004, Uppsala University, 2002. (fulltext
).
-
"Säg IT –det räcker": Att utveckla skolan med några lysande IT-projekt: Utvärdering av KK-stiftelsens satsning på större skolutvecklingsprojekt: Att utveckla skolan med några lysande IT-projekt: Utvärdering av KK-stiftelsens satsning på större skolutvecklingsprojekt
. Stockholm: Stiftelsen för kunskaps- och kompetensutveckling, 2002. (External link
).
-
On estimation of errors caused by non-linear undermodelling in system identification
. In International Journal of Control, volume 75, number 14, pp 1100-1113, 2002. (DOI
).
-
OpenMP versus MPI for PDE Solvers Based on Regular Sparse Numerical Operators
. Technical report / Department of Information Technology, Uppsala University nr 2002-027, Department of Information Technology, Uppsala University, 2002. (fulltext
).
-
OpenMP versus MPI for PDE solvers based on regular sparse numerical operators
. In Computational Science – ICCS 2002, volume 2331 of Lecture Notes in Computer Science, pp 681-690, Springer-Verlag, Berlin, 2002.
-
A Numerical Method for Acoustic Waves in Horns
. In Acta Acoustica united with Acustica, volume 88, pp 576-586, 2002.
-
Force measurements of postural sway and raptid arm lift in seated children with and without MMC
. In Clinical Biomechanics, volume 17, number 3, pp 197-202, 2002. (DOI
).
-
Area of and volume enclosed by digital and triangulated surfaces
. In Medical Imaging 2002: Visualization, Image-Guided Procedures, and Display, pp 669-680, 2002.
-
Extracting the Process Structure of Erlang Applications
. In Erlang Workshop, Firenze, Sept. 2, 2002.
-
Computational Database Technology for Component Mode Synthesis
. In Proceedings of the Sixth International Conference on Computational Structures Technology (CST2002), 2002.
-
Safer Navigation at Sea using Augmented Reality
. In People and Computers XVI - Memorable Yet Invisible: Proceedings of HCI, vol 2, pp 154-157, 2002.
-
Safer navigation at sea using augmented reality
. In Proceedings of HCI'02, People and Computers, Vol. 2, pp 154-157, Springer, London, 2002.
-
The Windscreen Used as a Display for Navigation Information, An Introductory Study: Technical Report 2002-017, Dept. of Information Technology
. Technical Report 2002-017 nr 2002-017, 2002.
-
Safer Navigation at Sea using Augmented Reality
. In People and Computers XVI - Memorable Yet Invisible, pp 154-157, 2002.
-
Describing computer science education research: An academic process view
. In SCS 2002, Western multiconference, San Antonio, pp 99-104, 2002. (External link
).
-
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.
. In Proceedings of the 6th International Symposium on Functional and Logic Programming, Aizu, Japan, September 2002. Springer, pp 228-244, 2002.
-
Workshop on Real-Time Tools
. 2002.
-
Efficient Synchronization for Non-Uniform Communication Architectures
. In Proceedings of Supercomputing 2002, Baltimore, Maryland, USA, 2002. (External link
).
-
RH Lock: A Scalable Hierarchical Spin Lock
. In Proceedings of the 2nd Annual Workshop on Memory Performance Issues (WMPI 2002), held in conjunction with the 29th International Symposium on Computer Architecture (ISCA29), Anchorage, Alaska, USA, 2002. (External link
).
-
Parallelization of an unstructured finite volume solver for the Maxwell equations
. In Parallel Computing: Advances and Current Issues, pp 213-221, Imperial College Press, London, 2002.
-
High-performance GRID Database Manager for Scientific Data
. In Workshop on Distributed Data & Structures - WDAS-2002, Paris, France, 2002. (External link
).
-
Research in Information and Communication Technology in Norwegian Universities and Colleges - A review
. The Research Counsil of Norway,, 2002. (External link
).
-
Generalizing Chaitin's Algorithm: Graph-Coloring Register Allocation for Irregular Architectures
. Technical Report, May 2002., 2002.
-
Extraction of agricultural field boundaries from remotly sensed images
. In , 2002.
-
Control of the aeration volume in an activated sludge process for nitrogen removal
. In Water Science and Technology, volume 45, number 4-5, pp 45-52, 2002.
-
New control strategies and user interfaces for train traffic control
. In Computers in railways VIII, 2002.
-
On the Cramer-Rao bound for model-based spectral analysis
. In IEEE Sign Process Lett, volume 9, pp 68-71, 2002.
-
A new shape descriptor for surfaces in 3D images
. In Pattern Recognition Letters, volume 23, number 6, pp 703-711, 2002.
-
Linear precoders and decoders designs for MIMO frequency selective channels.
. In ICASSP 2002, the 27th International Conference on Acoustics, Speech and Signal Processing, Orlando, USA, 2002.
-
Optimal designs for space-time linear precoders and decoders.
. In IEEE Trans Signal Processing, volume 50, pp 1051-1064, 2002.
-
Distributed Rendering in Heterogenous Display Environments - A Functional Framework Design and Performance Assessment
. In Proceedings Annual SIGRAD Conf. 2002, pp 23-28, 2002.
-
Magnetic Resonance Signal Processing
. Uppsala University School of Engineering, Uppsala, 2002.
-
Go for both types of cache locality!
. In Proc, volume 2002:2 of HPC Asia, pp 500-503, Tata McGraw-Hill, New Delhi, India, 2002.
-
Anticipative grid design in point-mass approach to nonlinear state estimation
. In IEEE Transactions on Automatic Control, volume 47, number 4, pp 699-702, 2002. (DOI
).
-
Automatic identification and classification of Cytomegalovirus capsids in electron micrographs
. In Proc. Medicintekniska konferensen, Huddinge, Stockholm, 8-9 oktober, 2002., 2002.
-
Description, Segmentation and Classification of Human Cytomegalovirus Capsids
. In Proceedings SSAB'02 Symposium on Image Analysis, pp 21-24, 2002.
-
Weighted distance transforms for images using elongated voxel grids
. 2002.
-
A report on 10th Summer School on Image Processing
. CBA Internal Report, 2002.
-
Reviews on Scientific Papers on Application of Fuzzy Set Theory in Image Segmentation
. CBA Internal Report, 2002.
-
An application-centric characterization of domain-based SFC partitioners for parallel SAMR
. In IEEE Transactions on Parallel and Distributed Systems, volume 13, pp 1275-1289, 2002. (DOI
).
-
Efficient Partitioning of Dynamic Structured Grid Hierarchies
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 44, Acta Universitatis Upsaliensis, Uppsala, 2002.
-
Efficient Implementation of Concurrent Programming Languages
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 43, Acta Universitatis Upsaliensis, Uppsala, 2002. (fulltext
).
-
On Reducing Interprocess Communication Overhead in Concurrent Programs.
. In Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania, pp 58-63, 2002.
-
Exact initialization of the recursive least-squares algorithm
. In Int J Adaptive Contr Sign Process, volume 16, pp 219-230, 2002.
-
On the hierarchical least-squares algorithm
. In IEEE Comm Lett, volume 6, pp 153-155, 2002.
-
Robust Capon beamforming
. In 36th ASILOMAR Conference on Signals, Systems and Computers, Pacific Grove, CA, 2002.
-
Space-time block codes: trained, blind and semi-blind detection
. In ICASSP 2002: the 27th International Conference on Acoustics, Speech and Signal Processing, Orlando, USA, 2002.
-
Space-time block coding for channels with intersymbol interference
. In Digital Signal Processing, volume 12, pp 616-627, 2002.
-
Space-time block coding for wireless communications: survey, new results and open problems
. In ICASSP 2002, the 27th International Conference on Acoustics, Speech and Signal Processing, Orlando, USA, 2002.
-
Trained space-time block decoding for flat fading channels with frequency offsets
. In 11th European Signal Processing Conference , EUSIPCO 2002, Toulouse, France, 2002.
-
Maximum-SNR spatial-temporal formatting designs for MIMO channels
. In IEEE Trans Signal Processing, volume 50, pp 3036-3042, 2002.
-
Analysis of a semi-Toeplitz preconditioner for a convection-diffusion problem
. Technical report / Department of Information Technology, Uppsala University nr 2002-014, 2002. (fulltext
).
-
Semi-Toeplitz preconditioning for linearized boundary layer problems
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-007, Uppsala University, 2002. (fulltext
).
-
Curve skeletonization of surface-like objects in 3D images guided by voxel classification
. In Pattern Recognition Letters, volume 23, number 12, pp 1419-1426, 2002. (DOI
).
-
Digital Distance Transforms in 3D Images Using Information from Neighbourhoods up to 5×5×5
. In Computer Vision and Image Understanding, volume 88, number 1, pp 24-53, 2002. (DOI
, External link
).
-
Distance transforms in 3D using four different weights
. In Pattern Recognition Letters, volume 23, number 12, pp 1407-1418, 2002.
-
Surface Skeletonization of 3D Objects having a Fuzzy Border
. In Proceedings SSAB'02 Symposium on Image Analysis, pp 157-160, 2002.
-
Using distance transforms to decompose 3D discrete objects
. In Image and Vision Computing, volume 20, number 8, p 529, 2002.
-
Using grey-level and distance information for medial surfacerepresentation of volume images
. 2002.
-
An evaluation of algorithms for computing the covariance function of a multivariable ARMA process
. In European Journal of Control, volume 8, number 4, pp 315-325, 2002.
-
Discrete-time Stochastic Systems - Estimation and Control
. Springer-Verlag, London, UK, 2002.
-
Identification of dynamic errors-in-variables model using a frequency domain Frisch scheme
. In Proc. 15th IFAC World Congress, Barcelona, Spain, 2002.
-
Identification of dynamic errors-in-variables model using a frequency domain Frisch scheme
. In Reglermöte 2002 (National Conference on Control), 2002.
-
Instrumental variable methods for system identification
. In Circuits, systems, and signal processing, volume 21, number 1, pp 1-9, 2002. (DOI
).
-
Model validation and model structure determination
. In Circuits, Systems and Signal Processing (special tutorial issue on System Identification), volume 21, number 1, pp 83-90, 2002.
-
On instrumental variable and total least squares approaches for identification of noisy systems
. In International Journal of Control, volume 75, number 6, pp 381-389, 2002.
-
Perspectives on errors-in-variables estimation for dynamic systems
. In Signal Processing, volume 82, number 8, pp 1139-1154, 2002.
-
System identification techniques for estimating material functions
. In Reglermöte 2002 (National Conference on Control), 2002.
-
System identification techniques for estimating material functions from wave propagation experiments
. In Inverse Problems in Engineering, volume 10, number 5, pp 413-439, 2002. (External link
).
-
Using system identification for estimating material functions from wave propagation experiments. Invited keynote address
. In Proc. of 3rd International Conference on Identification in Engineering Systems, Swansea, Wales, 2002.
-
Why are errors-in-variables problems often tricky?
. Technical report / Department of Information Technology, Uppsala University nr 2002-040, 2002. (fulltext
).
-
Concurrent Grayscale Connectedness: Application to Arteries-Veins Separation in Magnetic Resonance Angiography
. In Proceedings of SSAB 2002, pp 37-40, 2002.
-
Segmentation with gray-scale connectedness can separate arteries and veins in MRA
. In Journal of Magnetic Resonance Imaging, volume 15, number 4, pp 438-445, 2002. (External link
).
-
Network Pointers
. In SIGCOMM Communications Review, volume 33, number 1, 2002. (External link
).
-
Segment Order Preserving and Generational Garbage Collection for Prolog
. In In Practical Aspects of Declarative Languages: Proceedings of the PADL 2002 Symposium: 2257, pp 299-317, 2002.
-
Adaptive Resource-based Web Server Admission Control
. In 7th IEEE Symposium on Computers and Communication, 2002. (DOI
).
-
Architectures for Service Differentiation in Overloaded Internet Servers
. Ph.D. thesis, DoCS nr 119, SICS dissertation series nr 30, Institutionen för informationsteknologi, Uppsala, 2002. (fulltext
).
-
Handling Multiple Bottlenecks in Web Servers Using Adaptive Inbound Controls
. In Seventh International Workshop on Protocols for High-Speed Networks (PfHSN 2002), 2002.
-
AE-equational theory of context unification is undecidable
. In Theoretical Computer Science, volume 275, pp 463-479, 2002.
-
The undecidability of the first-order theories of one step rewriting in linear canonical systems
. In Information and Computation, volume 175, pp 182-213, 2002.
-
Feedforward-feedback control of an activated sludge process - A simulation study
. In 1st World Water Congress of the International Water Association (IWA), Melbourne 7-11 April 2002, 2002.
-
Exploring Alternative Memory Architectures for Erlang: Implementation and Performance Evaluation
. Uppsala Unviversity, 2002.
-
Increasing resolution and forecast length with a parallel ocean model
. In Operational Oceanography: Implementation at the European and Regional Scales, volume 66 of Elsevier Oceanography Series, pp 77-85, Elsevier Science, Amsterdam, The Netherlands, 2002.
-
Algorithms for cytoplasm segmentation of fluorescence labeled cells
. In Analytical Cellular Pathology, volume 24, number 2-3, pp 101-111, 2002.
-
Sequential immunofluorescence staining and image analysis for detection of large numbers of antigens in individual cell nuclei
. In Cytometry, volume 47, number 1, pp 32-41, 2002. (External link
).
-
Swedish Universities Prepare Students for Entry into Industry
. Computer Craphics,Newsletter of ACM SIGGAPH no 36(2), 2002.
-
How does IT feel @ work? And how to make IT better: Computer use, stress and health in office work
. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 768, Acta Universitatis Upsaliensis, Uppsala, 2002. (fulltext
).
-
What´s ergonomics got to do with IT?
. In Humans in a complex environment, pp 853-857, Linköping university, 2002.
-
Einstein summation for multidimensional arrays
. In Computers and Mathematics with Applications, volume 44, pp 1007-1017, 2002. (DOI
).
-
On object-oriented frameworks and coordinate free formulations of PDEs
. In Engineering with Computers, volume 18, pp 286-294, 2002. (DOI
).
-
On software support for finite difference schemes based on index notation
. In Computational Science – ICCS 2002, volume 2331 of Lecture Notes in Computer Science, pp 711-718, Springer-Verlag, Berlin, 2002.