Publications 2000
- On error bounds of finite difference approximations to partial differential equations: Temporal behavior and rate of convergence. Technical report / Department of Information Technology, Uppsala University nr 2000-024, 2000. (External link).
- On error bounds of finite difference approximations to partial differential equations: Temporal behavior and rate of convergence. In Journal of Scientific Computing, volume 15, pp 79-116, 2000. (DOI).
- Convergence of the RPEM as applied to harmonic signal modeling. Technical report / Department of Information Technology, Uppsala University nr 2000-027, 2000. (fulltext).
- Symbolic Reachability Analysis Based on SAT Solvers. In Proc. TACAS'00, 6th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, 2000. (External link).
- Algorithmic analysis of programs with well quasi-ordered domains. In INFORMATION AND COMPUTATION, volume 160, number 1-2, pp 109-127, 2000. (External link).
- BQOs and Timed Petri Nets. Technical report / Department of Information Technology, Uppsala University nr 2000-21, Department of Information Technology, Uppsala University, 2000. (fulltext).
- Better is Better than Well: On Efficient Verification of Infinite-State Systems. In Proc. LICS' 00, 16th IEEE Int. Symp. on Logic in Computer Science, 2000. (External link).
- Unfoldings of Unbounded Petri Nets. In Proc. 12tn Int. Conf. on Computer Aided Verification, Lecture Notes in Computer Science, pp 495-507, Springer Verlag, 2000.
- Inverse Electromagnetic Scattering Using the Finite-Difference Time-Domain Method. In Proc. Millennium Conference on Antennas and Propagation, p 4, ESA Publications, Noordwijk, The Netherlands, 2000.
- EXPRESS'00: 7th International Workshop on Expressiveness in Concurrency. Volume 39 of Electronic Notes in Theoretical Computer Science, Elsevier, 2000. (DOI, External link).
- Teaching Operating Systems and Networking to Information Systems Majors. In Special Interest Group of Computer Science Eduction (SIGCSE), 2000.
- High-resolution frequency analysis with small data record. In ELECTRONICS LETTERS, volume 36, number 20, pp 1745-1747, IEE-INST ELEC ENG, 2000.
- Proceedings ASE 2000. The Fifteenth IEEE International Conference on Automated Software Engineering, 2000. IEEE Computer Society Press, 2000.
- Analysis of CASI data - A case study from the archipelago of Stockholm, Sweden. In 6th International Conference, Remote Sensing for Marine and CoastalEnvironments, Charleston, South Carolina, USA, 2000.
- A Real Time Animator for Hybrid Systems. 2000.
- Integer Programming for Combinatorial Auction Winner Determination.. In Proc. of the Fourth International Conference on Multiagent Systems (ICMAS-00), 2000.
- Resource Allocation With Noisy Functions. Technical report / Department of Information Technology, Uppsala University nr 2000-017, Department of Information Technology, Uppsala University, 2000. (fulltext).
- Tight bounds for searching a sorted array of strings. In SIAM journal on computing (Print), volume 30, number 5, pp 1552-1578, 2000. (DOI, External link).
- Tight(er) Worst-case Bounds on Dynamic Searching and Priority Queues.. In IEEE Symposium on Theory of Computing (STOC), 2000.
- Comparison of two different approaches for paper volume assembly. In Symposium on Image Analysis - SSAB 2000, pp 57-60, 2000.
- Detection and quantification of foveal avascular zone alterations in diabetic retinopathy. In 1st Int. Workshop on Computer Assisted Fundus Image Analysis (CAFIA), 2000.
- Determination of fat content in NMR images of meat. 2000.
- Determination of fat contents in NMR images of meat: preliminary results. In Symposium on Image Analysis - SSAB 2000, pp 79-82, 2000.
- Testing MRI and image analysis techniques for fat quantification in meat science. 2000.
- Reflection principles in computational logic. In JOURNAL OF LOGIC AND COMPUTATION, volume 10, number 6, pp 743-786, OXFORD UNIV PRESS, 2000.
- Validation of fully automatic brain SPET to MR co-registration. In EUROPEAN JOURNAL OF NUCLEAR MEDICINE, volume 27, number 2, pp 147-154, 2000.
- The technical development in the ICT-field. In IT at school between vision and practice - a research overview, pp 39-55, 2000.
- How do individual portable computers effect students learning?. In IEEE Frontiers in education conference, Kansas City, pp S3D7-S3D10, 2000. (External link).
- Approximate maximum likelihood estimators for array processing in multiplicative noise environments. In IEEE TRANSACTIONS ON SIGNAL PROCESSING, volume 48, number 9, pp 2506-2518, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
- Decoupled estimation of DOA and angular spread for a spatially distributed source. In IEEE TRANSACTIONS ON SIGNAL PROCESSING, volume 48, number 7, pp 1872-1882, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
- Model reduction for diffusion systems. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-011, Uppsala University, 2000.
- Reduced order models for diffusion systems using singular perturbations. Technical report / Department of Information Technology, Uppsala University nr 2000-028, 2000. (fulltext).
- Impact of the Ethernet capture effect on bandwidth measurements. In NETWORKING 2000, volume 1815, pp 156-167, 2000.
- TEMADAG – ITERATIV UTVECKLING OCH PROJEKTSTYRNING. Technical report TRITA-NA-D0010, CID-105, 2000. (External link).
- Low-angle estimation: Models, methods and bounds. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-001, Uppsala University, 2000. (fulltext).
- Simplification of 3D skeletons using distance information. 2000.
- Some weighted distance transforms in four dimensions. 2000.
- Mobile Teleradiologie: Anwendungsszenarien und Benutzeranforderungen.. In Telemedizinführer Deutschland. Ausgabe 2001., pp 327-331, 2000.
- Requirements for a new Generation of Personal Digital Assistants intended for medical Use. 2000. (External link).
- Regular Model Checking. In Proc. 12th Int. Conf. on Computer Aided Verification, 2000. (External link).
- Individual tree-based timber volume assessment using high spatial resolution laserscanning data. In Symposium on Image Analysis - SSAB 2000, pp 83-86, 2000.
- Convergence acceleration for the steady state Euler equations. Technical report / Department of Information Technology, Uppsala University nr 2000-035, 2000. (fulltext).
- Numerical boundary conditions for ODE. Technical report / Department of Information Technology, Uppsala University nr 2000-026, 2000. (fulltext).
- Preconditioners Based on Fundamental Solutions. Technical report / Department of Information Technology, Uppsala University nr 2000-032, Department of Information Technology, Uppsala University, 2000. (Revised version 2005-001, fulltext).
- Teknik som kan minska kollektivtrafikresenärernas oro: KFB Rapport 2000:34. KFB Rapport nr 2000: 34, 2000.
- Reinforcement learning for admission control and routing. Ph.D. thesis, DoCS nr 116, Acta Universitatis Upsaliensis, Uppsala, 2000.
- Asymptotic performance of optimal gain-and-phase estimators of sensor arrays. 2000.
- Using groupware for international collaborative learning. In IEEE Frontiers in education conference, Kansas City, pp F1C18-F1C23, 2000. (External link).
- Multi-Level Project Work; a Study in Collaboration. In IEEE Frontiers in Education conference, pp F4C11-F4C13, 2000. (External link).
- Teaching inter-institutional courses: Sharing challenges and resources. In ACM SIGCS Bulletin, pp 178-179, 2000.
- Using a Real-Life Setting to Combine Social and Technical Skills. In IEEE Frontiers in Education conference, Frontiers in Education, pp F4C6-F4C9, 2000. (DOI, fulltext:print).
- Decidability and complexity of simultaneous rigid E-unification with one variable and related results. In THEORETICAL COMPUTER SCIENCE, volume 243, number 1-2, pp 167-184, ELSEVIER SCIENCE BV, 2000.
- CHAT: the copy-hybrid approach to tabling. In FUTURE GENERATION COMPUTER SYSTEMS, volume 16, number 7, pp 809-830, ELSEVIER SCIENCE BV, 2000.
- Heap garbage collection in XSB: Practice and experience. In PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, volume 1753, pp 93-108, SPRINGER-VERLAG BERLIN, 2000.
- Explicit Hybrid Time Domain Solver for the Maxwell Equations in 3D. In Journal of Scientific Computing, volume 15, pp 61-78, 2000. (DOI).
- Finite volume solvers for the Maxwell equations in time domain. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-005, Uppsala University, 2000. (fulltext).
- Hybrid FV-FD Solver for the Maxwell Equations. In Proc. Millennium Conference on Antennas and Propagation, p 4, ESA Publications, Noordwijk, The Netherlands, 2000.
- An investigation of hybrid techniques for scattering problems on disjunct geometries. In Proc. Millennium Conference on Antennas and Propagation, p 4, ESA Publications, Noordwijk, The Netherlands, 2000.
- On efficient implementation of the Capon algorithm. In EUSIPCO 2000, Tampere, Finland, 2000.
- Amos II Java Interfaces. 2000. (External link).
- A detailed analysis of cyclin a accumulation at the G(1)/S border in normal and transformed cells. In EXPERIMENTAL CELL RESEARCH, volume 259, number 1, pp 86-95, 2000.
- A Detailed Analysis of Cyclin A Accumulation at the G1/S Border in Normal and Transformed Cells. In Experimental Cell Research, volume 259, pp 86-95, 2000.
- A detailed analysis of cyclin A accumulation at the G1/S border in normal and transformed cells.. In Experimental Cell Research, volume 256, pp 86-95, 2000. (External link).
- Adaptive error control for steady state solutions of inviscid flow. Technical report / Department of Information Technology, Uppsala University nr 2000-003, 2000. (fulltext).
- On numerical errors in the boundary conditions of the Euler equations. Technical report / Department of Information Technology, Uppsala University nr 2000-007, 2000. (fulltext).
- Measurement and modelling of radiance reflectance in Garda lake. In EOS/SPIE Europto, Remote Sensing Symposium, 2000.
- Abstraction of Communication Channels in Promela: A Case Study. 2000.
- Arkitekturprinciper för informationsöverlägsenhet i framtidens ledningssystem. Försvarets forskningsinstitut, 2000. (External link).
- Radar views the forest in a new light. In Fakta Skog, SLU, number 8, pp 1-4, 2000.
- Estimation of forest parameters using CARABAS-II VHF SAR data. In IEEE Trans. on Geoscience and Remote Sensing, volume 38, number 2, pp 720-727, 2000.
- Mapping of forest stand parameters using VHF SAR data. 2000.
- Towards an operational use of VHF SAR data for forest mapping and forest management. 2000.
- HOS-based orthogonal subspace algorithm for causal ARMA system identification. In SIGNAL PROCESSING, volume 80, number 3, pp 535-542, ELSEVIER SCIENCE BV, 2000.
- Generalized quadratic minimization and blind multichannel deconvolution. In IEEE TRANSACTIONS ON SIGNAL PROCESSING, volume 48, number 1, pp 201-213, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
- On the Direct Fourier Method for Computer Tomography. In IEEE Transactions on Medical Imaging, volume 19, pp 223-232, 2000. (DOI).
- DESIGN PATTERNS VERSUS STYLE GUIDES – RE-INVENTING THE WHEEL?. In IFIP 13.2 Workshop on Patterns in Human Computer Interaction, London,, 2000.
- HOW TO MAKE USER CENTRED DESIGN USABLE. TRITA-NA-D0006, CID-72, 2000. (External link).
- TEMADAG PÅ CID OM ANVÄNDARCENTRERAD DESIGN OCH PROTOTYPING. Technical report TRITA-NA-D0004, CID-70, 2000. (External link).
- DESIGN VERSUS DESIGN – FROM THE SHAPING OF PRODUCT TO THE CREATION OF USER EXPERIENCES. 2000.
- Datakommunikation. In Professorsinstallation 2000, Uppsala Universitet, 2000. (External link).
- Boundary Conditions and Estimates for the Steady Stokes Equations on Staggered Grids. In Journal of Scientific Computing, volume 15, pp 29-59, 2000. (DOI).
- Implicit high-order difference methods and domain decomposition for hyperbolic problems. In Applied Numerical Mathematics, volume 33, pp 493-500, 2000. (DOI).
- Analyzing execution-time of object-oriented programs using abstract interpretation. Ph.D. thesis, DoCS nr 115, Acta Universitatis Upsaliensis, Uppsala, 2000.
- Directory-based, shared-memory, scaleable multiprocessor computer system having deadlock-free transaction flow sans flow control protocol. 2000.
- Hybrid queue and backoff computer resource lock featuring different spin speeds corresponding to multiple-states. 2000.
- Method for increasing the speed of data processing in a computer system. 2000.
- Supporting timing analysis by automatic bounding of loop iterations. In REAL-TIME SYSTEMS, volume 18, number 2-3, pp 129-156, KLUWER ACADEMIC PUBL, 2000. (External link).
- Identification of complex modulus from measured strains on an axially impacted bar using least squares. In JOURNAL OF SOUND AND VIBRATION, volume 230, number 3, pp 689-707, 2000.
- A meta-heuristic for subset decision problems. In Proc. of the 2000 ERCIM/CompuLog Workshop on Constraint Programming, 2000.
- Convergence acceleration for the linearized Navier-Stokes equations using semicirculant approximations. In SIAM Journal on Scientific Computing, volume 21, pp 1524-1550, 2000. (DOI).
- A scheme for unifying optimization and constraint satisfaction methods. In KNOWLEDGE ENGINEERING REVIEW, volume 15, number 1, pp 11-30, CAMBRIDGE UNIV PRESS, 2000.
- A novel method for quantitative fat analysis in meat by in vivo Magnetic Resonance Imaging. In 46th International Conference on Meat Science and Technology, Buenos Aires, Argentina, pp 372-373, 2000.
- A novel method for quantitative fat analysis in meat by in vivo Magnetic Resonance Imaging. In Livsmedel 2000, Nationella livsmedelsforskardaga, Uppsala, Sweden, 2000.
- Numerical approaches to optimal control of a model equation for shear flow instabilities. In Flow Turbulence and Combustion, volume 65, pp 299-320, 2000. (DOI).
- Time step selection for shock problems. Technical report / Department of Information Technology, Uppsala University nr 2000-020, 2000. (fulltext).
- Ställa en gåta?. In Upsala Nya Tidning, number 13/11 2000, 2000.
- Combining Capon and APES for estimation of spectral lines. In CIRCUITS SYSTEMS AND SIGNAL PROCESSING, volume 19, number 2, pp 159-169, BIRKHAUSER BOSTON INC, 2000.
- Computationally efficient two-dimensional capon spectrum analysis. In IEEE TRANSACTIONS ON SIGNAL PROCESSING, volume 48, number 9, pp 2651-2661, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
- On efficient implementation of the 2-D Capon algorithm. In IEEE International Conference on Acoustics, Speech and Signal Processing, Istanbul, Turkiet, 2000.
- Att köra tåg: Lokförarens arbete ur ett systemperspektiv. Technical report / Department of Information Technology, Uppsala University nr 2000-031, 2000. (fulltext).
- Profile-guided optimization across process boundaries .. In ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation (Dynamo'00). Jan 18, 2000, 2000.
- Transitive closures of regular relations for verifying infinite-state systems. In TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, volume 1785, pp 220-234, SPRINGER-VERLAG BERLIN, 2000.
- Reproducibility and repeatability of 99Tcm-HMPAr CBF SPET in normal subjectsat rest using brain atlas matching. In Nuclear Medicine Communications, volume 21, number 1, pp 9-18, 2000.
- Amplitude and frequency analysis of force plate data in sitting children with and without MMC. In CLINICAL BIOMECHANICS, volume 15, number 7, pp 541-545, 2000.
- Correlations between force plate measures for assessment of balance. In CLINICAL BIOMECHANICS, volume 15, number 5, pp 365-369, ELSEVIER SCI LTD, 2000.
- Computing the Cramer-Rao lower bound for noisy input output systems. In Signal Processing, volume 37, number 4, pp 511-521, 2000.
- Distributed View Expansion in Composable Mediators. Research report - University of Uppsala, Department of Information Science, Division of Computer Science, 2000:2, Uppsala: Uppsala University Press, 2000. (External link).
- Distributed View Expansion in Object-Oriented Mediators. In Fifth IFCIS International Conference on Cooperative Information Systems, Eilat, Israel, 2000. (External link).
- Autonomi och etisk kompetensutveckling: Utbildnings- och utvärderingsverktyg för personer och organisationer. Arktéon, Uppsala, 2000.
- Ethical Competence Questionnaire-Political & Ethical Autonomy Questionnaire-Working Life and Business. In Commissioned reviews of 250 psychological tests, pp 827-831, The Edwin Mellen Press, Lewiston, NY, 2000.
- Ethical competence and confidence for IT users and designers. In Ethics in the age of information technology, volume 7 of CTE, pp 301-309, Linköpings universitet, Linköping, 2000.
- Railway safety and the train driver information environment. In Computers in Railways VII, pp 1047-1056, WIT Press, Southampton, 2000.
- Teaching inter-institutional courses: sharing challenges and resources. In ACM SIGCSE Bulletin, volume 32, number 3, pp 178-179, 2000.
- Use of database technology for coupled discrete-finite element simulations of multibody systems. In Finite Element Techniques and Developments, 2000.
- Identification of continuous AR processes from unevenly sampled data. In Reglermöte 2000 (National Conference on Control), 2000.
- Approaches for Identifying Continuous-Time AR Processes from Unevenly Sampled Data. In Proceedings of IFAC SYSID 2000, 2000.
- A parallel domain decomposition method for the Helmholtz equation. Technical report / Department of Information Technology, Uppsala University nr 2000-006, 2000. (fulltext).
- Domain Decomposition and Preconditioned Iterative Methods for the Helmholtz Equation. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 523, Acta Universitatis Upsaliensis, Uppsala, 2000.
- Efficient implementation of model-checkers for networks of timed automata. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-003, Uppsala University, 2000. (fulltext).
- On memory-block traversal problems in model-checking timed systems. In Tools and Algorithms for the Construction and Analysis of Systems, pp 127-141, 2000.
- Applying configuration management techniques to component-based systems. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-007, Uppsala University, 2000. (fulltext).
- An International Student/Faculty Collaboration: The Runestone Project. In ACM SIGCSE Bulletin: Inroads, 2000.
- Computationally efficient parameter estimation for harmonic sinusoidal signals. In SIGNAL PROCESSING, volume 80, number 9, pp 1937-1944, ELSEVIER SCIENCE BV, 2000.
- Object-Oriented Mediator Queries to XML Data. In Proc. 1st Intl. Conf. on Web Information Systems Engineering, 2000. (External link).
- Object-Oriented Mediator Queries to XML Data. In The International Workshop on World Wide Web Semantics (WebSem 2000), 2000. (External link).
- A Complete Axiomatisation for Timed Automata. Technical report / Department of Information Technology, Uppsala University nr 2000-025, Department of Information Technology, Uppsala University, 2000. (fulltext).
- A complete axiomatisation for timed automata. In FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science, pp 277-289, 2000.
- Histogram thresholding using kernel density estimates. In In Proceedings of the Swedish Society for Automated Image Analysis (SSAB) Symposium on Image Analysis, Halmstad, Sweden, pp 41-44, 2000.
- Histogram thresholding using kernel density estimates. In Symposium on Image Analysis - SSAB 2000, pp 41-44, 2000.
- Measurement and simulation based techniques for real-time systems analysis. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-010, Uppsala University, 2000. (fulltext).
- A novel method for quantitative fat analysis in meat by in vivo MRI. In 17th Annual Meeting of the European Society for Magnetic Resonance in Medicine and Biology, Paris, France, 2000.
- Color vision based road estimation for automotive safety systems. In Proc. 7th, World Congress on Intelligent Transport Systems (ITS), 2000.
- Method and System for Data Recovery Using a Distributed and Scalable Data Structure. USA, 2000. (External link).
- Distributed computing and safety critical systems in Ada. Ph.D. thesis, DoCS nr 114, Acta Universitatis Upsaliensis, Uppsala, 2000.
- Development of a computer program for volume estimation of arteriovenous malformations from biplane DSA images. In MEDICAL IMAGE COMPUTING AND COMPUTER-ASSISTED INTERVENTION - MICCAI 2000, volume 1935, pp 746-755, 2000.
- Convergence analysis of iterative methods by pseudodifference operators. In Journal of Computational and Applied Mathematics, volume 115, pp 397-417, 2000. (DOI).
- Implicit solution of hyperbolic equations with space-time adaptivity. Technical report / Department of Information Technology, Uppsala University nr 2000-023, 2000. (fulltext).
- Intuitionistic logic and implicit definability. In ANNALS OF PURE AND APPLIED LOGIC, volume 105, number 1-3, pp 83-102, ELSEVIER SCIENCE BV, 2000.
- Vector ARMA estimation: A reliable subspace approach. In IEEE TRANSACTIONS ON SIGNAL PROCESSING, volume 48, number 7, pp 2092-2104, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
- Imposing Boundary Conditions with the Injection, the Projection and the Simultaneous Approximation Term Methods. Technical report / Department of Information Technology, Uppsala University nr 2000-016, 2000. (External link).
- Identification of viscoelastic materials. In 12th IFAC Symposium on System Identification, 2000.
- Identification of viscoelastic materials. In Reglermöte 2000 (National Conference on Control), 2000.
- Identification of viscoelastic materials and continuous-time stochastic systems. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 548, Acta Universitatis Upsaliensis, Uppsala, 2000.
- A comparison of rapid automatic global thresholding methods for wood images. In Symposium on Image Analysis - SSAB 2000, pp 49-52, 2000.
- A flexible framework for detection of feature interactions in telecommunication systems. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-006, Uppsala University, 2000. (fulltext).
- Scalable Distributed Datastructures for High-Performance Databases. In Proc. 3rd Workshop on Distributed Data and Structures (WDAS'2000), 2000. (External link).
- Initial-Boundary-Value Problems for the Stokes and Navier–Stokes Equations on Staggered Grids. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 26, Acta Universitatis Upsaliensis, Uppsala, 2000.
- Regular model checking. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-008, Uppsala University, 2000. (fulltext).
- A fast multipole accelerated block quasi minimum residual method for solving scattering from perfectly conducting bodies. In Proc, volume 2000:4 of Antennas and Propagation Society International Symposium, pp 1848-1851, IEEE, 2000. (DOI).
- Some Applications of Remote Sensing for Monitoring of Environment and Agriculture. Licentiate thesis, CBA Licentiate Thesis nr 4, Centre for Image Analysis, 2000.
- Disposition av intranätets förstasida.: En undersökning av förändringen av 100 intranäts förstasidor under 1 år.. Uppdragsrapport E Nygren, 2000.
- Effektiv presentation för intranät-tillämpningar: Projektredogörelse. Rådet för Arbetslivsforskning 2000, 2000.
- KEMAB Intranät.: Utvärdering av prototyp 2 daterad 991010. Uppdragsrapport E Nygren, 2000.
- Telia Intranät Analys av användartester: Form och navigation. 2000.
- Analysis of Magnetic Resonance Angiography Images Using Skeletonization and Distance Transforms. In , 2000.
- A formalisation of the ITU-T Intelligent Network standard. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-009, Uppsala University, 2000. (fulltext).
- Säkerhetssamtal. Nuläge och förändringsbehov. Technical report / Department of Information Technology, Uppsala University nr 2000-033, Department of Information Technology, Uppsala University, 2000. (fulltext).
- The vertical ground reaction force for analysis of balance?. In GAIT & POSTURE, volume 12, number 1, pp 7-13, ELSEVIER SCI IRELAND LTD, 2000.
- Integration of Constraint Programming and Integer Programming for Combinatorial Optimization. Ph.D. thesis, Uppsala theses in computing science nr 33, Acta Universitatis Upsaliensis, Uppsala, 2000.
- Trios in Concert. In Proof, Language and Interaction, Essays in Honor of Robin Milner, pp 621-637, MIT Press, 2000.
- A staged tag scheme for Erlang. Technical report / Department of Information Technology, Uppsala University nr 2000-029, Department of Information Technology, Uppsala University, 2000. (fulltext).
- An integrated decomposition and partitioning approach for irregular block-structured applications. In Parallel and Distributed Processing, volume 1800 of Lecture Notes in Computer Science, pp 485-496, Springer-Verlag, Berlin, 2000. (DOI).
- Partitioning strategies for structured multiblock grids. In Parallel Computing, volume 26, pp 1661-1680, 2000. (DOI).
- Modeling and parameter estimation of the diffusion equation. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-002, Uppsala University, 2000. (fulltext).
- IT i skolan mellan vision och praktik : en forskningsöversikt. Skolverkets monografiserie, Skolverket, Stockholm, 2000.
- ALisp User's Guide. 2000. (External link).
- Amos II External Interfaces. 2000. (External link).
- Optimizing Code Size through Procedural Abstraction. Technical report / Department of Information Technology, Uppsala University nr 2000-022, Department of Information Technology, Uppsala University, 2000. (fulltext).
- Integrated method for boundary delineation of agricultural fields in multispectralsatellite images. In Int. Geoscience and Remote Sensing Symposium (IGARSS 2000), Honolulu, Hawaii, pp 1678-1680, 2000.
- An abstract machine for efficiently computing queries to well-founded models. In JOURNAL OF LOGIC PROGRAMMING, volume 45, number 1-3, pp 1-41, ELSEVIER SCIENCE INC, 2000.
- Time studies as a tool for (computer science) education research. In ACM Australasian computing education conference, Melbourne, 2000. (External link).
- Classification of two-voxel thick surfaces: a first approach. CBA Internal report No. 19, Centre for Image Analysis, 2000.
- Detecting centres of maximal geodesic discs on the distance transform of surfaces in 3D images. 2000.
- Editing 3D binary images using distance transform. 2000.
- Surface skeletons detected on the D6 distance transform. In Joint Workshop on Syntactical and Structural Pattern Recognition (SSPR2000) and Statistical Pattern Recognition (SPR 2000), pp 387-396, 2000.
- Numerical solution of the reduced Navier-Stokes equations for internal incompressible flows. In AIAA Journal, volume 38, pp 1603-1614, 2000.
- Algorithmic Information Theory and Kolmogorov Complexity. Technical report / Department of Information Technology, Uppsala University nr 2000-034, Department of Information Technology, Uppsala University, and Independent University of Moscow, Russia, 2000. (fulltext).
- Predictable high-speed communications for distributed real-time systems. Ph.D. thesis, DoCS nr 117, Acta Universitatis Upsaliensis, Uppsala, 2000.
- The Reconstruction of the Digital Hyperbola Segment from Its Code. In International Conference on Discrete Geometry for Computer Imagery, volume 1953 of Lecture Notes in Computer Science, pp 159-170, Springer Berlin/Heidelberg, Berlin, Heidelberg, 2000. (DOI).
- Identification methods of dynamic systems in presence of input noise. In 12th IFAC Symposium on System Identification, 2000.
- Characterization of domain-based partitioners for parallel SAMR applications. In Proc. Parallel and Distributed Computing and Systems: 2000, pp 425-430, ACTA Press, Calgary, Canada, 2000.
- Adaptive filter-bank approach to restoration and spectral analysis of gapped data. In ASTRONOMICAL JOURNAL, volume 120, number 4, pp 2163-2173, UNIV CHICAGO PRESS, 2000.
- Amplitude estimation of sinusoidal signals: Survey, new results, and an application. In IEEE TRANSACTIONS ON SIGNAL PROCESSING, volume 48, number 2, pp 338-352, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
- Analysis of mussel growth data. In HYDROBIOLOGIA, volume 438, number 1-3, pp 245-249, 2000.
- Exact ML estimation of spectroscopic parameters. In JOURNAL OF MAGNETIC RESONANCE, volume 145, number 1, pp 108-114, ACADEMIC PRESS INC, 2000.
- MA estimation in polynomial time. In IEEE TRANSACTIONS ON SIGNAL PROCESSING, volume 48, number 7, pp 1999-2012, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
- MIMO system identification: State-space and subspace approximations versus transfer function and instrumental variables. In IEEE TRANSACTIONS ON SIGNAL PROCESSING, volume 48, number 11, pp 3087-3099, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
- Maximum likelihood DOA estimation for constant-modulus signal. In ELECTRONICS LETTERS, volume 36, number 9, pp 849-851, IEE-INST ELEC ENG, 2000.
- On a Parameter Estimation Algorithm for MA Time Series. Technical report / Department of Information Technology, Uppsala University nr 2000-15, Department of Information Technology, Uppsala University, 2000. (fulltext).
- Detecting a D6 surface skeleton by iterative thinning. In Symposium on Image Analysis - SSAB 2000, pp 37-40, 2000.
- Optimal recursive state estimation with quantized measurements. In IEEE Transactions on Automatic Control, volume 45, number 4, pp 762-767, 2000. (DOI).
- Comments on adaptive IIR filtering with monic normalization. In IEEE TRANSACTIONS ON SIGNAL PROCESSING, volume 48, number 3, pp 892-894, 2000.
- Parameter estimation and model approximation for diffusion models. In 12th IFAC Symposium on System Identification, 2000.
- Parameter estimation and model approximation for diffusion models. In Reglermöte 2000 (National Conference on Control), 2000.
- Performance evaluation of methods for identifying continuous-time autoregressive processes. In AUTOMATICA, volume 36, number 1, pp 53-59, 2000.
- Reduced order models for diffusion systems via collocation methods. In Proc IFAC 12th Symposium on System Identification, 2000.
- Reduced order models for diffusion systems via collocation methods. In Reglermöte 2000 (National Conference on Control), 2000.
- Reduced order models for diffusion systems. Technical report / Department of Information Technology, Uppsala University nr 2000-019, 2000. (fulltext).
- Reduced order models for diffusion systems via Collocation methods. In Proc of 12th IFAC Symposium on System Identification, Santa Barbara, CA, USA, June, 2000.
- Reduced order models for diffusion systems via collocation methods. Technical report / Department of Information Technology, Uppsala University nr 2000-018, 2000. (fulltext).
- Term-modal logic and quantifier-free dynamic assignment logic. Ph.D. thesis, Uppsala theses in computing science nr 34, Acta Universitatis Upsaliensis, Uppsala, 2000. (fulltext).
- Improved efficiency for MRI-SPET registration based on mutual information. In EUROPEAN JOURNAL OF NUCLEAR MEDICINE, volume 27, number 7, pp 847-856, 2000.
- Registration of neuroimaging data: Implementation and clinical applications. In JOURNAL OF NEUROIMAGING, volume 10, number 1, pp 39-46, 2000.
- Counting and evaluating size distribution of holes in cheese using x-ray images. CBA Internal report No. 21, Centre for Image Analysis, 2000.
- An Object-Relational Model for Musical Data. Technical Report 2000:3, Dept. Information Science, Uppsala University,, 2000. (External link).
- Header Hopping and Packet Mixers. In The 9th IEEE International Conference on Computer Communications and Networks, 2000. (External link).
- Active Routing for Ad-hoc Networks. In IEEE Communications Magazine: Special issue on Active and Programmable Networks, number April, 2000. (External link).
- Active Routing for Ad-hoc Networks. In IEEE Communications Magazine, volume 38, number 4, 2000.
- Global artificial boundary conditions for computation of external flows with jets. In AIAA Journal, volume 38, pp 2014-2022, 2000.
- Retrieval of stem volume in coniferous forest from VHF-band SAR. 2000.
- Frequency-selective quantification of biomedical magnetic resonance spectroscopy data. In JOURNAL OF MAGNETIC RESONANCE, volume 143, number 1, pp 1-16, ACADEMIC PRESS INC, 2000.
- Better Decision Algorithms for Parity Games and the Mu-Calculus Model Checking. Technical report / Department of Information Technology, Uppsala University nr 2000-14, Department of Information Technology, Uppsala University, 2000. (fulltext).
- A formal approach to analysis of software architectures for real-time systems. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-004, Uppsala University, 2000. (fulltext).
- Synthetic Aperture Radar. CBA Internal report No. 18, Centre for Image Analysis, 2000.
- Cultured human fibroblasts in agarose gel as a multi-functional control for immunohistochemistry. Standardization of Ki67 (MIBI) assessment in routinely processed urinary bladder carcinoma tissue. In JOURNAL OF PATHOLOGY, volume 190, number 4, pp 503-511, 2000.
- Paraffin section storage and immunohistochemistry - Effects of time, temperature, fixation, and retrieval protocol with emphasis on p53 protein and MIB1 antigen. In APPLIED IMMUNOHISTOCHEMISTRY & MOLECULAR MORPHOLOGY, volume 8, number 1, pp 61-70, 2000.
- Cultured human fibroblasts in agarose gel as a multi-functional control for immunohistochemistry: Standardization Of Ki67 (MIB1) assessment in routinely processed urinary bladder carcinoma tissue. In Journal of Pathology, volume 190, number 4, pp 503-11, 2000. (DOI, External link).
- Analysis of a low-complexity change detection scheme. In International journal of adaptive control and signal processing (Print), volume 14, number 5, pp 481-503, 2000. (DOI).
- Tags for High Performance Active Networks. In The Third IEEE Conference on Open Architectures and Network Programming: OpenARCH 2000, 2000. (External link).
- Automatic cytoplasm segmentation of fluorescence labelled cells. In Symposium on Image Analysis - SSAB 2000, pp 29-32, 2000.
- Efficiency of Characterizing Ellipses and Ellipsoids by Discrete Moments. In IEEE Transactions on Pattern Analysis and Machine Intelligence, volume 22, number 4, pp 407-414, 2000. (DOI).
- Identifiering av människokroppens balanssystem. In Reglermöte 2000 (National Conference on Control), 2000.