Publications

Technical reports from the Department of Information Technology

The following is an index of the Technical Report series from the Department of Information Technology. This series has ISSN 1404-3203 (ISSN 1404-0603 up to and including nr 1999-006). The corresponding BibTeX file is also available, as well as a preformatted list in PDF format. There is also an RSS feed.

Clicking on titles below takes you to a page with the abstract and/or links to the report in Postscript and/or PDF format. The reports can also be ordered from the Department of Information Technology, Box 337, SE-751 05 Uppsala, Sweden.

If you want to produce a technical report in this series, please read these instructions.

(For older reports, see the earlier DoCS, CSD, and TDB series, Systems and Control, and HCI reports.)

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2024-001

Supplement - Capital in Computing Education: Investigating Factors Underlying Participation
Thom Kunkeler and Aletta Nylén. March 2024.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2023-003	Relations Between Prediction Error and Maximum Likelihood Methods in an Error-in-Variables Setting. Extended version with full proofs Torsten Söderström. October 2023.
2023-002	Using gender equality indicators to support gender mainstreaming work at the Department of Information Technology Ginevra Castellano, Gunilla Kreiss, Robin Strand, and Lina von Sydow. April 2023.
2023-001	Preconditioning of Discrete State- and Control-Constrained Optimal Control Convection-Diffusion Problems Ivo Dravins and Maya Neytcheva. February 2023. This is an extensively updated version of Technical Report nr 2021-003.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2022-009	Analyzing the Parameter Bias when an ARMAX Model is Fitted to Noise-Corrupted Data Torsten Söderström and Umberto Soverini. October 2022.
2022-008	Analyzing the Parameter Bias when an Instrumental Variable Method is Used with Noise-Corrupted Data Torsten Söderström and Umberto Soverini. October 2022.
2022-007	Faster Functional Warming with Cache Merging Gustaf Borgström, Christian Rohner, and David Black-Schaffer. August 2022. Updated 2022-09-07, correcting spelling errors.
2022-006	A Robust Multi-Goal Exploration Aided Tracking Policy Ruoqi Zhang, Per Mattsson, and Torbjörn Wigren. June 2022.
2022-005	Consistency Study of a Reconstructed Genotype Probability Distribution via Clustered Bootstrapping in NORB Pooling Blocks Camille Clouard and Carl Nettelblad. June 2022.
2022-004	Stage-Parallel Preconditioners for Implicit Runge-Kutta Methods of Arbitrary High Order. Linear problems Owe Axelsson, Ivo Dravins, and Maya Neytcheva. April 2022.
2022-003	Implicit Summation by Parts Operators for Finite Difference Approximations of First and Second Derivatives Ken Mattsson and Ylva Ljungberg Rydin. January 2022.
2022-002	MATLAB Software for Nonlinear and Delayed Recursive Identification - Revision 2 Torbjörn Wigren. January 2022. Revised version of nr 2017-007. The software package (last updated 2022-09-12) can be downloaded from https://www.it.uu.se/research/publications/reports/2022-002/RecursiveNonlinearNetworkedIdentificationSW-r3.zip.
2022-001	Sjuksköterskors upplevelse av att jobba med IT-system: sammanfattning Diane Golay and Åsa Cajander. January 2022. In Swedish.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2021-008	MATLAB Software for Recursive Identification and Scaling Using a Structured Nonlinear Black-box Model - Revision 7 Torbjörn Wigren. December 2021. Revised version of nr 2010-022. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2021-008/NRISSoftwareRev7.zip.
2021-007	Matrix-Less Eigensolver for Large Structured Matrices Giovanni Barbarino, Melker Claesson, Sven-Erik Ekström, Carlo Garoni, David Meadon, and Hendrik Speleers. November 2021. Updated version of nr 2021-005.
2021-006	When are Errors-in-Variables Aspects Particularly Important to Consider in System Identification? Torsten Söderström and Umberto Soverini. September 2021.
2021-005	Matrix-Less Eigensolver for Large Structured Matrices Giovanni Barbarino, Melker Claesson, Sven-Erik Ekström, Carlo Garoni, and David Meadon. August 2021. Updated 2021-09-03 and 2021-09-08.
2021-004	IT-system i sjuksköterskors arbetsmiljö. Att tänka på vid upphandling och införande Minna Salminen Karlsson. April 2021. In Swedish.
2021-003	On the Numerical Solution of State- and Control-Constrained Optimal Control Problems Ivo Dravins and Maya Neytcheva. April 2021.
2021-002	A omega-Circulant Regularization for Linear Systems Arising in Interpolation with Subdivision Schemes Rafael Diaz Fuentes, Mariarosa Mazza, and Stefano Serra-Capizzano. March 2021.
2021-001	Towards Correctly Checking for Cycles in Overloaded Definitions Arve Gengelbach and Johannes Åman Pohjola. March 2021.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2020-004	Impact of Code Refactoring using Object-Oriented Methodology on a Scientific Computing Application Malin Källén, Sverker Holmgren, and Ebba Thora Hvannberg. October 2020.
2020-003	Eigenvalues and Eigenvectors of Tau Matrices with Applications to Markov Processes and Economics Sven-Erik Ekström, Carlo Garoni, Adam Jozefiak, and Jesse Perla. August 2020.
2020-002	A Boundary Optimal Control Identification Problem Owe Axelsson, Michal Béres, and Radim Blaheta. May 2020.
2020-001	Digital arbetsmiljö och projektet Nära vård online Åsa Cajander, Marta Larusdottir, and Gustaf Hedström. March 2020.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2019-011	Fast Parallel Solver for the Space-Time IgA-DG Discretization of the Anisotropic Diffusion Equation Pietro Benedusi, Paola Ferrari, Carlo Garoni, Rolf Krause, and Stefano Serra-Capizzano. November 2019.
2019-010	The Frisch Scheme: Time and Frequency Domain Aspects Umberto Soverini and Torsten Söderström. November 2019.
2019-009	Evaluation of Methods Handling Missing Data in PCA on Genotype Data: Applications for Ancient DNA Kristiina Ausmees. October 2019.
2019-008	An Empirical Evaluation of Genotype Imputation of Ancient DNA Kristiina Ausmees, Federico Sanchez-Quinto, Mattias Jakobsson, and Carl Nettelblad. October 2019.
2019-007	Performance of an OO Compute Kernel on the JVM: Revisiting Java as a Language for Scientific Computing Applications (Extended Version) Malin Källén and Tobias Wrigstad. September 2019.
2019-006	Frequency Domain Identification of FIR Models from Noisy Input-Output Data Umberto Soverini and Torsten Söderström. August 2019.
2019-005	Block Generalized Locally Toeplitz Sequences: Theory and Applications in the Multidimensional Case Giovanni Barbarino, Carlo Garoni, and Stefano Serra-Capizzano. July 2019.
2019-004	Block Generalized Locally Toeplitz Sequences: Theory and Applications in the Unidimensional Case Giovanni Barbarino, Carlo Garoni, and Stefano Serra-Capizzano. July 2019.
2019-003	Minimizing Replay under Way-Prediction Ricardo Alves, Stefanos Kaxiras, and David Black-Schaffer. May 2019. This paper is an extension of another paper published in ICCD 2018 "Dynamically Disabling Way-prediction to Reduce Instruction Replay".
2019-002	Block Generalized Locally Toeplitz Sequences: Theory and Applications C. Garoni and S. Serra-Capizzano. April 2019.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2018-014	Delorean: Virtualized Directed Profiling for Cache Modeling in Sampled Simulation Nikos Nikoleris, Erik Hagersten, and Trevor E. Carlson. December 2018.
2018-013	How to Extend the Application Scope of GLT-Sequences Stanislav Morozov, Stefano Serra-Capizzano, and Eugene Tyrtyshnikov. November 2018.
2018-012	Eigenvalue Isogeometric Approximations Based on B-splines: Tools and Results Sven-Erik Ekström and Stefano Serra-Capizzano. July 2018.
2018-011	Nonlinear System Identification of the Dissolved Oxygen to Effluent Ammonium Dynamics in an Activated Sludge Process Tatiana Chistiakova, Per Mattsson, Bengt Carlsson, and Torbjörn Wigren. June 2018.
2018-010	Preconditioners for Two-by-Two Block Matrices with Square Blocks Owe Axelsson and Maya Neytcheva. May 2018.
2018-009	Block Generalized Locally Toeplitz Sequences: From the Theory to the Applications Carlo Garoni, Mariarosa Mazza, and Stefano Serra-Capizzano. May 2018.
2018-008	An Efficient Preconditioning Method for State Box-Constrained Optimal Control Problems Owe Axelsson, Maya Neytcheva, and Anders Ström. March 2018. This is a major revision of Technical Report 2017-004. In the new version all the numerical experiments have been rerun with new much more efficient dynamic stopping criteria.
2018-007	Identification of Two Dimensional Complex Sinusoids in White Noise: a State-Space Frequency Approach Umberto Soverini and Torsten Söderström. April 2018. Updated version of Technical Report 2017-021.
2018-006	2D-Frequency Domain Identification of Complex Sinusoids in the Presence of Additive Noise Umberto Soverini and Torsten Söderström. April 2018. Updated version of Technical Report 2017-020.
2018-005	Exact Formulae and Matrix-Less Eigensolvers for Block Banded Symmetric Toeplitz Matrices Sven-Erik Ekström, Isabella Furci, and Stefano Serra-Capizzano. March 2018.
2018-004	Non-Hermitian Perturbations of Hermitian Matrix-Sequences and Applications to the Spectral Analysis of Approximated PDEs Giovanni Barbarino and Stefano Serra-Capizzano. February 2018.
2018-003	A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention Jonatan Lindén and Bengt Jonsson. February 2018. Revised and corrected version of Technical Report 2013-025.
2018-002	Discontinuous Galerkin Discretization of the Heat Equation in Any Dimension: the Spectral Symbol Pietro Benedusi, Carlo Garoni, Rolf Krause, Xiaozhou Li, and Stefano Serra-Capizzano. January 2018.
2018-001	The Theory of Block Generalized Locally Toeplitz Sequences Carlo Garoni, Stefano Serra-Capizzano, and Debora Sesana. January 2018. Updated 2018-01-30.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2017-024	Coupled Electric Drives Data Set and Reference Models Torbjörn Wigren and Maarten Schoukens. November 2017. The data set can be downloaded from http://www.it.uu.se/research/publications/reports/2017-024/CoupledElectricDrivesDataSetAndReferenceModels.zip.
2017-023	Transcending Hardware Limits with Software Out-Of-Order Execution Kim-Anh Tran, Alexandra Jimborean, Trevor E. Carlson, Magnus Själander, Konstantinos Koukos, and Stefanos Kaxiras. October 2017.
2017-022	Function-Based Algebraic Multigrid Method for the 3D Poisson Problem on Structured Meshes Ali Dorostkar. October 2017. Updated 2017-10-26.
2017-021	Identification of Two Dimensional Complex Sinusoids in White Noise: a State-Space Frequency Approach Umberto Soverini and Torsten Söderström. October 2017. Updated by Technical Report 2018-007, April 2018. See http://www.it.uu.se/research/publications/reports/2018-007.
2017-020	2D-Frequency Domain Identification of Complex Sinusoids in the Presence of Additive Noise Umberto Soverini and Torsten Söderström. October 2017. Updated by Technical Report 2018-006, April 2018. See http://www.it.uu.se/research/publications/reports/2018-006.
2017-019	Effective Slip Over Partially Filled Microcavities and its Possible Failure Zhouyang Ge, Hanna Holmgren, Martin Kronbichler, Luca Brandt, and Gunilla Kreiss. September 2017.
2017-018	Spectral and Convergence Analysis of the Discrete ALIF Method Antonio Cicone, Carlo Garoni, and Stefano Serra-Capizzano. September 2017.
2017-017	Parallel Solution Methods and Preconditioners for Evolution Equations Owe Axelsson, Zhao-Zheng Liang, and Maya Neytcheva. September 2017.
2017-016	Are the Eigenvalues of the B-spline IgA Approximation of -Delta u = λ u Known in Almost Closed Form? Sven-Erik Ekström, Isabella Furci, and Stefano Serra-Capizzano. August 2017.
2017-015	An Interpolation-Extrapolation Algorithm for Computing the Eigenvalues of Preconditioned Banded Symmetric Toeplitz Matrices Sven-Erik Ekström and Carlo Garoni. August 2017.
2017-014	A Robust Structured Preconditioner for Time-Harmonic Parabolic Optimal Control Problems Zhao-Zheng Liang, Owe Axelsson, and Maya Neytcheva. August 2017.
2017-013	Spectral Analysis of Finite-Difference Approximations of 1-d Waves in Non-Uniform Grids Davide Bianchi and Stefano Serra-Capizzano. July 2017.
2017-012	Are the Eigenvalues of Preconditioned Banded Symmetric Toeplitz Matrices Known in Almost Closed Form? Fayyaz Ahmad, Eman Salem Al-Aidarous, Dina Abdullah Alrehaili, Sven-Erik Ekström, Isabella Furci, and Stefano Serra-Capizzano. June 2017.
2017-011	Parametric Convergence Analysis of an Adaptive Filtering Algorithm with Output Quantization Sholeh Yasini and Torbjörn Wigren. June 2017.
2017-010	Eigenvalues and Eigenvectors of Banded Toeplitz Matrices and the Related Symbols Sven-Erik Ekström and Stefano Serra-Capizzano. May 2017.
2017-009	Spectral Analysis and Spectral Symbol for the 2D curl-curl (Stabilized) Operator with Applications to the Related Iterative Solutions Mariarosa Mazza, Ahmed Ratnani, and Stefano Serra-Capizzano. April 2017.
2017-008	Scope-Aware Classification: Taking the Hierarchical Private/Shared Data Classification to the Next Level Mahdad Davari, Erik Hagersten, and Stefanos Kaxiras. April 2017.
2017-007	MATLAB Software for Nonlinear and Delayed Recursive Identification - Revision 1 Torbjörn Wigren. April 2017. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2017-007/RecursiveNonlinearNetworkedIdentificationSW.zip.
2017-006	Multigrid for Matrix-Free Finite Element Computations on Graphics Processors Karl Ljungkvist and Martin Kronbichler. April 2017. Updated 2017-04-20.
2017-005	Grid Construction Strategies for Wall-Resolving Large Eddy Simulation and Estimates of the Resulting Number of Grid Points Saleh Rezaeiravesh and Mattias Liefvendahl. April 2017.
2017-004	An Efficient Preconditioning Method for State Box-Constrained Optimal Control Problems Owe Axelsson, Maya Neytcheva, and Anders Ström. March 2017. Updated 2017-04-12. A major revision appears in Technical Report 2018-008, see http://www.it.uu.se/research/publications/reports/2018-008.
2017-003	The URDME manual Version 1.3 Pavol Bauer and Stefan Engblom. March 2017.
2017-002	Generalized Locally Toeplitz Sequences: Theory and Applications C. Garoni and S. Serra-Capizzano. February 2017.
2017-001	Formulation of a Wall Model for LES in a Collocated Finite-Volume Framework Mattias Liefvendahl, Timofey Mukha, and Saleh Rezaeiravesh. January 2017.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2016-017	Eigenvalues of Banded Symmetric Toeplitz Matrices are Known Almost in Close Form? S.-E. Ekström and S. Serra-Capizzano. September 2016.
2016-016	Errors-in-Variables Identification using Maximum Likelihood Estimation in the Frequency Domain Torsten Söderström and Umberto Soverini. September 2016.
2016-015	Task Parallel Implementation of a Solver for Electromagnetic Scattering Problems Afshin Zafari, Elisabeth Larsson, Marco Righero, M. Alessandro Francavilla, Giorgio Giordanengo, Francesca Vipiana, and Giuseppe Vecchi. August 2016.
2016-014	A Unified DVFS-Cache Resizing Framework Vasilis Spiliopoulos, Andreas Sembrant, Georgios Keramidas, Erik Hagersten, and Stefanos Kaxiras. August 2016.
2016-013	LOLCAT: Relaxed Linear References for Lock-free Programming Elias Castegren and Tobias Wrigstad. July 2016.
2016-012	Surface Subdivision Algorithms and Structured Linear Algebra: a Computational Approach to Determine Bounds of Extraordinary Rule Weights Marco Donatelli, Paola Novara, Lucia Romani, Stefano Serra-Capizzano, and Debora Sesana. July 2016.
2016-011	Diagonal-Norm Upwind SBP Operators Ken Mattsson. June 2016.
2016-010	DuctTeip: A Task-Based Parallel Programming Framework for Distributed Memory Architectures Afshin Zafari, Elisabeth Larsson, and Martin Tillenius. June 2016.
2016-009	On the Role of Monte Carlo Methods in Swedish M. Sc. Engineering Education Andreas Svensson. May 2016.
2016-008	Comparing Two Recent Particle Filter Implementations of Bayesian System Identification Andreas Svensson and Thomas B. Schön. May 2016.
2016-007	Reference Capabilities for Trait Based Reuse and Concurrency Control Elias Castegren and Tobias Wrigstad. May 2016. Extended version of Reference Capabilities for Concurrency Control, ECOOP 2016..
2016-006	The ISCAL method and the Grounding Line - Combining the Stokes equations with the Shallow Ice Approximation and Shelfy Stream Approximation Josefin Ahlkrona. April 2016.
2016-005	A Meshfree Approach to Non-Newtonian Free Surface Ice Flow: Application to the Haut Glacier d Arolla Josefin Ahlkrona and Victor Shcherbakov. April 2016.
2016-004	Implementing Fast, Virtualized Profiling to Eliminate Cache Warming Nikos Nikoleris, Andreas Sandberg, Erik Hagersten, and Trevor E. Carlson. March 2016.
2016-003	A Tradeoff Between Data Rate and Regulation Performance in Networked Data Flow Control Torbjörn Wigren. January 2016.
2016-002	Proceedings från 5:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar Stefan Pålsson and Björn Victor. February 2016. In Swedish.
2016-001	A Block Multigrid Strategy for Two-Dimensional Coupled PDEs Marco Donatelli, Ali Dorostkar, Mariarosa Mazza, Maya Neytcheva, and Stefano Serra-Capizzano. January 2016.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2015-038	Subtyping and Algebraic Data Types Sven-Olof Nyström. December 2015.
2015-037	Perf-Insight: A Simple, Scalable Approach to Optimal Data Prefetching in Multicores Muneeb Khan, David Black-Schaffer, and Erik Hagersten. December 2015.
2015-036	A Preconditioner for Optimal Control Problems, Constrained by Stokes Equation with a Time-Harmonic Control Owe Axelsson, Shiraz Farouq, and Maya Neytcheva. December 2015.
2015-035	Deterministic Parallel Graph Coloring with Repartitioning by Auxiliary Graph Coloring Johan Öfverstedt and Per Normann. December 2015.
2015-034	Implementing a Secure Abstract Machine - Extended Version Adriaan Larmuseau, Marco Patrignani, and Dave Clarke. November 2015. This technical report serves as the companion report to a SEC@SAC 2016 paper of the same name.
2015-033	Modelling and Analysing a WSN Secure Aggregation Protocol: A Comparison of Languages and Tool Support Volkan Cambazoglu, Ramūnas Gutkovas, Johannes Åman Pohjola, and Björn Victor. November 2015. Updated 2015-12-02: The results in subsection 4.1.3 are updated because we realised that Pwb can evaluate the SHIA model faster for network sizes of 2 and 4, and also can handle network size of 8.
2015-032	Active Learning for Extended Finite State Machines Sofia Cassel, Falk Howar, Bengt Jonsson, and Bernhard Steffen. October 2015. This report updates and supercedes Technical Report 2015-004.
2015-031	Deterministic Parallel Graph Coloring with Symmetry Breaking Per Normann and Johan Öfverstedt. October 2015.
2015-030	Comparison of preconditioned Krylov subspace iteration methods for PDE-constrained optimization problems. Stokes control Owe Axelsson, Shiraz Farouq, and Maya Neytcheva. September 2015.
2015-029	Resultat och reflektioner kring mailkategorisering av användares mail till Uppsala läns landsting kring åtkomst av journaler via nätet Nanna Kjellin Lagerqvist. September 2015. In Swedish. Updates and supercedes Technical Report nr 2015-010.
2015-028	A Secure Compiler for ML Modules - Extended Version Adriaan Larmuseau, Marco Patrignani, and Dave Clarke. September 2015. This technical report is an updated version of TR 2015-017 that serves as the companion report to an APLAS 2015 paper of the same title.
2015-027	Frequency Domain Identification of Autoregressive Models in the Presence of Additive Noise Umberto Soverini and Torsten Söderström. September 2015.
2015-026	Modelling an Assembly Attacker by Reflection Adriaan Larmuseau and Dave Clarke. August 2015. This technical report is an extended version of a paper titled: A High-Level Model for an Assembly Language Attacker by means of Reflection* that is to appear at SETTA 2015.*
2015-025	Improved Monte Carlo Methods for Computing Failure Probabilities of Porous Media Flow Systems Fritjof Fagerlund, Fredrik Hellman, Axel Målqvist, and Auli Niemi. August 2015.
2015-024	Comparison of Preconditioned Krylov Subspace Iteration Methods for PDE-Constrained Optimization Problems. Poisson and Convection-Diffusion Control Owe Axelsson, Shiraz Farouq, and Maya Neytcheva. August 2015.
2015-023	The theory of Generalized Locally Toeplitz sequences: a review, an extension, and a few representative applications Carlo Garoni and Stefano Serra-Capizzano. August 2015. Revised, corrected, updated and extended version of TR 2015-016.
2015-022	Experiments on Large Scale Document Visualization using Image-based Word Clouds Tomas Wilkinson and Anders Brun. July 2015.
2015-021	Modal Logics for Nominal Transition Systems Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramūnas Gutkovas, and Tjark Weber. June 2015. Accepted for CONCUR 2015. This version includes proofs in an appendix.
2015-020	Deterministic Parallel Graph Coloring with Hashing Per Normann and Johan Öfverstedt. June 2015.
2015-019	Some Details on State Space Smoothing using the Conditional Particle Filter Andreas Svensson, Thomas B Schön, and Manon Kok. June 2015.
2015-018	Delay-Independent Stability Criteria for Networked Control Systems Johannes Nygren, Torbjörn Wigren, and Kristiaan Pelckmans. June 2015.
2015-017	A Secure Compiler for ML Modules - Extended Version Adriaan Larmuseau, Marco Patrignani, and Dave Clarke. June 2015.
2015-016	Generalized Locally Toeplitz sequences: a review and an extension Carlo Garoni and Stefano Serra-Capizzano. May 2015. Revised, corrected, updated and extended by TR 2015-023 (http://www.it.uu.se/research/publications/reports/2015-023).
2015-015	Formalizing a Secure Foreign Function Interface - Extended Version Adriaan Larmuseau and Dave Clarke. May 2015. This technical report is an extended version of the paper of the same name that is to appear at SEFM 2015.
2015-014	Large-Eddy Simulation of Turbulent Channel Flow Timofey Mukha and Mattias Liefvendahl. May 2015.
2015-013	Constraints in nonlinear L2-stable networked control Torbjörn Wigren. May 2015.
2015-012	Lusin Theorem, GLT Sequences and Matrix Computations: An Application to the Spectral Analysis of PDE Discretization Matrices Carlo Garoni, Carla Manni, Stefano Serra-Capizzano, Debora Sesana, and Hendrik Speleers. March 2015.
2015-011	Schur Complement Matrix and its (Elementwise) Approximation: A Spectral Analysis Based on GLT Sequences Ali Dorostkar, Maya Neytcheva, and Stefano Serra-Capizzano. March 2015.
2015-010	Resultat och reflektioner kring mailkategorisering av användares mail till Uppsala läns landsting kring åtkomst av journaler via nätet Nanna Kjellin Lagerqvist. March 2015. In Swedish. Updated and superceded by Technical Report nr 2015-029.
2015-009	Approximation of the Diffusive Representation by Decreasing Exponential Functions Emilie Blanc. February 2015.
2015-008	Spectral Analysis of Coupled PDEs and of their Schur Complements via the Notion of Generalized Locally Toeplitz Sequences Ali Dorostkar, Maya Neytcheva, and Stefano Serra-Capizzano. February 2015.
2015-007	Proceedings from the 1st Albaha University-Uppsala University Collaborative Symposium on Quality in Computing Education Aletta Nylén and Mohamed Shenify. February 2015.
2015-006	The EVI Distributed Shared Memory System Farshid Besharati, Mahdad Davari, Christian Danheimer Furedal, Björn Forsberg, Niklas Forsmark, Henrik Grandin, Jimmy Gunnarsson, Engla Ling, Marcus Lofvars, Sven Lundgren, Luis Mauricio, Erik Norgren, Magnus Norgren, Johan Risch, Christos Sakalis, and Stefanos Kaxiras. February 2015.
2015-005	Spectral Analysis and Spectral Symbol of Matrices in Isogeometric Galerkin Methods Carlo Garoni, Carla Manni, Stefano Serra-Capizzano, Debora Sesana, and Hendrik Speleers. January 2015.
2015-004	Learning Extended Finite State Machines (extended version) Sofia Cassel, Falk Howar, Bengt Jonsson, and Bernhard Steffen. February 2015. Updated and superceded by Technical Report 2015-032.
2015-003	On Some Block-Preconditioners for Saddle Point Systems and their CPU-GPU Performance Ali Dorostkar, Maya Neytcheva, and Björn Lund. January 2015.
2015-002	Spectral Analysis and Structure Preserving Preconditioners for Fractional Diffusion Equations Marco Donatelli, Mariarosa Mazza, and Stefano Serra-Capizzano. January 2015.
2015-001	Radial Basis Function Partition of Unity Methods for Pricing Vanilla Basket Options Victor Shcherbakov and Elisabeth Larsson. January 2015.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2014-024	Toeplitz Matrices: Spectral Properties and Preconditioning in the CG Method Stefano Serra-Capizzano. December 2014.
2014-023	Detecting and Avoiding Multiple Sources of Interference in the 2.4 GHz Spectrum Venkatraman Iyer, Frederik Hermans, and Thiemo Voigt. December 2014.
2014-022	Tools for Determining the Asymptotic Spectral Distribution of Hermitian Matrix-Sequences and Applications Carlo Garoni, Stefano Serra-Capizzano, and Paris Vassalos. December 2014.
2014-021	Spectral Analysis and Spectral Symbol of d-variate Qp Lagrangian FEM Stiffness Matrices Carlo Garoni, Stefano Serra-Capizzano, and Debora Sesana. November 2014.
2014-020	Parallel Data Structures and Algorithms for High-Dimensional Structured Adaptive Mesh Refinement Magnus Grandin and Sverker Holmgren. October 2014.
2014-019	Data Structures and Algorithms for High-Dimensional Structured Adaptive Mesh Refinement Magnus Grandin. October 2014.
2014-018	Parallelization of the Particle Filter via Series Expansions Olov Rosén and Alexander Medvedev. August 2014.
2014-017	The 2013 SMT Evaluation David R. Cok, Aaron Stump, and Tjark Weber. July 2014.
2014-016	Identifiability and Limit Cycles Torbjörn Wigren. May 2014.
2014-015	Subtyping, consistency and derivability Sven-Olof Nyström. May 2014.
2014-014	MATLAB Software for Identification of Nonlinear Autonomous Systems - Revision 1 Torbjörn Wigren. April 2014. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2014-014/SWAutonomous.zip.
2014-013	Införandet av Raindance Bokföringsportal vid Uppsala universitet - En kortfattad rapport från KiA-projektet Thomas Lind, Åsa Cajander, and Bengt Sandblad. April 2014. In Swedish.
2014-012	Simulation of Stochastic Diffusion via First Exit Times Per Lötstedt and Lina Meinecke. April 2014.
2014-011	A Task Parallel Implementation of an RBF-generated Finite Difference Method for the Shallow Water Equations on the Sphere Martin Tillenius, Elisabeth Larsson, Erik Lehto, and Natasha Flyer. April 2014.
2014-010	SuperGlue: A Shared Memory Framework using Data-Versioning for Dependency-Aware Task-Based Parallelization Martin Tillenius. April 2014.
2014-009	On a Limitation in Networked Flow Control Torbjörn Wigren. March 2014.
2014-008	A Generalized Instrumental Variable Framework for EIV Identification Methods when the Measurement Noises are Mutually Correlated Torsten Söderström, Roberto Diversi, and Umberto Soverini. March 2014.
2014-007	Parallel Performance Study of Block-Preconditioned Iterative Methods on Multicore Computer Systems Ali Dorostkar, Dimitar Lukarski, Björn Lund, Maya Neytcheva, Yvan Notay, and Peter Schmidt. March 2014.
2014-006	On the Bimodality in an Introductory Programming Course: an Analysis of Student Performance Factors Lars Josef Höök. March 2014.
2014-005	Full Speed Ahead: Detailed Architectural Simulation at Near-Native Speed Andreas Sandberg, Erik Hagersten, and David Black-Schaffer. March 2014.
2014-004	Stiff Convergence of Force-Gradient Operator Splitting Methods Emil Kieri. February 2014.
2014-003	Ekonomiadministratörernas IT-relaterade arbetsmiljö vid Uppsala universitet - En kortfattad rapport från KIA-projektet Åsa Cajander, Thomas Lind, Gerolf Nauwerck, Britta Nyberg, and Bengt Sandblad. February 2014. In Swedish.
2014-002	Problems in the Integration of Timetabling and Train Traffic Control Peter Hellström. January 2014.
2014-001	Resource-Aware Task Scheduling Martin Tillenius, Elisabeth Larsson, Rosa M. Badia, and Xavier Martorell. January 2014.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2013-027	Checklista för god arbetsmiljö vid datorstött arbete Bengt Sandblad. December 2013. In Swedish.
2013-026	A Succinct Canonical Register Automaton Model Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, and Bernhard Steffen. December 2013. This is an extended version of a paper published in ATVA 2011. The extended version has been accepted for publication in JLAP.
2013-025	A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention Jonatan Lindén and Bengt Jonsson. December 2013. Updated by Technical Report 2018-003, February 2018. See http://www.it.uu.se/research/publications/reports/2018-003.
2013-024	Förstudierapport: Införande av verksamhetsstödjande IT-system. Problem, effekter och nytta Thomas Lind, Fredrik Brattlöf, Åsa Cajander, Bengt Sandblad, Bengt Göransson, and Anders Jansson. December 2013. In Swedish.
2013-023	A Radial Basis Function Partition of Unity Collocation Method for Convection-Diffusion Equations Ali Safdari-Vaighani, Alfa Heryudono, and Elisabeth Larsson. November 2013.
2013-022	Stochastic Diffusion Processes on Cartesian Meshes Lina Meinecke and Per Lötstedt. November 2013.
2013-021	Fault Detection and Isolation of Sensors in Aeration Control Systems - the Airflow Ratio Method Bengt Carlsson and Jesús Zambrano. October 2013.
2013-020	A Priori Power Estimation of Linear Solvers on Multi-Core Processors Dimitar Lukarski and Tobias Skoglund. September 2013.
2013-019	Coupling of Gaussian Beam and Finite Difference Solvers for Semiclassical Schrödinger Equations Emil Kieri, Gunilla Kreiss, and Olof Runborg. September 2013.
2013-018	Atmospheric Sound Propagation over Large-Scale Irregular Terrain Martin Almquist, Ilkka Karasalo, and Ken Mattsson. September 2013.
2013-017	Analysing Model Validation Methods for Errors-in-Variables Estimation T. Söderström and J. Yuz. September 2013.
2013-016	Optimal Diagonal-Norm SBP Operators Ken Mattsson, Martin Almquist, and Mark H. Carpenter. September 2013.
2013-015	Parallel Recursive Bayesian Estimation on Multicore Computational Platforms Using Orthogonal Basis Functions Olov Rosén and Alexander Medvedev. August 2013.
2013-014	Negative Premises in Applied Process Calculi Johannes Åman Pohjola, Johannes Borgström, Joachim Parrow, Palle Raabjerg, and Ioana Rodhe. June 2013.
2013-013	Duality Based Boundary Conditions and Dual Consistent Finite Difference Discretizations of the Navier-Stokes and Euler Equations Jens Berg and Jan Nordström. May 2013.
2013-012	General Domain Properties in Vehicle Operation: A Comparison between Trains and High-Speed Ferries Mikael Erlandsson and Anders Jansson. May 2013.
2013-011	Discontinuous Galerkin Multiscale Methods for Convection Dominated Problems Daniel Elfverson and Axel Målqvist. May 2013.
2013-010	Convergence of Methods for Coupling of Microscopic and Mesoscopic Reaction-Diffusion Simulations Mark B. Flegg, Stefan Hellander, and Radek Erban. April 2013.
2013-009	Single Molecule Simulations in Complex Geometries with Embedded Dynamic One-Dimensional Structures Stefan Hellander. April 2013.
2013-008	Improving the Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems Nan Guan, Pontus Ekberg, Martin Stigge, and Wang Yi. April 2013.
2013-007	Accelerated Convergence for Schrödinger Equations with Non-Smooth Potentials Emil Kieri. April 2013.
2013-006	Data for Benchmarking in Nonlinear System Identification Torbjörn Wigren and Johan Schoukens. March 2013. The data can be downloaded from http://www.it.uu.se/research/publications/reports/2013-006/SNLA80mVZipped.zip.
2013-005	A Comparison of Iterative Methods to Solve Complex Valued Linear Algebraic Systems Owe Axelsson, Maya Neytcheva, and Bashir Ahmad. March 2013.
2013-004	Characteristic Cut Finite Element Methods for Convection-Diffusion Problems on Time Dependent Surfaces Peter Hansbo, Mats G. Larson, and Sara Zahedi. March 2013.
2013-003	Slutrapport för Projektet IVAN 2008-2011 Rebecka Janols, Bengt Göransson, and Bengt Sandblad. March 2013. In Swedish.
2013-002	Användarnas synpunkter på IT-lösningar i vården - Sammanfattande erfarenheter från utvärderingar vid Landstinget i Uppsala län (2008-2012) Rebecka Janols, Bengt Sandblad, Bengt Göransson, and Thomas Lind. March 2013. In Swedish. Updated title 2013-03-16.
2013-001	Informationssystem i Vården Användbarhet och Nytta (IVAN). Förstudierapport 2008. Rebecka Janols and Erik Borälv. January 2013. In Swedish. Updated title 2013-03-16.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2012-036	URDME v. 1.2: User's manual Pavol Bauer, Brian Drawert, Stefan Engblom, and Andreas Hellander. December 2012. Also available at http://arxiv.org/abs/0902.2912
2012-035	An Intrusive Hybrid Method for Discontinuous Two-Phase Flow under Uncertainty Per Pettersson, Gianluca Iaccarino, and Jan Nordström. December 2012.
2012-034	Stochastic Reaction-Diffusion Processes with Embedded Lower Dimensional Structures Siyang Wang, Johan Elf, Stefan Hellander, and Per Lötstedt. December 2012.
2012-033	A Stochastic Galerkin Method for the Euler Equations with Roe Variable Transformation Per Pettersson, Gianluca Iaccarino, and Jan Nordström. November 2012. This is a complete rewrite of report nr 2012-021 with new results. A more general framework for the representation of uncertainty is used. All figures have been replaced and more numerical results have been added (methods of manufactured solutions, convergence in space and the stochastic dimension for subsonic and supersonic flow).
2012-032	Exact Non-Reflecting Boundary Conditions Revisited: Well-Posedness and Stability Sofia Eriksson and Jan Nordström. October 2012.
2012-031	Timed Lossy Channel Systems Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Jonathan Cederberg. October 2012.
2012-030	A Profiling Method for Analyzing Scalability Bottlenecks on Multicores David Eklöv, Nikos Nikoleris, and Erik Hagersten. October 2012.
2012-029	Quantitative Characterization of Memory Contention David Eklöv, Nikos Nikoleris, David Black-Schaffer, and Erik Hagersten. October 2012.
2012-028	On Stability and Monotonicity Requirements of Discretized Stochastic Conservation Laws with Random Viscosity Per Pettersson, Alireza Doostan, and Jan Nordström. September 2012.
2012-027	Breakdown of Methods for Phasing and Imputation in the Presence of Double Genotype Sharing Carl Nettelblad. September 2012.
2012-026	Inferring Haplotypes and Parental Genotypes in Larger Full Sib-Ships and Other Pedigrees with Missing or Erroneous Genotype Data Carl Nettelblad. September 2012.
2012-025	On the Impact of Boundary Conditions on Dual Consistent Finite Difference Discretizations Jens Berg and Jan Nordström. September 2012.
2012-024	An RBF-Galerkin Approach to the Time-Dependent Schrödinger Equation Katharina Kormann and Elisabeth Larsson. September 2012.
2012-023	A Time-Space Adaptive Method for the Schrödinger Equation Katharina Kormann. August 2012. Updated 2012-09-12 (typos fixed).
2012-022	SoNIC: Classifying and Surviving Interference in 802.15.4-based Sensor Networks Olof Rensfelt, Frederik Hermans, Thiemo Voigt, Edith Ngai, Lars-Åke Nordén, and Per Gunningberg. August 2012.
2012-021	A Roe Variable Based Chaos Method for the Euler Equations under Uncertainty Per Pettersson, Gianluca Iaccarino, and Jan Nordström. August 2012. A compete rewrite with new results appears as report nr 2012-033.
2012-020	Stable Computation of Differentiation Matrices and Scattered Node Stencils Based on Gaussian Radial Basis Functions Elisabeth Larsson, Erik Lehto, Alfa Heryudono, and Bengt Fornberg. August 2012.
2012-019	Numerical Solution of the Time-Dependent Navier-Stokes Equation for Variable Density-Variable Viscosity Owe Axelsson, Xin He, and Maya Neytcheva. August 2012.
2012-018	Stable Calculation of Gaussian-based RBF-FD Stencils Bengt Fornberg, Erik Lehto, and Collin Powell. August 2012.
2012-017	Efficiently Parallel Implementation of the Inverse Sherman-Morrison Algorithm Xin He, Marcus Holm, and Maya Neytcheva. August 2012.
2012-016	On Preconditioning Incompressible Non-Newtonian Flow Problems Xin He and Maya Neytcheva. August 2012.
2012-015	A Numerical Study of the Validity of Shallow Ice Approximations Josefin Ahlkrona, Nina Kirchner, and Per Lötstedt. July 2012.
2012-014	A Stable and Dual Consistent Boundary Treatment Using Finite Differences on Summation-By-Parts Form Jens Berg and Jan Nordström. July 2012.
2012-013	Building Timing Predictable Embedded Systems Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan, Bengt Jonsson, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard von Hanxleden, Reinhard Wilhelm, and Wang Yi. July 2012.
2012-012	Adaptive Fast Multipole Methods on the GPU Anders Goude and Stefan Engblom. May 2012.
2012-011	An Adaptive Controller for Propofol in Anesthesia under Synergistic Remifentanil Disturbances Margarida Martins da Silva, Torbjörn Wigren, and Teresa Mendonca. May 2012.
2012-010	Investigating How Simple Software Optimizations Effect Relative Throughput Scaling on Multicores Muneeb Khan, Nikos Nikoleris, and Erik Hagersten. May 2012.
2012-009	Efficient Numerical Solution of Discrete Multi-Component Cahn-Hilliard Systems Petia Boyanova and Maya Neytcheva. April 2012.
2012-008	Numerical Interaction of Boundary Waves with Perfectly Matched Layers in Elastic Waveguides Kenneth Duru and Gunilla Kreiss. April 2012.
2012-007	Boundary Waves and Stability of the Perfectly Matched Layer Kenneth Duru and Gunilla Kreiss. April 2012.
2012-006	Aspects of Plan Operators in a Tree Automata Framework Johanna Björklund, Eric Jönsson, and Lisa Kaati. April 2012.
2012-005	On the Stability of Stochastic Jump Kinetics Stefan Engblom. February 2012.
2012-004	Superconvergent Functional Output for Time-Dependent Problems using Finite Differences on Summation-By-Parts Form Jens Berg and Jan Nordström. February 2012.
2012-003	Design and Evaluation of the Bandwidth Bandit David Eklöv, Nikos Nikoleris, David Black-Schaffer, and Erik Hagersten. February 2012.
2012-002	Numerical and Computational Efficiency of Solvers for Two-Phase Problems O. Axelsson, P. Boyanova, M. Kronbichler, M. Neytcheva, and X. Wu. January 2012.
2012-001	Numerical Evaluation of the Communication-Avoiding Lanczos Algorithm Magnus Gustafsson, James Demmel, and Sverker Holmgren. January 2012.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2011-032	New Input-Output Pairing Strategies Based on Linear Quadratic Gaussian Control Björn Halvarsson, Torsten Wik, and Bengt Carlsson. December 2011.
2011-031	Om nya kontaktmönster i arbetslivet: Facebook, LinkedIn, Twitter Håkan Selg. December 2011. In Swedish.
2011-030	Multilevel Preconditioning of Graph-Laplacians: Polynomial Approximation of the Pivot Blocks Inverses P. Boyanova, I. Georgiev, S. Margenov, and L. Zikatanov. November 2011.
2011-029	VIPS: Simple Directory-Less Broadcast-Less Cache Coherence Protocol Alberto Ros and Stefanos Kaxiras. November 2011.
2011-028	Reducing Unnecessary Cognitive Load in Traffic Control Gunnika Isaksson-Luttemann, Bengt Sandblad, Arne W. Andersson, and Simon Tchirner. November 2011.
2011-027	Operative Tests of a New System for Train Traffic Control Gunnika Isaksson-Lutteman, Arvid Kauppi, Arne W Andersson, Bengt Sandblad, and Mikael Erlandsson. November 2011.
2011-026	A Hybrid Level-Set-Phase-Field Method for Two-Phase Flow with Contact Lines Martin Kronbichler and Gunilla Kreiss. December 2011.
2011-025	A Generic Interface for Parallel Cell-Based Finite Element Operator Application Martin Kronbichler and Katharina Kormann. November 2011.
2011-024	Multiscale Modeling of Capillary-Driven Contact Line Dynamics Martin Kronbichler, Claudio Walker, Gunilla Kreiss, and Bernhard Müller. November 2011.
2011-023	Efficient Sampling in Event-Driven Algorithms for Reaction-Diffusion Processes Hossein Bani-Hashemian, Stefan Hellander, and Per Lötstedt. October 2011.
2011-022	Stable Difference Methods for Block-Structured Adaptive Grids Magnus Gustafsson, Anna Nissen, and Katharina Kormann. October 2011.
2011-021	Om nya kontaktmönster i arbetslivet: SMS, chatt, e-post och telefoni - När används vad? Håkan Selg. October 2011. In Swedish.
2011-020	RBF-Generated Finite Differences for Nonlinear Transport on a Sphere: Shallow Water Simulations Natasha Flyer, Erik Lehto, Sébastien Blaise, Grady B. Wright, and Amik St-Cyr. September 2011.
2011-019	A Weak Boundary Procedure for High Order Finite Difference Approximations of Hyperbolic Problems Qaisar Abbas and Jan Nordström. September 2011.
2011-018	Computing Strong and Weak Bisimulations for Psi-Calculi - with proofs Magnus Johansson, Björn Victor, and Joachim Parrow. August 2011.
2011-017	Stability at Nonconforming Grid Interfaces for a High Order Discretization of the Schrödinger Equation Anna Nissen, Gunilla Kreiss, and Margot Gerritsen. August 2011. Typos corrected October 7, 2011.
2011-016	Implementation of a Collocated Boundary Element Method for Acoustic Wave Propagation in Multilayered Fluid Media Elena Sundkvist and Elisabeth Larsson. June 2011.
2011-015	Discretization of a Hybrid Model for Acoustic Wave Propagation in Layered Fluid Media Elena Sundkvist and Kurt Otto. June 2011. Updated 2011-08-08.
2011-014	High Order Stable Finite Difference Methods for the Schrödinger Equation Anna Nissen, Gunilla Kreiss, and Margot Gerritsen. May 2011.
2011-013	On the Impact of Model Accuracy for Active Damping of a Viscoelastic Beam Hans Norlander. May 2011.
2011-012	Stable Robin Boundary Conditions for the Navier-Stokes Equations Jens Lindström and Jan Nordström. April 2011.
2011-011	Efficient Preconditioners for Large Scale Binary Cahn-Hilliard Models Petia Boyanova, Minh Do-Quang, and Maya Neytcheva. April 2011.
2011-010	Control of Aeration Systems in Activated Sludge Plants - a review Linda Åmand. April 2011.
2011-009	Operator Splittings for Solving Nonlinear, Coupled Multiphysics Problems with an Application to the Numerical Solution of an Interface Problem Owe Axelsson and Maya Neytcheva. April 2011.
2011-008	Stable and Conservative Time Propagators for Second Order Hyperbolic Systems Kenneth Duru, Ken Mattsson, and Gunilla Kreiss. April 2011.
2011-007	A Framework for Continuously Adaptive DVFS Vasileios Spiliopoulos, Stefanos Kaxiras, and Georgios Keramidas. March 2011.
2011-006	Preconditioning the Incompressible Navier-Stokes Equations with Variable Viscosity Xin He and Maya Neytcheva. March 2011. Updated April 5, 2011.
2011-005	Coupled Mesoscopic and Microscopic Simulation of Stochastic Reaction-Diffusion Processes in Mixed Dimensions Andreas Hellander, Stefan Hellander, and Per Lötstedt. 2011.
2011-004	Solution Methods for the Cahn-Hilliard Equation Discretized by Conforming and Non-Conforming Finite Elements Petia Boyanova, Minh Do-Quang, and Maya Neytcheva. March 2011.
2011-003	URDME v. 1.1: User's manual Brian Drawert, Stefan Engblom, and Andreas Hellander. March 2011. The latest version of URDME can be obtained from www.urdme.org. For earlier versions of URDME consult Technical Report 2008-022.
2011-002	Benchmark Simulation Model no. 1 with a Wireless Sensor Network for Monitoring and Control Johannes Nygren and Bengt Carlsson. January 2011.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2010-031	Constant is Optimal - a Strategy for Resource Efficient Control of a Class of Processes Bengt Carlsson. December 2010.
2010-030	Spectral Analysis of the Continuous and Discretized Heat and Advection Equation on Single and Multiple Domains Jens Lindström and Jan Nordström. December 2010.
2010-029	A General Approach to Analyse Preconditioners for Two-by-Two Block Matrices Owe Axelsson and Maya Neytcheva. November 2010.
2010-028	Om professionell användning av sociala medier och andra digitala kanaler Håkan Selg. November 2010.
2010-027	Proceedings of the 9th Koli Calling International Conference on Computing Education Research Arnold Pears and Carsten Schulte. November 2010. Typographical updates 2010-11-25.
2010-026	On an Augmented Lagrangian-Based Preconditioning of Oseen Type Problems Xin He, Maya Neytcheva, and Stefano Serra Capizzano. November 2010.
2010-025	Recursive Identification and Scaling of Non-linear Systems using Midpoint Numerical Integration Soma Tayamon and Torbjörn Wigren. October 2010.
2010-024	Assessment of Density Matrix Methods for Electronic Structure Calculations Elias Rudberg and Emanuel H. Rubensson. October 2010.
2010-023	Summation by Parts Operators for Finite Difference Approximations of Second-Derivatives with Variable Coefficients Ken Mattsson. October 2010.
2010-022	MATLAB Software for Recursive Identification and Scaling Using a Structured Nonlinear Black-box Model - Revision 6 Torbjörn Wigren, Linda Brus, and Soma Tayamon. September 2010. Revised version of nr 2010-002. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2010-022/NRISSoftwareRev6.zip.
2010-021	Students' Conceptions of Computer Programming Michael Thuné and Anna Eckerdal. September 2010. The phenomenographic outcome space presented in this report has previously been published as part of a journal article (Thuné and Eckerdal 2009). Due to space limitations in the journal publication, we have found it appropriate to make available a more comprehensive description of the outcome space, in the present technical report.
2010-020	Input-Output Data Sets for Development and Benchmarking in Nonlinear Identification Torbjörn Wigren. August 2010. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2010-020/NonlinearData.zip
2010-019	StatCC: Design and Evaluation David Eklöv, David Black-Schaffer, and Erik Hagersten. June 2010.
2010-018	Interaction of Waves with Frictional Interfaces Using Summation-By-Parts Difference Operators, 2. Extension to Full Elastodynamics Jeremy E. Kozdon, Eric M. Dunham, and Jan Nordström. June 2010.
2010-017	Interaction of Waves with Frictional Interfaces Using Summation-By-Parts Difference Operators, 1. Weak Enforcement of Nonlinear Boundary Conditions Jeremy E. Kozdon, Eric M. Dunham, and Jan Nordström. June 2010.
2010-016	Parametric Identification of Complex Modulus A. Rensfelt and T. Söderström. June 2010.
2010-015	Constrained Monotonic Abstraction: a CEGAR for Parameterized Verification Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, and Ahmed Rezine. June 2010.
2010-014	Flexible Single Molecule Simulation of Reaction-Diffusion Processes Stefan Hellander and Per Lötstedt. May 2010.
2010-013	Ways to Understand Class Diagrams Jonas Boustedt. March 2010. Typographic updates 2010-05-04.
2010-012	A Student Perspective on Software Development and Maintenance Jonas Boustedt. March 2010.
2010-011	Recursive Prediction Error Identification and Scaling of Non-linear Systems with Midpoint Numerical Integration Soma Tayamon and Torbjörn Wigren. March 2010.
2010-010	Finite-Element Based Sparse Approximate Inverses for Block-Factorized Preconditioners Maya Neytcheva, Erik Bängtsson, and Elisabeth Linnér. March 2010.
2010-009	Case-Study for Different Models of Resource Brokering in Grid Systems Salman Toor, Bjarte Mohn, David Cameron, and Sverker Holmgren. March 2010.
2010-008	Online Nonlinear Identification of the Effect of Drugs in Anaesthesia Using a Minimal Parameterization and BIS Measurements Margarida Martins da Silva, Teresa Mendonça, and Torbjörn Wigren. March 2010.
2010-007	Parameter Estimation in a Pulsatile Hormone Secretion Model Egi Hidayat and Alexander Medvedev. March 2010.
2010-006	Stochastically Guaranteed Global Optimums Achievable with a Divide-and-Conquer Approach to Multidimensional QTL Searches Carl Nettelblad and Sverker Holmgren. March 2010.
2010-005	Assessing Orthogonality and Statical Properties of Linear Regression Methods for Interval Mapping with Partial Information Carl Nettelblad, Örjan Carlborg, and José M. lvarez-Castro. March 2010.
2010-004	A Well-posed and Discretely Stable Perfectly Matched Layer for Elastic Wave Equations in Second Order Formulation Kenneth Duru and Gunilla Kreiss. February 2010.
2010-003	Incorporating Active Transport of Cellular Cargo in Stochastic Mesoscopic Models of Living Cells Andreas Hellander and Per Lötstedt. February 2010.
2010-002	MATLAB Software for Recursive Identification and Scaling Using a Structured Nonlinear Black-box Model - Revision 5 Torbjörn Wigren, Linda Brus, and Soma Tayamon. January 2010. Revised version of nr 2008-007. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2010-002/NRISSoftwareRev5.zip. Note that the software package was updated on 2010-03-16.
2010-001	Computational and Visualization tools for Genetic Analysis of Complex Traits Mahen Jayawardena, Salman Toor, and Sverker Holmgren. January 2010.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2009-027	A Stable and High Order Accurate Conjugate Heat Transfer Problem Jens Lindström and Jan Nordström. November 2009.
2009-026	Spurious Currents in a Finite-Element Based Level Set Method for Two Phase Flow Sara Zahedi, Martin Kronbichler, and Gunilla Kreiss. November 2009.
2009-025	Sensei-UU: A Nomadic Sensor Network Testbed Supporting Mobile Nodes Olof Rensfelt, Frederik Hermansand Christofer Ferm, Per Gunningberg, and Lars-Åke Larzon. October 2009.
2009-024	AvI-index: A tool to assess usability Iordanis Kavathatzopoulos. October 2009.
2009-023	Nonlinear Identification of a Minimal NeuroMuscular Blockade Model in Anaesthesia Margarida Martins da Silva, Torbjörn Wigren, and Teresa Mendonca. September 2009.
2009-022	A Fourier-Coefficient Based Solution of an Optimal Control Problem in Quantum Chemistry Katharina Kormann, Sverker Holmgren, and Hans O. Karlsson. September 2009.
2009-021	Global Error Control of the Time-Propagation for the Schrödinger Equation with a Time-Dependent Hamiltonian Katharina Kormann, Sverker Holmgren, and Hans O. Karlsson. September 2009.
2009-020	Stable Computations with Gaussian Radial Basis Functions in 2-D Bengt Fornberg, Elisabeth Larsson, and Natasha Flyer. August 2009.
2009-019	Statstack: Efficient Modeling of LRU Caches David Eklöv and Erik Hagersten. July 2009.
2009-018	Automated Analysis of Data-Dependent Programs with Dynamic Memory Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederberg, and Ran Ji. June 2009.
2009-017	An Optimized Perfectly Matched Layer for the Schrödinger Equation Anna Nissen and Gunilla Kreiss. June 2009.
2009-016	Expressions for the Covariance Matrix of Covariance Data Torsten Söderström. May 2009.
2009-015	Två kulturer på Internet: Resultat av faktor- och klusteranalys Håkan Selg. May 2009. In Swedish.
2009-014	Revisiting and Extending Interface Penalties for Multi-Domain Summation-by-Parts Operators Mark H. Carpenter, Jan Nordström, and David Gottlieb. May 2009.
2009-013	Combinatorial and Simultaneous Auction: A Pragmatic Approach to Tighter Bounds on Expected Revenue Jim Wilenius. May 2009. Updated May 28, 2009.
2009-012	New Input/Output Pairing Strategies based on Minimum Variance Control and Linear Quadratic Gaussian Control Björn Halvarsson and Bengt Carlsson. May 2009. Updated June 2009.
2009-011	Well Posed, Stable and Weakly Coupled Fluid Structure Interaction Problems Jan Nordström and Sofia Eriksson. April 2009.
2009-010	An Adaptive Algorithm for Simulation of Stochastic Reaction-Diffusion Processes Lars Ferm, Andreas Hellander, and Per Lötstedt. April 2009.
2009-009	Analysis of the Order of Accuracy for Node-Centered Finite Volume Schemes Sofia Eriksson and Jan Nordström. March 2009.
2009-008	A Meta-Partitioner for Run-Time Selection and Evaluation of Multiple Partitioning Algorithms for SAMR Grid Hierarchies Henrik Johansson. March 2009.
2009-007	Run-Time Selection of Partitioning Algorithms for Parallel SAMR Applications Henrik Johansson. March 2009.
2009-006	A Stable and Conservative High Order Multi-block Method for the Compressible Navier-Stokes Equations Jan Nordström, Jing Gong, Edwin van der Weide, and Magnus Svärd. February 2009.
2009-005	Ideas for a new Erlang Sven-Olof Nyström. February 2009.
2009-004	The 8th Koli Calling International Conference on Computing Education Research Arnold Pears and Lauri Malmi. February 2009. Updated June 2009.
2009-003	A Search-based Network Architecture for Mobile Devices Erik Nordström, Per Gunningberg, and Christian Rohner. January 2009.
2009-002	Ways of Thinking and Practising in Introductory Programming Anna Eckerdal. 2009.
2009-001	A New Analysis of Revenue in the Combinatorial and Simultaneous Auction Arne Andersson and Jim Wilenius. January 2009. Updated May 2009.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2008-026	Stereoscopic Estimation of Surface Movement from Inter-Frame Matched Skin Texture Björn Holmberg. October 2008.
2008-025	High Dimensional Human Motion Estimation using Particle Filtering Björn Holmberg. October 2008.
2008-024	Regular Inference for Communication Protocol Entities Therese Bohlin and Bengt Jonsson. September 2008.
2008-023	Static and Dynamic Structural Symmetry Breaking Pierre Flener, Justin Pearson, and Meinolf Sellmann. September 2008.
2008-022	The URDME Manual version 1.0 Josef Cullhed, Stefan Engblom, and Andreas Hellander. September 2008.
2008-021	Användbara IT-stöd - En utvärdering av ett forskningsprojekt vid CSN, Centrala studiestödsnämnden Åsa Cajander, Elina Eriksson, Jan Gulliksen, Iordanis Kavathatzopoulos, and Bengt Sandblad. August 2008. In Swedish
2008-020	Parallel in Time Simulation of Multiscale Stochastic Chemical Kinetics Stefan Engblom. August 2008. Extended abstract to appear in Proceedings of ICNAAM 2008
2008-019	Stable Boundary Treatment for the Wave Equation on Second-Order Form Ken Mattsson, Frank Ham, and Gianluca Iaccarino. June 2008.
2008-018	A Complete Characterisation of the Classification Tree Problem Pierre Flener and Xavier Lorca. June 2008.
2008-017	Design and Implementation of a Dynamic and Adaptive Meta-Partitioner for Parallel SAMR Grid Hierarchies Henrik Johansson. June 2008.
2008-016	R-automata Parosh Aziz Abdulla, Pavel Krcal, and Wang Yi. June 2008.
2008-015	Monotonic Abstraction for Programs with Dynamic Memory Heaps Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, and Ahmed Rezine. 2008.
2008-014	Inference of Event-Recording Automata using Timed Decision Trees Olga Grinchtein and Bengt Jonsson. April 2008.
2008-013	Learning of Event-Recording Automata Olga Grinchtein, Bengt Jonsson, and Martin Leucker. April 2008.
2008-012	Simulation of Stochastic Reaction-Diffusion Processes on Unstructured Meshes Stefan Engblom, Lars Ferm, Andreas Hellander, and Per Lötstedt. April 2008.
2008-011	Numerical Analysis of Burgers' Equation with Uncertain Boundary Conditions Using the Stochastic Galerkin Method Per Pettersson, Gianluca Iaccarino, and Jan Nordström. March 2008.
2008-010	Parameterized Tree Systems Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, and Ahmed Rezine. March 2008. Accepted at FORTE'08: http://www-higashi.ist.osaka-u.ac.jp/FORTE08/.
2008-009	Linear and Nonlinear Regression with Application to Unbalance Estimation Peter Nauclér and Torsten Söderström. March 2008.
2008-008	Relations between Bias-Eliminating Least Squares, the Frisch Scheme and Extended Compensated Least Squares Methods for Identifying Errors-in-Variables Systems Mei Hong and Torsten Söderström. March 2008.
2008-007	MATLAB Software for Recursive Identification and Scaling Using a Structured Nonlinear Black-box Model - Revision 4 Torbjörn Wigren and Linda Brus. March 2008. Revised version of nr 2007-013. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2008-007/NRISoftwareRev4.zip. Note that the software package was updated on 2010-03-16.
2008-006	MATLAB Software for Feedforward Optimal Control of Systems with Flow Varying Time Delays - Revision 2 Linda Brus. March 2008. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2008-006/NOCSoftwareV2.zip
2008-005	A Discrete Spectral Method for the Chemical Master Equation Stefan Engblom. February 2008. Supersedes report nr 2006-036. Updated Feb 29, 2008.
2008-004	A New Analysis of Combinatorial vs Simultaneous Auctions: Revenue and Efficiency Arne Andersson and Jim Wilenius. February 2008.
2008-003	Ett förbättrat verktyg för mätning av användbarhet, stress och nytta: Andra försöket inom CSN Iordanis Kavathatzopoulos. January 2008. In Swedish.
2008-002	Equivalent Operator Preconditioning for Linear Elliptic Problems Owe Axelsson and Janos Karatson. January 2008. A preliminary version of the same article is published as Preprint 2007-04, ELTE Dept. Appl. Anal. Comp. Math., http://www.cs.elte.hu/applanal/preprints
2008-001	On the Plausibility of Using Skin Texture as Virtual Markers in the Human Motion Analysis Context, a 2D Study Björn Holmberg, Bo Nordin, Ewert Bengtsson, and Håkan Lanshammar. January 2008.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2007-035	Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols Mayank Saksena, Oskar Wibling, and Bengt Jonsson. December 2007. Updated March 2008. Extended abstract to appear in proc. 14th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008).
2007-034	PixelActiveSurface: A Tabletop Rear-Projection Display for Collaboration with Pixel-Accurate Interaction Stefan Seipel and Lars Winkler Pettersson. December 2007. Extended abstract appeared in ACM Conference on Supporting Group Work (GROUP'07).
2007-033	A Black-Box Generalized Conjugate Gradient Minimum Residual Method Based on Variable Preconditioners and Local Element Approximations Owe Axelsson, Radim Blaheta, and Maya Neytcheva. December 2007.
2007-032	Structural Symmetry Breaking for Constraint Satisfaction Problems Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, and Magnus Ågren. November 2007.
2007-031	Performing the Vision Seminar Process Niklas Hardenborg, Iordanis Kavathatzopoulos, and Bengt Sandblad. November 2007.
2007-030	Handling Parameterized Systems with Non-Atomic Global Conditions Parosh Abdulla, Noomene Ben Henda, Giorgio Delzanno, and Ahmed Rezine. November 2007. Updated 20 Mar 2008. To appear in the Proc. of VMCAI 2008
2007-029	A Hybrid Method for the Unsteady Compressible Navier-Stokes Equations Jing Gong, Jan Nordström, and Edwin van der Weide. October 2007.
2007-028	PDE and Monte Carlo Approaches to Solving the Master Equation Applied to Gene Regulation Paul Sjöberg. October 2007.
2007-027	Efficient Computation of Transient Solutions of the Chemical Master Equation Based on Uniformization and Quasi-Monte Carlo Andreas Hellander. October 2007.
2007-026	MATLAB Software for Feedforward Optimal Control of Systems with Flow Varying Time Delays Linda Brus. September 2007. A revised version can be found as technical report nr 2008-006. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2007-026/NOCSoftware.zip
2007-025	Polynomial Feedforward Design Techniques for a Mechanical Wave Diode System Peter Nauclér and Torsten Söderström. September 2007.
2007-024	Partial Order Reduction for Verification of Real-Time Components John Håkansson and Paul Pettersson. September 2007. A shorter version will appear in the Proceedings of FORMATS 2007, LNCS 4762, pp 211-226.
2007-023	Adaptive Solution of the Master Equation in Low Dimensions Lars Ferm and Per Lötstedt. September 2007.
2007-022	Accuracy Analysis of Time Domain Maximum Likelihood Method and Sample Maximum Likelihood Method for Errors-in-Variables Identification Mei Hong, Torsten Söderström, Johan Schoukens, and Rik Pintelon. September 2007.
2007-021	Comparison of Three Frisch Methods for Errors-in-Variables Identification Mei Hong, Torsten Söderström, Umberto Soverini, and Roberto Diversi. August 2007.
2007-020	A Hybrid Method for Unsteady Fluid Flow J. Nordström, F. Ham, M. Shoeybi, E. van der Weide, M. Svärd, K. Mattsson, G. Iaccarino, and J. Gong. August 2007.
2007-019	Simulations of Ground Effects on Wake Vortices at Runways Sofia Eriksson, Magnus Svärd, and Jan Nordström. June 2007.
2007-018	What is the Word for "Engineering" in Swedish: Swedish Students Conceptions of their Discipline Robin Adams, Sally Fincher, Arnold Pears, Jonas Boustedt, Jürgen Börstler, Peter Dalenius, Gunilla Eken, Tim Heyer, Andreas Jakobsson, Vanja Lindberg, Bengt Molin, Jan Erik Moström, and Mattias Wiggberg. June 2007.
2007-017	A Bandwidth Study of a DHT in a Heterogeneous Environment Olof Rensfelt and Lars-Åke Larzon. May 2007.
2007-016	A Cross-Environment Study of Routing Protocols for Wireless Multi-hop Networks Erik Nordström, Per Gunningberg, Christian Rohner, and Oskar Wibling. April 2007.
2007-015	MATLAB Software for Recursive Identification of Systems With Output Quantization Revision 1 Torbjörn Wigren. April 2007. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2007-015/QRISRev1.zip
2007-014	Parameterized Verification of Infinite-state Processes with Global Conditions Parosh Aziz Abdulla, Giorgio Delzanno, and Ahmed Rezine. April 2007. A short version of this paper will appear in the proceedings of Computer Aided Verification* (CAV) 2007.*
2007-013	MATLAB Software for Recursive Identification and Scaling Using a Structured Nonlinear Black-box Model - Revision 3 Torbjörn Wigren and Linda Brus. April 2007. Revised version of nr 2005-022. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2007-013/NRISoftwareRev3.zip
2007-012	Mathematical Model of Non-Basal Testosterone Regulation in the Male by Pulse Modulated Feedback Alexander Churilov, Alexander Medvedev, and Alexander Shepeljavyi. April 2007.
2007-011	A Hierarchy of Approximations of the Master Equation Scaled by a Size Parameter Lars Ferm, Per Lötstedt, and Andreas Hellander. April 2007.
2007-010	MATLAB software for Recursive Identification of Wiener Systems - Revision 2 Torbjörn Wigren. March 2007. The software package was updated to handle FIR systems, revision 3, April 2007. The updated software package and manual can be downloaded from http://www.it.uu.se/research/publications/reports/2007-010/WRIS.zip
2007-009	On Constraint-Oriented Neighbours for Local Search Magnus Ågren, Pierre Flener, and Justin Pearson. March 2007.
2007-008	Finite Element Block-Factorized Preconditioners Erik Bängtsson and Maya Neytcheva. March 2007.
2007-007	Composable Difference Operators for Coordinate Invariant Partial Differential Equations Malin Ljungberg. February 2007.
2007-006	Proceedings from the 6th Baltic Sea Conference in Computing Education Research, Koli Calling Anders Berglund and Mattias Wiggberg (eds.). February 2007.
2007-005	Stochastic Games with Lossy Channels Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg, and Luca de Alfaro. February 2007. Updated 14 December 2007. To appear in the proceedings of FoSSaCS 2008.
2007-004	Pricing American Options Using a Space-time Adaptive Finite Difference Method Jonas Persson. January 2007.
2007-003	Air-Traffic Complexity Resolution in Multi-Sector Planning Pierre Flener, Justin Pearson, Magnus Ågren, Carlos Garcia Avello, and Mete Çeliktin. January 2007.
2007-002	A Stable and Efficient Hybrid Scheme for Viscous Problems in Complex Geometries Jing Gong and Jan Nordström. January 2007.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2006-052	Regular Model Checking without Transducers (On Efficient Verification of Parameterized Systems) Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, and Ahmed Rezine. December 2006. To appear in the proceedings of TACAS 2007
2006-051	A Comparison Between Two Solution Techniques to Solve the Equations of Linear Isostasy Erik Bängtsson and Björn Lund. December 2006.
2006-050	AvI-enkäten: Ett verktyg för att mäta användbarhet, stress och nytta av IT-stöd Iordanis Kavathatzopoulos. December 2006. In Swedish
2006-049	The User as a Personality: A Reflection on the Theoretical and Practical Use of Personas in HCI Design Stefan Blomkvist. November 2006.
2006-048	Preconditioning of Boundary Value Problems using Elementwise Schur Complements Owe Axelsson, Radim Blaheta, and Maya Neytcheva. November 2006.
2006-047	A Performance Characterization of Load Balancing Algorithms for Parallel SAMR Applications Henrik Johansson and Johan Steensland. October 2006.
2006-046	Asymptotic Accuracy Analysis of Bias-Eliminating Least Squares Estimates for Identification of Errors in Variables Systems Mei Hong, Torsten Söderström, and Wei Xing Zheng. October 2006.
2006-045	Model-Based Testing of a WAP Gateway: an Industrial Case-Study Anders Hessel and Paul Pettersson. September 2006.
2006-044	Comparison of Time Domain Maximum Likelihood Method and Sample Maximum Likelihood Method in Errors-in-Variables Identification Mei Hong, Torsten Söderström, Johan Schoukens, and Rik Pintelon. September 2006.
2006-043	Case-Centered Learning of Scientific Computing Jarmo Rantakokko. September 2006.
2006-042	On the Far-Field Properties of an Acoustic Horn Eddie Wadbro. September 2006.
2006-041	Performance Modelling for Parallel PDE Solvers on NUMA-Systems Markus Nordén. August 2006.
2006-040	A Simplified Form of the Bias-Eliminating Least Squares Method for Errors-In-Variables Identification Mei Hong, Torsten Söderström, and Wei Xing Zheng. August 2006.
2006-039	Hybrid Method for the Chemical Master Equation Andreas Hellander and Per Lötstedt. August 2006.
2006-038	Geographical Locality and Dynamic Data Migration for OpenMP Implementations of Adaptive PDE Solvers Markus Nordén, Henrik Löf, Jarmo Rantakokko, and Sverker Holmgren. August 2006. To appear in Proceedings of the 2:nd International Workshop on OpenMP (IWOMP)
2006-037	Multi-Dimensional Option Pricing using Radial Basis Functions and the Generalized Fourier Transform Elisabeth Larsson, Krister Åhlander, and Andreas Hall. August 2006.
2006-036	A Discrete Spectral Method for the Chemical Master Equation Stefan Engblom. June 2006. Superseded by report nr 2008-005
2006-035	Mesh Independent Superlinear PCG Rates via Compact-Equivalent Operators Owe Axelsson and Janos Karátson. June 2006.
2006-034	Optimal Excitation for Nonparametric Identification of Viscoelastic Materials Agnes Rensfelt and Torsten Söderström. June 2006.
2006-033	Limiting Behavior of Markov Chains with Eager Attractors Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, and Sven Sandberg. June 2006.
2006-032	Extending the Frisch Scheme for Errors-in-Variables Identification to Correlated Output Noise Torsten Söderström. June 2006.
2006-031	A Case for Low-Complexity Multi-CMP Architectures Håkan Zeffer and Erik Hagersten. June 2006.
2006-030	The GTO Toolset and Method Lars-Henrik Eriksson. June 2006.
2006-029	Use of Domain Theories in Applied Formal Methods Lars-Henrik Eriksson. June 2006.
2006-028	Improved Radial Basis Function Methods for Multi-Dimensional Option Pricing Ulrika Pettersson, Elisabeth Larsson, Gunnar Marcusson, and Jonas Persson. May 2006.
2006-027	Error Bounded Schemes for Time-Dependent Hyperbolic Problems Jan Nordström. May 2006.
2006-026	Boundary Conditions for a Divergence Free Velocity-Pressure Formulation of the Incompressible Navier-Stokes Equations Jan Nordström, Ken Mattsson, and Charles Swanson. May 2006.
2006-025	Designing a Graphical User Interface for Train Traffic Control Johan Wikström, Arvid Kauppi, Arne W. Andersson, and Bengt Sandblad. 2006.
2006-024	Control Strategies for Managing Train Traffic, Difficulties Today and Solutions for the Future Arvid Kauppi, Johan Wikström, Bengt Sandblad, and Arne W. Andersson. May 2006.
2006-023	MPI Implementation of a PCG Solver for Nonconforming FEM Problems: Overlapping of Communications and Computations Gergana Bencheva, Svetozar Margenov, and Jirí Starý. May 2006.
2006-022	On Moving Average Parameter Estimation Niclas Sandgren and Petre Stoica. April 2006.
2006-021	High-Order Adaptive Space-Discretizations for the Black-Scholes Equation Gunilla Linde, Jonas Persson, and Lina von Sydow. April 2006.
2006-020	Combining Tree Partitioning, Precedence, Incomparability, and Degree Constraints, with an Application to Phylogenetic and Ordered-Path Problems Nicolas Beldiceanu, Pierre Flener, and Xavier Lorca. April 2006.
2006-019	Stable, Accurate and Efficient Interface Procedures for Viscous Problems Jing Gong and Jan Nordström. April 2006.
2006-018	Multigrid and Gauss-Seidel Smoothers Revisited: Parallelization on Chip Multiprocessors Dan Wallin, Henrik Löf, Erik Hagersten, and Sverker Holmgren. April 2006.
2006-017	Designing for Geometrical Symmetry Exploitation André Yamba Yamba, Krister Åhlander, and Malin Ljungberg. April 2006.
2006-016	Scalable RDF Views of Relational Databases through Partial Evaluation Johan Petrini and Tore Risch. March 2006. Updated April 2006
2006-015	Pricing Turbo Warrants Jonas Persson and Jonatan Eriksson. March 2006.
2006-014	Moving Mesh Adaptation for Aerodynamic Shape Optimization O. Amoignon. March 2006.
2006-013	Adjoint of a Median-Dual Finite-Volume Scheme Applied to 2D and 3D Transonic Aerodynamic Shape Optimization O. Amoignon and M. Berggren. March 2006.
2006-012	Uppsala Underdogs - A Robot Soccer Project Marianne Ahlford, Martin Andersson, Hanna Blomquist, Magnus Ekström, Lars Ericsson, Johannes Gumbel, Anna Holmgren, Petter Holmberg, Leonard Kia, Anton Lindström, Magnus Lyrberg, Shaman Mahmoudi, Bengt Nolin, Jesper Sundien, Henrik Wallentin, Olle Gällmo, Anders Hessel, Leonid Mokrushin, and Paul Pettersson. March 2006.
2006-011	Developing A-GPS as a Student Project Bahram Bahar, Adam Bolcsfoldi, Jonas Falkevik, Roger Jakobsen, Kristoer Kobosko, Jimmy Kallstrom, Alexander Harju, Andreas Hasselberg, Johan Persson, Mattias Wadman, Olle Gällmo, Anders Hessel, Leonid Mokrushin, and Paul Pettersson.. March 2006.
2006-010	Project Avatar - Developing a Distributed Mobile Phone Game Mattias Andreasson, Andrée Bylund, Syrus Dargahi, Daniel Johansson, Martin Larsson, Bennie Lundmark, Jonas Mellberg, Fredrik Stenh, Olle Gällmo, Anders Hessel, Leonid Mokrushin, and Paul Pettersson. March 2006. Online copy corrected April 7, 2006
2006-009	Eager Markov Chains Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, and Sven Sandberg. March 2006.
2006-008	Communicating Timed Automata: The More Synchronous, the More Difficult to Verify Pavel Krcal and Wang Yi. March 2006.
2006-007	Gaussian Quadratures with Respect to Discrete Measures Stefan Engblom. February 2006.
2006-006	ARTES - A Network for Real-Time Research and Graduate Education in Sweden 1997-2006 Hans Hansson (editor). 2006. Also published as report MDH-MRTC-197/2006-1-SE, Mälardalens Högskola.
2006-005	Inferring Variable Conflicts for Local Search from High-Level Models Magnus Ågren, Pierre Flener, and Justin Pearson. February 2006. Updated March 2006
2006-004	Symmetric Part Preconditioning of the CG for Stokes Type Saddle-Point Systems Owe Axelsson and Janos Karatson. February 2006.
2006-003	Intermittent Open Boundaries for Shallow Water Equations Fredrik Bergholm. February 2006.
2006-002	Statistical Analysis of the Frisch Scheme for Identifying Errors-in-Variables Systems Torsten Söderström. January 2006.
2006-001	Numerical Method for Coupling the Macro and Meso Scales in Stochastic Chemical Kinetics Lars Ferm and Per Lötstedt. January 2006.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2005-044	Fokker-Planck Approximation of the Master Equation in Molecular Biology Paul Sjöberg, Per Lötstedt, and Johan Elf. December 2005.
2005-043	Sparse Generalized Fourier Transforms Krister Åhlander. December 2005.
2005-042	Construction of Synthetic CDO Squared Olof Sivertsson. December 2005. M.Sc. thesis
2005-041	TMA: A Trap-Based Memory Architecture Håkan Zeffer, Zoran Radovic, Martin Karlsson, and Erik Hagersten. December 2005. Revised version of Technical Report 2005-015
2005-040	Conserving Memory Bandwidth in Chip Multi-Processors with Runahead Execution Martin Karlsson. December 2005.
2005-039	Mythbusters: Whatever You Thought About MANET Routing, Think Again... Erik Nordström, Richard Gold, and Per Gunningberg. November 2005.
2005-038	Modelling Fusion Calculus using HD-Automata GianLuigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, and Kidane Yemane. November 2005. A shorter version appeared in the proceedings of CALCO 2005
2005-037	HD-Automata for Open Bisimulation Marino Miculan, Emilio Tuosto, and Kidane Yemane. November 2005.
2005-036	Using Parallel Computing and Grid Systems for Genetic Mapping of Multifactorial Traits Mahen Jayawardena, Kajsa Ljungberg, and Sverker Holmgren. December 2005.
2005-035	Efficient Algorithms for Multi-Dimensional Global Optimization in Genetic Mapping of Complex Traits Kajsa Ljungberg, Kateryna Mishchenko, and Sverker Holmgren. November 2005.
2005-034	Detecting Symmetries in Relational Models of CSPs Maria Eriksson. November 2005. M.Sc. thesis
2005-033	Efficient Evaluation of the Residual Sum of Squares for Quantitative Trait Locus Models in the Case of Complete Marker Genotype Information Kajsa Ljungberg. November 2005.
2005-032	Efficient IT support in care for the elderly - Experiences from the VIHO project Niklas Johansson and Bengt Sandblad. November 2005.
2005-031	Boundary Conditions for a Divergence Free Velocity-Pressure Formulation of the Incompressible Navier-Stokes Equations Jan Nordström and R.C. Swanson. 9 November 2005.
2005-030	A Consistent Stabilized Formulation for a Nonsymmetric Saddle-Point Problem Erik Bängtsson. October 2005.
2005-029	Usability in Mobile IT systems Niklas Johansson and Stina Nylander. October 2005.
2005-028	A Statistical Multiprocessor Cache Model Erik Berg, Håkan Zeffer, and Erik Hagersten. October 2005.
2005-027	Fast Simulation of Concurrent Agents with P-Nets - the GPSim tool Timo Qvist. September 2005. M.Sc. thesis
2005-026	Waveguide Truncation Using UPML in the Finite-Element Time-Domain Method Erik Abenius, Fredrik Edelvik, and Christer Johansson. September 2005.
2005-025	Pre-Proceedings of the 3rd International Conference on Formal Modelling and Analysis of Timed Systems Paul Pettersson and Wang Yi (eds.). September 2005.
2005-024	Approaches for Continuous-Time Modeling in Errors-in-Variables Identification Torsten Söderström, Erik K. Larsson, Kaushik Mahata, and Magnus Mossberg. September 2005.
2005-023	Dimensional Reduction of the Fokker-Planck Equation for Stochastic Chemical Reactions Per Lötstedt and Lars Ferm. August 2005.
2005-022	MATLAB Software for Recursive Identification and Scaling Using a Structured Nonlinear Black-box Model - Revision 2 Torbjörn Wigren. August 2005. Revised version of nr 2005-002. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2005-022/NRISoftwareRev2.zip
2005-021	Accuracy Analysis of Bias-Eliminating Least Squares Estimates for Identification of Errors-in-Variables Systems Mei Hong, Torsten Söderström, and Wei Xing Zheng. August 2005.
2005-020	Computing the Moments of High Dimensional Solutions of the Master Equation Stefan Engblom. 30 June 2005.
2005-019	Computing the Covariance Matrix for PEM Estimates and the Cramer-Rao Lower Bound for Linear State Space Models Torsten Söderström. June 2005.
2005-018	A Participatory Process Supporting Design of Future Work Eva Olsson, Niklas Johansson, Jan Gulliksen, and Bengt Sandblad. 30 May 2005.
2005-017	Evaluation of Authentication Algorithms for Small Devices Tobias Bandh. May 2005.
2005-016	Adaptive Coherence Batching for Trap-Based Memory Architectures Håkan Zeffer and Erik Hagersten. May 2005.
2005-015	TMA: A Trap-Based Memory Architecture Håkan Zeffer, Zoran Radovic, Martin Karlsson, and Erik Hagersten. May 2005. A revised version is available as Technical Report 2005-041
2005-014	Daigan: Constructing Proxy Networks with SelNet Richard Gold and Mats Uddenfeldt. April 2005.
2005-013	Flexibility Implies Performance Håkan Zeffer, Zoran Radovic, and Erik Hagersten. April 2005.
2005-012	Customizable Parallel Execution of Scientific Stream Queries Milena Ivanova and Tore Risch. April 2005.
2005-011	A Flexible Model for Tree-Structured Multi-Commodity Markets Per Carlsson and Arne Andersson. April 2005. Extended version of conference paper accepted for IEEE CEC2005, München, July 2005
2005-010	Cost-Efficient Operation of a Denitrifying Activated Sludge Process - An Initial Study Pär Samuelsson, Björn Halvarsson, and Bengt Carlsson. April 2005.
2005-009	Disturbance Observer-Based Automotive Engine Vibration Isolation Dealing with Non-Linear Dynamics and Transient Excitation Claes Olsson. April 2005.
2005-008	Nonlinear Identification of a Solar Heating System Linda Brus. March 2005.
2005-007	Nonlinear Identification of an Anaerobic Digestion Process Linda Brus. March 2005.
2005-006	On Optimal Sensor Locations for Nonparametric Identification of Viscoelastic Materials Agnes Runqvist, Magnus Mossberg, and Torsten Söderström. February 2005.
2005-005	Accuracy Analysis of the Frisch Scheme for Identifying Errors-in-Variables Systems Torsten Söderström. February 2005.
2005-004	A Fully Abstract Encoding of the pi-Calculus with Data Terms Michael Baldamus, Joachim Parrow, and Björn Victor. February 2005. Updated April 2005
2005-003	Structure Flexibility Impacts on Robust Active Vibration Isolation Using Mixed Sensitivity Optimisation Claes Olsson. February 2005.
2005-002	MATLAB Software for Recursive Identification and Scaling Using a Structured Nonlinear Black-box Model - Revision 1 Torbjörn Wigren. January 2005. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2005-002/NRISoftware.zip
2005-001	Preconditioners Based on Fundamental Solutions Henrik Brandén and Per Sundqvist. January 2005. Revised version of IT technical report 2000-032

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2004-058	On the Understanding of Object and Class Anna Eckerdal. December 2004.
2004-057	Evaluation and Reflections on the Design of the WeAidU System Erik Borälv. December 2004.
2004-056	Design and Evaluation of the CHILI System Erik Borälv. December 2004.
2004-055	Space-Time Adaptive Finite Difference Method for European Multi-Asset Options Per Lötstedt, Jonas Persson, Lina von Sydow, and Johan Tysk. December 2004.
2004-054	Adaptive, Conservative Solution of the Fokker-Planck Equation in Molecular Biology Lars Ferm, Per Lötstedt, and Paul Sjöberg. November 2004.
2004-053	Recursive Algorithms for Estimating the Parameters in a One Dimensional Heat Diffusion System: Analysis Bharath Bhikkaji, Kaushik Mahata, and Torsten Söderström. November 2004.
2004-052	Recursive Algorithms for Estimating the Parameters in a One Dimensional Heat Diffusion System: Derivation and Implementation Bharath Bhikkaji, Torsten Söderström, and Kaushik Mahata. November 2004.
2004-051	Comparative Study of Recursive Parameter Estimation Algorithms with Application to Active Vibration Isolation Claes Olsson. November 2004.
2004-050	High Order Summation by Parts Operator Based on a DRP Scheme Applied to 2D Aeroacoustics Stefan Johansson. October 2004.
2004-049	A Design Case: Interactive Sports Content Broadcasting Erik Borälv, Niklas Johansson, Emmanuel Papaioannou, and Athanasios Demiris. October 2004.
2004-048	Algorithmic Optimizations of a Conjugate Gradient Solver on Shared Memory Architectures Henrik Löf and Jarmo Rantakokko. October 2004.
2004-047	Assessing Health and Moral Stress in IT-Based Work Iordanis Kavathatzopoulos, Jenny Öhman Persson, and Carl Åborg. October 2004.
2004-046	Market Simulations Per Carlsson. October 2004.
2004-045	A Flexible Model for Tree-Structured Multi-Commodity Markets Per Carlsson and Arne Andersson. October 2004.
2004-044	Kelb - A Real-Time Programming Environment for the Sony Aibo Erik Cedheim, Ramzi Ferchichi, Anders Jonsson, Dan Lind, Henrik Nyman, Olof Sivertsson, Andreas Widenfalk, Jöns Åkerlund, Leonid Mokrushin, and Paul Pettersson. October 2004.
2004-043	Skattekontoret i Falun: Ett mönsterkontor Iordanis Kavathatzopoulos, Jenny Persson, and Carl Åborg. October 2004. In Swedish. Originally written 2002
2004-042	Boundary Summation Equations Per Sundqvist. September 2004.
2004-041	Proceedings of the 16th Nordic Workshop on Programming Theory Paul Pettersson and Wang Yi (Eds.). October 2004.
2004-040	On the Order of Accuracy for Difference Approximations of Initial-Boundary Value Problems Magnus Svärd and Jan Nordström. September 2004.
2004-039	A Stable Hybrid Method for Hyperbolic Problems Jing Gong and Jan Nordström. September 2004.
2004-038	Different Methods that Reduce Cost in Monostatic RCS Computations for MOM Accelerated by MLFMA Martin Nilsson. September 2004. To appear in Proceedings of EMB04 - Computational Electromagnetics - Methods and Applications, October 18-19, 2004
2004-037	Identification of Dynamic Errors-in-Variables Systems with Periodic Data Torsten Söderström and Mei Hong. August 2004.
2004-036	High Order Finite Difference Operators with the Summation by Parts Property Based on DRP Schemes Stefan Johansson. August 2004.
2004-035	Bias Analysis in Least Squares Estimation of Periodic Signals Using Nonlinear ODE's Emad Abd-Elrady and Torsten Söderström. August 2004.
2004-034	Decidability of Zenoness, Token Liveness and Boundedness of Dense-Timed Petri Nets Parosh Abdulla, Pritha Mahata, and Richard Mayr. August 2004. To appear in FSTTCS '04
2004-033	Closed, Open and Robust Timed Networks Parosh Abdulla, Johann Deneux, and Pritha Mahata. August 2004. To appear in Infinity '04
2004-032	Curvilinear Coordinates in a PDE Solver Framework; Validation Malin Ljungberg and Kurt Otto. August 2004.
2004-031	Curvilinear Coordinates in a PDE Solver Framework; Analysis Malin Ljungberg. August 2004.
2004-030	Time Step Restrictions using Semi-Implicit Methods for the Incompressible Navier-Stokes Equations Wendy Kress and Per Lötstedt. July 2004.
2004-029	On Applications of the Generalized Fourier Transform in Numerical Linear Algebra Krister Åhlander and Hans Munthe-Kaas. July 2004.
2004-028	Using Formal Methods in a Retrospective Safety Case Lars-Henrik Eriksson. July 2004. Accepted for publication in the Proceedings of the 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP'04)
2004-027	Reorganisation in the Skewed-Associative TLB Thorild Selén. June 2004. M.Sc. thesis
2004-026	Ad Hoc Protocol Evaluation and Experiences of Real World Ad Hoc Networking David Lundberg. June 2004. M.Sc. thesis
2004-025	Feasibility Study of WLAN Technology for the Uppsala - Stockholm Commuter Train David Lundberg. June 2004.
2004-024	Low Power and Conflict Tolerant Cache Design Mathias Spjuth, Martin Karlsson, and Erik Hagersten. May 2004.
2004-023	Interactive Learning of Algorithms Jarmo Rantakokko. May 2004. Accepted to Third Program Visualization Workshop* (PVW'2004)*
2004-022	Compositional Derivation of Symmetries for Constraint Satisfaction Pascal Van Hentenryck, Pierre Flener, Justin Pearson, and Magnus Ågren. May 2004.
2004-021	Efficient Data-Locality Analysis of Long-Running Applications Erik Berg and Erik Hagersten. May 2004.
2004-020	Generic Programming Aspects of Symmetry Exploiting Numerical Software Malin Ljungberg and Krister Åhlander. May 2004. 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
2004-019	Eigenvalue Estimates for Preconditioned Saddle Point Matrices Owe Axelsson and Maya Neytcheva. May 2004.
2004-018	User Interface Design for Multi-platform Interactive Sports Content Broadcasting Emmanuel Papaioannou, Erik Borälv, Athanasios Demiris, Niklas Johansson, and Nikolaos Ioannidis. May 2004. Accepted to AVI 2004 (Advanced Visual Interfaces), Gallipoli (Lecce), Italy
2004-017	Better-Structured Transition Systems Parosh Aziz Abdulla and Aletta Nylen. April 2004.
2004-016	Numerical Solution Methods for Glacial Rebound Models Maya Neytcheva, Erik Bängtsson, and Björn Lund. April 2004. Typographic corrections April 2005
2004-015	Set Variables and Local Search Magnus Ågren. April 2004. Updated May 2004
2004-014	Analysis of the Input-Output Couplings in a Wastewater Treatment Plant Model Pär Samuelson, Björn Halvarsson, and Bengt Carlsson. April 2004.
2004-013	Inter-Networking MPLS and SelNet Andreas Westling. April 2004. M.Sc. thesis
2004-012	Multi-Clock Timed Networks Parosh Aziz Abdulla, Johann Deneuz, and Pritha Mahata. April 2004.
2004-011	Randomized Subexponential Algorithms for Infinite Games Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. April 2004.
2004-010	Relationally Staged Computations in Calculi of Mobile Processes Neil Ghani, Kidane Yemane, and Björn Victor. March 2004. Accepted for CMCS 2004
2004-009	A Characterization of a Hybrid and Dynamic Partitioner for SAMR Applications Henrik Johansson and Johan Steensland. March 2004.
2004-008	An Integrating Linearization Method for Static Input Nonlinearities Pär Samuelsson and Bengt Carlsson. March 2004.
2004-007	Comparison of Gateway Forwarding Strategies in Ad hoc Networks Erik Nordström, Per Gunningberg, and Christian Tschudin. March 2004.
2004-006	Improving Geographical Locality of Data for Shared Memory Implementations of PDE Solvers Henrik Löf, Markus Nordén, and Sverker Holmgren. February 2004.
2004-005	Evaluation, Implementation and Performance of Write Permission Caching in the DSZOOM System Håkan Zeffer, Zoran Radovic, Oskar Grenholm, and Erik Hagersten. February 2004. Updated June 2004
2004-004	Recursive Prediction Error Identification of Nonlinear State Space Models Torbjörn Wigren. January 2004.
2004-003	Problems of High Dimension in Molecular Biology Johan Elf, Per Lötstedt, and Paul Sjöberg. January 2004. This paper was presented at the 19th GAMM-Seminar in Leipzig, January 23-25, 2003.
2004-002	On the Expressiveness of CCS-like Calculi Pablo Giambiagi, Gerardo Schneider, and Frank D. Valencia. January 2004.
2004-001	Maximum Likelihood Modeling of Orbits of Nonlinear ODEs Torsten Söderström, Torbjörn Wigren, and Emad Abd-Elrady. January 2004.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2003-065	A Backward/Forward Strategy for Verifying Safety Properties of Infinite-State Systems Michael Baldamus, Richard Mayr, and Gerardo Schneider. December 2003.
2003-064	High Order Accurate Solution of the Incompressible Navier-Stokes Equations Arnim Brüger, Bertil Gustafsson, Per Lötstedt, and Jonas Nilsson. December 2003.
2003-063	Spi Calculus Translated to pi-Calculus Preserving May-Testing Michael Baldamus, Joachim Parrow, and Björn Victor. December 2003.
2003-062	Polyadic History-Dependent Automata for the Fusion Calculus Emilio Tuosto, Björn Victor, and Kidane Yemane. December 2003.
2003-061	Space-Time Adaptive Solution of First Order PDEs Lars Ferm and Per Lötstedt. December 2003.
2003-060	Realism in Project-Based Software Engineering Courses: Rewards, Risks, and Recommendations Pierre Flener. December 2003.
2003-059	Pricing European Multi-asset Options Using a Space-time Adaptive FD-method Jonas Persson and Lina von Sydow. December 2003.
2003-058	StatCache: A Probabilistic Approach to Efficient and Accurate Data Locality Analysis Erik Berg and Erik Hagersten. December 2003.
2003-057	Low-Overhead Spatial and Temporal Data Locality Analysis Erik Berg and Erik Hagersten. December 2003.
2003-056	Forward Reachability Analysis of Timed Petri Nets Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, and Aletta Nylén. December 2003.
2003-055	Rapid Solution of Parameter-Dependent Linear Systems for Electromagnetic Problems in the Frequency Domain Martin Nilsson. November 2003.
2003-054	Stability of the Fast Multipole Method for Helmholtz Equation in Three Dimensions Martin Nilsson. November 2003.
2003-053	Approaches to Reduce the Computational Cost when Solving Linear Systems of Equations Arising in Boundary Element Method Discretizations Erik Bängtsson and Maya Neytcheva. November 2003.
2003-052	Well Posed Boundary Conditions for the Navier-Stokes Equations Magnus Svärd and Jan Nordström. November 2003. Updated March 2004
2003-051	Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata Pavel Krcal and Wang Yi. November 2003.
2003-050	Hierarchical Modeling and Analysis of Timed Systems Alexandre David. November 2003. PhD thesis
2003-049	A Parallel Shared Memory Implementation of the Fast Multipole Method for Electromagnetics Martin Nilsson. October 2003.
2003-048	Interface Capabilities for Query Processing in Peer Mediator Systems Timour Katchaounov and Tore Risch. September 2003.
2003-047	Simuleringsmotor för tågtrafik med stöd för experimentell konfiguration Jimmy Flink. September 2003. M.Sc. thesis. In Swedish
2003-046	The Elbow Cache: A Power-Efficient Alternative to Highly Associative Caches Mathias Spjuth, Martin Karlsson, and Erik Hagersten. September 2003.
2003-045	A Polyvariant Type Analysis for Erlang Sven-Olof Nyström. September 2003.
2003-044	Cache Memory Behavior of Advanced PDE Solvers Dan Wallin, Henrik Johansson, and Sverker Holmgren. August 2003. A short version of this paper will appear in the proceedings of Parallel Computing 2003* (ParCo2003), Dresden, Germany*
2003-043	Simultaneous Search for Multiple QTL Using the Global Optimization Algorithm DIRECT Kajsa Ljungberg, Sverker Holmgren, and Örjan Carlborg. August 2003.
2003-042	Invariance Kernels of Polygonal Differential Inclusions Gerardo Schneider. August 2003. Updated October 2003
2003-041	A Compact Fourth Order Time Discretization Method for the Wave Equation Wendy Kress. August 2003.
2003-040	Error Estimates for Deferred Correction Methods in Time Wendy Kress. August 2003.
2003-039	Insights to Angluin's Learning Therese Berg, Bengt Jonsson, Martin Leucker, and Mayank Saksena. August 2003.
2003-038	On Fixed-Parameter Complexity of Infinite Games Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. August 2003.
2003-037	Bundling: Reducing the Overhead of Multiprocessor Prefetchers Dan Wallin and Erik Hagersten. August 2003.
2003-036	Periodic Signal Modeling Based on Liénard's Equation Emad Abd-Elrady, Torsten Söderström, and Torbjörn Wigren. August 2003.
2003-035	Theoretical and Computational Aspects of Multivariate Interpolation with Increasingly Flat Radial Basis Functions Elisabeth Larsson and Bengt Fornberg. June 2003.
2003-034	Preconditioned Implicit Solution of Linear Hyperbolic Equations with Adaptivity Per Lötstedt, Alison Ramage, Lina von Sydow, and Stefan Söderberg. May 2003.
2003-033	A Gradient Based Optimisation Algorithm for the Design of Brass-Wind Instruments Daniel Noreland. May 2003.
2003-032	Impedance Boundary Conditions for Acoustic Waves in a Duct with a Step Discontinuity Daniel Noreland. May 2003.
2003-031	Ill-Posedness of Absorbing Boundary Conditions Applied on Convex Surfaces Daniel Noreland. May 2003.
2003-030	Adaptive Control of the Nitrate Level in an Activated Sludge Process Using an External Carbon Source - Extended Version M. Ekman, P. Samuelsson, and B. Carlsson. May 2003. A shorter version is also available in: Preprints of Reglermöte 2002, Linköping, Sweden, May 29-30 2002, pp 308-313, and another version in: Proc. of the 1st World Water Congress of the IWA. Melbourne, 2002 (poster presentation). Updated July 2003
2003-029	Latency-hiding and Optimizations of the DSZOOM Instrumentation System Oskar Grenholm, Zoran Radovic, and Erik Hagersten. May 2003.
2003-028	Limiting Properties of Sampled Stochastic Systems Erik K. Larsson. May 2003.
2003-027	A Tractable Mechanism for Time Dependent Markets Per Carlsson, Arne Andersson, and Fredrik Ygge. April 2003. Updated October 2004 with new complexity results
2003-026	THROOM - Running POSIX Multithreaded Binaries on a Cluster Henrik Löf, Zoran Radovic, and Erik Hagersten. April 2003.
2003-025	Second Order ODEs are Sufficient for Modeling of Many Periodic Signals Torbjörn Wigren and Torsten Söderström. April 2003.
2003-024	Algorithmic Improvements in Regular Model Checking Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, and Julien d'Orso. April 2003. Extended version of paper accepted for publication in in CAV'2003
2003-023	Time Compact Difference Methods for Wave Propagation in Discontinuous Media Bertil Gustafsson and Per Wahlund. April 2003.
2003-022	Reduced order models for a two-dimensional heat diffusion system Bharath Bhikkaji, Kaushik Mahata, and Torsten Söderström. April 2003.
2003-021	LUNAR: Lightweight Underlay Network Ad-hoc Routing Christian Tschudin and Richard Gold. April 2003. Originally written January 2002; updated April 2002
2003-020	SelNet: A Translating Underlay Network Christian Tschudin and Richard Gold. April 2003. Originally written October 2001
2003-019	Randomized Subexponential Algorithms for Parity Games Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. April 2003.
2003-018	Steady State Computations Using Summation-by-Parts Operators Magnus Svärd, Ken Mattsson, and Jan Nordström. March 2003.
2003-017	An Improved Subexponential Algorithm for Parity Games Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. March 2003.
2003-016	Time Compact High Order Difference Methods for Wave Propagation Bertil Gustafsson and Eva Mossberg. March 2003.
2003-015	Algorithms for Combinatorial Optimization and Games Adapted from Linear Programming Henrik Björklund and Sven Sandberg. March 2003.
2003-014	Towards Automatic Generation and Evaluation of Implied Constraints Brahim Hnich, Julian Richardson, and Pierre Flener. March 2003.
2003-013	Stable Artificial Dissipation Operators for High Order Finite Difference Schemes Ken Mattsson, Magnus Svärd, and Jan Nordström. February 2003.
2003-012	Finite Difference Approximations of Second Derivatives on Summation by Parts Form Ken Mattsson and Jan Nordström. February 2003. Updated 2003-03-21
2003-011	A Tool Architecture for the Next Generation of UPPAAL Alexandre David, Gerd Behrmann, Kim G. Larsen, and Wang Yi. February 2003.
2003-010	A Formal Semantics for UML Statecharts Alexandre David, Johann Deneux, and Julien d'Orso. February 2003.
2003-009	Verification of UML Statecharts with Real-Time Extensions Alexandre David, M. Oliver Möller, and Wang Yi. February 2003.
2003-008	Program Schemas as Proof Methods Julian Richardson and Pierre Flener. February 2003.
2003-007	Discrete Fundamental Solution Preconditioning for Hyperbolic Systems of PDE Henrik Brandén, Sverker Holmgren, and Per Sundqvist. February 2003.
2003-006	An Algorithm for Computing Fundamental Solutions of Difference Operators Henrik Brandén and Per Sundqvist. February 2003.
2003-005	Solving the linearized Navier-Stokes equations using semi-Toeplitz preconditioning Samuel Sundberg. February 2003.
2003-004	Subspace estimation of real-valued sine wave frequencies Kaushik Mahata and Torsten Söderström. January 2003.
2003-003	A Stable and Accurate Summation-by-Parts Finite Volume Formulation of the Laplacian Operator Magnus Svärd and Jan Nordström. January 2003.
2003-002	On Combinatorial Structure and Algorithms for Parity Games Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. January 2003.
2003-001	Downward Closed Language Generators Parosh Abdulla, Johann Deneux, Pritha Mahata, and Aletta Nylén. January 2003.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2002-041	A Minimum Residual Interpolation Method for Linear Equations with Multiple Right Hand Sides Per Lötstedt and Martin Nilsson. December 2002.
2002-040	Why are errors-in-variables problems often tricky? Torsten Söderström. November 2002.
2002-039	Uniform estimate of the constant in the strengthened CBS inequality for anisotropic non-conforming FEM systems R. Blaheta, S. Margenov, and M. Neytcheva. November 2002.
2002-038	Verification of Probabilistic Systems with Faulty Communication Parosh Aziz Abdulla and Alexander Rabinovich. November 2002.
2002-037	Trace-Driven Network Path Emulation Bob Melander and Mats Björkman. November 2002.
2002-036	Control Errors in CFD! Bernhard Müller. October 2002. Invited lecture to appear in the Proceedings of the 20th Aerospace Numerical Simulation Symposium at the National Aerospace Laboratory of Japan, held in Tokyo on July 3-5, 2002
2002-035	Accuracy Requirements for Steady and Transient Aerodynamics Ken Mattsson, Magnus Svärd, Mark Carpenter, and Jan Nordström. October 2002.
2002-034	Numerical Solution of the Linearized Euler Equations Using High Order Finite Difference Operators with the Summation by Parts Property Stefan Johansson. October 2002. Updated version, March 2003, available at http://www.it.uu.se/research/publications/reports/2002-034/2002-034-updated (PDF and Postscript)
2002-033	Memoryless Determinacy of Parity and Mean Payoff Games: A Simple Proof Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. October 2002. Updated journal version, March 2003, available at http://www.it.uu.se/research/publications/reports/2002-033/2002-033-journal
2002-032	Health Problems with Electronic Document Handling: a longitudinal study Carl Åborg and Anders Billing. October 2002.
2002-031	Telework Work Environment and Well Being: A Longitudinal Study Carl Åborg, Elisabeth Fernström, and Mats Ericson. October 2002.
2002-030	An Experimental Study of Algorithms for Completely Unimodal Optimization Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. October 2002.
2002-029	Domain Decomposition of the Padé Scheme and Pseudo-Spectral Method, Used in Vlasov Simulations Bengt Eliasson. October 2002.
2002-028	Numerical Modelling of the Two-Dimensional Vlasov-Maxwell System Bengt Eliasson. October 2002.
2002-027	OpenMP versus MPI for PDE Solvers Based on Regular Sparse Numerical Operators Markus Nordén, Sverker Holmgren, and Michael Thuné. October 2002.
2002-026	A Discrete Subexponential Algorithm for Parity Games Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. September 2002.
2002-025	Workshop on Real-Time Tools (Proceedings) Paul Petterson and Wang Yi (eds.). July 2002.
2002-024	Time Accurate Simulation: Making a PC Behave Like a 8-Bit Embedded CPU Jakob Engblom and Magnus Nilsson. July 2002.
2002-023	Anisotropic grid adaptation for Navier-Stokes' equations Lars Ferm and Per Lötstedt. June 2002.
2002-022	Coping with Communication Gray Zones in IEEE 802.11b based Ad hoc Networks Henrik Lundgren, Erik Nordström, and Christian Tschudin. June 2002.
2002-021	Generalizing Chaitin's Algorithm: Graph-Coloring Register Allocation for Irregular Architectures Johan Runeson and Sven-Olof Nyström. May 2002.
2002-020	Code Synthesis for Timed Automata Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, and Wang Yi. May 2002.
2002-019	Shape optimization of an acoustic horn Erik Bängtsson, Daniel Noreland, and Martin Berggren. May 2002.
2002-018	Optimization on Completely Unimodal Hypercubes Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. May 2002.
2002-017	The Windscreen Used as a Display for Navigation Information. An introductory study Eva Olsson, Stefan Seipel, Anders Jansson, and Bengt Sandblad. May 2002.
2002-016	A New Technique for Accurate and Stable Modeling of Arbitrarily Oriented Thin Wires in the FDTD Method Fredrik Edelvik. April 2002.
2002-015	Differentiated Security in Wireless Networks Andreas Johnsson. April 2002. M.Sc. thesis
2002-014	Analysis of a semi-Toeplitz preconditioner for a convection-diffusion problem Samuel Sundberg and Lina von Sydow. April 2002.
2002-013	Effects of Branch Predictors on Execution Time Jakob Engblom. April 2002.
2002-012	Accurate and Stable Grid Interfaces for Finite Volume Methods Lars Ferm and Per Lötstedt. March 2002.
2002-011	Statistical Derivation of an Accurate Energy Consumption Model for Embedded Processors Sheayun Lee, Andreas Ermedahl, Sang Lyul Min, and Naehyuck Chang. March 2002.
2002-010	Automated Analysis of Dynamic Web Services Jonas Boustedt. March 2002. M.Sc. thesis
2002-009	SILK: Scout Paths in the Linux Kernel Andy Bavier, Thiemo Voigt, Mike Wawrzoniak, Larry Peterson, and Per Gunningberg. February 2002.
2002-008	Two Adversary Lower Bounds for Parity Games Henrik Björklund and Sergei Vorobyov. February 2002.
2002-007	An Unconditionally Stable Subcell Model for Arbitrarily Oriented Thin Wires in the FETD Method F. Edelvik, G. Ledfelt, P. Lötstedt, and D. J. Riley. February 2002.
2002-006	How do students understand network protocols? A phenomenographic study Anders Berglund. February 2002.
2002-005	Efficient Kernel Algorithms for QTL Mapping Problems Kajsa Ljungberg, Sverker Holmgren, and Örjan Carlborg. February 2002.
2002-004	Användare i systemutvecklingsprocessen - ett fenomenologiskt perspektiv Mats Löfberg, Jan Gulliksen, and Torsten Norlander. February 2002. In Swedish
2002-003	Stable and accurate artificial dissipation Ken Mattsson, Magnus Svärd, and Jan Nordström. January 2002.
2002-002	Methods and application of interactive 3D computer graphics in anthropology S. Seipel and M. Lindkvist. January 2002.
2002-001	Combining Wavelets with Finite Differences: Consistency Analysis Sônia M. Gomes and Bertil Gustafsson. January 2002.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2001-030	Validating a Worst-Case Execution Time Analysis Method for an Embedded Processor Jakob Engblom, Andreas Ermedahl, and Friedhelm Stappert. December 2001.
2001-029	A Large-scale Testbed for Reproducible Ad hoc Protocol Evaluations Henrik Lundgren, David Lundberg, Johan Nielsen, Erik NordstrÃ¶m, and Christian Tschudin. November 2001. A shorter version of this paper is accepted for publication in the proceedings of IEEE WCNC'02
2001-028	Wireless communication in telemedicine using Bluetooth and IEEE 802.11b Magnus Berggren. November 2001. M.Sc. thesis
2001-027	On the use of flexural wave propagation experiments for identification of complex modulus K. Mahata, T. Söderström, M. Mossberg, L. Hillström, and S. Mousavi. November 2001. Also in the proceedings of 3rd International Conference on Identification of Engineering System, Swansea 2002
2001-026	Usability Throughout the Entire Software Development Lifecycle - A Summary of the INTERACT 2001 Workshop Jan Gulliksen and Inger Boivie. November 2001.
2001-025	Is Randomized Gurvich-Karzanov-Khachiyan's Algorithm for Parity Games Polynomial? Emmanuel Beffara and Sergei Vorobyov. November 2001.
2001-024	A hybrid method for the wave equation Larisa Beilina, Klas Samuelsson, and Krister Åhlander. October 2001. Also available as Preprint 2001-14 in Chalmers Finite Element Center Preprint series
2001-023	Matrix Modelling Pierre Flener, Alan Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, and Toby Walsh. September 2001. Also released as Technical Report APES-36-2001 of the APES group, 2001, available at http://www.dcs.st-and.ac.uk/~apes/reports/apes-36-2001.ps.gz. Appears in the Proceedings of the CP-01 Workshop on Modelling and Problem Formulation. 7th International Conference on the Principles and Practice of Constraint Programming, 2001
2001-022	Symmetry in Matrix Models Pierre Flener, Alan Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, and Toby Walsh. September 2001. Also released as Technical Report APES-30-2001 of the APES group, 2001, available at http://www.dcs.st-and.ac.uk/~apes/reports/apes-30-2001.ps.gz. Appears in the Proceedings of the CP-01 Workshop on Symmetry in Constraints. 7th International Conference on the Principles and Practice of Constraint Programming, 2001
2001-021	Usability and Design Decisions in Software Development Inger Boivie. September 2001.
2001-020	Adapting Gurvich-Karzanov-Khachiyan's Algorithm for Parity Games: Implementation and Experimentation Emmanuel Beffara and Sergei Vorobyov. September 2001.
2001-019	Boundary conditions and estimates for the linearized Navier-Stokes equations on staggered grids Wendy Kress and Jonas Nilsson. September 2001.
2001-018	An adaptive grid point RPEM algorithm for harmonic signal modeling Emad Abd-Elrady. August 2001.
2001-017	Experiments with Iterative Improvement Algorithms on Completely Unimodal Hypercubes Henrik Björklund, Viktor Petersson, and Sergei Vorobyov. August 2001.
2001-016	User-Centred Design of a Train Driver Display Robert Stjernström. August 2001. M.Sc. thesis
2001-015	On coordinate transformations for summation-by-parts operators Magnus Svärd. August 2001.
2001-014	Workshop on Real-Time Tools (Proceedings) Paul Pettersson and Sergio Yovine. August 2001.
2001-013	Lokförarens informationsmiljö och ATC. Ett användarperspektiv Eva Olsson, Lena Kecklund, Michael Ingre, and Anders Jansson. June 2001. In Swedish
2001-012	Efficient Longest Executable Path Search for Programs with Complex Flows and Pipeline Effects Friedhelm Stappert, Andreas Ermedahl, and Jakob Engblom. June 2001.
2001-011	Perspectives on errors-in-variables estimation for dynamic systems Torsten Söderström, Umberto Soverini, and Kaushik Mahata. May 2001.
2001-010	Dealing with Memory-Intensive Web Requests Thiemo Voigt and Per Gunningberg. May 2001.
2001-009	Reducing Memory Usage in Symbolic State-Space Exploration for Timed Systems Johan Bengtsson. May 2001.
2001-008	Parity Games: Interior-Point Approach Viktor Petersson and Sergei Vorobyov. May 2001.
2001-007	Validation of Cycle-Accurate CPU Simulators against Real Hardware Sven Montan. April 2001. M.Sc. thesis
2001-006	Identification of Continuous-Time AR Processes by Using Limiting Properties of Sampled Systems Erik K. Larsson and Torsten Söderström. March 2001.
2001-005	Firewalls in Linux: Principles and Implementation Yordanos G. Beyene. February 2001. M.Sc. thesis
2001-004	High Order Numerical Simulation of Sound Generated by the Kirchhoff Vortex Bernhard Müller and H.C. Yee. February 2001. Published as RIACS Technical Report 01.02, Jan. 2001, NASA Ames Research Center, and submitted to Computing and Visualization in Science
2001-003	Adaptive Iteration to Steady State of Flow Problems Karl Hörnell and Per Lötstedt. February 2001.
2001-002	Dynamic Structured Grid Hierarchy Partitioners Using Inverse Space-Filling Curves Johan Steensland. February 2001.
2001-001	A Randomized Subexponential Algorithm for Parity Games Viktor Petersson and Sergei Vorobyov. January 2001.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

2000-035	Convergence acceleration for the steady state Euler equations Henrik Brandén and Sverker Holmgren. December 2000.
2000-034	Algorithmic Information Theory and Kolmogorov Complexity Alexander Shen. December 2000.
2000-033	Säkerhetssamtal. Nuläge och förändringsbehov Eva Olsson, Bengt Sandblad, and Lena Kecklund. December 2000. In Swedish
2000-032	Preconditioners Based on Fundamental Solutions Henrik Brandén and Per Sundqvist. November 2000. Revised version available as IT technical report 2005-001
2000-031	Att köra tåg Anders Jansson, Eva Olsson, and Lena Kecklund. November 2000. In Swedish
2000-030	Core Erlang 1.0 language specification Richard Carlsson, Björn Gustavsson, Erik Johansson, Thomas Lindgren, Sven-Olof Nyström, Mikael Pettersson, and Robert Virding. November 2000.
2000-029	A staged tag scheme for Erlang Mikael Pettersson. November 2000.
2000-028	Reduced order models for diffusion systems using singular perturbations Bharath Bhikkaji and Torsten Söderström. November 2000.
2000-027	Convergence of the RPEM as Applied to Harmonic Signal Modeling Emad Abd-Elrady. October 2000.
2000-026	Numerical Boundary Conditions for ODE Henrik Brandén. October 2000.
2000-025	A Complete Axiomatisation for Timed Automata Huimin Lin and Wang Yi. September 2000. A short version of this paper will be included in the proceedings of 20th FST-TCS, 2000
2000-024	On error bounds of finite difference approximations to partial differential equations - temporal behavior and rate of convergence Saul Abarbanel, Adi Ditkowski, and Bertil Gustafsson. September 2000.
2000-023	Implicit solution of hyperbolic equations with space-time adaptivity Per Lötstedt, Stefan Söderberg, Alison Ramage, and Lina Hemmingsson-Frändén. September 2000.
2000-022	Optimizing Code Size through Procedural Abstraction Johan Runeson, Sven-Olof Nyström, and Jan Sjödin. September 2000. An extended abstract appears in the Proceedings of the ACM SIGPLAN 2000 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'2000)
2000-021	BQOs and Timed Petri Nets Parosh Aziz Abdulla and Aletta Nylén. August 2000.
2000-020	Time step selection for shock problems Karl Hörnell and Per Lötstedt. August 2000.
2000-019	Reduced order models for diffusion systems Torsten Söderström and Bharath Bhikkaji. August 2000.
2000-018	Reduced order models for diffusion systems via collocation methods Torsten Söderström and Bharath Bhikkaji. August 2000.
2000-017	Resource Allocation With Noisy Functions Arne Andersson, Per Carlsson, and Fredrik Ygge. August 2000.
2000-016	Imposing Boundary Conditions with the Injection, the Projection and the Simultaneous Approximation Term Method Ken Mattsson. July 2000.
2000-015	On a Parameter Estimation Algorithm for MA Time Series. Petre Stoica and Girish Ganesan. June 2000.
2000-014	Better Decision Algorithms for Parity Games and the Mu-Calculus Model Checking Sergei Vorobyov. June 2000.
2000-013	Loss of High Order Spatial Accuracy Due to Boundary Error Caused by Runge-Kutta Time Integration Marcus Johansson. May 2000.
2000-012	Market-based Approaches to Optimization Maria Karlsson and Fredrik Ygge. May 2000.
2000-011	Managing Large Scale Computational Markets Arne Andersson and Fredrik Ygge. April 2000.
2000-010	Efficient Approximation of Values in Gain scheduled Routing Jakob Carlström. April 2000.
2000-009	Gain Scheduled Routing in Multi-Service Networks Jakob Carlström and Ernst Nordström. April 2000.
2000-008	Predictive Gain Scheduling for Control of Self-Similar Call Traffic in Broadband Networks Jakob Carlström. April 2000.
2000-007	On numerical errors in the boundary conditions of the Euler equations Lars Ferm and Per Lötstedt. April 2000.
2000-006	A Parallel Domain Decomposition Method for the Helmholtz Equation Elisabeth Larsson and Sverker Holmgren. April 2000.
2000-005	Feedforward control of the external carbon flow rate in an activated sludge process Pär Samuelsson and Bengt Carlsson. March 2000. A short version will appear at the 1st World Congress of the IWA, Paris 3-7 July 2000
2000-004	Användarcentrerad systemutveckling Bengt Göransson and Jan Gulliksen. March 2000. In Swedish. Also available as report TRITA-NA-D 0005, CID-71, KTH, Stockholm, Sweden. An extended and revised version is available in the book Användarcentrerad systemdesign, see http://acsd.hci.uu.se
2000-003	Adaptive error control for steady state solutions of inviscid flow Lars Ferm and Per Lötstedt. February 2000.
2000-002	Linux Networking Biniam Gebremichael and Kidane Yemane. January 2000. M.Sc. thesis
2000-001	Extending Erlang with structured module packages Richard Carlsson. January 2000.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]

1999-016	Integer Programming for Automated Auctions Arne Andersson, Mattias Tenhunen, and Fredrik Ygge. November 1999. Final version published at ICMAS-00 available from http://www.csd.uu.se/~arnea/abs/icmas00.html
1999-015	Boundary Conditions and Estimates for the Steady Stokes Equations on Staggered Grids Bertil Gustafsson and Jonas Nilsson. November 1999.
1999-014	The Godunov-Ryabenkii condition: The beginning of a new stability theory Bertil Gustafsson. November 1999.
1999-013	A Proof System for Timed Automata Huimin Lin and Wang Yi. November 1999. To be included in the proceedings of FOSSACS'00
1999-012	Array Signal Processing with Incomplete Data Erik G. Larsson and Petre Stoica. November 1999.
1999-008	Proceedings of the 11th Nordic Workshop on Programming Theory Björn Victor and Wang Yi (Eds.). October 1999.
1999-007	Two-Dimensional Capon Spectrum Analysis Andreas Jakobsson, S. Lawrence Marple, Jr., and Petre Stoica. September 1999.
1999-006	Formalizing the Intent of Design Patterns. An Approach Towards a Solution to the Indexing Problem Andreas Gustavsson and Mattias Ersson. July 1999.
1999-005	Trafiksäkerhet och informationsmiljö i tågförarsystemet. Litteraturöversikt och olycksfallsanalyser Anders Jansson, Erik Lindberg, and Eva Olsson. June 1999. In Swedish
1999-004	Towards a Mathematical Foundation for Design Patterns Amnon H. Eden, Yoram Hirshfeld, and Amiram Yehudai. May 1999.
1999-003	Parameter Estimation for Diffusion Models Torsten Söderström and Susanne Halvarsson. May 1999.
1999-002	A Formal Model of a Ravenscar-Compliant Run-Time Kernel and Application Code Kristina Lundqvist and Lars Asplund. May 1999.
1999-001	Perturbation Results for Singular Values Torsten Söderström. April 1999.

Technical reports from the Department of Information Technology

Search result appears here...