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. You can also find the report series in The Collection of Computer Science Bibliographies. 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.)

[ 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 ]
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. To appear.
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.

[ 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.

[ 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.

[ 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.
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.

[ 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.

[ 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.

[ 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.

[ 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.

[ 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.

[ 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.

[ 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.

[ 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

[ 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.

[ 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.

[ 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.

[ 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.

[ 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.

[ 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.