Publications 2015
-
Generating models of infinite-state communication protocols using regular inference with abstraction
. In Formal methods in system design, volume 46, number 1, pp 1-41, 2015. (DOI
).
-
Well Structured Transition Systems with History
. In Electronic Proceedings in Theoretical Computer Science, number 193, pp 115-128, 2015. (DOI
).
-
MPass: An efficient tool for the analysis of message-passing programs
. In Formal Aspects of Component Software, volume 8997 of Lecture Notes in Computer Science, pp 198-206, Springer, 2015. (DOI
).
-
Norn: An SMT solver for string constraints
. In Computer Aided Verification: Part I, volume 9206 of Lecture Notes in Computer Science, pp 462-469, Springer, 2015. (DOI
).
-
Precise and sound automatic fence insertion procedure under PSO
. In Networked Systems: NETYS 2015, volume 9466 of Lecture Notes in Computer Science, pp 32-47, Springer, 2015. (DOI
).
-
Stateless model checking for TSO and PSO
. In Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2015, volume 9035 of Lecture Notes in Computer Science, pp 353-367, Springer Berlin/Heidelberg, 2015. (DOI
).
-
The Best of Both Worlds: Trading efficiency and optimality in fence insertion for TSO
. In Programming Languages and Systems: ESOP 2015, volume 9032 of Lecture Notes in Computer Science, pp 308-332, Springer Berlin/Heidelberg, 2015. (DOI
, External link
).
-
Verification of Cache Coherence Protocols wrt. Trace Filters
. In Proc. 15th Conference on Formal Methods in Computer-Aided Design, pp 9-16, IEEE, Piscataway, NJ, 2015. (Article
).
-
Verification of buffered dynamic register automata
. In Networked Systems: NETYS 2015, volume 9466 of Lecture Notes in Computer Science, pp 15-31, Springer, 2015. (DOI
).
-
What's decidable about availability languages?
. In Proc. 35th IARCS Conference on Foundation of Software Technology and Theoretical Computer Science, volume 45 of LIPIcs, pp 192-205, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2015. (DOI
, Fulltext
).
-
Calving events detection and quantification from time-lapse images in Tunabreen glacier
. In Proc. 9th International Conference on Information & Communication Technology and Systems, pp 61-65, IEEE, Piscataway, NJ, 2015. (DOI
).
-
Physical stability of drugs after storage above and below the glass transition temperature: Relationship to glass-forming ability
. In International Journal of Pharmaceutics, volume 495, number 1, pp 312-317, 2015. (DOI
, fulltext:print
).
-
Addressing concept drift to improve system availability by updating one-class data-driven models
. In Evolving Systems, volume 6, number 3, pp 187-198, 2015. (DOI
).
-
Framtida tågtrafikstyrning: Sammanfattande forskningsrapport. Slutrapport från FOT-projektet
. 2015.
-
Spatio-Temporal Gridded Data Processing on the Semantic Web
. In 2015 IEEE International Conference On Data Science And Data Intensive Systems, pp 38-45, 2015. (DOI
).
-
Self-adaptive multiprecision preconditioners on multicore and manycore architectures
. In High Performance Computing for Computational Science – VECPAR 2014, volume 8969 of Lecture Notes in Computer Science, pp 115-123, Springer, 2015. (DOI
).
-
Comparing and visualizing titanium implant integration in rat bone using 2D and 3D techniques
. In Journal of Biomedical Materials Research. Part B - Applied biomaterials, volume 103, number 1, pp 12-20, 2015. (DOI
).
-
Load transients in pooled cellular core network nodes
. In Performance evaluation (Print), volume 90, pp 18-35, 2015. (DOI
).
-
Between Insanity and Love
. In Computers & Society: The Newsletter of the ACM Special Interest Group on Computers and Society Special Issue on 20 Years of ETHICOMP, pp 154-158, 2015. (External link
).
-
Ethical Competence and Social Responsibility in Scientific Research using ICT Tools
. In Computers & Society: The Newsletter of the ACM Special Interest Group on Computers and Society Special Issue on 20 Years of ETHICOMP, ACM SIGCAS Computers and Society Newsletter, pp 345-347, ACM Digital Library, 2015. (DOI
, External link
, External link
, External link
, External link
).
-
Technology as Mask
. In , 2015.
-
The holding function of robots in highly technological society
. In Proceedings of Japan Society for Infomation and Management 70th Annual Conference, pp 65-68, 2015.
-
A step towards detecting online grooming: Identifying adults pretending to be children
. In Proc. 5th European Intelligence and Security Informatics Conference, pp 98-104, IEEE Computer Society, 2015. (DOI
).
-
Are You Really a Child?: A Machine Learning Approach To Protect Children from Online Grooming
. In Proc. National Symposium on Technology and Methodology for Security and Crisis Management: TAMSEC 2015, 2015.
-
Detecting jihadist messages on twitter
. In Proc. 5th European Intelligence and Security Informatics Conference, pp 161-164, IEEE Computer Society, 2015. (DOI
).
-
Blur detection and visualization in histological whole slide images
. In Proc. 10th International Conference on Mass Data Analysis of Images and Signals, IBaI, Leipzig, Germany, 2015.
-
A preconditioner for optimal control problems, constrained by Stokes equation with a time-harmonic control
. Technical report / Department of Information Technology, Uppsala University nr 2015-036, 2015. (fulltext
).
-
Classical iterative methods
. In Encyclopedia of Applied and Computational Mathematics, pp 205-224, Springer, 2015. (DOI
).
-
Comparison of preconditioned Krylov subspace iteration methods for PDE-constrained optimization problems: Poisson and convection–diffusion control
. Technical report / Department of Information Technology, Uppsala University nr 2015-024, 2015. (fulltext
).
-
Comparison of preconditioned Krylov subspace iteration methods for PDE-constrained optimization problems: Stokes control
. Technical report / Department of Information Technology, Uppsala University nr 2015-030, 2015. (fulltext
).
-
Numerical solution of the time-dependent Navier–Stokes equation for variable density–variable viscosity: Part I
. In Mathematical Modelling and Analysis, volume 20, pp 232-260, 2015. (DOI
, fulltext:postprint
).
-
Topological clustering guided document binarization
. Svenska Sällskapet för Automatiserad Bildanalys, 2015. (fulltext
).
-
Automated Classification of Glandular Tissue by Statistical Proximity Sampling
. In International Journal of Biomedical Imaging, 2015. (DOI
, Fulltext
, fulltext:print
).
-
Automated classification of glandular tissue by statistical proximity sampling.
. In International Journal of Biomedical Imaging, volume 2015, 2015. (DOI
).
-
Efficient algorithms for bounded rigid <em>E</em>-unification
. In Automated Reasoning with Analytic Tableaux and Related Methods, volume 9323 of Lecture Notes in Computer Science, pp 70-85, Springer, 2015. (DOI
, fulltext:postprint
).
-
Free variables and theories: Revisiting rigid <em>E-</em>unification
. In Frontiers of Combining Systems, volume 9322 of Lecture Notes in Computer Science, pp 3-13, Springer, 2015. (DOI
, fulltext:postprint
).
-
Theorem proving with bounded rigid <em>E</em>-unification
. In Automated Deduction – CADE-25, volume 9195 of Lecture Notes in Computer Science, pp 572-587, Springer, 2015. (DOI
).
-
Optimizing transfers of control in the static pipeline architecture
. In Proc. 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, pp 7-16, ACM Press, New York, 2015. (DOI
).
-
Improving data access efficiency by using context-aware loads and stores
. In Proc. 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, pp 27-36, ACM Press, New York, 2015. (DOI
).
-
Efficient inter-process synchronization for parallel discrete event simulation on multicores
. In Proc. 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp 183-194, ACM Press, New York, 2015. (DOI
).
-
Parallelism and efficiency in discrete-event simulation
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2015-004, Uppsala University, 2015. (fulltext
).
-
Sensitivity estimation and inverse problems in spatial stochastic models of chemical kinetics
. In Numerical Mathematics and Advanced Applications: ENUMATH 2013, volume 103 of Lecture Notes in Computational Science and Engineering, pp 519-527, Springer, 2015. (DOI
).
-
A modelling pearl with sortedness constraints
. In Global Conference on Artificial Intelligence: GCAI 2015, volume 36 of EasyChair Proceedings in Computing, pp 27-41, Cool Press, Manchester, UK, 2015. (Abstract
).
-
On the Reification of Global Constraints (Abstract)
. In Principles and practice of constraint programming, CP 2015, volume 9255 of Lecture Notes in Computer Science, pp 733-733, SPRINGER-VERLAG BERLIN, 2015.
-
Learning from the experiences of international students
. In Conference for University Pedagogical Development, Uppsala University, Uppsala, Sweden, 2015. (External link
).
-
Learning practice and theory in programming education: Students’ lived experience
. In Proc. 3rd International Conference on Learning and Teaching in Computing and Engineering, pp 180-186, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI
, fulltext:preprint
).
-
Learning to program: A discussion on the interplay of theory and practice
. In Proc. 1st Al Baha University and Uppsala University Symposium on Quality in Computing Education, volume 2015-007 of Technical report / Department of Information Technology, Uppsala University, pp 16-18, 2015. (Proceedings
).
-
Teaching and Learning Computer Science at Al Baha University, Saudi Arabia: Insights from a staff development course
. In Proc. 3rd International Conference on Learning and Teaching in Computing and Engineering, pp 1-6, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI
, fulltext:preprint
).
-
Iterated fractional Tikhonov regularization
. In Inverse Problems, volume 31, pp 055005:1-34, 2015. (DOI
).
-
A constraint-based local search backend for MiniZinc
. In Constraints, volume 20, number 3, pp 325-345, 2015. (DOI
).
-
Robots, ethics and language
. In Computers & Society: The Newsletter of the ACM Special Interest Group on Computers and Society Special Issue on 20 Years of ETHICOMP, ACM SIGCAS Computers and Society Newsletter, pp 268-273, ACM Digital Library, 2015. (DOI
, External link
, External link
, External link
, External link
).
-
Contributions to Signal Processing for MRI
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 113, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext
, preview image
).
-
Approximation of the diffusive representation by decreasing exponential functions
. Technical report / Department of Information Technology, Uppsala University nr 2015-009, 2015. (fulltext
).
-
Supporting industrial uptake of cognitive work analysis
. In Proc. Human Factors and Ergonomics Society 59th Annual Meeting, pp 170-174, Sage Publications, Thousand Oaks, CA, 2015.
-
Applications for ultrascale computing
. In Supercomputing Frontiers and Innovations, volume 2, number 1, pp 19-48, 2015. (DOI
, Fulltext
).
-
Broadcast psi-calculi with an application to wireless protocols
. In Software and Systems Modeling, volume 14, number 1, pp 201-216, Springer, 2015. (DOI
, fulltext:postprint
).
-
The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi
. In ACM Transactions on Embedded Computing Systems, volume 14, number 1, 2015. (DOI
, fulltext:postprint
).
-
Clustering attributed graphs: models, measures and methods
. In Network Science, volume 3, number 3, pp 408-444, 2015. (DOI
, fulltext:postprint
).
-
An automatable formal semantics for IEEE-754 floating-point arithmetic
. In Proc. 22nd Symposium on Computer Arithmetic, Proceedings Symposium on Computer Arithmetic, pp 160-167, IEEE Computer Society, 2015. (DOI
).
-
Disjointness Domains for Fine-Grained Aliasing
. In , ACM SIGPLAN NOTICES, pp 989-916, 2015. (DOI
).
-
Parallel Objects for Multicores: A Glimpse at the Parallel Language ENCORE
. In Formal Methods for Multicore Programming, volume 9104 of Lecture Notes in Computer Science, pp 1-56, 2015. (DOI
).
-
Simulation of the Taylor–Green vortex using high-order flux reconstruction schemes
. In AIAA Journal, volume 53, number 9, pp 2750-2761, 2015. (DOI
, fulltext:postprint
).
-
Goal-oriented adaptive finite element methods for elliptic problems revisited
. In Journal of Computational and Applied Mathematics, volume 287, pp 125-147, 2015. (DOI
).
-
Challenges for action research on HWID in activity based workplaces
. In INTERACT 2015 Adjunct Proceedings, pp 161-170, University of Bamberg Press, 2015.
-
Contextual personas as a method for understanding digital work environments
. In Human Work Interaction Design: Work Analysis and Interaction Design Methods for Pervasive and Smart Workplaces, volume 468 of IFIP Advances in Information and Communication Technology, pp 141-152, Springer, 2015. (DOI
).
-
Things take time: Establishing usability work in a university context
. In European Journal of Higher Education IT, volume 2, number 1, 2015. (Fulltext
).
-
Vision seminars and administration of university education: A case study
. In Proc. 1st Al Baha University and Uppsala University Symposium on Quality in Computing Education, volume 2015-007 of Technical report / Department of Information Technology, Uppsala University, pp 29-32, 2015. (Proceedings
).
-
Worlds Apart: Doctors' technological frames and online medical records
. In INTERACT 2015 Adjunct Proceedings, pp 357-367, University of Bamberg Press, 2015.
-
Modelling and analysing a WSN secure aggregation protocol: A comparison of languages and tool support
. Technical report / Department of Information Technology, Uppsala University nr 2015-033, 2015. (fulltext
).
-
Conformal prediction in Spark: Large-scale machine learning with confidence
. In Proc. 2nd International Symposium on Big Data Computing, pp 61-67, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI
).
-
The Load Slice Core Microarchitecture
. In 2015 ACM/IEEE 42Nd Annual International Symposium On Computer Architecture (ISCA), pp 272-284, 2015. (DOI
).
-
Analyses of Activated Sludge Processes Consisting of a Plug-Flow Reactor and a Non-ideal Settler
. In Proc. 9th IWA Symposium on Systems Analysis and Integrated Assessment, 2015.
-
A structured approach to training open-ended problem solving
. In Proc. 45th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, pp 417-420, IEEE Press, Piscataway, NJ, 2015. (DOI
).
-
A succinct canonical register automaton model
. In Journal of Logical and Algebraic Methods in Programming, volume 84, number 1, pp 54-66, 2015. (DOI
).
-
Active Learning for Extended Finite State Machines
. Technical report / Department of Information Technology, Uppsala University nr 2015-032, 2015. (fulltext
).
-
Learning Component Behavior from Tests: Theory and Algorithms for Automata with Data
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1311, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext
, preview image
).
-
Learning Extended Finite State Machines (extended version)
. Technical report / Department of Information Technology, Uppsala University nr 2015-004, Department of Information Technology, Uppsala University, 2015.
-
RALib: A LearnLib extension for inferring EFSMs
. In , 2015.
-
Refined Ownership: Fine-grained controlled internal sharing
. In Formal Methods for Multicore Programming, volume 9104 of Lecture Notes in Computer Science, pp 179-210, 2015. (DOI
).
-
StatTask: Reuse distance analysis for task-based applications
. In Proc. 7th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, pp 1-7, ACM Press, New York, 2015. (DOI
).
-
Binary classifiers applied to detect DO sensor faults during washing events
. In Proc. 2nd IWA Conference on New Developments in IT & Water, IWA Publishing, 2015.
-
Delay-induced Dynamical Phenomena in Impulsive Goodwin's Oscillator: What We Know So Far
. In 2015 54Th Ieee Conference On Decision And Control (CDC), pp 590-595, 2015.
-
Abstract Delta Modelling
. In Mathematical Structures in Computer Science, volume 25, number 3, pp 482-527, Cambridge University Press, 2015.
-
Compaction of rolling circle amplification products increases signal integrity and signal–to–noise ratio
. In Scientific Reports, volume 5, pp 12317:1-10, 2015. (DOI
, Fulltext
).
-
Brain – Endocast relationship in the Australian lungfish, <em>Neoceratodus forsteri</em>, elucidated from tomographic data (Sarcopterygii: Dipnoi)
. In PLOS ONE, volume 10, number 10, 2015. (DOI
, Fulltext
).
-
The 2013 Evaluation of SMT-COMP and SMT-LIB
. In Journal of automated reasoning, volume 55, number 1, pp 61-90, 2015. (DOI
).
-
Electric field modeling and spatial control in Deep Brain Stimulation
. In Proc. 54th Conference on Decision and Control, pp 3846-3851, IEEE, Piscataway, NJ, 2015. (DOI
).
-
Model-based optimization of lead configurations in Deep Brain Stimulation
. In Proc. 1st International Conference on Smart Portable, Wearable, Implantable and Disability-oriented Devices and Systems, pp 14-19, International Academy, Research and Industry Association (IARIA), 2015.
-
Adaptive hit or miss transform
. In Mathematical Morphology and Its Applications to Signal and Image Processing, volume 9082 of Lecture Notes in Computer Science, pp 741-752, Springer, 2015. (DOI
).
-
Particle Metropolis–Hastings using gradient and Hessian information
. In Statistics and computing, volume 25, number 1, pp 81-92, 2015. (DOI
).
-
BioImg.org: A catalog of virtual machine images for the life sciences
. In Bioinformatics and Biology Insights, volume 9, pp 125-128, 2015. (DOI
).
-
A new structure exploiting derivation of recursive direct weight optimization
. In IEEE Transactions on Automatic Control, volume 60, number 6, pp 1683-1685, 2015. (DOI
).
-
Identifiability and convergence analysis of the MINLIP estimator
. In Automatica, volume 51, pp 104-110, 2015. (DOI
).
-
On the exponential convergence of the Kaczmarz algorithm
. In IEEE Signal Processing Letters, volume 22, number 10, pp 1571-1574, 2015. (DOI
).
-
On the nuclear norm heuristic for a Hankel matrix completion problem
. In Automatica, volume 51, pp 268-272, 2015. (DOI
).
-
Collaborative technologies in global engineering: New competencies and challenges
. In International journal of engineering education, volume 31, number 1, pp 267-281, 2015.
-
Competencies for paradigm shift "survival"
. In Proc. 45th ASEE/IEEE Frontiers in Education Conference, pp 1424-1429, IEEE Press, Piscataway, NJ, 2015. (DOI
).
-
Refraction: Low-cost management of reflective meta-data in pervasive component-based applications
. In Proc. 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, pp 27-36, ACM Press, New York, 2015. (DOI
).
-
An efficient, self-contained, on-chip directory: DIR<sub>1</sub>-SISD
. In Proc. 24th International Conference on Parallel Architectures and Compilation Techniques, pp 317-330, IEEE Computer Society, 2015. (DOI
).
-
Effects of Granularity/Adaptivity on Private/Shared Classification for Coherence
. In , 2015.
-
The effects of granularity and adaptivity on private/shared classification for coherence
. In ACM Transactions on Architecture and Code Optimization (TACO), volume 12, number 3, 2015. (DOI
).
-
Scheduling instruction effects for a statically pipelined processor
. In Proc. International Conference on Compilers, Architectures, and Synthesis for Embedded Systems: CASES 2015, pp 167-176, IEEE Press, Piscataway, NJ, 2015. (DOI
).
-
Computer Assisted Pap Smear Analyser for Cervical Cancer Screening using Quantitative Microscopy
. In Journal of Cytology & Histology, volume 6, number S3, 2015. (DOI
, Fulltext
).
-
?LBP – a novel member of the Local Binary Pattern family based on ?-cutting
. In Proc. 9th International Symposium on Image and Signal Processing and Analysis, pp 13-18, IEEE, 2015. (DOI
).
-
Accelerated multigrid for graph Laplacian operators
. In Applied Mathematics and Computation, volume 270, pp 193-215, 2015. (DOI
).
-
Computational evaluation of multi-iterative approaches for solving graph-structured large linear systems
. In Calcolo, volume 52, pp 425-444, 2015. (DOI
).
-
An Empathic Robotic Tutor in a Map Application
. In Proceedings of the 2015 international conference on autonomous agents & multiagent systems (AAMAS'15), pp 1923-1924, Association for Computing Machinery (ACM), New York, 2015.
-
Steady-state Analysis and Design of Activated Sludge Processes Including Compressive Settling
. In Proc. 9th IWA Symposium on Systems Analysis and Integrated Assessment, 2015.
-
Robust and optimal multi-iterative techniques for IgA Galerkin linear systems
. In Computer Methods in Applied Mechanics and Engineering, volume 284, pp 230-264, 2015. (DOI
).
-
Robust and optimal multi-iterative techniques for IgA collocation linear systems
. In Computer Methods in Applied Mechanics and Engineering, volume 284, pp 1120-1146, 2015. (DOI
).
-
Spectral analysis and structure preserving preconditioners for fractional diffusion equations
. Technical report / Department of Information Technology, Uppsala University nr 2015-002, 2015. (fulltext
).
-
Two-grid optimality for Galerkin linear systems based on B-splines
. In Computing and Visualization in Science, volume 17, pp 119-133, 2015. (DOI
).
-
Developments in preconditioned iterative methods with application to glacial isostatic adjustment models
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2015-002, Uppsala University, 2015. (fulltext
).
-
Numerical and computational aspects of some block-preconditioners for saddle point systems
. In Parallel Computing, volume 49, pp 164-178, 2015. (DOI
).
-
On some block-preconditioners for saddle point systems and their CPU–GPU performance
. Technical report / Department of Information Technology, Uppsala University nr 2015-003, 2015. (fulltext
).
-
Schur complement matrix and its (elementwise) approximation: A spectral analysis based on GLT sequences
. Technical report / Department of Information Technology, Uppsala University nr 2015-011, 2015. (fulltext
).
-
Schur complement matrix and its (elementwise) approximation: A spectral analysis based on GLT sequences
. In Large-Scale Scientific Computing, volume 9374 of Lecture Notes in Computer Science, pp 419-426, Springer, 2015. (DOI
).
-
Spectral analysis of coupled PDEs and of their Schur complements via the notion of generalized locally Toeplitz sequences
. Technical report / Department of Information Technology, Uppsala University nr 2015-008, 2015. (fulltext
).
-
Boundary conditions and stability of a perfectly matched layer for the elastic wave equation in first order form
. In Journal of Computational Physics, volume 303, pp 372-395, 2015. (DOI
).
-
Joint ranging and clock parameter estimation by wireless round trip time measurements
. In IEEE Journal on Selected Areas in Communications, volume 33, number 11, pp 2379-2390, 2015. (DOI
).
-
Relating theory and practice in laboratory work: a variation theoretical study
. In Studies in Higher Education, volume 40, pp 867-880, 2015. (DOI
).
-
An optimal resource sharing protocol for generalized multiframe tasks
. In The Journal of logical and algebraic methods in programming, volume 84, number 1, pp 92-105, 2015. (DOI
, fulltext:postprint
).
-
Models and Complexity Results in Real-Time Scheduling Theory
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1324, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext
, preview image
).
-
Uniprocessor feasibility of sporadic tasks remains coNP-complete under bounded utilization
. In Proc. 36th Real-Time Systems Symposium, pp 87-95, IEEE Computer Society, 2015. (DOI
).
-
Uniprocessor feasibility of sporadic tasks with constrained deadlines is strongly coNP-complete
. In Proc. 27th Euromicro Conference on Real-Time Systems, pp 281-286, IEEE, Piscataway, NJ, 2015. (DOI
).
-
Machine learning for ultrafast X-ray diffraction patterns on large-scale GPU clusters
. In The international journal of high performance computing applications, volume 29, pp 233-243, 2015. (DOI
, fulltext:postprint
).
-
Sonja Lyttkens
. In Upsala Nya Tidning, volume 125, number 12, pp B13-B13, Upsala nya tidning, 2015.
-
A discontinuous Galerkin multiscale method for convection–diffusion problems
. In Computing Research Repository, number 1509.03523, 2015. (External link
). Publication status: Submitted
-
Multiscale Methods and Uncertainty Quantification
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1287, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext
, preview image
).
-
On multiscale methods in Petrov–Galerkin formulation
. In Numerische Mathematik, volume 131, pp 643-682, 2015. (DOI
).
-
Enabling design of performance-controlled sensor network applications through task allocation and reallocation
. In Proc. 11th International Conference on Distributed Computing in Sensor Systems, pp 248-253, IEEE Computer Society, 2015. (DOI
, fulltext:postprint
).
-
Optimal Task Allocation in Sensor and Actuator Networks
. In Proc. 11th Swedish National Computer Networking Workshop, 2015.
-
ProFuN TG: A Tool Using Abstract Task Graphs to Facilitate the Development, Deployment and Maintenance of Wireless Sensor Network Applications
. In Proc. Poster/Demo Session: 12th European Conference on Wireless Sensor Networks, pp 19-20, 2015.
-
ProFuN TG: A tool for programming and managing performance-aware sensor network applications
. In IEEE 40th Local Computer Networks Conference Workshops (LCN Workshops), pp 751-759, IEEE Computer Society, 2015. (DOI
, fulltext:preprint
).
-
ProFuN TG: Programming Sensornets with Task Graphs for Increased Reliability and Energy-Efficiency
. In , IEEE Computer Society, 2015. (External link
, fulltext:postprint
).
-
Towards a sensor system to tame the human elephant conflict
. In Sensors Applications Symposium (SAS), pp 169-172, IEEE, 2015. (DOI
).
-
Energy-efficient fault-tolerant dynamic event region detection in wireless sensor networks
. In Proc. 81st IEEE Vehicular Technology Conference, IEEE Vehicular Technology Conference Proceedings, IEEE conference proceedings, 2015. (fulltext:postprint
).
-
Strong convergence for split-step methods in stochastic jump kinetics
. In SIAM Journal on Numerical Analysis, volume 53, pp 2655-2676, 2015. (DOI
, fulltext:print
).
-
Scalable point-to-multipoint communication for cloud networking using information-centric networking
. In Proc. 12th IEEE Consumer Communications and Networking Conference, pp 654-662, IEEE, Piscataway, NJ, 2015. (DOI
).
-
Trunk Muscle Activation at the Initiation and Braking of Bilateral Shoulder Flexion Movements of Different Amplitudes
. In PLOS ONE, volume 10, number 11, 2015. (DOI
, fulltext:print
).
-
Recreating with photogrammetric techniques a submerged megalithic landscape: the case of the salas reservoir
. In 3 Encontro Internacional de Arqueoloxia de Vilalba, pp 9-16, 2015.
-
Energy-efficient medium access control for energy harvesting communications
. In IEEE transactions on consumer electronics, volume 61, number 4, pp 402-410, 2015. (DOI
).
-
Improved Monte Carlo methods for computing failure probabilities of porous media flow systems
. Technical report / Department of Information Technology, Uppsala University nr 2015-025, 2015. (fulltext
).
-
Computerized Cell and Tissue Analysis
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1262, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext
, preview image
).
-
Inter-network interactions in the internet-of-things: Protocol and architecture challenges
. In , 2015.
-
Modes of inter-network interaction in beacon-enabled IEEE 802.15.4 networks
. In Proc of the 14th IFIP Annual Mediterranean Ad Hoc Networking Workshop, 2015.
-
Automating regression verification
. In Software Engineering & Management 2015, volume 239 of Lecture Notes in Informatics, pp 75-76, Gesellschaft für Informatik, Germany, 2015.
-
Implied constraints for AUTOMATON constraints
. In Global Conference on Artificial Intelligence: GCAI 2015, volume 36 of EasyChair Proceedings in Computing, pp 113-126, Cool Press, Manchester, UK, 2015. (Abstract
).
-
Internet of Things and Future Threats Towards our Society
. In Proc. National Symposium on Technology and Methodology for Security and Crisis Management: TAMSEC 2015, 2015.
-
Acrosome integrity assessment of boar spermatozoa images using an early fusion of texture and contour descriptors
. In Computer Methods and Programs in Biomedicine, volume 120, number 1, pp 49-64, 2015. (DOI
).
-
A general tool for determining the asymptotic spectral distribution of Hermitian matrix-sequences
. In Operators and Matrices, volume 9, pp 549-561, 2015. (Article
).
-
Generalized locally Toeplitz sequences: a review and an extension
. Technical report / Department of Information Technology, Uppsala University nr 2015-016, 2015. (fulltext
).
-
Lusin theorem, GLT sequences and matrix computations: An application to the spectral analysis of PDE discretization matrices
. Technical report / Department of Information Technology, Uppsala University nr 2015-012, 2015. (fulltext
).
-
Spectral analysis and spectral symbol of <em>d</em>-variate Q<em><sub>p</sub></em> Lagrangian FEM stiffness matrices
. In SIAM Journal on Matrix Analysis and Applications, volume 36, pp 1100-1128, 2015. (DOI
).
-
Spectral analysis and spectral symbol of matrices in isogeometric Galerkin methods
. Technical report / Department of Information Technology, Uppsala University nr 2015-005, 2015. (fulltext
).
-
The theory of generalized locally Toeplitz sequences: a review, an extension, and a few representative applications
. Technical report / Department of Information Technology, Uppsala University nr 2015-023, 2015. (fulltext
).
-
Tools for determining the asymptotic spectral distribution of non-Hermitian perturbations of Hemitian matrix-sequences and applications
. In Integral equations and operator theory, volume 81, pp 213-225, 2015. (DOI
).
-
Coherent mimo radar and waveform diversity
. In Wiley Encyclopedia of Electrical and Electronics Engineering, pp 1-19, John Wiley & Sons, Hoboken, NJ, 2015. (DOI
).
-
Unsteady simulations of rotor stator interactions using SBP-SAT schemes: Status and challenges
. In Spectral and High Order Methods for Partial Differential Equations: ICOSAHOM 2014, volume 106 of Lecture Notes in Computational Science and Engineering, pp 247-255, Springer, 2015. (DOI
).
-
Concolic Testing for Functional Languages
. In Proceedings of the 17th international symposium on principles and practice of declarative programming (PPDP 2015), pp 137-148, Association for Computing Machinery (ACM), 2015. (DOI
).
-
Location and Density of Rain Gauges for the Estimation of Spatial Varying Precipitation
. In Geografiska Annaler. Series A, Physical Geography, volume 97, number 1, pp 167-179, 2015. (DOI
, Fulltext
).
-
Probabilistic programs as spreadsheet queries
. In Programming Languages and Systems, volume 9032 of Lecture Notes in Computer Science, pp 1-25, Springer Berlin/Heidelberg, 2015. (DOI
, fulltext:postprint
).
-
Motivation and Grade Gap Related to Gender in a Programming Course
. In , 2015. (DOI
).
-
Perspectives on Volunteering for Initiatives for Women in Computing: a Case Study
. In , Frontiers in Education Conference, pp 927-930, 2015.
-
Data structures and algorithms for high-dimensional structured adaptive mesh refinement
. In Advances in Engineering Software, volume 82, pp 75-86, 2015. (DOI
).
-
A constraint optimisation model for analysis of telecommunication protocol logs
. In Tests and Proofs: TAP 2015, volume 9154 of Lecture Notes in Computer Science, pp 137-154, Springer, 2015. (DOI
).
-
Testing of a telecommunication protocol using constraint programming
. In 2015 IEEE Eighth International Conference On Software Testing, Verification And Validation Workshops (ICSTW), IEEE International Conference on Software Testing Verification and Validation Workshops, 2015.
-
Bounding carry-in interference to improve fixed-priority global multiprocessor scheduling analysis
. In Proc. 21st International Conference on Embedded and Real-Time Computing Systems and Applications, pp 11-20, IEEE Computer Society, 2015. (DOI
).
-
Delay analysis of structural real-time workload
. In Proc. 18th Conference on Design, Automation and Test in Europe, pp 223-228, IEEE, Piscataway, NJ, 2015. (DOI
).
-
Modular performance analysis of energy-harvesting real-time networked systems
. In Proc. 36th Real-Time Systems Symposium, pp 65-74, IEEE Computer Society, 2015. (DOI
).
-
Scalable timing analysis with refinement
. In Tools and Algorithms for the Construction and Analysis of Systems, volume 9035 of Lecture Notes in Computer Science, pp 3-18, Springer, 2015. (DOI
).
-
Diffusion equation: Computation
. In Encyclopedia of Applied and Computational Mathematics, pp 353-356, Springer, 2015. (DOI
).
-
Scaffolding mentalizing via a play-&-learn game for preschoolers
. In Computers and education, volume 90, pp 13-23, 2015. (DOI
).
-
A Quadcopter Controller to Maintain Radio Link Quality
. In The First Workshop on Micro Aerial Vehicle Networks, Systems, and Applications for Civilian Use, pp 21-26, 2015. (DOI
, External link
).
-
Constraint Programming for Wireless Sensor Networks
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1219, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext
, preview image
).
-
A Simple and Efficient Feature Descriptor for Fast Matching
. In WSCG, pp 135-142, 2015.
-
Clustering in 2D as a Fast Deterministic Alternative to RANSAC
. In , 2015.
-
Interest Point Detection Based on the Extended Structure Tensor with a Scale Space Parameter
. In International Conference on Computer Vision Theory and Applications, pp 1-8, 2015.
-
Mathematics + Computer Science = True
. In , pp 85-93, 2015.
-
Stereo Visualisation of Historical Aerial Photos as a Valuable Tool for Archeological Research
. In Computer Applications and Quantitative Methods in Archaeology, CAA, pp 1-3, 2015.
-
Stereo Visualisation of Historical Aerial Photos – a Valuable Digital Heritage Research Tool
. In 2015 Digital Heritage International Congress, Vol 2: Analysis & Interpretation Theory, Methodologies, Preservation & Standards Digital Heritage Projects & Applications, pp 663-666, 2015.
-
Swedish eScience Education – a Graduate School in eScience
. In Proc. 11th International Conference on e-Science, pp 31-35, IEEE Computer Society, 2015. (DOI
).
-
Few is Just Enough!: Small Model Theorem for Parameterized Verification and Shape Analysis
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1302, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext
, preview image
).
-
On preconditioning of incompressible non-Newtonian flow problems
. In Journal of Computational Mathematics, volume 33, pp 33-58, 2015. (DOI
).
-
Handover for a portable communication device between local and wide area wireless networks
. 2015. (External link
).
-
Reaction rates for mesoscopic reaction-diffusion kinetics
. In Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volume 91, pp 023312:1-12, 2015. (DOI
, fulltext:print
).
-
Multiscale and multilevel methods for porous media flow problems
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2015-003, Uppsala University, 2015. (fulltext
).
-
Error control and adaptivity for heterogeneous multiscale approximations of nonlinear monotone problems
. In Discrete and Continuous Dynamical Systems. Series S, volume 8, pp 119-150, 2015. (DOI
).
-
Scalable Visual Codes for Embedding Digital Data in the Physical World
. In Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, pp 457-458, ACM, 2015. (DOI
).
-
An experimental study of attacks on the availability of Glossy
. In Computers & electrical engineering, volume 41, pp 115-125, 2015. (DOI
).
-
Enabling TCP in mobile cyber-physical systems
. In Proc. 12th International Conference on Mobile Ad Hoc and Sensor Systems, pp 289-297, IEEE Computer Society, 2015. (DOI
).
-
Imputation of single nucleotide polymorphism genotypes in biparental, backcross, and topcross populations with a hidden Markov model
. In Crop science, volume 55, pp 1934-1946, 2015. (DOI
, Fulltext
).
-
Identification of the Reichardt elementary motion detector model
. In Signal and Image Analysis for Biomedical and Life Sciences, volume 823 of Advances in Experimental Medicine and Biology, pp 83-105, Springer, 2015. (DOI
).
-
Mediator synthesis in a component algebra with data
. In Correct System Design, volume 9360 of Lecture Notes in Computer Science, pp 238-259, Springer, 2015. (DOI
).
-
Towards accurate modeling of moving contact lines
. 2015. (DOI
, Fulltext
, arXiv:1510.06639
).
-
Towards accurate modeling of moving contact lines
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2015-006, Uppsala University, 2015. (fulltext
).
-
Joint vehicle trajectory and model parameter estimation using road side sensors
. In IEEE Sensors Journal, volume 15, number 9, pp 5075-5086, 2015. (DOI
).
-
A survey on mobile social networks: Applications, platforms, system architectures, and future research directions
. In IEEE Communications Surveys and Tutorials, volume 17, number 3, pp 1557-1581, 2015. (DOI
).
-
Health Drive: Mobile healthcare onboard vehicles to promote safe driving
. In Proc. 48th Hawaii International Conference on System Sciences, International Conference on System Sciences, pp 3074-3083, IEEE Computer Society, 2015. (DOI
).
-
SAfeDJ: A crowd-cloud codesign approach to situation-aware music delivery for drivers
. In ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP), volume 12, number 1s, pp 21:1-24, 2015. (DOI
, fulltext:print
).
-
Patients' perceptions of their medical records from different subject positions
. In Journal of the Association for Information Science and Technology, volume 66, number 12, pp 2456-2470, 2015. (DOI
).
-
On the bimodality in an introductory programming course: An analysis of student performance factors
. In Proc. 3rd International Conference on Learning and Teaching in Computing and Engineering, pp 79-86, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI
).
-
Precise Euclidean distance transforms in 3D from voxel coverage representation
. In Pattern Recognition Letters, volume 65, pp 184-191, 2015. (DOI
).
-
Robust tuning of bending-points detection algorithms in batch-operated processes: Application to autothermal thermophilic aerobic digesters
. In Environmental Modelling & Software, volume 71, pp 148-158, 2015. (DOI
).
-
Detecting and avoiding multiple sources of interference in the 2.4 GHz spectrum
. In Wireless Sensor Networks, volume 8965 of Lecture Notes in Computer Science, pp 35-51, Springer, 2015. (DOI
).
-
Estimating packet delivery ratio for arbitrary packet sizes over wireless links
. In IEEE Communications Letters, volume 19, number 4, pp 609-612, 2015. (DOI
).
-
Using software-defined networking principles for wireless sensor networks
. In Proc. 11th Swedish National Computer Networking Workshop, 2015. (External link
, fulltext:print
).
-
Collegial verbalisation — the value of an independent observer: an ecological approach
. In Theoretical Issues in Ergonomics Science, volume 16, number 5, pp 474-494, 2015. (DOI
).
-
Identification Techniques for Mathematical Modeling of the Human Smooth Pursuit System
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 115, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext
, preview image
).
-
Parametric and nonparametric analysis of eye-tracking data by anomaly detection
. In IEEE Transactions on Control Systems Technology, volume 23, number 4, pp 1578-1586, 2015. (DOI
).
-
Stochastic anomaly detection in eye-tracking data for quantification of motor symptoms in Parkinson's disease
. In Signal and Image Analysis for Biomedical and Life Sciences, volume 823 of Advances in Experimental Medicine and Biology, pp 63-82, Springer, 2015. (DOI
).
-
System Identification of Wiener Systems via Volterra-Laguerre Models: Application to Human Smooth Pursuit Analysis
. In 2015 European Control Conference (Ecc), pp 2700-2705, IEEE, 2015. (DOI
).
-
Analyzing multimode wireless sensor networks using the network calculus
. In Journal of Sensors, volume 2015, pp 851608:1-12, 2015. (DOI
, fulltext:print
).
-
Timeprints for identifying social media users with multiple aliases
. In Security Informatics, volume 4, pp 7:1-11, 2015. (DOI
, Fulltext
).
-
Empathic robotic tutors for personalised learning: A multidisciplinary approach
. In Social Robotics, volume 9388 of Lecture Notes in Computer Science, pp 285-295, Springer, 2015. (DOI
).
-
Detecting multipliers of jihadism on twitter
. In Proc. 15th ICDM Workshops, pp 954-960, IEEE Computer Society, 2015. (DOI
).
-
A Quadratic Extended Edge-Finding Filtering Algorithm for Cumulative Resource Constraints
. In Principles and practice of constraint programming, CP 2015, volume 9255 of Lecture Notes in Computer Science, pp 738-739, SPRINGER-VERLAG BERLIN, 2015.
-
Etik och medicinteknik
. In Medicinteknikdagarna 2015, pp 94-94, Svensk Förening för Medicinsk Teknik och Fysik (MTF), Akademiska sjukhuset, Uppsala universitet, Uppsala, 2015. (External link
, Proceedings
).
-
Etikutbildning för ingenjörer: Övningar, verktyg, metoder
. In 5:e utvecklingskonferensen för Sveriges Ingenjörsutbildningar, pp 30-31, Uppsala universitet, 2015. (External link
, Proceedings
).
-
How ethical robots process information, communicate and act
. In 1st TRANSOR Workshop: Methodological Problems of Social Robotics, 2015. (External link
).
-
ICT and sustainability: skills and methods for dialogue and policy making
. In Journal of Information, Communication and Ethics in Society, volume 13, number 1, pp 13-18, Emerald Group Publishing Limited, 2015. (DOI
).
-
Judging the complexity of privacy, openness and loyalty issues
. In Computers & Society: The Newsletter of the ACM Special Interest Group on Computers and Society Special Issue on 20 Years of ETHICOMP, ACM SIGCAS Computers and Society Newsletter, pp 416-419, ACM Digital Library, 2015. (DOI
, External link
, External link
, External link
, External link
).
-
Philosophy and philosophology
. In , 2015. (External link
).
-
AREP: Adaptive Resource Efficient Prefetching for Maximizing Multicore Performance
. In Proc. 24th International Conference on Parallel Architectures and Compilation Techniques, pp 367-378, IEEE Computer Society, 2015. (DOI
, fulltext:postprint
).
-
Perf-Insight: A Simple, Scalable Approach to Optimal Data Prefetching in Multicores
. Technical report / Department of Information Technology, Uppsala University nr 2015-037, 2015. (fulltext
).
-
Coupling of Gaussian beam and finite difference solvers for semiclassical Schrödinger equations
. In Advances in Applied Mathematics and Mechanics, volume 7, pp 687-714, 2015. (DOI
, fulltext:postprint
).
-
Discretised dynamical low-rank approximation in the presence of small singular values
. In Mathematical Methods in Quantum Molecular Dynamics, volume 12 of Oberwolfach Reports, pp 1516-1517, EMS Publishing House, Zürich, Switzerland, 2015. (DOI
).
-
Stiff convergence of force-gradient operator splitting methods
. In Applied Numerical Mathematics, volume 94, pp 33-45, 2015. (DOI
, fulltext:postprint
).
-
De esperanta korpuso ?is islanda lingvopolitiko: Aktoj de la 36-a Esperantologia Konferenco en la 98-a Universala Kongreso de Esperanto, Rejkjaviko 2013
. Universala Esperanto-Asocio, Rotterdam, 2015.
-
Esperantologio / Esperanto Studies
. Dobrichovice, 2015.
-
Estimates for solutions to discrete convolution equations
. In Mathematika, volume 61, number 2, pp 295-308, 2015. (DOI
).
-
Euclid's straight lines
. In Normat, volume 60, number 4, pp 145-169, 2015. (fulltext:postprint
).
-
Geraldo Mattos (1931–2014)
. In Esperantologio / Esperanto Studies, volume 7, pp 126-126, Dobrichovice, 2015.
-
Hur kommer forskningen i Sverige att påverkas av utvärderingarna?
. In Bulletinen. Svenska matematikersamfundets medlemsblad, volume 2015-10-15, pp 16-24, Svenska matematikersamfundet, Göteborg, 2015.
-
Kombineblo de vortelementoj en esperanto – rigardoj malanta?en kaj anta?en
. In Esperantologio / Esperanto Studies, volume 7, pp 73-125, Dobrichovice, 2015.
-
La lingvoj de Zamenhof (1878, 1881, 1887, 1905)
. In Literatura Foiro, number 277, pp 260-265, Kooperativo de Literatura Foiro, La Chaux-de-Fonds, 2015.
-
Matematiska rum
. In Sundelöfs Societet, pp 25-42, Kungl. Vetenskaps-Societeten, Uppsala, 2015.
-
Nash i Uppsala
. In Bulletinen. Svenska matematikersamfundets medlemsblad, volume 2015-10-15, pp 13-15, Svenska matematikersamfundet, Göteborg, 2015.
-
To the Memory of Lars Hörmander (1931–2012): Lars Hörmander—some early memories
. In Notices of the American Mathematical Society, volume 62, number 8, pp 904-905, 2015. (DOI
).
-
Indoor positioning using ultrawideband and inertial measurements
. In IEEE Transactions on Vehicular Technology, volume 64, number 4, pp 1293-1303, 2015. (DOI
).
-
Next-Generation Pathology: Surveillance of Tumor Microecology
. In Journal of Molecular Biology, volume 427, number 11, pp 2013-2022, 2015. (DOI
, Fulltext
).
-
Scalable Analysis of Fault Trees with Dynamic Features
. In 2015 45Th Annual IEEE/IFIP International Conference On Dependable Systems And Networks, pp 89-100, 2015. (DOI
).
-
Finite difference methods
. In Encyclopedia of Applied and Computational Mathematics, pp 516-521, Springer, 2015. (DOI
).
-
A histopathological tool for quantification of biomarkers with sub-cellular resolution
. In Computer Methods in Biomechanics and Biomedical Engineering: Imaging & Visualization, volume 3, number 1, pp 25-46, 2015. (DOI
).
-
Multimodal histological image registration using locally rigid transforms
. In Proc. Interactive Medical Image Computing Workshop, 2015.
-
A high-level model for an assembly language attacker by means of reflection
. In Dependable Software Engineering: Theories, Tools, and Applications, volume 9409 of Lecture Notes in Computer Science, pp 168-182, Springer, 2015. (DOI
, fulltext:preprint
).
-
A secure compiler for ML modules
. In Programming Languages and Systems: APLAS 2015, volume 9458 of Lecture Notes in Computer Science, pp 29-48, Springer, 2015. (DOI
).
-
Formalizing a secure foreign function interface
. In Software Engineering and Formal Methods, volume 9276 of Lecture Notes in Computer Science, pp 215-230, Springer, 2015. (DOI
, fulltext:postprint
).
-
Accuracy of the Michaelis–Menten approximation when analysing effects of molecular noise
. In Journal of the Royal Society Interface, volume 12, number 106, pp 20150054:1-10, 2015. (DOI
, fulltext:postprint
).
-
Facilities Collaboration in Cloud Manufacturing based on Generalized Collaboration Network
. In Proceedings of the 11th EAI International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, pp 298-303, 2015. (DOI
).
-
Coverage segmentation of 3D thin structures
. In Proc. 5th International Conference on Image Processing Theory, Tools and Applications, pp 23-28, IEEE, Piscataway, NJ, 2015. (DOI
).
-
Noninvasive and continuous blood pressure monitoring using wearable body sensor networks
. In IEEE Intelligent Systems, volume 30, number 6, pp 38-48, 2015. (DOI
).
-
Exact linear time Euclidean distance transforms of grid line sampled shapes
. In Mathematical Morphology and its Applications to Signal and Image Processing, volume 9082 of Lecture Notes in Computer Science, pp 645-656, Springer, 2015. (DOI
).
-
High-resolution reconstruction by feature distance minimization from multiple views of an object
. In Proc. 5th International Conference on Image Processing Theory, Tools and Applications, pp 29-34, IEEE, Piscataway, NJ, 2015. (DOI
).
-
Microscopy image enhancement for cost-effective cervical cancer screening
. In Image Analysis, volume 9127 of Lecture Notes in Computer Science, pp 440-451, Springer, 2015. (DOI
).
-
Defining 'Functional Products' through their constituents
. In International Journal of Product Development, volume 20, number 1, pp 1-24, 2015. (DOI
).
-
Infrared-visible image registration for augmented reality-based thermographic building diagnostics
. In Visualization in Engineering, volume 3, pp 16:1-15, Springer, 2015. (DOI
, Fulltext
).
-
PM2.5 Monitoring using Images from Smartphones in Participatory Sensing
. In , pp 630-635, 2015.
-
Techniques for finite element methods on modern processors
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2015-001, Uppsala University, 2015. (fulltext
).
-
Magnetic resonance imaging cooling–reheating protocol indicates decreased fat fraction via lipid consumption in suspected brown adipose tissue
. In PLOS ONE, volume 10, number 4, 2015. (DOI
, Fulltext
).
-
Quality assurance using international curricula and employer feedback
. In Conferences in Research and Practice in Information Technology, volume 160, pp 19-27, 2015. (External link
, fulltext:postprint
).
-
User and client satisfaction in agile development
. In INTERACT 2015 Adjunct Proceedings, pp 249-257, University of Bamberg Press, 2015.
-
Property-Based Testing of Sensor Networks
. In Proc. 12th International Conference on Sensing, Communication, and Networking, pp 100-108, IEEE Communications Society, 2015.
-
Fokker–Planck equation: Computation
. In Encyclopedia of Applied and Computational Mathematics, pp 556-559, Springer, 2015. (DOI
).
-
Numerical option pricing without oscillations using flux limiters
. In Computers and Mathematics with Applications, volume 70, pp 1-10, 2015. (DOI
, fulltext:postprint
).
-
Simulation of stochastic diffusion via first exit times
. In Journal of Computational Physics, volume 300, pp 862-886, 2015. (DOI
, fulltext:postprint
).
-
NoSQL approach to large scale analysis of persisted streams
. In Data Science, volume 9147 of Lecture Notes in Computer Science, pp 152-156, Springer, 2015. (DOI
).
-
Utilizing a NoSQL Data Store for Scalable Log Analysis
. In , pp 49-55, 2015. (DOI
).
-
Automatic 3DS Conversion of Historical Aerial Photographs
. In IC3D 2015, International Conference on 3D Imaging, 2015.
-
Experiences From A Field Test Using Icn For Live Video Streaming
. In 2015 IEEE International Conference on Multimedia & Expo Workshops (ICMEW), IEEE International Conference on Multimedia and Expo Workshops, 2015.
-
Simulation of bright-field microscopy images depicting pap-smear specimen
. In Cytometry Part A, volume 87, number 3, pp 212-226, 2015. (DOI
, fulltext:print
).
-
Interactive Deformation of Volume Images for Image Registration
. In Proc. Interactive Medical Image Computing Workshop, 2015. (External link
).
-
Stabilized high-order Galerkin methods based on a parameter-free dynamic SGS model for LES
. In Journal of Computational Physics, volume 301, pp 77-101, 2015. (DOI
).
-
Modeling the effect of intravenous anesthetics: A path toward individualization
. In IEEE Design & Test, volume 32, number 5, pp 17-26, 2015. (DOI
).
-
Performance of an adaptive controller for the neuromuscular blockade based on inversion of a Wiener model
. In Asian Journal of Control, volume 17, number 4, pp 1136-1147, 2015. (DOI
).
-
Load-Balanced Data Collection through Opportunistic Routing
. In , pp 62-70, 2015.
-
High-fidelity numerical simulation of the dynamic beam equation
. In Journal of Computational Physics, volume 286, pp 194-213, 2015. (DOI
, fulltext:postprint
).
-
Modeling of testosterone regulation by pulse-modulated feedback
. In Signal and Image Analysis for Biomedical and Life Sciences, volume 823 of Advances in Experimental Medicine and Biology, pp 23-40, Springer, 2015. (DOI
).
-
Bixie: Finding and understanding inconsistent code
. In Proc. 37th IEEE/ACM International Conference on Software Engineering, pp 645-648, IEEE, Piscataway, NJ, 2015. (DOI
).
-
A comparative analysis of two globally distributed group projects: A perspective from CSCW/CSCL research
. In Proc. 45th ASEE/IEEE Frontiers in Education Conference, pp 1964-1972, IEEE Press, Piscataway, NJ, 2015. (DOI
).
-
Perseverance measures and attainment in first year computing science students
. In Proc. 20th Conference on Innovation and Technology in Computer Science Education, pp 302-307, ACM Press, New York, 2015. (DOI
).
-
Mimer and Schedeval: Tools for Comparing Static Schedulers for Streaming Applications on Manycore Architectures
. In 2015 44Th International Conference On Parallel Processing Workshops, International Conference on Parallel Processing Workshops, pp 146-155, 2015. (DOI
).
-
Stochastic focusing coupled with negative feedback enables robust regulation in biochemical reaction networks
. In Journal of the Royal Society Interface, volume 12, number 113, pp 20150831:1-10, 2015. (DOI
, fulltext:postprint
).
-
Security Challenges in Indoor Location Sensing using Bluetooth LE Broadcast
. In Poster Proc. 12th European Conference on Wireless Sensor Networks, 2015.
-
Automated auxiliary variable elimination through on-the-fly propagator generation
. In Principles and Practice of Constraint Programming: CP 2015, volume 9255 of Lecture Notes in Computer Science, pp 313-329, Springer, 2015. (DOI
).
-
Computations on the Edge in the Internet of Things
. In Procedia Computer Science, volume 52, pp 29-34, Elsevier, 2015. (DOI
, Fulltext
, fulltext:print
).
-
Efficient caching for constrained skyline queries
. In Extending Database Technology (EDBT), 2015.
-
Optimal bounds for a Lagrange interpolation inequality for piecewise linear continuous finite elements in two space dimensions
. In Journal of Mathematical Analysis and Applications, volume 423, pp 940-955, 2015. (DOI
).
-
Large-Eddy Simulation of turbulent channel flow
. Technical report / Department of Information Technology, Uppsala University nr 2015-014, 2015. (fulltext
).
-
Canonical density matrix perturbation theory
. In Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volume 92, pp 063301:1-8, 2015. (DOI
, fulltext:print
).
-
Stable difference methods for block-oriented adaptive grids
. In Journal of Scientific Computing, volume 65, pp 486-511, 2015. (DOI
).
-
Intracranial volume normalization methods: Considerations when investigating gender differences in regional brain volume
. In Psychiatry Research, volume 231, number 3, pp 227-235, 2015. (DOI
).
-
Particle filtering based identification for autonomous nonlinear ODE models
. In Proc. 17th IFAC Symposium on System Identification, volume 48:28 of IFAC-PapersOnLine, pp 415-420, International Federation of Automatic Control, 2015. (DOI
).
-
Deterministic parallel graph coloring with hashing
. Technical report / Department of Information Technology, Uppsala University nr 2015-020, 2015. (fulltext
).
-
Deterministic parallel graph coloring with symmetry breaking
. Technical report / Department of Information Technology, Uppsala University nr 2015-031, 2015. (fulltext
).
-
A closed loop stability condition of switched systems applied to NCSs with packet loss
. In Proc. 5th IFAC Workshop on Distributed Estimation and Control in Networked Systems, International Federation of Automatic Control, 2015.
-
Conditions for input-output stability of discrete-time Luré systems with time-varying delays
. In Proc. 54th Conference on Decision and Control, pp 7707-7714, IEEE, Piscataway, NJ, 2015.
-
Delay-independent stability criteria for networked control systems
. Technical report / Department of Information Technology, Uppsala University nr 2015-018, Uppsala University, Uppsala, 2015. (External link
, fulltext
).
-
Stability analysis of an adaptively sampled controller for SISO systems with nonlinear feedback
. In Proc. American Control Conference: ACC 2015, pp 5353-5358, American Automatic Control Council, 2015. (DOI
, fulltext:postprint
).
-
Multidimensional analysis of creative coding MOOC forums: a methodological discussion
. In Proc. 15th International Conference on Computing Education Research: Koli Calling, pp 137-141, ACM Press, New York, 2015. (DOI
).
-
Proc. 1st Al Baha University and Uppsala University Symposium on Quality in Computing Education
. Volume 2015-007 of Technical report / Department of Information Technology, Uppsala University, 2015. (Abstract
).
-
BoneSplit - A 3D Texture Painting Tool for Interactive Bone Separation in CT Images
. In Journal of WSCG, volume 23, number 2, pp 157-166, 2015.
-
Teaching OpenGL and Computer Graphics with Programmable Shaders
. In SIGRAD, pp 1-3, 2015.
-
ATAD control goals through the analysis of process variables and evaluation of quality, production and cost
. In Water Science and Technology, volume 71, number 5, pp 717-724, 2015. (DOI
).
-
High-resolution imaging for impulse-based forward-looking ground penetrating radar
. In International Journal of Remote Sensing Applications, volume 5, pp 11-24, 2015. (DOI
).
-
Haptics with Applications to Cranio-Maxillofacial Surgery Planning
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1289, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext
, preview image
).
-
Haptics-assisted Virtual Planning of Bone, Soft Tissue, and Vessels in Fibula Osteocutaneous Free Flaps
. In Plastic and Reconstructive Surgery - Global Open, volume 3, number 8, Wolters Kluwer, 2015. (DOI
).
-
Visuohaptic bone saw simulator: Combining vibrotactile and kinesthetic feedback
. In Proc. 8th ACM SIGGRAPH Asia Technical Briefs, pp 10:1-4, ACM Press, New York, 2015. (DOI
).
-
Fault detection in WSNs: An energy efficiency perspective towards human-centric WSNs
. In Agent and Multi-Agent Systems: Technologies and Applications, volume 38 of Smart Innovation, Systems and Technologies, pp 285-300, Springer, 2015. (DOI
).
-
A Modeling Framework for Reuse Distance-based Estimation of Cache Performance
. In Performance Analysis of Systems and Software (ISPASS), 2015 IEEE International Symposium on, pp 62-71, IEEE, 2015. (DOI
).
-
Forecasting Lock Contention Before Adopting Another Lock Algorithm
. 2015. (fulltext
).
-
Modal Logics for Nominal Transition Systems
. In 26th International Conference on Concurrency Theory: CONCUR 2015, volume 42 of Leibniz International Proceedings in Informatics (LIPIcs), pp 198-211, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2015. (DOI
, Fulltext
).
-
Fully abstract trace semantics for protected module architectures
. In Computer languages, systems & structures, volume 42, pp 22-45, 2015. (DOI
).
-
Secure compilation to protected module architectures
. In ACM Transactions on Programming Languages and Systems, volume 37, number 2, 2015. (DOI
).
-
Cloud Computing: The Ultimate Step Towards the Virtual Enterprise?
. In Computers & Society: The Newsletter of the ACM Special Interest Group on Computers and Society Special Issue on 20 Years of ETHICOMP, ACM SIGCAS Computers and Society Newsletter, pp 68-72, ACM Digital Library, 2015. (DOI
, External link
, External link
, External link
, External link
).
-
Assuring the Quality of Engineering Education
. In 2015 International Conference on Learning and Teaching in Computing and Engineering, pp 108-111, 2015. (DOI
).
-
Implications of anonymous assessment
. In Proc. 45th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, pp 1404-1408, IEEE Press, Piscataway, NJ, 2015. (DOI
).
-
Nuclear Norms for System Identification: a direct input-output approach
. In Proc. 17th IFAC Symposium on System Identification, volume 48:28 of IFAC-PapersOnLine, pp 644-649, International Federation of Automatic Control, 2015. (DOI
).
-
Cost-effective speculative scheduling in high performance processors
. In Proc. 42nd International Symposium on Computer Architecture, pp 247-259, ACM Press, New York, 2015. (DOI
).
-
Preparing the global software engineer
. In Proc. 10th International Conference on Global Software Engineering, pp 61-70, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI
).
-
Second year Computer Science and IT students' experience of participation in the discipline
. In Proc. 15th International Conference on Computing Education Research: Koli Calling, pp 68-76, ACM Press, New York, 2015. (DOI
).
-
Triangulation Painting
. In SIGRAD, pp 1-4, 2015.
-
BSD-based Elliptic Curve Cryptography for the Open Internet of Things
. In 2015 7Th International Conference On New Technologies, Mobility And Security (NtTMS), International Conference on New Technologies Mobility and Security, 2015.
-
Diffusion of Innovations over Multiplex Social Networks
. In International Symposium on Artificial Intelligence and Signal Processing (AISP), pp 1-5, 2015. (DOI
, ArXiv
).
-
Your New Default Thresholding Method?: A robust global gray-level thresholding method based on object features
. In BioImage Informatics Conference 2015, 2015.
-
Bluetooth Smart: An Enabling Technology for the Internet of Things
. In , IEEE International Conference on Wireless and Mobile Computing Networking and Communications-WiMOB, pp 155-162, 2015.
-
Security and Privacy in the IPv6-Connected Internet of Things
. In Cyber-Physical Systems, CRC Press, 2015.
-
Cancer patients' attitudes and experiences of online medical records
. In Proc. 17th International Symposium on Health Information Management Research, pp 19-25, University of Sheffield, UK, 2015.
-
Cancerpatienter och användningen av journal via nätet
. Technical Report nr HS-IIT-TR-15-003, Högskolan i Skövde, 2015. (fulltext
).
-
Security in Visible Light Communication: Novel Challenges and Opportunities
. In Sensors & Transducers Journal, volume 192, number 9, pp 9-15, 2015. (External link
, fulltext:print
).
-
A dual-consistency cache coherence protocol
. In Proc. 29th International Parallel and Distributed Processing Symposium, pp 1119-1128, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI
, fulltext:print
).
-
Callback: Efficient Synchronization without Invalidation with a Directory Just for Spin-Waiting
. In 2015 ACM/IEEE 42Nd Annual International Symposium On Computer Architecture (ISCA), pp 427-438, 2015. (DOI
).
-
Hierarchical private/shared classification: The key to simple and efficient coherence for clustered cache hierarchies
. In Proc. 21st International Symposium on High Performance Computer Architecture, pp 186-197, IEEE Computer Society Digital Library, 2015. (DOI
).
-
Towards effective visual analytics on multiplex and multilayer networks
. In Chaos, Solitons & Fractals, volume 72, pp 68-76, 2015. (DOI
, fulltext:postprint
).
-
Parallel Stochastic Estimation on Multicore Platforms
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 111, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext
, preview image
).
-
Parallel recursive estimation using Monte Carlo and orthogonal series expansions
. In Proc. American Control Conference: ACC 2015, pp 3905-3910, American Automatic Control Council, 2015. (DOI
).
-
Quasi-optimal preconditioners for finite element approximations of diffusion dominated convection–diffusion equations on (nearly) equilateral triangle meshes
. In Numerical Linear Algebra with Applications, volume 22, pp 123-144, 2015. (DOI
).
-
On recursion-free Horn clauses and Craig interpolation
. In Formal methods in system design, volume 47, number 1, pp 1-25, 2015. (DOI
).
-
A radial basis function partition of unity collocation method for convection–diffusion equations arising in financial applications
. In Journal of Scientific Computing, volume 64, pp 341-367, 2015. (DOI
, fulltext:postprint
).
-
Contention adapting search trees
. In Proc. 14th International Symposium on Parallel and Distributed Computing, pp 215-224, IEEE conference proceedings, 2015. (DOI
).
-
Digital topology and geometry in medical image processing: A survey
. In IEEE Transactions on Medical Imaging, volume 34, number 9, pp 1940-1964, 2015. (DOI
).
-
Multidimensional epidemic thresholds in diffusion processes over interdependent networks
. In Chaos, Solitons & Fractals, volume 72, pp 59-67, 2015. (DOI
).
-
Spreading processes in Multilayer Networks
. In IEEE Transactions on Network Science and Engineering, volume 2, number 2, pp 65-83, IEEE Computer Society, 2015. (DOI
, Fulltext
, fulltext:postprint
).
-
Detecting anomalous air flow-ammonia load ratios, using Gaussian process regression
. In Proc. 9th IWA Symposium on Systems Analysis and Integrated Assessment, 2015.
-
Full speed ahead: Detailed architectural simulation at near-native speed
. In Proc. 18th International Symposium on Workload Characterization, pp 183-192, IEEE Computer Society, 2015. (DOI
).
-
Multi-rate uplink channel prediction and enhanced link adaptation for VoLTE
. In Proc. 82nd Vehicular Technology Conference, IEEE, Piscataway, NJ, 2015. (DOI
).
-
Information systems for cooperation in operational train traffic control
. In Procedia Manufacturing, volume 3, pp 2882-2888, 2015. (DOI
, Fulltext
).
-
Energy Efficiency as an Orchestration Service for Mobile Internet of Things
. In , pp 155-162, 2015. (DOI
).
-
Contextual Healing: Privacy through Interpretation Management
. In 2015 Ieee International Conference On Smart City/Socialcom/Sustaincom (Smartcity), pp 360-365, IEEE, 2015. (DOI
).
-
The Other Side of Privacy: Surveillance in Data Control
. In British HCI 2015, pp 184-192, 2015. (DOI
).
-
Image processing on optimal volume sampling lattices: Thinking outside the box
Bildbehandling på optimala samplingsgitter: Att tänka utanför ramen
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1314, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext
, preview image
).
-
Conflict-Directed Graph Coverage
. In NASA FORMAL METHODS (NFM 2015), volume 9058 of Lecture Notes in Computer Science, pp 327-342, 2015. (DOI
).
-
Constraint solving on bounded string variables
. In Integration of AI and OR Techniques in Constraint Programming, volume 9075 of Lecture Notes in Computer Science, pp 375-392, Springer, 2015. (DOI
).
-
Digital Contact Tools in Professional Life: What Governs the Choice?
. In Selected Papers of Internet Research 16, 2015. (External link
, fulltext:print
).
-
Fast evaluation of the robust stochastic watershed
. In Mathematical Morphology and Its Applications to Signal and Image Processing, volume 9082 of Lecture Notes in Computer Science, pp 705-716, Springer, 2015. (DOI
).
-
Fully automatic evaluation of the corneal endothelium from in vivo confocal microscopy
. In BMC Medical Imaging, volume 15, 2015. (DOI
, Fulltext
).
-
Long Term Parking (LTP): Criticality-aware Resource Allocation in OOO Processors
. In Proc. 48th International Symposium on Microarchitecture, pp 334-346, 2015. (DOI
).
-
Investigating the types and effects of missing data in multilayer networks
. In International Conference on Advances in Social Networks Analysis and Mining (ASONAM), pp 392-399, 2015.
-
Understanding community patterns in large attributed social networks
. In Proceedings Of The 2015 IEEE/ACM International Conference On Advances In Social Networks Analysis And Mining (Asonam 2015), pp 1503-1508, 2015. (DOI
).
-
Radial basis function partition of unity methods for pricing vanilla basket options
. Technical report / Department of Information Technology, Uppsala University nr 2015-001, 2015. (fulltext
).
-
Automated Image Acquisition and Particle Size Distribution in the MiniTEM Instrument
. In , 2015.
-
A quantitative assessment of the Hadoop framework for analyzing massively parallel DNA sequencing data
. In GigaScience, volume 4, 2015. (DOI
, Fulltext
, Erratum
, fulltext:print
).
-
Från informationsbehandling till informationsteknologi: Institutionen för informationsteknologi söker sina rötter
. Volume 104 of Skrifter rörande Uppsala universitet. C, Organisation och historia, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext
, preview image
).
-
Realization of adiabatic Aharonov–Bohm scattering with neutrons
. In Physical Review A. Atomic, Molecular, and Optical Physics, volume 92, number 5, pp 052108:1-5, 2015. (DOI
).
-
Three-Dimensional Eyeball and Orbit Volume Modification After LeFort III Midface Distraction
. In The Journal of craniofacial surgery (Print), volume 26, number 5, pp 1652-1655, 2015. (DOI
).
-
Frequency domain EIV identification combining the Frisch Scheme and Yule-Walker equations
. In 2015 European Control Conference (Ecc), pp 2038-2043, IEEE, 2015. (DOI
).
-
Frequency domain EIV identification combiningthe Frisch scheme and Yule-Walker equations
. In European Control Conference, Linz, Austria, 2015.
-
Experiences with workflows for automating data-intensive bioinformatics
. In Biology Direct, volume 10, 2015. (DOI
, Fulltext
).
-
Effect of pre-fixation delay and freezing on mink testicular endpoints for environmental research
. In PLOS ONE, volume 10, number 5, 2015. (DOI
, fulltext:print
).
-
Wave packet simulations of antiproton scattering on molecular hydrogen
. In Journal of Physics B: Atomic, Molecular and Optical Physics, volume 48, number 19, pp 195204:1-7, 2015. (DOI
).
-
Combinatorial abstraction refinement for feasibility analysis of static priorities
. In Real-time systems, volume 51, number 6, pp 639-674, 2015. (DOI
).
-
Graph-based models for real-time workload: a survey
. In Real-time systems, volume 51, number 5, pp 602-636, 2015. (DOI
).
-
System components of a general theory of software engineering
. In Science of Computer Programming, volume 101, pp 42-65, 2015. (DOI
).
-
Marginalizing Gaussian process hyperparameters using sequential Monte Carlo
. In Proc. 6th International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, pp 477-480, IEEE, Piscataway, NJ, 2015. (DOI
, fulltext:postprint
).
-
Nonlinear state space model identification using a regularized basis function expansion
. In Proc. 6th International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, pp 481-484, IEEE, Piscataway, NJ, 2015. (DOI
).
-
Nonlinear state space smoothing using the conditional particle filter
. In Proc. 17th IFAC Symposium on System Identification, volume 48:28 of IFAC-PapersOnLine, pp 975-980, International Federation of Automatic Control, 2015. (DOI
).
-
Teaching and learning system thinking in technology
. In Plurality and Complementarity of Approaches in Design and Technology Education, pp 404-409, Presses Universitaires de Provence, Marseille, 2015. (External link
, fulltext:print
).
-
Asymmetric supercapacitors based on carbon nanofibre and polypyrrole/nanocellulose composite electrodes
. In RSC Advances, volume 5, number 21, pp 16405-16413, 2015. (DOI
).
-
Estimation of linear deformations of 2D and 3D fuzzy objects
. In Pattern Recognition, volume 48, number 4, pp 1391-1403, 2015. (DOI
).
-
Model-based temperature control of a selective catalytic reduction system
. In IET Control Theory & Applications, volume 9, number 2, pp 211-221, 2015. (DOI
).
-
Sensor-based Breakage Detection for Electric Fences
. In Sensors Applications Symposium (SAS), pp 137-140, IEEE, 2015. (DOI
).
-
A structured approach to master thesis writing
. In Conference for University Pedagogical Development, Uppsala University, Uppsala, Sweden, 2015. (External link
).
-
Connectivism and the use of technology/media in collaborative teaching and learning
. In From the Confucian Way to Collaborative Knowledge Co-Construction, volume 142 of New Directions for Teaching and Learning, pp 81-96, John Wiley & Sons, Hoboken, NJ, 2015.
-
Engaging school students with tangible devices: Pilot project with .NET gadgeteer
. In Proc. 3rd International Conference on Learning and Teaching in Computing and Engineering, pp 112-119, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI
).
-
Integrating international students into CS programs
. In Proc. 1st Al Baha University and Uppsala University Symposium on Quality in Computing Education, volume 2015-007 of Technical report / Department of Information Technology, Uppsala University, pp 6-8, 2015. (Proceedings
).
-
Introducing Educational Technologies to Teachers: Experience Report
. In Journal of University Teaching and Learning Practice, volume 12, number 1, pp 5:1-13, 2015. (External link
).
-
A scalable RBF–FD method for atmospheric flow
. In Journal of Computational Physics, volume 298, pp 406-422, 2015. (DOI
, fulltext:postprint
).
-
Resource-aware task scheduling
. In ACM Transactions on Embedded Computing Systems, volume 14, number 1, pp 5:1-25, 2015. (DOI
, Fulltext
).
-
SuperGlue: A shared memory framework using data versioning for dependency-aware task-based parallelization
. In SIAM Journal on Scientific Computing, volume 37, pp C617-C642, 2015. (DOI
, fulltext:print
).
-
Scaling predictive modeling in drug development with cloud computing
. In Journal of Chemical Information and Modeling, volume 55, pp 19-25, 2015. (DOI
).
-
Accelerating COBAYA3 on multi-core CPU and GPU systems using PARALUTION
. In Annals of Nuclear Energy, volume 82, pp 252-259, 2015. (DOI
).
-
Transparent inclusion, utilization, and validation of main memory domain indexes
. In Proc. 27th International Conference on Scientific and Statistical Database Management, ACM Press, New York, 2015. (DOI
).
-
The GMOC Model: Supporting Development of Systems for Human Control
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1237, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext
, preview image
).
-
On Identification via EM with Latent Disturbances and Lagrangian Relaxation
. In , pp 69-74, 2015. (DOI
, External link
).
-
Micro-Architecture Independent Analytical Processor Performance and Power Modeling
. In 2015 IEEE International Symposium on Performance Analysis and Software (ISPASS), IEEE International Symposium on Performance Analysis of Systems and Software-ISPASS, pp 32-41, 2015.
-
Coordination of Wireless Sensor Networks using Visible Light
. In SenSys '15 Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, pp 421-422, 2015. (DOI
, External link
).
-
Directional Transmissions and Receptions for High-throughput Bulk Forwarding in Wireless Sensor Networks
. In Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, pp 351-364, 2015. (DOI
, Fulltext
, fulltext:print
).
-
Role and position detection in networks: reloaded
. In International Conference on Advances in Social Networks Analysis and Mining (ASONAM), pp 320-325, 2015.
-
Case Study 1: Using widget bundles for formal learning in higher education
. In Responsive Open Learning Environments: Outcomes of Research from the ROLE Project, pp 79-113, Springer, 2015. (DOI
, Fulltext
).
-
Elastic wave propagation in complex geometries: A qualitative comparison between two high order finite difference methods
. In Computing Research Repository, number 1511.07596, 2015. (DOI
). Publication status: Submitted
-
Formulae and software for particular solutions to the elastic wave equation in curved geometries
. In Journal of Computational Physics, 2015. Publication status: Submitted
-
Interface waves in almost incompressible elastic materials
. In Journal of Computational Physics, volume 303, pp 313-330, 2015. (DOI
, fulltext:postprint
).
-
Large scale style based dating of medieval manuscripts
. In Proc. 3rd International Workshop on Historical Document Imaging and Processing, pp 107-114, ACM Press, New York, 2015. (DOI
, fulltext:postprint
).
-
Writer identification using the Quill-Curvature feature in old manuscripts
. In Proceedings of SSBA, 2015, 2015.
-
Analysis of boundary and interface closures for finite difference methods for the wave equation
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2015-005, Uppsala University, 2015. (fulltext
).
-
The automatic detection and analysis of electrocardiogram based on Lorenz plot
. In Proc. 12th International Conference on Robotics and Biomimetics, pp 644-649, IEEE, Piscataway, NJ, 2015. (DOI
).
-
dRTI: Directional Radio Tomographic Imaging
. In Proceedings of the 14th International Conference on Information Processing in Sensor Networks, IPSN ’15, pp 166-177, 2015. (DOI
).
-
Diffusion-based three-dimensional reconstruction of complex surface using monocular vision
. In Optics Express, volume 23, number 23, pp 30364-30378, 2015. (DOI
, Fulltext
).
-
Efficient shape reconstruction of microlens using optical microscopy
. In IEEE Transactions on Industrial Electronics, volume 62, number 12, pp 7655-7664, 2015. (DOI
).
-
A Game Theoretic Approach to Sensor Data Communications in an Opportunistic Network
. In Proc. International Conference on Communications: ICC 2015, IEEE International Conference on Communications, pp 6306-6311, IEEE, Piscataway, NJ, 2015. (DOI
).
-
Considering Multi-Contact Encounters in Opportunistic Networks
. In Proceedings of the 10th ACM MobiCom Workshop on Challenged Networks, ACM Digital Library, 2015. (DOI
).
-
How mobile phones affect the sustainability of the work/life balance of their users
. In Foundations of Augmented Cognition, volume 9183 of Lecture Notes in Computer Science, pp 393-400, Springer, 2015. (DOI
).
-
Constraints in nonlinear <em>L</em><sub>2</sub>-stable networked control
. Technical report / Department of Information Technology, Uppsala University nr 2015-013, Uppsala University, Uppsala, 2015. (fulltext
).
-
Constraints on nonlinear <em>L</em><sub>2</sub>-stable networked control
. Technical report / Department of Information Technology, Uppsala University nr 2015-013, Uppsala universitet, 2015. (Report in full-text
, fulltext
).
-
Implication of RF EMF exposure limitations on 5G data rates above 6 GHz
. In Proc. 82nd Vehicular Technology Conference, IEEE, Piscataway, NJ, 2015. (DOI
).
-
Low-frequency limitations in saturated and delayed networked control
. In Proc. International Conference on Control Applications: CCA 2015, pp 569-576, IEEE, Piscataway, NJ, 2015. (DOI
).
-
Model order and identifiability of non-linear biological systems in stable oscillation
. In IEEE/ACM Transactions on Computational Biology & Bioinformatics, volume 12, number 6, pp 1479-1484, 2015. (DOI
).
-
Nonlinear identification of biological clock dynamics
. In Proc. 54th Conference on Decision and Control, pp 602-608, IEEE, Piscataway, NJ, 2015. (DOI
).
-
Nonlinear identification of neuron models
. In Proc. International Conference on Control Applications: CCA 2015, pp 1340-1346, IEEE, Piscataway, NJ, 2015. (DOI
).
-
Wireless interference power estimation for inter-cell interference coordination
. In IET Communications, volume 9, number 12, pp 1539-1546, 2015. (DOI
).
-
A novel word segmentation method based on object detection and deep learning
. In Advances in Visual Computing: 11th International Symposium, ISVC 2015, Las Vegas, NV, USA, December 14-16, 2015, Proceedings, Part I, volume 9474 of Lecture Notes in Computer Science, pp 231-240, Springer, 2015. (DOI
, fulltext:postprint
).
-
Experiments on Large Scale Document Visualization using Image-based Word Clouds
. Technical report / Department of Information Technology, Uppsala University nr 2015-022, 2015. (fulltext
).
-
Visualizing document image collections using image-based word clouds
. In Advances in Visual Computing: 11th International Symposium, ISVC 2015, Las Vegas, NV, USA, December 14-16, 2015, Proceedings, Part I, volume 9474 of Lecture Notes in Computer Science, pp 297-306, Springer, 2015. (DOI
, fulltext:postprint
).
-
Image Segmentation, Processing and Analysis in Microscopy and Life Science
. In Mathematical Models in Biology: Bringing Mathematics to Life, pp 1-16, Springer, 2015. (DOI
).
-
Bayesian nonparametric identification of piecewise affine ARX systems
. In , pp 709-714, 2015. (DOI
, External link
).
-
Collaborative Localization in Participatory Sensing with Load Balancing
. In 2015 IEEE 23Rd International Symposium On Quality Of Service (IWQOS), pp 61-62, 2015.
-
Energy-efficient Collaborative Localization for Participatory Sensing System
. In 2015 IEEE Global Communications Conference (Globecom), 2015.
-
Design degrees of freedom in a hybrid observer for a continuous plant under an intrinsic pulse-modulated feedback
. In , volume 48:11 of IFAC-PapersOnLine, pp 1080-1085, 2015. (DOI
).
-
Finite-dimensional hybrid observer for delayed impulsive model of testosterone regulation
. In Mathematical problems in engineering (Print), volume 2015, pp 190463:1-12, 2015. (DOI
, Fulltext
).
-
State estimation in a delayed impulsive model of testosterone regulation by a finite-dimensional hybrid observer
. In Proc. 14th European Control Conference, pp 1450-1455, IEEE, 2015. (DOI
).
-
Vulnerable Friend Identification: Who Should You Beware of Most in Online Social Networks
. In 2015 IEEE Global Communications Conference (Globecom), 2015.
-
Vulnerable friend identification: Who should you beware of most in online social networks?
. In 2015 Ieee Global Communications Conference (Globecom), IEEE Global Communications Conference, IEEE, 2015. (DOI
).
-
Generalized Vandermonde decomposition and its use for multi-dimensional super-resolution
. In Proc. International Symposium on Information Theory: ISIT 2015, pp 2011-2015, Institute of Electrical and Electronics Engineers (IEEE), Piscataway, NJ, 2015. (DOI
).
-
Cramér–Rao bound analog of Bayes' rule
. In IEEE signal processing magazine (Print), volume 32, number 2, pp 164-168, 2015. (DOI
).
-
Online hyperparameter-free sparse estimation method
. In IEEE Transactions on Signal Processing, volume 63, number 13, pp 3348-3359, 2015. (DOI
).
-
An efficient multi-step iterative method for computing the numerical solution of systems of nonlinear equations associated with ODEs
. In Applied Mathematics and Computation, volume 250, pp 249-259, 2015. (DOI
).
-
Higher order multi-step iterative method for computing the numerical solution of systems of nonlinear equations: Application to nonlinear PDEs and ODEs
. In Applied Mathematics and Computation, volume 269, pp 972-987, 2015. (DOI
).
-
Fault detection of DO sensors subject to possible clogging
. In Proc. 9th IWA Symposium on Systems Analysis and Integrated Assessment, 2015.
-
Gaussian process regression for monitoring a secondary settler
. In Proc. 2nd IWA Conference on New Developments in IT & Water, IWA Publishing, 2015.
-
Optimal steady-state design of zone volumes of bioreactors with Monod growth kinetics
. In Biochemical engineering journal, volume 100, pp 59-66, 2015. (DOI
).
-
Time-optimal convergecast with separated packet copying: Scheduling policies and performance
. In IEEE Transactions on Vehicular Technology, volume 64, number 2, pp 793-803, 2015. (DOI
).
-
Green Small Cell Planning in Smart Cities under Dynamic Traffic Demand
. In 2015 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), IEEE Conference on Computer Communications Workshops, pp 618-623, 2015.
-
Green Internet of Things for Smart World
. In IEEE Access, volume 3, pp 2151-2162, 2015. (DOI
, Fulltext
).
-
Pricing Models for Sensor-Cloud
. In 2015 IEEE 7Th International Conference On Cloud Computing Technology And Science (Cloudcom), pp 454-457, 2015. (DOI
).
-
Scalable queries over log database collections
. In Data Science, volume 9147 of Lecture Notes in Computer Science, pp 173-185, Springer, 2015. (DOI
).
-
Automatic recovery from nonlinear oscillations in PID-controlled anesthetic drug delivery
. In 2015 European Control Conference (Ecc), pp 2725-2730, IEEE, 2015. (DOI
).
-
Bifurcation analysis of PID-controlled neuromuscular blockade in closed-loop anesthesia
. In Journal of Process Control, volume 25, pp 152-163, 2015. (DOI
).
-
Multistability and hidden attractors in an impulsive Goodwin oscillator with time delay
. In The European Physical Journal Special Topics, volume 224, number 8, pp 1519-1539, 2015. (DOI
).
-
Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering
. In The Journal of logical and algebraic methods in programming, volume 85, number 1, pp 123-124, 2015. (DOI
).
-
Adaptive finite differences and IMEX time-stepping to price options under Bates model
. In International Journal of Computer Mathematics, volume 92, pp 2515-2529, 2015. (DOI
, fulltext:postprint
).
-
BENCHOP—The BENCHmarking project in Option Pricing
. In International Journal of Computer Mathematics, volume 92, pp 2361-2379, 2015. (DOI
, fulltext:postprint
).
-
Automatic Water Body Extraction From Remote Sensing Images Using Entropy
. In SGEM2015 Conference Proceedings, International Multidisciplinary Scientific GeoConference-SGEM, pp 517-524, 2015. (DOI
).
-
Measuring Polymorphism in Python Programs
. In DLS 2015: Proceedings of the 11th Symposium on Dynamic Languages, volume 51:2 2016 of ACM SIGPLAN Notices, pp 114-128, ACM Press, New York, 2015. (DOI
).
-
Deterministic parallel graph coloring with repartitioning by auxiliary graph coloring
. Technical report / Department of Information Technology, Uppsala University nr 2015-035, 2015. (fulltext
).