Publikationer 2014
-
Distance Functions and Their Use in Adaptive Mathematical Morphology
. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1137, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext
, preview image
).
-
Optimal dynamic partial order reduction
. I Proc. 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volym 49:1 av ACM SIGPLAN NOTICES, pp 373-384, ACM Press, New York, 2014. (DOI
).
-
Block me if you can!: Context-sensitive parameterized verification
. I Static Analysis: SAS 2014, volym 8723 av Lecture Notes in Computer Science, pp 1-17, Springer, 2014. (DOI
, fulltext:postprint
).
-
Budget-bounded model-checking pushdown systems
. I Formal methods in system design, volym 45, nummer 2, pp 273-301, 2014. (DOI
).
-
Computing optimal reachability costs in priced dense-timed pushdown automata
. I Language and Automata Theory and Applications: LATA 2014, volym 8370 av Lecture Notes in Computer Science, pp 62-75, Springer Berlin/Heidelberg, 2014. (DOI
).
-
Infinite-state energy games
. I Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, ACM Press, New York, 2014. (DOI
).
-
Mediating for reduction (on minimizing alternating Buchi automata)
. I Theoretical Computer Science, volym 552, pp 26-43, 2014. (DOI
).
-
Stochastic Parity Games on Lossy Channel Systems
. I Logical Methods in Computer Science, volym 10, nummer 4, 2014. (DOI
, fulltext:print
).
-
String Constraints for Verification
. I Computer Aided Verification - 26th International Conference, {CAV} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 18-22, 2014. Proceedings, pp 150-166, Springer, 2014. (DOI
).
-
Verification of Dynamic Register Automata
. I Leibniz International Proceedings in Informatics: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2014), 2014. (fulltext:postprint
).
-
Zenoness for Timed Pushdown Automata
. I Proceedings 15th International Workshop on Verification of Infinite-State Systems, {INFINITY} 2013, Hanoi, Vietnam, 14th October 2013., pp -47, 2014. (DOI
).
-
Low-Power Listening Goes Multi-Channel
. I 2014 IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING IN SENSOR SYSTEMS (IEEE DCOSS 2014), IEEE International Conference on Distributed Computing in Sensor Systems, pp 2-9, 2014. (DOI
).
-
Impact of cultural and language background on learning Computer Science concepts
. I Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 37-40, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI
).
-
Computational predictions of glass-forming ability and crystallization tendency of drug molecules
. I Molecular Pharmaceutics, volym 11, nummer 9, pp 3123-3132, 2014. (DOI
).
-
Atmospheric sound propagation over large-scale irregular terrain
. I Journal of Scientific Computing, volym 61, pp 369-397, 2014. (DOI
).
-
High-fidelity numerical solution of the time-dependent Dirac equation
. I Journal of Computational Physics, volym 262, pp 86-103, 2014. (DOI
).
-
Comparing a knowledge-based and a data-driven method in querying data streams for system fault detection: A hydraulic drive system application
. I Computers in industry (Print), volym 65, nummer 8, pp 1126-1135, 2014. (DOI
).
-
Experimental and Computational Prediction of Glass Transition Temperature of Drugs
. I JOURNAL OF CHEMICAL INFORMATION AND MODELING, volym 54, nummer 12, pp 3396-3403, 2014. (DOI
).
-
Recognizing complexity: Visualization for skilled professionals in complex work situations
. I Building Bridges: HCI, Visualization, and Non-formal Modeling, volym 8345 av Lecture Notes in Computer Science, pp 47-66, Springer Berlin/Heidelberg, Heidelberg, 2014. (DOI
).
-
Ämnesdidaktisk forskning: Ett stöd för utbildningsexcellens
. I I stort och smått – med studenten i fokus, volym 1 av Rapportserie från Enheten för kvalitetsutveckling och universitetspedagogik, pp 241-249, Uppsala universitet, 2014.
-
Scientific data as RDF with arrays: Tight integration of SciSPARQL queries into MATLAB
. I Proc. ISWC 2014 Posters & Demonstrations Track, volym 1272 av CEUR Workshop Proceedings, pp 221-224, RWTH Aachen University, 2014. (Fulltext
).
-
The Gradual Verifier
. I NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings, volym 8430 av Lecture Notes in Computer Science, pp 313-327, Switzerland, 2014. (DOI
, fulltext:postprint
).
-
Programming and automating mathematics in the Tarski-Kleene hierarchy
. I Journal of Logical and Algebraic Methods in Programming, volym 83, nummer 2, pp 87-102, 2014. (DOI
).
-
?????????????????? (The range of gender perspective in computer ethics research)
. I ??????? (The Japan Society of Management Information (JASMIN) Journal), volym 23, nummer 2, pp 158-161, The Japan Society for Management Information, Tokyo, 2014. (Extern länk
).
-
Responsibility and Competence in Political Ethics
. I Proceedings International Political Science Association, 23rd World Congress of Political Science, 2014: Challenges of contemporay governance, Montreal, 2014. (Extern länk
, Responsibility and Competence in Political Ethics
).
-
Activity profiles in online social media
. I Proc. 6th International Conference on Advances in Social Networks Analysis and Mining, pp 850-855, IEEE Computer Society, 2014. (DOI
).
-
Adjacent Ordered Multi-Pushdown Systems
. I International Journal of Foundations of Computer Science, volym 25, nummer 8, pp 1083-1096, 2014. (DOI
).
-
Context-Bounded Analysis of TSO Systems
. I From Programs to Systems: The Systems perspective in Computing, volym 8415 av Lecture Notes in Computer Science, pp 21-38, Springer, 2014. (DOI
).
-
On Bounded Reachability Analysis of Shared Memory Systems
. I {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014, New Delhi, India, 2014.
-
Cognitive Radar Waveform Design for Spectral Coexistence in Signal-Dependent Interference
. I , 2014.
-
A comparison of iterative methods to solve complex valued linear algebraic systems
. I Numerical Algorithms, volym 66, pp 811-841, 2014. (DOI
).
-
Building timing predictable embedded systems
. I ACM Transactions on Embedded Computing Systems, volym 13, nummer 4, pp 82:1-37, 2014. (DOI
).
-
Document binarization using topological clustering guided Laplacian Energy Segmentation
. I Proceedings International Conference on Frontiers in Handwriting Recognition (ICFHR), 2014, volym 14 av Frontiers in Handwriting Recognition, pp 523-528, 2014. (DOI
, fulltext:preprint
).
-
Automated Tissue Image Analysis Using Pattern Recognition
. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1175, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext
, preview image
).
-
Image segmentation and identification of paired antibodies in breast tissue
. I Computational & Mathematical Methods in Medicine, pp 647273:1-11, 2014. (DOI
, Fulltext
, fulltext:print
).
-
Connection between SPICE and Square-Root LASSO for sparse parameter estimation
. I Signal Processing, volym 95, pp 10-14, 2014. (DOI
).
-
Distributed multi-query optimization of continuous clustering queries
. I Proc. VLDB 2014 PhD Workshop, 2014. (fulltext:print
).
-
An evaluation of potential functions for regularized image deblurring
. I Image Analysis and Recognition: Part I, volym 8814 av Lecture Notes in Computer Science, pp 150-158, Springer Berlin/Heidelberg, 2014. (DOI
).
-
Model-based protocol log generation for testing a telecommunication test harness using CLP
. I Proc. 17th Conference on Design, Automation and Test in Europe, IEEE, Piscataway, NJ, 2014. (DOI
).
-
Model-based protocol log generation for testing a telecommunication test harness using CLP
. I 2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE), Design Automation and Test in Europe Conference and Expo, 2014.
-
Linking prefixes and suffixes for constraints encoded using automata with accumulators
. I Principles and Practice of Constraint Programming: CP 2014, volym 8656 av Lecture Notes in Computer Science, pp 142-157, Springer, 2014. (DOI
).
-
Propagating regular counting constraints
. I Proc. 28th AAAI Conference on Artificial Intelligence: Volume 4, pp 2616-2622, AAAI Press, Palo Alto, CA, 2014. (Extern länk
).
-
Toward sustainable development in constraint programming
. I Constraints, volym 19, nummer 2, pp 139-149, 2014. (DOI
).
-
Quantitative and automated microscopy: Where do we stand after 80 years of research?
. I Proc. 11th International Symposium on Biomedical Imaging, pp 274-277, IEEE Press, Piscataway, NJ, 2014. (DOI
).
-
Screening for Cervical Cancer Using Automated Analysis of PAP-Smears
. I Computational & Mathematical Methods in Medicine, volym 2014, pp 842037:1-12, Hindawi Publishing Corporation, 2014. (DOI
, fulltext:print
).
-
Duality based boundary conditions and dual consistent finite difference discretizations of the Navier–Stokes and Euler equations
. I Journal of Computational Physics, volym 259, pp 135-153, 2014. (DOI
).
-
A glimpse into the cultural situatedness of computer science: Some insights from a pilot study
. I Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 92-99, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI
, fulltext:postprint
).
-
Discipline-based staff development courses to promote a sustainable SOTL environment: An example from science and engineering at Uppsala University
. I Proc. ICED 2014: Educational development in a changing world, pp 392-392, International Consortium for Educational Development, London, UK, 2014.
-
Learning to develop learning and teaching of CS: a collaborative example
. I Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 147-148, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI
, fulltext:preprint
).
-
Pedagogical development in engineering: A collaborative project between Saudi Arabia and Sweden
. I Proc. World Engineering Education Forum, pp 967-968, 2014.
-
The Development of Cooperation Between Al Baha University and Uppsala University, Sweden
. I International Exhibition and Conference on Higher Education, Riyadh, Saudi Arabia, 2014.
-
Opportunistic Networking: Congestion, Transfer Ordering and Resilience
. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1148, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext
, preview image
).
-
Resilience and Opportunistic Forwarding: Beyond Average Value Analysis
. I Computer Communications, volym 48, nummer SI, pp 111-120, 2014. (DOI
).
-
Magnitude-constrained sequence design with application in MRI
. I Proc. 39th IEEE International Conference on Acoustics, Speech, and Signal Processing, International Conference on Acoustics Speech and Signal Processing, pp 4943-4947, IEEE, Piscataway, NJ, 2014. (DOI
).
-
New approach to phase correction in multi-echo T<sub>2</sub> relaxometry
. I Journal of magnetic resonance, volym 249, pp 100-107, 2014. (DOI
).
-
Parameter estimation approach to banding artifact reduction in balanced steady-state free precession
. I Magnetic Resonance in Medicine, volym 72, nummer 3, pp 880-892, 2014. (DOI
).
-
Wave simulation in 2D heterogeneous transversely isotropic porous media with fractional attenuation: A Cartesian grid approach
. I Journal of Computational Physics, volym 275, pp 118-142, 2014. (DOI
).
-
Temporal logics for concurrent recursive programs: Satisfiability and model checking
. I Journal of Applied Logic, volym 12, nummer 4, pp 395-416, 2014. (DOI
).
-
A Sorted Semantic Framework for Applied Process Calculi (extended abstract)
. I Trustworthy Global Computing: TGC 2013, volym 8358 av Lecture Notes in Computer Science, pp 103-118, Springer Berlin/Heidelberg, 2014. (DOI
).
-
Proc. Combined 21st International Workshop on Expressiveness in Concurrency (EXPRESS 2014) and 11th Workshop on Structural Operational Semantics (SOS 2014)
. Volym 160 av Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2014. (DOI
).
-
Efficient numerical solution of discrete multi-component Cahn–Hilliard systems
. I Computers and Mathematics with Applications, volym 67, pp 106-121, 2014. (DOI
).
-
Improved DCVD assessments of irradiated nuclear fuel using image analysis techniques
. I , 2014.
-
Towards unattended partial-defect verification of irradiated nuclear fuel assemblies using the DCVD
. I , 2014. (Fulltext
).
-
Critical thinking, peer-writing, and the importance of feedback
. I Proc. 44th ASEE/IEEE Frontiers in Education Conference, pp 1501-1507, IEEE Press, Piscataway, NJ, 2014. (DOI
).
-
Ekonomiadministratörernas IT-relaterade arbetsmiljö vid Uppsala universitet: En kortfattad rapport från KiA-projektet
. Technical report / Department of Information Technology, Uppsala University nr 2014-003, 2014. (Extern länk).
-
On the establishment of user-centred perspectives
. I Proc. 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational, pp 103-112, ACM Press, New York, 2014. (DOI
).
-
Picro-Sirius-HTX Stain for Blind Color Decomposition of Histopathological Prostate Tissue
. I Proc, IEEE 11th International Symposium on Biomedical Imaging (ISBI) 2014, pp 282-285, 2014.
-
Analysis of simple bioreactor models: A comparison between Monod and Contois kinetics
. I Proc. IWA Conference on Activated Sludge – 100 Years and Counting, IWA Publishing, 2014.
-
Fault detection and isolation of sensors in aeration control systems
. I Proc. IWA World Water Congress: 2014, IWA Publishing, 2014.
-
Protocol log analysis with constraint programming: Work in progress
. I Satisfiability Modulo Theories: SMT 2014, volym 1163 av CEUR Workshop Proceedings, pp 17-26, RWTH Aachen University, 2014. (Fulltext
).
-
Enhanced learning by promoting engineering competencies
. I Proc. 44th ASEE/IEEE Frontiers in Education Conference, pp 2044-2049, IEEE Press, Piscataway, NJ, 2014. (DOI
, Proceedings
).
-
Learning Extended Finite State Machines
. I Software Engineering and Formal Methods. 12th International Conference, SEFM 2014, volym 8702 av Lecture Notes in Computer Science, pp 250-264, Springer International Publishing, 2014. (DOI
, Extern länk
).
-
Managing power constraints in a single-core scenario through power tokens
. I Journal of Supercomputing, volym 68, nummer 1, pp 414-442, 2014. (DOI
).
-
A longitudinal study of gait function and characteristics of gait disturbances in individuals with Alzheimer's disease
. I Gait & Posture, volym 39, nummer 4, pp 1022-1027, 2014. (DOI
, Fulltext
, fulltext:print
).
-
An algebraic theory of interface automata
. I Theoretical Computer Science, volym 549, pp 146-174, 2014. (DOI
).
-
Compositional assume–guarantee reasoning for input/output component theories
. I Science of Computer Programming, volym 91, pp 115-137, 2014. (DOI
).
-
Application of machine learning methods for fault detection in wastewater treatment plants
. I Reglermöte, 2014.
-
Periodical solutions in a pulse-modulated model of endocrine regulation with time-delay
. I IEEE Transactions on Automatic Control, volym 59, nummer 3, pp 728-733, 2014. (DOI
).
-
An impulse-to-impulse discrete-time mapping for a time-delay impulsive system
. I Automatica, volym 50, nummer 8, pp 2187-2190, 2014. (DOI
).
-
Efficient algorithm for finding the exact minimum barrier distance
. I Computer Vision and Image Understanding, volym 123, pp 53-64, 2014. (DOI
).
-
Software-controlled processor stalls for time and energy efficient data locality optimization
. I Proc. International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), pp 199-206, IEEE, Piscataway, NJ, 2014. (DOI
, fulltext:postprint
).
-
Ethics, parliaments and members: learning to think ethically
. I Challenges of contemporay governance, The International Political Science Association, Montreal, 2014. (Extern länk
).
-
Parliamentary integrity systems: Parliamentarians’ ethical conduct, accountability and transparency
. I , The University of Hull, UK, 2014. (Extern länk
).
-
Low Voltage Mini TEM
. I Proceedings, 2014.
-
Accuracy of the Finite Element Method in Deep Brain Stimulation Modelling
. I Proc. International Conference on Control Applications: CCA 2014, pp 1479-1484, IEEE, Piscataway, NJ, 2014. (DOI
).
-
Stimulation field coverage and target structure selectivity in field steering brain stimulation
. I , 2014.
-
Target coverage and selectivity in field steering brain stimulation
. I Proc. 36th International Conference of the IEEE Engineering in Medicine and Biology Society, pp 522-525, IEEE, Piscataway, NJ, 2014. (DOI
).
-
A new set distance and its application to shape registration
. I Pattern Analysis and Applications, volym 17, nummer 1, pp 141-152, 2014. (DOI
).
-
Adaptive Mathematical Morphology: a survey of the field
. I Pattern Recognition Letters, volym 47, pp 18-28, 2014. (DOI
).
-
Controllers for the Verification of Communicating Multi-Pushdown Systems
. I , Lecture Notes in Computer Science, pp 297-311, 2014.
-
Reasoning about distributed systems: WYSIWYG
. I , Leibniz International Proceedings in Informatics, 2014.
-
Verifying Communicating Multi-pushdown Systems via Split-Width
. I Automated Technology for Verification and Analysis, volym 8837 av Lecture Notes in Computer Science, pp 1-17, 2014. (DOI
).
-
On some sparsity related problems and the randomized Kaczmarz algorithm
. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-003, Uppsala University, 2014. (fulltext
).
-
On the randomized Kaczmarz algorithm
. I IEEE Signal Processing Letters, volym 21, nummer 3, pp 330-333, 2014. (DOI
).
-
Sparse estimation from noisy observations of an overdetermined linear system
. I Automatica, volym 50, nummer 11, pp 2845-2851, 2014. (DOI
).
-
The Effects of Granularity and Adaptivity on Private/Shared Classification for Coherence
. I , 2014.
-
CPU and GPU performance of large scale numerical simulations in Geophysics
. I Euro-Par 2014: Parallel Processing Workshops, Part I, volym 8805 av Lecture Notes in Computer Science, pp 12-23, Springer, 2014. (DOI
).
-
Parallel performance study of block-preconditioned iterative methods on multicore computer systems
. Technical report / Department of Information Technology, Uppsala University nr 2014-007, 2014. (Extern länk).
-
An Emulation-based Method for Lifetime Estimation of Wireless Sensor Networks
. I , pp 241-248, 2014. (DOI
).
-
Boundary waves and stability of the perfectly matched layer for the two space dimensional elastic wave equation in second order form
. I SIAM Journal on Numerical Analysis, volym 52, pp 2883-2904, 2014. (DOI
).
-
Efficient and stable perfectly matched layer for CEM
. I Applied Numerical Mathematics, volym 76, pp 34-47, 2014. (DOI
).
-
Numerical interaction of boundary waves with perfectly matched layers in two space dimensional elastic waveguides
. I Wave motion, volym 51, pp 445-465, 2014. (DOI
).
-
Stable and high order accurate difference methods for the elastic wave equation in discontinuous media
. I Journal of Computational Physics, volym 279, pp 37-62, 2014. (DOI
).
-
Stable and high-order accurate boundary treatments for the elastic wave equation on second-order form
. I SIAM Journal on Scientific Computing, volym 36, pp A2787-A2818, 2014. (DOI
).
-
Teaching and learning with MOOCs: Computing academics' perspectives and engagement
. I Proc. 19th Conference on Innovation and Technology in Computer Science Education, pp 9-14, ACM Press, New York, 2014. (DOI
).
-
Bounding and shaping the demand of generalized mixed-criticality sporadic task systems
. I Real-time systems, volym 50, nummer 1, pp 48-86, 2014. (DOI
, fulltext:postprint
).
-
A software based profiling method for obtaining speedup stacks on commodity multi-cores
. I 2014 IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE (ISPASS): ISPASS 2014, IEEE International Symposium on Performance Analysis of Systems and Software-ISPASS, pp 148-157, IEEE Computer Society, 2014. (DOI
).
-
Uncertainty quantification for approximate p-quantiles for physical models with stochastic inputs
. I SIAM/ASA Journal on Uncertainty Quantification, volym 2, pp 826-850, 2014. (DOI
).
-
A Case for Node-Local Runtime Parameter Adaptation in Wireless Sensor Networks
. I Proc. 10th Swedish National Computer Networking Workshop, 2014.
-
Approximations for the moments of nonstationary and state dependent birth–death queues
. I Computing Research Repository, nummer 1406.6164, 2014. (Extern länk
). Publikationsstatus: Submitted
-
On the stability of stochastic jump kinetics
. I Applied Mathematics, volym 5, pp 3217-3239, 2014. (DOI
).
-
X-ray laser imaging of biomolecules using multiple GPUs
. I Parallel Processing and Applied Mathematics: Part I, volym 8384 av Lecture Notes in Computer Science, pp 480-489, Springer-Verlag, Berlin, 2014. (DOI
).
-
What's in your mind?: Collegial Verbalisation – An ecological approach to knowledge elicitation
. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1147, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext
, preview image
).
-
How do the dynamics of battery discharge affect sensor lifetime?
. I 2014 11th Annual Conference on Wireless On-demand Network Systems and Services (WONS), pp 49-56, IEEE, Piscataway, NJ, 2014. (DOI
).
-
Automating regression verification
. I ASE '14 Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, pp 349-360, ACM Press, New York, 2014. (DOI
).
-
Propagators and violation functions for geometric and workload constraints arising in airspace sectorisation
. Computing Research Repository nr 1401.7463, 2014. (Extern länk
).
-
Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks
. I Proc. 9th International Symposium on Industrial Embedded Systems, pp 151-159, IEEE, Piscataway, NJ, 2014. (DOI
).
-
Spectral analysis and spectral symbol of <em>d</em>-variate Q<sub><em>p</em></sub> Lagrangian FEM stiffness matrices
. Technical report / Department of Information Technology, Uppsala University nr 2014-021, 2014. (Extern länk).
-
Tools for determining the asymptotic spectral distribution of Hermitian matrix-sequences and applications
. Technical report / Department of Information Technology, Uppsala University nr 2014-022, 2014. (Extern länk).
-
Static safety guarantees for a low-level multithreaded language with regions
. I Science of Computer Programming, volym 80, nummer Part B, pp 223-263, 2014. (DOI
).
-
Canine body composition quantification using 3 tesla fat–water MRI
. I Journal of Magnetic Resonance Imaging, volym 39, nummer 2, pp 485-491, 2014. (DOI
).
-
Pixel Classification Using General Adaptive Neighborhood-Based Features
. I Proceedings 22nd International Conference on Pattern Recognition (ICPR) 2014, International Conference on Pattern Recognition, pp 3750-3755, 2014. (DOI
).
-
Control challenges in mobile telecommunications
. I The Impact of Control Technology, IEEE Control Systems Society, 2014. (Book
).
-
Tabular: a schema-driven probabilistic programming language
. I Proc. 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volym 49:1 av ACM SIGPLAN NOTICES, pp 321-334, ACM Press, New York, 2014. (DOI
, fulltext:print
).
-
Adaptive Solvers for High-Dimensional PDE Problems on Clusters of Multicore Processors
. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1199, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext
, preview image
).
-
Data structures and algorithms for high-dimensional structured adaptive mesh refinement
. Technical report / Department of Information Technology, Uppsala University nr 2014-019, 2014. (Extern länk).
-
Parallel data structures and algorithms for high-dimensional structured adaptive mesh refinement
. Technical report / Department of Information Technology, Uppsala University nr 2014-020, 2014. (Extern länk).
-
Partitioned mixed-criticality scheduling on multiprocessor platforms
. I Proc. 17th Conference on Design, Automation and Test in Europe, IEEE, Piscataway, NJ, 2014. (DOI
).
-
General and Efficient Response Time Analysis for EDF Scheduling
. I Proc. 17th Conference on Design, Automation and Test in Europe, IEEE, Piscataway, NJ, 2014. (DOI
).
-
WCET Analysis with MRU Cache: Challenging LRU for Predictability
. I ACM Transactions on Embedded Computing Systems, volym 13, nummer 4s, 2014. (DOI
).
-
Advancing concurrent system verification: Type based approach and tools
. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-007, Uppsala University, 2014. (fulltext
).
-
The concept of mobility in single- and double handed manipulation
. I Journal of Biomechanics, volym 47, nummer 14, pp 3569-3573, 2014. (DOI
).
-
Automatic Characterization of the Physiological Condition of the Carotid Artery in 2D Ultrasound Image Sequences Using Spatiotemporal and Spatiospectral 2D Maps.
. I International Journal of Biomedical Imaging, volym 2014, 2014. (DOI
, Fulltext
, fulltext:print
).
-
Channel estimation using data embedded pilot in underwater acoustic communication
. I OCEANS 2014: Taipei, IEEE Press, Piscataway, NJ, 2014. (DOI
).
-
A Chebyshev pseudospectral method to solve the space–time tempered fractional diffusion equation
. I SIAM Journal on Scientific Computing, volym 36, pp A1797-A1812, 2014. (DOI
).
-
A cut finite element method for a Stokes interface problem
. I Applied Numerical Mathematics, volym 85, pp 90-114, 2014. (DOI
).
-
A constraint programming approach for managing end-to-end requirements in sensor network macroprogramming
. I Proc. 3rd International Conference on Sensor Networks, pp 28-40, SciTePress, Setúbal, Portugal, 2014. (DOI
).
-
Energy-efficient sensor selection for data quality and load balancing in wireless sensor networks
. I Proc. 22nd International Symposium on Quality of Service, pp 338-343, IEEE Communications Society, 2014. (DOI
).
-
How to Promote Student Creativity and Learning using Tutorials in Teaching Graphics and Visualisation
. I Proc. 16th International Conference on Geometry and Graphics, pp 626-633, Innsbruck University Press, 2014.
-
How to promote student creativity and learning using tutorials in teaching graphics and visualisation
. I Journal for Geometry and Graphics, volym 18, nummer 2, pp 237-245, 2014.
-
Improved illumination correction that preserves medium sized objects
. I Machine Graphics & Vision, volym 23, nummer 1/2, pp 3-20, 2014. (fulltext:postprint
).
-
Invariant Interest Point Detection Based on Variations of the Spinor Tensor
. I WSCG, Communication papers proceedings , ISBN 978-80-86943-71-8, pp 49-56, 2014.
-
Robust and Invariant Phase Based Local Feature Matching
. I 22nd International Conference on Pattern Recognition (ICPR), 2014, International Conference on Pattern Recognition, pp 809-814, 2014. (DOI
).
-
Simple filter design for first and second order derivatives by a double filtering approach
. I Pattern Recognition Letters, volym 42, pp 65-71, Elsevier, 2014. (DOI
).
-
Towards Automatic Stereo Pair Extraction for 3D Visualisation of Historical Aerial Photographs
. I IC3D, the International Conference on 3D Imaging, pp 1-8, 2014.
-
Local error estimates for adaptive simulation of the reaction–diffusion master equation via operator splitting
. I Journal of Computational Physics, volym 266, pp 89-100, 2014. (DOI
).
-
A localized orthogonal decomposition method for semi-linear elliptic problems
. I Mathematical Modelling and Numerical Analysis, volym 48, pp 1331-1349, 2014. (DOI
).
-
All is not lost: Understanding and exploiting packet corruption in outdoor sensor networks
. I Wireless Sensor Networks: EWSN 2014, volym 8354 av Lecture Notes in Computer Science, pp 116-132, Springer Berlin/Heidelberg, 2014. (DOI
).
-
Sensor Networks and Their Radio Environment: On Testbeds, Interference, and Broken Packets
. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1171, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext
, preview image
).
-
Supporting Heterogeneous LCD/Camera Links
. I Proc. 13th International Symposium on Information Processing in Sensor Networks, pp 289-290, IEEE Press, Piscataway, NJ, 2014. (DOI
).
-
Accessing osteocyte lacunar geometrical properties in human jaw bone on the submicron length scale using synchrotron radiation mu CT
. I Journal of Microscopy, volym 255, nummer 3, pp 158-168, 2014. (DOI
).
-
Alterations of Mass Density and 3D Osteocyte Lacunar Properties in Bisphosphonate- Related Osteonecrotic Human Jaw Bone, a Synchrotron mu CT Study
. I PLOS ONE, volym 9, nummer 2, p e88481, 2014. (DOI
, fulltext:print
).
-
Poster Abstract: An Experimental Study of Attacks on the Availability of Glossy
. I Real-World Wireless Sensor Networks, volym 281 av Lecture Notes in Electrical Engineering, pp 103-107, 2014. (DOI
).
-
Identification of the elementary motion detector model in fly motion vision from intracellularly recorded neural data
. I , 2014. Publikationsstatus: Submitted
-
On Identification of Biological Systems
. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1117, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext
, preview image
).
-
Spatial excitation properties of sinusoidal grating stimuli in the identification of a layer of motion detectors
. I , 2014. Publikationsstatus: Submitted
-
Horn Clauses for Communicating Timed Systems
. I Proceedings First Workshop on Horn Clauses for Verification and Synthesis, volym 169 av Electronic Proceedings in Theoretical Computer Science, pp 39-52, 2014. (DOI
, fulltext:postprint
).
-
Dynamic autotuning of adaptive fast multipole methods on hybrid multicore CPU and GPU systems
. I SIAM Journal on Scientific Computing, volym 36, pp C376-C399, 2014. (DOI
).
-
Automatic and portable cloud deployment for scientific simulations
. I Proc. 12th International Conference on High Performance Computing and Simulation, pp 374-381, IEEE, Piscataway, NJ, 2014. (DOI
).
-
The pavement as a waveguide: Modeling, system identification, and parameter estimation
. I IEEE Transactions on Instrumentation and Measurement, volym 63, nummer 8, pp 2052-2063, 2014. (DOI
).
-
Sparsity-Aided Radar Waveform Synthesis
. I , 2014. (fulltext:postprint
).
-
Mood-Fatigue Analyzer: Towards context-aware mobile sensing applications for safe driving
. I Proc. 1st ACM Workshop on Middleware for Context-Aware Applications in the IoT, pp 19-24, ACM Press, New York, 2014. (DOI
).
-
Multidimensional context-aware social network architecture for mobile crowdsensing
. I IEEE Communications Magazine, volym 52, nummer 6, pp 78-87, 2014. (DOI
).
-
SAfeDJ Community: Situation-aware in-car music delivery for safe driving
. I Proc. 20th International Conference on Mobile Computing and Networking, pp 363-365, ACM Press, New York, 2014. (DOI
).
-
Asymmetric nu-tube support vector regression
. I Computational Statistics & Data Analysis, volym 77, pp 371-382, 2014. (DOI
).
-
Delegation-based Authentication and Authorization for the IP-based Internet of Things
. I , 2014.
-
Composition schemes for the stochastic differential equation describing collisional pitch-angle diffusion
. I Computer Physics Communications, volym 185, pp 590-594, 2014. (DOI
).
-
On the bimodality in an introductory programming course: an analysis of student performance factors
. Technical report / Department of Information Technology, Uppsala University nr 2014-006, 2014. (Extern länk).
-
An Evaluation of the Faster STORM Method for Super-resolution Microscopy
. I Proceedings of the 22nd International Conference on Pattern Recognition, International Conference on Pattern Recognition, pp 4435-4440, 2014. (DOI
).
-
Evaluation of User Adoption during Three Module Deployments of Region-wide Electronic Patient Record Systems
. I International Journal of Medical Informatics, volym 83, nummer 6, pp 438-449, 2014. (DOI
).
-
Authority and level of automation: Lessons to be learned in design of in-vehicle assistance systems
. I Human-Computer Interaction: Applications and Services, Part III, volym 8512 av Lecture Notes in Computer Science, pp 413-424, Springer Berlin/Heidelberg, 2014. (DOI
).
-
Utvärdering av förändringar i trafikledarnas beslutsfattande: Delrapport I: Den svenska ansatsen till kontrollstrategier i ett nutidshistoriskt och vetenskapligt internationellt perspektiv
. KAJT-rapport, Uppsala, 2014.
-
Mathematical modeling of the human smooth pursuit system
. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-001, Uppsala University, 2014. (fulltext
).
-
Volterra modeling of the smooth pursuit system with application to motor symptoms characterization in Parkinson's disease
. I 2014 European Control Conference (ECC), pp 1856-1861, IEEE, 2014. (DOI
).
-
Dynamic and speculative polyhedral parallelization using compiler-generated skeletons
. I International journal of parallel programming, volym 42, nummer 4, pp 529-545, 2014. (DOI
).
-
Fix the code. Don't tweak the hardware: A new compiler approach to Voltage–Frequency scaling
. I Proc. 12th International Symposium on Code Generation and Optimization, pp 262-272, ACM Press, New York, 2014. (URL
, fulltext:postprint
).
-
Performance isolation for real-time systems with Xen hypervisor on multi-cores
. I Proc. 20th International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE, Piscataway, NJ, 2014. (DOI
).
-
Effects of defects on the tensile strength of short-fibre composite materials
. I Mechanics of materials (Print), volym 75, pp 125-134, 2014. (DOI
).
-
Time profiles for identifying users in online environments
. I Proc. 1st Joint Intelligence and Security Informatics Conference, pp 83-90, IEEE Computer Society, 2014. (DOI
).
-
Analysis and mining of tags, (micro)blogs, and virtual communities
. I Encyclopedia of Social Network Analysis and Mining, pp 19-25, Springer, 2014. (DOI
).
-
A quadratic edge-finding filtering algorithm for cumulative resource constraints
. I Constraints, volym 19, nummer 3, pp 243-269, 2014. (DOI
).
-
Filter Design with Hard Spectral Constraints
. I Signal Processing Conference (EUSIPCO), 2014 Proceedings of the 22nd European, pp 391-395, 2014.
-
Designing and using ethical autonomous agents
. I Sweden – Kyoto Symposium, Kyoto University, Kyoto, 2014. (Extern länk
).
-
Independent agents and ethics
. I ICT and society, volym 431 av IFIP Advances in Information and Communication Technology, pp 39-46, Springer Berlin/Heidelberg, 2014. (DOI
).
-
Philosophical method and the conflict liberty-security
. I Proceedings ETHICOMP 2014Li: berty and security in an age of ICTs, UPMC - Sorbonne Universités, Paris, 2014. (Extern länk
).
-
Storebror vs lillebror
. I Upsala Nya Tidning, volym 124, nummer 77, pp A5-A5, 2014. (Extern länk
).
-
Supporting politicians’ skill to handle moral issues
. I Proceedings of IPSA 23rd Congress on Political Science, 2014: Challenges of contemporay governance, The International Political Science Association, Montreal, 2014. (Extern länk
).
-
Vi behöver etikstudier som uppfyller mål på flera nivåer
. I Etikstudier – En del av den framtida ekonomutbildningen!, pp 20-20, S.E.R.O., Stockholm, 2014. (slides
).
-
A case for resource efficient prefetching in multicores
. I Proc. International Symposium on Performance Analysis of Systems and Software: ISPASS 2014, pp 137-138, IEEE Computer Society, 2014. (DOI
).
-
A case for resource efficient prefetching in multicores
. I Proc. 43rd International Conference on Parallel Processing, pp 101-110, IEEE Computer Society, 2014. (DOI
).
-
Resource conscious prefetching for irregular applications in multicores
. I Proc. International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), pp 34-43, IEEE, Piscataway, NJ, 2014. (DOI
).
-
Orbital morphology in Crouzon-Pfeiffer and Apert syndromes before and after surgical correction:study by 3D cephalometry, semi-automatic segmentation and 3D shape comparison
. I Proc. Computer Assisted Radiology and Surgery (CARS). Fukuoka, Japan, June 25-28, pp 192-193, Springer, 2014.
-
Automated analysis of dynamic behavior of single cells in picoliter droplets
. I Lab on a Chip, volym 14, pp 931-937, 2014. (DOI
).
-
Accelerated convergence for Schrödinger equations with non-smooth potentials
. I BIT Numerical Mathematics, volym 54, pp 729-748, 2014. (DOI
, fulltext:postprint
).
-
Stiff convergence of force-gradient operator splitting methods
. Technical report / Department of Information Technology, Uppsala University nr 2014-004, 2014. (Extern länk).
-
3D Texture Analysis in Renal Cell Carcinoma Tissue Image Grading
. I Computational & Mathematical Methods in Medicine, volym 2014, pp 536217:1-12, Hindawi Publishing Corporation, 2014. (DOI
, fulltext:print
).
-
Kiel rekoni rektojn kaj strekojn inter ?iuj kurboj kaj aliaj bildoj sur la komputila ekrano?
. I Internacia Simpozio "Apliko de Esperanto en la profesia agado". Prelegaro, Vol. II., pp 72-92, Akademio Internacia de la Sciencoj, AIS, San Marino. AIS-Bulgario., Karlovo, BG, 2014. (Extern länk
).
-
Låt oss förbättra samfundets ekonomi!
. I SMS-Bulletinen, pp 12-13, Svenska matematikersamfundet, 2014.
-
Pierre Lelong 1912–2011
. I Normat, volym 60, nummer 2, pp 70-81, 2014.
-
Stärk Normat genom att vidga dess bas!
. I SMS-Bulletinen, p 13, 2014.
-
Brief announcement: queue delegation locking
. I Proc. 26th ACM Symposium on Parallelism in Algorithms and Architectures, pp 70-72, ACM Press, New York, 2014. (DOI
, fulltext:print
).
-
Delegation locking libraries for improved performance of multithreaded programs
. I Euro-Par 2014: Parallel Processing, volym 8632 av Lecture Notes in Computer Science, pp 572-583, Springer Berlin/Heidelberg, 2014. (DOI
).
-
Informatics and socio-technical challenges when designing solutions for integrated eCare
. I Achieving Effective Integrated E-Care Beyond the Silos, pp 108-134, IGI Global, 2014. (DOI
).
-
Session types for broadcasting
. I Proc. 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, volym 155 av Electronic Proceedings in Theoretical Computer Science, pp 25-31, 2014. (DOI
, fulltext:print
).
-
Nucleophilic substitution dynamics: Comparing wave packet calculations with experiment
. I Journal of Physical Chemistry A, volym 118, pp 4661-4669, 2014. (DOI
).
-
Backward sequential Monte Carlo for marginal smoothing
. I Proc. 18th Workshop on Statistical Signal Processing, pp 368-371, IEEE, Piscataway, NJ, 2014. (DOI
).
-
Robust auxiliary particle filters using multiple importance sampling
. I Proc. 18th Workshop on Statistical Signal Processing, pp 268-271, IEEE, Piscataway, NJ, 2014. (DOI
).
-
The 'Methods for designing for future autonomous systems' (MODAS) project: Developing the cab for a highly autonomous truck
. I Advances in Human Aspects of Transportation, Part II: Proceedings of the 5th International Conference on Applied Human Factors and Ergonomics, pp 70-81, 2014.
-
Automatic Virus Identification using TEM: Image Segmentation and Texture Analysis
Automatisk identifiering av virus med hjälp av transmissionselektronmikroskopi: bildsegmentering och texturanalys
. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1122, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext
, preview image
).
-
Impact of code refactoring using object-oriented methodology on a scientific computing application
. I Proc. 14th International Working Conference on Source Code Analysis and Manipulation, pp 125-134, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI
).
-
Image Analysis Methods and Tools for Digital Histopathology Applications Relevant to Breast Cancer Diagnosis
. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1128, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext
, preview image
).
-
Multimodal histological image registration using locally rigid transforms
. I IEEE Transactions on Biomedical Engineering, 2014. Publikationsstatus: Submitted
-
Designing for Autonomy
. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 105, Acta Universitatis Upsaliensis, Uppsala, 2014. (preview image
, inside
).
-
Large-Scale Social Network Analysis
. I Large-Scale Data Analytics, pp 155-187, Springer, 2014. (DOI
).
-
A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets
. I Real-time systems, volym 50, nummer 5-6, pp 736-773, 2014. (DOI
, fulltext:postprint
).
-
Priors for X-ray in-line phase tomography of heterogeneous objects
. I Philosophical Transactions. Series A: Mathematical, physical, and engineering science, volym 372, nummer 2010, pp 20130129:1-9, 2014. (DOI
).
-
Operational Semantics for Secure Interoperation
. I Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014.
-
On designing the transmission and reception of multistatic continuous active sonar systems
. I IEEE Transactions on Aerospace and Electronic Systems, volym 50, nummer 1, pp 285-299, 2014. (DOI
).
-
Geovisualization of Uncertainty in Simulated Flood Maps
. I Proceedings of the IADIS conference in Computer Graphics, Visualization, Computer Vision and Image Processing (CGCVIP), pp 206-214, 2014.
-
Affine operations plus symmetry yield perception of metric shape with large perspective changes (? 45 degrees): Data and model
. I Journal of Experimental Psychology: Human Perception and Performance, volym 40, nummer 1, pp 83-93, 2014. (DOI
).
-
Change and resistance to change in health care: Inertia in sociotechnical systems
. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-005, Uppsala University, 2014. (fulltext
).
-
Towards using the creation of a mosaic as a metaphor for change
. I Proc. 8th European Conference on IS Management and Evaluation (ECIME 2014), pp 377-379, Academic Conferences Publishing, Reading, UK, 2014.
-
Linear time distances between fuzzy sets with applications to pattern matching and classification
. I IEEE Transactions on Image Processing, volym 23, nummer 1, pp 126-136, 2014. (DOI
).
-
Optimizing optics and imaging for pattern recognition based screening tasks
. I Proc. 22nd International Conference on Pattern Recognition, International Conference on Pattern Recognition, pp 3333-3338, IEEE Computer Society, 2014. (DOI
).
-
Light scattering in fibrous media with different degrees of in-plane fiber alignment
. I Optics Express, volym 22, nummer 14, pp 16829-16840, 2014. (DOI
).
-
Particle Gibbs with ancestor sampling
. I Journal of machine learning research, volym 15, pp 2145-2184, 2014.
-
Use of cloud services in functional products: Availability implications
. I Procedia CIRP, volym 16, pp 368-372, 2014. (DOI
).
-
On Bayesian channel estimation and FFT-based symbol detection in MIMO underwater acoustic communications
. I IEEE Journal of Oceanic Engineering, volym 39, nummer 1, pp 59-73, 2014. (DOI
).
-
A Graph-Based Implementation of the Anti-Aliased Euclidean Distance Transform
. I Proceedings 22nd International Conference on Pattern Recognition (ICPR), 2014, International Conference on Pattern Recognition, pp 1025-1030, 2014. (DOI
).
-
Anti-Aliased Euclidean Distance Transform on 3D Sampling Lattices
. I Discrete Geometry for Computer Imagery: 18th IAPR International Conference, DGCI 2014, Siena, Italy, September 10-12, 2014. Proceedings, volym 8668 av Lecture Notes in Computer Science, pp 88-98, 2014. (DOI
).
-
Evaluation of prostate segmentation algorithms for MRI: The PROMISE12 challenge
. I Medical Image Analysis, volym 18, nummer 2, pp 359-373, 2014. (DOI
).
-
Detection of Façade Regions in Street View Images from Split-and-Merge of Perspective Patches
. I Journal of Image and Graphics, volym 2, nummer 1, pp 8-14, 2014. (Extern länk
).
-
Matrix-free finite-element operator application on graphics processing units
. I Euro-Par 2014: Parallel Processing Workshops, Part II, volym 8806 av Lecture Notes in Computer Science, pp 450-461, Springer, 2014. (DOI
).
-
On the impact of the heterogeneous multicore and many-core platforms on iterative solution methods and preconditioning techniques
. I High-Performance Computing on Complex Environments, pp 13-32, Wiley-Blackwell, Hoboken, NJ, 2014. (DOI
).
-
Informal feedback rather than performance measurements: User-centred evaluation in Scrum projects
. I Behavior and Information Technology, volym 33, nummer 11, pp 1118-1135, 2014. (DOI
).
-
On the integration of user centred design in agile development
. I Proc. 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational, pp 817-820, ACM Press, New York, 2014. (DOI
).
-
Continuous improvement in agile development practice: The case of value and non-value adding activities
. I Human-Centered Software Engineering, volym 8742 av Lecture Notes in Computer Science, pp 57-72, Springer Berlin/Heidelberg, 2014. (DOI
).
-
Evaluating availability of functional products through simulation
. I Simulation Modelling Practice and Theory, volym 47, pp 196-209, 2014. (DOI
).
-
Implementing a Vision: Studying Leaders’ Strategic Use of an Intranet while Exploring Ethnography within HCI
. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 102, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext
, preview image
).
-
Efficient and Flexible Sensornet Checkpointing
. I Wireless Sensor Networks, volume 8354, pp -65, 2014. (DOI
, Conference website
).
-
Simulation of stochastic diffusion via first exit times
. Technical report / Department of Information Technology, Uppsala University nr 2014-012, 2014. (Extern länk).
-
Multiple social networks, data models and measures for
. I Encyclopedia of Social Network Analysis and Mining, Springer, Berlin, 2014.
-
Path-based and Whole Network Measures
. I Encyclopedia of Social Network Analysis and Mining, Springer, Berlin, 2014.
-
Taking the Big Picture: Representative Skylines based on Significance and Diversity
. I The VLDB journal, volym 23, nummer 5, pp 795-815, Springer Berlin/Heidelberg, 2014. (DOI
).
-
An efficient algorithm for exact evaluation of stochastic watersheds
. I Pattern Recognition Letters, volym 47, pp 80-84, 2014. (DOI
).
-
An interactive tool for deformable registration of volume images
. I Symposium of the Swedish Society for Automated Image Analysis (SSBA), 2014.
-
Exact evaluation of stochastic watersheds: From trees to general graphs
. I Discrete Geometry for Computer Imagery, volym 8668 av Lecture Notes in Computer Science, pp 309-319, Springer Berlin/Heidelberg, 2014. (DOI
).
-
Energy-efficient automatic location-triggered applications on smartphones
. I Computer Communications, volym 50, pp 29-40, 2014. (DOI
).
-
New insights into the mechanisms behind the strengthening of lignocellulosic fibrous networks with polyamines
. I Cellulose, volym 21, nummer 6, pp 3941-3950, 2014. (DOI
).
-
A reduced MIMO Wiener model for recursive identification of the depth of anesthesia
. I International journal of adaptive control and signal processing (Print), volym 28, nummer 12, pp 1357-1371, 2014. (DOI
).
-
Local identifiability and sensitivity analysis of neuromuscular blockade and depth of hypnosis models
. I Computer Methods and Programs in Biomedicine, volym 113, nummer 1, pp 23-36, 2014. (DOI
).
-
Diagonal-norm summation by parts operators for finite difference approximations of third and fourth derivatives
. I Journal of Computational Physics, volym 274, pp 432-454, 2014. (DOI
).
-
Optimal diagonal-norm SBP operators
. I Journal of Computational Physics, volym 264, pp 91-111, 2014. (DOI
).
-
Pulse-modulated feedback in mathematical modeling and estimation of endocrine systems
. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-006, Uppsala University, 2014. (fulltext
).
-
Recursive identification of Hammerstein models
. I Proc. American Control Conference: ACC 2014, pp 2498-2503, American Automatic Control Council, 2014. (DOI
).
-
Subject-Level Quality Assurance in Computing: Experiences from three national perspectives
. I Proc. 44th ASEE/IEEE Frontiers in Education Conference, pp 1189-1196, IEEE Press, Piscataway, NJ, 2014. (DOI
, fulltext:postprint
).
-
Demo Abstract: SicsthSense - Dispersing the Cloud
. 2014.
-
Laguerre domain modeling of continuous time delay in the face of finite-dimensional perturbation
. I , 2014. Publikationsstatus: Submitted
-
A Structural Texture Approach for Characterising Malignancy Associated Changes in Pap Smears Based on Mean-Shift and the Watershed Transform
. I Proc. 22nd International Conference on Pattern Recognition, International Conference on Pattern Recognition, pp 1189-1193, IEEE Computer Society, 2014. (DOI
).
-
Energy Efficient GPS Acquisition with Sparse-GPS
. I , 2014.
-
A propagator design framework for constraints over sequences
. I Proc. 28th AAAI Conference on Artificial Intelligence: Volume 4, pp 2710-2716, AAAI Press, Palo Alto, CA, 2014. (Extern länk
).
-
Localization of deep brain stimulation electrodes via metal artifacts in CT images
. I Proc. 36th International Conference of the IEEE Engineering in Medicine and Biology Society, pp 1055-1058, Curran Associates, Inc., 2014. (DOI
).
-
Ubiquitous sensor data collection with mobile users
. I Proc. 3rd International Conference on Computing, Networking and Communications, pp 561-566, IEEE Press, Piscataway, NJ, 2014. (DOI
).
-
Localization of elliptic multiscale problems
. I Mathematics of Computation, volym 83, nummer 290, pp 2583-2603, 2014. (DOI
).
-
A Doppler robust design of transmit sequence and receive filter in the presence of signal-dependent interference
. I IEEE Transactions on Signal Processing, volym 62, nummer 4, pp 772-785, 2014. (DOI
).
-
A max–min design of transmit sequence and receive filter
. I Proc. 39th International Conference on Acoustics, Speech, and Signal Processing, pp 71-75, IEEE, Piscataway, NJ, 2014. (DOI
, fulltext:postprint
).
-
Radar Code Design for Detection of Moving Targets
. I IEEE Transactions on Aerospace and Electronic Systems, volym 50, nummer 4, pp 2762-2778, 2014. (DOI
).
-
Unimodular code design for MIMO radar using Bhattacharyya distance
. I Proc. 39th International Conference on Acoustics, Speech, and Signal Processing, pp 5282-5286, IEEE, Piscataway, NJ, 2014. (DOI
, fulltext:postprint
).
-
Quality-of-information-aware data collection for mobile sensor networks
. I Pervasive and Mobile Computing, volym 11, pp 203-215, 2014. (DOI
).
-
Automatic Mapping of Standing Dead Trees after an Insect Outbreak Using the Window Independent Context Segmentation Method
. I Journal of forestry, volym 112, nummer 6, pp 564-571, 2014. (DOI
).
-
Extending statistical cache models to support detailed pipeline simulators
. I 2014 IEEE International Symposium On Performance Analysis Of Systems And Software (Ispass), IEEE International Symposium on Performance Analysis of Systems and Software-ISPASS, pp 86-95, IEEE Computer Society, 2014. (DOI
).
-
SADSense: Personalized Mobile Sensing for Seasonal Effects on Health
. I Proc. 13th International Symposium on Information Processing in Sensor Networks, pp 295-296, IEEE Press, Piscataway, NJ, 2014. (DOI
).
-
Haggle: Opportunistic mobile content sharing using search
. I Computer Communications, volym 48, pp 121-132, 2014. (DOI
).
-
A flexible boundary procedure for hyperbolic problems: Multiple penalty terms applied in a domain
. I Communications in Computational Physics, volym 16, pp 541-570, 2014. (DOI
).
-
Model accuracy for active damping of a viscoelastic beam
. I Preprints of the 19th World Congress, pp 4511-4516, 2014.
-
Modelling and Control Methods with Applications to Mechanical Waves
. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1174, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext
, preview image
).
-
A Streaming Distance Transform Algorithm for Neighborhood-Sequence Distances
. I Image Processing On Line, volym 4, pp 196-203, 2014. (DOI
, Extern länk
).
-
Approximate adjoint-based iterative learning control
. I International Journal of Control, volym 87, nummer 5, pp 1028-1046, 2014. (DOI
).
-
On the stability and optimality of an output feedback control law
. 2014.
-
Output feedback control: Some methods and applications
. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-002, Uppsala University, 2014. (fulltext
).
-
Custom Mandibular Implant Design with Deformable Models and Haptics
. I Proc. Computer Assisted Radiology and Surgery (CARS). Fukuoka, Japan, June 25-28, pp 246-247, Springer Berlin/Heidelberg, 2014. (DOI
).
-
Finding keys for people with mild dementia: Not just a matter of beeping and flashing
. I Proceedings 8th International Conference on Augmented Cognition, Foundations of Augmented Cognition: Advancing Human Performance and Decision-Making through Adaptive Systems, volym 8534 av Lecture Notes in Computer Science, pp 315-324, Springer Berlin/Heidelberg, 2014. (DOI
).
-
Instrumentation, control and automation in wastewater – from London 1973 to Narbonne 2013
. I Water Science and Technology, volym 69, nummer 7, pp 1373-1385, 2014. (DOI
).
-
Modeling cache coherence misses on multicores
. I 2014 IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE (ISPASS), IEEE International Symposium on Performance Analysis of Systems and Software-ISPASS, pp 96-105, IEEE, 2014. (DOI
).
-
Higher-order psi-calculi
. I Mathematical Structures in Computer Science, volym 24, nummer 2, Cambridge University Press, 2014. (DOI
, fulltext:postprint
).
-
Fully abstract trace semantics for low-level isolation mechanisms
. I Symposium on Applied Computing, SAC 2014., pp 1562-1569, ACM Press, 2014. (DOI
).
-
Digital citizenship and social responsibility of computer professionals
. I Mondo Digitale, volym XIII, nummer 49, pp 1-10, AICA, Milano, 2014. (Extern länk
).
-
From computer ethics to future (and information) ethics: The challenge of Nano-Bots
. I Ethical dimensions of bio-nanotechnology: Present and future applications in telemedicine, IGI Global, Hershey, PA, USA, 2014. (DOI
).
-
Slow Tech: The bridge between computer ethics and business ethics
. I Proceedings 11th International Conference on human Choice and computers, HC11, 2014: ICT and society, volym 431 av IFIP Advances in Information and Communication Technology, pp 92-106, Springer Berlin/Heidelberg, Berlin/Heidelberg, 2014. (DOI
, Extern länk
).
-
AccAB – Processes and Roles for Accreditation of Computing Degrees at Al Baha University in Saudi Arabia
. I Proc. World Engineering Education Forum, pp 969-970, 2014.
-
Four feed-forward principles enhance students' perception of feedback as meaningful
. I Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 272-277, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI
).
-
Integrating global systems development skills into the engineering curriculum
. I Proc. 3rd ASEE International Forum, pp 11088:1-8, American Society for Engineering Education, 2014.
-
First year Computer Science and IT students' experience of participation in the discipline
. I Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering, pp 1-8, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI
, fulltext:preprint
).
-
Identity development in computing education: Theoretical perspectives and an implementation in the classroom
. I Proc. 9th Workshop in Primary and Secondary Computing Education, pp 70-79, ACM Press, New York, 2014. (DOI
).
-
The role of students' identity development in higher education in computing
. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-004, Uppsala University, 2014. (fulltext
).
-
A stochastic Galerkin method for the Euler equations with Roe variable transformation
. I Journal of Computational Physics, volym 257, pp 481-500, 2014. (DOI
).
-
Large-Scale Analysis of Cells and Tissue
. I , 2014.
-
The Giga-pixel Challenge: Full Resolution Image Analysis – Without Losing the Big Picture: An open-source approach for multi-scale analysis and visualization of slide-scanner data
. I , 2014. (fulltext:postprint
).
-
Nonlinear estimation of a parsimonious Wiener model for the neuromuscular blockade in closed-loop anesthesia
. I Proc. 19th IFAC World Congress, pp 9258-9264, International Federation of Automatic Control, 2014. (DOI
).
-
Parallel recursive Bayesian estimation on multicore computational platforms using orthogonal basis functions
. I Proc. American Control Conference: ACC 2014, pp 622-627, American Automatic Control Council, 2014. (DOI
).
-
Spectrally constrained waveform design
. I IEEE signal processing magazine (Print), volym 31, nummer 3, pp 157-162, 2014. (DOI
).
-
Chunks and Tasks: A programming model for parallelization of dynamic algorithms
. I Parallel Computing, volym 40, pp 328-343, 2014. (DOI
).
-
Interior eigenvalues from density matrix expansions in quantum mechanical molecular dynamics
. I SIAM Journal on Scientific Computing, volym 36, pp B147-B170, 2014. (DOI
, fulltext:postprint
).
-
More scalable ordered set for ETS using adaptation
. I Proc. 13th ACM SIGPLAN Workshop on Erlang, pp 3-11, ACM Press, New York, 2014. (DOI
).
-
An IMEX-scheme for pricing options under stochastic volatility models with jumps
. I SIAM Journal on Scientific Computing, volym 36, pp B817-B834, 2014. (DOI
).
-
Full Speed Ahead: Detailed Architectural Simulation at Near-Native Speed
. Technical report / Department of Information Technology, Uppsala University nr 2014-005, 2014. (Extern länk
, fulltext
).
-
Understanding Multicore Performance: Efficient Memory System Modeling and Simulation
. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1136, Acta Universitatis Upsaliensis, Uppsala, 2014. (preview image
, fulltext
).
-
CPS2: a Contextual Privacy Framework for Social Software
. I 10th International Conference on Security and Privacy in Communication Networks (SECURECOMM2014), Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering, pp 25-32, 2014. (DOI
).
-
Towards national deployment of online medical records and eHealth services
. I Vitalis – Nordens ledande eHälsomöte 2014, pp 16-19, GUPEA, 2014. (Proceedings
).
-
Solving Geospatial Tasks in 2D and 3D Visualizations of Maps
. I Information Visualisation: Techniques, Usability and Evaluation, pp 222-271, Cambridge Scholars Publishing, 2014.
-
Researching the Use of the Internet – A Beginner's Guide
. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 109, Acta Universitatis Upsaliensis, Uppsala, 2014. (preview image
).
-
The Direct-to-Data (D2D) Cache: Navigating the cache hierarchy with a single lookup
. I Proc. 41st International Symposium on Computer Architecture, pp 133-144, IEEE Press, Piscataway, NJ, 2014. (DOI
).
-
Toeplitz matrices: Spectral properties and preconditioning in the CG method
. Technical report / Department of Information Technology, Uppsala University nr 2014-024, 2014. (Extern länk).
-
Minimum sidelobe beampattern design for MIMO radar systems: A robust approach
. I Proc. 39th International Conference on Acoustics, Speech, and Signal Processing, pp 5312-5316, IEEE, Piscataway, NJ, 2014. (DOI
).
-
Missing data in multiplex networks: a preliminary study
. I , IEEE Computer Society, 2014.
-
MOOCs and their impact on academics
. I Proc. 14th International Conference on Computing Education Research: Koli Calling, pp 137-145, ACM Press, New York, 2014. (DOI
).
-
Nonlinear Modeling and Feedback Control of Drug Delivery in Anesthesia
. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1187, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext
, preview image
).
-
A Desk-Top Low voltage TEM for high quality imaging of biological specimen
. I Proceedings, 2014.
-
Automated multi-scale image acquisition for efficient particle detection and analysis using the mini-TEM
. I Proceedings, 2014.
-
MiniTEM - making ultra-structural pathology easier and accessible
. I , 2014.
-
The mini-TEM: high quality imaging and analysis of biological specimen
. I Proceedings, 2014.
-
Virus recognition based on local texture
. I Proceedings 22nd International Conference on Pattern Recognition (ICPR), 2014, International Conference on Pattern Recognition, pp 3227-3232, 2014. (DOI
).
-
miniTEM - a desk-top TEM for fast and easy image acquisition and analysis
. I , 2014.
-
HTSeq-Hadoop: Extending HTSeq for Massively Parallel Sequencing Data Analysis using Hadoop
. I Proc. 10th International Conference on e-Science, pp 317-323, IEEE Computer Society, 2014. (DOI
).
-
A tunable cache for approximate computing
. I Proc. 10th International Symposium on Nanoscale Architectures, IEEE International Symposium on Nanoscale Architectures, pp 88-89, IEEE, Piscataway, NJ, 2014. (DOI
).
-
Power-Efficient Computer Architectures: Recent Advances
. Morgan & Claypool Publishers, 2014. (DOI
).
-
Investigating population history using temporal genetic differentiation
. I Molecular biology and evolution, volym 31, nummer 9, pp 2516-2527, 2014. (DOI
).
-
A Recursive Method for Enumeration of Costas Arrays
. 2014. (fulltext
).
-
Approaching peak correlation bounds via alternating projections
. I Proc. 39th International Conference on Acoustics, Speech, and Signal Processing, International Conference on Acoustics Speech and Signal Processing, pp 5317-5321, IEEE, Piscataway, NJ, 2014. (DOI
).
-
Design of Piecewise Linear Polyphase Sequences with Good Correlation Properties
. I , 2014. (fulltext:postprint
).
-
Designing unimodular codes via quadratic optimization
. I IEEE Transactions on Signal Processing, volym 62, nummer 5, pp 1221-1234, 2014. (DOI
).
-
MERIT: A monotonically error-bound improving technique for unimodular quadratic programming
. I Proc. 39th International Conference on Acoustics, Speech, and Signal Processing, International Conference on Acoustics Speech and Signal Processing, pp 5656-5660, IEEE, Piscataway, NJ, 2014. (DOI
, fulltext:postprint
).
-
On Prime Root-of-Unity Sequences with Perfect Periodic Correlation
. I IEEE Transactions on Signal Processing, volym 62, nummer 20, pp 5458-5470, 2014. (DOI
).
-
On meeting the peak correlation bounds
. I IEEE Transactions on Signal Processing, volym 62, nummer 5, pp 1210-1220, 2014. (DOI
).
-
Search for Costas Arrays Via Sparse Representation
. I , 2014. (fulltext:postprint
).
-
Signal Design for Active Sensing and Communications
. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 108, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext
, preview image
).
-
Single-stage transmit beamforming design for MIMO radar
. I Signal Processing, volym 102, pp 132-138, 2014. (DOI
).
-
A novel incentive negotiation mechanism for participatory sensing under budget constraints
. I Proc. 22nd International Symposium on Quality of Service, pp 326-331, IEEE Communications Society, 2014. (DOI
).
-
Incentive mechanism for participatory sensing under budget constraints
. I Proc. Wireless Communications and Networking Conference 2014, pp 3361-3366, IEEE Communications Society, 2014. (DOI
).
-
Frequency domain EIV identification:a Frisch Scheme approach
. I IFAC 19th World Congress, 2014.
-
Frequency domain maximum likelihood identificationof noisy input-output models
. I IFAC 19th World Congress, 2014.
-
Automous Technology - Sources of Confusion: A Model for Explanation and Prediction of Conceptual Shifts
. I Ergonomics, volym 57, nummer 3, pp 455-470, Taylor & Francis, 2014. (DOI
).
-
Edge awareness: A dynamic safety perspective on four accidents/incidents
. I Advances in Human Factors, Software and Systems Engineering: Proceedings of the Fifth International Conference on Applied Human Factors and Ergonomics, pp -179, 2014.
-
Real-Time Workload Models: Expressiveness vs. Analysis Efficiency
. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 103, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext
, preview image
).
-
Refinement-based Exact Response-Time Analysis
. I 2014 26TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2014), Euromicro Workshop on Real-Time Systems-Proceedings, pp 143-152, 2014. (DOI
).
-
Gridless compressive-sensing methods for frequency estimation: Points of tangency and links to basics
. I Proc. 22nd European Signal Processing Conference, IEEE, Lisbon, Portugal, 2014.
-
Weighted SPICE: A unifying approach for hyperparameter-free sparse estimation
. I Digital signal processing (Print), volym 33, pp 1-12, 2014. (DOI
).
-
The Minimum Barrier Distance - Stability to seed point position
. I Discrete Geometry for Computer Imagery, DGCI 2014, volym 8668 av Lecture Notes in Computer Science, pp 111-121, 2014. (DOI
).
-
Service guarantee exploration for mixed-criticality systems
. I Proc. 20th International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE, Piscataway, NJ, 2014. (DOI
).
-
Speculative program parallelization with scalable and decentralized runtime verification
. I Runtime Verification, volym 8734 av Lecture Notes in Computer Science, pp 124-139, Springer Berlin/Heidelberg, 2014. (DOI
, fulltext:postprint
).
-
Improving the response time analysis of global fixed-priority multiprocessor scheduling
. I Proc. 20th International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE, Piscataway, NJ, 2014. (DOI
).
-
Identification of jump Markov linear models using particle filters
. I Proc. 53rd Conference on Decision and Control, pp 6504-6509, IEEE, Piscataway, NJ, 2014. (DOI
).
-
A unified framework for EIV identification methods in the presence of mutually correlated noises
. I IFAC 19th World Congress, Elsevier, 2014.
-
A unified framework for EIV identification methods when the measurement noises are mutually correlated
. I Automatica, volym 50, nummer 12, pp 3216-3223, 2014. (DOI
).
-
Extended accuracy analysis of a covariance matching approach for identifying errors-in-variables systems
. I Automatica, volym 50, nummer 10, pp 2597-2605, 2014. (DOI
).
-
NO<sub>x</sub> control for SCR systems using feedback linearisation
. I 23rd ERNSI Workshop in System Identification, European Research Network System Identification, 2014.
-
Nonlinear System Identification and Control Applied to Selective Catalytic Reduction Systems
. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 106, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext
, preview image
).
-
A broader threshold: Including skills as well as concepts in computing education
. I Threshold Concepts: From personal practice to communities of practice, pp 154-158, NAIRTL, Cork, Ireland, 2014.
-
Graduating students' designs — through a phenomenographic lens
. I Proc. 10th International Computing Education Research Conference, pp 91-98, ACM Press, New York, 2014. (DOI
).
-
Programming course design: Phenomenographic approach to learning and teaching
. I Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering, pp 125-132, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI
, fulltext:postprint
).
-
Repertory grid interviews: Insights into personal constructs of novice programmers
. I SAGE Research Methods Cases, Sage Publications, 2014. (DOI
).
-
A task parallel implementation of an RBF-generated finite difference method for the shallow water equations on the sphere
. Technical report / Department of Information Technology, Uppsala University nr 2014-011, 2014. (Extern länk).
-
Scientific Computing on Multicore Architectures
. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1139, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext
, preview image
).
-
SuperGlue: A shared memory framework using data versioning for dependency-aware task-based parallelization
. Technical report / Department of Information Technology, Uppsala University nr 2014-010, 2014. (Extern länk).
-
Extremum seeking control of the CANON process: Existence of multiple stationary solutions
. I Journal of Process Control, volym 24, nummer 2, pp 348-356, 2014. (DOI
).
-
Scalable Numerical Queries by Algebraic Inequality Transformations
. I Database Systems for Advanced Applications, Dasfaa 2014, PT I, volym 8421 av Lecture Notes in Computer Science, pp 95-109, 2014.
-
Solutions to the problem of inconsistent plans in railway traffic operation
. I Journal of Rail Transport Planning & Management, volym 4, nummer 4, pp 87-97, 2014. (DOI
).
-
3D tree-ring analysis using helical X-ray tomography
. I Dendrochronologia, volym 32, nummer 1, pp 39-46, 2014. (DOI
).
-
Directional Transmissions and Receptions for Burst Forwarding using Disjoint Paths
. I Proc. 13th International Symposium on Information Processing in Sensor Networks, pp 307-308, IEEE Press, Piscataway, NJ, 2014.
-
Using Directional Transmissions and Receptions to Reduce Contention in Wireless Sensor Networks
. I Real-World Wireless Sensor Networks, volym 281 av Lecture Notes in Electrical Engineering, pp 205-213, 2014. (DOI
, Extern länk
).
-
Acoustic wave propagation in complicated geometries and heterogeneous media
. I Journal of Scientific Computing, volym 61, pp 90-118, 2014. (DOI
).
-
Smartphone Support for Persons Who Stutter
. I Proc. 13th International Symposium on Information Processing in Sensor Networks, pp 293-294, IEEE Press, Piscataway, NJ, 2014.
-
Feature space de-noising for text recognition
. I Proceedings of SSBA, 2014, 2014.
-
Scribal Attribution using a Novel 3-D Quill-Curvature Feature Histogram
. I Proceedings International Conference on Frontiers in Handwriting Recognition (ICFHR), 2014, 2014. (fulltext:postprint
).
-
Spotting words in medieval manuscripts
. I Studia Neophilologica, volym 86, pp 171-186, 2014. (DOI
, fulltext:print
).
-
Fast level-set based image segmentation using coherent propagation
. I Medical physics (Lancaster), volym 41, pp 073501:1-11, 2014. (DOI
).
-
Stochastic reaction–diffusion processes with embedded lower-dimensional structures
. I Bulletin of Mathematical Biology, volym 76, pp 819-853, 2014. (DOI
).
-
Characterisations of fibre networks in paper using micro computed tomography images
. I Nordic Pulp & Paper Research Journal, volym 29, nummer 3, pp 468-475, 2014. (DOI
).
-
Understanding phase contrast artefacts in micro computed absorption tomography
. I Proceedings SSBA 2014, Symposium on Image Analysis, 2014.
-
Computers, time and speed: Five slow tech case studies
. I ICT and society, volym 431 av IFIP Advances in Information and Communication Technology, pp 122-135, Springer Berlin/Heidelberg, Berlin/Heidelberg, 2014. (DOI
, Extern länk
).
-
Identifiability and limit cycles
. Technical report / Department of Information Technology, Uppsala University nr 2014-016, Uppsala University, uppsala, 2014. (Extern länk, fulltext
).
-
MATLAB Software for Identification of Nonlinear Autonomous Systems: Revision 1
. Technical report / Department of Information Technology, Uppsala University nr 2014-014, Uppsala universitet, Uppsala, 2014. (Report in fulltext, fulltext
).
-
On a limitation in networked flow control
. Technical report / Department of Information Technology, Uppsala University nr 2014-009, 2014. (Extern länk, fulltext
).
-
Spray: A Multi-Modal Localization System for Stationary Sensor Network Deployment
. I 2014 11TH IEEE/IFIP ANNUAL CONFERENCE ON WIRELESS ON-DEMAND NETWORK SYSTEMS AND SERVICES (IEEE/IFIP WONS 2014), pp 25-32, IEEE, 2014.
-
High- and low-throughput scoring of fat mass and body fat distribution in <em>C. elegans</em>
. I Methods, volym 68, nummer 3, pp 492-499, 2014. (DOI
).
-
Information-centric collaborative data collection for mobile devices in wireless sensor networks
. I Proc. International Conference on Communications: ICC 2014, pp 36-41, IEEE Communications Society, 2014. (DOI
).
-
Hybrid state observer for time-delay systems under intrinsic impulsive feedback
. I Proc. 21st International Symposium on Mathematical Theory of Networks and Systems, pp 977-984, University of Groningen, The Netherlands, 2014.
-
Estimation for the linear model with uncertain covariance matrices
. I IEEE Transactions on Signal Processing, volym 62, nummer 6, pp 1525-1535, 2014. (DOI
).
-
Schedule-based sequential localization in asynchronous wireless networks
. I EURASIP Journal on Advances in Signal Processing, volym 2014, pp 16:1-12, 2014. (DOI
).
-
Optimizing zone volumes in bioreactors described by Monod and Contois growth kinetics
. I Proc. IWA World Water Congress: 2014, IWA Publishing, 2014.
-
Steady-state analysis of simple activated sludge processes with Monod and Contois growth kinetics
. I Proc. IWA Conference on Activated Sludge – 100 Years and Counting, IWA Publishing, 2014.
-
Approximations for Model Construction
. I Automated Reasoning, volym 8562 av Lecture Notes in Computer Science, pp 344-359, Springer, 2014. (DOI
, fulltext:postprint
).
-
Understanding the Dynamic Caches on Intel Processors: Methods and Applications
. I 2014 12th IEEE International Conference on Embedded and Ubiquitous Computing, pp 58-64, 2014. (DOI
).
-
Time Delay Induced Multistability and Complex Dynamics in an Impulsive Model of Endocrine Regulation
. I 2014 European Control Conference (ECC), pp 2304-2309, 2014. (DOI
).
-
Bone canalicular network segmentation in 3D nano-CT images through geodesic voting and image tessellation
. I Physics in Medicine and Biology, volym 59, nummer 9, pp 2155-2171, 2014. (DOI
).
-
Scaling Future Software: The Manycore Challenge
. 2014. (Extern länk
).
-
Evaluation of the Automatic methods for Building Extraction
. I International Journal of Computers and Communications, volym 8, pp 171-176, 2014.
-
Knowledge Based Single Building Extraction and Recognition
. I Proceedings WSEAS International Conference on Computer Engineering and Applications, 2014, pp 29-35, 2014. (Extern länk
).
-
TIME-SPACE VISUALISATION OF AMUR RIVER CHANNEL CHANGES DUE TO FLOODING DISASTER
. I Proceedings of International Multidisciplinary Scientific GeoScience Conference (SGEM), 2014, 2014. (DOI
, Extern länk
).
-
Priorities Without Priorities: Representing Preemption in Psi-Calculi
. I Proc. 21st International Workshop on Expressiveness in Concurrency, and 11th Workshop on Structural Operational Semantics, volym 160 av Electronic Proceedings in Theoretical Computer Science, pp 2-15, 2014. (DOI
).
-
Ammonium Feedback Control in Wastewater Treatment Plants
. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 104, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext
, preview image
).
-
Lessons learnt from evaluating full-scale ammonium feedback control in three large wastewater treatment plants
. I Water Science and Technology, volym 69, nummer 7, pp 1573-1580, 2014. (DOI
).