Publications 2019
-
Optimal stateless model checking for reads-from equivalence under sequential consistency
. In Proceedings of the ACM on Programming Languages, Association for Computing Machinery (ACM), 2019. (DOI
, Fulltext
, External link
, fulltext:print
).
-
Chain-Free String Constraints
. In Automated Technology for Verification and Analysis, volume 11781 of Lecture Notes in Computer Science, pp 277-293, Springer, 2019. (DOI
).
-
Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial)
. In Networked Systems: 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers, volume 11704 of Lecture Notes in Computer Science, pp 3-18, Springer Nature, 2019. (DOI
).
-
Reachability in database-driven systems with numerical attributes under recency bounding
. In PODS '19: Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, pp 335-352, ACM Press, 2019. (DOI
).
-
Special Issue on NETYS'2016
. In Computing, volume 101, number 1, pp 1-2, Springer Nature, 2019. (DOI
).
-
Verification of programs under the release-acquire semantics
. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp 1117-1132, Association for Computing Machinery (ACM), 2019. (DOI
).
-
Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication
. In Design, Automation & Test in Europe Conference & Exhibition: DATE 2019, pp 1625-1630, IEEE, 2019. (DOI
).
-
Conventional analysis of movement on non-flat surfaces like the plasma membrane makes Brownian motion appear anomalous
. In Communications Biology, volume 2, 2019. (DOI
, Fulltext
).
-
BS-assisted Task Offloading for D2D Networks with Presence of User Mobility
. In 2019 IEEE 89TH VEHICULAR TECHNOLOGY CONFERENCE (VTC2019-SPRING), IEEE Vehicular Technology Conference Proceedings, IEEE, 2019. (DOI
).
-
Sampled-data adaptive observer for state-affine systems with uncertain output equation
. In Automatica, volume 103, pp 96-105, 2019. (DOI
).
-
Particle-based adaptive-lag online marginal smoothing in general state-space models
. In IEEE Transactions on Signal Processing, volume 67, number 21, pp 5571-5582, 2019. (DOI
).
-
Teachers’ Awards: an Incentive for Pedagogical Development in Saudi Arabia
. In 2019 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2019. (DOI
).
-
Molecular Drivers of Crystallization Kinetics for Drugs in Supersaturated Aqueous Solutions
. In Journal of Pharmaceutical Sciences, volume 108, number 1, pp 252-259, ELSEVIER SCIENCE INC, 2019. (DOI
, fulltext:print
).
-
FIFOrder MicroArchitecture: Ready-Aware Instruction Scheduling for OoO Processors
. In 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), Design Automation and Test in Europe Conference and Exhibition, pp 716-721, IEEE, 2019. (DOI
, fulltext:postprint
).
-
Maximizing limited resources: A limit-based study and taxonomy of out-of-order commit
. In Journal of Signal Processing Systems, volume 91, number 3-4, pp 379-397, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Order-preserving interpolation for summation-by-parts operators at nonconforming grid interfaces
. In SIAM Journal on Scientific Computing, volume 41, pp A1201-A1227, 2019. (DOI
).
-
Filter caching for free: The untapped potential of the store-buffer
. In Proc. 46th International Symposium on Computer Architecture, pp 436-448, ACM Press, New York, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Leveraging Existing Microarchitectural Structures to Improve First-Level Caching Efficiency
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1821, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext
, preview image
).
-
Minimizing Replay under Way-Prediction
. Technical report / Department of Information Technology, Uppsala University nr 2019-003, 2019. (fulltext
).
-
Empathic robot for group learning: A field study
. In ACM Transactions on Human-Robot Interaction, volume 8, number 1, 2019. (DOI
).
-
Deep convolutional networks in system identification
. In Proc. 58th IEEE Conference on Decision and Control, pp 3670-3676, IEEE, 2019. (DOI
).
-
Deep learning applied to system identification: A probabilistic approach
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2019-007, Uppsala University, 2019. (fulltext
).
-
Past and future challenges for railway research and the role of a systems perspective
. In Proc. 20th Congress of the International Ergonomics Association: Volume VII, volume 824 of Advances in Intelligent Systems and Computing, pp 1737-1746, Springer, 2019. (DOI
).
-
The coordination between train traffic controllers and train drivers: a distributed cognition perspective on railway
. In Cognition, Technology & Work, volume 21, number 3, pp 417-443, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Temporal upscaling in micromagnetism via heterogeneous multiscale methods
. In Journal of Computational and Applied Mathematics, volume 345, pp 99-113, 2019. (DOI
).
-
Inverse factorization in electronic structure theory: Analysis and parallelization
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2019-002, Uppsala University, 2019. (fulltext
, preview image
).
-
Parallelization and scalability analysis of inverse factorization using the chunks and tasks programming model
. In Parallel Computing, volume 89, pp 102548:1-12, 2019. (DOI
).
-
Assessment of Blood Vessel Effect on Fat-Intrabody Communication Using Numerical and Ex-Vivo Models at 2.45 GHZ
. In IEEE Access, volume 7, pp 89886-89900, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Developing adaptive traffic signal control by actor-critic and direct exploration methods
. In Proceedings of the Institution of Civil Engineers: Transport, volume 172, number 5, pp 289-298, 2019. (DOI
).
-
CNNs on Graphs: A New Pooling Approach and Similarities to Mathematical Morphology
. In , 2019.
-
Mathematical Morphology on Irregularly Sampled Data Applied to Segmentation of 3D Point Clouds of Urban Scenes
. In International Symposium on Mathematical Morphology and Its Applications to Signal and Image Processing, Lecture Notes In Computer Science, Springer Nature, 2019. (DOI
, External link
).
-
Precise Image-Based Measurements through Irregular Sampling
Noggranna bildbaserade mätningar via irreguljär sampling
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1869, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext
, preview image
).
-
Efficient computational methods for applications in genomics
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2019-006, Uppsala University, 2019. (fulltext
).
-
Evaluation of methods handling missing data in PCA on genotype data: Applications for ancient DNA
. Technical report / Department of Information Technology, Uppsala University nr 2019-009, 2019. (fulltext
).
-
Glandular Segmentation of Prostate Cancer: An Illustration of How the Choice of Histopathological Stain Is One Key to Success for Computational Pathology
. In Frontiers in Bioengineering and Biotechnology, volume 7, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Knowledge elicitation as abstraction of purposive behaviour
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1765, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext
, preview image
).
-
A note on preconditioning methods for time-periodic eddy current optimal control problems
. In Journal of Computational and Applied Mathematics, volume 352, pp 262-277, 2019. (DOI
).
-
Parameter modified versions of preconditioning and iterative inner product free refinement methods for two-by-two block matrices
. In Linear Algebra and its Applications, volume 582, pp 403-429, 2019. (DOI
).
-
Preconditioned iterative solution methods for linear systems arising in PDE-constrained optimization
. In Robust and Constrained Optimization: Methods and Applications, Mathematics Research Developments, pp 85-148, Nova Science Publishers, Inc., Hauppauge, New York, 2019.
-
CalligraphyNet: Augmenting handwriting generation with quill based stroke width
. 26th IEEE International Conference on Image Processing (Currently under review), 2019.
-
Learning based segmentation and generation methods for handwritten document images
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1783, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext
, preview image
).
-
PDNet: Semantic segmentation integrated with a primal-dual network for document binarization
. In Pattern Recognition Letters, volume 121, pp 52-60, 2019. (DOI
, fulltext:postprint
).
-
Quantifiers and Theories: A Lazy Approach
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 139, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext
, preview image
).
-
Sparsity promoting super-resolution coverage segmentation by linear unmixing in presence of blur and noise
. In Journal of Electronic Imaging (JEI), volume 28, number 1, IS&T & SPIE, 2019. (DOI
).
-
Block generalized locally Toeplitz sequences: Theory and applications
. Technical report / Department of Information Technology, Uppsala University nr 2019-002, 2019. (fulltext
).
-
Block generalized locally Toeplitz sequences: Theory and applications in the unidimensional case
. Technical report / Department of Information Technology, Uppsala University nr 2019-004, 2019. (fulltext
).
-
Block generalized locally Toeplitz sequences: Theory and applications in the multidimensional case
. Technical report / Department of Information Technology, Uppsala University nr 2019-005, 2019. (fulltext
).
-
TOOLympics 2019: An overview of competitions in formal methods
. In Tools and Algorithms for the Construction and Analysis of Systems: 25 years of TACAS, Part III, volume 11429 of Lecture Notes in Computer Science, pp 3-24, Springer, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Mathematical modeling reveals that the administration of EGF can promote the elimination of lymph node metastases by PD-1/PD-L1 blockade
. In Frontiers in Bioengineering and Biotechnology, volume 7, 2019. (DOI
, Fulltext
).
-
Fast parallel solver for the space–time IgA–DG discretization of the anisotropic diffusion equation
. Technical report / Department of Information Technology, Uppsala University nr 2019-011, 2019. (fulltext
).
-
Image analysis in digital pathology: Combining automated assessment of Ki67 staining quality with calculation of Ki67 cell proliferation index
. In Cytometry Part A, volume 95, number 7, pp 714-716, 2019. (DOI
).
-
Special Section on Image Cytometry
. In Cytometry Part A, volume 95A, number 4, pp 363-365, 2019. (DOI
, Fulltext
).
-
Levels of Hate in Online Environments
. In Proceedings of the 2019 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2019), pp 842-847, Association for Computing Machinery (ACM), 2019. (DOI
).
-
Att undervisa vid Royal University of Bhutan
. In Druk Yul, number 2, pp 27-29, The Swedish Bhutan Society, Stockholm, Sweden, 2019.
-
Inspiring Students in Their Learning: A Theoretically Based Discussion Building on Three Courses
. In 2019 IEEE Frontiers in Education Conference (FIE 2019), Frontiers in Education Conference, IEEE, 2019. (DOI
).
-
Optimal controller/observer gains of discounted-cost LQG systems
. In Automatica, volume 101, pp 471-474, Elsevier, 2019. (DOI
).
-
Preconditioned smoothers for the Full Approximation Scheme for the RANS equations
. In Journal of Scientific Computing, volume 78, pp 995-1022, 2019. (DOI
, Fulltext
).
-
Exploring declarative local-search neighbourhoods with constraint programming
. In Principles and Practice of Constraint Programming, volume 11802 of Lecture Notes in Computer Science, pp 37-53, Springer, Switzerland, 2019. (DOI
).
-
Generating compound moves in local search by hybridisation with complete search
. In Integration of Constraint Programming, Artificial Intelligence, and Operations Research, volume 11494 of Lecture Notes in Computer Science, pp 95-111, Springer, 2019. (DOI
).
-
The importance of language in teaching and learning ethics
. In , 2019. (External link
).
-
Adapting the secretary hiring problem for optimal hot–cold tier placement under top-<em>K</em> workloads
. In Proc. 19th International Symposium on Cluster, Cloud, and Grid Computing, pp 576-583, IEEE Computer Society, Los Alamitos, CA, 2019. (DOI
).
-
Run, Actor, Run: Towards Cross-Actor Language Benchmarking
. In AGERE 2019 Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, pp 41-50, Association for Computing Machinery (ACM), 2019. (DOI
, fulltext:postprint
).
-
A 3D multiscale model to explore the role of EGFR overexpression in tumourigenesis
. In Bulletin of Mathematical Biology, volume 81, pp 2323-2344, 2019. (DOI
, Fulltext
).
-
A multiscale model of platelet-fibrin thrombus growth in the flow
. In Computers & Fluids, volume 184, pp 10-20, 2019. (DOI
).
-
Identification of continuous Volterra models with explicit time delay through series of Laguerre functions
. In Proc. 58th IEEE Conference on Decision and Control, pp 5641-5646, IEEE, 2019. (DOI
).
-
Volterra modeling of the human smooth pursuit system in health and disease
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2019-003, Uppsala University, 2019. (fulltext
).
-
Electronic health records are more than a work tool: Conflicting needs of direct and indirect stakeholders
. In Proc. 37th CHI Conference on Human Factors in Computing Systems, ACM Press, New York, 2019. (DOI
).
-
Enabling Scalable Data Analysis on Cloud Resources with Applications in Life Science
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1846, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext
, preview image
).
-
On-demand virtual research environments using microservices
. In PeerJ Computer Science, volume 5, 2019. (DOI
, Fulltext
).
-
Radar detection architecture based on interference covariance structure classification
. In IEEE Transactions on Aerospace and Electronic Systems, volume 55, number 2, pp 607-618, 2019. (DOI
).
-
Developing a Monadic Type Checker for an Object-Oriented Language: An Experience Report
. In , pp 184-196, Association for Computing Machinery (ACM), 2019. (DOI
, External link
).
-
Face Recognition - A One-Shot Learning Perspective
. In 15th IEEE Conference on Signal Image Technology and Internet based Systems, pp 113-119, 2019.
-
Finding Logo and Seal in Historical Document Images -: An Object Detection based Approach
. In The 5th Asian Conference on Pattern Recognition (ACPR 2019), pp 821-834, 2019. (External link
).
-
Resource Optimization for Joint LWA and LTE-U in Load-Coupled and Multi-Cell Networks
. In IEEE Communications Letters, volume 23, number 2, pp 330-333, 2019. (DOI
).
-
Decision procedures for path feasibility of string-manipulating programs with complex operations
. In Proceedings of the ACM on Programming Languages, volume 3, number 49, Association for Computing Machinery (ACM), 2019. (DOI
, Fulltext
, fulltext:print
).
-
Exploiting blockchain data to detect smart Ponzi schemes on Ethereum
. In IEEE Access, volume 7, pp 37575-37586, 2019. (DOI
, Fulltext
).
-
Numerical ice sheet modeling: Forward and inverse problems
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1849, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext
, preview image
).
-
Parameter sensitivity analysis of dynamic ice sheet models
. 2019. (arXiv:1906.08197
).
-
Spectral and convergence analysis of the discrete ALIF method
. In Linear Algebra and its Applications, volume 580, pp 62-95, 2019. (DOI
).
-
Age of Information-Aware Scheduling for Timely and Scalable Internet of Things Applications
. In IEEE Conference On Computer Communications (IEEE INFOCOM 2019), IEEE INFOCOM, pp 2476-2484, 2019. (External link
).
-
Calculating Deep Brain Stimulation Amplitudes and Power Consumption by Constrained Optimization
. In Journal of Neural Engineering, volume 16, number 1, 2019. (DOI
).
-
Getting started with particle Metropolis-Hastings for inference in nonlinear dynamical models
. In Journal of Statistical Software, volume 88, number CN2, pp 1-41, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Loading factor estimation under affine constraints on the covariance eigenvalues with application to radar target detection
. In IEEE Transactions on Aerospace and Electronic Systems, volume 55, number 3, pp 1269-1283, 2019. (DOI
).
-
Decoupling multivariate polynomials for nonlinear state-space models
. In IEEE Control Systems Letters, volume 3, number 3, pp 745-750, Institute of Electrical and Electronics Engineers (IEEE), 2019. (DOI
, External link
).
-
Networked delay control for 5G wireless machine-type communications using multiconnectivity
. In IEEE Transactions on Control Systems Technology, volume 27, number 4, pp 1510-1525, 2019. (DOI
).
-
Optimizing Retention-Aware Caching in Vehicular Networks
. In IEEE Transactions on Communications, volume 67, number 9, pp 6139-6152, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI
).
-
Segmentation of Post-operative Glioblastoma in MRI by U-Net with Patient-specific Interactive Refinement
. In Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries, volume 11383 of Lecture Notes in Computer Science (LNCS), pp 115-122, Springer, Cham, 2019. (DOI
).
-
A merged tuning of binary and ternary Loop's subdivision
. In Computer Aided Geometric Design, volume 69, pp 27-44, 2019. (DOI
).
-
Scope-aware data cache analysis for OpenMP programs on multi-core processors
. In Journal of systems architecture, volume 98, pp 443-452, ELSEVIER, 2019. (DOI
).
-
On energy stable discontinuous Galerkin spectral element approximations of the perfectly matched layer for the wave equation
. In Computer Methods in Applied Mechanics and Engineering, volume 350, pp 898-937, 2019. (DOI
, Fulltext
).
-
Accurate optimization models for interference constrained bandwith allocation in cellular networks
. In Computers & Operations Research, volume 101, pp 1-12, 2019. (DOI
).
-
Dual Priority Scheduling is Not Optimal
. In Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, 2019. (DOI
, Fulltext
, External link
).
-
Monotonicity and robustness in Wiener disorder detection
. In Sequential Analysis, volume 38, number 1, pp 57-68, 2019. (DOI
, Fulltext
).
-
A matrix-less and parallel interpolation–extrapolation algorithm for computing the eigenvalues of preconditioned banded symmetric Toeplitz matrices
. In Numerical Algorithms, volume 80, pp 819-848, 2019. (DOI
, Fulltext
).
-
Eigenvalue isogeometric approximations based on B-splines: Tools and results
. In Advanced Methods for Geometric Modeling and Numerical Simulation, pp 57-76, Springer, 2019. (DOI
).
-
Stochastic simulation of pattern formation in growing tissue: A multilevel approach
. In Bulletin of Mathematical Biology, volume 81, pp 3010-3023, 2019. (DOI
, Fulltext
).
-
How should universities care for the future?: Universities encouraging and supporting students to care for the future – vision or reality
. In , 2019.
-
Depression Prevalence in Postgraduate Students and Its Association With Gait Abnormality
. In IEEE Access, volume 7, pp 174425-174437, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI
, Fulltext
, fulltext:print
).
-
An Efficient UAV Hijacking Detection Method Using Onboard Inertial Measurement Unit
. In ACM Transactions on Embedded Computing Systems, volume 17, number 6, ASSOC COMPUTING MACHINERY, 2019. (DOI
).
-
Godot: All the Benefits of Implicit and Explicit Futures
. In 33rd European Conference on Object-Oriented Programming (ECOOP 2019), volume 134 of Leibniz International Proceedings in Informatics (LIPIcs), 2019. (DOI
, Fulltext
, External link
, fulltext:print
).
-
The eigenvalue distribution of special 2-by-2 block matrix-sequences with applications to the case of symmetrized Toeplitz structures
. In SIAM Journal on Matrix Analysis and Applications, volume 40, pp 1066-1086, 2019. (DOI
).
-
Courses-Concepts-Graphs as a Tool to Measure the Importance of Concepts in University Programmes
. In 2019 18th European Control Conference (ECC), pp 3076-3083, IEEE, 2019. (DOI
).
-
An Intuition-Based Approach to Sustainable ICT: Insights from Eco-Ethica
. In Tetsugaku Companion to Japanese Ethics and Technology, volume 1 of Tetsugaku Companions to Japanese Philosophy, pp 181-200, Springer, 2019. (Publisher's webpage
).
-
Assessing Students' IT Professional Values in a Global Project Setting
. In ACM Transactions on Computing Education, volume 19, number 2, ASSOC COMPUTING MACHINERY, 2019. (DOI
).
-
Haptic feedback combined with movement sonification using a friction sound improves task performance in a virtual throwing task
. In Journal on Multimodal User Interfaces, volume 13, number 4, pp 279-290, 2019. (DOI
, Fulltext
).
-
Learning Socially Appropriate Robot Approaching Behavior Toward Groups using Deep Reinforcement Learning
. In 2019 28th IEEE International Conference On Robot And Human Interactive Communication (RO-MAN), IEEE RO-MAN, Institute of Electrical and Electronics Engineers (IEEE), 2019. (DOI
).
-
Fast Adaptation with Meta-Reinforcement Learning for Trust Modelling in Human–Robot Interaction
. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Proceedings of the International Conference on Intelligent Robots and Systems, pp 305-312, Institute of Electrical and Electronics Engineers (IEEE), 2019. (DOI
, External link
, fulltext:postprint
).
-
Block GLT sequences: Matrix functions and engineering application
. In The Electronic Journal of Linear Algebra, volume 35, pp 204-222, 2019. (DOI
, Fulltext
).
-
Block generalized locally Toeplitz sequences: Topological construction, spectral distribution results, and star-algebra structure
. In Structured Matrices in Numerical Linear Algebra: Analysis, Algorithms and Applications, pp 59-79, Springer, 2019. (DOI
).
-
Block locally Toeplitz sequences: Construction and properties
. In Structured Matrices in Numerical Linear Algebra: Analysis, Algorithms and Applications, pp 25-58, Springer, 2019. (DOI
).
-
Multilevel Generalized Locally Toeplitz Sequences: An Overview and an Example of Application
. In International Conference on Numerical Analysis and Applied Mathematics (ICNAAM-2018), volume 2116 of AIP Conference Proceedings, 2019. (DOI
).
-
Symbol-based analysis of finite element and isogeometric B-spline discretizations of eigenvalue problems: Exposition and review
. In Archives of Computational Methods in Engineering, volume 26, pp 1639-1690, 2019. (DOI
).
-
Oral Cancer Detection:: A Comparison of Texture Focused Deep Learning Approaches
. In Proceedings of the Swedish Society for Automated Image Analysis (SSBA), 2019. (External link
).
-
Texture-based oral cancer detection: A performance analysis of deep learning approaches.
. In 3rd NEUBIAS Conference, Luxembourg, 2019.
-
Bridging the Gap: On a Humanoid Robotics Rookie League
. In RoboCup 2018: Robot World Cup XXII, volume 11374 of Lecture Notes in Artificial Intelligence (LNAI), pp 193-204, Springer Nature, 2019. (DOI
).
-
An invisible burden: An experience-based approach to nurses' daily work life with healthcare information technology
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2019-001, Uppsala University, 2019. (fulltext
).
-
More work, same hours: Invisible HIT-induced tasks in nurses' everyday work
. 2019.
-
The impact of information and communication technology on work, workers, and the psychosocial work context: Research trends from 2000–2017
. 2019.
-
Sleepy Devices Versus Radio Duty Cycling: The Case of Lightweight M2M
. In IEEE Internet of Things Journal, volume 6, number 2, pp 2550-2562, Institute of Electrical and Electronics Engineers (IEEE), 2019. (DOI
).
-
Sampled Simulation of Task-Based Programs
. In IEEE Transactions on Computers, volume 68, number 2, pp 255-269, IEEE COMPUTER SOC, 2019. (DOI
).
-
Spatial lymphocyte dynamics in lymph nodes predicts the cytotoxic T cell frequency needed for HIV infection control
. In Frontiers in Immunology, volume 10, 2019. (DOI
, Fulltext
).
-
Why high-performance modelling and simulation for big data applications matters
. In High-Performance Modelling and Simulation for Big Data Applications, pp 1-35, Springer, 2019. (DOI
, Fulltext
).
-
<em>TAF1</em>, associated with intellectual disability in humans, is essential for embryogenesis and regulates neurodevelopmental processes in zebrafish
. In Scientific Reports, volume 9, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Deep Learning in Image Cytometry: A Review
. In Cytometry Part A, volume 95, number 6, pp 366-380, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Saul Abarbanel; Half a century of scientific work
. In Journal of Scientific Computing, volume 81, pp 1124-1135, 2019. (DOI
, Fulltext
).
-
Impact of Q-Griffithsin anti-HIV microbicide gel in non-human primates: In situ analyses of epithelial and immune cell markers in rectal mucosa
. In Scientific Reports, volume 9, NATURE PUBLISHING GROUP, 2019. (DOI
, Fulltext
, fulltext:print
).
-
The presence and impact of reference bias on population genomic studies of prehistoric human populations
. In PLOS Genetics, volume 15, number 7, 2019. (DOI
, Fulltext
).
-
Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems
. In 2019 IEEE 37TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD 2019), Proceedings IEEE International Conference on Computer Design, pp 237-245, IEEE, 2019. (DOI
).
-
Creating an Atlas over Handwritten Script Signs
. In Digital Humanities in the Nordic Countries, 2019.
-
Embedded Prototype Subspace Classification: A subspace learning framework
. In Computer Analysis of Images and Patterns, CAIP 2019, PT II, volume 11679 of Lecture Notes in Computer Science, pp 581-592, Springer, 2019. (DOI
, External link
).
-
Making large collections of handwritten material easily accessible and searchable
. In Digital Libraries: Supporting Open Science, volume 988 of Communications in Computer and Information Science, pp 18-28, Springer, 2019. (DOI
).
-
Subspace Learning and Classification
. In Proc. 3rd Swedish Symposium on Deep Learning, 2019.
-
Poroelastic effects destabilize mildly rate-strengthening friction to generate stable slow slip pulses
. In Journal of the mechanics and physics of solids, volume 130, pp 262-279, 2019. (DOI
, External link
).
-
Numerical Homogenization of Elliptic PDEs with Similar Coefficients
. In Multiscale Modeling & simulation, volume 17, number 2, pp 650-674, SIAM PUBLICATIONS, 2019. (DOI
).
-
Neutron transmission strain tomography for non-constant stress-free lattice spacing
. In Nuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms, volume 456, pp 64-73, 2019. (DOI
).
-
A Generalized Framework for Self-Play Training
. In 2019 IEEE CONFERENCE ON GAMES (COG), IEEE Conference on Computational Intelligence and Games, pp 1-8, IEEE, 2019. (DOI
).
-
On Strings in Software Model Checking
. In Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings, pp 19-30, Cham, 2019. (DOI
, External link
).
-
A hydrodynamic model of movement of a contact line over a curved wall
. 2019. (arXiv:1905.08788
).
-
A note on the spectral distribution of symmetrized Toeplitz sequences
. In Linear Algebra and its Applications, volume 579, pp 32-50, 2019. (DOI
).
-
Probabilistic Bisimulation for Parameterized Systems: (with Applications to Verifying Anonymous Protocols)
. In Computer Aided Verification. CAV 2019., pp 455-474, Cham, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Age-related differences in seeking clarification to understand medical record information
. In Proc. 12th ISIC Conference: Part 2, volume 24:1 of Information Research, 2019. (Paper
).
-
Poster: Tiek: Two-tier Authentication and Key Distribution for Wearable Devices
. In , 2019. (fulltext:postprint
).
-
Tiek: Two-tier Authentication and Key Distribution for Wearable Devices
. In 2019 INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB), IEEE , 2019, IEEE, 2019. (fulltext:postprint
).
-
Multiple Authentic Project-Based Experiences and Persistent Learning?
. In 2019 IEEE Frontiers in Education Conference (FIE 2019), Frontiers in Education Conference, IEEE, 2019. (DOI
).
-
Searching for global employability: Can students capitalize on enabling learning environments?
. In ACM Transactions on Computing Education, volume 19, number 2, pp 11:1-29, 2019. (DOI
).
-
New model for pricing quanto credit default swaps
. In International Journal of Theoretical and Applied Finance, volume 22, number 3, 2019. (DOI
).
-
Link quality estimation for arbitrary packet sizes over wireless links using packet reception events
. In International Journal of Communication Systems, volume 32, number 16, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Improving Sensor Network Convergecast Performance with Directional Antennas
. In , 2019. (External link
).
-
Deep kernel learning for integral measurements
. 2019. (arXiv:1909.01844
).
-
Tailoring Gaussian processes for tomographic reconstruction
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2019-005, Uppsala University, 2019. (fulltext
).
-
Evaluation of a sensor algorithm for motor state rating in Parkinson's disease
. In Parkinsonism & Related Disorders, volume 64, pp 112-117, ELSEVIER SCI LTD, 2019. (DOI
).
-
SWEEP: Accelerating scientific research through scalable serverless workflows
. In Companion Proc. 12th International Conference on Utility and Cloud Computing, pp 43-50, ACM Press, New York, 2019. (DOI
).
-
JayHorn: A Java Model Checker -: (Competition Contribution)
. In Tools and Algorithms for the Construction and Analysis of Systems, pp 214-218, Springer, Cham, 2019. (DOI
, Fulltext
, External link
, fulltext:print
).
-
Information and Communication Technology for ethical leadership in business
. In Journal of Information and Management, volume 38, number 4, pp 6-11, Japan Society for Information and Management, Tokyo, 2019. (External link
).
-
Comparing node degrees in probabilistic networks
. In Journal of Complex Networks, volume 7, number 5, pp 749-763, 2019. (DOI
).
-
Local measures for probabilistic networks
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2019-004, Uppsala University, 2019. (fulltext
).
-
Generalized convexity: The case of lineally convex Hartogs domains
. In Annales Polonici Mathematici, volume 123, pp 319-344, Institute of Mathematics of the Polish Academy of Sciences, 2019. (DOI
).
-
Hans Rådström and how to define smooth functions on any set
. In The Bulletin of the Swedish Mathematical Society, pp 20-23, 2019. (External link
).
-
Kion faris Zamenhof anta? 1887?
. In La Espero, number 2, pp 3-3, Sveda Esperanto-Federacio, 2019.
-
Language choice in scientific writing: The case of mathematics at Uppsala University and a Nordic journal
. In Nordisk Matematisk Tidskrift. Normat., volume 61, number 2–4, pp 111-132, Nationellt centrum för matematikutbildning (NCM), Göteborg, 2019. (External link
).
-
Memore al Ebbe Vilborg
. In La Espero, number 2, pp 5-5, Sveda Esperanto-Federacio, 2019.
-
Memore al Jarlo Martelmonto
. In La Espero, number 2, pp 5-5, Sveda Esperanto-Federacio, 2019.
-
Werner Fenchel, a pioneer in convexity theory and a migrant scientist
. In Nordisk Matematisk Tidskrift, volume 61, number 2–4, pp 133-152, Nationellt centrum för matematikutbildning (NCM), Göteborg, 2019. (External link
).
-
Tracking Microscope Performance: A Workflow to Compare Point Spread Function Evaluations Over Time
. In Microscopy and Microanalysis, volume 25, number 3, pp 699-704, 2019. (DOI
).
-
Reasoning about knowledge and messages in asynchronous multi-agent systems
. In Mathematical Structures in Computer Science, volume 29, number 1, pp 127-168, 2019. (DOI
).
-
Effects of jamming attacks on a control system with energy harvesting
. In IEEE Control Systems Letters, volume 3, number 4, pp 829-834, Institute of Electrical and Electronics Engineers (IEEE), 2019. (DOI
, External link
).
-
Quantitative analysis of curricula coherence using directed graphs
. In IFAC-PapersOnLine, volume 52, number 9, pp 318-323, ELSEVIER, 2019. (DOI
).
-
A Fast and Robust Algorithm for Orientation Estimation Using Inertial Sensors
. In IEEE Signal Processing Letters, volume 26, number 11, pp 1673-1677, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI
).
-
Stateless model checking of the Linux kernel's read-copy update (RCU)
. In International Journal on Software Tools for Technology Transfer, volume 21, number 3, pp 287-306, SPRINGER HEIDELBERG, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Visualization of convolutional neural network class activations in automated oral cancer detection for interpretation of malignancy associated changes
. In 3rd NEUBIAS Conference, Luxembourg, 2-8 February 2019, 2019.
-
An Analysis of the Consequences of the General Data Protection Regulation on Social Network Research
. In ACM Transactions on Social Computing, volume 2, number 3, Association for Computing Machinery (ACM), 2019. (DOI
, fulltext:postprint
).
-
A material chemistry tool for generating two body potentials
. In , 2019.
-
Multigrid for matrix-free high-order finite element computations on graphics processors
. In ACM Transactions on Parallel Computing, volume 6, number 1, pp 2:1-32, 2019. (DOI
).
-
Efficient Density Matrix Methods for Large Scale Electronic Structure Calculations
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1858, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext
, preview image
).
-
Efficient computation of the density matrix with error control on distributed computer systems
. 2019. (arXiv:1909.12533
).
-
Multiple eigenvectors around the homo–lumo gap as a cheap by-product in linear scaling electronic structure calculations
. 2019. (arXiv:1909.11662
).
-
Freeway: Maximizing MLP for Slice-Out-of-Order Execution
. In 2019 25th IEEE International Symposium On High Performance Computer Architecture (HPCA), International Symposium on High-Performance Computer Architecture-Proceedings, pp 558-569, IEEE, 2019. (DOI
, fulltext:postprint
).
-
Performance of an OO compute kernel on the JVM: Revisiting Java as a language for scientific computing applications
. In Proc. 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, pp 144-156, ACM Press, New York, 2019. (DOI
).
-
Performance of an OO compute kernel on the JVM: Revisiting Java as a language for scientific computing applications (extended version)
. Technical report / Department of Information Technology, Uppsala University nr 2019-007, 2019. (External link
, fulltext
).
-
Parallelization of hierarchical matrix algorithms for electromagnetic scattering problems
. In High-Performance Modelling and Simulation for Big Data Applications, pp 36-68, Springer, 2019. (DOI
, Fulltext
).
-
A robust multi-variability model based liver segmentation algorithm for CT-scan and MRI modalities
. In Computerized Medical Imaging and Graphics, volume 76, PERGAMON-ELSEVIER SCIENCE LTD, 2019. (DOI
).
-
Load Coupling and Energy Optimization in Multi-Cell and Multi-Carrier NOMA Networks
. In IEEE Transactions on Vehicular Technology, volume 68, number 11, pp 11323-11337, 2019. (DOI
).
-
Data Consistency Approach to Model Validation
. In IEEE Access, volume 7, pp 59788-59796, Institute of Electrical and Electronics Engineers (IEEE), 2019. (DOI
, Fulltext
, fulltext:print
).
-
Exposing inter-process information for efficient PDES of spatial stochastic systems on multicores
. In ACM Transactions on Modeling and Computer Simulation, volume 29, number 2, pp 11:1-25, 2019. (DOI
).
-
Dynamic nonlinear partial least squares modeling using Gaussian process regression
. In Industrial & Engineering Chemistry Research, volume 58, number 36, pp 16676-16686, 2019. (DOI
, Fulltext
).
-
Supervised classification methods for flash X-ray single particle diffraction imaging
. In Optics Express, volume 27, pp 3884-3899, 2019. (DOI
, Fulltext
).
-
Modeling spatial correlation of transcripts with application to developing pancreas
. In Scientific Reports, volume 9, 2019. (DOI
, Fulltext
).
-
Gaussian Process Learning for Distributed Sensor Networks Under False Data Injection Attacks
. In 2019 IEEE Conference On Dependable And Secure Computing (DSC), pp 190-195, 2019.
-
APTER: Aggregated Prognosis Through Exponential Re-weighting
. In Computing and Combinatorics, volume 11653 of Lecture Notes in Computer Science (LNCS), pp 425-436, Springer Nature, 2019. (DOI
).
-
Depth from defocus (DFD) based on VFISTA optimization algorithm in micro/nanometer vision
. In Cluster Computing, volume 22, pp 1459-1467, SPRINGER, 2019. (DOI
).
-
A Deep Learning based Pipeline for Efficient Oral Cancer Screening on Whole Slide Images
. 2019. (arXiv:1910.10549
).
-
Brown adipose tissue estimated with the magnetic resonance imaging fat fraction is associated with glucose metabolism in adolescents
. In Pediatric Obesity, volume 14, number 9, 2019. (DOI
, Fulltext
).
-
Visualizing Purpose and Functionality Overlaps of Health IT Systems using an Abstraction Hierarchy
. In Proceedings of the Human Factors and Ergonomics Society Annual Meeting, pp 317-321, Sage Publications, Newbury Park, California, 2019. (DOI
, Fulltext
, fulltext:print
).
-
The linear noise approximation for spatially dependent biochemical networks
. In Bulletin of Mathematical Biology, volume 81, pp 2873-2901, 2019. (DOI
, Fulltext
).
-
Comparison of NoSQL Datastores for Large Scale Data Stream Log Analytics
. In 2019 IEEE International Conference on Smart Computing (SMARTCOMP), pp 478-480, IEEE, 2019. (DOI
).
-
On the Effectiveness of Generative Adversarial Networks as HEp-2 Image Augmentation Tool
. In Scandinavian Conference on Image Analysis: SCIA 2019, volume 11482 of Lecture Notes in Computer Science, pp 439-451, 2019. (DOI
, External link
).
-
Optimization of max-norm objective functions in image processing and computer vision
. In Discrete Geometry for Computer Imagery, volume 11414 of Lecture Notes in Computer Science, pp 206-218, Springer, 2019. (DOI
).
-
Thermal conductivity of firn at Lomonosovfonna, Svalbard, derived from subsurface temperature measurements
. In The Cryosphere, volume 13, pp 1843-1859, 2019. (DOI
, Fulltext
).
-
IEEE 802.15. 4 TSCH in Sub-GHz: Design Considerations and Multi-band Support
. In Proceedings of the IEEE LCN: 2019 44th Annual IEEE Conference on Local Computer Networks (LCN 2019), Conference on local computer networks, pp 42-50, IEEE COMPUTER SOC, 2019.
-
Flexible Models for Smart Maintenance
. In 2019 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), IEEE International Conference on Industrial Technology, pp 1772-1777, 2019.
-
Image and Data Analysis for Biomedical Quantitative Microscopy
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1864, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext
, preview image
).
-
Reducing the U-Net size for practical scenarios: Virus recognition in electron microscopy images
. In Computer Methods and Programs in Biomedicine, volume 178, pp 31-39, ELSEVIER IRELAND LTD, 2019. (DOI
).
-
Isogeometric analysis for 2D and 3D curl–div problems: Spectral symbols and fast iterative solvers
. In Computer Methods in Applied Mechanics and Engineering, volume 344, pp 970-997, 2019. (DOI
).
-
Spectral analysis and spectral symbol for the 2D curl–curl (stabilized) operator with applications to the related iterative solutions
. In Mathematics of Computation, volume 88, number 317, pp 1155-1188, 2019. (DOI
).
-
Control-Engineering Perspective on Deep Brain Stimulation: Revisited
. In 2019 American Control Conference (ACC), Proceedings of the American Control Conference, pp 860-865, 2019. (DOI
, Conference information
).
-
Oscillations-free PID control of anesthetic drug delivery in neuromuscular blockade
. In Computer Methods and Programs in Biomedicine, volume 171, pp 119-131, ELSEVIER IRELAND LTD, 2019. (DOI
).
-
Content-Based Image Retrieval System for Pulmonary Nodules Using Optimal Feature Sets and Class Membership-Based Retrieval
. In Journal of digital imaging, volume 32, pp 362-385, 2019. (DOI
).
-
The impact of interactive visualization on trade-off-based geospatial decision-making
. In International Journal of Geographical Information Science, volume 33, number 10, pp 2094-2123, 2019. (DOI
, Fulltext
).
-
Bioimage Data Analysis Workflows
. Learning Materials in Biosciences, Springer, 2019. (DOI
, Fulltext
, fulltext
).
-
Linear scaling pseudo Fermi-operator expansion for fractional occupation
. In Journal of Chemical Theory and Computation, volume 15, pp 190-200, 2019. (DOI
).
-
makeSense: Simplifying the Integration of Wireless Sensor Networks into Business Processes
. In IEEE Transactions on Software Engineering, volume 45, number 6, pp 576-596, IEEE Computer Society, 2019. (DOI
).
-
Reflecting on the presence of science fiction robots in computing literature
. In ACM Transactions on Human-Robot Interaction, volume 8, number 1, 2019. (DOI
).
-
A library for wall-modelled large-eddy simulation based on OpenFOAM technology
. In Computer Physics Communications, volume 239, pp 204-224, 2019. (DOI
).
-
In search of the scribe: Letter spotting as a tool for identifying scribes in large handwritten text corpora
. In Human IT, volume 14, number 2, pp 95-120, 2019. (External link
).
-
Elements of Sequential Monte Carlo
. In FOUNDATIONS AND TRENDS IN MACHINE LEARNING, volume 12, number 3, pp 187-306, NOW PUBLISHERS INC, 2019. (DOI
).
-
High-Dimensional Filtering Using Nested Sequential Monte Carlo
. In IEEE Transactions on Signal Processing, volume 67, number 16, pp 4177-4188, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI
).
-
Max-Min Fairness Design for MIMO Interference Channels: A Minorization-Maximization Approach
. In IEEE Transactions on Signal Processing, volume 67, number 18, pp 4707-4719, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI
).
-
Distance Transform Based on Weight Sequences
. In DGCI 2019: Discrete Geometry for Computer Imagery, volume 11414 of Lecture Notes in Computer Science, pp 62-74, Springer, Switzerland AG, 2019. (DOI
, External link
).
-
Automatic for the People: Implementing Robotic Process Automation in Social Work
. In Proceedings of the 17th European Conference on Computer: Supported Cooperative Work-Demos and Posters, 2019. (External link
).
-
Model Checking of Software Systems under Weak Memory Models
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1745, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext
, preview image
).
-
Directed Statistical Warming through Time Traveling
. In MICRO'52: The 52nd Annual IEEE/ACM International Symposium On Microarchitecture, pp 1037-1049, 2019. (DOI
).
-
Efficient Memory Modeling During Simulation and Native Execution
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1756, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext
, preview image
).
-
Container-based bioinformatics with Pachyderm
. In Bioinformatics, volume 35, pp 839-846, 2019. (DOI
, Fulltext
).
-
Frequency conditions for stable networked controllers with time-delay
. In International Journal of Control, volume 92, number 4, pp 886-895, 2019. (DOI
).
-
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
. Volume 11896 of Lecture Notes in Computer Science book series (LNCS, volume 11896), Springer-Verlag New York, 2019. (External link
).
-
Cognitive Chunks as Neural Activity: Is it Possible to see What you Think?
. In Proceedings Of The 10th IEEE International Conference On Cognitive Infocommunications: CogInfoCom 2019, pp 199-204, IEEE conference proceedings, Neapel, 2019. (DOI
, fulltext:postprint
).
-
Future assistive devices: What's at stake for you or me?
. In XRDS, volume 26, number 1, pp 46-49, 2019. (DOI
).
-
Joint Axis Estimation for Fast and Slow Movements Using Weighted Gyroscope and Acceleration Constraints
. In 2019 22th International Conference on Information Fusion (FUSION), 2019. (Publisher fulltext
, fulltext:postprint
).
-
Cross-technology Clear Channel Assessment for Low-Power Wide Area Networks
. In Proceedings of The 16th IEEE International Conference on Mobile Ad-Hoc and Smart Systems, pp 199-207, IEEE, 2019. (DOI
, External link
).
-
Voxel-wise assessment of lung aeration changes on CT images using image registration: a: application to acute respiratory distress syndrome (ARDS)
. In International Journal of Computer Assisted Radiology and Surgery, pp 1-9, 2019. (DOI
).
-
Inferring Heterogeneous Causal Effects in Presence of Spatial Confounding
. In Proceedings of the 36th International Conference on Machine Learning, volume 97 of Proceedings of Machine Learning Research, pp 4942-4950, 2019. (Proceedings paper on publisher's website
).
-
Prediction of Spatial Point Processes: Regularized Method with Out-of-Sample Guarantees
. In ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 32 (NIPS 2019), volume 32 of Advances in Neural Information Processing Systems, Neural Information Processing Systems, 2019. (External link
).
-
"Can you say more about the location?": The Development of a Pedagogical Reference Resolution Agent
. In , 2019. (External link
, fulltext:print
).
-
Let me get to know you better: Can interactions help to overcome uncanny feelings?
. In Proc. 7th International Conference on Human–Agent Interaction, pp 59-67, Association for Computing Machinery (ACM), New York, 2019. (DOI
, External link
).
-
Rational nanotoolbox with theranostic potential for medicated pro-regenerative corneal implants
. In Advanced Functional Materials, volume 29, number 38, 2019. (DOI
).
-
Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work
. In ACM Computing Surveys, volume 51, number 6, 2019. (DOI
).
-
When is Quality Assurance a Constructive Force in Engineering Education?
. In 2019 IEEE Frontiers in Education Conference (FIE 2019), Frontiers in Education Conference, IEEE, 2019.
-
Participation and learner trajectories in computing education
. In , volume 6 of Contributions from Science Education Research Series, pp 139-152, Springer, 2019. (DOI
).
-
Students' experience of participation in a discipline: A longitudinal study of computer science and IT engineering students
. In ACM Transactions on Computing Education, volume 19, number 1, pp 1-28, Association for Computing Machinery (ACM), 2019. (DOI
).
-
Utilising Diversity for Project Work and Learning: A Study of the Learning Agreement Intervention
. In 2019 IEEE Frontiers in Education Conference (FIE 2019), Frontiers in Education Conference, IEEE, 2019. (DOI
).
-
Average volume reference space for large scale registration of whole-body magnetic resonance images
. In PLOS ONE, volume 14, number 10, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Backscatter Communication for Wireless Robotic Materials
. In EWSN'19: Proceedings of the 2019 International Conference on Embedded Wireless Systems and Networks, pp 336-340, Junction Publishing, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Poster: Backscatter Communication for Wireless Robotic Materials
. In Proceedings of the 2019 International Conference on Embedded Wireless Systems and Networks, EWSN ’19, pp 224-225, Junction Publishing, 2019.
-
Poster: Backscatter Communication for Wireless Robotic Materials
. In , Junction Publishing, 2019.
-
1.5 Degrees of Separation: Computer Science Education in the Age of the Anthropocene
. In ITiCSE-WGR '19: Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education, pp 1-25, ACM Digital Library, 2019. (DOI
).
-
1.5 Degrees of Separation: Computer Science Education in the Age of the Anthropocene
. In ITiCSE '19: Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, pp 263-264, Association for Computing Machinery (ACM), 2019. (DOI
).
-
Efficient thread/page/parallelism autotuning for NUMA systems
. In ICS '19: Proceedings of the ACM International Conference on Supercomputing, pp 342-353, Association for Computing Machinery (ACM), New York, NY, USA, 2019. (DOI
, Fulltext
, fulltext:print
).
-
A simple positive state observer for multidimensional Goodwin's oscillator
. In Proc. 17th European Control Conference, pp 1671-1676, IEEE, 2019. (DOI
).
-
Probabilistic approach to limited-data computed tomography reconstruction
. In Inverse Problems, volume 35, number 10, 2019. (DOI
).
-
Carrier Scheduling in IoT Networks with Interoperable Battery-free Backscatter Tags
. In IPSN '19: Proceedings of the 2019 International Conference on Information Processing in Sensor Networks, pp 329-330, Association for Computing Machinery (ACM), 2019. (DOI
).
-
Modelling Battery-free Communications for the Cooja Simulator
. In Proceedings of the 2019 International Conference on Embedded Wireless Systems and Networks, pp 47-58, 2019. (External link
, External link
).
-
Tail distribution and extreme quantile estimation using non-parametric approaches
. In High-Performance Modelling and Simulation for Big Data Applications, pp 69-87, Springer, 2019. (DOI
, Fulltext
).
-
RFI Mitigation for UWB Radar Via Hyperparameter-Free Sparse SPICE Methods
. In IEEE Transactions on Geoscience and Remote Sensing, volume 57, number 6, pp 3105-3118, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI
).
-
Sinusoidal parameter estimation from signed measurements via majorization–minimization based RELAX
. In IEEE Transactions on Signal Processing, volume 67, number 8, pp 2173-2186, 2019. (DOI
).
-
Capturing and characterizing human activities using building locations in America
. In ISPRS International Journal of Geo-Information, volume 8, number 5, 2019. (DOI
, Fulltext
).
-
Systematic study of accuracy of wall-modeled large eddy simulation using uncertainty quantification techniques
. In Computers & Fluids, volume 185, pp 34-58, 2019. (DOI
).
-
Identification of a Duffing oscillator using particle Gibbs with ancestor sampling
. In Journal of Physics, Conference Series, volume 1264, number 1, Institute of Physics Publishing (IOPP), 2019. (DOI
, Fulltext
, fulltext:print
).
-
Region-by-region analysis of PET, MRI, and histology in en bloc-resected oligodendrogliomas reveals intra-tumoral heterogeneity
. In European Journal of Nuclear Medicine and Molecular Imaging, volume 46, number 3, pp 569-579, 2019. (DOI
, Fulltext
).
-
Observing the tech, using meetup data to observe the evolution of the discourse around IoT
. In Selected Papers of Internet Research, SPIR, Annual Conference of the Association of Internet Researchers, 2019. (DOI
).
-
JayHorn: A Java Model Checker
. In PROCEEDINGS OF THE 21ST WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS (FTFJP 2019), ASSOC COMPUTING MACHINERY, 2019. (DOI
).
-
Concolic Testing of Higher-order Functional Languages
. In Electronic Proceedings in Theoretical Computer Science, pp 2-2, Open Publishing Association, 2019. (Abstrakt
).
-
Efficient invisible speculative execution through selective delay and value prediction
. In Proc. 46th International Symposium on Computer Architecture, pp 723-735, ACM Press, New York, 2019. (DOI
, fulltext:postprint
).
-
Ghost Loads: What is the cost of invisible speculation?
. In Proceedings of the 16th ACM International Conference on Computing Frontiers, pp 153-163, ACM Press, New York, 2019. (DOI
, fulltext:postprint
).
-
Why not use the phone: Digitalisation and nurses’ communication in a large hospital
. In Abstract Book. Work 2019: Real Work in the Virtual World, 2019. (External link
).
-
Automated active fault detection in fouled dissolved oxygen sensors
. In Water Research, volume 166, PERGAMON-ELSEVIER SCIENCE LTD, 2019. (DOI
).
-
Automated active fault detection in fouled dissolved oxygen sensors
. In , 2019.
-
Sensor bias impact on controlling daily variations in wastewater loads
. In , 2019.
-
Sensor bias impact on controlling daily variations in wastewater loads
. In , 2019.
-
Steady-state data reconciliation of a dynamic process
. In , 2019.
-
A strategy for OCT estimation of the optic nerve head pigment epithelium central limit-inner limit of the retina minimal distance, PIMD-2?
. In Acta Ophthalmologica, volume 97, number 2, pp 208-213, 2019. (DOI
).
-
Why Digital Systems Do Not Reach Their Full Potential in Organizations
. In XRDS: Crossroads, The ACM Magazine for Students, volume 25, number 2, pp 32-27, 2019. (DOI
, Fulltext
).
-
Inferential statistics in computing education research: A methodological review
. In Proc. 15th International Computing Education Research Conference, pp 177-185, ACM Press, New York, 2019. (DOI
).
-
Handling Inherent Delays in Virtual IoT Gateways
. In , 2019. (External link
).
-
PRAT: a Tool for Assessing Risk in Written Communication
. In 2019 IEEE International Conference on Big Data (Big Data), pp 4755-4762, 2019. (DOI
).
-
Techniques for analyzing digital environments from a security perspective
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1786, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext
, preview image
).
-
Uniprocessor scheduling of real-time synchronous dataflow tasks
. In Real-time systems, volume 55, number 1, pp 1-31, 2019. (DOI
).
-
Facilitating Ultrastructural Pathology through Automated Imaging and Analysis
. In Journal of Pathology Informatics, volume 10, number 1, pp 38-39, Elsevier, 2019. (Abstracts in full-text
).
-
A whole-body FDG PET/MR atlas for multiparametric voxel-based analysis
. In Scientific Reports, volume 9, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Higher order cut finite elements for the wave equation
. In Journal of Scientific Computing, volume 80, pp 1867-1887, 2019. (DOI
, Fulltext
).
-
Methods for Processing and Analysis of Biomedical TEM Images
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1807, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext
, preview image
).
-
Super-resolution Reconstruction of Transmission Electron Microscopy Images using Deep Learning
. In 2019 IEEE 16th International Symposium on Biomedical Imaging (ISBI 2019), Biomedical Imaging, IEEE International Symposium on, pp 548-551, IEEE, 2019. (DOI
).
-
A user perspective on errors-in-variables methods in system identification
. In Control Engineering Practice, volume 89, pp 56-69, 2019. (DOI
).
-
Conditionally Independent Multiresolution Gaussian Processes
. In 22nd International Conference On Artificial Intelligence And Statistics, Vol 89, volume 89 of Proceedings of Machine Learning Research, 2019.
-
Impulsive model of endocrine regulation with a local continuous feedback
. In Mathematical Biosciences, volume 310, pp 128-135, 2019. (DOI
).
-
On the development of a method for cognitive load assessment in manufacturing
. In Robotics and Computer-Integrated Manufacturing, volume 59, pp 252-266, 2019. (DOI
).
-
Analysis of students’ learning of computer programming in a computer laboratory context
. In European Journal of Engineering Education, volume 44, pp 769-786, 2019. (DOI
, Fulltext
).
-
Bayesian identification of state-space models via adaptive thermostats
. In 2019 IEEE 58th conference on decision and control (CDC), IEEE Conference on Decision and Control, pp 7382-7388, IEEE, 2019.
-
Convex Bounds for Equation Error in Stable Nonlinear Identification
. In IEEE Control Systems Letters, volume 3, number 1, pp 73-78, Institute of Electrical and Electronics Engineers (IEEE), 2019. (DOI
).
-
Robust exploration in linear quadratic reinforcement learning
. In Advances in Neural Information Processing Systems 32 (NIPS 2019), volume 32 of Advances in Neural Information Processing Systems, NEURAL INFORMATION PROCESSING SYSTEMS (NIPS), 2019. (External link
).
-
Specialized Interior-Point Algorithm for Stable Nonlinear System Identification
. In IEEE Transactions on Automatic Control, volume 64, number 6, pp 2442-2456, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI
).
-
Optimizing Bit-Serial Matrix Multiplication for Reconfigurable Computing
. In ACM Transactions on Reconfigurable Technology and Systems, volume 12, number 3, ASSOC COMPUTING MACHINERY, 2019. (DOI
).
-
New De?nition of Quality-Scale Robustness for Image Processing Algorithms, with Generalized Uncertainty Modeling, Applied to Denoising and Segmentation
. In RRPR 2018: Reproducible Research in Pattern Recognition: Reproducible Research in Pattern Recognition, volume 11455 of Lecture Notes in Computer Science, pp 138-149, Springer, Switzerland AG, 2019. (DOI
, External link
).
-
Evaluating model calibration in classification
. In 22nd International Conference on Artificial Intelligence and Statistics, volume 89 of Proceedings of Machine Learning Research, pp 3459-3467, 2019. (Abstract
).
-
On model order priors for Bayesian identification of SISO linear systems
. In International Journal of Control, volume 92, number 7, pp 1645-1661, 2019. (DOI
).
-
Automatic detection of calving events from time-lapse imagery at Tunabreen, Svalbard
. In Geoscientific Instrumentation, Methods and Data Systems, volume 8, pp 113-127, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Position: Wearable Polymorphic Light Sensors
. In WEARSYS'19: Proceedings of the 5th acm workshop on wearable systems and applications, pp 37-38, Association for Computing Machinery (ACM), 2019. (DOI
).
-
TunnelScatter: Low Power Communication for Sensor Tags using Tunnel Diodes
. In MOBICOM'19: Proceedings Of The 25th Annual International Conference On Mobile Computing And Networking, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Training-Free and Segmentation-Free Word Spotting using Feature Matching and Query Expansion
. In Proc. 15th International Conference on Document Analysis and Recognition, 2019. (External link
).
-
Metrics for Temporal Text Networks
. In Temporal Network Theory, pp 147-160, Springer, 2019. (DOI
, fulltext:preprint
).
-
Learning sparse graphs for prediction of multivariate data processes
. In IEEE Signal Processing Letters, volume 26, number 3, pp 495-499, 2019. (DOI
).
-
A note on the estimation of real- and complex-valued parameters in frequency domain maximum likelihood identification
. In Automatica, volume 110, 2019. (DOI
).
-
Machine-Assisted Reformulation for MiniZinc
. In , 2019. (fulltext:postprint
).
-
Towards Efficient Algorithms for Constraint Satisfaction Problems
. In , 2019. (fulltext:postprint
).
-
Towards Efficient Solvers for Optimisation Problems
. In Proc. 19th International Symposium on Cluster, Cloud and Grid Computing, IEEE-ACM International Symposium on Cluster Cloud and Grid Computing, pp 169-172, 2019. (DOI
).
-
LifeSec - Don’t Hack my Body
. In , 2019.
-
Tumor Sensing Privacy in In-Body Networks
. In , 2019.
-
Design and Dynamic Update of Real-Time Systems
. In 2019 IEEE 40TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2019), Real-Time Systems Symposium-Proceedings, pp 1-3, Institute of Electrical and Electronics Engineers (IEEE), 2019. (DOI
).
-
What controls the initial peak of an air-gun source signature?
. In Geophysics, volume 84, number 2, pp P27-P45, 2019. (DOI
).
-
Correcting exorbitism by monobloc frontofacial advancement in Crouzon–Pfeiffer syndrome: An age-specific, time-related, controlled study
. In Plastic and reconstructive surgery (1963), volume 143, number 1, pp 121e-132e, 2019. (DOI
).
-
Towards automated multiscale Glomeruli detection and analysis in TEM by fusion of CNN and LBP maps
. In 3rd NEUBIAS Conference, Luxembourg, 2019. (External link
).
-
Towards automated multiscale imaging and analysis in TEM: Glomerulus detection by fusion of CNN and LBP maps
. In Computer Vision: ECCV 2018 Workshops, volume 11134 of Lecture Notes in Computer Sciences (LNCS), pp 465-475, Springer, Cham, 2019. (DOI
, Conference website
).
-
Routing and wavelength assignment vs EDFA reliability performance in optical backbone networks: An operational cost perspective
. In Optical Switching and Networkning Journal, volume 31, pp 211-217, 2019. (DOI
).
-
SimInf: An R package for data-driven stochastic disease spread simulations
. In Journal of Statistical Software, volume 91, number 12, pp 1-42, 2019. (DOI
, Fulltext
).
-
SimInf for spatio-temporal data-driven modeling of African swine fever in Swedish wildboar
. In GeoVet 2019: Novel spatio-temporal approaches in the era of Big Data, 2019. (DOI
, Fulltext
).
-
Calibration tests in multi-class classification: A unifying framework
. In ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 32 (NIPS 2019), volume 32 of Advances in Neural Information Processing Systems, NEURAL INFORMATION PROCESSING SYSTEMS (NIPS), 2019. (External link
).
-
Parameter elimination in particle Gibbs sampling
. In Advances in Neural Information Processing Systems 32 (NIPS 2019), volume 32 of Advances in Neural Information Processing Systems, Neural Information Processing Systems, 2019. (External link
).
-
A disturbance rejection and data rate trade-off in networked data flow control
. In European Journal of Control, volume 47, pp 1-10, 2019. (DOI
).
-
Learning based Word Search and Visualisation for Historical Manuscript Images
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1798, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext
, preview image
).
-
Smart computational exploration of stochastic gene regulatory network models using human-in-the-loop semi-supervised learning
. In Bioinformatics, volume 35, pp 5199-5206, 2019. (DOI
).
-
In situ quantification of individual mRNA transcripts in melanocytes discloses gene regulation of relevance to speciation
. In Journal of Experimental Biology, volume 222, number 5, 2019. (DOI
).
-
Safeguarding 5G-and-Beyond Networks with Physical Layer Security
. In IEEE wireless communications, volume 26, number 5, pp 4-5, Institute of Electrical and Electronics Engineers (IEEE), 2019. (DOI
).
-
Attractivity of the synchronous mode in hybrid observers for the impulsive Goodwin's oscillator subject to harmonic exogenous excitation
. In 2019 American Control Conference (ACC), Proceedings of the American Control Conference, pp 2334-2339, 2019. (DOI
).
-
Hybrid observers for systems with intrinsic pulse-modulated feedback
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1812, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext
, preview image
).
-
Nonlinear dynamics of a positive hybrid observer for the impulsive Goodwin's oscillator: a design study
. In 2019 IEEE 58th conference on decision and control (CDC), IEEE Conference on Decision and Control, pp 1893-1898, IEEE, 2019.
-
Machine-Learning Based Active Measurement Proxy for IoT Systems
. In 2019 IFIP/IEEE Symposium On Integrated Network And Service Management (IM), pp 198-206, IEEE, 2019. (External link
).
-
Kankanet: An artificial neural network-based object detection smartphone application and mobile microscope as a point-of-care diagnostic aid for soil-transmitted helminthiases
. In PLoS Neglected Tropical Diseases, volume 13, number 8, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Tsunami Wavefield Reconstruction and Forecasting Using the Ensemble Kalman Filter
. In Geophysical Research Letters, volume 46, number 2, pp 853-860, 2019. (DOI
, External link
).
-
Hadamard Product Perspective on Source Resolvability of Spatial-smoothing-based Subspace Methods
. In 2019 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), International Conference on Acoustics Speech and Signal Processing ICASSP, pp 4135-4139, IEEE, 2019. (DOI
).
-
Source resolvability of spatial-smoothing-based subspace methods: A Hadamard product perspective
. In IEEE Transactions on Signal Processing, volume 67, number 10, pp 2543-2553, 2019. (DOI
).
-
EcoVibe: On-Demand Sensing for Railway Bridge Structural Health Monitoring
. In IEEE Internet of Things Journal, volume 6, number 1, pp 1068-1078, Institute of Electrical and Electronics Engineers (IEEE), 2019. (DOI
, External link
).
-
Learning-Assisted Optimization for Energy-Efficient Scheduling in Deadline-Aware NOMA Systems
. In IEEE Transactions on Green Communications and Networking, volume 3, number 3, pp 615-627, Institute of Electrical and Electronics Engineers (IEEE), 2019. (DOI
, External link
).
-
Network Optimization of Evolving Mobile Systems with Presence of Interference Coupling
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1843, Acta Universitatis Upsaliensis, Uppsala, 2019. (fulltext
, preview image
).
-
Adaptive Fuzzy Game-based Energy Efficient Localization in Underwater Sensor Networks
. In Proceedings of the ACM SIGCOMM 2019 Conference Posters and Demos (SIGCOMM '19), pp 119-121, ASSOC COMPUTING MACHINERY, 2019. (DOI
).
-
Effect Inference From Two-Group Data With Sampling Bias
. In IEEE Signal Processing Letters, volume 26, number 8, pp 1103-1106, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI
).
-
DuctTeip: An efficient programming model for distributed task-based parallel computing
. In Parallel Computing, volume 90, 2019. (DOI
, fulltext:postprint
).
-
Machine learning techniques for monitoring the sludge profile in a secondary settler tank
. In Applied water science, volume 9, number 6, 2019. (DOI
, Fulltext
).
-
Copying can be good: How instructors use imitation in teaching programming
. In Proc. 24th Conference on Innovation and Technology in Computer Science Education, pp 450-456, ACM Press, New York, 2019. (DOI
).
-
Inverse optimal control for discrete-time finite-horizon Linear Quadratic Regulators
. In Automatica, volume 110, 2019. (DOI
).
-
Visual Saliency: From Pixel-Level to Object-Level Analysis
. Springer, 2019. (DOI
).
-
Joint Resource Allocation for Latency-Sensitive Services Over Mobile Edge Computing Networks With Caching
. In IEEE Internet of Things Journal, volume 6, number 3, pp 4283-4294, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI
).
-
Stochastic computation offloading and trajectory scheduling for UAV-assisted mobile edge computing
. In IEEE Internet of Things Journal, volume 6, number 2, pp 3688-3699, 2019. (DOI
).
-
Announcement as effort on topological spaces
. In Synthese, volume 196, number 7, pp 2927-2969, 2019. (DOI
, Fulltext
).
-
BENCHOP–SLV: The BENCHmarking project in Option Pricing – Stochastic and local volatility problems
. In International Journal of Computer Mathematics, volume 96, pp 1910-1923, 2019. (DOI
, Fulltext
).
-
Progress Report: Exploring API Design for Capabilities for Programming with Arrays
. In Proceedings Of The 12Th Workshop On Implementation, Compilation And Optimization Of Object-Oriented Languages, Programs And Systems (ICOOOLPS' 19), Association for Computing Machinery (ACM), New York, 2019. (DOI
).
-
Fast and Robust Symmetric Image Registration Based on Distances Combining Intensity and Spatial Information
. In IEEE Transactions on Image Processing, volume 28, number 7, pp 3584-3597, IEEE, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Robust Symmetric Affine Image Registration
. In Swedish Symposium on Image Analysis, 2019. (External link
).
-
Stochastic Distance Functions with Applications in Object Detection and Image Segmentation
. In Swedish Symposium on Image Analysis, 2019. (External link
).
-
Stochastic Distance Transform
. In Discrete Geometry for Computer Imagery, volume 11414 of Lecture Notes in Computer Science, pp 75-86, Springer, 2019. (DOI
, External link
).