Publications 2014
-
Distance Functions and Their Use in Adaptive Mathematical Morphology
. Ph.D. thesis, 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
. In Proc. 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volume 49:1 of ACM SIGPLAN NOTICES, pp 373-384, ACM Press, New York, 2014. (DOI
).
-
Block me if you can!: Context-sensitive parameterized verification
. In Static Analysis: SAS 2014, volume 8723 of Lecture Notes in Computer Science, pp 1-17, Springer, 2014. (DOI
, fulltext:postprint
).
-
Budget-bounded model-checking pushdown systems
. In Formal methods in system design, volume 45, number 2, pp 273-301, 2014. (DOI
).
-
Computing optimal reachability costs in priced dense-timed pushdown automata
. In Language and Automata Theory and Applications: LATA 2014, volume 8370 of Lecture Notes in Computer Science, pp 62-75, Springer Berlin/Heidelberg, 2014. (DOI
).
-
Infinite-state energy games
. In 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)
. In Theoretical Computer Science, volume 552, pp 26-43, 2014. (DOI
).
-
Stochastic Parity Games on Lossy Channel Systems
. In Logical Methods in Computer Science, volume 10, number 4, 2014. (DOI
, fulltext:print
).
-
String Constraints for Verification
. In 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
. In 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
. In 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
. In 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
. In 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
. In Molecular Pharmaceutics, volume 11, number 9, pp 3123-3132, 2014. (DOI
).
-
Atmospheric sound propagation over large-scale irregular terrain
. In Journal of Scientific Computing, volume 61, pp 369-397, 2014. (DOI
).
-
High-fidelity numerical solution of the time-dependent Dirac equation
. In Journal of Computational Physics, volume 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
. In Computers in industry (Print), volume 65, number 8, pp 1126-1135, 2014. (DOI
).
-
Experimental and Computational Prediction of Glass Transition Temperature of Drugs
. In JOURNAL OF CHEMICAL INFORMATION AND MODELING, volume 54, number 12, pp 3396-3403, 2014. (DOI
).
-
Recognizing complexity: Visualization for skilled professionals in complex work situations
. In Building Bridges: HCI, Visualization, and Non-formal Modeling, volume 8345 of Lecture Notes in Computer Science, pp 47-66, Springer Berlin/Heidelberg, Heidelberg, 2014. (DOI
).
-
Ämnesdidaktisk forskning: Ett stöd för utbildningsexcellens
. In I stort och smått – med studenten i fokus, volume 1 of 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
. In Proc. ISWC 2014 Posters & Demonstrations Track, volume 1272 of CEUR Workshop Proceedings, pp 221-224, RWTH Aachen University, 2014. (Fulltext
).
-
The Gradual Verifier
. In NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings, volume 8430 of Lecture Notes in Computer Science, pp 313-327, Switzerland, 2014. (DOI
, fulltext:postprint
).
-
Programming and automating mathematics in the Tarski-Kleene hierarchy
. In Journal of Logical and Algebraic Methods in Programming, volume 83, number 2, pp 87-102, 2014. (DOI
).
-
?????????????????? (The range of gender perspective in computer ethics research)
. In ??????? (The Japan Society of Management Information (JASMIN) Journal), volume 23, number 2, pp 158-161, The Japan Society for Management Information, Tokyo, 2014. (External link
).
-
Responsibility and Competence in Political Ethics
. In Proceedings International Political Science Association, 23rd World Congress of Political Science, 2014: Challenges of contemporay governance, Montreal, 2014. (External link
, Responsibility and Competence in Political Ethics
).
-
Activity profiles in online social media
. In 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
. In International Journal of Foundations of Computer Science, volume 25, number 8, pp 1083-1096, 2014. (DOI
).
-
Context-Bounded Analysis of TSO Systems
. In From Programs to Systems: The Systems perspective in Computing, volume 8415 of Lecture Notes in Computer Science, pp 21-38, Springer, 2014. (DOI
).
-
On Bounded Reachability Analysis of Shared Memory Systems
. In {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
. In , 2014.
-
A comparison of iterative methods to solve complex valued linear algebraic systems
. In Numerical Algorithms, volume 66, pp 811-841, 2014. (DOI
).
-
Building timing predictable embedded systems
. In ACM Transactions on Embedded Computing Systems, volume 13, number 4, pp 82:1-37, 2014. (DOI
).
-
Document binarization using topological clustering guided Laplacian Energy Segmentation
. In Proceedings International Conference on Frontiers in Handwriting Recognition (ICFHR), 2014, volume 14 of Frontiers in Handwriting Recognition, pp 523-528, 2014. (DOI
, fulltext:preprint
).
-
Automated Tissue Image Analysis Using Pattern Recognition
. Ph.D. thesis, 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
. In 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
. In Signal Processing, volume 95, pp 10-14, 2014. (DOI
).
-
Distributed multi-query optimization of continuous clustering queries
. In Proc. VLDB 2014 PhD Workshop, 2014. (fulltext:print
).
-
An evaluation of potential functions for regularized image deblurring
. In Image Analysis and Recognition: Part I, volume 8814 of 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
. In 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
. In 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
. In Principles and Practice of Constraint Programming: CP 2014, volume 8656 of Lecture Notes in Computer Science, pp 142-157, Springer, 2014. (DOI
).
-
Propagating regular counting constraints
. In Proc. 28th AAAI Conference on Artificial Intelligence: Volume 4, pp 2616-2622, AAAI Press, Palo Alto, CA, 2014. (External link
).
-
Toward sustainable development in constraint programming
. In Constraints, volume 19, number 2, pp 139-149, 2014. (DOI
).
-
Quantitative and automated microscopy: Where do we stand after 80 years of research?
. In 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
. In Computational & Mathematical Methods in Medicine, volume 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
. In Journal of Computational Physics, volume 259, pp 135-153, 2014. (DOI
).
-
A glimpse into the cultural situatedness of computer science: Some insights from a pilot study
. In 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
. In 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
. In 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
. In Proc. World Engineering Education Forum, pp 967-968, 2014.
-
The Development of Cooperation Between Al Baha University and Uppsala University, Sweden
. In International Exhibition and Conference on Higher Education, Riyadh, Saudi Arabia, 2014.
-
Opportunistic Networking: Congestion, Transfer Ordering and Resilience
. Ph.D. thesis, 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
. In Computer Communications, volume 48, number SI, pp 111-120, 2014. (DOI
).
-
Magnitude-constrained sequence design with application in MRI
. In 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
. In Journal of magnetic resonance, volume 249, pp 100-107, 2014. (DOI
).
-
Parameter estimation approach to banding artifact reduction in balanced steady-state free precession
. In Magnetic Resonance in Medicine, volume 72, number 3, pp 880-892, 2014. (DOI
).
-
Wave simulation in 2D heterogeneous transversely isotropic porous media with fractional attenuation: A Cartesian grid approach
. In Journal of Computational Physics, volume 275, pp 118-142, 2014. (DOI
).
-
Temporal logics for concurrent recursive programs: Satisfiability and model checking
. In Journal of Applied Logic, volume 12, number 4, pp 395-416, 2014. (DOI
).
-
A Sorted Semantic Framework for Applied Process Calculi (extended abstract)
. In Trustworthy Global Computing: TGC 2013, volume 8358 of 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)
. Volume 160 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2014. (DOI
).
-
Efficient numerical solution of discrete multi-component Cahn–Hilliard systems
. In Computers and Mathematics with Applications, volume 67, pp 106-121, 2014. (DOI
).
-
Improved DCVD assessments of irradiated nuclear fuel using image analysis techniques
. In , 2014.
-
Towards unattended partial-defect verification of irradiated nuclear fuel assemblies using the DCVD
. In , 2014. (Fulltext
).
-
Critical thinking, peer-writing, and the importance of feedback
. In 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. (fulltext
).
-
On the establishment of user-centred perspectives
. In 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
. In 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
. In Proc. IWA Conference on Activated Sludge – 100 Years and Counting, IWA Publishing, 2014.
-
Fault detection and isolation of sensors in aeration control systems
. In Proc. IWA World Water Congress: 2014, IWA Publishing, 2014.
-
Protocol log analysis with constraint programming: Work in progress
. In Satisfiability Modulo Theories: SMT 2014, volume 1163 of CEUR Workshop Proceedings, pp 17-26, RWTH Aachen University, 2014. (Fulltext
).
-
Enhanced learning by promoting engineering competencies
. In Proc. 44th ASEE/IEEE Frontiers in Education Conference, pp 2044-2049, IEEE Press, Piscataway, NJ, 2014. (DOI
, Proceedings
).
-
Learning Extended Finite State Machines
. In Software Engineering and Formal Methods. 12th International Conference, SEFM 2014, volume 8702 of Lecture Notes in Computer Science, pp 250-264, Springer International Publishing, 2014. (DOI
, External link
).
-
Managing power constraints in a single-core scenario through power tokens
. In Journal of Supercomputing, volume 68, number 1, pp 414-442, 2014. (DOI
).
-
A longitudinal study of gait function and characteristics of gait disturbances in individuals with Alzheimer's disease
. In Gait & Posture, volume 39, number 4, pp 1022-1027, 2014. (DOI
, Fulltext
, fulltext:print
).
-
An algebraic theory of interface automata
. In Theoretical Computer Science, volume 549, pp 146-174, 2014. (DOI
).
-
Compositional assume–guarantee reasoning for input/output component theories
. In Science of Computer Programming, volume 91, pp 115-137, 2014. (DOI
).
-
Application of machine learning methods for fault detection in wastewater treatment plants
. In Reglermöte, 2014.
-
Periodical solutions in a pulse-modulated model of endocrine regulation with time-delay
. In IEEE Transactions on Automatic Control, volume 59, number 3, pp 728-733, 2014. (DOI
).
-
An impulse-to-impulse discrete-time mapping for a time-delay impulsive system
. In Automatica, volume 50, number 8, pp 2187-2190, 2014. (DOI
).
-
Efficient algorithm for finding the exact minimum barrier distance
. In Computer Vision and Image Understanding, volume 123, pp 53-64, 2014. (DOI
).
-
Software-controlled processor stalls for time and energy efficient data locality optimization
. In 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
. In Challenges of contemporay governance, The International Political Science Association, Montreal, 2014. (External link
).
-
Parliamentary integrity systems: Parliamentarians’ ethical conduct, accountability and transparency
. In , The University of Hull, UK, 2014. (External link
).
-
Low Voltage Mini TEM
. In Proceedings, 2014.
-
Accuracy of the Finite Element Method in Deep Brain Stimulation Modelling
. In 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
. In , 2014.
-
Target coverage and selectivity in field steering brain stimulation
. In 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
. In Pattern Analysis and Applications, volume 17, number 1, pp 141-152, 2014. (DOI
).
-
Adaptive Mathematical Morphology: a survey of the field
. In Pattern Recognition Letters, volume 47, pp 18-28, 2014. (DOI
).
-
Controllers for the Verification of Communicating Multi-Pushdown Systems
. In , Lecture Notes in Computer Science, pp 297-311, 2014.
-
Reasoning about distributed systems: WYSIWYG
. In , Leibniz International Proceedings in Informatics, 2014.
-
Verifying Communicating Multi-pushdown Systems via Split-Width
. In Automated Technology for Verification and Analysis, volume 8837 of Lecture Notes in Computer Science, pp 1-17, 2014. (DOI
).
-
On some sparsity related problems and the randomized Kaczmarz algorithm
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-003, Uppsala University, 2014. (fulltext
).
-
On the randomized Kaczmarz algorithm
. In IEEE Signal Processing Letters, volume 21, number 3, pp 330-333, 2014. (DOI
).
-
Sparse estimation from noisy observations of an overdetermined linear system
. In Automatica, volume 50, number 11, pp 2845-2851, 2014. (DOI
).
-
The Effects of Granularity and Adaptivity on Private/Shared Classification for Coherence
. In , 2014.
-
CPU and GPU performance of large scale numerical simulations in Geophysics
. In Euro-Par 2014: Parallel Processing Workshops, Part I, volume 8805 of 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. (fulltext
).
-
An Emulation-based Method for Lifetime Estimation of Wireless Sensor Networks
. In , 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
. In SIAM Journal on Numerical Analysis, volume 52, pp 2883-2904, 2014. (DOI
).
-
Efficient and stable perfectly matched layer for CEM
. In Applied Numerical Mathematics, volume 76, pp 34-47, 2014. (DOI
).
-
Numerical interaction of boundary waves with perfectly matched layers in two space dimensional elastic waveguides
. In Wave motion, volume 51, pp 445-465, 2014. (DOI
).
-
Stable and high order accurate difference methods for the elastic wave equation in discontinuous media
. In Journal of Computational Physics, volume 279, pp 37-62, 2014. (DOI
).
-
Stable and high-order accurate boundary treatments for the elastic wave equation on second-order form
. In SIAM Journal on Scientific Computing, volume 36, pp A2787-A2818, 2014. (DOI
).
-
Teaching and learning with MOOCs: Computing academics' perspectives and engagement
. In 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
. In Real-time systems, volume 50, number 1, pp 48-86, 2014. (DOI
, fulltext:postprint
).
-
A software based profiling method for obtaining speedup stacks on commodity multi-cores
. In 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
. In SIAM/ASA Journal on Uncertainty Quantification, volume 2, pp 826-850, 2014. (DOI
).
-
A Case for Node-Local Runtime Parameter Adaptation in Wireless Sensor Networks
. In Proc. 10th Swedish National Computer Networking Workshop, 2014.
-
Approximations for the moments of nonstationary and state dependent birth–death queues
. In Computing Research Repository, number 1406.6164, 2014. (DOI
, External link
).
-
On the stability of stochastic jump kinetics
. In Applied Mathematics, volume 5, pp 3217-3239, 2014. (DOI
).
-
X-ray laser imaging of biomolecules using multiple GPUs
. In Parallel Processing and Applied Mathematics: Part I, volume 8384 of 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
. Ph.D. thesis, 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?
. In 2014 11th Annual Conference on Wireless On-demand Network Systems and Services (WONS), pp 49-56, IEEE, Piscataway, NJ, 2014. (DOI
).
-
Automating regression verification
. In 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. (External link
).
-
Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks
. In 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. (fulltext
).
-
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. (fulltext
).
-
Static safety guarantees for a low-level multithreaded language with regions
. In Science of Computer Programming, volume 80, number Part B, pp 223-263, 2014. (DOI
).
-
Canine body composition quantification using 3 tesla fat–water MRI
. In Journal of Magnetic Resonance Imaging, volume 39, number 2, pp 485-491, 2014. (DOI
).
-
Pixel Classification Using General Adaptive Neighborhood-Based Features
. In Proceedings 22nd International Conference on Pattern Recognition (ICPR) 2014, International Conference on Pattern Recognition, pp 3750-3755, 2014. (DOI
).
-
Control challenges in mobile telecommunications
. In The Impact of Control Technology, IEEE Control Systems Society, 2014. (Book
).
-
Tabular: a schema-driven probabilistic programming language
. In Proc. 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volume 49:1 of 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
. Ph.D. thesis, 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. (fulltext
).
-
Parallel data structures and algorithms for high-dimensional structured adaptive mesh refinement
. Technical report / Department of Information Technology, Uppsala University nr 2014-020, 2014. (fulltext
).
-
Partitioned mixed-criticality scheduling on multiprocessor platforms
. In Proc. 17th Conference on Design, Automation and Test in Europe, IEEE, Piscataway, NJ, 2014. (DOI
).
-
General and Efficient Response Time Analysis for EDF Scheduling
. In Proc. 17th Conference on Design, Automation and Test in Europe, IEEE, Piscataway, NJ, 2014. (DOI
).
-
WCET Analysis with MRU Cache: Challenging LRU for Predictability
. In ACM Transactions on Embedded Computing Systems, volume 13, number 4s, 2014. (DOI
).
-
Advancing concurrent system verification: Type based approach and tools
. Licentiate thesis, 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
. In Journal of Biomechanics, volume 47, number 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.
. In International Journal of Biomedical Imaging, volume 2014, 2014. (DOI
, Fulltext
, fulltext:print
).
-
Channel estimation using data embedded pilot in underwater acoustic communication
. In OCEANS 2014: Taipei, IEEE Press, Piscataway, NJ, 2014. (DOI
).
-
A Chebyshev pseudospectral method to solve the space–time tempered fractional diffusion equation
. In SIAM Journal on Scientific Computing, volume 36, pp A1797-A1812, 2014. (DOI
).
-
A cut finite element method for a Stokes interface problem
. In Applied Numerical Mathematics, volume 85, pp 90-114, 2014. (DOI
).
-
A constraint programming approach for managing end-to-end requirements in sensor network macroprogramming
. In 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
. In 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
. In 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
. In Journal for Geometry and Graphics, volume 18, number 2, pp 237-245, 2014.
-
Improved illumination correction that preserves medium sized objects
. In Machine Graphics & Vision, volume 23, number 1/2, pp 3-20, 2014. (fulltext:postprint
).
-
Invariant Interest Point Detection Based on Variations of the Spinor Tensor
. In WSCG, Communication papers proceedings , ISBN 978-80-86943-71-8, pp 49-56, 2014.
-
Robust and Invariant Phase Based Local Feature Matching
. In 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
. In Pattern Recognition Letters, volume 42, pp 65-71, Elsevier, 2014. (DOI
).
-
Towards Automatic Stereo Pair Extraction for 3D Visualisation of Historical Aerial Photographs
. In 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
. In Journal of Computational Physics, volume 266, pp 89-100, 2014. (DOI
).
-
A localized orthogonal decomposition method for semi-linear elliptic problems
. In Mathematical Modelling and Numerical Analysis, volume 48, pp 1331-1349, 2014. (DOI
).
-
All is not lost: Understanding and exploiting packet corruption in outdoor sensor networks
. In Wireless Sensor Networks: EWSN 2014, volume 8354 of 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
. Ph.D. thesis, 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
. In 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
. In Journal of Microscopy, volume 255, number 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
. In PLOS ONE, volume 9, number 2, p e88481, 2014. (DOI
, fulltext:print
).
-
Poster Abstract: An Experimental Study of Attacks on the Availability of Glossy
. In Real-World Wireless Sensor Networks, volume 281 of 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
. In , 2014. (DOI
, Fulltext
). Publication status: Submitted
-
On Identification of Biological Systems
. Ph.D. thesis, 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
. In , 2014. Publication status: Submitted
-
Horn Clauses for Communicating Timed Systems
. In Proceedings First Workshop on Horn Clauses for Verification and Synthesis, volume 169 of 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
. In SIAM Journal on Scientific Computing, volume 36, pp C376-C399, 2014. (DOI
).
-
Automatic and portable cloud deployment for scientific simulations
. In 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
. In IEEE Transactions on Instrumentation and Measurement, volume 63, number 8, pp 2052-2063, 2014. (DOI
).
-
Sparsity-Aided Radar Waveform Synthesis
. In , 2014. (fulltext:postprint
).
-
Mood-Fatigue Analyzer: Towards context-aware mobile sensing applications for safe driving
. In 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
. In IEEE Communications Magazine, volume 52, number 6, pp 78-87, 2014. (DOI
).
-
SAfeDJ Community: Situation-aware in-car music delivery for safe driving
. In Proc. 20th International Conference on Mobile Computing and Networking, pp 363-365, ACM Press, New York, 2014. (DOI
).
-
Asymmetric nu-tube support vector regression
. In Computational Statistics & Data Analysis, volume 77, pp 371-382, 2014. (DOI
).
-
Delegation-based Authentication and Authorization for the IP-based Internet of Things
. In , 2014.
-
Composition schemes for the stochastic differential equation describing collisional pitch-angle diffusion
. In Computer Physics Communications, volume 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. (fulltext
).
-
An Evaluation of the Faster STORM Method for Super-resolution Microscopy
. In 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
. In International Journal of Medical Informatics, volume 83, number 6, pp 438-449, 2014. (DOI
).
-
Authority and level of automation: Lessons to be learned in design of in-vehicle assistance systems
. In Human-Computer Interaction: Applications and Services, Part III, volume 8512 of 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
. Licentiate thesis, 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
. In 2014 European Control Conference (ECC), pp 1856-1861, IEEE, 2014. (DOI
).
-
Dynamic and speculative polyhedral parallelization using compiler-generated skeletons
. In International journal of parallel programming, volume 42, number 4, pp 529-545, 2014. (DOI
).
-
Fix the code. Don't tweak the hardware: A new compiler approach to Voltage–Frequency scaling
. In 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
. In 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
. In Mechanics of materials, volume 75, pp 125-134, 2014. (DOI
).
-
Time profiles for identifying users in online environments
. In 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
. In Encyclopedia of Social Network Analysis and Mining, pp 19-25, Springer, 2014. (DOI
).
-
A quadratic edge-finding filtering algorithm for cumulative resource constraints
. In Constraints, volume 19, number 3, pp 243-269, 2014. (DOI
).
-
Filter Design with Hard Spectral Constraints
. In Signal Processing Conference (EUSIPCO), 2014 Proceedings of the 22nd European, pp 391-395, 2014.
-
Designing and using ethical autonomous agents
. In Sweden – Kyoto Symposium, Kyoto University, Kyoto, 2014. (External link
).
-
Independent agents and ethics
. In ICT and society, volume 431 of IFIP Advances in Information and Communication Technology, pp 39-46, Springer Berlin/Heidelberg, 2014. (DOI
).
-
Philosophical method and the conflict liberty-security
. In Proceedings ETHICOMP 2014Li: berty and security in an age of ICTs, UPMC - Sorbonne Universités, Paris, 2014. (External link
).
-
Storebror vs lillebror
. In Upsala Nya Tidning, volume 124, number 77, pp A5-A5, 2014. (External link
).
-
Supporting politicians’ skill to handle moral issues
. In Proceedings of IPSA 23rd Congress on Political Science, 2014: Challenges of contemporay governance, The International Political Science Association, Montreal, 2014. (External link
).
-
Vi behöver etikstudier som uppfyller mål på flera nivåer
. In 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
. In 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
. In Proc. 43rd International Conference on Parallel Processing, pp 101-110, IEEE Computer Society, 2014. (DOI
).
-
Resource conscious prefetching for irregular applications in multicores
. In 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
. In 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
. In Lab on a Chip, volume 14, pp 931-937, 2014. (DOI
).
-
Accelerated convergence for Schrödinger equations with non-smooth potentials
. In BIT Numerical Mathematics, volume 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. (fulltext
).
-
3D Texture Analysis in Renal Cell Carcinoma Tissue Image Grading
. In Computational & Mathematical Methods in Medicine, volume 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?
. In 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. (External link
).
-
Låt oss förbättra samfundets ekonomi!
. In SMS-Bulletinen, pp 12-13, Svenska matematikersamfundet, 2014.
-
Pierre Lelong 1912–2011
. In Normat, volume 60, number 2, pp 70-81, 2014.
-
Stärk Normat genom att vidga dess bas!
. In SMS-Bulletinen, p 13, 2014.
-
Brief announcement: queue delegation locking
. In 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
. In Euro-Par 2014: Parallel Processing, volume 8632 of Lecture Notes in Computer Science, pp 572-583, Springer Berlin/Heidelberg, 2014. (DOI
).
-
Informatics and socio-technical challenges when designing solutions for integrated eCare
. In Achieving Effective Integrated E-Care Beyond the Silos, pp 108-134, IGI Global, 2014. (DOI
).
-
Session types for broadcasting
. In Proc. 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, volume 155 of Electronic Proceedings in Theoretical Computer Science, pp 25-31, 2014. (DOI
, fulltext:print
).
-
Nucleophilic substitution dynamics: Comparing wave packet calculations with experiment
. In Journal of Physical Chemistry A, volume 118, pp 4661-4669, 2014. (DOI
).
-
Backward sequential Monte Carlo for marginal smoothing
. In Proc. 18th Workshop on Statistical Signal Processing, pp 368-371, IEEE, Piscataway, NJ, 2014. (DOI
).
-
Robust auxiliary particle filters using multiple importance sampling
. In 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
. In 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
. Ph.D. thesis, 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
. In 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
. Ph.D. thesis, 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
. In IEEE Transactions on Biomedical Engineering, 2014. Publication status: Submitted
-
Designing for Autonomy
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 105, Acta Universitatis Upsaliensis, Uppsala, 2014. (preview image
, inside
).
-
Large-Scale Social Network Analysis
. In 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
. In Real-time systems, volume 50, number 5-6, pp 736-773, 2014. (DOI
, fulltext:postprint
).
-
Priors for X-ray in-line phase tomography of heterogeneous objects
. In Philosophical Transactions. Series A: Mathematical, physical, and engineering science, volume 372, number 2010, pp 20130129:1-9, 2014. (DOI
).
-
Operational Semantics for Secure Interoperation
. In 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
. In IEEE Transactions on Aerospace and Electronic Systems, volume 50, number 1, pp 285-299, 2014. (DOI
).
-
Geovisualization of Uncertainty in Simulated Flood Maps
. In 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
. In Journal of Experimental Psychology: Human Perception and Performance, volume 40, number 1, pp 83-93, 2014. (DOI
).
-
Change and resistance to change in health care: Inertia in sociotechnical systems
. Licentiate thesis, 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
. In 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
. In IEEE Transactions on Image Processing, volume 23, number 1, pp 126-136, 2014. (DOI
).
-
Optimizing optics and imaging for pattern recognition based screening tasks
. In 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
. In Optics Express, volume 22, number 14, pp 16829-16840, 2014. (DOI
).
-
Particle Gibbs with ancestor sampling
. In Journal of machine learning research, volume 15, pp 2145-2184, 2014.
-
Use of cloud services in functional products: Availability implications
. In Procedia CIRP, volume 16, pp 368-372, 2014. (DOI
).
-
On Bayesian channel estimation and FFT-based symbol detection in MIMO underwater acoustic communications
. In IEEE Journal of Oceanic Engineering, volume 39, number 1, pp 59-73, 2014. (DOI
).
-
A Graph-Based Implementation of the Anti-Aliased Euclidean Distance Transform
. In 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
. In Discrete Geometry for Computer Imagery: 18th IAPR International Conference, DGCI 2014, Siena, Italy, September 10-12, 2014. Proceedings, volume 8668 of Lecture Notes in Computer Science, pp 88-98, 2014. (DOI
).
-
Evaluation of prostate segmentation algorithms for MRI: The PROMISE12 challenge
. In Medical Image Analysis, volume 18, number 2, pp 359-373, 2014. (DOI
).
-
Detection of Façade Regions in Street View Images from Split-and-Merge of Perspective Patches
. In Journal of Image and Graphics, volume 2, number 1, pp 8-14, 2014. (External link
).
-
Matrix-free finite-element operator application on graphics processing units
. In Euro-Par 2014: Parallel Processing Workshops, Part II, volume 8806 of 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
. In 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
. In Behavior and Information Technology, volume 33, number 11, pp 1118-1135, 2014. (DOI
).
-
On the integration of user centred design in agile development
. In 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
. In Human-Centered Software Engineering, volume 8742 of Lecture Notes in Computer Science, pp 57-72, Springer Berlin/Heidelberg, 2014. (DOI
).
-
Evaluating availability of functional products through simulation
. In Simulation Modelling Practice and Theory, volume 47, pp 196-209, 2014. (DOI
).
-
Implementing a Vision: Studying Leaders’ Strategic Use of an Intranet while Exploring Ethnography within HCI
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 102, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext
, preview image
).
-
Efficient and Flexible Sensornet Checkpointing
. In 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. (fulltext
).
-
Multiple social networks, data models and measures for
. In Encyclopedia of Social Network Analysis and Mining, Springer, Berlin, 2014.
-
Path-based and Whole Network Measures
. In Encyclopedia of Social Network Analysis and Mining, Springer, Berlin, 2014.
-
Taking the Big Picture: Representative Skylines based on Significance and Diversity
. In The VLDB journal, volume 23, number 5, pp 795-815, Springer Berlin/Heidelberg, 2014. (DOI
).
-
An efficient algorithm for exact evaluation of stochastic watersheds
. In Pattern Recognition Letters, volume 47, pp 80-84, 2014. (DOI
).
-
An interactive tool for deformable registration of volume images
. In Symposium of the Swedish Society for Automated Image Analysis (SSBA), 2014.
-
Exact evaluation of stochastic watersheds: From trees to general graphs
. In Discrete Geometry for Computer Imagery, volume 8668 of Lecture Notes in Computer Science, pp 309-319, Springer Berlin/Heidelberg, 2014. (DOI
).
-
Energy-efficient automatic location-triggered applications on smartphones
. In Computer Communications, volume 50, pp 29-40, 2014. (DOI
).
-
New insights into the mechanisms behind the strengthening of lignocellulosic fibrous networks with polyamines
. In Cellulose, volume 21, number 6, pp 3941-3950, 2014. (DOI
).
-
A reduced MIMO Wiener model for recursive identification of the depth of anesthesia
. In International journal of adaptive control and signal processing (Print), volume 28, number 12, pp 1357-1371, 2014. (DOI
).
-
Local identifiability and sensitivity analysis of neuromuscular blockade and depth of hypnosis models
. In Computer Methods and Programs in Biomedicine, volume 113, number 1, pp 23-36, 2014. (DOI
).
-
Diagonal-norm summation by parts operators for finite difference approximations of third and fourth derivatives
. In Journal of Computational Physics, volume 274, pp 432-454, 2014. (DOI
).
-
Optimal diagonal-norm SBP operators
. In Journal of Computational Physics, volume 264, pp 91-111, 2014. (DOI
).
-
Pulse-modulated feedback in mathematical modeling and estimation of endocrine systems
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-006, Uppsala University, 2014. (fulltext
).
-
Recursive identification of Hammerstein models
. In 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
. In 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
. In , 2014. Publication status: Submitted
-
A Structural Texture Approach for Characterising Malignancy Associated Changes in Pap Smears Based on Mean-Shift and the Watershed Transform
. In 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
. In , 2014.
-
A propagator design framework for constraints over sequences
. In Proc. 28th AAAI Conference on Artificial Intelligence: Volume 4, pp 2710-2716, AAAI Press, Palo Alto, CA, 2014. (External link
).
-
Localization of deep brain stimulation electrodes via metal artifacts in CT images
. In 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
. In Proc. 3rd International Conference on Computing, Networking and Communications, pp 561-566, IEEE Press, Piscataway, NJ, 2014. (DOI
).
-
Localization of elliptic multiscale problems
. In Mathematics of Computation, volume 83, number 290, pp 2583-2603, 2014. (DOI
).
-
A Doppler robust design of transmit sequence and receive filter in the presence of signal-dependent interference
. In IEEE Transactions on Signal Processing, volume 62, number 4, pp 772-785, 2014. (DOI
).
-
A max–min design of transmit sequence and receive filter
. In 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
. In IEEE Transactions on Aerospace and Electronic Systems, volume 50, number 4, pp 2762-2778, 2014. (DOI
).
-
Unimodular code design for MIMO radar using Bhattacharyya distance
. In 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
. In Pervasive and Mobile Computing, volume 11, pp 203-215, 2014. (DOI
).
-
Automatic Mapping of Standing Dead Trees after an Insect Outbreak Using the Window Independent Context Segmentation Method
. In Journal of forestry, volume 112, number 6, pp 564-571, 2014. (DOI
).
-
Extending statistical cache models to support detailed pipeline simulators
. In 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
. In 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
. In Computer Communications, volume 48, pp 121-132, 2014. (DOI
).
-
A flexible boundary procedure for hyperbolic problems: Multiple penalty terms applied in a domain
. In Communications in Computational Physics, volume 16, pp 541-570, 2014. (DOI
).
-
Model accuracy for active damping of a viscoelastic beam
. In Preprints of the 19th World Congress, pp 4511-4516, 2014.
-
Modelling and Control Methods with Applications to Mechanical Waves
. Ph.D. thesis, 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
. In Image Processing On Line, volume 4, pp 196-203, 2014. (DOI
, External link
).
-
Approximate adjoint-based iterative learning control
. In International Journal of Control, volume 87, number 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
. Licentiate thesis, 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
. In 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
. In Proceedings 8th International Conference on Augmented Cognition, Foundations of Augmented Cognition: Advancing Human Performance and Decision-Making through Adaptive Systems, volume 8534 of 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
. In Water Science and Technology, volume 69, number 7, pp 1373-1385, 2014. (DOI
).
-
Modeling cache coherence misses on multicores
. In 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
. In Mathematical Structures in Computer Science, volume 24, number 2, Cambridge University Press, 2014. (DOI
, fulltext:postprint
).
-
Fully abstract trace semantics for low-level isolation mechanisms
. In Symposium on Applied Computing, SAC 2014., pp 1562-1569, ACM Press, 2014. (DOI
).
-
Digital citizenship and social responsibility of computer professionals
. In Mondo Digitale, volume XIII, number 49, pp 1-10, AICA, Milano, 2014. (External link
).
-
From computer ethics to future (and information) ethics: The challenge of Nano-Bots
. In 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
. In Proceedings 11th International Conference on human Choice and computers, HC11, 2014: ICT and society, volume 431 of IFIP Advances in Information and Communication Technology, pp 92-106, Springer Berlin/Heidelberg, Berlin/Heidelberg, 2014. (DOI
, External link
).
-
AccAB – Processes and Roles for Accreditation of Computing Degrees at Al Baha University in Saudi Arabia
. In Proc. World Engineering Education Forum, pp 969-970, 2014.
-
Four feed-forward principles enhance students' perception of feedback as meaningful
. In 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
. In 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
. In 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
. In 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
. Licentiate thesis, 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
. In Journal of Computational Physics, volume 257, pp 481-500, 2014. (DOI
).
-
Large-Scale Analysis of Cells and Tissue
. In , 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
. In , 2014. (fulltext:postprint
).
-
Nonlinear estimation of a parsimonious Wiener model for the neuromuscular blockade in closed-loop anesthesia
. In 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
. In Proc. American Control Conference: ACC 2014, pp 622-627, American Automatic Control Council, 2014. (DOI
).
-
Spectrally constrained waveform design
. In IEEE signal processing magazine (Print), volume 31, number 3, pp 157-162, 2014. (DOI
).
-
Chunks and Tasks: A programming model for parallelization of dynamic algorithms
. In Parallel Computing, volume 40, pp 328-343, 2014. (DOI
).
-
Interior eigenvalues from density matrix expansions in quantum mechanical molecular dynamics
. In SIAM Journal on Scientific Computing, volume 36, pp B147-B170, 2014. (DOI
, fulltext:postprint
).
-
More scalable ordered set for ETS using adaptation
. In 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
. In SIAM Journal on Scientific Computing, volume 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. (External link
, fulltext
).
-
Understanding Multicore Performance: Efficient Memory System Modeling and Simulation
. Ph.D. thesis, 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
. In 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
. In Vitalis – Nordens ledande eHälsomöte 2014, pp 16-19, GUPEA, 2014. (Proceedings
).
-
Solving Geospatial Tasks in 2D and 3D Visualizations of Maps
. In Information Visualisation: Techniques, Usability and Evaluation, pp 222-271, Cambridge Scholars Publishing, 2014.
-
Researching the Use of the Internet: A Beginner's Guide
. Ph.D. thesis, 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
. In 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. (fulltext
).
-
Minimum sidelobe beampattern design for MIMO radar systems: A robust approach
. In 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
. In , IEEE Computer Society, 2014.
-
MOOCs and their impact on academics
. In 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
. Ph.D. thesis, 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
. In Proceedings, 2014.
-
Automated multi-scale image acquisition for efficient particle detection and analysis using the mini-TEM
. In Proceedings, 2014.
-
MiniTEM - making ultra-structural pathology easier and accessible
. In , 2014.
-
The mini-TEM: high quality imaging and analysis of biological specimen
. In Proceedings, 2014.
-
Virus recognition based on local texture
. In 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
. In , 2014.
-
HTSeq-Hadoop: Extending HTSeq for Massively Parallel Sequencing Data Analysis using Hadoop
. In Proc. 10th International Conference on e-Science, pp 317-323, IEEE Computer Society, 2014. (DOI
).
-
A tunable cache for approximate computing
. In 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
. In Molecular biology and evolution, volume 31, number 9, pp 2516-2527, 2014. (DOI
).
-
A Recursive Method for Enumeration of Costas Arrays
. 2014. (fulltext
).
-
Approaching peak correlation bounds via alternating projections
. In 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
. In , 2014. (fulltext:postprint
).
-
Designing unimodular codes via quadratic optimization
. In IEEE Transactions on Signal Processing, volume 62, number 5, pp 1221-1234, 2014. (DOI
).
-
MERIT: A monotonically error-bound improving technique for unimodular quadratic programming
. In 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
. In IEEE Transactions on Signal Processing, volume 62, number 20, pp 5458-5470, 2014. (DOI
).
-
On meeting the peak correlation bounds
. In IEEE Transactions on Signal Processing, volume 62, number 5, pp 1210-1220, 2014. (DOI
).
-
Search for Costas Arrays Via Sparse Representation
. In , 2014. (fulltext:postprint
).
-
Signal Design for Active Sensing and Communications
. Ph.D. thesis, 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
. In Signal Processing, volume 102, pp 132-138, 2014. (DOI
).
-
A novel incentive negotiation mechanism for participatory sensing under budget constraints
. In Proc. 22nd International Symposium on Quality of Service, pp 326-331, IEEE Communications Society, 2014. (DOI
).
-
Incentive mechanism for participatory sensing under budget constraints
. In Proc. Wireless Communications and Networking Conference 2014, pp 3361-3366, IEEE Communications Society, 2014. (DOI
).
-
Frequency domain EIV identification:a Frisch Scheme approach
. In IFAC 19th World Congress, 2014.
-
Frequency domain maximum likelihood identificationof noisy input-output models
. In IFAC 19th World Congress, 2014.
-
Automous Technology - Sources of Confusion: A Model for Explanation and Prediction of Conceptual Shifts
. In Ergonomics, volume 57, number 3, pp 455-470, Taylor & Francis, 2014. (DOI
).
-
Edge awareness: A dynamic safety perspective on four accidents/incidents
. In 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
. Ph.D. thesis, 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
. In 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
. In Proc. 22nd European Signal Processing Conference, IEEE, Lisbon, Portugal, 2014.
-
Weighted SPICE: A unifying approach for hyperparameter-free sparse estimation
. In Digital signal processing (Print), volume 33, pp 1-12, 2014. (DOI
).
-
The Minimum Barrier Distance - Stability to seed point position
. In Discrete Geometry for Computer Imagery, DGCI 2014, volume 8668 of Lecture Notes in Computer Science, pp 111-121, 2014. (DOI
).
-
Service guarantee exploration for mixed-criticality systems
. In 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
. In Runtime Verification, volume 8734 of 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
. In 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
. In 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
. In IFAC 19th World Congress, Elsevier, 2014.
-
A unified framework for EIV identification methods when the measurement noises are mutually correlated
. In Automatica, volume 50, number 12, pp 3216-3223, 2014. (DOI
).
-
Extended accuracy analysis of a covariance matching approach for identifying errors-in-variables systems
. In Automatica, volume 50, number 10, pp 2597-2605, 2014. (DOI
).
-
NO<sub>x</sub> control for SCR systems using feedback linearisation
. In 23rd ERNSI Workshop in System Identification, European Research Network System Identification, 2014.
-
Nonlinear System Identification and Control Applied to Selective Catalytic Reduction Systems
. Ph.D. thesis, 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
. In Threshold Concepts: From personal practice to communities of practice, pp 154-158, NAIRTL, Cork, Ireland, 2014.
-
Graduating students' designs — through a phenomenographic lens
. In 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
. In 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
. In 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. (fulltext
).
-
Scientific Computing on Multicore Architectures
. Ph.D. thesis, 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. (fulltext
).
-
Extremum seeking control of the CANON process: Existence of multiple stationary solutions
. In Journal of Process Control, volume 24, number 2, pp 348-356, 2014. (DOI
).
-
Scalable Numerical Queries by Algebraic Inequality Transformations
. In Database Systems for Advanced Applications, Dasfaa 2014, PT I, volume 8421 of Lecture Notes in Computer Science, pp 95-109, 2014.
-
Solutions to the problem of inconsistent plans in railway traffic operation
. In Journal of Rail Transport Planning & Management, volume 4, number 4, pp 87-97, 2014. (DOI
).
-
3D tree-ring analysis using helical X-ray tomography
. In Dendrochronologia, volume 32, number 1, pp 39-46, 2014. (DOI
).
-
Directional Transmissions and Receptions for Burst Forwarding using Disjoint Paths
. In 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
. In Real-World Wireless Sensor Networks, volume 281 of Lecture Notes in Electrical Engineering, pp 205-213, 2014. (DOI
, External link
).
-
Acoustic wave propagation in complicated geometries and heterogeneous media
. In Journal of Scientific Computing, volume 61, pp 90-118, 2014. (DOI
).
-
Smartphone Support for Persons Who Stutter
. In 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
. In Proceedings of SSBA, 2014, 2014.
-
Scribal Attribution using a Novel 3-D Quill-Curvature Feature Histogram
. In Proceedings International Conference on Frontiers in Handwriting Recognition (ICFHR), 2014, 2014. (fulltext:postprint
).
-
Spotting words in medieval manuscripts
. In Studia Neophilologica, volume 86, pp 171-186, 2014. (DOI
, fulltext:print
).
-
Fast level-set based image segmentation using coherent propagation
. In Medical physics (Lancaster), volume 41, pp 073501:1-11, 2014. (DOI
).
-
Stochastic reaction–diffusion processes with embedded lower-dimensional structures
. In Bulletin of Mathematical Biology, volume 76, pp 819-853, 2014. (DOI
).
-
Characterisations of fibre networks in paper using micro computed tomography images
. In Nordic Pulp & Paper Research Journal, volume 29, number 3, pp 468-475, 2014. (DOI
).
-
Understanding phase contrast artefacts in micro computed absorption tomography
. In Proceedings SSBA 2014, Symposium on Image Analysis, 2014.
-
Computers, time and speed: Five slow tech case studies
. In ICT and society, volume 431 of IFIP Advances in Information and Communication Technology, pp 122-135, Springer Berlin/Heidelberg, Berlin/Heidelberg, 2014. (DOI
, External link
).
-
Identifiability and limit cycles
. Technical report / Department of Information Technology, Uppsala University nr 2014-016, Uppsala University, uppsala, 2014. (External link
, fulltext
).
-
MATLAB Software for Identification of Nonlinear Autonomous Systems: Revision 1
. Technical report / Department of Information Technology, Uppsala University nr 2014-014, Uppsala universitet, 2014. (Report in full-text
, 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. (External link
, fulltext
).
-
Spray: A Multi-Modal Localization System for Stationary Sensor Network Deployment
. In 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>
. In Methods, volume 68, number 3, pp 492-499, 2014. (DOI
).
-
Information-centric collaborative data collection for mobile devices in wireless sensor networks
. In 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
. In 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
. In IEEE Transactions on Signal Processing, volume 62, number 6, pp 1525-1535, 2014. (DOI
).
-
Schedule-based sequential localization in asynchronous wireless networks
. In EURASIP Journal on Advances in Signal Processing, volume 2014, pp 16:1-12, 2014. (DOI
).
-
Optimizing zone volumes in bioreactors described by Monod and Contois growth kinetics
. In Proc. IWA World Water Congress: 2014, IWA Publishing, 2014.
-
Steady-state analysis of simple activated sludge processes with Monod and Contois growth kinetics
. In Proc. IWA Conference on Activated Sludge – 100 Years and Counting, IWA Publishing, 2014.
-
Approximations for Model Construction
. In Automated Reasoning, volume 8562 of Lecture Notes in Computer Science, pp 344-359, Springer, 2014. (DOI
, fulltext:postprint
).
-
Understanding the Dynamic Caches on Intel Processors: Methods and Applications
. In 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
. In 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
. In Physics in Medicine and Biology, volume 59, number 9, pp 2155-2171, 2014. (DOI
).
-
Scaling Future Software: The Manycore Challenge
. 2014. (External link
).
-
Evaluation of the Automatic methods for Building Extraction
. In International Journal of Computers and Communications, volume 8, pp 171-176, 2014.
-
Knowledge Based Single Building Extraction and Recognition
. In Proceedings WSEAS International Conference on Computer Engineering and Applications, 2014, pp 29-35, 2014. (External link
).
-
TIME-SPACE VISUALISATION OF AMUR RIVER CHANNEL CHANGES DUE TO FLOODING DISASTER
. In Proceedings of International Multidisciplinary Scientific GeoScience Conference (SGEM), 2014, 2014. (DOI
, External link
).
-
Priorities Without Priorities: Representing Preemption in Psi-Calculi
. In Proc. 21st International Workshop on Expressiveness in Concurrency, and 11th Workshop on Structural Operational Semantics, volume 160 of Electronic Proceedings in Theoretical Computer Science, pp 2-15, 2014. (DOI
).
-
Ammonium Feedback Control in Wastewater Treatment Plants
. Ph.D. thesis, 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
. In Water Science and Technology, volume 69, number 7, pp 1573-1580, 2014. (DOI
).