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. (fulltext
).
-
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.
-
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.