Publikationer 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. (Extern länk).
- On error bounds of finite difference approximations to partial differential equations: Temporal behavior and rate of convergence. I Journal of Scientific Computing, volym 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. I Proc. TACAS'00, 6th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, 2000. (Extern länk).
- Algorithmic analysis of programs with well quasi-ordered domains. I INFORMATION AND COMPUTATION, volym 160, nummer 1-2, pp 109-127, 2000. (Extern länk).
- 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. I Proc. LICS' 00, 16th IEEE Int. Symp. on Logic in Computer Science, 2000. (Extern länk).
- Unfoldings of Unbounded Petri Nets. I 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. I Proc. Millennium Conference on Antennas and Propagation, p 4, ESA Publications, Noordwijk, The Netherlands, 2000.
- EXPRESS'00: 7th International Workshop on Expressiveness in Concurrency. Volym 39 av Electronic Notes in Theoretical Computer Science, Elsevier, 2000. (DOI, Extern länk).
- Teaching Operating Systems and Networking to Information Systems Majors. I Special Interest Group of Computer Science Eduction (SIGCSE), 2000.
- High-resolution frequency analysis with small data record. I ELECTRONICS LETTERS, volym 36, nummer 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. I 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.. I 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. I SIAM journal on computing (Print), volym 30, nummer 5, pp 1552-1578, 2000. (DOI, Extern länk).
- Tight(er) Worst-case Bounds on Dynamic Searching and Priority Queues.. I IEEE Symposium on Theory of Computing (STOC), 2000.
- Comparison of two different approaches for paper volume assembly. I Symposium on Image Analysis - SSAB 2000, pp 57-60, 2000.
- Detection and quantification of foveal avascular zone alterations in diabetic retinopathy. I 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. I 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. I JOURNAL OF LOGIC AND COMPUTATION, volym 10, nummer 6, pp 743-786, OXFORD UNIV PRESS, 2000.
- Validation of fully automatic brain SPET to MR co-registration. I EUROPEAN JOURNAL OF NUCLEAR MEDICINE, volym 27, nummer 2, pp 147-154, 2000.
- The technical development in the ICT-field. I IT at school between vision and practice - a research overview, pp 39-55, 2000.
- How do individual portable computers effect students learning?. I IEEE Frontiers in education conference, Kansas City, pp S3D7-S3D10, 2000. (Extern länk).
- Approximate maximum likelihood estimators for array processing in multiplicative noise environments. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 48, nummer 9, pp 2506-2518, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
- Decoupled estimation of DOA and angular spread for a spatially distributed source. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 48, nummer 7, pp 1872-1882, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
- Model reduction for diffusion systems. Licentiatavhandling, 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. I NETWORKING 2000, volym 1815, pp 156-167, 2000.
- TEMADAG – ITERATIV UTVECKLING OCH PROJEKTSTYRNING. Technical report TRITA-NA-D0010, CID-105, 2000. (Extern länk).
- Low-angle estimation: Models, methods and bounds. Licentiatavhandling, 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.. I Telemedizinführer Deutschland. Ausgabe 2001., pp 327-331, 2000.
- Requirements for a new Generation of Personal Digital Assistants intended for medical Use. 2000. (Extern länk).
- Regular Model Checking. I Proc. 12th Int. Conf. on Computer Aided Verification, 2000. (Extern länk).
- Individual tree-based timber volume assessment using high spatial resolution laserscanning data. I 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. Doktorsavhandling, 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. I IEEE Frontiers in education conference, Kansas City, pp F1C18-F1C23, 2000. (Extern länk).
- Multi-Level Project Work; a Study in Collaboration. I IEEE Frontiers in Education conference, pp F4C11-F4C13, 2000. (Extern länk).
- Teaching inter-institutional courses: Sharing challenges and resources. I ACM SIGCS Bulletin, pp 178-179, 2000.
- Using a Real-Life Setting to Combine Social and Technical Skills. I 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. I THEORETICAL COMPUTER SCIENCE, volym 243, nummer 1-2, pp 167-184, ELSEVIER SCIENCE BV, 2000.
- CHAT: the copy-hybrid approach to tabling. I FUTURE GENERATION COMPUTER SYSTEMS, volym 16, nummer 7, pp 809-830, ELSEVIER SCIENCE BV, 2000.
- Heap garbage collection in XSB: Practice and experience. I PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, volym 1753, pp 93-108, SPRINGER-VERLAG BERLIN, 2000.
- Explicit Hybrid Time Domain Solver for the Maxwell Equations in 3D. I Journal of Scientific Computing, volym 15, pp 61-78, 2000. (DOI).
- Finite volume solvers for the Maxwell equations in time domain. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-005, Uppsala University, 2000. (fulltext).
- Hybrid FV-FD Solver for the Maxwell Equations. I 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. I Proc. Millennium Conference on Antennas and Propagation, p 4, ESA Publications, Noordwijk, The Netherlands, 2000.
- On efficient implementation of the Capon algorithm. I EUSIPCO 2000, Tampere, Finland, 2000.
- Amos II Java Interfaces. 2000. (Extern länk).
- A detailed analysis of cyclin a accumulation at the G(1)/S border in normal and transformed cells. I EXPERIMENTAL CELL RESEARCH, volym 259, nummer 1, pp 86-95, 2000.
- A Detailed Analysis of Cyclin A Accumulation at the G1/S Border in Normal and Transformed Cells. I Experimental Cell Research, volym 259, pp 86-95, 2000.
- A detailed analysis of cyclin A accumulation at the G1/S border in normal and transformed cells.. I Experimental Cell Research, volym 256, pp 86-95, 2000. (Extern länk).
- 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. I 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. (Extern länk).
- Radar views the forest in a new light. I Fakta Skog, SLU, nummer 8, pp 1-4, 2000.
- Estimation of forest parameters using CARABAS-II VHF SAR data. I IEEE Trans. on Geoscience and Remote Sensing, volym 38, nummer 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. I SIGNAL PROCESSING, volym 80, nummer 3, pp 535-542, ELSEVIER SCIENCE BV, 2000.
- Generalized quadratic minimization and blind multichannel deconvolution. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 48, nummer 1, pp 201-213, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
- On the Direct Fourier Method for Computer Tomography. I IEEE Transactions on Medical Imaging, volym 19, pp 223-232, 2000. (DOI).
- DESIGN PATTERNS VERSUS STYLE GUIDES – RE-INVENTING THE WHEEL?. I 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. (Extern länk).
- TEMADAG PÅ CID OM ANVÄNDARCENTRERAD DESIGN OCH PROTOTYPING. Technical report TRITA-NA-D0004, CID-70, 2000. (Extern länk).
- DESIGN VERSUS DESIGN – FROM THE SHAPING OF PRODUCT TO THE CREATION OF USER EXPERIENCES. 2000.
- Datakommunikation. I Professorsinstallation 2000, Uppsala Universitet, 2000. (Extern länk).
- Boundary Conditions and Estimates for the Steady Stokes Equations on Staggered Grids. I Journal of Scientific Computing, volym 15, pp 29-59, 2000. (DOI).
- Implicit high-order difference methods and domain decomposition for hyperbolic problems. I Applied Numerical Mathematics, volym 33, pp 493-500, 2000. (DOI).
- Analyzing execution-time of object-oriented programs using abstract interpretation. Doktorsavhandling, 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. I REAL-TIME SYSTEMS, volym 18, nummer 2-3, pp 129-156, KLUWER ACADEMIC PUBL, 2000. (Extern länk).
- Identification of complex modulus from measured strains on an axially impacted bar using least squares. I JOURNAL OF SOUND AND VIBRATION, volym 230, nummer 3, pp 689-707, 2000.
- A meta-heuristic for subset decision problems. I Proc. of the 2000 ERCIM/CompuLog Workshop on Constraint Programming, 2000.
- Convergence acceleration for the linearized Navier-Stokes equations using semicirculant approximations. I SIAM Journal on Scientific Computing, volym 21, pp 1524-1550, 2000. (DOI).
- A scheme for unifying optimization and constraint satisfaction methods. I KNOWLEDGE ENGINEERING REVIEW, volym 15, nummer 1, pp 11-30, CAMBRIDGE UNIV PRESS, 2000.
- A novel method for quantitative fat analysis in meat by in vivo Magnetic Resonance Imaging. I 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. I Livsmedel 2000, Nationella livsmedelsforskardaga, Uppsala, Sweden, 2000.
- Numerical approaches to optimal control of a model equation for shear flow instabilities. I Flow Turbulence and Combustion, volym 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?. I Upsala Nya Tidning, nummer 13/11 2000, 2000.
- Combining Capon and APES for estimation of spectral lines. I CIRCUITS SYSTEMS AND SIGNAL PROCESSING, volym 19, nummer 2, pp 159-169, BIRKHAUSER BOSTON INC, 2000.
- Computationally efficient two-dimensional capon spectrum analysis. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 48, nummer 9, pp 2651-2661, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
- On efficient implementation of the 2-D Capon algorithm. I 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 .. I ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation (Dynamo'00). Jan 18, 2000, 2000.
- Transitive closures of regular relations for verifying infinite-state systems. I TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, volym 1785, pp 220-234, SPRINGER-VERLAG BERLIN, 2000.
- Reproducibility and repeatability of 99Tcm-HMPAr CBF SPET in normal subjectsat rest using brain atlas matching. I Nuclear Medicine Communications, volym 21, nummer 1, pp 9-18, 2000.
- Amplitude and frequency analysis of force plate data in sitting children with and without MMC. I CLINICAL BIOMECHANICS, volym 15, nummer 7, pp 541-545, 2000.
- Correlations between force plate measures for assessment of balance. I CLINICAL BIOMECHANICS, volym 15, nummer 5, pp 365-369, ELSEVIER SCI LTD, 2000.
- Computing the Cramer-Rao lower bound for noisy input output systems. I Signal Processing, volym 37, nummer 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. (Extern länk).
- Distributed View Expansion in Object-Oriented Mediators. I Fifth IFCIS International Conference on Cooperative Information Systems, Eilat, Israel, 2000. (Extern länk).
- 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. I 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. I Ethics in the age of information technology, volym 7 av CTE, pp 301-309, Linköpings universitet, Linköping, 2000.
- Railway safety and the train driver information environment. I Computers in Railways VII, pp 1047-1056, WIT Press, Southampton, 2000.
- Teaching inter-institutional courses: sharing challenges and resources. I ACM SIGCSE Bulletin, volym 32, nummer 3, pp 178-179, 2000.
- Use of database technology for coupled discrete-finite element simulations of multibody systems. I Finite Element Techniques and Developments, 2000.
- Identification of continuous AR processes from unevenly sampled data. I Reglermöte 2000 (National Conference on Control), 2000.
- Approaches for Identifying Continuous-Time AR Processes from Unevenly Sampled Data. I 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. Doktorsavhandling, 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. Licentiatavhandling, 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. I Tools and Algorithms for the Construction and Analysis of Systems, pp 127-141, 2000.
- Applying configuration management techniques to component-based systems. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-007, Uppsala University, 2000. (fulltext).
- An International Student/Faculty Collaboration: The Runestone Project. I ACM SIGCSE Bulletin: Inroads, 2000.
- Computationally efficient parameter estimation for harmonic sinusoidal signals. I SIGNAL PROCESSING, volym 80, nummer 9, pp 1937-1944, ELSEVIER SCIENCE BV, 2000.
- Object-Oriented Mediator Queries to XML Data. I Proc. 1st Intl. Conf. on Web Information Systems Engineering, 2000. (Extern länk).
- Object-Oriented Mediator Queries to XML Data. I The International Workshop on World Wide Web Semantics (WebSem 2000), 2000. (Extern länk).
- 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. I FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science, pp 277-289, 2000.
- Histogram thresholding using kernel density estimates. I 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. I Symposium on Image Analysis - SSAB 2000, pp 41-44, 2000.
- Measurement and simulation based techniques for real-time systems analysis. Licentiatavhandling, 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. I 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. I 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. (Extern länk).
- Distributed computing and safety critical systems in Ada. Doktorsavhandling, DoCS nr 114, Acta Universitatis Upsaliensis, Uppsala, 2000.
- Development of a computer program for volume estimation of arteriovenous malformations from biplane DSA images. I MEDICAL IMAGE COMPUTING AND COMPUTER-ASSISTED INTERVENTION - MICCAI 2000, volym 1935, pp 746-755, 2000.
- Convergence analysis of iterative methods by pseudodifference operators. I Journal of Computational and Applied Mathematics, volym 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. I ANNALS OF PURE AND APPLIED LOGIC, volym 105, nummer 1-3, pp 83-102, ELSEVIER SCIENCE BV, 2000.
- Vector ARMA estimation: A reliable subspace approach. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 48, nummer 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. (Extern länk).
- Identification of viscoelastic materials. I 12th IFAC Symposium on System Identification, 2000.
- Identification of viscoelastic materials. I Reglermöte 2000 (National Conference on Control), 2000.
- Identification of viscoelastic materials and continuous-time stochastic systems. Doktorsavhandling, 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. I Symposium on Image Analysis - SSAB 2000, pp 49-52, 2000.
- A flexible framework for detection of feature interactions in telecommunication systems. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-006, Uppsala University, 2000. (fulltext).
- Scalable Distributed Datastructures for High-Performance Databases. I Proc. 3rd Workshop on Distributed Data and Structures (WDAS'2000), 2000. (Extern länk).
- Initial-Boundary-Value Problems for the Stokes and Navier–Stokes Equations on Staggered Grids. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 26, Acta Universitatis Upsaliensis, Uppsala, 2000.
- Regular model checking. Licentiatavhandling, 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. I Proc, volym 2000:4 av Antennas and Propagation Society International Symposium, pp 1848-1851, IEEE, 2000. (DOI).
- Some Applications of Remote Sensing for Monitoring of Environment and Agriculture. Licentiatavhandling, 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. I , 2000.
- A formalisation of the ITU-T Intelligent Network standard. Licentiatavhandling, 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?. I GAIT & POSTURE, volym 12, nummer 1, pp 7-13, ELSEVIER SCI IRELAND LTD, 2000.
- Integration of Constraint Programming and Integer Programming for Combinatorial Optimization. Doktorsavhandling, Uppsala theses in computing science nr 33, Acta Universitatis Upsaliensis, Uppsala, 2000.
- Trios in Concert. I 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. I Parallel and Distributed Processing, volym 1800 av Lecture Notes in Computer Science, pp 485-496, Springer-Verlag, Berlin, 2000. (DOI).
- Partitioning strategies for structured multiblock grids. I Parallel Computing, volym 26, pp 1661-1680, 2000. (DOI).
- Modeling and parameter estimation of the diffusion equation. Licentiatavhandling, 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. (Extern länk).
- Amos II External Interfaces. 2000. (Extern länk).
- 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. I 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. I JOURNAL OF LOGIC PROGRAMMING, volym 45, nummer 1-3, pp 1-41, ELSEVIER SCIENCE INC, 2000.
- Time studies as a tool for (computer science) education research. I ACM Australasian computing education conference, Melbourne, 2000. (Extern länk).
- 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. I 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. I AIAA Journal, volym 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. Doktorsavhandling, DoCS nr 117, Acta Universitatis Upsaliensis, Uppsala, 2000.
- The Reconstruction of the Digital Hyperbola Segment from Its Code. I International Conference on Discrete Geometry for Computer Imagery, volym 1953 av 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. I 12th IFAC Symposium on System Identification, 2000.
- Characterization of domain-based partitioners for parallel SAMR applications. I 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. I ASTRONOMICAL JOURNAL, volym 120, nummer 4, pp 2163-2173, UNIV CHICAGO PRESS, 2000.
- Amplitude estimation of sinusoidal signals: Survey, new results, and an application. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 48, nummer 2, pp 338-352, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
- Analysis of mussel growth data. I HYDROBIOLOGIA, volym 438, nummer 1-3, pp 245-249, 2000.
- Exact ML estimation of spectroscopic parameters. I JOURNAL OF MAGNETIC RESONANCE, volym 145, nummer 1, pp 108-114, ACADEMIC PRESS INC, 2000.
- MA estimation in polynomial time. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 48, nummer 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. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 48, nummer 11, pp 3087-3099, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
- Maximum likelihood DOA estimation for constant-modulus signal. I ELECTRONICS LETTERS, volym 36, nummer 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. I Symposium on Image Analysis - SSAB 2000, pp 37-40, 2000.
- Optimal recursive state estimation with quantized measurements. I IEEE Transactions on Automatic Control, volym 45, nummer 4, pp 762-767, 2000. (DOI).
- Comments on adaptive IIR filtering with monic normalization. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 48, nummer 3, pp 892-894, 2000.
- Parameter estimation and model approximation for diffusion models. I 12th IFAC Symposium on System Identification, 2000.
- Parameter estimation and model approximation for diffusion models. I Reglermöte 2000 (National Conference on Control), 2000.
- Performance evaluation of methods for identifying continuous-time autoregressive processes. I AUTOMATICA, volym 36, nummer 1, pp 53-59, 2000.
- Reduced order models for diffusion systems via collocation methods. I Proc IFAC 12th Symposium on System Identification, 2000.
- Reduced order models for diffusion systems via collocation methods. I 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. I 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. Doktorsavhandling, Uppsala theses in computing science nr 34, Acta Universitatis Upsaliensis, Uppsala, 2000. (fulltext).
- Improved efficiency for MRI-SPET registration based on mutual information. I EUROPEAN JOURNAL OF NUCLEAR MEDICINE, volym 27, nummer 7, pp 847-856, 2000.
- Registration of neuroimaging data: Implementation and clinical applications. I JOURNAL OF NEUROIMAGING, volym 10, nummer 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. (Extern länk).
- Header Hopping and Packet Mixers. I The 9th IEEE International Conference on Computer Communications and Networks, 2000. (Extern länk).
- Active Routing for Ad-hoc Networks. I IEEE Communications Magazine: Special issue on Active and Programmable Networks, nummer April, 2000. (Extern länk).
- Active Routing for Ad-hoc Networks. I IEEE Communications Magazine, volym 38, nummer 4, 2000.
- Global artificial boundary conditions for computation of external flows with jets. I AIAA Journal, volym 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. I JOURNAL OF MAGNETIC RESONANCE, volym 143, nummer 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. Licentiatavhandling, 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. I JOURNAL OF PATHOLOGY, volym 190, nummer 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. I APPLIED IMMUNOHISTOCHEMISTRY & MOLECULAR MORPHOLOGY, volym 8, nummer 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. I Journal of Pathology, volym 190, nummer 4, pp 503-11, 2000. (DOI, Extern länk).
- Analysis of a low-complexity change detection scheme. I International journal of adaptive control and signal processing (Print), volym 14, nummer 5, pp 481-503, 2000. (DOI).
- Tags for High Performance Active Networks. I The Third IEEE Conference on Open Architectures and Network Programming: OpenARCH 2000, 2000. (Extern länk).
- Automatic cytoplasm segmentation of fluorescence labelled cells. I Symposium on Image Analysis - SSAB 2000, pp 29-32, 2000.
- Efficiency of Characterizing Ellipses and Ellipsoids by Discrete Moments. I IEEE Transactions on Pattern Analysis and Machine Intelligence, volym 22, nummer 4, pp 407-414, 2000. (DOI).
- Identifiering av människokroppens balanssystem. I Reglermöte 2000 (National Conference on Control), 2000.