Publications 2004
-
Bias analysis in least squares estimation of periodic signals using nonlinear ODEs
. Department of Information Technology nr 2004-035, 2004.
-
Least squares periodic signal modeling using orbits of nonlinear ODE's and fully automated spectral analysis
. In Preprint of Reglermöte, Gothenburg, Sweden, May 26-27, 2004.
-
Least squares periodic signal modeling using orbits of nonlinear ODE's and fully automated spectral analysis
. In Proc 6th IFAC Symposium on Nonlinear Control Systems, 2004.
-
A nonlinear approach to harmonic signal modeling
. In Signal Processing, volume 84, number 1, pp 163-195, 2004.
-
Bias Analysis in Least Squares Estimation of Periodic Signals Using Nonlinear ODE's
. Technical report / Department of Information Technology, Uppsala University nr 2004-035, Department of Information Technology, Uppsala University, 2004. (fulltext
).
-
Periodic signal analysis using orbits of nonlinear ODEs based on the Markov estimate
. In , volume 37:12 of IFAC-PapersOnLine, pp 367-372, 2004. (DOI
).
-
Periodic signal modeling based on Liénard's equation
. In IEEE Transactions on Automatic Control, volume 49, number 10, pp 1773-1778, 2004. (DOI
).
-
A Survey of Regular Model Checking.
. In CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings., pp 35-48, 2004.
-
Closed, Open and Robust Timed Networks
. Technical report / Department of Information Technology, Uppsala University nr 2004-033, Department of Information Technology, Uppsala University, 2004. (fulltext
). (To appear in Infinity '04)
-
Decidability of Zenoness, Token Liveness and Boundedness of Dense-Timed Petri Nets
. Technical report / Department of Information Technology, Uppsala University nr 2004-034, Department of Information Technology, Uppsala University, 2004. (fulltext
). (To appear in FSTTCS '04)
-
Decidability of Zenoness, Token Liveness, and Boundedness for Dense-Timed Petri Nets.
. In FSTTCS' 04: 24th Conference on Foundations of Software Technology and Theoretical Computer Science, 2004. (DOI
, External link
).
-
Designing Safe, Reliable Systems using Scade
. In Proc. ISoLA '04: International Symposium on Leveraging Applications of Formal Methods, 2004.
-
Forward Reachability Analysis of Timed Petri Nets
. In FORMATS-FTRTFT'04, 2004, 2004.
-
Multi-Clock Timed Networks
. In LICS'2004, 18th IEEE Int. Symp. on Logic in Computer Science, 2004.
-
Open, Closed and Robust Timed Networks.
. In CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, p 529, 2004. (External link
).
-
Regular Model Checking for LTL(MSO)
. In Computer Aided Verification, pp 348-360, 2004.
-
Report on Dataflow Dependencies in Billing Processing Systems
. In Proc. ISoLA '04: 1st International Symposium on Leveraging Applications of Formal Methods, 2004.
-
SAT-solving the Coverability Problem for Unbounded Petri Nets
. In Formal methods in system design, volume 24, number 1, pp 25-43, Kluwer Academic Publishers, The Netherlands, 2004. (External link
).
-
Better-Structured Transition Systems
. Technical report / Department of Information Technology, Uppsala University nr 2004-017, Department of Information Technology, Uppsala University, 2004. (fulltext
).
-
Regular Model Checking for LTL(MSO)
. In Proc. 16th Int. Conf. on Computer Aided Verification, LNCS, 2004.
-
Using Forward Reachability Analysis for Verification of Lossy Channel Systems
. In Formal methods in system design, volume 25, number 1, pp 39-65, 2004. (DOI
).
-
A General Approach for Time-Domain Simulation of Waveguides in 3D
. In Proc. EMB 04, Computational Electromagnetics: Methods and Applications, pp 220-226, Department of Electromagnetics, Chalmers University of Technology, Göteborg, Sweden, 2004.
-
A capon-like spatial spectrum estimator for correlated sources
. In 12th European Signal Processing Conference: EUSIPCO 2004, 2004.
-
Common factor estimation and two applications in signal prosessing
. In Signal Processing, volume 84, pp 421-429, 2004.
-
Train traffic control by re-planning in real-time
. 2004.
-
Eigenvalue estimates for preconditioned saddle point matrices
. Technical report / Department of Information Technology, Uppsala University nr 2004-019, 2004. (fulltext
).
-
Controller Synthesis for Probabilistic Systems
. In IFIP TCS 2004: Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France, pp 493-506, 2004.
-
Spi Calculus Translated to pi-Calculus Preserving May-Tests
. In Proceedings of LICS 2004: Logic in Computer Science, Proceedings / Symposium on Logic in Computer Science, pp 22-31, IEEE Computer Society, Los Alamitos, Calif, 2004. (DOI
, External link
).
-
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Verification Toolkits
. In Electronic Notes in Theoretical Computer Science, volume 105, pp 11-20, 2004.
-
Evaluation of Authentication Algorithms for Small Devices
. 2004.
-
Faster shading by equal angle interpolation of vectors
. In IEEE Transactions on Visualization and Computer Graphics, pp 217-223, 2004.
-
Faster Shading by Equal Angle Interpolation of Vectors
. In IEEE Transactions on Visualization and Computer Graphics, volume 10, number 2, pp 217-223, 2004.
-
Synthesis of Programs in Computational Logic
. In Program Development in Computational Logic, pp 30-65, Springer-Verlag, 2004.
-
What do we mean by theoretically sound research in computer science education
. In ACM SIGCSE 9th International workshop on Integrating Technology in Computer Science Education, pp 230-231, 2004.
-
Robust cell image segmentation methods
. In Pattern Recognition and Image Analysis: Advances in Mathematical Theory and Applications, volume 14, number 2, pp 157-167, 2004. (External link
).
-
Timed Automata: Semantics, Algorithms and Tools
. In In Lecture Notes on Concurrency and Petri Nets: LNCS 3098, 2004.
-
Efficient Data-Locality Analysis of Long-Running Applications
. Technical report / Department of Information Technology, Uppsala University nr 2004-021, Department of Information Technology, Uppsala University, 2004. (fulltext
).
-
StatCache: A Probabilistic Approach to Efficient and Accurate Data Locality Analysis
. In 2004 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS-2004),, 2004.
-
StatCache: A Probabilistic Approach to Efficient and Accurate Data Locality Analysis
. In Proceedings of the 2004 IEEE International Symposium on Performance Analysis of Systems and Software, 2004.
-
Approximations of very weak solutions to boundary-value problems
. In SIAM Journal on Numerical Analysis, volume 42, pp 860-877, 2004. (DOI
).
-
A framework to study learning in a complex learning environment
. In ALT-J Research in Learning Technology Journal, volume 12, number 1, pp 65-79, 2004. (External link
).
-
Att lära datakommunikation i en internationell projekt-baserad kurs (in Swedish): Invited presentation at the conference in didactics for teachers in technology and science,
. Lund University, Lund, Sweden, 2004.
-
Teaching and learning CS: An overview of research approaches: Keynote speech at the 4th Annual Finnish/Baltic Sea Conference on Computer Science Education
. Koli, Joensuu, Finland, 2004.
-
Reduced order models for a two-dimensional heat diffusion system
. In International Journal of Control, volume 77, number 18, pp 1532-1548, 2004.
-
Model Reduction and Parameter Estimation for Diffusion Systems
. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 974, Acta Universitatis Upsaliensis, Uppsala, 2004. (fulltext
).
-
Recursive Algorithms for Estimating the Parameters in a One Dimensional Heat Diffusion System: Analysis
. Technical report / Department of Information Technology, Uppsala University nr 2004-053, Department of Information Technology, Uppsala University, 2004. (fulltext
).
-
Recursive Algorithms for Estimating the Parameters in a One Dimensional Heat Diffusion System: Derivation and Implementation
. Technical report / Department of Information Technology, Uppsala University nr 2004-052, Department of Information Technology, Uppsala University, 2004. (fulltext
).
-
Performance of Pastry in a Heterogeneous System
. In Proceedings of the Fourth IEEE International Conference on Peer-to-Peer computing, 2004. (External link
).
-
A Combinatorial Strongly Subexponential Strategy Improvement Algorithm for Mean Payoff Games
. DIMACS Technical Reports Published in 2004 nr 5, DIMACS, 2004. (External link
).
-
A Combinatorial Strongly Subexponential Strategy Improvement Algorithm for Mean Payoff Games
. In Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science (MFCS 2004), pp 673-685, 2004.
-
A combinatorial strongly subexponential algorithm for mean payoff games
. In Mathematical Foundations of Computer Science 2004, pp 673-685, 2004.
-
Controlled Linear Programming for Infinite Games
. DIMACS Technical Reports nr 2005-13, 2004.
-
Controlled Linear Programming: Boundedness and Duality
. DIMACS Technical Report nr 2004-56, 2004.
-
Memoryless Determinacy of Parity and Mean Payoff Games: A Simple Proof
. In Theoretical Computer Science, volume 310, number 1-3, pp 365-378, 2004.
-
Memoryless determinacy of parity and mean payoff games: a simple proof
. In Theoretical Computer Science, volume 310, pp 365-378, 2004.
-
Randomized Subexponential Algorithms for Infinite Games
. Technical report / Department of Information Technology, Uppsala University nr 2004-011, Uppsala Universitet, 2004. (fulltext
).
-
The Controlled Linear Programming Problem
. DIMACS Technical Report nr 2004-41, 2004.
-
Uniform estimate of the constant in the strengthened CBS inequality for anisotropic non-conforming FEM systems
. In Numerical Linear Algebra with Applications, volume 11, pp 309-326, 2004. (DOI
).
-
Specifying and Generating Test Cases Using Observer Automata
. In Proceedings of the 4th International Workshop on Formal Approaches to Testing of Software, pp 125-139, 2004. (DOI
).
-
From Piles to Tiles: Designing for Overview and Control in Case Handling Systems
. In Conference Proceedings of OZCHI 2004, pp 161-170, 2004.
-
From Piles to Tiles: Designing for Overview and Control in Case Handling Systems
. In Conference Proceedings of OZCHI 2004: The CHISIG Annual Conference on Human-Computer Interaction, 2004.
-
Message-Passing Automata Are Expressively Equivalent to EMSO Logic
. In CONCUR 2004: Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, pp 146-160, 2004.
-
Verifying Qualitative Properties of Probabilistic Programs
. In Validation of Stochastic Systems: A Guide to Current Research, pp 124-146, Springer, 2004.
-
Centre for Image Analysis Annual Report 2003
. Centrum för bildanalys, 2004.
-
Tessellationer i matematik, arkitektur och konst
. In Matenmatikbiennalen 2004: Malmö, 22-24 jan. 2004, p 4, 2004.
-
A Design Case: Interactive Sports Content Broadcasting
. Technical Report series from the Department of Information Technology nr 2004-049, 2004. (External link
).
-
Design and Evaluation of the CHILI System
. Technical Report series from the Department of Information Technology nr 2004-056, 2004. (External link
).
-
Design and evaluation of the CHILI system
. In Technical reports from the Department of Information Technology at Uppsala University, number 56, 2004.
-
Evaluation and Reflections on the Design of the WeAidU System
. Technical Report series from the Department of Information Technology nr 2004-057, 2004. (
).
-
Evaluation and reflections on the design of the WeAidU system
. In Technical reports from the Department of Information Technology at Uppsala University, number 57, 2004.
-
An algorithm for computing fundamental solutions of difference operators
. In Numerical Algorithms, volume 36, pp 331-343, 2004. (DOI
).
-
A Flexible Model for Tree-Structured Multi-Commodity Markets
. Technical report / Department of Information Technology, Uppsala University nr 2004-045, Department of Information Technology, Uppsala University, 2004. (fulltext
).
-
Algorithms for Electronic Power Markets
. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1041, Acta Universitatis Upsaliensis, Uppsala, 2004. (fulltext
).
-
Market Simulations
. Technical report / Department of Information Technology, Uppsala University nr 2004-046, Department of Information Technology, Uppsala University, 2004. (fulltext
).
-
Network Mobility and Protocol Interoperability in Ad Hoc Networks
. In IEEE Communications Magazine, volume 42, number 11, 2004. (External link
).
-
Five myths of assessment
. In Australian Computer Science Communication, volume 26, number 5, pp 57-61, 2004. (External link
).
-
Modeling stem cell migration by Hidden Markov
. In Proceedings of the Swedish Symposium on Image Analysis, SSBA 2004, pp 122-125, 2004.
-
An integrated approach to developing sensor network solutions
. In 2nd International Workshop on Sensor and Actor Network Protocols and Applications (SANPA'04), 2004.
-
On the Understanding of Object and Class
. Technical report / Department of Information Technology, Uppsala University nr 2004-058, 2004. (fulltext
).
-
Subcell Modeling of Thin Wires and Thin Slots in Time-Domain Finite-Element Simulations
. In Proc. EMB 04, Computational Electromagnetics: Methods and Applications, pp 212-219, Department of Electromagnetics, Chalmers University of Technology, Göteborg, Sweden, 2004.
-
MPC for discrete-time bilinear systems
. In Proceedings of Reglermöte 2004, 2004.
-
Improving DSZOOM's Run Time System
. Master's thesis, UPTEC F03 104, School of Engineering, Uppsala University, Sweden, January 2004., 2004.
-
On-chip monitoring for non-intrusive hardware/software observability
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2004-004, Uppsala University, 2004. (fulltext
).
-
Understanding Your C Compiler: How to Minimize Code Size
. In The Firmware Handbook, Elsevier/Newnes, 2004.
-
Using Formal Methods in a Retrospective Safety Case
. In Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings, volume 3219 of Springer Lecture Notes in Computer Science, pp 31-44, Springer Berlin/Heidelberg, 2004. (Conference proceedings
, fulltext:postprint
).
-
Augmented reality as a navigation aid for the manoeuvring of High-Speed Crafts
. In DESIGN 2004 conference, 2004.
-
Cavity depth and diameter estimation in the converter process water model
. In Association for Iron & Steel Technology Conference Proceedings, 2004.
-
Comparative study of three recursive parameter estimation algorithms with application to acoustic echo cancellation
. In Proc. Reglermöte, 2004.
-
A geometric derivation of the probability of finding a relay in multi-rate networks
. In 3rd IFIP Conference on Networking (Networking 2004), 2004.
-
Analysis and protocol design for rate adaptation for simple relay networks
. In 4th Scandinavian Workshop on Wireless Ad-hoc Networks (AdHoc'04), 2004.
-
Energy Efficient Communication in Ad Hoc Networks
. In Mobile Ad Hoc Networking, Wiley, 2004.
-
Accurate and stable grid interfaces for finite volume methods
. In Applied Numerical Mathematics, volume 49, pp 207-224, 2004. (DOI
).
-
Adaptive, Conservative Solution of the Fokker-Planck Equation in Molecular Biology
. Technical report / Department of Information Technology, Uppsala University nr 2004-054, 2004. (fulltext
).
-
A Generic Approach to Schedulability Analysis of Real-Time Tasks
. In Nordic Journal of Computing, volume 12, number 2, pp 129-147, 2004.
-
A generic approach to schedulability analysis of real-time tasks
. In Nordic Journal of Computing, volume 11, 2004.
-
A multi-national, multi-institutional study of student-generated software designs
. In Proc. 4th Finnish/Baltic Sea Conference on Computer Science Education: Koli Calling, pp 20-27, Helsinki University of Technology, Finland, 2004.
-
Air-traffic complexity resolution using constraint programming
. 2004.
-
Financial portfolio optimisation
. In 10th International Conference on Principles and Practice of Constraint Programming: CP 2004, pp 227-241, 2004. (External link
).
-
Introducing ESRA, a relational language for modelling combinatorial problems
. In LOPSTR'03: Revised Selected Papers, pp 214-232, Springer-Verlag, 2004. (External link
).
-
Worst-case air-traffic generation using constraint programming
. 2004.
-
Managing Long Running Queries in Grid Environment,
. In 1st Intl. Workshop on GRID Computing and its Applications to Data Analysis (GADA'04), 2004. (External link
).
-
Some observations regarding interpolants in the limit of flat radial basis functions
. In Computers and Mathematics with Applications, volume 47, pp 37-55, 2004. (DOI
).
-
Fast and robust computation of colon centerline in CT colonography
. In Medical physics (Lancaster), volume 31, pp 3046-3056, 2004. (DOI
).
-
Constructing space-time trellis codes using orthogonal designs
. In Wireless Personal Communicattions, volume 28, pp 1-16, 2004.
-
Orthogonal space-time block codes with feedback
. In Wireless personal Communications, volume 28, pp 287-312, 2004.
-
Education in Greek language in Scandinavia
. IPODE, Athens, 2004.
-
Relationally Staged Computations in Calculi of Mobile Processes
. In Proc. 7th Workshop on Coalgebraic Methods in Computer Science, volume 106 of Electronic Notes in Theoretical Computer Science, pp 105-120, Elsevier, 2004. (DOI
).
-
Relationally Staged Computations in Calculi of Mobile Processes
. Technical report / Department of Information Technology, Uppsala University nr 2004-010, Department of Information Technology, Uppsala University, 2004. (fulltext
).
-
On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi
. In Proceedings of the 7nd International Conference on Foundations of Software Science and Computation Structures (FOSSACS'04), pp 226-240, 2004.
-
On the expressiveness of CCS-like calculi
. Technical report / Department of Information Technology, Uppsala University nr 2004-002, 2004. (fulltext
).
-
On the expressiveness of infinite behavior and name scoping in process calculi
. In FOSSACS'04, pp 226-240, 2004.
-
A Virtualized Link Layer with Support for Indirection
. In ACM SIGCOMM Workshop on Future Directions in Network Architecture (FDNA'04), 2004. (External link
).
-
A virtualized link layer with support for indirection
. In ACM SIGCOMM Workshop on Future Directions in Network Architecture (FDNA'04), pp 28-34, ACM New York, NY, USA, Portland, 2004.
-
A Stable Hybrid Method for Hyperbolic Problems
. Technical report / Department of Information Technology, Uppsala University nr 2004-039, 2004. (fulltext
).
-
Artificial Dissipation for Strictly Stable Finite Volume Methods on Unstructured Meshes
. In Computational Mechanics Abstracts: Volume II, pp 7-7, Tsinghua University Press, Beijing, China, 2004.
-
Learning of event-recording automata
. In FORMATS/FTRTFT 2004: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, pp 379-396, 2004. (DOI
).
-
Network invariants for real-time systems
. In 5th International Workshop on Verification of Infinite-State Systems, pp 57-74, 2004.
-
ACCOMPLISHING UNIVERSAL ACCESS THROUGH SYSTEM REACHABILITY – A MANAGEMENT PERSPECTIVE
. In Universal Access in the Information Society, volume 3, number 1, 2004.
-
Guidelines, Standards, Methods and Processes for Software Accessability
. Volume Vol 3, No 1 of Springer Journal Universal Access in the Information Society, Springer, 2004.
-
Making IT Happen - Strategic User Centred Systems Design in Organizations
. In 1st Indian National Conference on Human Computer Interaction, 2004.
-
Making a Difference: A Survey of the Usability Profession in Sweden
. In Proceedings of NordiCHI 2004, pp 207-215, 2004.
-
Making a Difference - A Survey of the Usability Profession in Sweden
. In 3rd Nordic Conference on Human Computer Interaction: NORDICHI 2004, pp 207-215, 2004.
-
SOFTWARE ACCESSIBILITY OF HUMAN-COMPUTER INTERFACES – ISO TECHNICAL SPECIFICATION 16071
. In Universal Access in the Information Society, volume 3, number 1, 2004.
-
Strategic User Centred Systems Design in the Organization
. In 7th International Conference on Work with Computing Systems, WWCS 2004, 2004.
-
Time Compact Difference Methods for Wave Propagation in Discontinuous Media
. In SIAM Journal on Scientific Computing, volume 26, pp 272-293, 2004. (DOI
).
-
Time Compact High Order Difference Methods for Wave Propagation
. In SIAM Journal on Scientific Computing, volume 26, pp 259-271, 2004. (DOI
).
-
Adaptive Pattern Matching on Binary Data
. In In Programming Languages and Systems. Proceedings of the 13th European Symposium On Programming: Volume 2986 in LNCS, pp 124-139, 2004.
-
Relationships Between Fore- and Hindlimb Ground Reaction Force and Hoof Deceleration Patterns in Trotting Horses
. In Equine Veterinary Journal, volume 36, number 8, pp 737-742, 2004.
-
Relationships Between the Hoof Retardation Pattern of the Forelimb and Hind Limb at the Trot
. In International Workshop of Equine Locomotion, Michigan, May 2004., 2004.
-
User-Centred Systems Design: Designing Usable Interactive Systems in Practice
Användarcentrerad systemdesign: Design av användbara interaktiva system i praktiken
. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 981, Acta Universitatis Upsaliensis, Uppsala, 2004. (fulltext
).
-
Computer system employing bundled prefetching
. 2004.
-
Computer system including a promise array
. 2004.
-
Multi-node computer system employing a reporting mechanism for multi-node transactions
. 2004.
-
Multi-node computer system implementing global access state dependent transactions
. 2004.
-
Multi-node computer system with proxy transaction to read data from a non-owning memory device
. 2004.
-
Multi-node system in which global address generated by processing subsystem includes global to local translation information
. 2004.
-
Multi-node system with global access states
. 2004.
-
Multi-node system with interface intervention to satisfy coherency transactions transparently to active devices
. 2004.
-
Multi-node system with split ownership and access right coherence mechanism
. 2004.
-
Multiprocessing computer system employing capacity prefetching
. 2004.
-
Multiprocessing systems employing hierarchical back-off locks
. 2004.
-
Performing virtual to global address translation in processing subsystem
. 2004.
-
System and method for reducing shared memory write overhead in multiprocessor systems
. 2004.
-
Characterizing and Estimating Fungal Disease Severity in Wheat
. In Swedish Society for Automated Image Analysis Symposium - SSBA 2004, Ångströmlaboratoriet, Uppsala University, pp 194-198, 2004.
-
Unsupervised Fuzzy Clustering Using Weighted Incremental Neural Networks
. In International Journal of Neural Systems, volume 14, number 6, pp 355-371, 2004.
-
Unsupervised Fuzzy Clustering Using Weighted Incremental Neural Networks
. In International Journal of Neural Systems (IJNS), volume 14, number 6, pp 355-371, 2004.
-
Improved Diffuse Anisotropic Shading
. In Sigrad Conference 2004, pp 57-58, 2004.
-
Improved Algorithms for Fast Shading and Lighting
. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 955, Acta Universitatis Upsaliensis, Uppsala, 2004. (fulltext
).
-
Soft and Hard Edged Spotlights
. In WSCG04, pp 95-99, 2004.
-
A Test Case Generation Algorithm for Real-Time Systems
. In proceedings of the 4th International Conference on Quality Software, pp 268-273, 2004.
-
A Test Case Generation Algorithm for Real-Time Systems
. In Proceedings of the 9th International Conference on Quality Software 2004 (QSIC04), IEEE Computer Society Press, pp 268-273, 2004.
-
Time-Optimal Real-Time Test Case Generation using UPPAAL
. In Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, pp 114-130, 2004.
-
Time-optimal Real-Time Test Case Generation using Uppaal
. In Proceedings of the 3rd International Workshop on Formal Approaches to Testing of Software (FATES'03), LNCS 2931, Springer, pp 136-151, 2004.
-
A virtual reality comparison between different camera solutions for use in human motion analysis: High resolution or many cameras?
. In Eigth international symposium on the 3-D analysis of human movement, pp 73-76, 2004.
-
Time-marching methods for the time-dependent Schrödinger equation
. In Proc. Int. Conference on Computational and Mathematical Methods in Science and Engineering: CMMSE-2004, pp 53-56, Uppsala University, Uppsala, Sweden, 2004.
-
An Analysis Tool for UML Models with SPT Annotations
. In Proceedings of the International Workshop on Specification and Validation of UML models for Real Time and Embedded Systems, 2004.
-
Adaptive iteration to steady state of flow problems
. In Journal of Scientific Computing, volume 20, pp 331-354, 2004. (DOI
).
-
Acting or reacting?: A cognitive work analysis approach to the train driver task
. In Rail Human Factors, 2004.
-
The effects of co-location of visual and haptic space on judgements of form.
. In Proceedings of the 4th International Conference Eurohaptics 2004, pp 516-519, 2004.
-
Development of a Virtual Laboratory System for Science Education and the Study of Collaborative Action
. In AACE ED Media Conference 2004, pp 21-26, 2004.
-
Array signal processing in the known waveform and steering vector case.
. In IEEE Trans Signal Process, volume 52, pp 23-35, 2004.
-
A characterization of a hybrid and dynamic partitioner for SAMR applications
. Technical report / Department of Information Technology, Uppsala University nr 2004-009, 2004. (fulltext
).
-
Characterization of a hybrid and dynamic partitioner for SAMR applications
. In Proc. Parallel and Distributed Computing and Systems: 2004, pp 713-718, ACTA Press, Calgary, Canada, 2004.
-
High order difference approximations for the linearized Euler equations
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2004-006, Uppsala University, 2004. (fulltext
).
-
High order finite difference operators with the summation by parts property based on DRP schemes
. Technical report / Department of Information Technology, Uppsala University nr 2004-036, 2004. (fulltext
).
-
High order summation by parts operator based on a DRP scheme applied to 2D Aeroacoustics
. Technical report / Department of Information Technology, Uppsala University nr 2004-050, 2004. (fulltext
).
-
Location coverage and sensitivity with A-GPS
. In Proc. 18th URSI International Symposium on Electromagnetic Theory, pp 361-363, URSI, Ghent, Belgium, 2004.
-
Modeling and control of a viscoelastic piezolaminated beam
. In Reglermöte 2004 (National Conference on Control), 2004.
-
Segmentation and separation of point like fluorescent markers in digital images
. In ISBI2004, pp 1291-1294, 2004. (DOI
).
-
Segmentation of point-like fluorescent markers
. In Proceedings: Symposium on Image Analysis, pp 146-149, 2004.
-
Assessing health and moral stress in IT-based work
. Technical Report from the Department of Information Technology nr 2004-047, Uppsala universitet Institutionen för informationsteknologi, Uppsala, 2004. (External link
).
-
Individual learning and organizational change for ethical competence in the use of information technology tools
. In The ETHICOMP Journal, volume 1, number 1, pp On-line, 2004. (External link
).
-
Making ethical decisions in professional life
. In How professional make decisions, pp 277-288, Lawrence Erlbaum Associates Publishers, Mahwah, NJ., 2004.
-
New technologies in the education of native language
. In Greek language education in Scandinavia, pp 73-76, 2004.
-
Skattekontoret i Falun: Ett mönsterkontor
. Uppsala universitet Institutionen för informationsteknologi, Uppsala, 2004. (External link
).
-
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata
. In TACAS 2004, LNCS 2988: 10th International Conf. on Tools & Algorithms, 2004.
-
Timed vs Time Triggered Automata
. In CONCUR 2004, London, UK, pp 340-354, 2004.
-
Time step restrictions using semi-implicit methods for the incompressible Navier-Stokes equations
. Technical report / Department of Information Technology, Uppsala University nr 2004-030, 2004. (fulltext
).
-
Congestion Control in a High Speed Radio Environment
. In roceedings of the International Conference on Wireless Networks, 2004. (External link
).
-
Properties of TCP-like congestion control
. In Proceedings of the Swedish National Computer Networking Workshop, 2004.
-
High-Resolution Nonparametric Spectral Analysis:: Theory and Applications
. In In High-Resolution and Robust Signal Processing, pp 151-251, Marcel-Dekker New York, 2004.
-
Identification of continuous-time ARX models from irregularly sampled data
. Department of Electrical Engineering, Karlstad University nr 2004-02, 2004.
-
Practical aspects of continuous-time ARMA system identification
. Department of Electrical Engineering, Karlstad University nr 2004-01, 2004.
-
Identification of Stochastic Continuous-time Systems: Algorithms, Irregular Sampling and Cramér-Rao Bounds
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 52, Acta Universitatis Upsaliensis, Uppsala, 2004.
-
Adaptive equalization for frequency-selective channels of unknown length
. In IEEE Global Telecommunications Conference (Globecom), vol. 2, (Dallas, Texas, USA), 2004.
-
The Lightweight User Datagram Protocol (UDP-Lite)
. IETF, 2004. (External link
).
-
Subspace-based MRS data quatitation of multiplets using prior knowledge
. In 12th meeting of the International Society for Magnetic Resonance in Medicine, 2004.
-
Subspace-based MRS Data Quantitation of Multiplets using Prior Knowledge
. In Journal of Magnetic Resonance, volume 168, number 1, pp 53-65, 2004.
-
Doubly constrained robust capon beamformer
. In IEEE Trans Signal Process, volume 52, pp 2407-2423, 2004.
-
Nonparametric spectral analysis with missing data via the EM algorithm
. In 38th ASILOMAR Conf. on Signals, Systems and Computers, 2004.
-
Rank deficient robust capon beamforming for complex spectral estimation
. In Conf. on Algorithms for SAR Imagery, SPIE´s AeroSense, 2004.
-
Versatile robust capon beamforming: theory and applications
. In 3rd IEEE Sensor Array and Multichannel Signal Processing Workshop: (SAM 2004), 2004.
-
Robust Capon Beamforming
. U.S. Patent, 2004.
-
Vård-IT-kartan: Användare och IT-system inom svensk vård och omsorg
. UsersAward, 2004. (External link
).
-
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story
. In In Programming Languages and Systems: Proceedings of the Second Asian Symposium: Volume 3302 in LNCS, pp 91-106, 2004.
-
Image Analysis for Automatic Segmentation of Cytoplasms and Classification of Rac1 Activation
. In Cytometry, volume 57A, number 1, pp 22-23, 2004. (DOI
, Fulltext
).
-
National classification of Swedish shoreline types, from Landsat-7 data
. In Proc. 12th Australasian Remote Sensing and Photogrammetry Conference, p 8, 2004. (Conference
).
-
Validation of the Accuracy of the Perturbation Peak Method for Determination of Multicomponent Adsorption Isotherm Parameters in LC
. In Analytical Chemistry, volume 76, pp 5472-5478, 2004. (DOI
).
-
Validation of the Accuracy of the Perturbation Peak Method for Determination of Single and Binary Adsorption Isotherm Parameters in LC
. In Analytical Chemistry, volume 76, pp 4856-4865, 2004. (DOI
).
-
Supercover of Non-square and Non-cubic Grids
. In Proc. 10th International Workshop on Combinatorial Image Analysis (IWCIA 2004): Auckland, New Zealand, Dec. 2004, pp 88-97, 2004.
-
A soft-detector based on multiple symbol detection for double differential modulation
. In IEEE Communications Lett., volume 8, pp 296-298, 2004.
-
A soft-detector based on multiple symbol detection for double differential modulation
. In ICASSP 2004 29th International Conference on Acoustics , Speach and Signal Processing,, 2004.
-
Simultaneous search for multiple QTL using the global optimization algorithm DIRECT
. In Bioinformatics, volume 20, pp 1887-1895, 2004. (DOI
).
-
Curvilinear coordinates in a PDE solver framework: Validation
. Technical report / Department of Information Technology, Uppsala University nr 2004-032, 2004. (fulltext
).
-
Curvilinear coordinates in a PDE solver framework: Analysis
. Technical report / Department of Information Technology, Uppsala University nr 2004-031, 2004. (fulltext
).
-
Generic programming aspects of symmetry exploiting numerical software
. Technical report / Department of Information Technology, Uppsala University nr 2004-020, 2004. (fulltext
). (Note: To appear in the proceedings of the mini-symposium "Software Concepts and Free Software for PDEs" of the ECCOMAS 2004 congress, Jyväskylä, Finland, 24-28 July 2004)
-
Generic programming aspects of symmetry exploiting numerical software
. In Proc. ECCOMAS Congress 2004, p 20, Jyväskylä, Finland, 2004. (Fulltext
).
-
HiPE on AMD64
. In In Proceedings of the Third ACM SIGPLAN Erlang Workshop, pp 38-47, 2004.
-
Feasibility study of WLAN technology for the Uppsala - Stockholm commuter train.
. Uppsala Universitet, 2004.
-
Algorithmic Optimizations of a Conjugate Gradient Solver on Shared Memory Architectures
. Technical report / Department of Information Technology, Uppsala University nr 2004-048, 2004. (fulltext
).
-
Improving Geographical Locality of Data for Shared Memory Implementations of PDE Solvers
. In Computational Science – ICCS 2004, volume 3037 of Lecture Notes in Computer Science, pp 9-16, Springer-Verlag, Berlin, 2004. (DOI
).
-
Improving geographical locality of data for shared memory implementations of PDE solvers
. Technical report / Department of Information Technology, Uppsala University nr 2004-006, 2004. (fulltext
).
-
Parallelizing the Method of Conjugate Gradients for Shared Memory Architectures
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2004-005, Uppsala University, 2004. (fulltext
).
-
A minimal residual interpolation method for linear equations with multiple right-hand sides
. In SIAM Journal on Scientific Computing, volume 25, pp 2126-2144, 2004. (DOI
).
-
Preconditioned implicit solution of linear hyperbolic equations with adaptivity
. In Journal of Computational and Applied Mathematics, volume 170, pp 269-289, 2004. (DOI
).
-
Space-Time Adaptive Finite Difference Method for European Multi-Asset Options
. Technical report / Department of Information Technology, Uppsala University nr 2004-055, 2004. (fulltext
).
-
ESPRIT like estimation of real-valued sinusoidal frequencies
. In IEEE Transactions on Signal Processing, volume 52, number 5, pp 1161-1170, 2004.
-
Improved estimation performance using known linear constraints
. In Automatica, volume 40, number 8, pp 1307-1318, 2004.
-
Large sample properties of separable nonlinear least squares estimators
. In IEEE Transactions on Signal Processing, volume 52, number 6, pp 1650-1658, 2004.
-
Computationally efficient estimation of wave propagation functions from 1-D wave experiments on viscoelastic materials
. In Automatica, volume 40, number 5, pp 713-727, 2004. (DOI
).
-
Stable and Accurate Artificial Dissipation
. In Journal of Scientific Computing, volume 21, pp 57-79, 2004. (DOI
).
-
Summation by parts operators for finite difference approximations of second derivatives
. In Journal of Computational Physics, volume 199, pp 503-540, 2004. (DOI
).
-
Stability of a Riccati equation arising in recursive parameter estimation under lack of excitation
. In IEEE Transactions on automatic control, volume 49, pp 2275-2280, 2004.
-
A unifying model of variables and names
. Research Report UDMI nr 15/2004/RR, Department of Mathematics and Computer Science, University of Udine, 2004.
-
Fast and approximate estimation of continuous-time stochastic signals from discrete-time data
. In ICASSP 2004, 2004.
-
Optimal experimental design for identification of viscoelastic materials
. In IEEE Transactions on Control Systems Technology, volume 12, number 4, pp 578-582, 2004.
-
Fourier Transform Methods in Image Analysis of Compression Wood at the Cellular Level
. In IAWA Journal, volume 25, number 3, pp 311-324, 2004.
-
Strictly Stable High Order Difference Approximations for Low Mach Number Computational Aeroacoustics
. In Proc. ECCOMAS Congress 2004, p 19, Jyväskylä, Finland, 2004. (Fulltext
).
-
Special issue on the pi-calculus
. Volume 63(1) of Journal of Logic and Algebraic Programming, Elsevier, 2004. (DOI
, External link
).
-
Numerical solution methods for glacial rebound models
. Technical report / Department of Information Technology, Uppsala University nr 2004-016, 2004. (fulltext
).
-
Different Methods that Reduce Cost in Monostatic RCS Computations for MOM Accelerated by MLFMA
. Technical report / Department of Information Technology, Uppsala University nr 2004-038, Department of Information Technology, Uppsala University, 2004. (fulltext
). (To appear in Proceedings of EMB04 - Computational Electromagnetics - Methods and Applications, October 18-19, 2004)
-
Different methods that reduce cost in monostatic RCS computations for MoM accelerated by MLFMA
. In Proc. EMB 04, Computational Electromagnetics: Methods and Applications, pp 164-171, Department of Electromagnetics, Chalmers University of Technology, Göteborg, Sweden, 2004.
-
Stability of the High Frequency Fast Multipole Method for Helmholtz’ Equation in Three Dimensions
. In BIT Numerical Mathematics, volume 44, pp 773-791, 2004. (DOI
).
-
Comparison of Forwarding Strategies in Internet Connected MANETs
. In ACM SIGMOBILE Mobile Computing Reviews, volume 1, number 2, 2004. (DOI
, External link
).
-
Comparison of Forwarding Strategies in Internet Connected MANETs
. In ACM SIGMOBILE Mobile Computing and Communications Review, volume 8, number 4, pp 72-76, ACM, 2004. (DOI
).
-
Comparison of forwarding Strategies in Internet Connected MANETs
. In ACM MobiHoc 2004: Poster Session., 2004.
-
Gateway Forwarding Strategies for Ad Hoc Networks
. In AdHoc 04 Johannesberg, 2004.
-
Parallel PDE Solvers on cc-NUMA Systems
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2004-002, Uppsala University, 2004. (fulltext
).
-
Estetik för dynamiska symboler: Användning av grafik, och symbolspråk för bildskärmsbaserad lägespresentation vid modernt ledningsarbete
. Institutionen för Informationsvetenskap / MDI Uppsala, 2004.
-
Interaktionsdesign kompendium
. Uppsala universitet, insitutionen för informationsvetenskap, uppsala, 2004.
-
Utvärdering av sökvägledningar
. Uppsala universitet, institutionen för informationsvetenskap, människa-datorinteraktion, Uppsala, 2004.
-
Mobile Access to Real-Time Information - The Case of Autonomous Stock Brokering
. In Journal of Personal and Ubiquitous Computing, volume 8, number 1, pp 42-46, 2004.
-
The Ubiquitous Interactor - Device Independent Access to Mobile Services
. In Proceedings of Computer-Aided Design of User Interfaces, pp 271-282, 2004.
-
Engineering Information Integration using Object-Oriented Mediator Technology
. In Software - Practice and Experience J.,, volume 34, number 10, pp 949-975, 2004. (External link
).
-
Optimising Mediator Queries to Distributed Engieering Systems
. In Proc. 9th International Conference on Database Systems for Advanced Applications (DASFAA 2004), 2004. (External link
).
-
A new high-performance CAD scheme for the detection of polyps in CT colonography
. In Medical Imaging 2004: Image Processing, volume 5370 of Proc. SPIE, pp 839-848, Bellingham, WA, 2004. (DOI
).
-
Region-based supine-prone correspondence for reduction of false positives in CAD of CT colonography
. In CARS 2004 – Computer Assisted Radiology and Surgery, volume 1268 of International Congress Series, pp 993-998, Elsevier, 2004. (DOI
).
-
Real-time Rendering of Accumulated Snow
. In Sigrad Conference 2004, pp 25-32, 2004.
-
Comparative Study of Recursive Parameter Estimation Algorithms with Application to Active Vibration Isolation
. In Technical Report, Department of Information Technology, Uppsala University, Number 2004-051, November, 2004.
-
Saturation induced limit cycles in observer-based feedback control
. In IFAC Workshop on Periodic Control Systems (PSYCO 2004), pp 351-356, 2004.
-
A user centered process analysis
. 2004.
-
Designing Work Support Systems – For and With Skilled Users
. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 983, Acta Universitatis Upsaliensis, Uppsala, 2004. (fulltext
).
-
What active users and designers contribute in the design process
. In Interacting with Computers, volume 16, number 2, pp 377-401, 2004.
-
What active users and designers contribute in the design process
. In Interacting with Computers, volume 16, number 2, pp 377-401, 2004. (External link
).
-
User Interface Design for Multi-platform Interactive Sports Content Broadcasting
. In Advanced visual interfaces conference 2004, 2004.
-
Proceedings of the 1st International Workshop on Local Search Techniques in Constraint Satisfaction: LSCS 2004
. 2004. (External link
).
-
Symmetry breaking in constraint satisfaction with graph-isomorphism: Comma-free codes
. In Proceedings of AI&M'04, 2004. (External link
).
-
Processing queries over RDF views of wrapped relational databases
. In 1st International Workshop on Wrapper Techniques for Legacy Systems, WRAP 2004,, 2004. (External link
).
-
Collaborative 3D Visualizations of Geo-Spatial Information for Command and Control
. In Proceedings of SIGRAD Conference 2004, pp 41-47, 2004.
-
Collaborative 3D Vizualizations of Geo-Spatial Information for Command and Control
. In Sigrad 2004, pp 41-47, 2004. (External link
).
-
In Situ Tomographic Display for Interactive Data Visualization
. In NordiCHI '04: Proceedings of the third Nordic conference on Human-computer interaction, pp 93-96, 2004.
-
In situ tomographic display for interactive data vizualization
. In NordiCHI 2004, 2004.
-
Proceedings of the 16th Nordic Workshop on Programming Theory
. 2004. (External link
).
-
Protocol Support for Policy-Based Management in Mobile Ad Hoc Networks
. In IEEE/IFIP Network Operations and Management Symposium, 2004. (External link
).
-
Nationell kartering från satellitbilder av strandtyper längs svenska havskusten
. CBA internal reports nr 28, 2004.
-
Timed Patterns: TCOZ to Timed Automata
. In 6th International Conf. on Formal Engineering Methods: LNCS 3308, 2004.
-
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model
. In 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, 2004.
-
An Approach to Hardware/Software Partitioning for Pultiple Hardware Devices Model
. In 3rd IEEE International Conf. on Software Engineering and Formal Methods, 2004.
-
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model
. In Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004., 2004.
-
Algorithm visualization through animation and role plays
. In Proc. Third Program Visualization Workshop, volume 407 of Research Report, pp 76-81, Dept. of Computer Science, University of Warwick, 2004.
-
Comparison of parallelization models for structured adaptive mesh refinement
. In Euro-Par 2004: Parallel Processing, volume 3149 of Lecture Notes in Computer Science, pp 615-623, Springer-Verlag, Berlin, 2004. (DOI
).
-
Interactive learning of algorithms
. Technical report / Department of Information Technology, Uppsala University nr 2004-023, 2004. (fulltext
).
-
Addressing heterogeneity in Peer-to-Peer networks
. In Proceedings of the Swedish National Computer Networking Workshop, 2004.
-
LUNAR over Bluetooth
. In Proceedings of the 4:th Scandinavian Workshop on Wireless Ad-Hoc Networks, 2004. (External link
).
-
Functional data integration in a distributed mediator system
. In The Functional Approach to Data Management: Modeling, Analyzing and Integrating Heterogeneous Data, p 483, 2004.
-
Mediators for Querying Heterogeneous Data
. In The Practical Handbook of Internet Computing, Chapman & Hall/CRC, USA, 2004.
-
Building Secure Communities in Spontaneously Networked Environments
. In 4th Scandinavian Workshop on Wireless Ad-hoc Networks (AdHoc'04), 2004.
-
Security Bootstrapping for Networked Devices
. 2004.
-
Using Ad Hoc Networking in Orienteering A Demonstration
. In 4th Scandinavian Workshop on Wireless Ad-hoc Networks (AdHoc'04), 2004.
-
Using Ad-hoc Networking in Orienteering - A Demonstration
. In International Conference on Mobile Computing and Networking (Mobicom04), 2004.
-
Non-viability Deductions in Arc-Consistency Computation
. In Logic Programming: 20th International Conference, ICLP 2004, pp 343-355, 2004.
-
On validity in modelization of musical problems by CCP
. In Soft Computing: A Fusion of Foundations, Methodologies and Applications, volume 8, number 9, pp 641-648, 2004.
-
Just Enough Tabling
. In In Proceedings of the Sixth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pp 78-89, 2004.
-
Message Analysis-Guided Allocation and Low-Pause Incremental Garbage Collection in a Concurrent Language
. In In Proceedings of ISMM'04: ACM SIGPLAN International Symposium on Memory Management, pp 1-12, 2004.
-
Experimental Proof of a Chromatographic Paradox: Are the injected molecules in the peak?
. In Analytical Chemistry, volume 76, pp 953-958, 2004. (DOI
).
-
An Integrating Linearization Method for Static Input Nonlinearities
. Technical report / Department of Information Technology, Uppsala University nr 2004-008, Department of Information Technology, Uppsala University, 2004. (fulltext
).
-
Analysis of the input-output couplings in a wastewater treatment plant model
. Technical report / Department of Information Technology, Uppsala University nr 2004-014, 2004. (fulltext
).
-
Integrating Linearization Method for Static Input Nonlinearities.
. Technical reports from the Department of Information Technology nr 2004-008, 2004.
-
Linearization of Static Input Nonlinearities
. In Proceedings of Reglermöte 2004, 2004.
-
Frequency-selective SVD-based magnetic resonance spectroscopy with prior knowledge
. In Conference Record of the 38th Asilomar Conference on Signals, Systems, and Computers, 2004.
-
Parametric methods for frequency-selective MR spectroscopy
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2004-001, Uppsala University, 2004.
-
Parametric methods for frequency-selective MR spectroscopy - a review
. In Journal of Magnetic Resonance, volume 168, number 2, pp 259-272, 2004.
-
2D grey-level skeleton computation: A discrete 3D approach
. In Proceedings of International Conference on Pattern Recognition (ICPR 2004), 2004.
-
Model checking polygonal differential inclusions using invariance kernels
. 2004.
-
Reorganisation in the Skewed-Associative TLB
. Technical report / Department of Information Technology, Uppsala University nr 2004-027, 2004. (fulltext
).
-
A model averaging approach for equalizing sparse communication channels
. In Conference Record of the 38th Asilomar Conference on Signals, Systems, and Computers, pp 677-681, 2004.
-
Model Selection
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2004-003, Uppsala University, 2004. (fulltext
).
-
Multiple-symbol double-differential detection based on least-squares and generalized-likelihood ratio criteria
. In IEEE Trans Communications, volume 52, pp 46-49, 2004.
-
A refined circular template matching method for classification of human cytomegalovirus capsids in TEM images
. In Computer Methods and Programs in Biomedicine, volume 76, pp 95-102, 2004. (DOI
).
-
Object decomposition based on grey-level and shape information
. In Proc. Swedish Society for Automated Image Analysis (SSBA) Symposium 2004, p 25, 2004.
-
Using grey-level and shape information for decomposing proteins in 3D images
. In IEEE International, pp 800-803, 2004.
-
Weighted distance transforms for volume images digitized in elongated voxel grids
. In Pattern Recognition Letters, volume 25, pp 571-580, 2004. (DOI
).
-
Defuzzification of discrete objects by optimizing area and perimeter similarity
. In Proceedings of International Conference on Pattern Recognition (ICPR 2004), pp 526-629, 2004. (DOI
).
-
Steel converter process control with cooling additives
. In 6th IFAC Symposium on Nonlinear Control Systems: NOLCOS 2004, 2004.
-
Low Power and Conflict Tolerant Cache Design
. Technical report / Department of Information Technology, Uppsala University nr 2004-024, 2004. (fulltext
).
-
Array processing for signals with non-zero means in colored noise fields
. In Digital Signal Processing, volume 14, pp 296-311, 2004.
-
Cross-Validation Rules for Order Estimation
. In Digital Signal Processing, volume 14, number 4, pp 355-371, 2004.
-
Cyclic minimizers, majorization techniques, and the expectation-maximization algorithm: a refresher
. In IEEE Signal Processing Magazine, volume 21, number 1, pp 112-114, 2004.
-
Model-Order Selection: A review of information criterion rules
. In IEEE Signal Processing Magazine, volume 21, number 4, pp 36-47, 2004.
-
Multi-model approach to model selection
. In Digital Signal Processing, volume 14, number 5, pp 399-412, 2004.
-
On information criteria and the generalized likelihood ratio test of model order selection
. In IEEE Signal Processing Letters, volume 11, number 10, pp 794-797, 2004.
-
The heurnistic, GLRT and MAP detectors for double differential modulation are identical
. In 5th IEEE Workshop on Signal Processing Advances in Wireless Communications, 2004.
-
The waterbed effect in spectral estimation
. In IEEE Signal Processing Mag., pp 88-90, 2004.
-
Using prior knowledge in SVD-based parameter estimation for magnetic resonance spectroscopy--the ATP example
. In IEEE Transactions on Biomedical Engineering, volume 51, number 9, pp 1568-1578, 2004. (External link
).
-
Surface skeletons in grids with non-cubic voxels
. In Proceedings of International Conference on Pattern Recognition (ICPR 2004), 2004.
-
Semi-Toeplitz preconditioning for the linearized Navier-Stokes equations
. In BIT Numerical Mathematics, volume 44, pp 307-341, 2004. (DOI
).
-
Boundary Summation Equations
. Technical report / Department of Information Technology, Uppsala University nr 2004-042, 2004. (fulltext
).
-
On Coordinate Transformations for Summation-by-Parts Operators
. In Journal of Scientific Computing, volume 20, pp 29-42, 2004. (DOI
).
-
On the Order of Accuracy for Difference Approximations of Initial-Boundary Value Problems
. Technical report / Department of Information Technology, Uppsala University nr 2004-040, 2004. (fulltext
).
-
Stability of finite volume approximations for the Laplacian operator on quadrilateral and triangular grids
. In Applied Numerical Mathematics, volume 51, pp 101-125, 2004. (DOI
).
-
Stable High-Order Finite Difference Methods for Aerodynamics
Stabila högordnings finita differensmetoder för aerodynamik
. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1026, Acta Universitatis Upsaliensis, Uppsala, 2004. (fulltext
).
-
Identification of dynamic errors-in-variables systems with periodic data
. In Reglermöte 2004, National Conference on Control, 2004.
-
Identification of dynamic errors-in-variables systems with periodic data
. Technical report / Department of Information Technology, Uppsala University nr 2004-037, 2004. (fulltext
).
-
Maximum likelihood modeling of orbits of nonlinear ODEs
. Technical report / Department of Information Technology, Uppsala University nr 2004-001, Uppsala universitet, 2004. (Report in fulltext
, fulltext
).
-
Spezifikation von Stellwerkslogik mit formalen Methoden
. In Signal + Draht, number 1+2, 2004.
-
LUNAR - A Lightweight Underlay Network Ad-hoc Routing Protocol and Implementation
. In Next Generation Teletraffic and Wired/Wireless Advanced Networking (NEW2AN'04), p 300, 2004.
-
LUNAR - A Lightweight Underlay Network Ad-hoc Routing Protocol and Implementation
. In Proceedings of the International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networking (NEW2AN), 2004.
-
Lightweight Underlay Network Adhoc Routing Protocol and Implementation
. In Next Generation Teletraffic and Wired/Wireless Advanced Networking (NEW2AN'04), 2004.
-
A Content Adaptation Network using SelNet
. In Second Swedish National Computer Networking Workshop (SNCNW 2004), 2004.
-
Fast surface rendering for interactive medical image segmentation with haptic feedback
. In Proceedings of SIGRAD 2004: Special theme - Environmental visualization, 2004. (External link
).
-
Haptic guided seeding of MRA images for semi-automatic segmentation
. In Proceedings of IEEE International Symposium on Biomedical Imaging, volume 1, pp 288-291, 2004.
-
Haptic guided seeding of MRA images for semi-automatic segmentation
. In Proceedings of IEEE international symposium on biomedical imaging: From nano to macro, pp 288-291, 2004. (External link
).
-
The most nonelementary theory
. In Information and Computation, volume 190, number 2, pp 196-219, 2004.
-
Bundling: Reducing the Overhead of Multiprocessor Prefetchers
. In 18th International Parallel and Distributed Processing Symposium: (IPDPS 2004), 2004.
-
Bundling: Reducing the Overhead of Multiprocessor Prefetchers
. In Proceedings of the International Parallel and Distributed Processing Symposium, 2004.
-
Cache memory behavior of advanced PDE solvers
. In Parallel Computing: Software Technology, Algorithms, Architectures and Applications, volume 13 of Advances in Parallel Computing, pp 475-482, Elsevier, Amsterdam, The Netherlands, 2004.
-
Maximum-likelihood double differential detection clarified
. In IEEE Trans Info Theory, volume 50, pp 572-576, 2004.
-
Polarimetric SAR target feature extraction and image formation via semi-parametric methods
. In Digital Signal Procesing, volume 14, pp 268-293, 2004.
-
Wideband relax and wideband clean for aeroacoustic imaging
. In J Acoust. Soc. of America, volume 115, number 757-767, 2004.
-
Constant-beamwidth and constant-powerwidth wideband robust capon beamformers for acoustic imaging
. In J Accoust. Soc. of America, volume 116, pp 1621-1631, 2004.
-
On Modelling Nonlinear Variation in Discrete Appearances of Objects
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 54, Acta Universitatis Upsaliensis, Uppsala, 2004. (fulltext
).
-
GPU-assisted Surface Reconstruction and Motion Analysis from Range Scanner Data
. In Sigrad Conference 2004, pp 52-52, 2004.
-
The Virtual Forest
. In Sigrad Conference 2004, p 61, 2004.
-
Automatized Verification of Ad Hoc Routing Protocols
. In Formal Techniques for Networked and Distributed Systems – FORTE 2004, volume 3235 of Lecture Notes in Computer Science, pp 343-358, Springer-Verlag, Berlin, 2004. (DOI
).
-
Recursive prediction error identification of nonlinear state space models
. Technical report / Department of Information Technology, Uppsala University nr 2004-004, Uppsala University, Uppsala, 2004. (External link
, fulltext
).
-
Future train traffic control, control by re-planning
. 2004.
-
Combining intensity, edge, and shape information for 2D and 3D segmentation of cell nuclei in tissue sections
. In Journal of Microscopy, volume 215, number 1, pp 67-76, 2004. (DOI
).
-
Time-lapse microscopy and image analysis for tracking stem cell migration
. In Proceedings of the Swedish Symposium on Image Analysis SSBA 2004, pp 118-121, 2004.
-
Evaluation, Implementation and Performance of Write Permission Caching in the DSZOOM System
. Technical reports from the Department of Information Technology nr 2004-005, 2004. (External link
).
-
Exploiting Spatial Store Locality through Permission Caching in Software DSMs
. In Proceedings of the 10th International Euro-Par Conference: Parallel Processing, p 551, 2004. (External link
).
-
Objective assessment in cervical dystonia
. In Proceedings from ESMAC 13th Annual Meeting of European Society of Movement Analysis of Adult and Children, 2004.
-
Set Variables and Local Search
. Technical reports from the Department of Information Technology nr 2004-015, 2004. (External link
).
-
Set variables and local search (Abstract)
. In 10th International Conference on Principles and Practice of Constraint Programming: CP 2004, p 788, 2004.
-
On System Identification and Acoustic Echo Cancellation
Systemidentifiering och Akustisk Ekoutsläckning
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 53, Acta Universitatis Upsaliensis, Uppsala, 2004.
-
On applications of the generalized Fourier transform in numerical linear algebra
. Technical report / Department of Information Technology, Uppsala University nr 2004-029, 2004. (fulltext
).
-
Improvement of a Color Correction Algorithm for Underwater Images Through Compensating for Digital Camera Behaviour
. In Proceedings of the Swedish Symposium on Image Analysis, pp 142-145, 2004.
-
The Obvious & The Essential: Interpreting Software Development & Organizational Change
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 57, Acta Universitatis Upsaliensis, Uppsala, 2004. (fulltext
).