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 SamplingNoggranna 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, 2019. (DOI, Fulltext).
- 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).
- Data Consistency Approach to Model Validation. In IEEE Access, 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).