Publikationer 2019
-
Optimal stateless model checking for reads-from equivalence under sequential consistency
. I Proceedings of the ACM on Programming Languages, Association for Computing Machinery (ACM), 2019. (DOI
, Fulltext
, Extern länk
, fulltext:print
).
-
Chain-Free String Constraints
. I Automated Technology for Verification and Analysis, volym 11781 av Lecture Notes in Computer Science, pp 277-293, Springer, 2019. (DOI
).
-
Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial)
. I Networked Systems: 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers, volym 11704 av Lecture Notes in Computer Science, pp 3-18, Springer Nature, 2019. (DOI
).
-
Reachability in database-driven systems with numerical attributes under recency bounding
. I 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
. I Computing, volym 101, nummer 1, pp 1-2, Springer Nature, 2019. (DOI
).
-
Verification of programs under the release-acquire semantics
. I 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
. I 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
. I Communications Biology, volym 2, 2019. (DOI
, Fulltext
).
-
BS-assisted Task Offloading for D2D Networks with Presence of User Mobility
. I 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
. I Automatica, volym 103, pp 96-105, 2019. (DOI
).
-
Particle-based adaptive-lag online marginal smoothing in general state-space models
. I IEEE Transactions on Signal Processing, volym 67, nummer 21, pp 5571-5582, 2019. (DOI
).
-
Teachers’ Awards: an Incentive for Pedagogical Development in Saudi Arabia
. I 2019 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2019. (DOI
).
-
Molecular Drivers of Crystallization Kinetics for Drugs in Supersaturated Aqueous Solutions
. I Journal of Pharmaceutical Sciences, volym 108, nummer 1, pp 252-259, ELSEVIER SCIENCE INC, 2019. (DOI
, fulltext:print
).
-
FIFOrder MicroArchitecture: Ready-Aware Instruction Scheduling for OoO Processors
. I 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
. I Journal of Signal Processing Systems, volym 91, nummer 3-4, pp 379-397, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Order-preserving interpolation for summation-by-parts operators at nonconforming grid interfaces
. I SIAM Journal on Scientific Computing, volym 41, pp A1201-A1227, 2019. (DOI
).
-
Filter caching for free: The untapped potential of the store-buffer
. I 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
. Doktorsavhandling, 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
. I ACM Transactions on Human-Robot Interaction, volym 8, nummer 1, 2019. (DOI
).
-
Deep convolutional networks in system identification
. I Proc. 58th IEEE Conference on Decision and Control, pp 3670-3676, IEEE, 2019. (DOI
).
-
Deep learning applied to system identification: A probabilistic approach
. Licentiatavhandling, 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
. I Proc. 20th Congress of the International Ergonomics Association: Volume VII, volym 824 av 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
. I Cognition, Technology & Work, volym 21, nummer 3, pp 417-443, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Temporal upscaling in micromagnetism via heterogeneous multiscale methods
. I Journal of Computational and Applied Mathematics, volym 345, pp 99-113, 2019. (DOI
).
-
Inverse factorization in electronic structure theory: Analysis and parallelization
. Licentiatavhandling, 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
. I Parallel Computing, volym 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
. I IEEE Access, volym 7, pp 89886-89900, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Developing adaptive traffic signal control by actor-critic and direct exploration methods
. I Proceedings of the Institution of Civil Engineers: Transport, volym 172, nummer 5, pp 289-298, 2019. (DOI
).
-
CNNs on Graphs: A New Pooling Approach and Similarities to Mathematical Morphology
. I , 2019.
-
Mathematical Morphology on Irregularly Sampled Data Applied to Segmentation of 3D Point Clouds of Urban Scenes
. I International Symposium on Mathematical Morphology and Its Applications to Signal and Image Processing, Lecture Notes In Computer Science, Springer Nature, 2019. (DOI
, Extern länk
).
-
Precise Image-Based Measurements through Irregular Sampling
Noggranna bildbaserade mätningar via irreguljär sampling
. Doktorsavhandling, 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
. Licentiatavhandling, 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
. I Frontiers in Bioengineering and Biotechnology, volym 7, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Knowledge elicitation as abstraction of purposive behaviour
. Doktorsavhandling, 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
. I Journal of Computational and Applied Mathematics, volym 352, pp 262-277, 2019. (DOI
).
-
Parameter modified versions of preconditioning and iterative inner product free refinement methods for two-by-two block matrices
. I Linear Algebra and its Applications, volym 582, pp 403-429, 2019. (DOI
).
-
Preconditioned iterative solution methods for linear systems arising in PDE-constrained optimization
. I 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
. Doktorsavhandling, 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
. I Pattern Recognition Letters, volym 121, pp 52-60, 2019. (DOI
, fulltext:postprint
).
-
Quantifiers and Theories: A Lazy Approach
. Doktorsavhandling, 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
. I Journal of Electronic Imaging (JEI), volym 28, nummer 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
. I Tools and Algorithms for the Construction and Analysis of Systems: 25 years of TACAS, Part III, volym 11429 av 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
. I Frontiers in Bioengineering and Biotechnology, volym 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
. I Cytometry Part A, volym 95, nummer 7, pp 714-716, 2019. (DOI
).
-
Special Section on Image Cytometry
. I Cytometry Part A, volym 95A, nummer 4, pp 363-365, 2019. (DOI
, Fulltext
).
-
Levels of Hate in Online Environments
. I 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
. I Druk Yul, nummer 2, pp 27-29, The Swedish Bhutan Society, Stockholm, Sweden, 2019.
-
Inspiring Students in Their Learning: A Theoretically Based Discussion Building on Three Courses
. I 2019 IEEE Frontiers in Education Conference (FIE 2019), Frontiers in Education Conference, IEEE, 2019. (DOI
).
-
Optimal controller/observer gains of discounted-cost LQG systems
. I Automatica, volym 101, pp 471-474, Elsevier, 2019. (DOI
).
-
Preconditioned smoothers for the Full Approximation Scheme for the RANS equations
. I Journal of Scientific Computing, volym 78, pp 995-1022, 2019. (DOI
, Fulltext
).
-
Exploring declarative local-search neighbourhoods with constraint programming
. I Principles and Practice of Constraint Programming, volym 11802 av Lecture Notes in Computer Science, pp 37-53, Springer, Switzerland, 2019. (DOI
).
-
Generating compound moves in local search by hybridisation with complete search
. I Integration of Constraint Programming, Artificial Intelligence, and Operations Research, volym 11494 av Lecture Notes in Computer Science, pp 95-111, Springer, 2019. (DOI
).
-
The importance of language in teaching and learning ethics
. I , 2019. (Extern länk
).
-
Adapting the secretary hiring problem for optimal hot–cold tier placement under top-<em>K</em> workloads
. I 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
. I 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
. I Bulletin of Mathematical Biology, volym 81, pp 2323-2344, 2019. (DOI
, Fulltext
).
-
A multiscale model of platelet-fibrin thrombus growth in the flow
. I Computers & Fluids, volym 184, pp 10-20, 2019. (DOI
).
-
Identification of continuous Volterra models with explicit time delay through series of Laguerre functions
. I 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
. Licentiatavhandling, 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
. I 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
. Doktorsavhandling, 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
. I PeerJ Computer Science, volym 5, 2019. (DOI
, Fulltext
).
-
Radar detection architecture based on interference covariance structure classification
. I IEEE Transactions on Aerospace and Electronic Systems, volym 55, nummer 2, pp 607-618, 2019. (DOI
).
-
Developing a Monadic Type Checker for an Object-Oriented Language: An Experience Report
. I , pp 184-196, Association for Computing Machinery (ACM), 2019. (DOI
, Extern länk
).
-
Face Recognition - A One-Shot Learning Perspective
. I 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
. I The 5th Asian Conference on Pattern Recognition (ACPR 2019), pp 821-834, 2019. (Extern länk
).
-
Resource Optimization for Joint LWA and LTE-U in Load-Coupled and Multi-Cell Networks
. I IEEE Communications Letters, volym 23, nummer 2, pp 330-333, 2019. (DOI
).
-
Decision procedures for path feasibility of string-manipulating programs with complex operations
. I Proceedings of the ACM on Programming Languages, volym 3, nummer 49, Association for Computing Machinery (ACM), 2019. (DOI
, Fulltext
, fulltext:print
).
-
Exploiting blockchain data to detect smart Ponzi schemes on Ethereum
. I IEEE Access, volym 7, pp 37575-37586, 2019. (DOI
, Fulltext
).
-
Numerical ice sheet modeling: Forward and inverse problems
. Doktorsavhandling, 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
. I Linear Algebra and its Applications, volym 580, pp 62-95, 2019. (DOI
).
-
Age of Information-Aware Scheduling for Timely and Scalable Internet of Things Applications
. I IEEE Conference On Computer Communications (IEEE INFOCOM 2019), IEEE INFOCOM, pp 2476-2484, 2019. (Extern länk
).
-
Calculating Deep Brain Stimulation Amplitudes and Power Consumption by Constrained Optimization
. I Journal of Neural Engineering, volym 16, nummer 1, 2019. (DOI
).
-
Getting started with particle Metropolis-Hastings for inference in nonlinear dynamical models
. I Journal of Statistical Software, volym 88, nummer 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
. I IEEE Transactions on Aerospace and Electronic Systems, volym 55, nummer 3, pp 1269-1283, 2019. (DOI
).
-
Decoupling multivariate polynomials for nonlinear state-space models
. I IEEE Control Systems Letters, volym 3, nummer 3, pp 745-750, Institute of Electrical and Electronics Engineers (IEEE), 2019. (DOI
, Extern länk
).
-
Networked delay control for 5G wireless machine-type communications using multiconnectivity
. I IEEE Transactions on Control Systems Technology, volym 27, nummer 4, pp 1510-1525, 2019. (DOI
).
-
Optimizing Retention-Aware Caching in Vehicular Networks
. I IEEE Transactions on Communications, volym 67, nummer 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
. I Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries, volym 11383 av Lecture Notes in Computer Science (LNCS), pp 115-122, Springer, Cham, 2019. (DOI
).
-
A merged tuning of binary and ternary Loop's subdivision
. I Computer Aided Geometric Design, volym 69, pp 27-44, 2019. (DOI
).
-
Scope-aware data cache analysis for OpenMP programs on multi-core processors
. I Journal of systems architecture, volym 98, pp 443-452, ELSEVIER, 2019. (DOI
).
-
On energy stable discontinuous Galerkin spectral element approximations of the perfectly matched layer for the wave equation
. I Computer Methods in Applied Mechanics and Engineering, volym 350, pp 898-937, 2019. (DOI
, Fulltext
).
-
Accurate optimization models for interference constrained bandwith allocation in cellular networks
. I Computers & Operations Research, volym 101, pp 1-12, 2019. (DOI
).
-
Dual Priority Scheduling is Not Optimal
. I Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, 2019. (DOI
, Fulltext
, Extern länk
).
-
Monotonicity and robustness in Wiener disorder detection
. I Sequential Analysis, volym 38, nummer 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
. I Numerical Algorithms, volym 80, pp 819-848, 2019. (DOI
, Fulltext
).
-
Eigenvalue isogeometric approximations based on B-splines: Tools and results
. I 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
. I Bulletin of Mathematical Biology, volym 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
. I , 2019.
-
Depression Prevalence in Postgraduate Students and Its Association With Gait Abnormality
. I IEEE Access, volym 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
. I ACM Transactions on Embedded Computing Systems, volym 17, nummer 6, ASSOC COMPUTING MACHINERY, 2019. (DOI
).
-
Godot: All the Benefits of Implicit and Explicit Futures
. I 33rd European Conference on Object-Oriented Programming (ECOOP 2019), volym 134 av Leibniz International Proceedings in Informatics (LIPIcs), 2019. (DOI
, Fulltext
, Extern länk
, fulltext:print
).
-
The eigenvalue distribution of special 2-by-2 block matrix-sequences with applications to the case of symmetrized Toeplitz structures
. I SIAM Journal on Matrix Analysis and Applications, volym 40, pp 1066-1086, 2019. (DOI
).
-
Courses-Concepts-Graphs as a Tool to Measure the Importance of Concepts in University Programmes
. I 2019 18th European Control Conference (ECC), pp 3076-3083, IEEE, 2019. (DOI
).
-
An Intuition-Based Approach to Sustainable ICT: Insights from Eco-Ethica
. I Tetsugaku Companion to Japanese Ethics and Technology, volym 1 av Tetsugaku Companions to Japanese Philosophy, pp 181-200, Springer, 2019. (Publisher's webpage
).
-
Assessing Students' IT Professional Values in a Global Project Setting
. I ACM Transactions on Computing Education, volym 19, nummer 2, ASSOC COMPUTING MACHINERY, 2019. (DOI
).
-
Haptic feedback combined with movement sonification using a friction sound improves task performance in a virtual throwing task
. I Journal on Multimodal User Interfaces, volym 13, nummer 4, pp 279-290, 2019. (DOI
, Fulltext
).
-
Learning Socially Appropriate Robot Approaching Behavior Toward Groups using Deep Reinforcement Learning
. I 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
. I 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
, Extern länk
, fulltext:postprint
).
-
Block GLT sequences: Matrix functions and engineering application
. I The Electronic Journal of Linear Algebra, volym 35, pp 204-222, 2019. (DOI
, Fulltext
).
-
Block generalized locally Toeplitz sequences: Topological construction, spectral distribution results, and star-algebra structure
. I Structured Matrices in Numerical Linear Algebra: Analysis, Algorithms and Applications, pp 59-79, Springer, 2019. (DOI
).
-
Block locally Toeplitz sequences: Construction and properties
. I 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
. I International Conference on Numerical Analysis and Applied Mathematics (ICNAAM-2018), volym 2116 av AIP Conference Proceedings, 2019. (DOI
).
-
Symbol-based analysis of finite element and isogeometric B-spline discretizations of eigenvalue problems: Exposition and review
. I Archives of Computational Methods in Engineering, volym 26, pp 1639-1690, 2019. (DOI
).
-
Oral Cancer Detection:: A Comparison of Texture Focused Deep Learning Approaches
. I Proceedings of the Swedish Society for Automated Image Analysis (SSBA), 2019. (Extern länk
).
-
Texture-based oral cancer detection: A performance analysis of deep learning approaches.
. I 3rd NEUBIAS Conference, Luxembourg, 2019.
-
Bridging the Gap: On a Humanoid Robotics Rookie League
. I RoboCup 2018: Robot World Cup XXII, volym 11374 av 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
. Licentiatavhandling, 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
. I IEEE Internet of Things Journal, volym 6, nummer 2, pp 2550-2562, Institute of Electrical and Electronics Engineers (IEEE), 2019. (DOI
).
-
Sampled Simulation of Task-Based Programs
. I IEEE Transactions on Computers, volym 68, nummer 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
. I Frontiers in Immunology, volym 10, 2019. (DOI
, Fulltext
).
-
Why high-performance modelling and simulation for big data applications matters
. I 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
. I Scientific Reports, volym 9, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Deep Learning in Image Cytometry: A Review
. I Cytometry Part A, volym 95, nummer 6, pp 366-380, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Saul Abarbanel; Half a century of scientific work
. I Journal of Scientific Computing, volym 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
. I Scientific Reports, volym 9, NATURE PUBLISHING GROUP, 2019. (DOI
, Fulltext
, fulltext:print
).
-
The presence and impact of reference bias on population genomic studies of prehistoric human populations
. I PLOS Genetics, volym 15, nummer 7, 2019. (DOI
, Fulltext
).
-
Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems
. I 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
. I Digital Humanities in the Nordic Countries, 2019.
-
Embedded Prototype Subspace Classification: A subspace learning framework
. I Computer Analysis of Images and Patterns, CAIP 2019, PT II, volym 11679 av Lecture Notes in Computer Science, pp 581-592, Springer, 2019. (DOI
, Extern länk
).
-
Making large collections of handwritten material easily accessible and searchable
. I Digital Libraries: Supporting Open Science, volym 988 av Communications in Computer and Information Science, pp 18-28, Springer, 2019. (DOI
).
-
Subspace Learning and Classification
. I Proc. 3rd Swedish Symposium on Deep Learning, 2019.
-
Poroelastic effects destabilize mildly rate-strengthening friction to generate stable slow slip pulses
. I Journal of the mechanics and physics of solids, volym 130, pp 262-279, 2019. (DOI
, Extern länk
).
-
Numerical Homogenization of Elliptic PDEs with Similar Coefficients
. I Multiscale Modeling & simulation, volym 17, nummer 2, pp 650-674, SIAM PUBLICATIONS, 2019. (DOI
).
-
Neutron transmission strain tomography for non-constant stress-free lattice spacing
. I Nuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms, volym 456, pp 64-73, 2019. (DOI
).
-
A Generalized Framework for Self-Play Training
. I 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
. I Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings, pp 19-30, Cham, 2019. (DOI
, Extern länk
).
-
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
. I Linear Algebra and its Applications, volym 579, pp 32-50, 2019. (DOI
).
-
Probabilistic Bisimulation for Parameterized Systems: (with Applications to Verifying Anonymous Protocols)
. I 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
. I Proc. 12th ISIC Conference: Part 2, volym 24:1 av Information Research, 2019. (Paper
).
-
Poster: Tiek: Two-tier Authentication and Key Distribution for Wearable Devices
. I , 2019. (fulltext:postprint
).
-
Tiek: Two-tier Authentication and Key Distribution for Wearable Devices
. I 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?
. I 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?
. I ACM Transactions on Computing Education, volym 19, nummer 2, pp 11:1-29, 2019. (DOI
).
-
New model for pricing quanto credit default swaps
. I International Journal of Theoretical and Applied Finance, volym 22, nummer 3, 2019. (DOI
).
-
Link quality estimation for arbitrary packet sizes over wireless links using packet reception events
. I International Journal of Communication Systems, volym 32, nummer 16, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Improving Sensor Network Convergecast Performance with Directional Antennas
. I , 2019. (Extern länk
).
-
Deep kernel learning for integral measurements
. 2019. (arXiv:1909.01844
).
-
Tailoring Gaussian processes for tomographic reconstruction
. Licentiatavhandling, 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
. I Parkinsonism & Related Disorders, volym 64, pp 112-117, ELSEVIER SCI LTD, 2019. (DOI
).
-
SWEEP: Accelerating scientific research through scalable serverless workflows
. I 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)
. I Tools and Algorithms for the Construction and Analysis of Systems, pp 214-218, Springer, Cham, 2019. (DOI
, Fulltext
, Extern länk
, fulltext:print
).
-
Information and Communication Technology for ethical leadership in business
. I Journal of Information and Management, volym 38, nummer 4, pp 6-11, Japan Society for Information and Management, Tokyo, 2019. (Extern länk
).
-
Comparing node degrees in probabilistic networks
. I Journal of Complex Networks, volym 7, nummer 5, pp 749-763, 2019. (DOI
).
-
Local measures for probabilistic networks
. Licentiatavhandling, 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
. I Annales Polonici Mathematici, volym 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
. I The Bulletin of the Swedish Mathematical Society, pp 20-23, 2019. (Extern länk
).
-
Kion faris Zamenhof anta? 1887?
. I La Espero, nummer 2, pp 3-3, Sveda Esperanto-Federacio, 2019.
-
Language choice in scientific writing: The case of mathematics at Uppsala University and a Nordic journal
. I Nordisk Matematisk Tidskrift. Normat., volym 61, nummer 2–4, pp 111-132, Nationellt centrum för matematikutbildning (NCM), Göteborg, 2019. (Extern länk
).
-
Memore al Ebbe Vilborg
. I La Espero, nummer 2, pp 5-5, Sveda Esperanto-Federacio, 2019.
-
Memore al Jarlo Martelmonto
. I La Espero, nummer 2, pp 5-5, Sveda Esperanto-Federacio, 2019.
-
Werner Fenchel, a pioneer in convexity theory and a migrant scientist
. I Nordisk Matematisk Tidskrift, volym 61, nummer 2–4, pp 133-152, Nationellt centrum för matematikutbildning (NCM), Göteborg, 2019. (Extern länk
).
-
Tracking Microscope Performance: A Workflow to Compare Point Spread Function Evaluations Over Time
. I Microscopy and Microanalysis, volym 25, nummer 3, pp 699-704, 2019. (DOI
).
-
Reasoning about knowledge and messages in asynchronous multi-agent systems
. I Mathematical Structures in Computer Science, volym 29, nummer 1, pp 127-168, 2019. (DOI
).
-
Effects of jamming attacks on a control system with energy harvesting
. I IEEE Control Systems Letters, volym 3, nummer 4, pp 829-834, Institute of Electrical and Electronics Engineers (IEEE), 2019. (DOI
, Extern länk
).
-
Quantitative analysis of curricula coherence using directed graphs
. I IFAC-PapersOnLine, volym 52, nummer 9, pp 318-323, ELSEVIER, 2019. (DOI
).
-
A Fast and Robust Algorithm for Orientation Estimation Using Inertial Sensors
. I IEEE Signal Processing Letters, volym 26, nummer 11, pp 1673-1677, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI
).
-
Stateless model checking of the Linux kernel's read-copy update (RCU)
. I International Journal on Software Tools for Technology Transfer, volym 21, nummer 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
. I 3rd NEUBIAS Conference, Luxembourg, 2-8 February 2019, 2019.
-
An Analysis of the Consequences of the General Data Protection Regulation on Social Network Research
. I ACM Transactions on Social Computing, volym 2, nummer 3, Association for Computing Machinery (ACM), 2019. (DOI
, fulltext:postprint
).
-
A material chemistry tool for generating two body potentials
. I , 2019.
-
Multigrid for matrix-free high-order finite element computations on graphics processors
. I ACM Transactions on Parallel Computing, volym 6, nummer 1, pp 2:1-32, 2019. (DOI
).
-
Efficient Density Matrix Methods for Large Scale Electronic Structure Calculations
. Doktorsavhandling, 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
. I 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
. I 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. (Extern länk
, fulltext
).
-
Parallelization of hierarchical matrix algorithms for electromagnetic scattering problems
. I 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
. I Computerized Medical Imaging and Graphics, volym 76, PERGAMON-ELSEVIER SCIENCE LTD, 2019. (DOI
).
-
Load Coupling and Energy Optimization in Multi-Cell and Multi-Carrier NOMA Networks
. I IEEE Transactions on Vehicular Technology, volym 68, nummer 11, pp 11323-11337, 2019. (DOI
).
-
Data Consistency Approach to Model Validation
. I IEEE Access, volym 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
. I ACM Transactions on Modeling and Computer Simulation, volym 29, nummer 2, pp 11:1-25, 2019. (DOI
).
-
Dynamic nonlinear partial least squares modeling using Gaussian process regression
. I Industrial & Engineering Chemistry Research, volym 58, nummer 36, pp 16676-16686, 2019. (DOI
, Fulltext
).
-
Supervised classification methods for flash X-ray single particle diffraction imaging
. I Optics Express, volym 27, pp 3884-3899, 2019. (DOI
, Fulltext
).
-
Modeling spatial correlation of transcripts with application to developing pancreas
. I Scientific Reports, volym 9, 2019. (DOI
, Fulltext
).
-
Gaussian Process Learning for Distributed Sensor Networks Under False Data Injection Attacks
. I 2019 IEEE Conference On Dependable And Secure Computing (DSC), pp 190-195, 2019.
-
APTER: Aggregated Prognosis Through Exponential Re-weighting
. I Computing and Combinatorics, volym 11653 av 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
. I Cluster Computing, volym 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
. I Pediatric Obesity, volym 14, nummer 9, 2019. (DOI
, Fulltext
).
-
Visualizing Purpose and Functionality Overlaps of Health IT Systems using an Abstraction Hierarchy
. I 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
. I Bulletin of Mathematical Biology, volym 81, pp 2873-2901, 2019. (DOI
, Fulltext
).
-
Comparison of NoSQL Datastores for Large Scale Data Stream Log Analytics
. I 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
. I Scandinavian Conference on Image Analysis: SCIA 2019, volym 11482 av Lecture Notes in Computer Science, pp 439-451, 2019. (DOI
, Extern länk
).
-
Optimization of max-norm objective functions in image processing and computer vision
. I Discrete Geometry for Computer Imagery, volym 11414 av Lecture Notes in Computer Science, pp 206-218, Springer, 2019. (DOI
).
-
Thermal conductivity of firn at Lomonosovfonna, Svalbard, derived from subsurface temperature measurements
. I The Cryosphere, volym 13, pp 1843-1859, 2019. (DOI
, Fulltext
).
-
IEEE 802.15. 4 TSCH in Sub-GHz: Design Considerations and Multi-band Support
. I 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
. I 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
. Doktorsavhandling, 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
. I Computer Methods and Programs in Biomedicine, volym 178, pp 31-39, ELSEVIER IRELAND LTD, 2019. (DOI
).
-
Isogeometric analysis for 2D and 3D curl–div problems: Spectral symbols and fast iterative solvers
. I Computer Methods in Applied Mechanics and Engineering, volym 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
. I Mathematics of Computation, volym 88, nummer 317, pp 1155-1188, 2019. (DOI
).
-
Control-Engineering Perspective on Deep Brain Stimulation: Revisited
. I 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
. I Computer Methods and Programs in Biomedicine, volym 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
. I Journal of digital imaging, volym 32, pp 362-385, 2019. (DOI
).
-
The impact of interactive visualization on trade-off-based geospatial decision-making
. I International Journal of Geographical Information Science, volym 33, nummer 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
. I Journal of Chemical Theory and Computation, volym 15, pp 190-200, 2019. (DOI
).
-
makeSense: Simplifying the Integration of Wireless Sensor Networks into Business Processes
. I IEEE Transactions on Software Engineering, volym 45, nummer 6, pp 576-596, IEEE Computer Society, 2019. (DOI
).
-
Reflecting on the presence of science fiction robots in computing literature
. I ACM Transactions on Human-Robot Interaction, volym 8, nummer 1, 2019. (DOI
).
-
A library for wall-modelled large-eddy simulation based on OpenFOAM technology
. I Computer Physics Communications, volym 239, pp 204-224, 2019. (DOI
).
-
In search of the scribe: Letter spotting as a tool for identifying scribes in large handwritten text corpora
. I Human IT, volym 14, nummer 2, pp 95-120, 2019. (Extern länk
).
-
Elements of Sequential Monte Carlo
. I FOUNDATIONS AND TRENDS IN MACHINE LEARNING, volym 12, nummer 3, pp 187-306, NOW PUBLISHERS INC, 2019. (DOI
).
-
High-Dimensional Filtering Using Nested Sequential Monte Carlo
. I IEEE Transactions on Signal Processing, volym 67, nummer 16, pp 4177-4188, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI
).
-
Max-Min Fairness Design for MIMO Interference Channels: A Minorization-Maximization Approach
. I IEEE Transactions on Signal Processing, volym 67, nummer 18, pp 4707-4719, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI
).
-
Distance Transform Based on Weight Sequences
. I DGCI 2019: Discrete Geometry for Computer Imagery, volym 11414 av Lecture Notes in Computer Science, pp 62-74, Springer, Switzerland AG, 2019. (DOI
, Extern länk
).
-
Automatic for the People: Implementing Robotic Process Automation in Social Work
. I Proceedings of the 17th European Conference on Computer: Supported Cooperative Work-Demos and Posters, 2019. (Extern länk
).
-
Model Checking of Software Systems under Weak Memory Models
. Doktorsavhandling, 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
. I MICRO'52: The 52nd Annual IEEE/ACM International Symposium On Microarchitecture, pp 1037-1049, 2019. (DOI
).
-
Efficient Memory Modeling During Simulation and Native Execution
. Doktorsavhandling, 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
. I Bioinformatics, volym 35, pp 839-846, 2019. (DOI
, Fulltext
).
-
Frequency conditions for stable networked controllers with time-delay
. I International Journal of Control, volym 92, nummer 4, pp 886-895, 2019. (DOI
).
-
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
. Volym 11896 av Lecture Notes in Computer Science book series (LNCS, volume 11896), Springer-Verlag New York, 2019. (Extern länk
).
-
Cognitive Chunks as Neural Activity: Is it Possible to see What you Think?
. I 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?
. I XRDS, volym 26, nummer 1, pp 46-49, 2019. (DOI
).
-
Joint Axis Estimation for Fast and Slow Movements Using Weighted Gyroscope and Acceleration Constraints
. I 2019 22th International Conference on Information Fusion (FUSION), 2019. (Publisher fulltext
, fulltext:postprint
).
-
Cross-technology Clear Channel Assessment for Low-Power Wide Area Networks
. I Proceedings of The 16th IEEE International Conference on Mobile Ad-Hoc and Smart Systems, pp 199-207, IEEE, 2019. (DOI
, Extern länk
).
-
Voxel-wise assessment of lung aeration changes on CT images using image registration: a: application to acute respiratory distress syndrome (ARDS)
. I International Journal of Computer Assisted Radiology and Surgery, pp 1-9, 2019. (DOI
).
-
Inferring Heterogeneous Causal Effects in Presence of Spatial Confounding
. I Proceedings of the 36th International Conference on Machine Learning, volym 97 av 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
. I ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 32 (NIPS 2019), volym 32 av Advances in Neural Information Processing Systems, Neural Information Processing Systems, 2019. (Extern länk
).
-
"Can you say more about the location?": The Development of a Pedagogical Reference Resolution Agent
. I , 2019. (Extern länk
, fulltext:print
).
-
Let me get to know you better: Can interactions help to overcome uncanny feelings?
. I Proc. 7th International Conference on Human–Agent Interaction, pp 59-67, Association for Computing Machinery (ACM), New York, 2019. (DOI
, Extern länk
).
-
Rational nanotoolbox with theranostic potential for medicated pro-regenerative corneal implants
. I Advanced Functional Materials, volym 29, nummer 38, 2019. (DOI
).
-
Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work
. I ACM Computing Surveys, volym 51, nummer 6, 2019. (DOI
).
-
When is Quality Assurance a Constructive Force in Engineering Education?
. I 2019 IEEE Frontiers in Education Conference (FIE 2019), Frontiers in Education Conference, IEEE, 2019.
-
Participation and learner trajectories in computing education
. I , volym 6 av 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
. I ACM Transactions on Computing Education, volym 19, nummer 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
. I 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
. I PLOS ONE, volym 14, nummer 10, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Backscatter Communication for Wireless Robotic Materials
. I 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
. I 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
. I , Junction Publishing, 2019.
-
1.5 Degrees of Separation: Computer Science Education in the Age of the Anthropocene
. I 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
. I 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
. I 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
. I Proc. 17th European Control Conference, pp 1671-1676, IEEE, 2019. (DOI
).
-
Probabilistic approach to limited-data computed tomography reconstruction
. I Inverse Problems, volym 35, nummer 10, 2019. (DOI
).
-
Carrier Scheduling in IoT Networks with Interoperable Battery-free Backscatter Tags
. I 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
. I Proceedings of the 2019 International Conference on Embedded Wireless Systems and Networks, pp 47-58, 2019. (Extern länk
, Extern länk
).
-
Tail distribution and extreme quantile estimation using non-parametric approaches
. I 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
. I IEEE Transactions on Geoscience and Remote Sensing, volym 57, nummer 6, pp 3105-3118, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI
).
-
Sinusoidal parameter estimation from signed measurements via majorization–minimization based RELAX
. I IEEE Transactions on Signal Processing, volym 67, nummer 8, pp 2173-2186, 2019. (DOI
).
-
Capturing and characterizing human activities using building locations in America
. I ISPRS International Journal of Geo-Information, volym 8, nummer 5, 2019. (DOI
, Fulltext
).
-
Systematic study of accuracy of wall-modeled large eddy simulation using uncertainty quantification techniques
. I Computers & Fluids, volym 185, pp 34-58, 2019. (DOI
).
-
Identification of a Duffing oscillator using particle Gibbs with ancestor sampling
. I Journal of Physics, Conference Series, volym 1264, nummer 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
. I European Journal of Nuclear Medicine and Molecular Imaging, volym 46, nummer 3, pp 569-579, 2019. (DOI
, Fulltext
).
-
Observing the tech, using meetup data to observe the evolution of the discourse around IoT
. I Selected Papers of Internet Research, SPIR, Annual Conference of the Association of Internet Researchers, 2019. (DOI
).
-
JayHorn: A Java Model Checker
. I 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
. I Electronic Proceedings in Theoretical Computer Science, pp 2-2, Open Publishing Association, 2019. (Abstrakt
).
-
Efficient invisible speculative execution through selective delay and value prediction
. I 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?
. I 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
. I Abstract Book. Work 2019: Real Work in the Virtual World, 2019. (Extern länk
).
-
Automated active fault detection in fouled dissolved oxygen sensors
. I Water Research, volym 166, PERGAMON-ELSEVIER SCIENCE LTD, 2019. (DOI
).
-
Automated active fault detection in fouled dissolved oxygen sensors
. I , 2019.
-
Sensor bias impact on controlling daily variations in wastewater loads
. I , 2019.
-
Sensor bias impact on controlling daily variations in wastewater loads
. I , 2019.
-
Steady-state data reconciliation of a dynamic process
. I , 2019.
-
A strategy for OCT estimation of the optic nerve head pigment epithelium central limit-inner limit of the retina minimal distance, PIMD-2?
. I Acta Ophthalmologica, volym 97, nummer 2, pp 208-213, 2019. (DOI
).
-
Why Digital Systems Do Not Reach Their Full Potential in Organizations
. I XRDS: Crossroads, The ACM Magazine for Students, volym 25, nummer 2, pp 32-27, 2019. (DOI
, Fulltext
).
-
Inferential statistics in computing education research: A methodological review
. I Proc. 15th International Computing Education Research Conference, pp 177-185, ACM Press, New York, 2019. (DOI
).
-
Handling Inherent Delays in Virtual IoT Gateways
. I , 2019. (Extern länk
).
-
PRAT: a Tool for Assessing Risk in Written Communication
. I 2019 IEEE International Conference on Big Data (Big Data), pp 4755-4762, 2019. (DOI
).
-
Techniques for analyzing digital environments from a security perspective
. Doktorsavhandling, 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
. I Real-time systems, volym 55, nummer 1, pp 1-31, 2019. (DOI
).
-
Facilitating Ultrastructural Pathology through Automated Imaging and Analysis
. I Journal of Pathology Informatics, volym 10, nummer 1, pp 38-39, Elsevier, 2019. (Abstracts in full-text
).
-
A whole-body FDG PET/MR atlas for multiparametric voxel-based analysis
. I Scientific Reports, volym 9, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Higher order cut finite elements for the wave equation
. I Journal of Scientific Computing, volym 80, pp 1867-1887, 2019. (DOI
, Fulltext
).
-
Methods for Processing and Analysis of Biomedical TEM Images
. Doktorsavhandling, 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
. I 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
. I Control Engineering Practice, volym 89, pp 56-69, 2019. (DOI
).
-
Conditionally Independent Multiresolution Gaussian Processes
. I 22nd International Conference On Artificial Intelligence And Statistics, Vol 89, volym 89 av Proceedings of Machine Learning Research, 2019.
-
Impulsive model of endocrine regulation with a local continuous feedback
. I Mathematical Biosciences, volym 310, pp 128-135, 2019. (DOI
).
-
On the development of a method for cognitive load assessment in manufacturing
. I Robotics and Computer-Integrated Manufacturing, volym 59, pp 252-266, 2019. (DOI
).
-
Analysis of students’ learning of computer programming in a computer laboratory context
. I European Journal of Engineering Education, volym 44, pp 769-786, 2019. (DOI
, Fulltext
).
-
Bayesian identification of state-space models via adaptive thermostats
. I 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
. I IEEE Control Systems Letters, volym 3, nummer 1, pp 73-78, Institute of Electrical and Electronics Engineers (IEEE), 2019. (DOI
).
-
Robust exploration in linear quadratic reinforcement learning
. I Advances in Neural Information Processing Systems 32 (NIPS 2019), volym 32 av Advances in Neural Information Processing Systems, NEURAL INFORMATION PROCESSING SYSTEMS (NIPS), 2019. (Extern länk
).
-
Specialized Interior-Point Algorithm for Stable Nonlinear System Identification
. I IEEE Transactions on Automatic Control, volym 64, nummer 6, pp 2442-2456, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI
).
-
Optimizing Bit-Serial Matrix Multiplication for Reconfigurable Computing
. I ACM Transactions on Reconfigurable Technology and Systems, volym 12, nummer 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
. I RRPR 2018: Reproducible Research in Pattern Recognition: Reproducible Research in Pattern Recognition, volym 11455 av Lecture Notes in Computer Science, pp 138-149, Springer, Switzerland AG, 2019. (DOI
, Extern länk
).
-
Evaluating model calibration in classification
. I 22nd International Conference on Artificial Intelligence and Statistics, volym 89 av Proceedings of Machine Learning Research, pp 3459-3467, 2019. (Abstract
).
-
On model order priors for Bayesian identification of SISO linear systems
. I International Journal of Control, volym 92, nummer 7, pp 1645-1661, 2019. (DOI
).
-
Automatic detection of calving events from time-lapse imagery at Tunabreen, Svalbard
. I Geoscientific Instrumentation, Methods and Data Systems, volym 8, pp 113-127, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Position: Wearable Polymorphic Light Sensors
. I 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
. I 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
. I Proc. 15th International Conference on Document Analysis and Recognition, 2019. (Extern länk
).
-
Metrics for Temporal Text Networks
. I Temporal Network Theory, pp 147-160, Springer, 2019. (DOI
, fulltext:preprint
).
-
Learning sparse graphs for prediction of multivariate data processes
. I IEEE Signal Processing Letters, volym 26, nummer 3, pp 495-499, 2019. (DOI
).
-
A note on the estimation of real- and complex-valued parameters in frequency domain maximum likelihood identification
. I Automatica, volym 110, 2019. (DOI
).
-
Machine-Assisted Reformulation for MiniZinc
. I , 2019. (fulltext:postprint
).
-
Towards Efficient Algorithms for Constraint Satisfaction Problems
. I , 2019. (fulltext:postprint
).
-
Towards Efficient Solvers for Optimisation Problems
. I 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
. I , 2019.
-
Tumor Sensing Privacy in In-Body Networks
. I , 2019.
-
Design and Dynamic Update of Real-Time Systems
. I 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?
. I Geophysics, volym 84, nummer 2, pp P27-P45, 2019. (DOI
).
-
Correcting exorbitism by monobloc frontofacial advancement in Crouzon–Pfeiffer syndrome: An age-specific, time-related, controlled study
. I Plastic and reconstructive surgery (1963), volym 143, nummer 1, pp 121e-132e, 2019. (DOI
).
-
Towards automated multiscale Glomeruli detection and analysis in TEM by fusion of CNN and LBP maps
. I 3rd NEUBIAS Conference, Luxembourg, 2019. (Extern länk
).
-
Towards automated multiscale imaging and analysis in TEM: Glomerulus detection by fusion of CNN and LBP maps
. I Computer Vision: ECCV 2018 Workshops, volym 11134 av 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
. I Optical Switching and Networkning Journal, volym 31, pp 211-217, 2019. (DOI
).
-
SimInf: An R package for data-driven stochastic disease spread simulations
. I Journal of Statistical Software, volym 91, nummer 12, pp 1-42, 2019. (DOI
, Fulltext
).
-
SimInf for spatio-temporal data-driven modeling of African swine fever in Swedish wildboar
. I GeoVet 2019: Novel spatio-temporal approaches in the era of Big Data, 2019. (DOI
, Fulltext
).
-
Calibration tests in multi-class classification: A unifying framework
. I ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 32 (NIPS 2019), volym 32 av Advances in Neural Information Processing Systems, NEURAL INFORMATION PROCESSING SYSTEMS (NIPS), 2019. (Extern länk
).
-
Parameter elimination in particle Gibbs sampling
. I Advances in Neural Information Processing Systems 32 (NIPS 2019), volym 32 av Advances in Neural Information Processing Systems, Neural Information Processing Systems, 2019. (Extern länk
).
-
A disturbance rejection and data rate trade-off in networked data flow control
. I European Journal of Control, volym 47, pp 1-10, 2019. (DOI
).
-
Learning based Word Search and Visualisation for Historical Manuscript Images
. Doktorsavhandling, 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
. I Bioinformatics, volym 35, pp 5199-5206, 2019. (DOI
).
-
In situ quantification of individual mRNA transcripts in melanocytes discloses gene regulation of relevance to speciation
. I Journal of Experimental Biology, volym 222, nummer 5, 2019. (DOI
).
-
Safeguarding 5G-and-Beyond Networks with Physical Layer Security
. I IEEE wireless communications, volym 26, nummer 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
. I 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
. Doktorsavhandling, 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
. I 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
. I 2019 IFIP/IEEE Symposium On Integrated Network And Service Management (IM), pp 198-206, IEEE, 2019. (Extern länk
).
-
Kankanet: An artificial neural network-based object detection smartphone application and mobile microscope as a point-of-care diagnostic aid for soil-transmitted helminthiases
. I PLoS Neglected Tropical Diseases, volym 13, nummer 8, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Tsunami Wavefield Reconstruction and Forecasting Using the Ensemble Kalman Filter
. I Geophysical Research Letters, volym 46, nummer 2, pp 853-860, 2019. (DOI
, Extern länk
).
-
Hadamard Product Perspective on Source Resolvability of Spatial-smoothing-based Subspace Methods
. I 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
. I IEEE Transactions on Signal Processing, volym 67, nummer 10, pp 2543-2553, 2019. (DOI
).
-
EcoVibe: On-Demand Sensing for Railway Bridge Structural Health Monitoring
. I IEEE Internet of Things Journal, volym 6, nummer 1, pp 1068-1078, Institute of Electrical and Electronics Engineers (IEEE), 2019. (DOI
, Extern länk
).
-
Learning-Assisted Optimization for Energy-Efficient Scheduling in Deadline-Aware NOMA Systems
. I IEEE Transactions on Green Communications and Networking, volym 3, nummer 3, pp 615-627, Institute of Electrical and Electronics Engineers (IEEE), 2019. (DOI
, Extern länk
).
-
Network Optimization of Evolving Mobile Systems with Presence of Interference Coupling
. Doktorsavhandling, 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
. I 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
. I IEEE Signal Processing Letters, volym 26, nummer 8, pp 1103-1106, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI
).
-
DuctTeip: An efficient programming model for distributed task-based parallel computing
. I Parallel Computing, volym 90, 2019. (DOI
, fulltext:postprint
).
-
Machine learning techniques for monitoring the sludge profile in a secondary settler tank
. I Applied water science, volym 9, nummer 6, 2019. (DOI
, Fulltext
).
-
Copying can be good: How instructors use imitation in teaching programming
. I 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
. I Automatica, volym 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
. I IEEE Internet of Things Journal, volym 6, nummer 3, pp 4283-4294, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI
).
-
Stochastic computation offloading and trajectory scheduling for UAV-assisted mobile edge computing
. I IEEE Internet of Things Journal, volym 6, nummer 2, pp 3688-3699, 2019. (DOI
).
-
Announcement as effort on topological spaces
. I Synthese, volym 196, nummer 7, pp 2927-2969, 2019. (DOI
, Fulltext
).
-
BENCHOP–SLV: The BENCHmarking project in Option Pricing – Stochastic and local volatility problems
. I International Journal of Computer Mathematics, volym 96, pp 1910-1923, 2019. (DOI
, Fulltext
).
-
Progress Report: Exploring API Design for Capabilities for Programming with Arrays
. I 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
. I IEEE Transactions on Image Processing, volym 28, nummer 7, pp 3584-3597, IEEE, 2019. (DOI
, Fulltext
, fulltext:print
).
-
Robust Symmetric Affine Image Registration
. I Swedish Symposium on Image Analysis, 2019. (Extern länk
).
-
Stochastic Distance Functions with Applications in Object Detection and Image Segmentation
. I Swedish Symposium on Image Analysis, 2019. (Extern länk
).
-
Stochastic Distance Transform
. I Discrete Geometry for Computer Imagery, volym 11414 av Lecture Notes in Computer Science, pp 75-86, Springer, 2019. (DOI
, Extern länk
).