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 SamplingNoggranna 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).