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