Publications 2020
-
Efficient Handling of String-Number Conversion
. In PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, pp 943-957, 2020. (DOI
).
-
On the Formalization of Decentralized Contact Tracing Protocols
. In Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 {(BOSK} 2020), September 25, 2020, CEUR Workshop Proceedings, pp 65-70, CEUR-WS.org, 2020. (External link
).
-
On the Separability Problem of String Constraints
. In 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference), LIPIcs, pp 16:1-16:19, Dagstuhl, Germany, 2020. (DOI
, External link
).
-
Parameterized verification under TSO is PSPACE-complete
. In Proceedings of the ACM on Programming Languages, volume 4, number POPL, pp 26:1-26:29, Association for Computing Machinery (ACM), New York, NY, USA, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Fractional Laplace operator in two dimensions, approximating matrices, and related spectral analysis
. In Calcolo, volume 57, 2020. (DOI
, Fulltext
).
-
Asymptotic Spectra of Large (Grid) Graphs with a Uniform Local Structure (Part I): Theory
. In Milan Journal of Mathematics, volume 88, number 2, pp 409-454, Springer Science and Business Media LLC, 2020. (DOI
, Fulltext
, fulltext:print
).
-
A multiple motion sensors index for motor state quantification in Parkinson's disease
. In Computer Methods and Programs in Biomedicine, volume 189, ELSEVIER IRELAND LTD, 2020. (DOI
).
-
Optimal Scheduling of Measurement-Based Parallel Real-Time Tasks
. In Real-time systems, volume 56, number 3, pp 247-253, Springer Nature, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Accounting for Information Freshness in Scheduling of Content Caching
. In ICC 2020: 2020 IEEE International Conference on Communications (ICC), IEEE International Conference on Communications, 2020. (DOI
).
-
Optimal scheduling of content caching subject to deadline
. In IEEE Open Journal of the Communications Society, volume 1, pp 293-307, IEEE, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Routing and scheduling of network flows with deadlines and discrete capacity allocation
. In Networks, volume 76, number 1, pp 54-74, WILEY, 2020. (DOI
).
-
Local meshless methods for second order elliptic interface problems with sharp corners
. In Journal of Computational Physics, volume 416, 2020. (DOI
, fulltext:postprint
).
-
Intermittent Computing with Dynamic Voltage and Frequency Scaling
. In EWSN '20: Proceedings of the 2020 International Conference on Embedded Wireless Systems and Networks, Proceedings of the International Conference on Embedded Wireless Systems and Networks, pp 97-107, 2020. (Publisher fulltext
).
-
Online Model-Based Beat-by-beat Heart Rate Estimation
. In 2020 American Control Conference (ACC), Proceedings of the American Control Conference, pp 539-544, 2020. (DOI
).
-
Patient-Specific Electrocardiogram Monitoring by Model-Based Stochastic Anomaly Detection
. In 2020 European Control Conference (ECC), pp 735-740, 2020. (DOI
).
-
Dimensions of Professionalism: A Study of Computer Science Teaching in Saudi Arabia
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1965, Acta Universitatis Upsaliensis, Uppsala, 2020. (Online defence
, fulltext
, preview image
).
-
Delay and Bypass: Ready and Criticality Aware Instruction Scheduling in Out-of-Order Processors
. In 2020 IEEE International Symposium on High Performance Computer Architecture (HPCA), International Symposium on High-Performance Computer Architecture-Proceedings, pp 424-434, 2020. (DOI
).
-
Rethinking Dynamic Instruction Scheduling and Retirement for Efficient Microarchitectures
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1902, Acta Universitatis Upsaliensis, Uppsala, 2020. (Join Zoom Meeting
, fulltext
, preview image
).
-
Non-stiff boundary and interface penalties for narrow-stencil finite difference approximations of the Laplacian on curvilinear multiblock grids
. In Journal of Computational Physics, volume 408, 2020. (DOI
, External link
).
-
Constraint-based Contract Inference for Deductive Verification
. In Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY, volume 12345 of Lecture Notes in Computer Science, pp 149-176, Springer Nature, 2020. (DOI
, External link
).
-
Efficient temporal and spatial load to load forwarding
. In Proc. 26th International Symposium on High-Performance and Computer Architecture, IEEE Computer Society, 2020.
-
Visual Pattern Extraction and Recognition for Cultural Heritage Understanding: Proceedings of 2nd International Workshop on Visual Pattern Extraction and Recognition for Cultural Heritage Understandingco-located with 16th Italian Research Conference on Digital Libraries (IRCDL 2020)
. CEUR, CEUR, 2020. (External link
).
-
Minimal Adversarial Perturbations in Mobile Health Applications: The Epileptic Brain Activity Case Study
. In ICASSP 2020: 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), International Conference on Acoustics Speech and Signal Processing (ICASSP), pp 1205-1209, 2020. (DOI
).
-
Universal Adversarial Perturbations in Epileptic Seizure Detection
. In 2020 International Joint Conference On Neural Networks (IJCNN), IEEE International Joint Conference on Neural Networks (IJCNN), IEEE, 2020.
-
Transcriptome-Supervised Classification of Tissue Morphology Using Deep Learning
. In IEEE 17th International Symposium on Biomedical Imaging (ISBI), IEEE International Symposium on Biomedical Imaging (ISBI), pp 1630-1633, 2020. (DOI
).
-
Strategies for array data retrieval from a relational back-end based on access patterns
. In Computing, volume 102, number 5, pp 1139-1158, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Modelling long-range interactions in multiscale simulations of ferromagnetic materials
. In Advances in Computational Mathematics, volume 46, number 1, 2020. (DOI
, Fulltext
).
-
Approximate multiplication of nearly sparse matrices with decay in a fully recursive distributed task-based parallel framework
. 2020. (arXiv:1906.08148
).
-
On Securing Persistent State in Intermittent Computing
. In ENSsys '20: Proceedings of the 8th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems, pp 8-14, 2020. (DOI
).
-
A fast instance selection method for support vector machines in building extraction
. In Applied Soft Computing, volume 97, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Adaptive Mathematical Morphology on Irregularly Sampled Signals in Two Dimensions
. In Mathematical Morphology - Theory and Applications, volume 4, number 1, pp 108-126, Walter de Gruyter, 2020. (DOI
, Fulltext
, Publisher's full text
, fulltext:print
).
-
Preface to the VECoS 2018 special issue of ISSE
. In Innovations in Systems and Software Engineering, volume 16, number 2, pp 99-100, SPRINGER LONDON LTD, 2020. (DOI
).
-
What is decidable under the TSO memory model?
. In ACM SIGLOG News, volume 7, number 4, pp 4-19, Association for Computing Machinery (ACM), 2020. (DOI
).
-
An Introduction and Summary of Use of Optimal Control Methods for PDE's
. In Large-Scale Scientific Computing (LSSC 2019), volume 11958 of Lecture Notes in Computer Science (LNCS), pp 275-283, 2020. (DOI
).
-
Extensions of a coarse–fine mesh stabilized Schwarz alternating iteration domain decomposition method
. In Journal of Computational and Applied Mathematics, volume 364, 2020. (DOI
).
-
Numerical solution methods for implicit Runge-Kutta methods of arbitrarily high order
. In Proceedings of the conference Algoritmy 2020, pp 11-20, 2020. (Publisher fulltext
).
-
Optimality properties of a square block matrix preconditioner with applications
. In Computers and Mathematics with Applications, volume 80, pp 286-294, 2020. (DOI
).
-
Regularization methods for the construction of preconditioners for saddle point problems
. In Algoritmy 2020: 21st Conference On Scientific Computing, pp 141-150, SLOVAK UNIV TECHNOLOGY, BRATISLAVA, 2020.
-
Superior properties of the PRESB preconditioner for operators on two-by-two block form with square blocks
. In Numerische Mathematik, volume 146, number 2, pp 335-368, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Generalised deep learning framework for HEp-2 cell recognition using local binary pattern maps
. In IET Image Processing, volume 14, number 6, pp 1201-1208, INST ENGINEERING TECHNOLOGY-IET, 2020. (DOI
).
-
Block generalized locally Toeplitz sequences: theory and applications in the multidimensional case
. In Electronic Transactions on Numerical Analysis, volume 53, pp 113-216, Osterreichische Akademie der Wissenschaften, 2020. (DOI
).
-
Block generalized locally Toeplitz sequences: theory and applications in the unidimensional case
. In Electronic Transactions on Numerical Analysis, volume 53, pp 28-112, Osterreichische Akademie der Wissenschaften, 2020. (DOI
, External link
, External link
).
-
Non-Hermitian perturbations of Hermitian matrix-sequences and applications to the spectral analysis of the numerical approximation of partial differential equations
. In Numerical Linear Algebra with Applications, volume 27, number 3, John Wiley & Sons, 2020. (DOI
, Fulltext
).
-
The exchange programme between new and different partners, Royal University of Bhutan and Uppsala University
. In 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI
).
-
Nontrivial Lexical Convergence in a Geography-Themed Game
. In Proceedings of the SIGdial 2020 Conference, pp 209-214, Association for Computational Linguistics, 2020. (fulltext (pdf)
).
-
Nontrivial Lexical Convergence in a Geography-Themed Game
. In SIGDIAL 2020: 21ST ANNUAL MEETING OF THE SPECIAL INTEREST GROUP ON DISCOURSE AND DIALOGUE (SIGDIAL 2020), pp 209-214, ASSOC COMPUTATIONAL LINGUISTICS, 2020.
-
Solving Satisfaction Problems using Large-Neighbourhood Search
. In Principles and Practice of Constraint Programming, volume 12333 of Lecture Notes in Computer Science, pp 55-71, 2020. (DOI
).
-
Apache Spark Streaming, Kafka and HarmonicIO: A performance benchmark and architecture comparison for enterprise and scientific computing
. In Benchmarking, Measuring, and Optimizing, volume 12093 of Lecture Notes in Computer Science, pp 335-347, Springer, 2020. (DOI
).
-
A multiscale model to design therapeutic strategies that overcome drug resistance to tyrosine kinase inhibitors in multiple myeloma
. In Mathematical Biosciences, volume 319, 2020. (DOI
).
-
Multiple comparison correction methods for whole-body magnetic resonance imaging
. In Journal of Medical Imaging, volume 7, number 1, SPIE-Intl Soc Optical Eng, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Laguerre-domain Modeling and Identification of Linear Discrete-time Delay Systems
. In IFAC PapersOnline, pp 939-944, ELSEVIER, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Modeling of human smooth pursuit by sparse Volterra models with functionally dependent parameters
. In Control Engineering Practice, volume 103, Elsevier BV, 2020. (DOI
).
-
HISTOBREAST: a collection of brightfield microscopy images of Haematoxylin and Eosin stained breast tissue
. In Scientific Data, volume 7, number 1, 2020. (DOI
, Fulltext
, fulltext:print
).
-
A first meshless approach to simulation of the elastic behaviour of the diaphragm
. In Spectral and High Order Methods for Partial Differential Equations: ICOSAHOM 2018, volume 134 of Lecture Notes in Computational Science and Engineering, pp 501-512, Springer, 2020. (DOI
, fulltext:postprint
).
-
Diversified spatial keyword search on RDF data
. In The VLDB journal, volume 29, number 5, pp 1171-1189, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Personcentrering med journalåtkomst och andra e-hälsotjänster
. In Medicinsk informatik, Liber, 2020.
-
The effects of automation of a patient?centric service in primary care on the work engagement and exhaustion of nurses
. In Quality and User Experience, volume 5, number 9, 2020. (DOI
, External link
).
-
What brings women into ehealth?: Women's career trajectories in digital transformations in health care
. In Proceedings of the 12th International Conference on e-Health, 2020.
-
Can a Social Robot Be Persuasive Without Losing Children’s Trust?
. In HRI '20: Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction, pp 157-159, ACM Digital Library, 2020. (DOI
, fulltext:preprint
).
-
The Effects of Robot’s Facial Expressions on Children’s First Impressions of Trustworthiness
. In 2020 29th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN), IEEE RO-MAN, pp 165-171, IEEE Press, 2020. (DOI
, fulltext:postprint
).
-
MaRe: Processing Big Data with application containers on Apache Spark
. In GigaScience, volume 9, number 5, Oxford University Press, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Boosting Store Buffer Efficiency with Store-Prefetch Bursts
. In 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), pp 568-580, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI
, Fulltext
, fulltext:print
).
-
Timed Up-and-Go Dual-Task Testing in the Assessment of Cognitive Function: A Mixed Methods Observational Study for Development of the UDDGait Protocol
. In International Journal of Environmental Research and Public Health, volume 17, number 5, MDPI, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Higher vascularity at infiltrated peripheral edema differentiates proneural glioblastoma subtype
. In PLOS ONE, volume 15, number 10, PUBLIC LIBRARY SCIENCE, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Fault-tolerant real-time tasks scheduling with dynamic fault handling
. In Journal of systems architecture, volume 102, ELSEVIER, 2020. (DOI
).
-
A Multigrid method for nonlocal problems: non-diagonally dominant Toeplitz-plus-tridiagonal systems
. In SIAM Journal on Matrix Analysis and Applications, volume 41, number 4, pp 1546-1570, 2020. (DOI
).
-
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
. In ATVA 2020: Automated Technology for Verification and Analysis, volume 12302 of Lecture Notes in Computer Science (LNCS), pp 325-342, Springer Nature, 2020. (DOI
).
-
A full Stokes subgrid scheme in two dimensions for simulation of grounding line migration in ice sheets using Elmer/ICE (v8.3)
. In Geoscientific Model Development, volume 13, pp 2245-2258, 2020. (DOI
, Fulltext
).
-
Parameter sensitivity analysis of dynamic ice sheet models — numerical computations
. In The Cryosphere, volume 14, pp 673-691, 2020. (DOI
, Fulltext
).
-
Combined <em>L</em><sub>2</sub>-stable feedback and feedforward aeration control in a wastewater treatment plant
. In IEEE Transactions on Control Systems Technology, volume 28, number 3, pp 1017-1024, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI
).
-
Why Do CSCW Insights Lose Out to Management Intuitions?
. In Proceedings of 18th European Conference on Computer-Supported Cooperative Work, 2020.
-
The NEUBIAS Gateway: A hub for bioimage analysis methods and materials.
. 2020. (DOI
).
-
A level-set multigrid technique for nonlinear diffusion in the numerical simulation of marble degradation under chemical pollutants
. In Applied Mathematics and Computation, volume 386, Elsevier BV, 2020. (DOI
, External link
).
-
Numerical Simulations of Marble Sulfation
. In Mathematical Modeling in Cultural Heritage, volume 41 of Springer INdAM Series, pp 107-122, Springer International Publishing, 2020. (DOI
, External link
).
-
Polynomial nonlinear state space identification of an aero-engine structure
. In Computers & structures, volume 238, 2020. (DOI
).
-
Att utveckla ihärdighet: En intervjustudie om lärarens roll för studenters motivation att jobba mot långsiktiga mål
. In , 2020.
-
Behind the Scenes: Unintended Effects of Increased Technology use in Operational Train Traffic
. In Swedish Transportation Research Conference 2020, October 21, 2020., 2020. (fulltext:postprint
).
-
”We’re Doing This Together”: An in-Depth Analysis of the Teamwork between Train Traffic Controllers and Train Drivers
. In Proceedings of the 4th International Conference on Computer-Human Interaction Research and Applications, pp 96-103, Portugal, 2020. (DOI
).
-
Online tissue conductivity estimation in Deep Brain Stimulation
. In IEEE Transactions on Control Systems Technology, volume 28, number 1, pp 149-162, 2020. (DOI
).
-
Computing Education: The Importance of Context: Keynote presentation
. In , 2020.
-
A nonlinear model of vortex-induced forces on an oscillating cylinder in a fluid flow
. In Journal of Fluids and Structures, volume 96, ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 2020. (DOI
).
-
Modeling and Optimization of Mobility-Aware Dynamic Caching With Time-Varying Content Popularity
. In IEEE Transactions on Vehicular Technology, volume 69, number 1, pp 1157-1162, 2020. (DOI
).
-
PDE-constrained optimization: Matrix structures and preconditioners
. In Large-Scale Scientific Computing, volume 11958 of Lecture Notes in Computer Science (LNCS), pp 315-323, 2020. (DOI
).
-
A stable discontinuous Galerkin method for the perfectly matched layer for elastodynamics in first order form
. In Numerische Mathematik, volume 146, number 4, pp 729-782, 2020. (DOI
).
-
Rate-Monotonic Schedulability of Implicit-Deadline Tasks is NP-hard Beyond Liu and Layland's Bound
. In 2020 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium : Proceedings, pp 308-318, 2020. (DOI
).
-
Fast graph-cut based optimization for practical dense deformable registration of volume images
. In Computerized Medical Imaging and Graphics, volume 84, Elsevier, 2020. (DOI
).
-
Eigenpairs of some particular band Toeplitz matrices: A comment
. In Numerical Linear Algebra with Applications, volume 27, number 1, 2020. (DOI
).
-
Bayesian epidemiological modeling over high-resolution network data
. In Epidemics, volume 32, Elsevier BV, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Efficient drone hijacking detection using two-step GA-XGBoost
. In Journal of systems architecture, volume 103, ELSEVIER, 2020. (DOI
).
-
Learning Robust LQ-Controllers Using Application Oriented Exploration
. In IEEE Control Systems Letters, volume 4, number 1, pp 19-24, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2020. (DOI
).
-
Developing the First Intensity Prediction Equation Based on the Environmental Scale Intensity: A Case Study from Strong Normal-Faulting Earthquakes in the Italian Apennines
. In Seismological Research Letters, volume 91, number 5, pp 2611-2623, Seismological Society of America (SSA), 2020. (DOI
, External link
).
-
Analysis of DTLS Implementations Using Protocol State Fuzzing
. In Proceedings of the 29th USENIX Security Symposium, pp 2523-2540, 2020. (Proceedings paper fulltext
, fulltext:print
).
-
Predicting Round-Trip Time Distributions in IoT Systems using Histogram Estimators
. In , 2020. (DOI
, External link
).
-
Predicting Round-Trip Time Distributions in IoT Systems using Histogram Estimators
. In NOMS 2020 - PROCEEDINGS OF THE 2020 IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM 2020: MANAGEMENT IN THE AGE OF SOFTWARIZATION AND ARTIFICIAL INTELLIGENCE, IEEE IFIP Network Operations and Management Symposium, IEEE, 2020.
-
Two to Tango: Hybrid Light and Backscatter Networks for Next Billion Devices
. In , 2020.
-
Towards Explainable, Compliant and Adaptive Human-Automation Interaction
. In Proceedings of the 3rd EXplainable AI in Law Workshop (XAILA 2020), volume 2891 of CEUR Workshop Proceedings, 2020. (External link
, fulltext:print
).
-
Machine Behavior Development and Analysis using Reinforcement Learning
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1983, Acta Universitatis Upsaliensis, Uppsala, 2020. (Online defence
, fulltext
, preview image
).
-
NURBS in isogeometric discretization methods: A spectral analysis
. In Numerical Linear Algebra with Applications, volume 27, number 6, Wiley, 2020. (DOI
, External link
).
-
Proof-theoretic Conservativity for HOL with Ad-hoc Overloading
. In Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Lecture Notes in Computer Science, pp 23-42, Springer, 2020. (DOI
, External link
).
-
Identifying reionization-epoch galaxies with extreme levels of Lyman continuum leakage in James Webb Space Telescope surveys
. In Monthly notices of the Royal Astronomical Society, volume 491, number 4, pp 5277-5286, OXFORD UNIV PRESS, 2020. (DOI
).
-
Communication Breakdowns between Nurses and IT Department: Why Hospitals Fail at Improving the Usability of Health Information Technology
. In Proceedings of the 18th International Symposium on Health Information Management Research, 2020. (fulltext:postprint
).
-
Existence result for the coupling of shallow water and Borda–Carnot equations with Riemann data
. In Journal of Hyperbolic Differential Equations, volume 17, number 01, pp 185-212, 2020. (DOI
).
-
"Mature" to Doubt: Using Ethical Theories for Role Modeling in Computing Education
. In 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI
).
-
Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion
. In Digital Transformation for a Sustainable Society in the 21st Century, volume 573 of IFIP Advances in Information and Communication Technology, pp 5-16, Springer Nature, 2020. (DOI
).
-
Types of Role Models for the Frontiers in Education (FIE) Community
. In 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI
).
-
Who Should We Invite? A Proposal of Steps for Conference Organizers to Follow to Bring Diverse Role Models to Computing Events
. In , International Conference on Learning and Teaching in Computing and Engineering (LaTiCE), IEEE Computer Society, 2020.
-
Digital spetskompetens – den nya renässansmänniskan: Genomlysning, definition, prognosverktyg och rekommendationer för framtida utveckling
. Tillväxtverket och Universitetskanslerämbetet, 2020. (External link
).
-
Detection of pulmonary micronodules in computed tomography images and false positive reduction using 3D convolutional neural networks
. In International journal of imaging systems and technology (Print), volume 30, number 2, pp 327-339, 2020. (DOI
).
-
Weakly-supervised prediction of cell migration modes in confocal microscopy images using bayesian deep learning
. In 2020 IEEE 17th International Symposium on Biomedical Imaging (ISBI), IEEE International Symposium on Biomedical Imaging (ISBI), pp 1626-1629, 2020. (DOI
).
-
Energy-Based Models for Deep Probabilistic Regression
. In , 2020.
-
Evaluating Scalable Bayesian Deep Learning Methods for Robust Computer Vision
. In 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW 2020), IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, pp 1289-1298, IEEE Computer Society, 2020. (DOI
).
-
How to Train Your Energy-Based Model for Regression
. In , 2020.
-
<em>I could rewind and understand and google – Insights into a mixed-methods study on flipped classrooms in higher physics education</em>
. In , 2020.
-
Monadic Decomposition in Integer Linear Arithmetic
. In IJCAR 2020: Automated Reasoning, volume 12166 of Lecture Notes in Computer Science, pp 122-140, Springer Nature, 2020. (DOI
).
-
A workflow for high-throughput screening, data analysis, processing, and hit identification
. 2020. (External link
).
-
Unspoken Assumptions in Multi-layer Modularity maximization
. In Scientific Reports, volume 10, number 1, NATURE PUBLISHING GROUP, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Architecturally-independent and time-based characterization of SPEC CPU 2017
. In 2020 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)Raw-Data: A Reusable Characterization Of The Memory System behavior Of SPEC 2017 And SPEC 2006, IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), pp 107-109, 2020. (DOI
, fulltext:postprint
, fulltext:preprint
).
-
Raw-Data: A Reusable Characterization Of The Memory System Behavior Of SPEC 2017 And SPEC 2006
. 2020. (data set
).
-
Consensus Ranking for Increasing Mean Average Precision in Keyword Spotting
. In Proceedings of 2nd International Workshop on Visual Pattern Extraction and Recognition for Cultural Heritage Understanding. co-located with 16th Italian Research Conference on Digital Libraries (IRCDL 2020) Bari, Italy, January 29, 2020., pp 46-57, 2020. (fulltext:postprint
).
-
Ensembles and Cascading of Embedded Prototype Subspace Classifiers
. In Journal of WSCG, volume 28, number 1/2, pp 89-95, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Demo: Multi-Radio Access Technology IoT Gateway
. In , 2020.
-
Shadow-based Hand Gesture Recognition in one Packet
. In 16th Annual International Conference on Distributed Computing in Sensor Systems (DCOSS 2020), pp 27-34, IEEE, 2020. (DOI
, fulltext:postprint
).
-
Hierarchical algorithm for the reaction–diffusion master equation
. In Journal of Chemical Physics, volume 152, number 3, 2020. (DOI
, Fulltext
).
-
On the smoothness of nonlinear system identification
. In Automatica, volume 121, 2020. (DOI
).
-
The Dark (and Bright) Side of IoT: Attacks and Countermeasures to Identification of Smart Home Devices and Services
. In , 2020.
-
Privacy-preserving continuous tumour relapse monitoring using in-body radio signals
. In 2020 IEEE Symposium On Security And Privacy Workshops (SPW 2020), pp 82-87, IEEE, 2020. (DOI
).
-
User Experiences of an Internet-Based Stepped-Care Intervention for Individuals With Cancer and Concurrent Symptoms of Anxiety or Depression (the U-CARE AdultCan Trial): Qualitative Study
. In Journal of Medical Internet Research, volume 22, number 5, JMIR PUBLICATIONS, INC, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Multilayer network simplification: Approaches, models and methods
. In Computer Science Review, volume 36, 2020. (DOI
).
-
Smoothing With Couplings of Conditional Particle Filters
. In Journal of the American Statistical Association, volume 115, number 530, pp 721-729, Informa UK Limited, 2020. (DOI
).
-
Patient-specific fine-tuning of CNNs for follow-up lesion quantification
. In Journal of Medical Imaging, 2020.
-
Patient-specific fine-tuning of convolutional neural networks for follow-up lesion quantification
. In Journal of Medical Imaging, volume 7, number 6, SPIE-SOC PHOTO-OPTICAL INSTRUMENTATION ENGINEERS, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Assessment of openness as a dynamic team skill in order to counteract “free-riding”
. In 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI
).
-
Optimizing the Locations and Sizes of Solar Assisted Electric Vehicle Charging Stations in an Urban Area
. In IEEE transactions on rehabilitation engineering, volume 8, pp 112772-112782, IEEE Computer Society, 2020. (DOI
).
-
Non-Invasive Transmission Based Tumor Detection Using Anthropomorphic Breast Phantom at 2.45 GHz
. In 2020 14th European Conference on Antennas and Propagation (EuCAP), Proceedings of the European Conference on Antennas and Propagation, 2020. (DOI
).
-
Real-time air pollution monitoring with sensors on city bus
. In Digital Communications and Networks, volume 6, number 1, pp 23-30, KeAi, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Decoupled Address Translation for Heterogeneous Memory Systems
. In PACT '20: PROCEEDINGS OF THE ACM INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, International Conference on Parallel Architectures and Compilation Techniques, pp 155-156, ASSOC COMPUTING MACHINERY, 2020. (DOI
, Fulltext
).
-
Reconciling Time Slice Conflicts of Virtual Machines With Dual Time Slice for Clouds
. In IEEE Transactions on Parallel and Distributed Systems, volume 31, number 10, pp 2453-2465, 2020. (DOI
).
-
Andre Martineau: Some Memories
. In Complex Analysis and Operator Theory, volume 14, number 7, Springer Nature, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Akademio de Esperanto fronte al novaj taskoj.
. In Esperantologio / Esperanto Studies. Nova Serio / New Series 1 (9), pp. 41--54, number 9, pp 41-54, 2020. (External link
).
-
J?zyki i nauka
. In <em>V Mi?dzynarodowe Sympozjum: J?zyk Esperanto – Rozwijanie osobowo?ci ludzkich na etapie m?odo?ci i trzeciego wieku – systemy edukacyjne</em>., pp 33-54, Ars Libri Introligatornia, Wydawnictwo s.c. Lublin, under the auspices of Uniwersytet Wroc?awski and Europejskie Centrum Edukacji Mi?dzykulturowej, Lublin, 2020.
-
Lingvoj kaj scienco
. In Mi?dzynarodowe Sympozjum:: J?zyk Esperanto – Rozwijanie osobowo?ci ludzkich na etapie m?odo?ci i trzeciego wieku – systemy edukacyjne., pp 100-121, Ars Libri Introligatornia, Wydawnictwo s.c., under the auspices of Uniwersytet Wroc?awski and Europejskie Centrum Edukacji Mi?dzykulturowej, Lublin, 2020.
-
TrackMate - My Favorite Image Analysis Tool, by Neubias Members
. In Imaging & Microscopy, volume September, 2020. (External link
).
-
Sustainable Development of Professional Competencies: A Teacher Training Perspective
. In , IEEE Computer Society, 2020.
-
Uncovering hidden reasoning of convolutional neural networks in biomedical image classification by using attribution methods
. In 4th NEUBIAS Conference, Bordeaux, France, 2020.
-
Rapid evolution of coordinated and collective movement in response to artificial selection
. In Science Advances, volume 6, number 49, AMER ASSOC ADVANCEMENT SCIENCE, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Particle Filter with Rejection Control and Unbiased Estimator of the Marginal Likelihood
. In ICASSP 2020: 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), International Conference on Acoustics Speech and Signal Processing (ICASSP), pp 5860-5864, 2020. (DOI
).
-
Probabilistic programming for birth-death models of evolution using an alive particle filter with delayed sampling
. In The 35th Uncertainty in Artificial Intelligence Conference (UAI), Proceedings of Machine Learning Research, pp 679-689, JOURNAL MACHINE LEARNING RESEARCH, San Diego, 2020.
-
Impact of Code Refactoring using Object-Oriented Methodology on a Scientific Computing Application
. 2020.
-
Kidney segmentation in neck-to-knee body MRI of 40,000 UK Biobank participants
. In Scientific Reports, volume 10, number 1, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Large-scale Inference of Liver Fat with Neural Networks on UK Biobank Body MRI
. In International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI) 2020, volume 12262 of Lecture Notes in Computer Science, pp 602-611, Springer, Cham, 2020. (DOI
, Fulltext
).
-
Large-scale biometry with interpretable neural network regression on UK Biobank body MRI
. In Scientific Reports, volume 10, number 1, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Large-scale inference of liver fat with neural networks on UK Biobank body MRI
. In Lecture Notes in Computer Science LNCS Vol. 12265, pages 602-611, Springer, Cham., pp 602-611, 2020.
-
An investigation of global radial basis function collocation methods applied to Helmholtz problems
. In Dolomites Research Notes on Approximation, volume 13, pp 65-85, Padova University Press, 2020. (DOI
, Fulltext
, fulltext:print
).
-
A Pragmatic Approach for Teaching Ethics to Engineers and Computer Scientists
. In 2020 IEEE Frontiers in Education Conference (FIE), IEEE Frontiers in Education Conference (FIE), 2020. (DOI
).
-
Efficient iterative solvers for a complex valued two-by-two block linear system with application to parabolic optimal control problems
. In Applied Numerical Mathematics, volume 152, pp 422-445, 2020. (DOI
).
-
Voxel-wise Study of Cohort Associations in Whole-Body MRI: Application in Metabolic Syndrome and Its Components.
. In Radiology, volume 294, number 3, pp 559-567, 2020. (DOI
).
-
The Use of Scenarios in a Vision Seminar Process: The Case of Students Envisioning the Future of Study-Administration
. In NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society, Association for Computing Machinery (ACM), 2020. (DOI
).
-
Real-time Thread Isolation and Trusted Execution on Embedded RISC-V
. In , 2020.
-
Evaluation of Augmented Reality-Based Building Diagnostics Using Third Person Perspective
. In ISPRS International Journal of Geo-Information, volume 9, number 1, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Flash X-ray diffraction imaging in 3D: a proposed analysis pipeline
. In Journal of the Optical Society of America A, volume 37, number 10, pp 1673-1686, 2020. (DOI
).
-
Towards Fast and Robust Algorithms in Flash X-ray single-particle Imaging
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1905, Acta Universitatis Upsaliensis, Uppsala, 2020. (fulltext
, preview image
).
-
Approximate Gaussian Process Regression and Performance Analysis Using Composite Likelihood
. In 30th IEEE International Workshop on Machine Learning for Signal Processing, MLSP 2020, Espoo, Finland, September 21-24, 2020, pp 1-6, IEEE, 2020. (DOI
).
-
Robust Prediction When Features are Missing
. In IEEE Signal Processing Letters, volume 27, pp 720-724, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2020. (DOI
).
-
Secure Information Fusion using Local Posterior for Distributed Cyber-Physical Systems
. In IEEE Transactions on Mobile Computing, volume 20, number 5, pp 2041-2054, IEEE, 2020. (DOI
).
-
Statistical Data Analysis for Internet-of-Things: Scalability, Reliability, and Robustness
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1976, Acta Universitatis Upsaliensis, Uppsala, 2020. (Join Zoom Meeting
, fulltext
, preview image
).
-
Deep Learning and System Identification
. In IFAC Papersonline, pp 1175-1181, Elsevier BV, 2020. (DOI
, Fulltext
, fulltext:print
).
-
A Deep Learning Based Pipeline for Efficient Oral Cancer Screening on Whole Slide Images
. In Image Analysis and Recognition, Lecture Notes in Computer Science - LNCS 12132, pp 249-261, pp 249-261, Springer International Publishing, 2020. (DOI
, External link
).
-
Combinatorial Image Analysis -: 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16-18, 2020, Proceedings
. Lecture Notes in Computer Science - LNCS 12148, Springer, 2020. (DOI
, External link
).
-
An efficient finite difference method for the shallow water equations
. In Journal of Computational Physics, volume 422, Elsevier BV, 2020. (DOI
).
-
Parallel Graph-Based Stateless Model Checking
. In Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, volume 12302 of Lecture Notes in Computer Science (LNCS), pp 377-393, 2020. (DOI
).
-
Aiming at Moving Targets: Applying Cognitive Work Analysis to Work Domains in Transition
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1893, Acta Universitatis Upsaliensis, Uppsala, 2020. (fulltext
, preview image
).
-
Insights Into Multiple/Single Lower Bound Approximation for Extended Variational Inference in Non-Gaussian Structured Data Modeling
. In IEEE Transactions on Neural Networks and Learning Systems, volume 31, number 7, pp 2240-2254, 2020. (DOI
).
-
Wrapping a NoSQL Datastore for Stream Analytics
. In 2020 IEEE 21st International Conference On Information Reuse And Integration For Data Science (IRI 2020), pp 301-305, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI
).
-
Intermittence Anomalies not Considered Harmful
. In Proceedings of the 8th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems, 2020. (fulltext:postprint
).
-
Two Polynomial Time Graph Labeling Algorithms Optimizing Max-Norm-Based Objective Functions
. In Journal of Mathematical Imaging and Vision, volume 62, number 5, pp 737-750, 2020. (DOI
).
-
Self-Aware Machine Learning for Multimodal Workload Monitoring during Manual Labor on Edge Wearable Sensors
. In IEEE design & test, volume 37, number 5, pp 58-66, 2020. (DOI
).
-
On stability and performance of disturbance observer-based-dynamic load torque compensator for assistive exoskeleton: A hybrid approach
. In Mechatronics (Oxford), volume 69, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Impact of Force Function Formulations on the Numerical Simulation of Centre-Based Models.
. In Bulletin of Mathematical Biology, volume 82, number 10, Springer Nature, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Foreword Identification and Control in Biomedical Applications
. In IEEE Transactions on Control Systems Technology, volume 28, number 1, pp 1-2, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2020. (DOI
).
-
A high order method for pricing of financial derivatives using radial basis function generated finite differences
. In Mathematics and Computers in Simulation, volume 174, pp 205-217, 2020. (DOI
).
-
Pruning Edge Research with Latency Shears
. In Proceedings of the 19th ACM Workshop on Hot Topics in Networks, HotNets ’20, pp 182-189, Association for Computing Machinery, 2020. (DOI
, External link
, External link
).
-
On Patient Accessible Electronic Health Records and the Experienced Effect on the Work Environment of Nurses
. In Digital Personalized Health and Medicine, volume 270 of Studies in Health Technology and Informatics, pp 1021-1025, IOS PRESS, 2020. (DOI
).
-
Oncology health-care professionals’ perceived effects of patient accessible electronic health records 6 years after launch: A survey study at a major university hospital in Sweden
. In Health Informatics Journal, volume 26, number 2, pp 1392-1403, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Computation of Asymptotic Spectral Distributions for Sequences of Grid Operators
. In Computational Mathematics and Mathematical Physics, volume 60, number 11, pp 1761-1777, Springer, 2020. (DOI
).
-
Multiscale approach for magnetization dynamics: unraveling exotic magnetic states of matter
. In Physical Review Research, volume 2, number 1, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings
. Volume 12073 of Lecture Notes in Computer Science, Springer, Cham, 2020. (DOI
).
-
When I’m Sixty-Four. Towards Successful Aging in a Platform Society
. In International Reports on Socio-Informatics (IRSI), volume 17, number 2, pp 27-31, 2020. (External link
).
-
Regularity of almost periodic solutions of Poisson equation
. In Ufa Mathematical Journal, volume 12, number 2, pp 97-107, 2020. (DOI
).
-
Differentiated Assessments for Advanced Courses that Reveal Issues with Prerequisite Skills: A Design Investigation
. In ITICSE-WGR'20: Proceedings Of The Working Group Reports On Innovation And Technology In Computer Science Education, pp 75-129, Association for Computing Machinery (ACM), 2020. (DOI
).
-
On using a zero lower bound on the physical density in material distribution topology optimization
. In Computer Methods in Applied Mechanics and Engineering, volume 359, ELSEVIER SCIENCE SA, 2020. (DOI
).
-
Extended Lagrangian Born-Oppenheimer molecular dynamics using a Krylov subspace approximation
. In Journal of Chemical Physics, volume 152, number 10, AMER INST PHYSICS, 2020. (DOI
).
-
Design Guidelines for Educational Games Targeting Children
. In , 2020.
-
Twig: Multi-Agent Task Management for Colocated Latency-Critical Cloud Services
. In , IEEE, 2020. (DOI
).
-
Att undervisa textbaserad programmering i skolan
. Studentlitteratur AB, Lund, 2020.
-
‘I do not share it with others. No, it’s for me, it’s my care’: On sharing of patient accessible electronic health records
. In Health Informatics Journal, volume 26, number 4, pp 2554-2567, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Clustered Grid Cell Data Structure for Isosurface Rendering
. In Journal of WSCG, volume 28, number 1-2, pp 9-17, 2020. (DOI
, Fulltext
).
-
Modeling and Visualization for Virtual Interaction with Medical Image Data
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1898, Acta Universitatis Upsaliensis, Uppsala, 2020. (fulltext
, preview image
).
-
RayCaching: Amortized Isosurface Rendering for Virtual Reality
. In Computer graphics forum (Print), volume 39, number 1, pp 220-230, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Engagement in Human-Agent Interaction: An Overview
. In Frontiers in Robotics and AI, volume 7, FRONTIERS MEDIA SA, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Inertial motion capture for ambulatory analysis of human movement and balance
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1946, Acta Universitatis Upsaliensis, Uppsala, 2020. (fulltext
, preview image
).
-
Nonparametric time-domain tremor quantification with smart phone for therapy individualization
. In IEEE Transactions on Control Systems Technology, volume 28, number 1, pp 118-129, 2020. (DOI
).
-
Robust Plug-and-Play Joint Axis Estimation Using Inertial Sensors
. In Sensors, volume 20, number 12, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Learning Robust Decision Policies from Observational Data
. In Advances in Neural Information Processing Systems 33 (NeurIPS 2020), Neural Information Processing Systems, 2020. (Paper in full-text
).
-
Machine learning for spatially varying data
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2020-004, Uppsala University, Uppsala, 2020. (fulltext
).
-
Robust Risk Minimization for Statistical Learning From Corrupted Data
. In IEEE Open Journal of Signal Processing, volume 1, pp 287-294, 2020. (DOI
, Fulltext
, fulltext:print
).
-
A rapid and accurate method to quantify neurite outgrowth from cell and tissue cultures: Two image analytic approaches using adaptive thresholds or machine learning
. In Journal of Neuroscience Methods, volume 331, 2020. (DOI
).
-
RDG-Map: A Multimodal Corpus of Pedagogical Human-Agent Spoken Interactions
. In Proceedings of the 12th Conference on Language Resources and Evaluation (LREC 2020), pp 600-609, The European Language Resources Association, Paris, 2020. (Proceedings of the 12th Language Resources and Evaluation Conference
, fulltext:print
).
-
The Persistence of First Impressions: The Effect of Repeated Interactions on the Perception of a Social Robot
. In Proceedings of the 2020 ACM/IEEE International Conference on Human-Robot Interaction (HRI '20), pp 73-82, 2020. (DOI
).
-
The Novelty in the Uncanny: Designing Interactions to Change First Impressions
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1960, Acta Universitatis Upsaliensis, Uppsala, 2020. (Online defence (opening at 10:00 Stockholm time)
, fulltext
, preview image
).
-
Perforated Page: Supporting Fragmented Memory Allocation for Large Pages
. In Proceedings of the 47th Annual ACM/IEEE International Symposium on Computer Architecture (ISCA), pp 913-925, 2020. (DOI
, fulltext:postprint
).
-
Automated identification of the mouse brain’s spatial compartments from in situ sequencing data
. In BMC Biology, volume 18, number 1, Springer Nature, 2020. (DOI
, Fulltext
, fulltext:print
, attachment:print
, attachment:print
).
-
Image and Data Analysis for Spatially Resolved Transcriptomics: Decrypting fine-scale spatial heterogeneity of tissue's molecular architecture
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1964, Acta Universitatis Upsaliensis, Uppsala, 2020. (Join Zoom Meeting
, fulltext
, preview image
).
-
Framing the FRAM: A literature review on the functional resonance analysis method
. In Safety Science, volume 129, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Teaching Computer Ethics: Steps towards Slow Tech, a Good, Clean, and Fair ICT
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1903, Acta Universitatis Upsaliensis, Uppsala, 2020. (Public defence via Zoom. Passcode: 168840
, preview image
, fulltext
, errata
).
-
What are the ingredients for an ethics education for computer scientists?
. In Paradigm Shifts in ICT Ethics: Societal Challenges in the Smart Society, pp 107-109, Logroño, Spain, 2020. (External link
).
-
Monitoring High-Frequency Data Streams in FinTech: FADO Versus <em>K</em>-means
. In IEEE Intelligent Systems, volume 35, number 2, pp 36-42, 2020. (DOI
).
-
On the Role of Personality and Empathy in Human-Human, Human-Agent, and Human-Robot Mimicry
. In Social Robotics: 12th International Conference, ICSR 2020, Golden, CO, USA, November 14–18, 2020, Proceedings, volume 12483 of Lecture Notes in Computer Science (LNAI), pp 120-131, Springer, Cham, 2020. (DOI
).
-
Care ethics to develop computing and engineering education for sustainability
. In 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI
).
-
CoMIR: Contrastive Multimodal Image Representation for Registration
. In NeurIPS - 34th Conference on Neural Information Processing Systems, 2020. (External link
, External link
).
-
In Silico Prediction of Cell Traction Forces
. In 2020 IEEE 17th International Symposium on Biomedical Imaging (ISBI), IEEE International Symposium on Biomedical Imaging, pp 877-881, 2020. (DOI
).
-
Introducing Hann windows for reducing edge-effects in patch-based image segmentation
. In PLOS ONE, volume 15, number 3, PUBLIC LIBRARY SCIENCE, 2020. (DOI
, Fulltext
, fulltext:print
).
-
CC ’20: 29th International Conference on Compiler Construction, San Diego, CA, USA, February 22-23, 2020
. ACM Digital Library, 2020. (DOI
, External link
).
-
A Fast Carrier Scheduling Algorithm for Battery-free Sensor Tags in Commodity Wireless Networks
. In IEEE INFOCOM 2020 - IEEE Conference on Computer Communications, IEEE INFOCOM, pp 994-1003, IEEE, 2020. (DOI
, fulltext:postprint
).
-
Seamless Integration of Battery-Free Communications in Commodity Wireless Networks
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1928, Acta Universitatis Upsaliensis, Uppsala, 2020. (fulltext
, preview image
).
-
TagAlong: Efficient Integration of Battery-free Sensor Tags in Standard Wireless Networks
. In Proceedings of the 19th ACM/IEEE International Conference on Information Processing in Sensor Networks, pp 169-180, IEEE, 2020. (DOI
).
-
Spectral analysis of Pk Finite Element matrices in the case of Friedrichs–Keller triangulations via Generalized Locally Toeplitz technology
. In Numerical Linear Algebra with Applications, volume 27, number 4, Wiley, 2020. (DOI
, External link
).
-
RVSDG: An Intermediate Representation for Optimizing Compilers
. In ACM Transactions on Embedded Computing Systems, volume 19, number 6, 2020. (DOI
).
-
Cancer patients' information seeking behaviour related to online electronic healthcare records
. In Proceedings of the 18th International Symposium for Health Information Management Research, pp 53-61, 2020. (fulltext:print
).
-
Beyond exploding and vanishing gradients: analysing RNN training using attractors and smoothness
. In Proceedings of the 23<sup>rd</sup> International Conference on Artificial Intelligence and Statistics (AISTATS), volume 108 of Proceedings of Machine Learning Research (PMLR), pp 2370-2380, 2020. (Publisher fulltext
).
-
Automatic 12-lead ECG Classification Using a Convolutional Network Ensemble
. In 2020 Computing in Cardiology, volume 47 of Computing in Cardiology (CinC), IEEE, Rimini, Italy, 2020. (DOI
).
-
Automatic diagnosis of the 12-lead ECG using a deep neural network
. In Nature Communications, volume 11, number 1, NATURE PUBLISHING GROUP, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Nonparametric models for Hammerstein-Wiener and Wiener-Hammerstein system identification
. In IFAC PapersOnline, pp 407-412, Elsevier BV, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Speculative Enforcement of Store Atomicity
. In 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), pp 555-567, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI
, Fulltext
, fulltext:postprint
).
-
BIAFLOWS: A Collaborative Framework to Reproducibly Deploy and Benchmark Bioimage Analysis Workflows.
. In Patterns (New York, N.Y.), volume 1, number 3, Elsevier BV, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Impulsive Feedback Modeling of Levodopa Pharmacokinetics Subject to Intermittently Interrupted Gastric Emptying
. In 2020 American Control Conference (ACC), Proceedings of the American Control Conference, pp 1323-1328, 2020. (DOI
).
-
Initialization of a Disease Transmission Model
. In IFAC PapersOnline, pp 839-844, Elsevier BV, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Laguerre Domain Estimation of an Input Impulse Train to a Continuous Linear Time-invariant System
. In 2020 59th IEEE Conference on Decision and Control (CDC), Proceedings of the IEEE Conference on Decision & Control, pp 4622-4627, 2020. (DOI
).
-
Structural Identifiability of a Third-order Continuous System under Impulsive Feedback
. In IFAC PapersOnline, pp 16215-16220, Elsevier BV, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Competition Report: CHC-COMP-20
. In Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, volume 320 of EPTCS, pp 197-219, 2020. (DOI
).
-
Evaluating the Potential Applications of Quaternary Logic for Approximate Computing
. In ACM Journal on Emerging Technologies in Computing Systems, volume 16, number 1, Association for Computing Machinery (ACM), 2020. (DOI
).
-
Securing the Memory Hierarchy from Speculative Side-Channel Attack
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2020-003, Uppsala University, Uppsala, 2020. (fulltext
).
-
Understanding Selective Delay as a Method for Efficient Secure Speculative Execution
. In IEEE Transactions on Computers, volume 69, number 11, pp 1584-1595, 2020. (DOI
).
-
Den digitala arbetsmiljön inomhälso- och sjukvården
. In Medicinsk informatik, Liber, 2020.
-
Gender equality projects at European level: Exploring factors for success
. In Does knowledge have a gender?: A Festschrift for Liisa Husu on gender, science and academia, pp 136-145, Örebro universitet, Örebro, 2020.
-
Flood Prediction Using IoT and Artificial Neural Networks with Edge Computing
. In 2020 International Conferences on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) and IEEE Congress on Cybermatics (Cybermatics), pp 234-240, IEEE, 2020. (DOI
, fulltext:postprint
).
-
Real-time Thread Isolation and Trusted Execution on Embedded RISC-V
. In , 2020.
-
High-order cut discontinuous Galerkin methods with local time stepping for acoustics
. In International Journal for Numerical Methods in Engineering, volume 121, number 13, pp 2979-3003, 2020. (DOI
).
-
A Robot by Any Other Frame: Framing and Behaviour Influence Mind Perception in Virtual but not Real-World Environments
. In HRI '20: Proceedings of the 2020 ACM/IEEE International Conference on Human-Robot Interaction, ACM IEEE International Conference on Human-Robot Interaction, pp 609-618, Assoc Computing Machinery, 2020. (DOI
).
-
Visualisation of 3D Property Data and Assessment of the Impact of Rendering Attributes
. In Journal of Geovisualization and Spatial Analysis, volume 4, number 2, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Research programs as a tool to map Internet studies
. In Second International Handbook of Internet Research, pp 505-528, Springer, Dordrecht, The Netherlands, 2020. (DOI
).
-
Extreme adopters in digital communities.
. In Journal of Threat Assessment and Management, volume 7, pp 72-84, American Psychological Association (APA), 2020. (DOI
).
-
Introducing Digital-7 Threat Assessment of Individuals in Digital Environments
. In 2020 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM), International Conference on Advances in Social Network Analysis and Mining, ASONAM, pp 720-726, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI
).
-
A latent variable approach to heat load prediction in thermal grids
. In 2020 European Control Conference (ECC), pp 344-349, 2020. (DOI
).
-
Towards Smart e-Infrastructures, A Community Driven Approach Based on Real Datasets
. In Proceedings of the 2020 IEEE Green Technologies Conference (GreenTech), IEEE Green Technologies Conference, pp 109-114, 2020. (DOI
).
-
Transmission Electron Microscopy Dataset for Image Deblurring
. 2020. (DOI
).
-
TissUUmaps: interactive visualization of large-scale spatial gene expression and tissue morphology data
. In Bioinformatics, volume 36, number 15, pp 4363-4365, OXFORD UNIV PRESS, 2020. (DOI
, Fulltext
, fulltext:print
).
-
The effect of interventions on COVID-19
. In Nature, volume 588, number 7839, pp E26-E32, 2020. (DOI
).
-
Blind identification of two-channel FIR systems: a frequency domain approach
. In IFAC PapersOnline, pp 914-920, Elsevier BV, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Frequency domain identification of FIR models in the presence of additive input-output noise
. In Automatica, volume 115, PERGAMON-ELSEVIER SCIENCE LTD, 2020. (DOI
).
-
The Frisch scheme for EIV system identification: time and frequency domain formulations
. In IFAC PapersOnline, pp 907-913, Elsevier BV, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Healthcare managers' experiences of technostress and the actions they take to handle it: a critical incident analysis
. In BMC Medical Informatics and Decision Making, volume 20, number 1, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Spatial Interpolation of Extreme PM1 Values Using Copulas
. In Computational and Methodological Statistics and Biostatistics: Contemporary Essays in Advancement, pp 309-328, Springer, Cham, 2020. (DOI
, External link
).
-
Smart Resource Management for Data Streaming using an Online Bin-packing Strategy
. In 2020 IEEE International Conference on Big Data (Big Data), pp 2207-2216, 2020. (DOI
).
-
High-order cut finite elements for the elastic wave equation
. In Advances in Computational Mathematics, volume 46, number 3, 2020. (DOI
, Fulltext
).
-
Recent Advances in Large Scale Whole Body MRI Image Analysis – Imiomics
. In In Proceedings of The 5th International Conference on Sustainable Information Engineering and Technology (SIET 2020), Malang, Indonesia, 2020.
-
Artificial intelligence for diagnosis and grading of prostate cancer in biopsies: a population-based, diagnostic study
. In The Lancet Oncology, volume 21, number 2, pp 222-232, Elsevier, 2020. (DOI
).
-
Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained Deadlines Under GEDF Scheduling
. In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, volume 39, number 12, pp 4537-4548, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI
).
-
On Computing Exact WCRT for DAG Tasks
. In 57th ACM/IEEE Design Automation Conference, DAC 2020, San Francisco, CA, USA, July 20-24, 2020, Design Automation Conference DAC, pp 1-6, IEEE, 2020. (DOI
).
-
On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms
. In PROCEEDINGS OF THE 2020 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2020), Design Automation and Test in Europe Conference and Exhibition, pp 204-209, NEW YORK, USA, 2020. (DOI
, Fulltext
).
-
Real-Time Scheduling and Analysis of OpenMP DAG Tasks Supporting Nested Parallelism
. In IEEE Transactions on Computers, volume 69, number 9, pp 1335-1348, IEEE COMPUTER SOC, 2020. (DOI
).
-
Global radial basis function collocation methods for PDEs
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2020-002, Uppsala University, 2020. (fulltext
).
-
Machine Learning in Risk Prediction
. In Hypertension, volume 75, number 5, pp 1165-1166, 2020. (DOI
).
-
Professional Competencies in Computing Education: Are They Important?
. In 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI
).
-
Students' professional competencies in computing project courses in the Norwegian context
. In 2020 IEEE Frontiers in Education Conference (FIE), IEEE Frontiers in Education Conference (FIE), 2020. (DOI
).
-
Modeling and Optimizing NUMA Effects and Prefetching with Machine Learning
. In ICS '20: Proceedings of the 34th ACM International Conference on Supercomputing, 2020. (DOI
, Fulltext
, fulltext:postprint
).
-
Polyphase Waveform Design for MIMO Radar Space Time Adaptive Processing
. In IEEE Transactions on Signal Processing, volume 68, pp 2143-2154, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2020. (DOI
).
-
Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors
. In 2020 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium: Proceedings, pp 231-243, 2020. (DOI
).
-
Towards Intelligent Industry 4.0 5G Networks: A First Throughput and QoE Measurement Campaign
. In 2020 28th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2020, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI
).
-
Reshape your layouts, not your programs: A safe language extension for better cache locality
. In Science of Computer Programming, volume 197, 2020. (DOI
).
-
A monotonic optimization approach for solving strictly quasiconvex multiobjective programming problems
. In Journal of Intelligent & Fuzzy Systems, volume 38, pp 6053-6063, 2020. (DOI
).
-
Clearing the Shadows: Recovering Lost Performance for Invisible Speculative Execution through HW/SW Co-Design
. In PACT ’20: Proceedings of the ACM International Conference on Parallel Architectures and Compilation Techniques, International Conference on Parallel Architectures and Compilation Techniques, pp 241-254, Association for Computing Machinery (ACM), 2020. (DOI
, External link
).
-
Finding and Exploiting Memory-Level-Parallelism in Constrained Speculative Architectures
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1897, Acta Universitatis Upsaliensis, Uppsala, 2020. (Join Zoom Meeting
, fulltext
, preview image
).
-
Nonlinear Input Design as Optimal Control of a Hamiltonian System
. In IEEE Control Systems Letters, volume 4, number 1, pp 85-90, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2020. (DOI
).
-
Optimistic robust linear quadratic dual control
. In Proceedings of Machine Learning Research, VOL 120, volume 120 of Proceedings of Machine Learning Research, pp 550-560, ML Research Press, 2020. (Fulltext
, fulltext:print
).
-
Secondary Coronal Synostosis After Early Surgery for Sagittal Craniosynostosis: Implications for Cranial Growth
. In The Journal of Craniofacial Surgery, volume 32, number 1, pp 113-117, Lippincott Williams & Wilkins, 2020. (DOI
).
-
Detection of signs of Parkinson's disease using dynamical features via an indirect pointing device
. In IFAC Papersonline, pp 16347-16352, ELSEVIER, 2020. (DOI
, Fulltext
, fulltext:print
).
-
A Twitter-Based Study of the European Internet of Things
. In Information Systems Frontiers, volume 23, number 1, pp 135-149, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Graph-theoretic approaches and tools for quantitatively assessing curricula coherence
. In European Journal of Engineering Education, volume 46, number 3, pp 344-363, 2020. (DOI
).
-
Tunnel Emitter: Tunnel Diode based Low-Power Carrier Emitters for Backscatter Tags
. In , 2020. (DOI
, External link
).
-
Students as Prosumers: Learning from Peer-Produced Materials in a Computing Science Course
. In 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI
).
-
The Vanishing and Appearing Sources during a Century of Observations Project. I. USNO Objects Missing in Modern Sky Surveys and Follow-up Observations of a "Missing Star"
. In Astronomical Journal, volume 159, number 1, American Astronomical Society, 2020. (DOI
).
-
Reformulations of Constraint Satisfaction Problems: A Survey
. 2020. (fulltext
).
-
Jamming to Support Privacy-preserving Continuous Tumour Relapse Monitoring Using In-body Radio Signals
. In , 2020.
-
Towards Physical-Layer Authentication for Backscatter Devices: Extended Abstract
. In International Workshop on Attacks and Defenses for Internet-of-Things, volume 12501 of Lecture Notes in Computer Science, Springer Nature, 2020. (DOI
, fulltext:postprint
).
-
Towards Secure Backscatter-based In-Body Sensor Networks
. In , 2020.
-
A stratified process for the perception of objects: From optical transformations to 3D relief structure to 3D similarity structure to slant or aspect ratio
. In Vision Research, volume 173, pp 77-89, PERGAMON-ELSEVIER SCIENCE LTD, 2020. (DOI
).
-
Bootstrapping a better slant: A stratified process for recovering 3D metric slant
. In Attention, Perception & Psychophysics, volume 82, number 3, pp 1504-1519, 2020. (DOI
).
-
Symmetry mediates the bootstrapping of 3-D relief slant to metric slant
. In Attention, Perception & Psychophysics, volume 82, number 3, pp 1488-1503, 2020. (DOI
).
-
SynQuant: an automatic tool to quantify synapses from microscopy images
. In Bioinformatics, volume 36, number 5, pp 1599-1606, 2020. (DOI
).
-
Modeling Human Activity With Seasonality Bursty Dynamics
. In IEEE Transactions on Industrial Informatics, volume 16, number 2, pp 1130-1139, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI
).
-
Cross-modal Representation Learning for Efficient Registration of Multiphoton and Brightfield Microscopy Images of Skin Tissue
. In 4th NEUBIAS Conference, Bordeaux, France, 2020. (External link
).
-
When texture matters: Texture-focused CNNs outperform general data augmentation and pretraining in oral cancer detection
. In 2020 IEEE 17th International Symposium on Biomedical Imaging (ISBI), IEEE International Symposium on Biomedical Imaging (ISBI), pp 517-521, 2020. (DOI
).
-
Calibration of Probabilistic Predictive Models
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2020-006, Uppsala University, Uppsala, 2020. (External link
, fulltext
).
-
Exploiting conjugacy in state-space models with sequential Monte Carlo
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2020-005, Uppsala University, Uppsala, 2020. (fulltext
).
-
Globally stable delay alignment for feedback control over NR multi-point connections
. In IEEE Transactions on Control od Network Systems, volume 7, number 4, pp 1633-1642, 2020. (DOI
, External link
).
-
Jitter suppression for very low latency feedback control over NR
. In IEEE VTC-SPRING 2020, 2020.
-
Statistical beam information for mmW positioning
. In Proc. IEEE VTC-Spring 2020, 2020.
-
Time averaged power control of a 4G or a 5G radio base station for RF EMF compliance
. In IEEE Access, volume 8, pp 211937-211950, 2020. (DOI
).
-
Bootstrapping Weakly Supervised Segmentation-free Word Spotting through HMM-based Alignment
. In 2020 17th International Conference on Frontiers in Handwriting Recognition (ICFHR), pp 49-54, 2020. (DOI
).
-
A fast quasi-Newton-type method for large-scale stochastic optimisation
. In IFAC PapersOnline, pp 1249-1254, Elsevier BV, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Bricklayer: Resource Composition on the Spot Market
. In ICC 2020: 2020 IEEE International Conference on Communications (ICC), IEEE International Conference on Communications, 2020. (DOI
).
-
Bifurcation analysis for non-local design of a hybrid observer for the impulsive Goodwin's oscillator
. In Nonlinear dynamics, volume 100, number 2, pp 1401-1419, 2020. (DOI
, Fulltext
, fulltext:print
).
-
PHY-IDS: a physical-layer spoofing attack detection system for wearable devices
. In WearSys '20: Proceedings of the 6th ACM Workshop on Wearable Systems and Applications, Association for Computing Machinery (ACM), Toronto, Ontario, Canada, 2020. (DOI
).
-
Radiometric Signatures for Wireless Device Identification over Dynamic Channels: Poster
. In 2020 IEEE Symposium On Security And Privacy Workshops (SPW 2020), pp 127-127, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI
).
-
Sensitivity of radiometric fingerprint against wireless channel: Poster Abstract
. In SenSys '20: Proceedings of the 18th Conference on Embedded Networked Sensor Systems, pp 719-720, Association for Computing Machinery (ACM), New York, NY, United States, 2020. (DOI
, External link
).
-
Towards Robust and Low-complexity Radiometric Fingerprint: PhD forum abstract
. In SenSys '20: Proceedings of the 18th Conference on Embedded Networked Sensor Systems, pp 821-822, New York, NY, United States, 2020. (DOI
, External link
, fulltext:print
).
-
Improving Program Locality in the GC using Hotness
. In PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, pp 301-313, ASSOC COMPUTING MACHINERY, 2020. (DOI
).
-
ThinGC: complete isolation with marginal overhead
. In ISMM 2020: Proceedings of the 2020 ACM SIGPLAN International Symposium on Memory Management, pp 74-86, Association for Computing Machinery (ACM), 2020. (DOI
).
-
Microstructures and mechanical properties of Al2O3/YAG:Ce3+ eutectics with different Ce3+ concentrations grown by HDS method
. In Journal of Alloys and Compounds, volume 816, 2020. (DOI
).
-
User-centric Performance Optimization with Remote Radio Head Cooperation in C-RAN
. In IEEE Transactions on Wireless Communications, volume 19, number 1, pp 340-353, 2020. (DOI
, External link
).
-
Leveraging Muiti-cell NOMA for Cell Edge
. In 2020 IEEE International Conference on Advanced Networks and Telecommunications Systems (IEEE ANTS), IEEE International Conference on Advanced Networks and Telecommunication Systems, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI
).
-
Classical labor values: properties of economic reproduction
. In World Review of Political Economy, volume 11, number 3, pp 388-414, Pluto Journals, 2020. (DOI
).
-
A numerical simulation for Darcy–Forchheimer flow of nanofluid by a rotating disk with partial slip effects
. In Frontiers in Physics, volume 7, 2020. (DOI
, Fulltext
).
-
Copying Can Be Good: How Students View Imitation as a Tool in Learning to Program
. In 2020 IEEE Frontiers in Education Conference (FIE), IEEE Frontiers in Education Conference, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI
).
-
Boosting Sequential Consistency Checking Using Saturation
. In Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings, Lecture Notes in Computer Science, pp 360-376, Springer Nature, 2020. (DOI
).
-
zOPT: an open source optical projection tomography system and methods for rapid 3D zebrafish imaging
. In Biomedical Optics Express, volume 11, number 8, pp 4290-4305, The Optical Society, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Towards Pricing for Sensor-Cloud
. In IEEE Transactions on Cloud Computing, volume 8, number 4, pp 1018-1029, 2020. (DOI
).
-
Behavioral Characterization of dmrt3a Mutant Zebrafish Reveals Crucial Aspects of Vertebrate Locomotion through Phenotypes Related to Acceleration
. In eNeuro, volume 7, number 3, 2020. (DOI
, Fulltext
, fulltext:print
).
-
Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers
. In Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, pp 253-269, Association for Computing Machinery (ACM), 2020. (DOI
, Fulltext
).
-
Spatio-temporal regression kriging for modelling urban NO2 concentrations
. In International Journal of Geographical Information Science, volume 34, number 5, pp 851-865, 2020. (DOI
).
-
Learning to program hands-on: a controlled study
. In Proceedings of the 20th Koli Calling International Conference on Computing Education Research November 2020 November 2020, pp 1-10, 2020. (DOI
).
-
Social dimensions in the lab session when novices learn to program
. In 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI
).
-
Numerical Ross Recovery for Diffusion Processes Using a PDE Approach
. In Applied Mathematical Finance, pp 46-66, 2020. (DOI
).
-
Translating GWAS-identified loci for cardiac rhythm and rate using an in vivo image- and CRISPR/Cas9-based approach
. In Scientific Reports, volume 10, number 1, 2020. (DOI
, Fulltext
, fulltext:print
).
-
A Mechanised Semantics for HOL with Ad-hoc Overloading
. In , EPiC Series in Computing, pp 498-515, 2020. (DOI
, Fulltext
, External link
).
-
Stochastic Distance Transform: Theory, Algorithms and Applications
. In Journal of Mathematical Imaging and Vision, volume 62, pp 751-769, 2020. (DOI
, Fulltext
, fulltext:print
).