Publications 2017
-
An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures
. In International Journal on Software Tools for Technology Transfer, volume 19, number 5, pp 549-563, SPRINGER HEIDELBERG, 2017. (DOI
).
-
Comparing source sets and persistent sets for partial order reduction
. In Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, volume 10460 of Lecture Notes in Computer Science, pp 516-536, Springer, 2017. (DOI
).
-
Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction
. In Journal of the ACM, volume 64, number 4, Association for Computing Machinery (ACM), 2017. (DOI
).
-
Context-bounded analysis for POWER
. In Tools and Algorithms for the Construction and Analysis of Systems: Part II, volume 10206 of Lecture Notes in Computer Science, pp 56-74, Springer, 2017. (DOI
, External link
).
-
Flatten and Conquer: A Framework for Efficient Analysis of String Constraints
. In SIGPLAN notices, volume 52, number 6, pp 602-617, 2017. (DOI
).
-
Stateless model checking for TSO and PSO
. In Acta Informatica, volume 54, number 8, pp 789-818, 2017. (DOI
).
-
Synthesis of Ada code from graph-based task models
. In Proc. 32nd ACM Symposium on Applied Computing, pp 1467-1472, ACM Press, New York, 2017. (DOI
).
-
Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems
. In MODELS, ALGORITHMS, LOGICS AND TOOLS: ESSAYS DEDICATED TO KIM GULDSTRAND LARSEN ON THE OCCASION OF HIS 60TH BIRTHDAY, volume 10460 of Lecture Notes in Computer Science, pp 623-639, SPRINGER INTERNATIONAL PUBLISHING AG, 2017. (DOI
).
-
Automated segmentation of lung field in HRCT images using active shape model
. In Proc. 37th Region 10 Conference, pp 2516-2520, IEEE, 2017. (DOI
).
-
A meshfree approach to non-Newtonian free surface ice flow: Application to the Haut Glacier d'Arolla
. In Journal of Computational Physics, volume 330, pp 633-649, 2017. (DOI
).
-
Are the eigenvalues of preconditioned banded symmetric Toeplitz matrices known in almost closed form?
. Technical report / Department of Information Technology, Uppsala University nr 2017-012, 2017. (fulltext
).
-
Higher order derivative-free iterative methods with and without memory for systems of nonlinear equations
. In Applied Mathematics and Computation, volume 314, pp 199-211, 2017. (DOI
).
-
User experience in social human–robot interaction
. In International Journal of Ambient Computing and Intelligence (IJACI), volume 8, number 2, pp 12-31, 2017. (DOI
).
-
Why do female students choose to study CS in the Kingdom of Saudi Arabia?
. In Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 49-53, IEEE Computer Society, 2017. (DOI
, fulltext:postprint
).
-
A Taxonomy of Out-of-Order Instruction Commit
. In 2017 Ieee International Symposium On Performance Analysis Of Systems And Software (Ispass), pp 135-136, IEEE Computer Society, Los Alamitos, 2017. (DOI
).
-
Exploring the performance limits of out-of-order commit
. In Proc. 14th Computing Frontiers Conference, pp 211-220, ACM Press, New York, 2017. (DOI
, attachment:print
).
-
An Ontology-based Context-aware System for Smart Homes: E-care@ home
. In Sensors, volume 17, number 7, 2017.
-
Automated deep-phenotyping of the vertebrate brain
. In eLIFE, volume 6, 2017. (DOI
, Fulltext
).
-
Efficient Simulation of Wave Phenomena
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1463, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext
, preview image
).
-
Multilevel local time-stepping methods of Runge–Kutta-type for wave equations
. In SIAM Journal on Scientific Computing, volume 39, pp A2020-A2048, 2017. (DOI
).
-
Addressing energy challenges in filter caches
. In Proc. 29th International Symposium on Computer Architecture and High Performance Computing, pp 49-56, IEEE Computer Society, 2017. (DOI
).
-
MiniZinc with strings
. In Logic-Based Program Synthesis and Transformation, volume 10184 of Lecture Notes in Computer Science, pp 59-75, Springer, 2017. (DOI
).
-
Defining gestural interactions for large vertical touch displays
. In Human-Computer Interaction – INTERACT 2017, volume 10513 of Lecture Notes in Computer Science, pp 36-55, Springer, 2017. (DOI
).
-
Tool use and collaborative work of dock assembly in practice
. In Production & Manufacturing Research, volume 5, number 1, pp 164-190, 2017. (DOI
, Fulltext
, fulltext:print
).
-
Towards a distributed cognition perspective of the Swedish train traffic system
. In Proceedings of the 13th SweCog Conference, pp 37-39, Högskolan i Skövde, 2017. (Proceedings
, fulltext:postprint
).
-
A hybrid method for the imputation of genomic data in livestock populations
. In Genetics Selection Evolution, volume 49, 2017. (DOI
, Fulltext
).
-
An energy based discontinuous Galerkin method for acoustic–elastic waves
. In Proc. 13th International Conference on Mathematical and Numerical Aspects of Wave Propagation, pp 389-390, University of Minnesota Press, Minneapolis, MN, 2017.
-
An explicit Hermite–Taylor method for the Schrödinger equation
. In Communications in Computational Physics, volume 21, pp 1207-1230, 2017. (DOI
).
-
Estimates for the upscaling error in heterogeneous multiscale methods for wave propagation problems in locally periodic media
. In Multiscale Modeling & simulation, volume 15, pp 948-976, 2017. (DOI
).
-
Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking
. In , volume 10510 of Lecture Notes in Computer Science, pp 227-242, Springer, Cham, 2017. (DOI
, fulltext:postprint
).
-
The shared-memory interferences of Erlang/OTP built-ins
. In Proceedings Of The 16Th Acm Sigplan International Workshop On Erlang (Erlang '17), pp 43-54, Association for Computing Machinery (ACM), New York, 2017. (DOI
, fulltext:postprint
).
-
Proceedings of the 13th SweCog Conference
. University of Skövde, Skövde, 2017.
-
Vad är det trafikledarna gör som automationen inte klarar?: Tågtrafikstyrning med människan i centrum
. KAJT-rapport, Uppsala universitet, 2017. (fulltext
).
-
Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM ' 15)
. In Science of Computer Programming, volume 137, pp 1-1, ELSEVIER SCIENCE BV, 2017. (DOI
).
-
Balancing between the conflicting interests of different stakeholders in research
. In European Business Ethics Network: Research, Deree, American College of Greece College, Athens, 2017. (External link
).
-
Robots as companions in feelings and discussions
. In Retfærdighed – Justice, Robophilosophy, pp 42-42, Copenhagen, 2017. (External link
).
-
Data Packet Transmission through Fat Tissue for Wireless Intra-Body Networks
. In IEEE Journal of Electromagnetics, RF and Microwaves in Medicine and Biology, volume 1, number 2, pp 43-51, 2017. (DOI
, fulltext:postprint
).
-
Human fat tissue: A microwave communication channel
. In Proc. 1st MTT-S International Microwave Bio Conference, IEEE, 2017. (DOI
).
-
Intra-body microwave communication through adipose tissue
. In Healthcare Technology Letters, volume 4, number 4, pp 115-121, 2017. (DOI
, Fulltext
, fulltext:print
).
-
Reliability of the fat tissue channel for intra-body microwave communication
. In 2017 IEEE Conference on Antenna Measurements & Applications (CAMA), IEEE Conference on Antenna Measurements & Applications, pp 310-313, IEEE, 2017. (DOI
, fulltext:postprint
).
-
Mathematical Morphology on Irregularly Sampled Signals
. In Computer Vision – ACCV 2016 Workshops. ACCV 2016, volume 10117 of Lecture Notes in Computer Science, pp 506-520, Springer, 2017. (DOI
).
-
Mathematical morphology on irregularly sampled data in one dimension
. In Mathematical Morphology - Theory and Applications, volume 2, number 1, pp 1-24, 2017. (DOI
, Fulltext
).
-
Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete
. In International Journal of Foundations of Computer Science, volume 28, number 8, pp 945-975, 2017. (DOI
).
-
On the Upward/Downward Closures of Petri Nets?
. In 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), volume 83 of Leibniz International Proceedings in Informatics (LIPIcs), pp 49:1-49:14, Dagstuhl, Germany, 2017. (DOI
, External link
).
-
Parity Games on Bounded Phase Multi-pushdown Systems
. In Networked Systems: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings, volume 10299 of Lecture Notes in Computer Science, pp 272-287, Cham, 2017. (DOI
).
-
Verification of Asynchronous Programs with Nested Locks
. In 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, volume 93 of Leibniz International Proceedings in Informatics (LIPIcs), pp 11:1-11:14, Dagstuhl, Germany, 2017.
-
A preconditioner for optimal control problems, constrained by Stokes equation with a time-harmonic control
. In Journal of Computational and Applied Mathematics, volume 310, pp 5-18, 2017. (DOI
, fulltext:postprint
).
-
A robust structured preconditioner for time-harmonic parabolic optimal control problems
. Technical report / Department of Information Technology, Uppsala University nr 2017-014, 2017. (fulltext
).
-
Comparison of preconditioned Krylov subspace iteration methods for PDE-constrained optimization problems: Stokes control
. In Numerical Algorithms, volume 74, pp 19-37, 2017. (DOI
, fulltext:postprint
).
-
Parallel solution methods and preconditioners for evolution equations
. Technical report / Department of Information Technology, Uppsala University nr 2017-017, 2017. (fulltext
).
-
Document Binarization Combining with Graph Cuts and Deep Neural Networks
. In , 2017. (fulltext:postprint
).
-
Historical document binarization combining semantic labeling and graph cuts
. In Image Analysis: Part I, volume 10269 of Lecture Notes in Computer Science, pp 386-396, Springer, 2017. (DOI
, fulltext:postprint
).
-
Semantic Labeling using Convolutional Networks coupled with Graph-Cuts for Document binarization
. In , 2017. (fulltext:postprint
).
-
Data Multi-Pushdown Automata
. In The 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, volume 85 of Leibniz International Proceedings in Informatics (LIPIcs), pp 38:1-38:17, Dagstuhl, Germany, 2017. (DOI
).
-
Proc. 10th Interaction and Concurrency Experience
. Volume 261 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017. (DOI
, Fulltext
).
-
Parallelism in Event-Based Computations with Applications in Biology
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1586, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext
, preview image
).
-
Preparing tomorrow's software engineers for work in a global environment
. In IEEE Software, volume 34, number 1, pp 9-12, 2017. (DOI
).
-
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
. Volume 10125 of Lecture Notes in Computer Science, Springer, 2017. (DOI
).
-
Computer-aided diagnostics in digital pathology
. In Cytometry Part A, volume 91, number 6, pp 551-554, 2017. (DOI
).
-
Image processing and its hardware support: Analysis vs synthesis - historical trends
. In Image Analysis, SCIA 2017, Pt I, pp 3-14, Switzerland, 2017. (DOI
).
-
A Join Operator for Property Graphs
. In EDBT/ICDT Workshops, 2017.
-
Numerical solution of the viscous flow past a cylinder with a non-global yet spectrally convergent meshless collocation method
. In Spectral and High Order Methods for Partial Differential Equations: ICOSAHOM 2016, volume 119 of Lecture Notes in Computational Science and Engineering, pp 495-507, Springer, 2017. (DOI
).
-
Optimizing a multigrid Runge–Kutta smoother for variable-coefficient convection–diffusion equations
. In Linear Algebra and its Applications, volume 533, pp 507-535, 2017. (DOI
).
-
Deriving Probability Density Functions from Probabilistic Functional Programs
. In Logical Methods in Computer Science, volume 13, number 2, 2017. (DOI
, Fulltext
).
-
Spectral analysis of finite-difference approximations of 1-d waves in non-uniform grids
. Technical report / Department of Information Technology, Uppsala University nr 2017-013, 2017. (fulltext
).
-
System identification through online sparse Gaussian process regression with input noise
. In IFAC Journal of Systems and Control, volume 2, pp 1-11, 2017. (DOI
).
-
A web application to analyse and visualize digital images at multiple resolutions
. In , 2017.
-
Decoding gene expression in 2D and 3D
. In Image Analysis: Part II, volume 10270 of Lecture Notes in Computer Science, pp 257-268, Springer, 2017. (DOI
, fulltext:postprint
).
-
Quantitative high-content/high-throughput microscopy analysis of lipid droplets in subject-specific adipogenesis models
. In Cytometry Part A, volume 91, number 11, pp 1068-1077, 2017. (DOI
).
-
Employing attribute-based encryption in systems with resource constrained devices in an information-centric networking context
. In 2017 Global Internet of Things Summit (GIoTS), pp 397-402, IEEE, 2017. (DOI
).
-
Adaptive cache warming for faster simulations
. In Proc. 9th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, ACM Press, New York, 2017. (DOI
, Fulltext
, fulltext:print
).
-
Mining for Safety using Interactive Trace Analysis
. In Pre-Proceedings - Fifteenth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2017. (Pre-Proceedings
, fulltext:print
).
-
Spencer: Interactive Heap Analysis for the Masses
. In 2017 IEEE/ACM 14th International Conference on Mining Software Repositories (MSR 2017), IEEE International Working Conference on Mining Software Repositories, pp 113-123, IEEE, 2017. (DOI
, External link
, fulltext:postprint
).
-
Constrained SPICE in Volterra–Laguerre modeling of human smooth pursuit
. In Proc. 1st Conference on Control Technology and Applications, pp 13-18, IEEE, 2017. (DOI
, fulltext:postprint
).
-
Nonlinear dynamics of the human smooth pursuit system in health and disease: Model structure and parameter estimation
. In Proc. 56th Conference on Decision and Control, pp 4692-4697, IEEE, 2017. (DOI
, fulltext:postprint
).
-
A fast direct solver for the advection–diffusion equation using low-rank approximation of the Green's function
. In Spectral and High Order Methods for Partial Differential Equations: ICOSAHOM 2016, volume 119 of Lecture Notes in Computational Science and Engineering, pp 423-435, Springer, 2017. (DOI
).
-
Exploration of Toeplitz-like matrices with unbounded symbols is not a purely academic journey
. In Sbornik. Mathematics, volume 208, number 11, pp 1602-1627, 2017. (DOI
).
-
Unexpected student behaviour and learning opportunities: Using the theory of planned behaviour to analyse a critical incident
. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI
).
-
Large-scale virtual screening on public cloud resources with Apache Spark
. In Journal of Cheminformatics, volume 9, 2017. (DOI
, Fulltext
).
-
Transcending hardware limits with software out-of-order processing
. In IEEE Computer Architecture Letters, volume 16, number 2, pp 162-165, 2017. (DOI
).
-
Modelling and verification of user interactions using constraint programming
. In Proc. 3rd International Conference on Software Quality, Reliability and Security, pp 541-547, IEEE Computer Society, 2017. (DOI
).
-
Model order selection rules for covariance structure classification in radar
. In IEEE Transactions on Signal Processing, volume 65, number 20, pp 5305-5317, 2017. (DOI
).
-
A comprehensive structural, biochemical and biological profiling of the human NUDIX hydrolase family
. In Nature Communications, volume 8, number 1, 2017. (DOI
, Fulltext
, fulltext:print
).
-
Actors without Borders: Amnesty for Imprisoned State
. In , pp 10-20, 2017. (DOI
, Fulltext
, Fulltext
, fulltext:postprint
).
-
Reference Capabilities for Concurrency & Scalability: an Experience Report
. In , 2017. (fulltext:preprint
).
-
Relaxed Linear References for Lock-free Data Structures
. In , pp 47:1-47:31, 2017. (DOI
, Fulltext
, External link
, fulltext:postprint
).
-
Types for CAS: Relaxed Linearity with Ownership Transfer
. 2017.
-
Detecting perceived quality of interaction with a robot using contextual features
. In Autonomous Robots, volume 41, number 5, pp 1245-1261, 2017. (DOI
).
-
Analyzing Graphics Workloads on Tile-based GPUs
. In Proc. 20th International Symposium on Workload Characterization, pp 108-109, IEEE, 2017. (DOI
).
-
Exploring scheduling effects on task performance with TaskInsight
. In Supercomputing frontiers and innovations, volume 4, number 3, pp 91-98, 2017. (DOI
, Fulltext
).
-
How to make tasks faster: Revealing the complex interactions of tasks in the memory system
. In Proc. Companion 8th ACM International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, pp 1-3, ACM Press, New York, 2017. (DOI
).
-
Modeling the interactions between tasks and the memory system
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2017-002, Uppsala University, 2017. (fulltext
).
-
TaskInsight: Understanding task schedules effects on memory and performance
. In Proc. 8th International Workshop on Programming Models and Applications for Multicores and Manycores, pp 11-20, ACM Press, New York, 2017. (DOI
, Fulltext
).
-
Understanding the interplay between task scheduling, memory and performance
. In Proc. Companion 8th ACM International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, pp 21-23, ACM Press, New York, 2017. (DOI
).
-
A dedicated private-shared cache design for scalable multiprocessors
. In Concurrency and Computation, volume 29, number 2, 2017. (DOI
).
-
Learning to prove safety over parameterised concurrent systems
. In Proceedings of the 17th International Conference on Formal Methods in Computer-Aided Design, pp 76-83, IEEE, 2017. (DOI
, fulltext:postprint
).
-
Accurate and stable time stepping in ice sheet modeling
. In Journal of Computational Physics, volume 329, pp 29-47, 2017. (DOI
, fulltext:postprint
).
-
Non-linear modelling of the dissolved oxygen to ammonium dynamics in a nitrifying activated sludge process
. In Proc. 12th IWA Specialized Conference on Instrumentation, Control and Automation, pp 85-93, 2017.
-
Nonlinear system identification of the dissolved oxygen to effluent ammonia dynamics in an activated sludge process
. In , volume 50:1 of IFAC-PapersOnLine, pp 3917-3922, 2017. (DOI
).
-
Vascular sprouts induce local attraction of proangiogenic neutrophils
. In Journal of Leukocyte Biology, volume 102, pp 741-751, 2017. (DOI
).
-
Discrete-time mapping for an impulsive Goodwin oscillator with three delays
. In International Journal of Bifurcation and Chaos in Applied Sciences and Engineering, volume 27, number 12, 2017. (DOI
).
-
Spectral and convergence analysis of the discrete ALIF method
. Technical report / Department of Information Technology, Uppsala University nr 2017-018, 2017. (fulltext
).
-
Orca: GC and Type System Co-design for Actor Languages
. In Proceedings of the ACM on Programming Languages, volume 1, number OOPSLA, pp 1-28, ACM, 2017. (DOI
, Fulltext
, External link
, fulltext:print
).
-
Linguistic markers of a radicalized mind-set among extreme adopters
. In Proc. 10th ACM International Conference on Web Search and Data Mining, pp 823-824, ACM Press, New York, 2017. (DOI
).
-
Resource Aggregation for Task-Based Cholesky Factorization on Top of Heterogeneous Machines
. In Euro-Par 2016: Parallel processing workshops, volume 10104 of Lecture Notes in Computer Science, pp 56-68, Springer Nature, 2017. (DOI
).
-
Deep Brain Stimulation therapies: a control-engineering perspective
. In Proc. American Control Conference: ACC 2017, pp 104-109, IEEE, 2017. (DOI
).
-
Individualization of a surrounding tissue model in Deep Brain Stimulation
. In Proc. 56th Conference on Decision and Control, pp 5919-5924, IEEE, Piscataway, NJ, 2017. (DOI
).
-
Semi-Individualized electrical models in deep brain stimulation: A variability analysis
. In 2017 IEEE Conference on Control Technology and Applications (CCTA), pp 517-522, IEEE, 2017. (DOI
).
-
The Educator Identity and its Impact
. In SIGCSE '17 Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, ACM Digital Library, 2017. (DOI
).
-
Advances Towards Data-Race-Free Cache Coherence Through Data Classification
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1521, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext
, preview image
).
-
Scope-Aware Classification: Taking the hierarchical private/shared data classification to the next level
. Technical report / Department of Information Technology, Uppsala University nr 2017-008, 2017. (fulltext
).
-
The best of both works: A hybrid data-race-free cache coherence scheme
. 2017.
-
A survey of active object languages
. In ACM Computing Surveys, volume 50, number 5, Association for Computing Machinery (ACM), 2017. (DOI
).
-
Analysis and experimental evaluation of IEEE 802.15.4e TSCH CSMA-CA Algorithm
. In IEEE Transactions on Vehicular Technology, volume 66, number 2, pp 1573-1588, 2017. (DOI
).
-
Auto-tabling for subproblem presolving in MiniZinc
. In Constraints, volume 22, number 4, pp 512-529, 2017. (DOI
, Fulltext
).
-
Stability properties of a MIMO data flow controller
. University of Newcastle, Australia, 2017. (External link
).
-
Special issue on New Trends in Numerical Analysis: Theory, Methods, Algorithms and Applications (NETNA2015) Preface
. In Applied Numerical Mathematics, volume 116, pp 1-1, ELSEVIER SCIENCE BV, 2017. (DOI
).
-
Systematic predicate abstraction using variable roles
. In NASA Formal Methods, volume 10227 of Lecture Notes in Computer Science, pp 265-281, Springer, 2017. (DOI
, fulltext:postprint
).
-
Using rapid prototyping to explore design implications for a pill-dispensing social agent
. In Proc. 5th International Conference on Human Agent Interaction, pp 53-59, ACM Press, New York, 2017. (DOI
).
-
Cost-Optimal Caching for D2D Networks with Presence of User Mobility
. In GLOBECOM 2017 - 2017 IEEE Global Communications Conference, IEEE Global Communications Conference, IEEE, 2017. (DOI
).
-
Backstepping stabilization of the linearized Saint-Venant–Exner model
. In Automatica, volume 76, pp 345-354, 2017. (DOI
).
-
Control of shallow waves of two unmixed fluids by backstepping
. In Annual Reviews in Control, volume 44, pp 211-225, 2017. (DOI
).
-
Steady-state analyses of activated sludge processes with plug-flow reactor
. In Journal of Environmental Chemical Engineering, volume 5, number 1, pp 795-809, 2017. (DOI
).
-
Tremor Quantification through Event-based Movement Trajectory Modeling
. In 2017 IEEE CONFERENCE ON CONTROL TECHNOLOGY AND APPLICATIONS (CCTA 2017), pp 542-547, IEEE, 2017. (DOI
).
-
Function-based block multigrid strategy for a two-dimensional linear elasticity-type problem
. In Computers and Mathematics with Applications, volume 74, pp 1015-1028, 2017. (DOI
).
-
Symbol-based multigrid methods for Galerkin B-spline isogeometric analysis
. In SIAM Journal on Numerical Analysis, volume 55, pp 31-62, 2017. (DOI
).
-
Analysis and Implementation of Preconditioners for Prestressed Elasticity Problems: Advances and Enhancements
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1580, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext
, preview image
).
-
Function-based algebraic multigrid method for the 3D Poisson problem on structured meshes
. Technical report / Department of Information Technology, Uppsala University nr 2017-022, 2017. (fulltext
).
-
Hormonal contraceptive use affects HIV susceptibility: mechanisms revealed by image analysis
. In Scandinavian Journal of Immunology, volume 86, number 4, pp 281-281, 2017. (DOI
).
-
Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-hard
. In 2017 IEEE Real-Time Systems Symposium (RTSS)<em></em>, Real-Time Systems Symposium-Proceedings, pp 139-146, IEEE, 2017. (DOI
).
-
An interpolation–extrapolation algorithm for computing the eigenvalues of preconditioned banded symmetric Toeplitz matrices
. Technical report / Department of Information Technology, Uppsala University nr 2017-015, 2017. (fulltext
).
-
Are the eigenvalues of the B-spline IgA approximation of ?<em>?u</em> = <em>?u</em> known in almost closed form?
. Technical report / Department of Information Technology, Uppsala University nr 2017-016, 2017. (fulltext
).
-
Eigenvalues and eigenvectors of banded Toeplitz matrices and the related symbols
. Technical report / Department of Information Technology, Uppsala University nr 2017-010, 2017. (fulltext
).
-
Multiscale methods for problems with complex geometry
. In Computer Methods in Applied Mechanics and Engineering, volume 321, pp 103-123, 2017. (DOI
).
-
Data-driven computational disease spread modeling: from measurement to parametrization and control
. In Disease Modelling and Public Health: Part A, volume 36 of Handbook of Statistics, pp 305-328, Elsevier, 2017. (DOI
).
-
Multiscale simulation of stochastic reaction–diffusion networks
. In Stochastic Processes, Multiscale Modeling, and Numerical Methods for Computational Cellular Biology, pp 55-79, Springer, 2017. (DOI
).
-
Stability and strong convergence for spatial stochastic kinetics
. In Stochastic Processes, Multiscale Modeling, and Numerical Methods for Computational Cellular Biology, pp 109-125, Springer, 2017. (DOI
).
-
Single-cell analysis of human pancreas reveals transcriptional signatures of aging and somatic mutation patterns
. In Cell, volume 171, number 2, pp 321-330.e14, 2017. (DOI
).
-
Osteochondrosis, Synovial Fossae, and Articular Indentations in the Talus and Distal Tibia of Growing Domestic Pigs and Wild Boars
. In Veterinary pathology, volume 54, number 3, pp 445-456, 2017. (DOI
).
-
New computerized staging method to analyze mink testicular tissue in environmental research
. In Environmental Toxicology and Chemistry, volume 36, number 1, pp 156-164, 2017. (DOI
, Fulltext
, fulltext:print
).
-
Making batteries a first class element in the design and evaluation of embedded wireless systems
. In Proc. 14th International Conference on Embedded Wireless Systems and Networks, pp 242-243, ACM Digital Library, 2017.
-
Towards realistic lifetime estimation in battery-powered IoT devices
. In Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems Article No. 67, Association for Computing Machinery (ACM), 2017. (DOI
).
-
Efficient Drone Hijacking Detection using Onboard Motion Sensors
. In Proceedings Of The 2017 Design, Automation & Test In Europe Conference & Exhibition (DATE), Design Automation and Test in Europe Conference and Exhibition, pp 1414-1419, IEEE, 2017. (DOI
).
-
Affine killing: Semantics for stopping the ParT
. In Proc. 2nd International Workshop on Type-Driven Development, ACM Press, New York, 2017. (fulltext:postprint
).
-
IoT Data Profiles: The Routines of Your Life Reveals Who You Are
. In 2017 European Intelligence and Security Informatics Conference (EISIC), European Intelligence and Security Informatics Conference, pp 61-67, IEEE, 2017. (DOI
).
-
Analysis, synthesis and application of automaton-based constraint descriptions
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1591, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext
, preview image
, errata
).
-
Automatic generation of descriptions of time-series constraints
. In IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI), Proceedings-International Conference on Tools With Artificial Intelligence, pp 102-109, IEEE Computer Society, 2017. (DOI
).
-
You can have it all: abstraction and good cache performance
. In Onward! 2017: Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp 148-167, Association for Computing Machinery (ACM), 2017. (DOI
, fulltext:print
).
-
An exploratory study on the effect of auditory feedback on gaze behavior in a virtual throwing task with and without haptic feedback
. In Proc. 14th Sound and Music Computing Conference, pp 242-249, Aalto University, Finland, 2017. (Fulltext
).
-
Personalised human-robot co-adaptation in instructional settings using reinforcement learning
. In , 2017. (fulltext:postprint
).
-
Generalized Locally Toeplitz Sequences: Theory and Applications: Volume I
. Springer, 2017. (DOI
).
-
Generalized locally Toeplitz sequences: Theory and applications
. Technical report / Department of Information Technology, Uppsala University nr 2017-002, 2017. (fulltext
).
-
Lusin theorem, GLT sequences and matrix computations: An application to the spectral analysis of PDE discretization matrices
. In Journal of Mathematical Analysis and Applications, volume 446, pp 365-382, 2017. (DOI
).
-
Spectral analysis and spectral symbol of matrices in isogeometric Galerkin methods
. In Mathematics of Computation, volume 86, number 305, pp 1343-1373, 2017. (DOI
).
-
The theory of generalized locally Toeplitz sequences: a review, an extension, and a few representative applications
. In Large Truncated Toeplitz Matrices, Toeplitz Operators, and Related Topics, volume 259 of Operator Theory: Advances and Applications, pp 353-394, Springer, 2017. (DOI
).
-
Effective slip over partially filled microcavities and its possible failure
. Technical report / Department of Information Technology, Uppsala University nr 2017-019, 2017. (fulltext
).
-
Smoothed State Estimation via Efficient Solution of Linear Equations
. In IFAC-PapersOnLine, volume 50, number 1, pp 1613-1618, 2017. (DOI
).
-
Shortest Paths in Multiplex Networks
. In Scientific Reports, volume 7, 2017. (DOI
, Fulltext
, fulltext:print
).
-
One-bit Compressive Sampling with Time-Varying Thresholds for Multiple Sinusoids
. In 2017 IEEE 7th International Workshop on Computational Advances in Multi-Sensor Adaptive Processing (CAMSAP), IEEE, 2017. (DOI
).
-
Concolic testing for functional languages
. In Science of Computer Programming, volume 147, pp 109-134, 2017. (DOI
).
-
Increased numbers of CD103<sup>-</sup>CD8<sup>+</sup> T<sub>RM</sub> cells in the cervical mucosa of HIV-infected women
. In Scandinavian Journal of Immunology, volume 86, number 4, pp 288-289, 2017. (DOI
).
-
The role of chromatin density in cell population heterogeneity during stem cell differentiation
. In Scientific Reports, volume 7, pp 13307:1-11, 2017. (DOI
, Fulltext
).
-
A diversity lens on the last decade of the FIE conference: Role models for the engineering community
. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI
).
-
Experiences of teachers in computing as role models: a phenomenographic study
. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 133-137, ACM Press, New York, 2017. (DOI
).
-
Preface to special issue on satisfiability modulo theories
. In Formal methods in system design, volume 51, number 3, pp 431-432, 2017. (DOI
).
-
Using critical incidents in workshops to inform eHealth design
. In Human-Computer Interaction: Part I, volume 10513 of Lecture Notes in Computer Science, pp 364-373, Springer, 2017. (DOI
).
-
Convolutional neural networks for false positive reduction of automatically detected cilia in low magnification TEM images
. In Image Analysis: Part I, volume 10269 of Lecture Notes in Computer Science, pp 407-418, Springer, 2017. (DOI
).
-
False positive reduction of cilia detected in low resolution TEM images using a convolutional neural network
. In Swedish Symposium on Image Analysis, Swedish Society for Automated Image Analysis, 2017. (fulltext:print
).
-
Robust Tracking of Periodic Motion in the Plane using Inertial Sensor Data
. In Proceedings of IEEE Sensors 2017, IEEE Sensors, pp 1041-1043, IEEE, Glasgow, Scotland, 2017. (DOI
, fulltext:postprint
).
-
An efficient descriptor based on radial line integration for fast non invariant matching and registration of microscopy images
. In Advanced Concepts for Intelligent Vision Systems, volume 10617 of Lecture Notes in Computer Science, pp 723-734, Springer, 2017. (DOI
).
-
Introducing Programming and Digital Competence in Swedish K–9 Education
. In Informatics in Schools: Focus on Learning Programming, pp 117-128, Springer Nature, 2017. (DOI
, fulltext:postprint
).
-
Robustness analysis of spatiotemporal models in the presence of extrinsic fluctuations
. In SIAM Journal on Applied Mathematics, volume 77, pp 1157-1183, 2017. (DOI
).
-
Mesoscopic-microscopic spatial stochastic simulation with automatic system partitioning
. In Journal of Chemical Physics, volume 147, number 23, 2017. (DOI
, fulltext:print
).
-
Contrast independent localization of multiscale problems
. In Multiscale Modeling & simulation, volume 15, pp 1325-1355, 2017. (DOI
).
-
Numerical Methods for Darcy Flow Problems with Rough and Uncertain Data
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1495, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext
, preview image
).
-
Numerical homogenization of time-dependent diffusion
. 2017. (arXiv:1703.08857
).
-
A Platform for Teaching Sensor Fusion Using a Smartphone
. In International journal of engineering education, volume 33, number 2B, pp 781-789, 2017.
-
Protecting Glossy-based Wireless Networks from Packet Injection Attacks
. In Proceeding of the 2017 IEEE 14th International Conference on Mobile Ad Hoc and Sensor Systems (MASS), IEEE International Conference on Mobile Ad-hoc and Sensor Systems, pp 37-45, IEEE, Orlando, 2017. (DOI
).
-
Investigating design implications towards a social robot as a memory trainer
. In Proc. 5th International Conference on Human Agent Interaction, pp 5-10, ACM Press, New York, 2017. (DOI
).
-
Deciding and Interpolating Algebraic Data Types by Reduction
. In 2017 19th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC 2017), International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp 145-152, IEEE, New York, 2017. (DOI
).
-
A computational multiscale model for contact line dynamics
. 2017. (arXiv:1709.04917
).
-
Modelling of Moving Contact Lines in Two-Phase Flows
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1559, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext
, preview image
).
-
Locating the Few: Sparsity-aware waveform design for active radar
. In IEEE Transactions on Signal Processing, volume 65, number 3, pp 651-662, 2017. (DOI
).
-
Gender Classification with Data Independent Features in Multiple Languages
. In 2017 European Intelligence and Security Informatics Conference (EISIC), European Intelligence and Security Informatics Conference, pp 54-60, IEEE, 2017. (DOI
).
-
Deep Fish: Deep Learning-Based Classification of Zebrafish Deformation for High-Throughput Screening
. In Journal of Biomolecular Screening, volume 22, number 1, pp 102-107, 2017. (DOI
).
-
Cost-aware application development and management using CLOUD-METRIC
. In Proc. 7th International Conference on Cloud Computing and Services Science, pp 515-522, SciTePress, Setúbal, Portugal, 2017. (DOI
).
-
Knowledge Elicitation in Naturalistic Decision Making: Collegial Verbalisation with "Conspective Protocols"
. In Naturalistic Decision Making and Uncertainty: Proceedings of the 13th Bi-annual International Conference on Naturalistic Decision Making, pp 87-93, 2017. (fulltext:print
).
-
Resource-Efficient Detection of Elephant Rumbles
. In SenSys '17 Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems, 2017. (DOI
).
-
Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors
. In 2017 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium-Proceedings, pp 80-91, IEEE, 2017. (DOI
).
-
Linearly constrained Gaussian processes
. In Proc. 31st Conference on Neural Information Processing Systems, volume 30 of Advances in Neural Information Processing Systems, pp 1215-1224, 2017. (Abstract
).
-
Automatic detection of extended data-race-free regions
. In Proc. 15th International Symposium on Code Generation and Optimization, pp 14-26, IEEE Press, Piscataway, NJ, 2017. (Paper
, fulltext:postprint
).
-
Characterization of interfacial stress transfer ability in acetylation-treated wood fibre composites using X-ray microtomography
. In Industrial crops and products (Print), volume 95, pp 43-49, Elsevier, 2017. (DOI
).
-
Workshop on Robots for Learning-R4L
. In HRI '17: Proceedings of the Companion of the 2017 ACM/IEEE International Conference on Human-Robot Interaction, ACM IEEE International Conference on Human-Robot Interaction, pp 423-424, Association for Computing Machinery (ACM), 2017. (DOI
).
-
Author Profiling in the Wild
. In 2017 European Intelligence and Security Informatics Conference (EISIC), European Intelligence and Security Informatics Conference, pp 155-158, IEEE, 2017. (DOI
).
-
Quantified heap invariants for object-oriented programs
. In 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 46 of EPiC Series in Computing, pp 368-384, 2017. (External link
, fulltext:postprint
).
-
Social drone companion for the home environment: a user-centric exploration
. In Proc. 5th International Conference on Human Agent Interaction, pp 89-96, ACM Press, New York, 2017. (DOI
).
-
Oriented clonal cell dynamics enables accurate growth and shaping of vertebrate cartilage
. In eLIFE, volume 6, 2017. (DOI
, Fulltext
).
-
Assessing the ethical competence of organizations
. In EBEN Annual Conference, University of Jyväskylä, Jyväskylä, Finland, 2017. (External link
).
-
Education for leaders’ ethical competence
. In European Business Ethics Network: Research, Deree, American College of Greece College, Athens, 2017. (External link
).
-
Ethical leadership in business: The significance of Information and Communication Technology
. In Information and Management: Connect Things, Humans, Management, pp 1-4, Japan Society for Information and Management, Tokyo, 2017. (External link
).
-
ICT as ethical competence
. In Research, Ethics and Societal Impact: Responsible research: How to deal with animals and ICT in science - An ethical approach, pp 12-12, Karolinska Institutet, Stockholm, 2017. (External link
).
-
Snowden’s revelations and the attitudes of students at Swedish universities
. In Journal of Information, Communication and Ethics in Society, volume 15, number 3, pp 247-264, 2017. (DOI
).
-
GECKO: Gamer Experience-Centric Bitrate Control Algorithm for Cloud Gaming
. In Image and Graphics: 9th International Conference, ICIG 2017, Shanghai, China, September 13-15, 2017, Revised Selected Papers, Part II, volume 10667 of Lecture Notes in Computer Science, pp 325-335, Springer, 2017. (DOI
).
-
Automated training of deep convolutional neural networks for cell segmentation
. In Scientific Reports, volume 7, 2017. (DOI
, Fulltext
, fulltext:print
).
-
Spheroid segmentation using multiscale deep adversarial networks
. In IEEE International Conference on Computer Vision, IEEE International Conference on Computer Vision Workshops, IEEE, 2017. (DOI
).
-
Bråk och språk – vad som är förnuftigt och logiskt
. In Nämnaren : tidskrift för matematikundervisning, number 1, pp 45-49, Nationellt centrum för matematikutbildning (NCM), Göteborg, 2017.
-
Convexity of marginal functions in the discrete case
. In Analysis Meets Geometry: The Mikael Passare Memorial Volume, Trends in Mathematics, pp 287-309, Birkhäuser Verlag, Cham, 2017.
-
Curriculum Vitae, Mikael Passare
. In Analysis Meets Geometry: The Mikael Passare Memorial Volume, Trends in Mathematics, pp 3-4, Birkhäuser Verlag, Chaml, 2017.
-
Discrete convolution operators, the Fourier transformation, and its tropical counterpart: the Fenchel transformation
. In Proc. 3rd EAUMP Conference: Advances in Mathematics and its Applications, pp 7-28, Makerere University, Kampala, Uganda, 2017.
-
Domains of holomorphy for Fourier transforms of solutions to discrete convolution equations
. In Science China Mathematics, volume 60, number 6, pp 1005-1018, 2017. (DOI
).
-
Falska vänner, vassa vrår och språkliga fällor
. In Nämnaren : tidskrift för matematikundervisning, number 2, pp 43-51, Nationellt centrum för matematikutbildning (NCM), Göteborg, 2017.
-
How to best fold a triangle
. In Mathematische Semesterberichte, volume 65, number 1, pp 65-89, 2017. (DOI
, Fulltext
).
-
Lars Hörmander—some early memories (Chinese)
. In Mathematical Advances in Translation, volume 36, number 2, pp 120-121, Beijing, 2017.
-
Mikael Passare (1959–2011)
. In Analysis Meets Geometry: The Mikael Passare Memorial Volume, Trends in Mathematics, pp 35-57, Birkhäuser Verlag, Cham, 2017.
-
Mikael Passare's publications
. In Analysis Meets Geometry: The Mikael Passare Memorial Volume, Trends in Mathematics, pp 5-9, Birkhäuser Verlag, Cham, 2017.
-
Watching solar eclipses 1945–2017
. In Bulletin of the Swedish Mathematical Society, number October, pp 17-21, Göteborg, 2017.
-
Using Inertial Sensors for Position and Orientation Estimation
. Now Publishers Inc., Boston, MA, 2017. (DOI
).
-
Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU)
. In Proc. 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, pp 172-181, ACM Press, New York, 2017. (DOI
).
-
Bare-metal, virtual machines and containers in OpenStack
. In Proc. 20th Conference on Innovations in Clouds, Internet and Networks, pp 36-43, IEEE, Piscataway, NJ, 2017. (DOI
).
-
Covering a Euclidean line or hyperplane by dilations of its discretization
. In Vietnam Journal of Mathematics, volume 45, number 3, pp 351-368, 2017. (DOI
).
-
A phase-field microscale enhancement for macro models of capillary-driven contact point dynamics
. In Journal of Computational Multiphase Flows, volume 9, pp 114-126, 2017. (DOI
, Fulltext
).
-
Adding integral display properties to increase generalizability of a configural display
. In Proceedings of the 13th SweCog Conference, Uppsala, October 26–27, 2017, pp 9-11, Skövde, 2017.
-
Friendly but not Friends: Designing for Spaces Between Friendship and Unfamiliarity
. In 8th International Conference On Communities And Technologies (C&T 2017), pp 169-172, Association for Computing Machinery (ACM), 2017. (DOI
).
-
Generalized Finitary Real-Time Calculus
. In IEEE INFOCOM 2017 - IEEE Conference on Computer Communications, IEEE INFOCOM, IEEE, 2017. (DOI
).
-
A least squares radial basis function partition of unity method for solving PDEs
. In SIAM Journal on Scientific Computing, volume 39, pp A2538-A2563, 2017. (DOI
).
-
Book Review: A Primer on Radial Basis Functions with Applications to the Geosciences
. In SIAM Review, volume 59, pp 688-689, 2017. (DOI
).
-
Improving the performance of cellular uplinks via power overbooking
. In IET Communications, volume 11, number 9, pp 1512-1518, 2017. (DOI
).
-
A deep learning approach for optimizing content delivering in cache-enabled HetNet
. In Proc. 14th International Symposium on Wireless Communication Systems, pp 449-453, IEEE, 2017. (DOI
).
-
Fair termination for parameterized probabilistic concurrent systems
. In Tools and Algorithms for the Construction and Analysis of Systems: Part I, volume 10205 of Lecture Notes in Computer Science, pp 499-517, Springer, 2017. (DOI
, fulltext:postprint
).
-
Subtask scheduling for distributed robots in cloud manufacturing
. In IEEE Systems Journal, volume 11, number 2, pp 941-950, 2017. (DOI
).
-
Airway-tree segmentation in subjects with acute respiratory distress syndrome
. In Image Analysis: Part II, volume 10270 of Lecture Notes in Computer Science, pp 76-87, Springer, 2017. (DOI
).
-
Classification of cross-sections for vascular skeleton extraction using convolutional neural networks
. In Medical Image Understanding and Analysis, volume 723 of Communications in Computer and Information Science, pp 182-194, Springer, 2017. (DOI
).
-
Fast Methods for Vascular Segmentation Based on Approximate Skeleton Detection
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1496, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext
, preview image
).
-
Improved centerline tree detection of diseased peripheral arteries with a cascading algorithm for vascular segmentation
. In Journal of Medical Imaging, volume 4, pp 024004:1-11, 2017. (DOI
).
-
Formulation of a wall model for LES in a collocated finite-volume framework
. Technical report / Department of Information Technology, Uppsala University nr 2017-001, 2017. (fulltext
).
-
Inertia in Sociotechnical Systems: On IT-related Change Processes in Organisations
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1531, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext
, preview image
).
-
What is the use of vision seminars?: An evaluation from the perspective of participants and stakeholders
. In Behaviour & Information Technology, 2017. Publication status: Submitted
-
Divide-and-Conquer with sequential Monte Carlo
. In Journal of Computational And Graphical Statistics, volume 26, number 2, pp 445-458, 2017. (DOI
).
-
Exposing inter-process information for efficient parallel discrete event simulation of spatial stochastic systems
. In Proc. 5th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp 53-64, ACM Press, New York, 2017. (DOI
).
-
On the precision of third person perspective augmented reality for target designation tasks
. In Multimedia tools and applications, volume 76, number 14, pp 15279-15296, 2017. (DOI
, Fulltext
, fulltext:print
).
-
Cloud-Based Data Fusion in Green IoT for Smart Cities
. In Proc. 14th International Conference on Embedded Wireless Systems and Networks, pp 216-217, ACM Digital Library, 2017.
-
Path planning for aerial sensor networks with connectivity constraints
. In 2017 IEEE International Conference on Communications (ICC), IEEE International Conference on Communications, IEEE, 2017. (DOI
).
-
Passive in-vehicle driver breath alcohol detection using advanced sensor signal acquisition and fusion
. In Traffic Injury Prevention, volume 18, pp S31-S36, 2017. (DOI
, Fulltext
, fulltext:print
).
-
Finite Element Computations on Multicore and Graphics Processors
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1512, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext
, preview image
).
-
Matrix-free finite-element computations on graphics processors with adaptively refined unstructured meshes
. In Proc. 25th High Performance Computing Symposium, pp 1-12, The Society for Modeling and Simulation International, San Diego, CA, 2017.
-
Multigrid for matrix-free finite element computations on graphics processors
. Technical report / Department of Information Technology, Uppsala University nr 2017-006, 2017. (fulltext
).
-
Automated segmentation of human cervical-supraclavicular adipose tissue in magnetic resonance images
. In Scientific Reports, volume 7, 2017. (DOI
, Fulltext
, fulltext:print
).
-
A license to kill: Improving UCSD in agile development
. In Journal of Systems and Software, volume 123, pp 214-222, 2017. (DOI
).
-
Targeted property-based testing
. In Proc. 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp 46-56, ACM Press, New York, 2017. (DOI
).
-
Use and refinement of CWA in an industrial, automotive design, context
. In Cognitive Work Analysis: Applications, Extensions and Future Directions, pp 303-320, CRC Press, 2017.
-
Introduction to the special issue on multilayer networks
. In NETWORK SCIENCE, volume 5, number 2, pp 141-143, CAMBRIDGE UNIV PRESS, 2017. (DOI
).
-
A flexible computational framework using R and Map-Reduce for permutation tests of massive genetic analysis of complex traits
. In IEEE/ACM Transactions on Computational Biology & Bioinformatics, volume 14, pp 381-392, 2017. (DOI
).
-
Mechanochemical Polarization of Contiguous Cell Walls Shapes Plant Pavement Cells
. In Developmental Cell, volume 43, number 3, pp 290-304, 2017. (DOI
).
-
Exact Evaluation of Targeted Stochastic Watershed Cuts
. In Discrete Applied Mathematics, volume 216, number 2, pp 449-460, Elsevier, 2017. (DOI
).
-
SmartPaint: a tool for interactive segmentation of medical volume images
. In Computer Methods In Biomechanics And Biomedical Engeineering-Imaging And Visualization, volume 5, number 1, pp 36-44, TAYLOR & FRANCIS LTD, 2017. (DOI
).
-
The Boolean Map Distance: Theory and Efficient Computation
. In International Conference on Discrete Geometry for Computer Imagery, volume 10502 of Lecture notes in computer science, pp 335-346, Springer, 2017. (DOI
).
-
A high-order accurate embedded boundary method for first order hyperbolic equations
. In Journal of Computational Physics, volume 334, pp 255-279, 2017. (DOI
).
-
Diagonal-norm upwind SBP operators
. In Journal of Computational Physics, volume 335, pp 283-310, 2017. (DOI
).
-
A short feature vector for image matching: The Log-Polar Magnitude feature descriptor
. In PLOS ONE, volume 12, number 11, 2017. (DOI
, Fulltext
).
-
Spectral analysis and spectral symbol for the 2D curl–curl (stabilized) operator with applications to the related iterative solutions
. Technical report / Department of Information Technology, Uppsala University nr 2017-009, 2017. (fulltext
).
-
Folk pedagogy and the geek gene: Geekiness quotient
. In Proc. 48th SIGCSE Technical Symposium on Computer Science Education, pp 405-410, ACM Press, New York, 2017. (DOI
).
-
First year computing students' perceptions of authenticity in assessment
. In Proc. 22nd Conference on Innovation and Technology in Computer Science Education, pp 10-15, ACM Press, New York, 2017. (DOI
, Fulltext
).
-
The authenticity of 'authentic' assessment: Some faculty perceptions
. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI
).
-
Tremor quantification through data-driven nonlinear system modeling
. In Proc. 56th Conference on Decision and Control, pp 5943-5948, IEEE, Piscataway, NJ, 2017. (DOI
).
-
Excluded volume effects in on- and off-lattice reaction–diffusion models
. In IET Systems Biology, volume 11, pp 55-64, 2017. (DOI
).
-
Multiscale modeling of diffusion in a crowded environment
. In Bulletin of Mathematical Biology, volume 79, pp 2672-2695, 2017. (DOI
).
-
VisDM-A Data Stream Visualization Platform
. In Database Systems For Advanced Applications (DASFAA 2017), Proceedings Pt II, volume 10178 of Lecture Notes in Computer Science, pp 677-680, SPRINGER INTERNATIONAL PUBLISHING AG, 2017. (DOI
).
-
Data flow delay equalization for feedback control applications using 5G wireless dual connectivity
. In Proc. 85th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2017. (DOI
).
-
Bridging Histology and Bioinformatics: Computational analysis of spatially resolved transcriptomics
. In Proceedings of the IEEE, volume 105, number 3, pp 530-541, 2017. (DOI
, Fulltext
).
-
Pricing derivatives under multiple stochastic factors by localized radial basis function methods
. 2017. (arXiv:1711.09852
).
-
Direct approximation on spheres using generalized moving least squares
. In BIT Numerical Mathematics, volume 57, number 4, pp 1041-1063, 2017. (DOI
).
-
Run-Time Assurance for the E-care@home System
. In , 2017.
-
An executable semantics for synchronous task graphs: From SDRT to Ada
. In Reliable Software Technologies — Ada-Europe 2017, volume 10300 of Lecture Notes in Computer Science, pp 137-152, Springer, 2017. (DOI
).
-
Refinement of workload models for engine controllers by state space partitioning
. In 29th Euromicro Conference on Real-Time Systems: ECRTS 2017, volume 76 of Leibniz International Proceedings in Informatics (LIPIcs), pp 11:1-22, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2017. (DOI
, Fulltext
).
-
Haptic communicative functions and their effects on communication in collaborative multimodal virtual environments
. In Proc. 13th SweCog Conference, pp 63-64, Högskolan i Skövde, 2017. (fulltext:postprint
).
-
Using eye-tracking to study the effect of haptic feedback on visual focus during collaborative object managing in a multimodal virtual interface
. In Proc. 13th SweCog Conference, pp 49-51, Högskolan i Skövde, 2017. (fulltext:postprint
).
-
Examining manual and semi-automated methods of analysing MOOC data for computing education
. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 153-157, ACM Press, New York, 2017. (DOI
).
-
An image based non-verbal behaviour analysis of HRI
. In Social Robotics, volume 10652 of Lecture Notes in Computer Science, pp 23-31, Springer, 2017. (DOI
).
-
Scientometric analysis of the HAI conference
. In Proc. 5th International Conference on Human Agent Interaction, pp 45-51, ACM Press, New York, 2017. (DOI
).
-
The generation of turbulent inflow boundary conditions using precursor channel flow simulations
. In Computers & Fluids, volume 156, pp 21-33, 2017. (DOI
).
-
Assessing the digital work environment: A case study of digital transformation in higher education
. In Proc. NES Conference: 2017, pp 382-386, 2017.
-
Digital transformation and the changing role of student administrators: A case study
. In European Journal of Higher Education IT, volume 4, number 1, pp 345-353, 2017. (Fulltext
).
-
Swinging machetes in the jungle: Technological frames, ICT leaders, and user centred perspectives
. In Behaviour & Information Technology, 2017. Publication status: Submitted
-
Numerical investigation of a viscous regularization of the Euler equations by entropy viscosity
. In Computer Methods in Applied Mechanics and Engineering, volume 317, pp 128-152, 2017. (DOI
, fulltext:postprint
).
-
Can we make a cake and eat it too?: A discussion of ICN security and privacy
. In Computer communication review, volume 47, number 1, pp 49-54, 2017. (DOI
).
-
Guest Editorial Special Section on Internet-of-Things for Smart Cities and Urban Informatics
. In IEEE Transactions on Industrial Informatics, volume 13, number 2, pp 748-750, Institute of Electrical and Electronics Engineers (IEEE), 2017. (DOI
).
-
Development of a self-efficacy scale for digital competences in schools
. In 2017 IEEE Frontiers in Education Conference (FIE): Proc. 47th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, IEEE Press, 2017. (DOI
, fulltext:postprint
).
-
Exploring the critical incident technique to encourage reflection during project-based learning
. In Proc. 17th International Conference on Computing Education: Koli Calling, pp 88-97, ACM Press, New York, 2017. (DOI
).
-
Open-ended projects opened up – aspects of openness
. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI
).
-
Why are we here?: Student perspectives on the goal of STEM higher education
. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI
).
-
Using anti-aliased signed distance fields for generating surgical guides and plates from CT images
. In Journal of WSCG, volume 25, number 1, pp 11-20, 2017. (Fulltext
, fulltext:print
).
-
BoneSplit – A 3D painting tool for interactive bone segmentation in CT images
. In Pattern Recognition and Information Processing: PRIP 2016, volume 673 of Communications in Computer and Information Science, pp 3-13, Springer, 2017. (DOI
).
-
Exploring users' reactions towards tangible implicit probes for measuring human-robot engagement
. In Social Robotics, volume 10652 of Lecture Notes in Computer Science, pp 402-412, Springer, 2017. (DOI
, fulltext:postprint
).
-
Transforming Books and the Reading Experience through Interactive Technologies: Preface
. In IxD&A: Interaction Design and Architecture(s), number 32, pp 71-73, 2017.
-
Experimental evaluation of joint position estimation using inertial sensors
. In Proc. 20th International Conference on Information Fusion, pp 354-361, IEEE, Piscataway, NJ, 2017. (DOI
, fulltext:preprint
).
-
Investigating interference between LoRa and IEEE 802.15.4g networks
. In Proc. 13th International Conference on Wireless and Mobile Computing, Networking and Communications, pp 441-448, IEEE, 2017. (DOI
).
-
Measuring PHY layer interactions between LoRa and IEEE 802.15.4g networks
. In 2017 IFIP Networking Conference (IFIP Networking) and Workshops, International Federation for Information Processing, 2017. (DOI
).
-
A multidimensional perspective on the uncanny valley effect: Studying the interplay between a robot's appearance and interaction strategy
. In Proc. Companion of 12th ACM/IEEE International Conference on Human-Robot Interaction, pp 363-364, ACM Press, New York, 2017. (DOI
).
-
Exploring the link between self-assessed mimicry and embodiment in HRI
. In Proc. Companion of 12th ACM/IEEE International Conference on Human-Robot Interaction, pp 245-246, ACM Press, New York, 2017. (DOI
).
-
Investigating the influence of embodiment on facial mimicry in HRI using computer vision-based measures
. In Proc. 26th International Symposium on Robot and Human Interactive Communication (Ro-Man), IEEE RO-MAN, pp 579-586, IEEE, 2017. (DOI
).
-
Weak Nominal Modal Logic
. In Formal Techniques for Distributed Objects, Components, and Systems, volume 10321 of Lecture Notes in Computer Science, pp 179-193, Springer, 2017. (DOI
).
-
On the Difficult Task of Teaching Computer Ethics to Engineers
. In ORBIT Journal, volume 1, number 1, 2017. (DOI
, Fulltext
, fulltext:print
).
-
On the Difficult Task of TeachingComputer Ethics to Engineers
. In CEPE/Ethicomp 2017: Electronic Collection, Università degli Studi di Torino, Torino, 2017. (External link
).
-
The Archetype Learning Method: Scaffolding teamwork competences in the engineering classroom
. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI
).
-
How to Make Decisions with Algorithms: Ethical Decision-Making Using Algorithms within Predictive Analytics
. In CEPE/Ethicomp 2017: ElectronicCollection, pp 1-13, Università degli Studi di Torino, Torino, 2017. (CEPE/Ethicomp 2017
, fulltext
).
-
Learning Computing at University: Participation and Identity: A Longitudinal Study
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1577, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext
, preview image
).
-
Artifact reduction in the CSPAD detectors used for LCLS experiments
. In Journal of Synchrotron Radiation, volume 24, pp 1092-1097, 2017. (DOI
).
-
Influence of applied corneal endothelium image segmentation techniques on the clinical parameters
. In Computerized Medical Imaging and Graphics, volume 55, pp 13-27, 2017. (DOI
).
-
Member spotlight part 2
. In ACM SIGCSE Bulletin, volume 49, number 2, pp 11-14, 2017. (DOI
).
-
Typed connector families and their semantics
. In Science of Computer Programming, volume 146, pp 28-49, 2017. (DOI
).
-
Augmenting WSNs with Interoperable 802.15.4 Sensor Tags
. In Proceedings of the 15th ACM Conference on Embedded Networked Sensor Systems, 2017. (DOI
).
-
On Limits of Constructive Interference in Backscatter Systems
. In Global Internet of Things Summit (GIoTS), 2017, pp 178-182, IEEE, 2017. (DOI
).
-
Building the Internet of Things with bluetooth smart
. In Ad hoc networks, volume 57, pp 19-31, 2017. (DOI
).
-
SecureSense: End-to-End Secure Communication Architecture for the Cloud-connected Internet of Things
. In Future Generation Computer Systems, volume 77, pp 40-51, 2017. (DOI
).
-
Grid construction strategies for wall-resolving Large Eddy Simulation and estimates of the resulting number of grid points
. Technical report / Department of Information Technology, Uppsala University nr 2017-005, 2017. (fulltext
).
-
Verification of networks of communicating processes: Reachability problems and decidability issues
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1605, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext
, preview image
).
-
Towards supporting remote cheering during running races with drone technology
. In Proc. 35th Conference on Human Factors in Computing Systems: Extended Abstracts, pp 2867-2874, ACM Press, New York, 2017. (DOI
).
-
Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics
. In IEEE Transactions on Parallel and Distributed Systems, volume 28, number 12, pp 3413-3425, 2017. (DOI
).
-
Non-speculative load-load reordering in TSO
. In Proc. 44th International Symposium on Computer Architecture, pp 187-200, ACM Press, New York, 2017. (DOI
).
-
Deep Neural Networks and Image Analysis for Quantitative Microscopy
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1566, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext
, preview image
).
-
The Contention Avoiding Concurrent Priority Queue
. In Languages and Compilers for Parallel Computing, volume 10136 of Lecture Notes in Computer Science, pp 314-330, Springer, 2017. (DOI
).
-
Skeletonization: Theory, Methods, and Applications
. Computer Vision and Pattern Recognition, Academic Press, London, 2017. (DOI
).
-
Skeletonization and its applications – a review
. In Skeletonization: Theory, Methods, and Applications, Computer Vision and Pattern Recognition, pp 3-42, Academic Press, London, 2017. (DOI
).
-
Fault detection in water resource recovery facilities
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2017-003, Uppsala University, 2017. (fulltext
).
-
Gaussian process regression for monitoring and fault detection of wastewater treatment processes
. In Water Science and Technology, volume 75, number 12, pp 2952-2963, 2017. (DOI
).
-
Monitoring fouling on dissolved oxygen sensors in WRRFs with active fault detection
. In Proc. 12th IWA Specialized Coference on Instrumentation, Control and Automation, 2017.
-
Folk Pedagogy: Nobody doesn't like active learning
. In Proc. 13th International Computing Education Research Conference, pp 145-154, ACM Press, New York, 2017. (DOI
).
-
Profiling energy efficiency and data communications for mobile Internet of Things
. In Wireless Communications & Mobile Computing, volume 17, 2017. (DOI
, Fulltext
, fulltext:print
).
-
Eloc: Locating Wild Elephants using Low-cost Infrasonic Detectors
. In 2017 13Th International Conference On Distributed Computing In Sensor Systems (DCOSS), IEEE International Conference on Distributed Computing in Sensor Systems, pp 44-52, IEEE, 2017. (DOI
).
-
Poster: A Low-cost Elephant Localization System
. In , 2017.
-
Differential neuroprotective effects of interleukin-1 receptor antagonist on spinal cord neurons after excitotoxic injury
. In Neuroimmunomodulation, volume 24, pp 220-230, 2017. (DOI
).
-
Design and implementation of bounded-length sequence variables
. In Integration of AI and OR Techniques in Constraint Programming, volume 10335 of Lecture Notes in Computer Science, pp 51-67, 2017. (DOI
).
-
Color map design for visualization in flood risk assessment
. In International Journal of Geographical Information Science, volume 31, number 11, pp 2286-2309, 2017. (DOI
, Fulltext
).
-
A graphics tracing framework for exploring CPU+GPU memory systems
. In Proc. 20th International Symposium on Workload Characterization, pp 54-65, IEEE, 2017. (DOI
).
-
A split cache hierarchy for enabling data-oriented optimizations
. In Proc. 23rd International Symposium on High Performance Computer Architecture, pp 133-144, IEEE Computer Society, 2017. (DOI
).
-
POSTER: Putting the G back into GPU/CPU Systems Research
. In 2017 26TH INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES (PACT), International Conference on Parallel Architectures and Compilation Techniques, pp 130-131, 2017. (DOI
).
-
Multiscale stochastic neuron modeling – with applications in deep brain stimulation
. In Proc. Summer Simulation Multiconference: 2017, pp 38:1-5, Society for Computer Simulation International, San Diego, CA, 2017. (Paper
).
-
Levodopa/carbidopa microtablets in Parkinson’s disease: A study of pharmacokinetics and blinded motor assessment
. In European Journal of Clinical Pharmacology, volume 73, number 5, pp 563-571, 2017. (DOI
, Fulltext
).
-
<em>Intrusion Detection in the RPL-connected 6LoWPAN Networks</em>
. In , 2017.
-
A Machine Learning Approach Towards Detecting Extreme Adopters in Digital Communities
. In 2017 28th International Workshop on Database and Expert Systems Applications (DEXA), International Workshop on Database and Expert Systems Applications-DEXA, pp 1-5, IEEE, 2017. (DOI
).
-
Applying Real-Time Scheduling Theory to the Synchronous Data Flow Model of Computation
. In , 2017. (DOI
, Fulltext
).
-
Automated line-based sequential sampling and modeling algorithm for EMC near-field scanning
. In IEEE transactions on electromagnetic compatibility (Print), volume 59, pp 704-709, 2017. (DOI
).
-
Constrained multi-objective antenna design optimization using surrogates
. In International journal of numerical modelling, volume 30, pp e2248:1-5, 2017. (DOI
).
-
Multi-objective geometry optimization of a gas cyclone using triple-fidelity co-Kriging surrogate models
. In Journal of Optimization Theory and Applications, volume 175, pp 172-193, 2017. (DOI
, Fulltext
).
-
Surrogate assisted model reduction for stochastic biochemical reaction networks
. In Proc. 49th Winter Simulation Conference, pp 1773-1783, IEEE, Piscataway, NJ, 2017. (DOI
).
-
Blocking strategies and stability of particle Gibbs samplers
. In Biometrika, volume 104, number 4, pp 953-969, 2017. (DOI
, Fulltext
, fulltext:print
).
-
Can a teachable agent influence how students respond to competition in an educational game?
. In Artificial Intelligence in Education, volume 10331 of Lecture Notes in Computer Science, pp 347-358, Springer, 2017. (DOI
).
-
Distance Between Vector-Valued Representations of Objects in Images with Application in Object Detection and Classification
. In In Proc. of the 18th International Workshop on Combinatorial Image Analysis, IWCIA2017, volume 10256 of Lecture Notes in Computer Science, pp 243-255, Springer, 2017. (DOI
).
-
Model Description Language (MDL): A Standard for Modeling and Simulation
. In CPT: Pharmacometrics and Systems Pharmacology (PSP), volume 6, number 10, pp 647-650, WILEY, 2017. (DOI
).
-
Battery-free Visible Light Sensing
. In Proceedings Of The 23rd Annual International Conference On Mobile Computing And Networking (MOBICOM '17), pp 582-584, 2017. (DOI
).
-
Demo: Battery-free Visible Light Sensing
. In Proc. 4th ACM Workshop on Visible Light Communication Systems, pp 35-35, ACM Press, New York, 2017. (DOI
).
-
Training signal design for correlated massive MIMO channel estimation
. In IEEE Transactions on Wireless Communications, volume 16, number 2, pp 1135-1143, 2017. (DOI
).
-
Frequency domain identification of ARX models in the presence of additive input–output noise
. In 20th IFAC World Congress, volume 50: 1 of IFAC-PapersOnLine, pp 6226-6231, Elsevier, 2017. (DOI
).
-
Frequency domain identification of complex sinusoids in the presence of additive noise
. In 20th IFAC World Congress, volume 50:1 of IFAC-PapersOnLine, pp 6244-6250, Elsevier, 2017. (DOI
).
-
Identification of two-dimensional complex sinusoids in white noise: a state-space frequency approach
. Technical report / Department of Information Technology, Uppsala University nr 2017-021, Department of Information Technology, Uppsala University, 2017. (fulltext
).
-
Analysis of electron energy loss spectroscopy data using geometric extraction methods
. In Ultramicroscopy, volume 174, pp 14-26, 2017. (DOI
).
-
Tensor decompositions for the analysis of atomic resolution electron energy loss spectra
. In Ultramicroscopy, volume 175, pp 36-45, 2017. (DOI
).
-
Unmixing hyperspectral data by using signal subspace sampling
. In Ultramicroscopy, volume 182, pp 205-211, ELSEVIER SCIENCE BV, 2017. (DOI
).
-
Enabling Ambient Backscatter Using a Low-Cost Software Defined Radio
. In , 2017.
-
A concept for holistic whole body MRI data analysis, Imiomics
. In PLOS ONE, volume 12, number 2, 2017. (DOI
, Fulltext
, fulltext:print
).
-
The Minimum Barrier Distance: A Summary of Recent Advances
. In Discrete Geometry for Computer Imagery. DGCI 2017, volume 10502 of Lecture Notes in Computer Science, pp 57-68, Springer, 2017. (DOI
, fulltext:postprint
).
-
Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks
. In 2017 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium-Proceedings, pp 92-103, IEEE, 2017. (DOI
).
-
Cilia ultrastructural visibility enhancement by multiple instance registration and super-resolution reconstruction
. In Swedish Symposium on Image Analysis, Swedish Society for Automated Image Analysis, 2017.
-
Enhancement of cilia sub-structures by multiple instance registration and super-resolution reconstruction
. In Image Analysis: Part II, volume 10270 of Lecture Notes in Computer Science, pp 362-374, Springer, 2017. (DOI
).
-
A flexible state–space model for learning nonlinear dynamical systems
. In Automatica, volume 80, pp 189-199, 2017. (DOI
).
-
ProViz: a tool for explorative 3-D visualization and template matching in electron tomograms
. In COMPUTER METHODS IN BIOMECHANICS AND BIOMEDICAL ENGINEERING-IMAGING AND VISUALIZATION, volume 5, number 6, pp 446-454, 2017. (DOI
).
-
An efficient method for sorting and quantifying individual social traits based on group-level behaviour
. In Methods in Ecology and Evolution, volume 8, number 12, pp 1735-1744, 2017. (DOI
).
-
Further analysis of clinical feasibility of OCT-based glaucoma diagnosis with Pigment epithelium central limit–Inner limit of the retina Minimal Distance (PIMD)
. In Ophthalmic Technologies XXVII, volume 10045 of Proc. SPIE, SPIE - International Society for Optical Engineering, Bellingham, WA, 2017. (DOI
).
-
Errors-in-variables identification using maximum likelihood estimation in the frequency domain
. In Automatica, volume 79, pp 131-143, 2017. (DOI
).
-
Objective automated quantification of fluorescence signal in histological sections of rat lens
. In Cytometry Part A, volume 91, number 8, pp 815-821, 2017. (DOI
).
-
Revisiting GPC and AND Connector in Real-Time Calculus
. In 2017 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium-Proceedings, pp 255-265, IEEE, 2017. (DOI
).
-
In the liminal space: Software design as a threshold skill
. In Practice and Evidence of the Scholarship of Teaching and Learning in Higher Education, volume 12, pp 333-351, 2017. (Article
).
-
Student software designs at the undergraduate midpoint
. In ITiCSE '17: Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, pp 34-39, Association for Computing Machinery (ACM), 2017. (DOI
).
-
Privacy-preserving social tie discovery based on cloaked human trajectories
. In IEEE Transactions on Vehicular Technology, volume 66, number 2, pp 1619-1630, 2017. (DOI
).
-
SNIC Science Cloud (SSC): A national-scale cloud infrastructure for Swedish academia
. In Proc. 13th International Conference on e-Science, pp 219-227, IEEE Computer Society, Los Alamitos, CA, 2017. (DOI
).
-
Clairvoyance: Look-ahead compile-time scheduling
. In Proc. 15th International Symposium on Code Generation and Optimization, pp 171-184, IEEE Press, Piscataway, NJ, 2017. (fulltext:postprint
).
-
Scaling Reliably: Improving the scalability of the Erlang distributed actor platform
. In ACM Transactions on Programming Languages and Systems, volume 39, number 4, 2017. (DOI
).
-
How do first year students learn C programming in Bhutan?
. In Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 25-29, IEEE Computer Society, 2017. (DOI
, fulltext:postprint
).
-
A Radar Signal Processing Case Study for Dataflow Programming of Manycores
. In Journal of Signal Processing Systems, volume 87, number 1, pp 49-62, 2017. (DOI
).
-
On robust input design for nonlinear dynamical models
. In Automatica, volume 77, pp 268-278, PERGAMON-ELSEVIER SCIENCE LTD, 2017. (DOI
).
-
Battery-free Visible Light Sensing
. In Proc. 4th ACM Workshop on Visible Light Communication Systems, pp 3-8, ACM Press, New York, 2017. (DOI
).
-
Demo: LoRea: A backscatter architecture that achieves a long communication range
. In Proc. 15th ACM Conference on Embedded Network Sensor Systems, ACM Press, New York, 2017. (DOI
, External link
).
-
LoRea: A backscatter architecture that achieves a long communication range
. In Proc. 15th ACM Conference on Embedded Network Sensor Systems, ACM Press, New York, 2017. (DOI
, External link
, fulltext:print
).
-
Towards wide-area backscatter networks
. In Proc. 4th ACM Workshop on Hot Topics in Wireless, pp 49-53, ACM Press, New York, 2017. (DOI
).
-
Automatic document image binarization using Bayesian optimization
. In Proc. 4th International Workshop on Historical Document Imaging and Processing, pp 89-94, ACM Press, New York, 2017. (DOI
).
-
On-the-fly historical handwritten text annotation
. In Proc. 14th IAPR International Conference on Document Analysis and Recognition, pp 10-14, IEEE, 2017. (DOI
).
-
A perspective from Vietnamese students on teaching of soft skills
. In Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 23-24, IEEE Computer Society, 2017. (DOI
).
-
Mitigating Inter-network Interference in LoRa Networks
. In , 2017. (fulltext:postprint
).
-
Digital Capital: A platform for developing computational thinking
. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 205-206, ACM Press, New York, 2017. (DOI
).
-
What computing instructors did last summer: Experiences and lessons learned
. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI
).
-
Interpreting the Script: Image Analysis and Machine Learning for Quantitative Studies of Pre-modern Manuscripts
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1475, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext
, preview image
).
-
Convergence of summation-by-parts finite difference methods for the wave equation
. In Journal of Scientific Computing, volume 71, pp 219-245, 2017. (DOI
, Fulltext
).
-
Finite Difference and Discontinuous Galerkin Methods for Wave Equations
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1522, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext
, preview image
).
-
Benchmarking OpenMP Programs for Real-Time Scheduling
. In 2017 IEEE 23Rd International Conference On Embedded And Real-Time Computing Systems And Applications (RTSCA), IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE Computer Society, 2017. (DOI
).
-
Towards Customizable CPS: Composability, Efficiency and Predictability
. In Formal Methods and Software Engineering, volume 10610 of Lecture Notes in Computer Science, pp 3-15, Springer, 2017. (DOI
).
-
Decoupled Access-Execute on ARM big.LITTLE
. In Proc. 5th Workshop on High Performance Energy Efficient Embedded Systems, 2017. (External link
).
-
Device Reliability Performance Awareness: Impact of RWA on EDFA Failure Reparation Cost in Optical Networks
. In Proceedings of 2017 9Th International Workshop On Resilient Networks Design And Modeling (Rndm), IEEE, 2017.
-
Deep convolutional neural networks for detecting cellular changes due to malignancy
. In Proc. 16th International Conference on Computer Vision Workshops, pp 82-89, IEEE Computer Society, 2017. (DOI
).
-
Coupled electric drives data set and reference models
. Technical report / Department of Information Technology, Uppsala University nr 2017-024, 2017. (External link
, fulltext
).
-
Loop-shaping feedback and feedforward control for networked systems with saturation and delay
. In Asian Journal of Control, volume 19, number 4, pp 1329-1349, 2017. (DOI
).
-
MATLAB Software for Nonlinear and Delayed Recursive Identification: Revision 1
. Technical report / Department of Information Technology, Uppsala University nr 2017-007, Uppsala universitet, Uppsala, 2017. (Report in fulltext
, fulltext
).
-
Networked and delayed recursive identification of nonlinear systems
. In Proc. 56th Conference on Decision and Control, pp 5851-5858, IEEE, Piscataway, NJ, 2017. (DOI
).
-
Neural Ctrl-F: Segmentation-free query-by-string word spotting in handwritten manuscript collections
. In 2017 IEEE International Conference on Computer Vision (ICCV), IEEE International Conference on Computer Vision, pp 4443-4452, IEEE, 2017. (DOI
, fulltext:postprint
).
-
Neural Ctrl-F: Segmentation-free Query-by-String Word Spotting in Handwritten Manuscript Collections
. In , 2017.
-
On the construction of probabilistic Newton-type algorithms
. In Proc. 56th Conference on Decision and Control, pp 6499-6504, IEEE, Piscataway, NJ, 2017. (DOI
).
-
Mastery Learning-Like Teaching with Achievements
. In , 2017. (fulltext:postprint
).
-
Prediction Performance After Learning in Gaussian Process Regression
. In Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, Proceedings of Machine Learning Research, pp 1264-1272, PMLR, Brookline, 2017. (Full text
, Reference
, fulltext:postprint
).
-
Scalable validation of industrial equipment using a functional DSMS
. In Journal of Intelligent Information Systems, volume 48, number 3, pp 553-577, 2017. (DOI
, Fulltext
, fulltext:print
).
-
Design of a hybrid observer for an oscillator with an intrinsic pulse-modulated feedback
. In Proc. American Control Conference: ACC 2017, pp 1175-1180, American Automatic Control Council, 2017. (DOI
).
-
Hybrid Observer for an Intrinsic Impulsive Feedback System
. In IFAC-PapersOnLine, volume 50, number 1, pp 4570-4575, 2017. (DOI
).
-
Hybrid observers for an impulsive Goodwin’s oscillator subject to continuous exogenous signals
. In 2017 IEEE 56Th Annual Conference on Decision and Control (Cdc), Proceedings / IEEE Conference on Decision and Control, pp 2396-2401, IEEE, Piscataway, NJ, 2017. (DOI
).
-
Hybrid observers for systems with intrinsic pulse-modulated feedback
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2017-001, Uppsala University, 2017. (fulltext
).
-
Type-assisted automatic garbage collection for lock-free data structures
. In SIGPLAN notices, volume 52, number 9, pp 14-24, ACM Press, New York, 2017. (DOI
).
-
High-dimensional online adaptive filtering
. In , volume 50:1 of IFAC-PapersOnLine, pp 14106-14111, Elsevier, 2017. (DOI
).
-
Parametric convergence analysis of an adaptive filtering algorithm with output quantization
. Technical report / Department of Information Technology, Uppsala University nr 2017-011, 2017. (External link
, fulltext
).
-
Exploring proxemics for human-drone interaction
. In Proc. 5th International Conference on Human Agent Interaction, pp 81-88, ACM Press, New York, 2017. (DOI
).
-
A Framework for Optimizing Multi-cell NOMA: Delivering Demand with Less Resource
. In GLOBECOM 2017 - 2017 IEEE Global Communications Conference, IEEE Global Communications Conference, IEEE, 2017. (DOI
).
-
Energy-Aware Wireless Relay Selection in Load-Coupled OFDMA Cellular Networks
. In IEEE Communications Letters, volume 21, number 1, pp 144-147, Institute of Electrical and Electronics Engineers (IEEE), 2017. (DOI
).
-
Joint CoMP-Cell Selection and Resource Allocation in Fronthaul-Constrained C-RAN
. In Proc. 15th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, IEEE, 2017. (DOI
).
-
Comments on “Enhanced PUMA for Direction-of-Arrival Estimation and Its Performance Analysis”
. In IEEE Transactions on Signal Processing, volume 65, number 22, pp 6113-6114, 2017. (DOI
).
-
Scalable and Passive Wireless Network Clock Synchronization in LOS Environments
. In IEEE Transactions on Wireless Communications, volume 16, number 6, pp 3536-3546, 2017. (DOI
).
-
A higher order multi-step iterative method for computing the numerical solution of systems of nonlinear equations associated with nonlinear PDEs and ODEs
. In Journal of Computational Analysis And Applications, volume 22, pp 445-461, 2017.
-
An approximation framework for solvers and decision procedures
. In Journal of automated reasoning, volume 58, number 1, pp 127-147, 2017. (DOI
, Fulltext
).
-
From Machine Arithmetic to Approximations and back again: Improved SMT Methods for Numeric Data Types
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1603, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext
, preview image
).
-
On energy-efficient offloading in mobile cloud for real-time video applications
. In IEEE transactions on circuits and systems for video technology (Print), volume 27, number 1, pp 170-181, 2017. (DOI
).
-
Less is More: Learning more with concurrent transmissions for energy-efficient flooding
. In Proc. 14th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, pp 323-332, ACM Press, New York, 2017. (DOI
).
-
Micromechanics of semicrystalline polymers: Towards quantitative predictions
. In Mechanics research communications, volume 80, pp 4-9, 2017. (DOI
).
-
Hands-on in computer programming education
. In Proc. 13th International Computing Education Research Conference, pp 279-280, ACM Press, New York, 2017. (DOI
).
-
Practical thinking in programming education
. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 203-204, ACM Press, New York, 2017. (DOI
).
-
A study protocol for applying user participation and co-learning: Lessons learned from the eBalance project
. In International Journal of Environmental Research and Public Health, volume 14, number 5, MDPI AG, 2017. (DOI
, Fulltext
, fulltext:print
).
-
Distance between vector-valued fuzzy sets based on intersection decomposition with applications in object detection
. In Mathematical Morphology and its Applications to Signal and Image Processing, volume 10225 of Lecture Notes in Computer Science, pp 395-407, Springer, 2017. (DOI
).