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.
-
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. (External link).
-
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.
-
An Experimental Study of Algorithms for Completely Unimodal Optimization
. 2002.
-
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)
-
Optimization on Completely Unimodal Hypercubes
. Technical Report 2002-018, 2002. (External link).
-
Two Adversary Lower Bounds for Parity Games
. Technical Report 2002-008, 2002. (External link).
-
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. (External link).
-
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. (External link).
-
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. (External link).
-
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. (External link).
-
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. (External link).
-
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. (External link).
-
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. (External link).
-
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. (External link).
-
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. (External link).
-
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. (External link).
-
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. (External link).
-
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. (External link).
-
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
. 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. (External link).
-
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. (External link).
-
Stable and accurate artificial dissipation
. Technical report / Department of Information Technology, Uppsala University nr 2002-003, 2002. (External link).
-
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
. Uppsala University, 2002.
-
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. (External link).
-
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
. 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. (External link).
-
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?
. Department of Information Technology nr 2002-040, 2002.
-
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.