Publications 2011
-
A weak boundary procedure for high order finite difference approximations of hyperbolic problems
. Technical report / Department of Information Technology, Uppsala University nr 2011-019, 2011. (fulltext
).
-
Weak Boundary and Interface Procedures for Wave and Flow Problems
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 862, Acta Universitatis Upsaliensis, Uppsala, 2011. (fulltext
).
-
A classification of the expressive power of well-structured transition systems
. In Information and Computation, volume 209, number 3, pp 248-279, 2011. (DOI
).
-
Advanced Ramsey-based Büchi automata inclusion testing
. In CONCUR 2011 — Concurrency Theory, volume 6901 of Lecture Notes in Computer Science, pp 187-202, Springer Berlin/Heidelberg, 2011. (DOI
).
-
Automatic verification of directory-based consistency protocols with graph constraints
. In International Journal of Foundations of Computer Science, volume 22, number 4, pp 761-782, 2011. (DOI
).
-
Computing Optimal Coverability Costs in Priced Timed Petri Nets
. In LICS'2011, Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, IEEE Symposium on Logic in Computer Science, pp 399-408, 2011. (DOI
).
-
On the verification of timed ad hoc networks
. In Formal Modeling and Analysis of Timed Systems: FORMATS 2011, volume 6919 of Lecture Notes in Computer Science, pp 256-270, Springer Berlin/Heidelberg, 2011. (DOI
).
-
Approaches for increasing throughput andinformation content of image-based zebrafishscreens
. In Proceeding of SSBA 2011, 2011.
-
Methods for 2D and 3D Quantitative Microscopy of Biological Samples
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 856, Acta Universitatis Upsaliensis, Uppsala, 2011. (fulltext
).
-
A compartmental model-based control strategy for NeuroMuscular Blockade level
. In Proc. 18th IFAC World Congress, pp 599-604, International Federation of Automatic Control, 2011.
-
Globalization and the change of employment system
. In Management systems, Nippon Hyoronsha, Tokyo, 2011.
-
ICT professionalism and gender
. In Management quality science, pp 181-184, Chuokeizaisha, Tokyo, 2011.
-
Social media as a tool for change
. In The social impact of social computing, pp 44-50, Sheffield Hallam University, Sheffield, UK, 2011.
-
The revival of natural and cultural identity through social media
. In The computational turn: Past, presents, futures?, pp 329-331, MV-Wissenschaft, Münster, 2011.
-
Virtue as ethical competence
. In EBEN Annual Conference 2011, Universiteit Antwerpen, Antwerp, 2011. (External link
).
-
Approximating Petri net reachability along context-free traces
. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2011, volume 13 of Leibniz International Proceedings in Informatics, pp 152-163, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2011. (DOI
, fulltext:postprint
).
-
Context-bounded analysis for concurrent programs with dynamic creation of threads
. In Logical Methods in Computer Science, volume 7, number 4, pp 4:1-48, 2011. (DOI
).
-
Getting rid of store-buffers in TSO analysis
. In Computer Aided Verification: CAV 2011, volume 6806 of Lecture Notes in Computer Science, pp 99-115, Springer-Verlag, Berlin, 2011. (DOI
).
-
On Yen's path logic for Petri nets
. In International Journal of Foundations of Computer Science, volume 22, number 4, pp 783-799, 2011. (DOI
).
-
Matrix Computations and Nonlinear Equations
. Volume 18:2 of Numerical Linear Algebra with Applications, 2011.
-
Operator splittings for solving nonlinear, coupled multiphysics problems with an application to the numerical solution of an interface problem
. Technical report / Department of Information Technology, Uppsala University nr 2011-009, 2011. (External link
, fulltext
).
-
A combined linear programming-maximum likelihood approach to radial velocity data analysis for extrasolar planet detection
. In ICASSP2011, the 36th International Conference on Acoustics, Speech and Signal Processing, Prague, Czech Republic, International Conference on Acoustics Speech and Signal Processing ICASSP, pp 4352-4355, 2011.
-
Maintaining Database Integrity with Refinement Types
. In ECOOP 2011 – Object-Oriented Programming, volume 6813 of Lecture Notes in Computer Science, pp 484-509, Springer-Verlag, Berlin, 2011. (DOI
).
-
Algorithms and data structures for massively parallel generic adaptive finite element codes
. In ACM Transactions on Mathematical Software, volume 38, number 2, pp 14:1-28, 2011. (DOI
).
-
Efficient sampling in event-driven algorithms for reaction-diffusion processes
. Technical report / Department of Information Technology, Uppsala University nr 2011-023, 2011. (fulltext
).
-
Developing UPPAAL over 15 years
. In Software, practice & experience, volume 41, number 2, pp 133-142, 2011. (DOI
).
-
Psi-calculi: a framework for mobile processes with nominal data and logic
. In Logical Methods in Computer Science, volume 7, number 1, p 11, 2011. (DOI
).
-
Refinement types for secure implementations
. In ACM Transactions on Programming Languages and Systems, volume 33, number 2, pp 8:1-45, 2011. (DOI
).
-
Stable Robin solid wall boundary conditions for the Navier-Stokes equations
. In Journal of Computational Physics, volume 230, pp 7519-7532, 2011. (DOI
).
-
How do master level students in Computer Science perceive plagiarism?
. In Proc. 2nd International Conference on Computer Science Education: Innovation and Technology, pp 90-95, Global Science and Technology Forum, Singapore, 2011. (fulltext:print
).
-
Reasoning about the value of cultural awareness in international collaboration
. In Journal of Applied Computing and Information Technology, volume 15, number 1:I2, 2011. (External link
).
-
Congestion Avoidance in a Data-Centric Opportunistic Network
. In Proceedings of the 2011 ACM SIGCOMM Workshop on Information-Centric Networking (ICN-2011), 2011.
-
Haggle Testbed: a Testbed for Opportunistic Networks
. In In Proceedings of the 7th Swedish National Computer Networking Workshop, 2011.
-
Signal Modeling and the Cramér-Rao Bound for Absolute Magnetic Resonance Thermometry in Fat Tissue
. In Proc. 45th Asilomar Conference on Signals, Systems, and Computers, pp 80-84, 2011. (DOI
).
-
Signal Processing Algorithms for Removing Banding Artifacts in MRI
. In Proceedings of the 19th European Signal Processing Conference (EUSIPCO-2011), European Signals Processing Conference, pp 1000-1004, 2011. (fulltext:print
).
-
Synthesis and characterization of scVEGF-PEG-[<sup>68</sup>Ga]NOTA and scVEGF-PEG-[<sup>68</sup>Ga]DOTA PET tracers
. In Journal of labelled compounds & radiopharmaceuticals, volume 54, number 11, pp 685-692, 2011. (DOI
).
-
JamLab: Augmenting sensornet testbeds with realistic and controlled interference generation
. In IPSN, pp 175-186, 2011.
-
Broadcast Psi-calculi with an Application to Wireless Protocols
. In Software Engineering and Formal Methods: SEFM 2011, volume 7041 of Lecture Notes in Computer Science, pp 74-89, Springer Berlin/Heidelberg, 2011. (DOI
, fulltext:postprint
).
-
Verified Stateful Programs with Substructural State and Hoare Types
. In Proc. 5th ACM Workshop on Programming Languages Meets Program Verification, pp 15-26, ACM Press, New York, 2011. (DOI
).
-
Students' perceptions of the differences between formal and informal learning
. In Proc. 7th International Computing Education Research Workshop, pp 61-68, ACM Press, New York, 2011. (DOI
).
-
Efficient preconditioners for large scale binary Cahn–Hilliard models
. Technical report / Department of Information Technology, Uppsala University nr 2011-011, 2011. (fulltext
).
-
Multilevel preconditioning of graph-Laplacians: Polynomial approximation of the pivot blocks' inverses
. Technical report / Department of Information Technology, Uppsala University nr 2011-030, 2011. (External link
, fulltext
).
-
Solution methods for the Cahn–Hilliard equation discretized by conforming and non-conforming finite elements
. Technical report / Department of Information Technology, Uppsala University nr 2011-004, 2011. (External link
, fulltext
).
-
An interpolating sequent calculus for quantifier-free Presburger arithmetic
. In Journal of automated reasoning, volume 47, number 4, pp 341-367, 2011. (DOI
).
-
Beyond quantifier-free interpolation in extensions of Presburger arithmetic
. In Verification, Model Checking, and Abstract Interpretation: VMCAI 2011, volume 6538 of Lecture Notes in Computer Science, pp 88-102, Springer Berlin/Heidelberg, 2011. (DOI
).
-
GINSENG: Performance Control in Wireless Sensor Networks
. In 8th European Conference on Wireless Sensor Networks (EWSN’11), 2011.
-
BurstProbe: Debugging Time-Critical Data Delivery in Wireless Sensor Networks
. In 8th European Conference on Wireless Sensor Networks (EWSN’11), 2011.
-
Image Analysis of Saddle Pressure Data
. SSBA'11, Symposium on Image Analysis, Linköping, 2011.
-
Assessing professional skills in engineering education
. In Australian Computer Science Communications, volume 33, number 2, pp 145-154, 2011. (External link
).
-
Development of Professional Competencies in Engineering Education
. In Proc. 41st ASEE/IEEE Frontiers in Education Conference, pp S1C-1-5, IEEE, Piscataway, NJ, 2011. (DOI
).
-
A succinct canonical register automaton model
. In Automated Technology for Verification and Analysis: ATVA 2011, volume 6996 of Lecture Notes in Computer Science, pp 366-380, Springer-Verlag, Berlin, 2011. (DOI
, External link
).
-
Leakage-efficient design of value predictors through state and non-state preserving techniques
. In Journal of Supercomputing, volume 55, number 1, pp 28-50, 2011. (DOI
).
-
Power Token Balancing: Adapting CMPs to power constraints for parallel multithreaded workloads
. In Proc. 25th International Parallel and Distributed Processing Symposium, pp 431-442, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Structural Characterisation of Kraft Pulp Fibres and Their Nanofibrillated Materials for Biodegradable Composite Applications
. In Nanocomposites and Polymers with Analytical Methods, pp 243-260, InTech, 2011. (External link
, fulltext:print
).
-
Detection of asynchronous message passing errors using static analysis
. In Practical Aspects of Declarative Languages, volume 6539 of Lecture Notes in Computer Science, pp 5-18, Springer Berlin/Heidelberg, 2011. (DOI
).
-
Further Results on a State Observer for Continuous Oscillating Systems under Intrinsic Pulsatile Feedback
. In Proc. 50th Conference on Decision and Control, IEEE, Piscataway, NJ, 2011.
-
State observer for continuous oscillating systems with pulsatile feedback
. In Proc. 18th IFAC World Congress, International Federation of Automatic Control, 2011.
-
Increasing the dynamic range of in situ PLA
. In Nature Methods, volume 8, number 11, pp 892-893, 2011. (DOI
).
-
Report on the final BRACElet workshop: Auckland University of Technology, September 2010
. In Journal of Applied Computing and Information Technology, volume 15, number 1:T1, 2011. (External link
).
-
An improved method for estimating chromosomal line origin in QTL analysis of crosses between outbred lines
. In G3: Genes, Genomes, Genetics, volume 1, pp 57-64, 2011. (DOI
).
-
Distance measures between digital fuzzy objects and their applicability in image processing<em></em>
. In Combinatorial Image Analysis, volume 6636 of Lecture Notes in Computer Science, pp 385-397, Springer Berlin/Heidelberg, 2011. (DOI
).
-
Developing and Assessing Professional Competencies: a Pipe Dream?: Experiences from an Open-Ended Group Project Learning Environment
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 808, Acta Universitatis Upsaliensis, Uppsala, 2011. (fulltext
).
-
Automatic analysis of DMA races using model checking and k-induction
. In Formal methods in system design, volume 39, number 1, pp 83-113, 2011. (DOI
).
-
SCRATCH: a tool for automatic analysis of DMA races
. In Proc. 16th ACM Symposium on Principles and Practice of Parallel Programming, pp 311-312, ACM Press, New York, 2011. (DOI
).
-
Software verification using <em>k</em>-induction
. In Static Analysis: SAS 2011, volume 6887 of Lecture Notes in Computer Science, pp 351-368, Springer Berlin/Heidelberg, 2011. (DOI
).
-
Tightening test coverage metrics: A case study in equivalence checking using <em>k</em>-induction
. In Formal Methods for Components and Objects: FMCO 2010, volume 6957 of Lecture Notes in Computer Science, pp 297-315, Springer Berlin/Heidelberg, 2011. (DOI
).
-
Precise Estimation of the Projection of a Shape from a Pixel Coverage Representation
. In Proceedings of the 7th IEEE International Symposium on Image and Signal Processing and Analysis (ISPA), pp 569-574, IEEE Computer Society, 2011. (External link
).
-
Computationally efficient approaches to aeroacoustic source power estimation
. In IEEE Signal Processing Letters, volume 18, number 1, pp 11-14, 2011. (DOI
).
-
Computing Systems: Research Challenges Ahead: The HiPEAC Vision 2011/2012
. 2011. (PDF
, fulltext
).
-
Stable and conservative time propagators for second order hyperbolic systems
. Technical report / Department of Information Technology, Uppsala University nr 2011-008, 2011. (External link
, fulltext
).
-
Relationship between text and action conceptions of programming: a phenomenographic and quantitative perspective
. In Proc. 16th Conference on Innovation and Technology in Computer Science Education, pp 33-37, ACM Press, New York, 2011. (DOI
).
-
A distributed swarm-intelligent localization for sensor networks with mobile nodes
. In Proc. 7th International Wireless Communications and Mobile Computing Conference, pp 83-88, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Cache Pirating: Measuring the curse of the shared cache
. Technical report / Department of Information Technology, Uppsala University nr 2011-001, 2011. (fulltext
).
-
Cache Pirating: Measuring the Curse of the Shared Cache
. In Proc. 40th International Conference on Parallel Processing, pp 165-175, IEEE Computer Society, 2011. (DOI
).
-
Efficient methods for application performance analysis
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2011-001, Uppsala University, 2011. (fulltext
).
-
Fast modeling of shared caches in multicore systems
. In Proc. 6th International Conference on High Performance and Embedded Architectures and Compilers, pp 147-157, ACM Press, New York, 2011. (DOI
).
-
Numerical option pricing in the presence of bubbles
. In Quantitative finance (Print), volume 11, pp 1125-1128, 2011. (DOI
).
-
On well-separated sets and fast multipole methods
. In Applied Numerical Mathematics, volume 61, pp 1096-1102, 2011. (DOI
).
-
A stable and conservative method for locally adapting the design order of finite difference schemes
. In Journal of Computational Physics, volume 230, pp 4216-4231, 2011. (DOI
).
-
Analysis of boundary conditions in numerical simulations of geological CO<sub>2</sub> storage
. In 8th EGU General Assembly, volume 13 of Geophysical Research Abstracts, p EGU2011-7410, Copernicus Publications, Göttingen, Germany, 2011.
-
On the consistency of simulation results
. In , 2011.
-
Self-organizing TDMA for multihop networks
. 2011.
-
Two simple tools for testing wireless communication modules in OMNeT++
. In 4th Int’l Workshop on OMNeT++ in conjunction with 3th Int’l Conf on Simulation Tools and Techniques (Simutools 2011), 2011. (External link
).
-
Towards adaptive sensor networks
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2011-004, Uppsala University, 2011. (fulltext
).
-
RBF-generated finite differences for nonlinear transport on a sphere: Shallow water simulations
. Technical report / Department of Information Technology, Uppsala University nr 2011-020, 2011. (External link
, fulltext
).
-
A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
. In Communications in nonlinear science & numerical simulation, volume 16, pp 1227-1243, 2011. (DOI
).
-
Mobile system for establishing the lactate threshold by analysing the respiratory air
. In Proc. 2nd International Conference on Ambulatory Monitoring of Physical Activity and Movement, pp 102-102, Glasgow Caledonian University, Scotland, 2011.
-
Stabilization of RBF-generated finite difference methods for convective PDEs
. In Journal of Computational Physics, volume 230, pp 2270-2285, 2011. (DOI
).
-
Stable computations with Gaussian radial basis functions
. In SIAM Journal on Scientific Computing, volume 33, pp 869-892, 2011. (DOI
).
-
A Conserved Developmental Patterning Network Produces Quantitatively Different Output in Multiple Species of Drosophila
. In PLoS Genetics, volume 7, number 10, p e1002346, PLoS, 2011. (DOI
).
-
Consistency of constraint networks induced by automaton-based constraint specifications
. In Proc. 10th International Workshop on Constraint Modelling and Reformulation, pp 117-131, Department of Mathematics and Informatics, University of Perugia, Italy, 2011. (Proceedings
).
-
Editorial special issue on continuous-time model identification
. In IET Control Theory & Applications, volume 5, number 7, pp 839-841, 2011. (DOI
).
-
Automated Classification of Multicolored Rolling Circle Products in Dual-Channel Wide-Field Fluorescence Microscopy
. In Cytometry Part A, volume 79A, number 7, pp 518-527, 2011. (DOI
).
-
Spectral Image Processing with Applications in Biotechnology and Pathology
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 876, Acta Universitatis Upsaliensis, Uppsala, 2011. (fulltext
).
-
Tissue Separation for Quantitative Malignancy Grading of Prostate Cancer
. In Abstracts of Medicinteknikdagarna 2011, pp 32-32, 2011. (External link
, External link
).
-
A type and effect system for deadlock avoidance in low-level languages
. In Proc. 6th International Workshop on Types in Language Design and Implementation, pp 15-28, ACM Press, New York, 2011. (DOI
).
-
On identification of FIR systems having quantized output data
. In Automatica, volume 47, number 9, pp 1905-1915, 2011. (DOI
).
-
Interface procedures for finite difference approximations of the advection-diffusion equation
. In Journal of Computational and Applied Mathematics, volume 236, pp 602-620, 2011. (DOI
).
-
An algebraic variational multiscale–multigrid method for large-eddy simulation: Generalized-? time integration, Fourier analysis and application to turbulent flow past a square-section cylinder
. In Computational Mechanics, volume 47, pp 217-233, 2011. (DOI
).
-
Delay-induced anomalous fluctuations in intracellular regulation
. In Nature Communications, volume 2, pp 419:1-7, 2011. (DOI
).
-
Effective and efficient scheduling of certifiable mixed-criticality sporadic task systems
. In Proc. Real-Time Systems Symposium, pp 13-23, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Resource sharing protocols for real-time task graph systems
. In Proc. 23rd Euromicro Conference on Real-Time Systems, pp 272-281, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling
. In Journal of systems architecture, volume 57, number 5, pp 536-546, 2011. (DOI
).
-
Blood velocity estimation using ultrasound and spectral iterative adaptive approaches
. In Signal Processing, volume 91, number 5, pp 1275-1283, 2011. (DOI
).
-
Privacy-aware probabilistic sampling for data collection in wireless sensor networks
. In Proc. 7th International Wireless Communications and Mobile Computing Conference, pp 314-319, IEEE conference proceedings, Piscataway, NJ, 2011. (DOI
).
-
Fundamentals of Scientific Computing
. Springer-Verlag, Berlin, 2011. (DOI
).
-
The work of David Gottlieb: a success story
. In Communications in Computational Physics, volume 9, pp 481-496, 2011. (DOI
).
-
Stable difference methods for block-structured adaptive grids
. Technical report / Department of Information Technology, Uppsala University nr 2011-022, 2011. (External link
, fulltext
).
-
Anti-aliased Euclidean distance transform
. In Pattern Recognition Letters, volume 32, number 2, pp 252-257, 2011. (DOI
).
-
Energy-efficient task mapping for data-driven sensor network macroprogramming using constraint programming
. In Operations Research, Computing, and Homeland Defense, pp 199-209, Institute for Operations Research and the Management Sciences, Hanover, MD, 2011. (DOI
).
-
Geomemories - a Spatial-Temporal Atlas of the Italian Landscape.
. In International Symposium on Virtual Reality, Archaeology and Cultural Heritage, pp 41-44, 2011.
-
On synthesizing cross-ambiguity functions
. In ICASSP2011, the 36th International Conference on Acoustics, Speech and Signal Processing, Prague, Czech Republic, 2011.
-
Wideband MIMO Systems: Signal Design for Transmit Beampattern Synthesis
. In IEEE Transactions on Signal Processing, volume 59, number 2, pp 618-628, 2011. (DOI
).
-
An <em>automaton</em> constraint for local search
. In Fundamenta Informaticae, volume 107, pp 223-248, 2011. (DOI
).
-
Test-case generation for embedded Simulink via formal concept analysis
. In Proc. 48th Design Automation Conference, pp 224-229, ACM Press, New York, 2011. (DOI
).
-
On an augmented Lagrangian-based preconditioning of Oseen type problems
. In BIT Numerical Mathematics, volume 51, pp 865-888, 2011. (DOI
).
-
Preconditioning the incompressible Navier-Stokes equations with variable viscosity
. Technical report / Department of Information Technology, Uppsala University nr 2011-006, 2011. (External link
, fulltext
, fulltext
).
-
Robust preconditioning methods for algebraic problems, arising in multi-phase flow models
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2011-002, Uppsala University, 2011. (fulltext
).
-
Coupled mesoscopic and microscopic simulation of stochastic reaction-diffusion processes in mixed dimensions
. Technical report / Department of Information Technology, Uppsala University nr 2011-005, 2011. (fulltext
).
-
Multiscale Stochastic Simulation of Reaction-Transport Processes: Applications in Molecular Systems Biology
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 832, Acta Universitatis Upsaliensis, Uppsala, 2011. (fulltext
).
-
Flexible single molecule simulation of reaction-diffusion processes
. In Journal of Computational Physics, volume 230, pp 3948-3965, 2011. (DOI
).
-
Mobile Sources in an Information-Centric Network with Hierarchical Names: An Indirection Approach
. In Proc. 7th Swedish National Computer Networking Workshop, 2011.
-
Sensei-UU — a relocatable WSN testbed supporting repeatable node mobility
. In Testbeds and Research Infrastructures: Development of Networks and Communities, volume 46 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pp 612-614, Springer-Verlag, Berlin, 2011. (DOI
).
-
Laguerre domain identification of continuous linear time delay systems from impulse response data
. In Proc. 18th IFAC World Congress, International Federation of Automatic Control, 2011.
-
On the accuracy in errors-in-variables identification compared to prediction-error identification
. In Automatica, volume 47, number 12, pp 2704-2712, 2011. (DOI
).
-
A simple model for tuning tasks
. In Proc. 4th Swedish Workshop on Multi-Core Computing, pp 45-49, Linköping University, Linköping, Sweden, 2011.
-
Twitter in Disaster Mode: Opportunistic Communication and Distribution of Sensor Data in Emergencies
. In ExtremeCom2011, ACM Press, 2011.
-
Twitter in Disaster Mode: Security Architecture
. In Conference on emerging Networking EXperiments and Technologies (CoNEXT): Special Workshop on the Internet and Disasters (SWID), ACM Press, Tokyo, 2011.
-
Horizontal features based illumination normalization method for face recognition
. 7th International Symposium on Image and Signal Processing and Analysis, IEEE, 2011.
-
Reducing unnecessary cognitive load in train traffic control
. Conference for work environment research, June 15-17, 2011, Luleå, Sweden, 2011.
-
Same System – Different Experiences: Physicians' and Nurses' Experiences in Using IT Systems
. 23rd Australian Computer-Human Interaction Conference, ACM Press, New York, 2011. (DOI
, Same system different experiences
).
-
Tailor the system or tailor the user?: How to make better use of electronic patient record systems
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2011-003, Uppsala University, 2011. (fulltext
).
-
Three Key Concerns for a Successful EPR Deployment and Usage
. In User Centred Networked Health Care: Proceedings of MIE 2011, volume 169 of Studies in Health Technology and Informatics, pp 260-264, 2011. (DOI
, fulltext:preprint
).
-
Dynamic Smooth Pursuit Gain Estimation from Eye Tracking Data
. In Proc. 50th Conference on Decision and Control, IEEE, Piscataway, NJ, 2011.
-
Memory access aware mapping for networks-on-chip
. In Proc. 17th International Conference on Embedded and Real-Time Computing Systems and Applications, pp 339-348, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Learning of automata models extended with data
. In Formal Methods for Eternal Networked Software Systems: SFM 2011, Advanced Lectures, volume 6659 of Lecture Notes in Computer Science, pp 327-349, Springer Berlin/Heidelberg, 2011. (DOI
).
-
A quadratic edge-finding filtering algorithm for cumulative resource constraints
. In Principles and Practice of Constraint Programming – CP 2011, volume 6876 of Lecture Notes in Computer Science, pp 478-492, Springer-Verlag, Berlin, 2011. (DOI
).
-
Sparse conjugate directions pursuit with application to fixed-size kernel models
. In Machine Learning, volume 85, number 1-2, pp 109-148, 2011. (DOI
).
-
State of the art in modeling opportunistic networks
. In Mobile Opportunistic Networks: Architectures, Protocols and Applications, pp 25-50, Auerbach Publications, Boca Raton, FL, 2011. (DOI
).
-
Introducing social accountability of computing in engeneering faculties
. In New directions for social accountability, pp 8-11, IFIP, WG 9.2, Namur, 2011.
-
Leaders as philosophers
. In EBEN Annual Conference 2011, Universiteit Antwerpen, Antwerp, 2011. (External link
).
-
The common fate of ethics, sustainability and IT
. In Social accountability and sustainability in the information society: Pespectives on long-term responsibility, pp 4-4, Politeia, Milano, 2011.
-
The need for ethically competent leaders
. In Leadership and management in a changing world, p CD-ROM, Athens University of Economics and Business, Athens, 2011.
-
The relation between ICT, sustainability and ethics
. In Politeia, volume 104, pp 79-90, 2011.
-
Training leaders for ethical competence
. In 2nd Annual International Business Conference, Saint Leo University, Saint Leo, FL, USA, 2011.
-
What are ethical agents and how can we make them work properly?
. In The computational turn: Past, presetns, futures?, pp 151-153, MV-Wissenschaft, Münster, 2011.
-
Cooperative state estimation for preserving privacy of user behaviors in smart grid
. In Proc. 2nd International Conference on Smart Grid Communications, pp 178-183, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Energy-efficient scheduling for parallel real-time tasks based on level-packing
. In Proc. 26th ACM Symposium on Applied Computing, pp 635-640, ACM Press, New York, 2011. (DOI
).
-
Energy-efficient scheduling of real-time tasks on cluster-based multicores
. In Proc. 14th Conference on Design, Automation and Test in Europe, IEEE, Piscataway, NJ, 2011.
-
Global error control of the time-propagation for the Schrödinger equation with a time-dependent Hamiltonian
. In Journal of Computational Science, volume 2, pp 178-187, 2011. (DOI
).
-
Parallel finite element operator application: Graph partitioning and coloring
. In Proc. 7th International Conference on e-Science, pp 332-339, IEEE Computer Society, Los Alamitos, CA, 2011. (DOI
).
-
Radial basis functions for the time-dependent Schrödinger equation
. In Numerical Analysis and Applied Mathematics: ICNAAM 2011, volume 1389 of AIP Conference Proceedings, pp 1323-1326, American Institute of Physics (AIP), Melville, NY, 2011. (DOI
).
-
A generic interface for parallel cell-based finite element operator application
. Technical report / Department of Information Technology, Uppsala University nr 2011-025, 2011. (fulltext
).
-
A hybrid level-set-phase-field method for two-phase flow with contact lines
. Technical report / Department of Information Technology, Uppsala University nr 2011-026, 2011. (fulltext
).
-
Computational Techniques for Coupled Flow-Transport Problems
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 885, Acta Universitatis Upsaliensis, Uppsala, 2011. (fulltext
).
-
Multiscale modeling of capillary-driven contact line dynamics
. Technical report / Department of Information Technology, Uppsala University nr 2011-024, 2011. (External link
, fulltext
).
-
Kylberg Texture Dataset v. 1.0
. External report (Blue series) nr 35, Centre for Image Analysis, Swedish University of Agricultural Sciences and Uppsala University, Uppsala, 2011. (External link
, fulltext
).
-
Refinement of Segmented Virus Particel Candidates in TEM Images
. SSBA'11, Symposium on Image Analysis, Linköping, 2011.
-
Virus texture analysis using local binary patterns and radial density profiles
. In Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, volume 7042 of Lecture Notes in Computer Science, pp 573-580, Springer Berlin/Heidelberg, 2011. (DOI
).
-
Standards or dialogue for social accountability?
. In New directions for social accountability and computing, pp 4-5, IFIP, WG 9.2, Namur, 2011.
-
A posteriori error estimates for mixed finite element approximations of parabolic problems
. In Numerische Mathematik, volume 118, pp 33-48, 2011. (DOI
).
-
Linear and nonlinear decoupling for inner loop power control in 3G mobile communications
. In , volume 44:1 of IFAC-PapersOnLine, pp 9194-9199, 2011. (DOI
).
-
Stable Robin boundary conditions for the Navier-Stokes equations
. Technical report / Department of Information Technology, Uppsala University nr 2011-012, 2011. (External link
, fulltext
).
-
Probing waveforms and adaptive receivers for active sonar
. In Journal of the Acoustical Society of America, volume 129, number 6, pp 3640-3651, 2011. (DOI
).
-
Using hardware transactional memory for high-performance computing
. In Proc. 25th International Symposium on Parallel and Distributed Processing Workshops and PhD Forum, pp 1660-1667, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Rapid prototyping of image analysis applications
. In Medical Image Processing: Techniques and Applications, Biological and Medical Physics, Biomedical Engineering Series, pp 5-25, Springer, 2011. (DOI
).
-
Regularized image denoising based on spectral gradient optimization
. In Inverse Problems, volume 27, number 8, pp 085010:1-17, 2011. (DOI
).
-
McAiT — a timing analyzer for multicore real-time software
. In Automated Technology for Verification and Analysis, volume 6996 of Lecture Notes in Computer Science, pp 414-417, Springer-Verlag, Berlin, 2011. (DOI
).
-
"Det är ett verktyg vi ska arbeta med": En studie av arbetet med Vision 2030 och Tillsammansmodulerna, delrapport 2
. Nationellt IT-användarcentrum (NITA), Uppsala, 2011. (fulltext
).
-
Culture as similarities and dynamics: Suggesting reinterpretations of Geert Hofstede's work
. In Proc. 2nd International Conference on Culture and Computing, pp 133-134, IEEE Computer Society, 2011. (DOI
).
-
Intranet use as a leadership strategy
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2011-006, Uppsala University, 2011. (fulltext
).
-
To trust upon that someone trusts upon yourself: Influences of trust and other factors on an Intranet based leader strategy
. In Ambient Intelligence, volume 7040 of Lecture Notes in Computer Science, pp 238-242, Springer Berlin/Heidelberg, 2011. (DOI
).
-
“Of course they want it to be better”: Using Intranet Technology as a Leader Strategy
. In Forum För Arbetslivsforskning, 2011.
-
Interrogating health-related public databases from a food toxicology perspective: Computational analysis of scoring data
. In Food and Chemical Toxicology, volume 49, number 11, pp 2830-2840, 2011. (DOI
).
-
The CerviSCAN project: Project description and current progress
. In Proceedings SSBA 2011, 2011. (fulltext:print
).
-
A Graph-based Framework for Sub-pixel Image Segmentation
. In Theoretical Computer Science, volume 412, number 15, pp 1338-1349, 2011. (DOI
).
-
Generalized Hard Constraints for Graph Segmentation
. In Image Analysis, 17th Scandinavian Conference. SCIA 2011., Lecture Notes in Computer Science, Springer, 2011.
-
Graph-based Methods for Interactive Image Segmentation
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 813, Acta Universitatis Upsaliensis, Uppsala, 2011. (fulltext
).
-
Image Foresting Transform: On-the-fly Computation of Segmentation Boundaries
. In Image Analysis: 17th Scandinavian Conference, SCIA 2011, Lecture notes in computer science, Springer, 2011.
-
Measurement of fibre–fibre contact in three-dimensional images of fibrous materials obtained from X-ray synchrotron microtomography
. In Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, volume 637, number 1, pp 143-148, 2011. (DOI
).
-
Nonlinear adaptive control of the neuromuscular blockade in anesthesia
. In Proc. 50th Conference on Decision and Control, pp 41-46, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Prediction error identification of minimally parameterized Wiener models in anesthesia
. In Proc. 18th IFAC World Congress, pp 5615-5620, International Federation of Automatic Control, 2011.
-
Sedation-analgesia with propofol and remifentanil: new model for individualized BIS prediction
. In Proc. American Society of Anesthesiologists Annual Meeting, 2011. (Abstract
).
-
Artificial selection on egg size perturbs early pattern formation in Drosophila melanogaster
. In Evolution, volume 65, number 1, pp 33-42, 2011. (DOI
).
-
Approximative weighting for a covariance-matching approach for identifying errors-in-variables systems
. In International journal of adaptive control and signal processing (Print), volume 25, number 6, pp 535-543, 2011. (DOI
).
-
Covariance matching for continuous-time errors-in-variables problems
. In IEEE Transactions on Automatic Control, volume 56, number 6, pp 1478-1483, 2011. (DOI
).
-
Multiscale methods for elliptic problems
. In Multiscale Modeling & simulation, volume 9, pp 1064-1086, 2011. (DOI
).
-
Approximating Euclidean circles by neighbourhood sequences in a hexagonal grid
. In Theoretical Computer Science, volume 412, number 15, pp 1364-1377, 2011. (DOI
).
-
Haplotype inference based on hidden Markov models in the QTL–MAS 2010 multigenerational dataset
. In Proc. 14th European Workshop on QTL Mapping and Marker Assisted Selection, volume 5:3 of BMC Proceedings, pp S10:1-7, BioMed Central, London, 2011. (DOI
).
-
Finite-element based sparse approximate inverses for block-factorized preconditioners
. In Advances in Computational Mathematics, volume 35, pp 323-355, 2011. (DOI
).
-
On element-by-element Schur complement approximations
. In Linear Algebra and its Applications, volume 434, pp 2308-2324, 2011. (DOI
).
-
OppSense: Information sharing for mobile phones in sensing field with data repositories
. In Proc. 8th IEEE Conference on Sensor, Mesh and Ad Hoc Communications and Networks, pp 107-115, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Bias field correction using grey-weighted distance transform applied on MR volumes
. In Proc. 8th International Symposium on Biomedical Imaging, pp 357-360, IEEE conference proceedings, Piscataway, NJ, 2011. (DOI
).
-
Image Filtering Methods for Biomedical Applications
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 852, Acta Universitatis Upsaliensis, Uppsala, 2011. (fulltext
).
-
Robust Signal Generation and Analysis of Rat Embryonic Heart Rate In Vitro using Laplacian Eigenmaps and Empirical Mode Decomposition
. In Computer analysis of images and patterns: 14th International Conference, CAIP 2011, pt 2, volume 6855 of Lecture Notes in Computer Science, pp 523-530, Springer-Verlag, 2011.
-
Chelonia: A self-healing, replicated storage system
. In Computing in High Energy and Nuclear Physics: CHEP 2010, volume 331 of Journal of Physics: Conference Series, pp 062019:1-6, Institute of Physics Publishing (IOPP), Bristol, UK, 2011. (DOI
).
-
An optimized perfectly matched layer for the Schrödinger equation
. In Communications in Computational Physics, volume 9, pp 147-179, 2011. (DOI
).
-
High Order Finite Difference Methods with Artificial Boundary Treatment in Quantum Dynamics
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 864, Acta Universitatis Upsaliensis, Uppsala, 2011. (fulltext
).
-
High order stable finite difference methods for the Schrödinger equation
. Technical report / Department of Information Technology, Uppsala University nr 2011-014, 2011. (External link
, fulltext
).
-
Stability at nonconforming grid interfaces for a high order discretization of the Schrödinger equation
. Technical report / Department of Information Technology, Uppsala University nr 2011-017, 2011. (External link
, fulltext
).
-
Robust and flexible Internet connectivity for mobile ad hoc networks
. In Ad hoc networks, volume 9, number 1, pp 1-15, Elsevier, 2011. (DOI
).
-
Automatic counting of annual rings on Pinus sylvestris end faces in sawmill industry
. In Computers and Electronics in Agriculture, volume 75, number 2, pp 231-237, 2011. (DOI
).
-
On the impact of model accuracy for active damping of a viscoelastic beam
. Technical report / Department of Information Technology, Uppsala University nr 2011-013, 2011. (fulltext
).
-
Path-Based Distance with Varying Weights andNeighborhood Sequences
. In <em><em>Proceedings, International Conference on Discrete Geometry for Computer Imagery (DGCI 2011)</em></em>: <em></em>, volume 6607 of Lecture Notes in Computer Science, pp 199-210, Springer, Berlin Heidelberg, 2011. (DOI
, External link
).
-
Benchmark simulation model no. 1 with a wireless sensor network for monitoring and control
. Technical report / Department of Information Technology, Uppsala University nr 2011-002, 2011. (fulltext
).
-
Benchmark simulation model no. 1 with a wireless sensor network for monitoring and control
. Nordiwa'11, 2011.
-
Efficient computation of enclosed volume and surface area from the same triangulated surface representation
. In Computerized Medical Imaging and Graphics, volume 35, number 6, pp 460-471, 2011. (DOI
).
-
Visualization and Haptics for Interactive Medical Image Analysis: Image Segmentation in Cranio-Maxillofacial Surgery Planning
. In Visual Informatics: Sustaining Research and Innovations, volume 7066 of Lecture Notes in Computer Science, pp 1-12, Springer-Verlag, Berlin Heidelberg, 2011. (DOI
, External link
).
-
Whole Hand Haptics
. In Medicinteknikdagarna Oktober 11-12 2011, Linköping, Sweden, 2011.
-
Slutrapport UsersAward2<em></em>: utvecklad kvalitetssäkring av IT-användning
. 2011. (fulltext
, fulltext
).
-
High-throughput cellular-resolution <em>in vivo</em> vertebrate screening
. In Proc. 15th International Conference on Miniaturized Systems for Chemistry and Life Sciences, 2011.
-
Challenging the Moore's law: ICT sustainability in the Cloud Computing Era
. In Social accountability and sustainability in the information society: Pespectives on long-term responsibility, pp 3-3, IFIP WG9.2 and 9.9, Milano, 2011.
-
Challenging the pursuit of Moore's law: ICT sustainability in the cloud computing era
. In Politeia, volume 104, pp 45-55, 2011.
-
Is the IT infrastructure <em>future proof</em>?
. In The social impact of social computing, pp 356-361, Sheffield Hallam University, Sheffield, UK, 2011. (External link
).
-
mJeliot: A tool for enhanced interactivity in programming instruction
. In Proc. 11th International Conference on Computing Education Research: Koli Calling, pp 16-22, ACM Press, New York, 2011. (DOI
).
-
mJeliot: ICT Support for Interactive Teaching of Programming
. In Proc. 41st ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, pp T1J-1-4, IEEE conference proceedings, Piscataway, NJ, 2011. (DOI
).
-
A simple recursive algorithm for learning a monotone Wiener system
. In Proc. 50th Conference on Decision and Control, pp 3622-3627, IEEE, Piscataway, NJ, 2011. (DOI
).
-
MINLIP for the identification of monotone Wiener systems
. In Automatica, volume 47, number 10, pp 2298-2305, 2011. (DOI
).
-
A multigrid preconditioner for an adaptive Black–Scholes solver
. In BIT Numerical Mathematics, volume 51, pp 217-233, 2011. (DOI
).
-
Optimal excitation for nonparametric identification of viscoelastic materials
. In IEEE Transactions on Control Systems Technology, volume 19, number 1, pp 238-244, 2011. (DOI
).
-
Parametric identification of complex modulus
. In Automatica, volume 47, number 4, pp 813-818, 2011. (DOI
).
-
Repeatable experiments with mobile nodes in a relocatable WSN testbed
. In Computer journal, volume 54, number 12, pp 1973-1986, 2011. (DOI
).
-
Sparse Antenna Array Design for MIMO Active Sensing Applications
. In IEEE Transactions on Antennas and Propagation, volume 59, number 3, pp 846-858, 2011. (DOI
).
-
Efficient Parallel Implementation of a Kalman Filter for Single Output Systems on Multicore Computational Platforms
. In Proc. 50th Conference on Decision and Control, IEEE, Piscataway, NJ, 2011.
-
Wireless sensor deployment for collaborative sensing with mobile phones
. In Computer Networks, volume 55, number 15, pp 3224-3245, 2011. (DOI
).
-
Bringing about matrix sparsity in linear-scaling electronic structure calculations
. In Journal of Computational Chemistry, volume 32, pp 1411-1423, 2011. (DOI
).
-
Methods for Hartree–Fock and density functional theory electronic structure calculations with linearly scaling processor time and memory usage
. In Linear-Scaling Techniques in Computational Chemistry and Physics: Methods and Applications, pp 263-300, Springer, Dordrecht, The Netherlands, 2011. (DOI
).
-
Nonmonotonic recursive polynomial expansions for linear scaling calculation of the density matrix
. In Journal of Chemical Theory and Computation, volume 7, pp 1233-1236, 2011. (DOI
).
-
Assessment of density matrix methods for linear scaling electronic structure calculations
. In Journal of Physics: Condensed Matter, volume 23, pp 075502:1-10, 2011. (DOI
).
-
Kohn–Sham density functional theory electronic structure calculations with linearly scaling computational time and memory usage
. In Journal of Chemical Theory and Computation, volume 7, pp 340-350, 2011. (DOI
).
-
Adaptive parallelization of queries calling dependent data providing web services
. In New Frontiers in Information and Software as Services: Service and Application Design Challenges in the Cloud, volume 74 of Lecture Notes in Business Information Processing, pp 132-154, Springer-Verlag, Berlin, 2011. (DOI
).
-
A simple statistical cache sharing model for multicores
. In Proc. 4th Swedish Workshop on Multi-Core Computing, pp 31-36, Linköping University, Linköping, Sweden, 2011. (fulltext:postprint
).
-
Cuanto: A Tool for Quantification of Bone Tissue in the Proximityof Implants
. In Proceedings of SSBA 2011, 2011.
-
Extracting 3D information on bone remodeling in the proximity of titanium implants in SR?CT image volumes
. In Computer Methods and Programs in Biomedicine, volume 102, number 1, pp 25-34, 2011. (DOI
).
-
Quantification of gaseous structures with volumetric reconstruction from visual hulls
. In Proceedings of SIGRAD2011, pp 77-82, 2011.
-
Om nya kontaktmönster i arbetslivet: Facebook, LinkedIn, Twitter
. Technical report / Department of Information Technology, Uppsala University nr 2011-031, 2011. (fulltext
).
-
Om nya kontaktmönster i arbetslivet: SMS, chatt, e-post och telefoni – När används vad?
. Technical report / Department of Information Technology, Uppsala University nr 2011-021, 2011. (fulltext
).
-
Swedish students online: An inquiry into differing cultures on the Internet
. In Youth Culture and Net Culture: Online Social Practices, pp 41-62, IGI Global, Hershey, PA, 2011.
-
Efficient software-based online phase classification
. In International Symposium on Workload Characterization (IISWC'11), pp 104-115, IEEE Computer Society, 2011. (DOI
).
-
Defuzzification of spatial fuzzy sets by feature distance minimization
. In Image and Vision Computing, volume 29, pp 127-141, 2011. (DOI
).
-
Perfect root-of-unity codes with prime-size alphabet
. In ICASSP2011, the 36th International Conference on Acoustics, Speech and Signal Processing, Prague, Czech Republic, International Conference on Acoustics Speech and Signal Processing ICASSP, p 3136-3139, 2011.
-
Green governors: A framework for continuously adaptive DVFS
. In Proc. International Green Computing Conference and Workshops: IGCC 2011, pp 1-8, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Power-performance adaptation in Intel core i7
. In Proc. 2nd Workshop on Computer Architecture and Operating System co-design, p 10, Computer Science and Artificial Intelligence Laboratory, MIT, Cambridge, MA, 2011. (Proceedings
).
-
Optimizing Unbound-property Queries to RDF Views of RelationalDatabases
. In , pp 43-58, Bonn, Germany, 2011. (External link
).
-
On the tractability of digraph-based task models
. In Proc. 23rd Euromicro Conference on Real-Time Systems, pp 162-171, IEEE, Piscataway, NJ, 2011. (DOI
).
-
The digraph real-time task model
. In 17th Real-Time and Embedded Technology and Applications Symposium, IEEE Real-Time and Embedded Technology and Application Symposium, pp 71-80, IEEE Computer Society, Piscataway, NJ, 2011. (DOI
).
-
Demonstrating early value in software system projects using software and system cost models
. In Proc. 26th International Forum on Systems/Software Cost Modeling, University of Southern California, Los Angeles, CA, 2011.
-
Quantitative framework for managing software life cycle
. In The Open Software Engineering Journal, volume 5, pp 1-18, 2011. (DOI
).
-
A sparse covariance-based method for direction-of-arrival estimation
. In ICASSP2011, the 36th International Conference on Acoustics, Speech and Signal Processing, Prague, Czech Republic., International Conference on Acoustics Speech and Signal Processing ICASSP, pp 2844-2847, 2011.
-
Maximum-likelihood nonparametric estimation of smooth spectra from irregularly sampled data
. In IEEE Transactions on Signal Processing, volume 59, number 12, pp 5746-5758, 2011. (DOI
).
-
New method of sparse parameter estimation in separable models and its use for spectral analysis of irregularly sampled data
. In IEEE Transactions on Signal Processing, volume 59, number 1, pp 35-47, 2011. (DOI
).
-
SPICE: A Sparse Covariance-Based Estimation Method for Array Processing
. In IEEE Transactions on Signal Processing, volume 59, number 2, pp 629-638, 2011. (DOI
).
-
The Gaussian data assumption leads to the largest Cramér-Rao bound
. In IEEE signal processing magazine (Print), volume 28, number 3, pp 132-133, 2011. (DOI
).
-
A weighted neighbourhood sequence distance function with three local steps
. In Proceedings of Image and Signal Processing and Analysis (ISPA), 2011 7th International Symposium on, IEEE Conference proceedings, pp 564-568, IEEE Computer Society, 2011. (External link
).
-
Digital distance functions on three-dimensional grids
. In Theoretical Computer Science, volume 412, number 15, pp 1350-1363, 2011. (DOI
).
-
Sparse Object Representations by Digital Distance Functions
. In <em>Proceedings, International Conference on Discrete Geometry for Computer Imagery (DGCI 2011)</em>, volume 6607 of Lecture Notes in Computer Science, pp 211-222, Springer, Berlin Heidelberg, 2011. (DOI
, External link
).
-
A high-order accurate, collocated boundary element method for wave propagation in layered media
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2011-005, Uppsala University, 2011. (fulltext
).
-
Discretization of a hybrid model for acoustic wave propagation in layered fluid media
. Technical report / Department of Information Technology, Uppsala University nr 2011-015, 2011. (fulltext
).
-
Implementation of a collocated boundary element method for acoustic wave propagation in multilayered fluid media
. Technical report / Department of Information Technology, Uppsala University nr 2011-016, 2011. (External link
, fulltext
).
-
Lower trees with fixed degrees: a recipe for efficient secure hierarchical aggregation in WSNs
. In 2011 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), pp 659-664, IEEE Computer Society, 2011. (DOI
).
-
Investigating measures for transfer function generation for visualization of MET biomedical data
. In WSCG '2011: Communication Papers Proceedings, pp 113-120, Union Agency, Plzen, Czech Republic, 2011.
-
Registration Parameter Spaces for Molecular Electron Tomography Images
. In Image Analysis and Processing – ICIAP 2011: Part I, volume 6978 of Lecture Notes in Computer Science, pp 403-412, Springer-Verlag, Berlin, 2011. (DOI
).
-
Characterization and reduction of noise in dynamic PET data using masked volumewise principal component analysis
. In Journal of Nuclear Medicine Technology, volume 39, number 1, pp 27-34, 2011. (DOI
).
-
A generalized instrumental variable estimation method for errors-in-variables identification problems
. In Automatica, volume 47, number 8, pp 1656-1666, 2011. (DOI
).
-
Accuracy analysis of a covariance matching approach for identifying errors-in-variables systems
. In Automatica, volume 47, number 2, pp 272-282, 2011. (DOI
).
-
Estimation of material functions using system identification techniques
. In Proc. 4th International Symposium on Advanced Control of Industrial Processes, pp 124-138, IEEE, Piscataway, NJ, 2011.
-
Linear stochastic input–output models
. In The Control Handbook: Control System Advanced Methods, CRC Press, Boca Raton, FL, 2011.
-
Centralized cooperative positioning for underwater sensor networks: a weighted gradient approach
. In HICSS 44, the Hawaii International Conf on System Sciences, Kauai, Hawaii., 2011.
-
Sparse Learning via Iterative Minimization With Application to MIMO Radar Imaging
. In IEEE Transactions on Signal Processing, volume 59, number 3, pp 1088-1101, 2011. (DOI
).
-
Nonlinear black box identification of a selective catalytic reduction system
. In Proc. 18th IFAC World Congress, pp 11845-11850, International Federation of Automatic Control, 2011.
-
Repertory grid: Investigating personal constructs of novice programmers
. In Proc. 11th International Conference on Computing Education Research: Koli Calling, pp 23-32, ACM Press, New York, 2011. (DOI
).
-
A scalable architecture for e-Science data management
. In Proc. 7th International Conference on e-Science, pp 210-217, IEEE Computer Society, Los Alamitos, CA, 2011. (DOI
).
-
Optimization of a variable mouth acoustic horn
. In International Journal for Numerical Methods in Engineering, volume 85, pp 591-606, 2011. (DOI
).
-
Improved performance on high-dimensional survival data by application of Survival-SVM
. In Bioinformatics, volume 27, number 1, pp 87-94, 2011. (DOI
).
-
Learning transformation models for ranking and survival analysis
. In Journal of machine learning research, volume 12, pp 819-862, 2011.
-
Support vector methods for survival analysis: a comparison between ranking and regression approaches
. In Artificial Intelligence in Medicine, volume 53, number 2, pp 107-118, 2011. (DOI
).
-
On estimation of the gain of a dynamical system
. In The 14th IEEE DSP Workshop & 6th SPE Workshop, Sedona, USA, 2011.
-
A LEGO-Based Mobile Robotic Platform for Evaluation of Parallel Control and Estimation Algorithms
. In Proc. 50th Conference on Decision and Control, pp 4548-4553, IEEE, Piscataway, NJ, 2011. (DOI
, fulltext:postprint
).
-
Data Mining Medieval Documents by Word Spotting
. In Proceedings of the 2011 Workshop on Historical Document Imaging and Processing, pp 75-82, ACM, New York, 2011. (DOI
, Full text
, fulltext:postprint
).
-
Accurate estimation of Gaussian and mean curvature in volumetric images
. In International Conference on 3D Imaging, Modeling, Processing, Visualization, and Transmission, 3DIMPVT 2011, pp 312-317, IEEE Publications, 2011. (DOI
).
-
Calculating curvature from orientation fields in volumetric images
. SSBA'11, Symposium on Image Analysis, Linköping, 2011.
-
A method for analyzing learning outcomes in project courses
. In Australian Computer Science Communications, volume 33, number 2, pp 73-78, 2011. (External link
).
-
A polygon to ellipse transformation enabling fingerprinting and emergency localization in GSM
. In IEEE Transactions on Vehicular Technology, volume 60, number 4, pp 1971-1976, 2011. (DOI
).
-
Clustering and polygon merging algorithms for fingerprinting positioning in LTE
. In Proc. 5th International Conference on Signal Processing and Communication Systems, p 10, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Low complexity Kalman filtering for inter-cell interference and power based load estimation in the WCDMA uplink
. In Proc. 5th International Conference on Signal Processing and Communication Systems, p 10, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Subspace-based frequency estimation utilizing prior information
. In SSP 2011, the IEEE Workshop on Statistical Signal Processing, Nice, France, pp 533-536, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Prior knowledge-based direction of arrival estimation
. In ICASSP2011, the 36th International Conference on Acoustics, Speech and Signal Processing, Prague, Czech Republic,, 2011.
-
Is the World Ready for Ownership Types? Is Ownership Types Ready for the World?
. International Workshop on Aliasing, Confinement and Ownership in object-oriented programming: IWACO at ECOOP (Vetenskapsrådet), 2011.
-
Owners as Ombudsmen: Multiple Aggregate Entry Points for Ownership Types
. International Workshop on Aliasing, Confinement and Ownership in object-oriented programming: IWACO at ECOOP (Vetenskapsrådet), 2011.
-
RealProct: Reliable protocol conformance testing with real nodes for wireless sensor networks
. In Proc. 10th International Conference on Trust, Security and Privacy in Computing and Communications, IEEE Computer Society, 2011.
-
IAA spectral estimation: fast implementation using the Gohberg-Semencul factorization.
. In ICASSP2011, the 36th International Conference on Acoustics, Speech and Signal Processing, Prague, Czech Republic, 2011.
-
Identification of a discrete-time nonlinear Hammerstein-Wiener model for a selective catalytic reduction system
. In Proc. American Control Conference: ACC 2011, pp 78-83, American Automatic Control Council, 2011.
-
Massive scale-out of expensive continuous queries
. In 36th International Conference on Very Large Data Bases: VLDB 2010, 2011.
-
Scalable Parallelization of Expensive Continuous Queries over Massive Data Streams
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 836, Acta Universitatis Upsaliensis, Uppsala, 2011. (fulltext
).
-
Implementation and empirical comparison of partitioning-based multi-core scheduling
. In Proc. 6th International Symposium on Industrial Embedded Systems, pp 248-255, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Towards the implementation and evaluation of semi-partitioned multi-core scheduling
. In Bringing Theory to Practice: Predictability and Performance in Embedded Systems, volume 18 of OpenAccess Series in Informatics, pp 42-46, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2011. (DOI
).
-
Knowledge-aided space-time adaptive processing
. In IEEE Transactions on Aerospace and Electronic Systems, volume 47, number 2, pp 1325-1336, 2011. (DOI
).
-
Complex Dynamic Phenomena in a Low-Order Model of Non-Basal Testosterone Regulation
. In Proc. 50th Conference on Decision and Control, IEEE, Piscataway, NJ, 2011.
-
On identification methods for direct data-driven controller tuning
. In International journal of adaptive control and signal processing (Print), volume 25, number 5, pp 448-465, 2011. (DOI
).
-
Calculations of mechanisms for balance control during narrow and single-leg standing in fit older adults: a reliability study
. In Gait & Posture, volume 34, number 3, pp 352-357, 2011. (DOI
).
-
Indication of Methane Gas in IR-Imagery
. In Proceedings of IADIS International Conference Computer Graphics, Visualization, Computer Vision and Image Processing 2011 (CGVCVIP 2011), pp 187-192, 2011.
-
Applications of repetitive control in activated sludge processes
. WaterMatex'11, the 8th IWA Symposium on Systems Analysis and Integrated Assessment, 2011.
-
Improving Low-Power Wireless Protocols with Timing-Accurate Simulation
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 866, Acta Universitatis Upsaliensis, Uppsala, 2011. (fulltext
).
-
Regions as Owners: A Discussion on Ownership-based Effects in Practice
. International Workshop on Aliasing, Confinement and Ownership in object-oriented programming: IWACO at ECOOP, 2011.