Publications 2005
-
Bias analysis in LS estimation of periodic signals using nonlinear ODE's
. In Proc IFAC 16th World Congress, 2005.
-
Least squares periodic signal modeling using orbits of nonlinear ODE's and fully automated spectral analysis
. In Automatica, volume 41, number 5, pp 857-862, 2005.
-
Nonlinear Approaches to Periodic Signal Modeling
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 59, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
).
-
Decidability and Complexity Results for Timed Automata via Channel Machines
. In LNCS, volume 3580, 2005.
-
Simulating perfect channels with probabilistic lossy channels
. In Information and Computation, volume 197, number 1-2, pp 22-40, 2005.
-
Direct and Inverse Methods for Waveguides and Scattering Problems in the Time Domain
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 102, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
).
-
Modeling of inhomogeneous waveguides using hybrid methods
. 2005.
-
Waveguide Truncation Using UPML in the Finite-Element Time-Domain Method
. Technical report / Department of Information Technology, Uppsala University nr 2005-026, 2005. (fulltext
).
-
Numerical Methods for Aerodynamic Shape Optimization
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 135, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
).
-
An Auction Mechanism for Polynomial-time Execution with Combinatorial Constraints
. In Proc. 7th International Conference on E-Commerce Technology, pp 17-24, IEEE, Piscataway, NJ, 2005. (DOI
).
-
Balanced Binary Search Trees
. In Handbook of Data Structures and Applications, p 1392, CRC Press, 2005.
-
Searching and Priority Queues in o(log n) Time
. In Handbook of Data Structures and Applications, p 1392, CRC Press, 2005.
-
Computing and analysing convex deficiencies to characterise 3D complex objects
. In Image and Vision Computing: Discrete Geometry for Computer Imagery, volume 23, number 2, pp 203-211, 2005. (External link
).
-
Accurate and rapid estimation of adsorption isotherms in liquid chromatography using the inverse method on plateaus
. In Journal of Chromatography A, volume 1099, pp 167-174, 2005. (DOI
).
-
Individual pore segmentation in 3D volumes of fibrous materials
. In SSBA Symposium on Image Analysis 2005, 2005.
-
Decidability and Complexity Results for Timed Automata via Channel Machines
. In Proc. ICALP'05, 32nd Int. Colloquium on Automata, Languages and Programming, 2005.
-
From Monotonic Transition Systems to Monotonic Games
. In Spring School on Infinite Games and Their Applications, 2005.
-
Simulating Perfect Channels with Probabilistic Lossy Channels
. In The Journal of Information and Computation, volume 197, number 1-2, pp 22-40, 2005.
-
Simulation-Based Iteration of Tree Transducers
. In Proc. TACAS'05, 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2005.
-
Verification of Parameterized Timed Systems
. In FORMATS'05, International Conference on Formal ModUppsala, Sweden, 2005 modelling and Analysis of Timed Systems, 2005.
-
Verification of Probabilistic Systems with Faulty Communication
. In The Journal of Information and Computation, 2005.
-
Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property
. In http://doi.ieeecomputersociety.org/10.1109/LICS.2005.54, 2005. (External link
).
-
A Fully Abstract Encoding of the pi-Calculus with Data Terms
. In Proceedings of ICALP 2005, volume 3580 of Lecture notes in computer science, pp 1202-1213, Springer, Berlin, 2005. (DOI
, External link
).
-
USE AND USEFULNESS OF HCI METHODS: RESULTS FROM AN EXPLORATORY STUDY AMONG NORDIC HCI PRACTITIONERS
. In People and Computers XIX: The Bigger Picture, 2005. (External link
).
-
Connected Minimal Acceleration Trigonometric Curves
. In SIGRAD 2005 The Annual SIGRAD Conference Special Theme – Mobile Graphics November 23-24, 2005 Lund, Sweden, 2005. (External link
).
-
Minimal Acceleration Hermite Curves
. In Game Programming Gems 5, pp 225-231, Charles River Media, Hingham, Massachusetts, 2005.
-
The tree constraint
. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Second International Conference, CPAIOR 2005, Proceedings, pp 64-78, 2005. (External link
).
-
The Re-Design of a PDA-based System for Supporting People with Parkinson’s Disease
. In People and Computers XVIII — Design for Life: Proceedings of HCI 2004, pp 181-196, Springer London, 2005. (DOI
).
-
Computerized Cell Image Processing in Healthcare
. In Proceedings of Healthcomm2005, pp 11-17, 2005. (External link
).
-
Efficient and Flexible Characterization of Data Locality through Native Execution Sampling
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 101, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
).
-
Fast Data-Locality Profiling of Native Execution
. In ACM SIGMETRICS Performance Evaluation Review, volume 33, number 1, pp 169-180, 2005. (DOI
).
-
Insights to Angluin's Learning
. In Electr. Notes on Theoret. Comput. Sci., volume 118, pp 3-18, 2005.
-
Insights to Angluin's Learning
. In Electronic Notes in Theoretical Computer Science, volume 118, pp 3-18, 2005. (DOI
).
-
Model Checking
. In Model-Based Testing of Reactive Systems: Advanced Lectures, volume 3472 of Lecture Notes in Computer Sciences: Programming and Software Engineering, pp 557-603, Springer, Berlin / Heidelberg, 2005.
-
Model-based Testing of Reactive Systems: 19 Model Checking
. In , pp 557-603, Springer Berlin / Heidelberg, 2005. (DOI
, External link
).
-
On the Correspondence Between Conformance Testing and Regular Inference
. In FASE 2005, pp 175-189, 2005.
-
Learning computer systems in a distributed project course: The what, why, how and where
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 62, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
).
-
Study of the Effects of Non-Traditional Examinatin Methods in Engineering Education Programmes
. Myndigheten för nätverk och samarbete inom högre utbildning, Stockholm, Sweden, 2005.
-
What do our students strive for?: Insights from a distributed, project-based course in computer systems
. In Proc. 5th Finnish/Baltic Sea Conference on Computer Science Education: Koli Calling, pp 65-72, Turku Centre for Computer Science, Finland, 2005. (Proceedings
).
-
Combinatorial Optimization for Infinite Games on Graphs
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 3, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
, cover
).
-
Robust optimal multilevel preconditioners for non-conforming finite element systems
. In Numerical Linear Algebra with Applications, volume 12, pp 495-514, 2005. (DOI
).
-
Specifying and Generating Test Cases Using Observer Automata
. In Proceeding of the 4th International Workshop on Formal Approaches to Testing of Software (FATES'04), LNCS 3395, Springer, pp 125-139, 2005.
-
A new evolutionary algorithm for image segmentation
. In Applications of evolutionary computing, volume 3449 of Lecture notes in computer science, pp 264-273, 2005. (DOI
).
-
A Fine Balance: Addressing Usability and Users’ Needs in the Development of IT Systems for the Workplace
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 95, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
, cover
).
-
An Approximation of the Maximal Inscribed Convex Set of a Digital Obj
. In In F. Roli and S. Vitulano, editors, Proceedings of 13th International Conference on Image Analysis and Processing (ICIAP'05), pp 438-445, 2005.
-
Centre for Image Analysis Annual Report 2004
. Centrum för bildanalys, 2005. (External link
).
-
Digital distance transforms in 2D, 3D, and 4D
. In Handbook of Pattern Recognition and Computer Vision, 3rd Edition, pp 157-176, World Scientific, Singapore, 2005.
-
Discrete Skeletons from Distance Transforms in 2D and 3D
. CBA Internal Report nr 34, 2005.
-
Kedjekod - ett sätt att beskriva former i digitala bilder
. In Problemlösning är # 1, pp 38-42, Liber, Stockholm, 2005.
-
Design in Telemedicine: Development and Implementation of Usable Computer Systems
. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 5, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
, cover
).
-
Preconditioners Based on Fundamental Solutions
. Technical report / Department of Information Technology, Uppsala University nr 2005-001, 2005. (fulltext
).
-
Preconditioners based on fundamental solutions
. In BIT Numerical Mathematics, volume 45, pp 481-494, 2005. (DOI
).
-
Power saving in wireless ad hoc networks without synchronization
. In 5th Scandinavian Workshop on Wireless Ad Hoc Networks (ADHOC'05), 2005.
-
Model-Based Testing of Reactive Systems: Advanced Lectures
. Volume 3472 of Lecture Notes in Computer Science, Springer Verlag, 2005.
-
Model-Based Testing of Reactive Systems, Advanced Lectures: outcome of a research seminar
. Volume 3472 of Lecture Notes in Computer Science, Springer Verlag, 2005.
-
Nonlinear Identification of a Solar Heating System
. Technical reports nr 2005-008, Dept. of Information Technology, 2005. (External link
).
-
Nonlinear Identification of an Anaerobic Digestion Process
. Technical Reports nr 2005-007, Dept. of Information Technology, 2005. (External link
).
-
Nonlinear identification of a solar heating system
. In Proceedings of the 2005 IEEE International Conference on Control Application, pp 1491-1497, 2005.
-
Nonlinear identification of an anaerobic digestion process
. In Proceedings of the 2005 IEEE International Conference on Control Applications, pp 137-142, 2005.
-
High order accurate solution of the incompressible Navier-Stokes equations
. In Journal of Computational Physics, volume 203, pp 49-71, 2005. (DOI
).
-
Splitting methods for high order solution of the incompressible Navier-Stokes equations in 3D
. In International Journal for Numerical Methods in Fluids, volume 47, pp 1157-1163, 2005. (DOI
).
-
A consistent stabilized formulation for a nonsymmetric saddle-point problem
. Technical report / Department of Information Technology, Uppsala University nr 2005-030, 2005. (fulltext
).
-
Algebraic preconditioning versus direct solvers for dense linear systems as arising in crack propagation problems
. In Communications in Numerical Methods in Engineering, volume 21, pp 73-81, 2005. (DOI
).
-
Numerical simulations of glacial rebound using preconditioned iterative solution methods
. In Applications of Mathematics, volume 50, pp 183-201, 2005. (DOI
).
-
Robust preconditioned iterative solution methods for large-scale nonsymmetric problems
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-006, Uppsala University, 2005. (fulltext
).
-
SaveCCM: An Analysable Component Model for Real-Time Systems
. In Proceedings of International Workshop on Formal Aspects of Component Software, 2005.
-
A Flexible Model for Tree-Sructured Multi-Commodity Markets
. In CEC 2005: Seventh IEEE International Conference on E-Commerce Technology, pp 50-58, 2005.
-
A Flexible Model for Tree-Structured Multi-Commodity Markets
. Technical report / Department of Information Technology, Uppsala University nr 2005-011, Department of Information Technology, Uppsala University, 2005. (fulltext
).
-
Better Grid Integration of Distributed Generation Using Supply - Demand Matching
. 2005. (External link
).
-
IP Quality of Service Support for Soft Real-Time Applications
. In Fourth International Workshop on Real-time Networks, 2005. (External link
).
-
Shape signaturs of fuzzy star-shaped sets based on distance from the centroid
. In Pattern Recognition Letters, volume 26, number 6, pp 735-746, Elsevier, 2005. (DOI
).
-
Automatic Tracking of Neural Stem Cells
. In WDIC 2005: Workshop Proceedings, pp 61-66, 2005.
-
Managing cross-cultural differences in an open ended group project course
. In IEEE Frontiers in education conference, pp T4D22-23, 2005.
-
Widening the horizon using the OEIGP
. In HCI International, Las Vegas, 2005.
-
Janus: an architecture for flexible access to sensor networks
. In DIN '05: Proceedings of the 1st ACM workshop on Dynamic interconnection of networks, pp 48-52, 2005. (DOI
).
-
Janus: an architecture for flexible access to sensor networks
. In Proceedings of the 1st ACM workshop on Dynamic interconnection of networks, pp 48 - 52, 2005.
-
Stationary behavior of an anti-windup scheme for recursive parameter estimation under lack of excitation
. In in IFAC World Congress, 2005.
-
Comparing student software designs using semantic categorization
. In Proc. 5th Finnish/Baltic Sea Conference on Computer Science Education: Koli Calling, pp 57-64, Turku Centre for Computer Science, Finland, 2005.
-
Novice Java Programmers' Conceptions of "Object" and "Class", and Variation Theory
. In SIGCSE Bulletin inroads, volume 37, number 3, pp 89-93, 2005. (DOI
).
-
What Does It Take to Learn 'Programming Thinking'?
. In Proc. 1st International Computing Education Research Workshop, pp 135-142, ACM Press, New York, 2005. (DOI
).
-
On the modeling of small geometric features in computational electromagnetics
. In Multiscale Methods in Science and Engineering, volume 44 of Lecture Notes in Computational Science and Engineering, pp 133-148, Springer-Verlag, Berlin, 2005. (DOI
).
-
Identification of linear systems with errors in variables using separable nonlinear least squares
. In Proc of 16:th IFAC World Congress, 2005.
-
Modeling and Control of Bilinear Systems: Application to the Activated Sludge Process
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 65, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
).
-
Suboptimal control for the bilinear quadratic regulator problem: Application to the activated sludge process
. In IEEE Transactions on Control Systems Technology, volume 13, number 1, pp 162-168, 2005.
-
Developing Embedded Networked Products using the Simics Full-System Simulator
. In Proc. 16th IEEE International Symposium on Personal Indoor and Mobile Radio Communications: (PIMRC 2005), Berlin, Germany September 2005, 2005.
-
Guidelines for a curriculum on embedded software and systems: The ARTIST Education Group
. In ACM Transactions on Embedded Computing Systems (TECS), volume 4, number 3, pp 587-611, 2005.
-
Computing the moments of high dimensional solutions of the master equation
. Technical report / Department of Information Technology, Uppsala University nr 2005-020, 2005. (fulltext
).
-
Multiscale Methods in Science and Engineering
. Volume 44 of Lecture Notes in Computational Science and Engineering, Springer-Verlag, Berlin, 2005.
-
Verification and generation of geographical data using domain theory
. In TRain Workshop at the 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM’05), 2005, 2005. (fulltext:postprint
).
-
Autonomy method: Acquiring skills for ethichal analysis of computerisation in car driving
. In ETHICOMP 2005: Looking back to the future, pp CD-ROM, 2005.
-
Clustered Worst-Case Execution-Time Calculation
. In IEEE Transactions on Computers, volume 54, number 9, 2005.
-
Gas jet impinging on liquid surface: Cavity shape modelling and video based estimation
. In Proceedings of the 16th IFAC World Congress, 2005.
-
Gas jet impinging on liquid surface: Cavity shape modelling and video-based estimation
. In in IFAC World Congress, 2005.
-
Parameter and state estimation using audio and video signals
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-009, Uppsala University, 2005. (fulltext
).
-
Stationary behaviour of an anti-windup scheme for recursive parameter estimation under lack of excitation
. In Proceedings of the 16th IFAC World Congress, 2005.
-
Windup properties of recursive parameter estimation algorithms in acoustic echo cancellation
. In , volume 38:1 of IFAC-PapersOnLine, pp 113-118, 2005. (DOI
).
-
Enabling limited traffic scheduling in asynchronous ad hoc networks
. In 3rd Swedish National Computer Networking Workshop (SNCNW 2005), 2005.
-
Modelling Fusion Calculus using HD-Automata
. Technical report / Department of Information Technology, Uppsala University nr 2005-038, 2005.
-
Modelling and Minimising the Fusion Calculus using HD-automata
. In Proceedings of CALCO 2005, 2005. (DOI
, External link
).
-
Amos II Release 8 User's Manual
. 2005. (External link
).
-
Framework for Querying Distributed Objects Managed by a Grid Infrastructure
. In Data Management in Grids: First VLDB Workshop, DMG 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers, 2005. (DOI
, External link
).
-
An augmented-reality approach to co-located visual exploration of indoor climate data in real rooms.
. In Proceedings of the 10th International Conference on Indoor Air Quality and Climate: Indoor Air, 2005.
-
Simple 3D glyphs for Spatial Multivariate Data
. In IEEE Symposium on Information Visualization: InfoVis 05, p 244, 2005.
-
Adsorption Isotherm Parameter Estimation in Nonlinear Liquid Chromatography
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 96, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
).
-
Centerline-based colon segmentation for CT colonography
. In Medical physics (Lancaster), volume 32, pp 2665-2672, 2005. (DOI
).
-
Clustering of Objects in 3D Electron Tomography Reconstructions of Protein Solutions Based on Shape Measurements
. In Pattern Recognition and Image Analysis: Third International Conference on Advances in Pattern Recognition, ICAPR 2005, Bath, UK, August 2005, Proceedings, Part II, p 809, 2005. (DOI
, External link
).
-
An Indirection Architecture for the Internet
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 128, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
, cover
).
-
Inference of Timed Transition Systems
. In Proceedings of the 6th International Workshop on Verification of Infinite-State Systems (INFINITY), 2005.
-
User-Centered Design and the Offshoring Model
. In CSI Communication, volume 29, number 1, pp 14-18, 2005.
-
Microwave imaging via adaptive beamforming methods for breast cancer detection
. In Progress in Electromagnetics Research Symposium, 2005.
-
Time compact high order difference methods for wave propagation, 2D
. In Journal of Scientific Computing, volume 25, pp 195-211, 2005. (DOI
).
-
Bit-level Binaries and Generalized Comprehensions in Erlang
. In Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, pp 1-8, 2005.
-
Multi-node computer system employing multiple memory response states
. 2005.
-
Multi-node computer system where active devices selectively initiate certain transactions using remote-type address packets
. 2005.
-
Multi-node system in which home memory subsystem stores global to local address translation information for replicating nodes
. 2005.
-
Parallella program ger paradigmskifte
. In Elektroniktidningen, number 13, 2005.
-
Applications of Coupling Analysis on Bioreactor Models
. In Proceedings of 16th IFAC World Congress, 2005.
-
Using an Extended Kalman Filter for Rigid Body Pose Estimation
. In Journal of Biomechanical Engineering, volume 127, number 3, pp 475-483, 2005.
-
Camera-spectrometer for instantaneous multi- and hyperspectral imaging
. In 5th European Conference on Precision Agriculture, p 1008, 2005.
-
Camera-spectrometer for multi- and hyperspectral imaging
. In Swedish Society for Automated Image Analysis Symposium - SSBA 2005, pp 45-48, 2005.
-
Hyperspectral Crop Reflectance Data for characterising and estimating Fungal Disease Severity in Wheat
. In Biosystems Engineering, volume 91, number 1, pp 9-20, 2005.
-
Hyperspectral Crop Reflectance Data for characterising and estimating Fungal Disease Severity in Wheat
. In Biosystems Engineering, volume 91, number 1, pp 9-20, 2005. (DOI
, External link
).
-
Hyperspectral Image Generation, Processing and Analysis
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 82, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
, summary
, cover
).
-
Shading by Quaternion Interpolation
. In WSCG2005, pp 53-56, 2005. (External link
).
-
Exploring optimal solution to hardware/software partitioning for synchronous model
. In Formal Aspects of Computing, volume 17, number 4, pp 587-611, 2005.
-
Laplace's equation and the Dirichlet-Neumann map: a new mode for Mikhlin's method
. In Journal of Computational Physics, volume 202, pp 391-410, 2005. (DOI
).
-
Towards markerless analysis of human motion
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-011, Uppsala University, 2005. (fulltext
).
-
UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus.
. In PDMD 2004: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, pp 91-105, 2005.
-
Easy-to-use object selection by color space projections and watershed segmentation
. In Image Analysis and Processing: ICIAP 2005 13th International Conference, Cagliari, Italy, September 6-8, 2005. Proceedings, volume 3617 of Lecture notes in computer science, pp 269-276, 2005. (DOI
).
-
Accuracy analysis of bias-eliminating least squares estimates for identification of errors in variables systems
. Technical Report nr 2005-021, Department of Information Technology, Uppsala, 2005. (External link
).
-
On two methods for identifying dynamic errors-in-variables systems
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-007, Uppsala University, 2005. (fulltext
).
-
Field performance of Pinus contorta trees propagated vegetatively via adventitious buds
. In Scandinavian Journal of Forest Research, volume 20, number 4, pp 318-321, 2005. (DOI
, External link
).
-
Customizable Parallel Execution of Scientific Stream Queries
. Technical report / Department of Information Technology, Uppsala University nr 2005-012, Department of Information Technology, Uppsala University, 2005. (fulltext
).
-
Customizable parallel execution of scientific stream queries
. In 31st International Conference on Very Large Data Bases, 2005. (External link
).
-
Scalable Scientific Stream Query Processing
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 66, Acta Universitatis Upsaliensis, Uppsala, 2005.
-
Actin or reacting?: A cognitive work analysis approach to the train driver task
. In Rail Human Factors: Supporting the Integrated Railway, pp 40-49, Aldershot, UK: Ashgate Publishing Ltd., 2005.
-
Using parallel computing and grid systems for genetic mapping of multifactorial traits
. Technical report / Department of Information Technology, Uppsala University nr 2005-036, 2005. (fulltext
).
-
Efficient IT support in care for the elderly: Experiences from the VIHO project
. Technical Report series from the Department of Information Technology nr 2005-032, Uppsala universitet, Uppsala, 2005. (External link
).
-
Usability in IT Systems for Mobile Work
. In Mobile Virtual Work – A new Paradigm?, pp 177-202, 2005.
-
Usability in Mobile IT systems
. Technical Report series from the Department of Information Technology nr 2005-029, Uppsala universitet, Uppsala, 2005. (External link
).
-
Usable IT systems for mobile work
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-008, Uppsala University, 2005. (fulltext
).
-
Finite State Machines
. In Model-Based Testing of Reactive Systems: Advanced Lectures, pp 611-614, Springer, 2005.
-
Computer assisted second language learning
. In Open and Distance Education and Education Technology, volume 1, number 2, pp 74-97, 2005.
-
Exploring Processor Design Options for Java Based Middleware
. In Proceedings of the 2005 International Conference on Parallel Processing (ICPP-05), 2005.
-
Memory System Design for Chip-Multiprocessors
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 134, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
, cover
).
-
Approaches to P2P Applications Development
. In Seventh International Workshop on Protocols for High-Speed Networks (PfHSN 2002), 2005. (DOI
, External link
).
-
Computers for ethical competence
. In ETHICOMP 2005: Looking back to the future, pp CD-ROM, 2005.
-
Kan vi lära oss hantera moraliska problem?
. In Etik i medborgarnas tjänst: En antologi om förvaltningsetik, pp 43-54, Statens kvalitets- och kompetensråd, Stockholm, 2005.
-
Reachability Relations and Sampled Semantics of Timed Systems
. FIMU-RS nr 2005-09, Faculty of Informatics, Masaryk University Brno, Czechia, 2005. (External link
).
-
Improvement of fault detection method for nonlinear black-box systems based on multi-form quasi-ARMAX modeling
. In Proc. 16th IFAC World Congress, 2005.
-
Time reversal and zero forcing for WLAN applications
. In The Wireless Personal Multimedia Communications Conf. WPMC 05, Aalborg, Denmark, 2005.
-
Time reversal and zero-forcing equalization for fixed wireless access channels
. In 39th ASILOMAR Conference on Signals, Systems and Computers, Pacific Grove, CA, 2005.
-
The Complexity of Model Checking Higher Order Fixpoint Logic
. In Mathematical Foundations of Computer Science 2005: 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings, 2005. (DOI
).
-
Measuring crop status using multivariate analysis of hyperspectral field reflectance with
. In 5th European Conference on Precision Agriculture: Precision Agriculture ‘05, p 1008, 2005.
-
Measuring crop status using multivariate analysis of hyperspectral field reflectance with application on disease severity and amount of plant density
. In Proceedings of 5th European Conference on Precision Agriculture, volume Precision Agriculture ’05, pp 217-225, 2005.
-
The Cramer-Rao bound for estimation of continuous-time ARX parameters from irregularly sampled data
. In Proc IFAC 16th World Congress, 2005.
-
Theoretical and computational aspects of multivariate interpolation with increasingly flat radial basis functions
. In Computers and Mathematics with Applications, volume 49, pp 103-130, 2005. (DOI
).
-
Adaptive equalization for frequency-selective channels of unknown length
. In IEEE Transactions on Vehicular Technology, volume 54, number 2, pp 568-579, 2005.
-
Functional programming languages for verification tools: a comparison of Standard ML and Haskell
. In International Journal on Software Tools for Technology Transfer, volume 7, number 2, pp 184-194, 2005.
-
Doubly constrained robust Capon beamformer
. U.S. Patent, 2005.
-
Surface Area Estimation of Digitized 3D Objects using Weighted Local Configurations
. In Image and Vision Computing, volume 23, number 2, pp 111-122, 2005. (DOI
, External link
).
-
Surface Volume Estimation of Digitized Hyperplanes Using Weighted Local Configurations
. In Proceedings of Discrete Geometry for Computer Imagery, pp 252-262, 2005. (DOI
, External link
).
-
Efficient algorithms for multi-dimensional global optimization in genetic mapping of complex traits
. Technical report / Department of Information Technology, Uppsala University nr 2005-035, 2005. (fulltext
).
-
Efficient evaluation of the residual sum of squares for quantitative trait locus models in the case of complete marker genotype information
. Technical report / Department of Information Technology, Uppsala University nr 2005-033, 2005. (fulltext
).
-
Numerical Algorithms for Mapping of Multiple Quantitative Trait Loci in Experimental Populations
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 133, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
).
-
High performance generative programming with a Fortran 95 application
. 5th Workshop on Parallel/High-Performance Object-Oriented Scientific Computing, Glasgow, Scotland, 2005.
-
Delayed effects on plasma concentration of testosterone and testicular morphology by intramuscular low-dose di(2-ethylhexyl)phthalate or oestradiol benzoate in the prepubertal boar
. In Theriogenology, volume 64, number 5, pp 1170-1184, 2005. (DOI
).
-
Efficiently Compiling a Functional Language on AMD64: The HiPE Experience
. In Proceedings of the Seventh ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, pp 176-186, 2005.
-
Experimental Evaluation of Three Ad Hoc Routing Protocols
. 2005.
-
Implementation and Experimental Evaluation of Wireless Ad hoc Routing Protocols
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 17, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
).
-
affinity-on-next-touch: Increasing the Performance of an Industrial PDE Solver on a cc-NUMA System
. In Proc. 19th ACM International Conference on Supercomputing, pp 387-392, ACM Press, New York, 2005. (DOI
).
-
Dimensional reduction of the Fokker-Planck equation for stochastic chemical reactions
. Technical report / Department of Information Technology, Uppsala University nr 2005-023, 2005. (fulltext
).
-
Using boundary conditions for estimation of complex modulus from flexural wave experiments
. In IEEE Transactions on Control Systems Technology, volume 13, number 6, pp 1093-1099, 2005.
-
Model Checking Parameterized Timed Systems
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 61, Institutionen för informationsteknologi, Uppsala, 2005. (fulltext
).
-
Wireless Communication in Orienteering
. 2005. (External link
).
-
People and Computers XIX: The Bigger Picture
. Springer, 2005. (External link
).
-
Dynamic breast MRI visualised through colour mapping
. In Proceedings SSBA 2005, pp 9-12, 2005.
-
Visualisation of the pattern of contrast enhancement in dynamic breast MRI
. In WDIC 2005: Workshop Proceedings, 2005.
-
A Unifying Model of Variables and Names
. In Proceedings of FoSSaCS 2005, 2005. (DOI
).
-
HD-Automata for Open Bisimulation
. Technical report / Department of Information Technology, Uppsala University nr 2005-037, 2005. (fulltext
).
-
A new, fast and semi-automated size determination method (SASDM) for studying multicellular tumor spheroids
. In Cancer Cell International, number 5, p 32, 2005. (DOI
).
-
Load balancing by changing the graph connectivity on heterogeneous clusters
. In Advances in Grid Computing – EGC 2005, volume 3470 of Lecture Notes in Computer Science, pp 1040-1047, Springer-Verlag, Berlin, 2005. (DOI
).
-
Developing and testing distributed CAN-based real-time control-systems using a single PC
. In Proc. 10th International CAN Conference, CAN in Automation: Roma, Italy, March 2005, 2005.
-
Strictly stable high order difference approximations for computational aeroacoustics
. In Comptes rendus. Mecanique, volume 333, pp 699-705, 2005. (DOI
).
-
Towards High Order Numerical Simulation of Aeolian Tones
. In Proceedings in Applied Mathematics and Mechanics: PAMM, volume 5, number 1, pp 473-474, 2005. (DOI
).
-
Modeling and control of a viscoelastic piezolaminated beam
. In Proc. IFAC 16th World Congress, 2005.
-
Modeling and control of vibration in mechanical structures
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-005, Uppsala University, 2005. (fulltext
).
-
Regular Model Checking
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 60, Acta Universitatis Upsaliensis, Uppsala, 2005.
-
Multipole solution of electromagnetic scattering problems with many, parameter dependent incident waves
. In Multiscale Methods in Science and Engineering, volume 44 of Lecture Notes in Computational Science and Engineering, pp 195-203, Springer-Verlag, Berlin, 2005. (DOI
).
-
Rapid solution of parameter-dependent linear systems for electromagnetic problems in the frequency domain
. In IEEE Transactions on Antennas and Propagation, volume 53, pp 777-784, 2005. (DOI
).
-
A Testbed and Methodology for Experimental Evaluation of Mobile Ad hoc Networks
. In Proceedings of the First International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (TRIDENTCOM), 2005.
-
A Testbed and Methodology for Experimental Evaluation of Wireless Mobile Ad hoc Networks
. In Proceedings of The First International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (TRIDENTCOM), IEEE Computer Society, IEEE Computer Society, 2005.
-
Interaction between TCP and UDP flows in Wireless Multi-hop Ad hoc Networks
. In Proceedings of the 5th Scandinavian Workshop on Wireless Ad-hoc Networks (Adhoc'05), 2005. (External link
).
-
Mythbusters: Whatever You Thought About MANET Routing, Think Again...
. Uppsala University, 2005. (External link
).
-
A stable and efficient hybrid method for aeroacoustic sound generation and propagation
. In Comptes rendus. Mecanique, volume 333, pp 713-718, 2005. (DOI
).
-
Boundary Conditions for a Divergence Free Velocity-Pressure Formulation of the Incompressible Navier-Stokes Equations
. Technical report / Department of Information Technology, Uppsala University nr 2005-031, 2005. (fulltext
).
-
Well-posed boundary conditions for the Navier-Stokes equations
. In SIAM Journal on Numerical Analysis, volume 43, pp 1231-1255, 2005. (DOI
).
-
Ubiquitous Service Access through Adapted User Interfaces on Multiple Devices
. In Journal of Personal and Ubiquitous Computing, volume 9, number 3, pp 123-133, 2005.
-
Discrete Applied Mathematics, 147(2-3):147-361: Special issue on Discrete Geometry for Computer Imagery
. 2005.
-
Image and Vision Computing 23(2):87-269: Special issue on Discrete Geometry for Computer Imagery
. 2005.
-
Skeletonization in 3D Discrete Binary Images
. In Handbook of Pattern Recognition and Computer Vision, 3rd edition, pp 137-156, World Scientific, Singapore, 2005.
-
UPPMAX Progress Report
. Uppsala University, 2005.
-
Region-based supine-prone correspondence for the reduction of false-positive CAD polyp candidates in CT colonography
. In Academic Radiology, volume 12, pp 695-707, 2005. (DOI
).
-
Virtual endoscopic visualization of the colon by shape-scale signatures
. In IEEE transactions on information technology in biomedicine, volume 9, pp 120-131, 2005. (DOI
).
-
Active Vibration Control of Multibody Systems: Application to Automotive Design
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 59, Institutionen för informationsteknologi, Uppsala, 2005. (fulltext
).
-
Disturbance Observer-Based Automotive Engine Vibration Isolation Dealing With Non-linear Dynamics and Transient Excitation
. In Technical Report, Department of Information Technology, Uppsala University, Number 2005-009, 2005.
-
Structure Flexibility Impacts on Robust Active Vibration Isolation Using Mixed Sensitivity Optimisation
. In Technical Report, Department of Information Technology, Uppsala University, Number 2005-003, January, 2005.
-
A Participatory Process Supporting Design of Future Work
. Technical Report series from the Department of Information Technology nr 2005-018, 2005. (External link
).
-
Participatory design with train drivers - a process analysis
. In Interacting with computers, volume 17, number 2, pp 147-166, 2005. (DOI
).
-
Databasteknik
. Studentlitteratur, 2005.
-
Constructing a Core Literature for Computing Education Research
. In ACM SIGCSE Bulletin, volume 37, number 4, pp 152-161, 2005. (External link
).
-
Visualizations of symbols in a horizontal multiple viewer 3D display environment
. In IEEE Proceedings of the 9th International Conference on Information Visualization, pp 357-362, 2005.
-
Visualizations of Symbols in a Horizontal Multiple Viewer 3D Display Environment
. In IV '05: Proceedings of the Ninth International Conference on Information Visualisation, pp 357-362, 2005.
-
Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala Sweden, September 2005, Proceedings
. Volume 3829 of Lecture Notes in Computer Science, Springer-Verlag, 2005.
-
Formal Modeling and Analysis of Timed Systems, Third International Conference
. Volume 3829 of Lecture Notes in Computer Science, Springer Verlag, 2005.
-
Nordic Journal of Computing: Selected Papers of the Sixteenth Nordic Workshop on Programming Theory, October 6-8, 2004
. Publishing Accociation Nordic Journal of Computing, Helsinki, 2005.
-
Nordic Journal of Computing
. Publishing Accociation Nordic Journal of Computing, Helsinki, 2005.
-
Option pricing using radial basis functions
. In Proc. ECCOMAS Thematic Conference on Meshless Methods, pp C24.1-6, Departamento de Matemática, Instituto Superior Técnico, Lisboa, Portugal, 2005.
-
Design and Demonstration of Policy-Based Management in a Multi-Hop Ad Hoc Network Testbed
. In International Journal of Ad Hoc Networks, volume 3, number 3, 2005. (External link
).
-
Digital image processing for multiplexing of single molecule detection
. In Medicinteknikdagarna: Stockholm/Södertälje September 27-28, 2005, 2005.
-
Seeded watersheds for combined segmentation and tracking
. In Image Analysis and Processing – ICIAP 2005, volume 3617/2005 of Lecture Notes in Computer Science, pp 336-343, Springer Berlin / Heidelberg, 2005. (DOI
).
-
Model-Based Testing - A Glossary
. In Model-Based Testing of Reactive Systems,: Advanced Lectures, pp 607-609, Springer, 2005.
-
Software Techniques for Distributed Shared Memory
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 67, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
).
-
LearnLib: a library for automata learning and experimentation
. In Proceedings of the 10th international workshop on Formal methods for industrial critical systems, p 10, 2005. (DOI
, External link
).
-
A Dynamic MPI-OpenMP Model for Structured Adaptive Mesh Refinement
. In Parallel Processing Letters, volume 15, pp 37-47, 2005.
-
Noise correlation in PET, CT, SPECT and PET/CT data evaluated using autocorrelation function: a phantom study on data, reconstructed using FBP and OSEM
. In BMC Medical Imaging, volume 5, number 5, 2005.
-
Noise correlation in PET, CT, SPECT and PET/CT data evaluated using autocorrelation function: a phantom study on data, reconstructed using FBP and OSEM.
. In Bio Medical Central (BMC): Medical Imaging, volume 5, number 5, 2005. (DOI
, External link
).
-
Non-isotropic noise correlation in PET data reconstructed by FBP but not by OSEM demonstrated using auto-correlation function
. In Bio Medical Central (BMC): Medical Imaging, volume 5, number 3, 2005. (DOI
).
-
Non-isotropic noise correlation in PET data reconstructed by FBP but not by OSEM demonstrated using auto-correlation function
. In BMC Medical Imaging, volume 5, number 3, 2005.
-
Novel Approaches for Application of Principal Component Analysis on Dynamic PET Images for Improvement of Image Quality and Clinical Diagnosis
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 114, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
, cover
).
-
Report on the Workshop on Wrapper Techniques for Legacy Data Systems
. In SIGMOD Record, volume 34, number 3, pp 85-86, 2005.
-
Interactions between TCP, UDP and Routing Protocols in Wireless Multi-hop Ad hoc Networks
. In Proceedings of the 1st IEEE ICPS Workshop on Multi-hop Ad hoc Networks: from theory to reality (REALMAN 2005), 2005. (External link
).
-
Gaussian maximum-likelihood channel estimation with short training sequences
. In IEEE Transactions on Wireless Communication, volume 4, pp 2945-2955, 2005.
-
On optimal sensor locations for nonparametric identification of viscoelastic materials
. Technical Report series from the Department of Information Technology nr 2005-006, 2005. (External link
).
-
Optimal sensor locations for nonparametric identification of viscoelastic materials
. In Proc. IFAC 16th World Congress, 2005.
-
Bit-level binaries and generalized comprehensions in Erlang
. In Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, 2005.
-
Efficiently Compiling a Functional Language on AMD64: The HiPE Experience
. In PPDP 2005: 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, 2005.
-
Experience from Developing the Dialyzer: A Static Analysis Tool Detecting Defects in Erlang Applications
. In Proceedings of ACM SIGPLAN Workshop on the Evaluation of Software Defect Detection Tools, 2005.
-
Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang
. ACM 2005, Tallinn, Estonia, 2005.
-
TypEr: A Type Annotator of Erlang Code
. In Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, pp 17-25, 2005.
-
An integrating linearization method for Hammerstein models
. In Automatica, volume 41, number 10, pp 1825-1828, 2005.
-
Control of Nitrogen Removal in Activated Sludge Processes
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 64, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
).
-
Cost-Efficient Operation of a Denitrifying Activated Sludge Process - An Initial Study
. Technical reports from the Department of Information Technology nr 2005-010, 2005.
-
Interaction analysis and control structure selection in a wastewater treatment plant model
. In IEEE Transactions on Control Systems Technology, volume 13, number 6, pp 955-964, 2005. (DOI
).
-
Homing and Synchronizing Sequences
. In Model-Based Testing of Reactive Systems, pp 5-33, Springer Verlag, 2005.
-
Pedagogik och jämställdhet på IT-institutionen: Miniprojekt för UPI:s pedagogiska grundkurs för universitetsläarare
. 2005. (fulltext
).
-
Frequency-Selective Analysis of Multichannel Magnetic Resonance Spectroscopy Data
. In Proceedings of the 27th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2005.
-
Spectral analysis of multichannel MRS data
. In Journal of Magnetic Resonance, volume 175, number 1, pp 79-91, 2005. (External link
).
-
Sub-Band Cramer-Rao Bounds for Frequency-Selective Spectral Analysis
. In Proceedings of the 39th Asilomar Conference on Signals, Systems, and Computers, pp 1439-1442, 2005.
-
Discrete 3D tools applied to 2D grey-level images
. In Image Analysis and Processing - ICIAP 2005: 13th International Conference, pp 229-236, 2005.
-
An introduction to human-centered software engineering: Integrating usability in the development process
. In Human-centered software engineering: Integrating usability in the software development lifecycle, pp 3-14, Springer, 2005. (External link
).
-
Human-Centered Software Engineering: Integrating Usability in the Software Development Lifecycle
. Springer, 2005. (External link
).
-
Real-time visualization of animated trees
. In Visual Comput., number 21, pp 397-405, 2005.
-
Optimal Bayesian RAKE receiver for sparse channels
. In Conference Record of the 39th Asilomar Conference on Signals, Systems, and Computers, 2005.
-
Sparse matrix storage revisited
. In Computing Frontiers: 2005, pp 230-235, ACM Press, New York, 2005. (DOI
).
-
Medial grey-level based representation for proteins in volume images
. In Pattern Recognition and Image Analysis: Second Iberian Conference (IbPRIA 2005), Proceedings, Part II, volume 3523 of Lecture notes in computer science, pp 421-428, 2005. (External link
).
-
Segmentation of individual pores in 3D paper images
. In Nordic Pulp & Paper Research Journal, volume 20, number 3, pp 316-319, 2005.
-
Shape based identification of proteins in volume images
. In Image Analysis: 14th Scandinavian Conference on Image Analysis, SCIA 2005, pp 253-262, 2005.
-
Fokker-Planck approximation of the master equation in molecular biology
. Technical report / Department of Information Technology, Uppsala University nr 2005-044, 2005. (fulltext
).
-
Numerical solution of the Fokker–Planck approximation of the chemical master equation
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-010, Uppsala University, 2005. (fulltext
).
-
A Brief Review on Benno Artman's "Euclid - The Creation of Mathematics"
. Intern rapport, CBA nr 36, Centre for Image Analysis, Uppsala, 2005.
-
Estimation of moments of digitized objects with fuzzy borders
. In Proc. of 13th International Conference on Image Analysis and Processing: Cagliari, Italy, Lecture Notes in Computer Science, pp 188-195, Springer, 2005. (DOI
).
-
Measurements of digitized objects with fuzzy borders in 2D and 3D
. In Image and Vision Computing, volume 23, number 2, pp 123-132, 2005. (DOI
).
-
Review of scientific papers on fuzzy shape analysis
. Intern rapport, CBA nr 32, Centre for Image Analysis, Uppsala, 2005.
-
BUILDING USABILITY IN INDIA: REFLECTIONS FROM THE INDO EUROPEAN SYSTEMS USABILITY PARTNERSHIP
. In People and Computers XIX: The Bigger Picture, 2005. (External link
).
-
New Algorithms for Solving Simple Stochastic Games
. In Proceedings of the Workshop on Games in Design and Verification (GDV 2004), 2005. (DOI
).
-
Skewed Caches from a Low-Power Perspective
. In Proceedings of Computing Frontiers, Ischia, Italy, May 2005, 2005.
-
A new type of parameter estimation algorithm for missing data problems
. In Statistics and Probability Letters, volume 75, pp 219-229, 2005.
-
Extended derivations of MUSIC in the presence of steering vector errors
. In IEEE Trans Signal Process, volume 53, pp 1209-1211, 2005.
-
On MIMO channel capacity: an intuitive discussion
. In IEEE Signal Processing Mag, pp 83-84, 2005.
-
On nonexistence of the maximum likelihood estimate in blind multichannel identification
. In IEEE Signal Processing Mag., pp 99-101, 2005.
-
Parameter estimation with missing data via equalization-maximization
. In ICASSP 2005, the 30th International Conference on Acoustics, Speech and Signal Processing, Philadelphia, PA, 2005.
-
SPECTRAL ANALYSIS OF SIGNALS
. J Wiley&Sons, 2005.
-
The heuristic, GLRT, and MAP detectors for double differential modulation are identical
. In IEEE Trans Info Theory, volume 51, pp 1860-1865, 2005.
-
A Classification of Centres of Maximal Balls in Z^3
. 2005.
-
Distance Transforms for Three-Dimensional Grids with Non-Cubic Voxels
. In Computer Vision and Image Understanding, volume 100, number 3, pp 294-311, 2005. (External link
).
-
Resolution Pyramids on the FCC and BCC Grids
. In Proceedings of Discrete Geometry for Computer Imagery, pp 68-78, 2005.
-
The Euclidean Distance Transform Applied to the FCC and BCC Grids
. In Pattern Recognition and Image Analysis, Proceedings of Second Iberian Conference, IbPRIA 2005: volume 1, pp 243-250, 2005.
-
The face-centered cubic grid and the body-centered cubic grid: a literature survey
. Internrapport, Centrum för Bildanalys nr 35, 2005.
-
Navier-Stokes equations for low Mach number flows solved by boundary summation
. 2005.
-
Numerical Computations with Fundamental Solutions
Numeriska beräkningar med fundamentallösningar
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 45, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
).
-
High-Performance Longest Prefix Matching supporting High-Speed Incremental Updates and Guaranteed Compression
. In Proceedings of IEEE Infocom 2005, 2005.
-
An Accuracy Evaluation of Unstructured Node-Centred Finite Volume Methods
. NIA Report nr 2005-04, National Institute of Aerospace, Hampton, VA, 2005.
-
Stable Artificial Dissipation Operators for Finite Volume Schemes on Unstructured Grids
. NIA Report nr 2005-05, National Institute of Aerospace, Hampton, VA, 2005.
-
Steady-State Computations Using Summation-by-Parts Operators
. In Journal of Scientific Computing, volume 24, pp 79-95, 2005. (DOI
).
-
Accuracy analsyis of the Frisch estimates for identifying errors-in-variables systems
. In Proc. 44th IEEE CDC/European Control Conference, 2005.
-
Convergence of bias-eliminating least squares methods for errors-in-variables identification
. In Proc. 44th IEEE CDC/European Control Conference, 2005.
-
Convergence properties of bias-eliminating algorithms for errors-in-variables identification
. In International Journal of Adaptive Control and Signal Processing, volume 19, pp 703-722, 2005.
-
Identification of dynamic errors-in-variables systems with periodic data
. In Proc. IFAC 16th World Congress, 2005.
-
Approaches for Continuous-Time Modeling in Errors-in-Variables Identification
. Technical report / Department of Information Technology, Uppsala University nr 2005-024, Department of Information Technology, Uppsala University, 2005. (fulltext
).
-
Computing the Covariance Matrix for PEM Estimates and the Cramer-Rao Lower Bound for Linear State Space Models
. Technical report / Department of Information Technology, Uppsala University nr 2005-019, Department of Information Technology, Uppsala University, 2005. (fulltext
).
-
Periodic signal analysis by maximum likelihood modeling of orbits of nonlinear ODEs
. In Automatica, volume 41, number 5, pp 793-805, 2005. (DOI
).
-
Students designing software: a multi-national, multi-institutional study
. In Informatics in Education. An International Journal, volume 4, pp 143-162, 2005.
-
Lessons from Experimental MANET Research
. In Ad hoc networks, volume 3, number 2, pp 221-233, 2005. (DOI
).
-
The Design and Implementation of an Architecture for Flexible Access to Sensor Networks
. 2005. (External link
).
-
Compositional derivation of symmetries for constraint satisfaction
. In Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings, pp 234-247, 2005. (DOI
).
-
A haptic interaction technique for volume images based on gradient diffusion
. In World Haptics Conference, pp 336-341, 2005.
-
A haptic interaction technique for volume images based on gradient diffusion
. In Proceedings of WorldHaptics, pp 336-341, 2005.
-
Haptic volume rendering based on gradient vector flow
. In Proceedings of SSBA (Swedish Society for Automated Image Analysis) Symposium on Image Analysis, Malmö, Sweden, pp 97-100, 2005.
-
Proceedings of the REALWSN'05: Workshop on Real-World Wireless Sensor Networks
. Technical Report T2005:09, SICS - Swedish Institute of Computer Science, 2005. (External link
).
-
A Subexponential Algorithm for a Subclass of P-Matrix Generalized Linear Complementarity Problems
. DIMACS Technical Report nr 2005-20, Center for Discrete Mathematics and Theoretical Computer Science, Rutgers University, NJ, USA, 2005.
-
Combinatorial Structure and Randomized Subexponential Algorithms for Infinite Games
. In Theoretical Computer Science, number 349(3), pp 347-360, 2005.
-
LP-Polytopes for Mean Payoff Games
. RUTCOR Research Report RRR nr 34-2005, RUTCOR, Rutgers Center of Operations Research, 2005.
-
Linear Complementarity Algorithms for Mean Payoff Games
. DIMACS Technical Report nr 2005-05, Center for Discrete Mathematics and Theoretical Computer Science, Rutgers University, NJ, USA, 2005.
-
Vasa: A Simulator Infrastructure with Adjustable Fidelity
. In In Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2005), Phoenix, Arizona, USA, November 2005., 2005. (External link
).
-
Vasa: A Simulator Infrastructure with Adjustable Fidelity
. In Proceedings of the International Conference on Parallel and Distibuted Computing and Systems, 2005.
-
Vasa: A Simulator Infrastructure with Adjustable Fidelity
. In Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems, 2005.
-
Bildanalys och bildförbättring
. In Den osynliga matematiken, pp 114-115, Liber Ab, Stockholm, 2005.
-
Adaptive imaging for forward-looking ground penetrating radar
. In IEEE Transactions on Aerospace and Electronic Systems, volume 41, pp 922-936, 2005.
-
Nonparametric spectral analysis with missing data via the EM algorithm
. In Digital Signal Processing, volume 15, pp 191-206, 2005.
-
Rank-deficient robust Capon filter bank approach to complex spectral estimation
. In IEEE Transactions on Signal Processing, volume 53, pp 2713-2716, 2005.
-
SPECTRAL ANALYSIS OF SIGNALS: THE MISSING DATA CASE
. Morgan&Claypool Publishers, 2005.
-
Two-dimensional nonparametric spectral analysis in the missing data case
. In ICASSP 2005, the 30th International Conference on Acoustics, Speech and Signal Processing, Philadelphia, PA, 2005.
-
Ad Hoc Routing Protocol Verification Through Broadcast Abstraction
. In Formal Techniques for Networked and Distributed Systems – FORTE 2005, volume 3731 of Lecture Notes in Computer Science, pp 128-142, Springer-Verlag, Berlin, 2005. (DOI
).
-
Ad hoc routing protocol validation
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-004, Uppsala University, 2005. (fulltext
).
-
A second order ODE is sufficient for modelling of many periodic signals
. In International Journal of Control, volume 78, number 13, pp 982-996, 2005. (DOI
).
-
Discussion on: "Subspace-based Identification Algorithms for Hammerstein and Wiener Models"
. In European Journal of Control, volume 11, number 2, pp 148-149, 2005. (DOI
).
-
MATLAB software for recursive identification and scaling using a structured nonlinear black-box model: Revision 2
. Technical report / Department of Information Technology, Uppsala University nr 2005-022, Uppsala universitet, 2005. (Report in fulltext
, fulltext
).
-
MATLAB software for recursive identification and scaling using a structured nonlinear black-box model: Revision 1
. Technical report / Department of Information Technology, Uppsala University nr 2005-002, Uppsala universitet, 2005. (Report in fulltext
, fulltext
).
-
Recursive identification based on nonlinear state space models applied to drum-boiler dynamics with nonlinear output equations
. In Proc. American Control Conference: ACC 2005, pp 5066-5072, American Automatic Control Council, 2005. (DOI
).
-
Scaling of the sampling period in nonlinear system identification
. In Proc. American Control Conference: ACC 2005, pp 5058-5065, American Automatic Control Council, 2005. (DOI
).
-
Efficient memory management for message-passing concurrency, Part I: Single-threaded execution
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-001, Uppsala University, 2005. (fulltext
).
-
Multi-static adaptive microwave imaging for early breast cancer detection
. In Conference Record of The Thirty-Ninth Asilomar Conference on Signals, Systems & Computers, volume 2005 of Conference Record - Asilomar Conference on Signals, Systems and Computers, pp 285-289, 2005. (DOI
).
-
Adaptive Coherence Batching for Trap-Based Memory Architectures
. information Technology - Technical reports nr 2005-016, Uppsala Universitet, dept of information technology, 2005. (External link
).
-
Flexibility Implies Performance
. Information Technology - Technical reports nr 2005-013, uppsala universitet, dept of information technology, 2005. (External link
).
-
Hardware–Software Tradeoffs in Shared-Memory Implementations
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-002, Uppsala University, 2005. (fulltext
).
-
TMA: A Trap-Based Memory Architecture
. information Technology - Technical reports nr 2005-015, Uppsala Universitet, dept of information technology, 2005. (External link
).
-
Fourth order symmetric finite difference schemes for the acoustic wave equation
. In BIT Numerical Mathematics, volume 45, pp 627-651, 2005. (DOI
).
-
Moral stress in IT-based work
. In ETHICOMP 2005: Looking back to the future, pp CD-ROM, 2005.
-
High-level modelling and local search
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-003, Uppsala University, 2005. (fulltext
).
-
Incremental algorithms for local search from existential second-order logic
. In Proceedings of Principles and Practice of Constraint Programming - CP 2005, pp 47-61, 2005. (External link
).
-
Set variables and local search
. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Second International Conference, CPAIOR 2005, Proceedings, pp 19-33, 2005. (External link
).
-
Applications of the generalized Fourier transform in numerical linear algebra
. In BIT Numerical Mathematics, volume 45, pp 819-850, 2005. (DOI
).
-
Mesh generation for symmetrical geometries
. In Computational Science and its Applications, volume 3480 of Lecture Notes in Computer Science, pp 657-668, Springer-Verlag, Berlin, 2005. (DOI
).
-
Sorting out the relationships between pairs of iterators, values, and references
. In Generative Programming and Component Engineering, volume 3676 of Lecture Notes in Computer Science, pp 342-356, Springer-Verlag, Berlin, 2005. (DOI
).
-
Sparse generalized Fourier transforms
. Technical report / Department of Information Technology, Uppsala University nr 2005-043, 2005. (fulltext
).
-
Colour Correction of Underwater Images Using Spectral Data
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 120, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext
, cover
).
-
Dissolved Organic Matters Impact on Colour
. In Image Analysis: 14th Scandinavian Conference, SCIA 2005, pp 1148-1156, 2005.
-
Dissolved Organic Matters Impact on Colour Reconstruction in Underwater Images
. In Lecture Notes in Computer Science. Proceedings of the 14th Scandinavian Conference on Image Analysis, volume 3540, pp 1148-1156, 2005.
-
Pre-Processing of Underwater Images Taken in Shallow Water for Color Reconstruction Purposes
. In Proceedings of the 7th IASTED International Conference on Signal and Image Processing, 2005.
-
Pre-Processing of Underwater Images Taken in shallow Water for Color Reconstruction Purposes
. In IASTED Proceeding (479): IASTED 7th Conference on Signal and Image Processing - 2005, 2005. (External link
).