Publications from the Department of Information Technology
Series
We publish technical reports and licentiate theses in local series. Our PhD dissertations are available through the Electronic Publishing Centre |
Search for other publications
To search for other publications, please try
|
Publications this year
The lists below show publications registered in the University digital archive DiVA, and which have been marked as being the department's. The lists do not necessarily contain all publications of authors/editors of our department. (When publishing in DiVA, use the guidelines to make sure you do it right.)
On this page you find publications of the current year. Separate lists for 2022, 2021, 2020, 2019, 2018, 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, and 1999 are also available.
-
Service-based Federated Deep Reinforcement Learning for Anomaly Detection in Fog Ecosystems
. In 2023 26th Conference on Innovation in Clouds, Internet and Networks and Workshops (ICIN), International Conference on Intelligence in Next Generation Networks, pp 121-128, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI
).
-
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
. In International Journal on Software Tools for Technology Transfer (STTT), volume 25, number 2, pp 185-204, 2023. (DOI
, External link
).
-
Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs
. In Static Analysis: 30th International Symposium, SAS 2023, 2023.
-
Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs
. In Automated Technology for Verification and Analysis, 21st International Symposium, ATVA 2023, Singapore, Oct. 2023. Proceedings., 2023.
-
Optimal Stateless Model Checking for Causal Consistency
. In Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, {TACAS} 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}, pp 105-125, 2023. (DOI
, Fulltext
).
-
Overcoming Memory Weakness with Unified Fairness: Systematic Verification of Liveness in Weak Memory Models
. In Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}}, Lecture Notes in Computer Science, pp 184-205, 2023. (DOI
, Fulltext
).
-
Parameterized Verification under TSO with Data Types
. In Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, {TACAS} 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}, Lecture Notes in Computer Science, pp 588-606, 2023. (DOI
, Fulltext
).
-
AN ELLIPTIC LOCAL PROBLEM WITH EXPONENTIAL DECAY OF THE RESONANCE ERROR FOR NUMERICAL HOMOGENIZATION
. In Multiscale Modeling & simulation, volume 21, number 2, pp 513-541, Society for Industrial & Applied Mathematics (SIAM), 2023. (DOI
).
-
Positive Design Framework for Carer-eSupport: A Qualitative Study to Support Informal Caregivers of Patients with Head and Neck Cancer in Sweden
. In JMIR Cancer, volume 9, JMIR Publications, 2023. (DOI
, Fulltext
, Preprint of article
, fulltext:print
).
-
Selection of human evaluators for design smell detection using dragonfly optimization algorithm: An empirical study
. In Information and Software Technology, volume 155, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Automatic Program Instrumentation for Automatic Verification
. In CAV 2023: Computer Aided Verification, volume 13966 of Lecture Notes in Computer Science, pp 281-304, Cham, 2023. (DOI
, Fulltext
).
-
Care Robots and Humanity: How Can We Cope with TheIndeterminacy and Ambiguity of Robot-Human Relationships?
. In , 2023. (Conference site
, Program
).
-
Achieving improved accuracy for imputation of ancient DNA
. In Bioinformatics, volume 39, number 1, Oxford University Press, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Stage-parallel preconditioners for implicit Runge-Kutta methods of arbitrarily high order, linear problems
. In Numerical Linear Algebra with Applications, John Wiley & Sons, 2023. (DOI
, Fulltext
, fulltext:print
). Publication status: Epub ahead of print
-
Multiple-hypothesis testing rules for high-dimensional model selection and sparse-parameter estimation
. In Signal Processing, volume 213, Elsevier BV, 2023. (DOI
).
-
Modeling and inversion in acoustic-elastic coupled media using energy-stable summation-by-parts operators
. In Geophysics, volume 88, number 3, SOC EXPLORATION GEOPHYSICISTS - SEG, 2023. (DOI
).
-
Modeling and inversion in acoustic-elastic coupled media using energy-stable summation-by-parts operators
. In Geophysics, volume 88, number 3, pp T137-T150, Society of Exploration Geophysicists, 2023. (DOI
, To the Article
).
-
Deep Active Learning for Glioblastoma Quantification
. In Scandinavian Conference on Image Analysis, pp 190-200, 2023.
-
Deep Curriculum Learning for Follow-up MRI Registration in Glioblastoma
. In Medical Imaging 2023: Image Processing, Progress in Biomedical Optics and Imaging, SPIE -Society of Photo-Optical Instrumentation Engineers, 2023. (DOI
).
-
Lifelong Learning with Dynamic Convolutions for Glioma: Segmentation from Multi-Modal MRI
. In Medical Imaging 2023: Image Processing, Progress in Biomedical Optics and Imaging, SPIE - International Society for Optical Engineering, 2023.
-
Lifelong Learning with Dynamic Convolutions for Glioma Segmentation from Multi-Modal MRI
. In Medical imaging 2023, Progress in Biomedical Optics and Imaging, SPIE - International Society for Optical Engineering, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Towards Efficient Explainability of Schedulability Properties in Real-Time Systems
. In <em>Proceedings of the 35th Euromicro Conference on Real-Time Systems (ECRTS)</em>, 2023. (DOI
, Fulltext
).
-
Visualization and quality control tools for large-scale multiplex tissue analysis in TissUUmaps3
. In Biological Imaging, volume 3, 2023. (DOI
).
-
Analytical Estimation of Beamforming Speed-of-Sound Using Transmission Geometry
. In Ultrasonics, volume 134, Elsevier, 2023. (DOI
, Fulltext
, Pre-print in arXiv
, fulltext:print
).
-
A note on the spectral analysis of matrix sequences via GLT momentary symbols: from all-at-once solution of parabolic problems to distributed fractional order matrices
. In Electronic Transactions on Numerical Analysis, volume 58, pp 136-163, Osterreichische Akademie der Wissenschaften, Verlag, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Waveform Inversion with a Data Driven Estimate of the Internal Wave
. In SIAM Journal on Imaging Sciences, volume 16, number 1, pp 280-312, Society for Industrial and Applied Mathematics, 2023. (DOI
).
-
Waveform inversion via reduced order modeling
. In Geophysics, volume 88, number 2, pp R175-R191, Society of Exploration Geophysicists, 2023. (DOI
).
-
A Methodology for Investigating Women's Module Choices in Computer Science
. In Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education, 2023. (DOI
).
-
Association Between Electrocardiographic Age and Cardiovascular Events in Community Settings: The Framingham Heart Study
. In Circulation. Cardiovascular Quality and Outcomes, volume 16, number 7, Ovid Technologies (Wolters Kluwer Health), 2023. (DOI
).
-
Image Processing and Analysis Methods for Biomedical Applications
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2253, Acta Universitatis Upsaliensis, Uppsala, 2023. (fulltext
, preview image
).
-
Introducing Spatial Context in Patch-Based Deep Learning for Semantic Segmentation in Whole Body MRI
. In Scandinavian Conference on Image Analysis, pp 214-228, 2023.
-
Introducing spatial context in patch-based deep learning for semantic segmentation in whole body MRI
. In Proceedings of the 22nd Scandinavian conference on image analysis (SCIA), Lecture Notes in Computer Science, Springer, 2023.
-
Continuous and discrete Volterra-Laguerre models with delay for modeling of smooth pursuit eye movements
. In IEEE Transactions on Biomedical Engineering, volume 70, number 1, pp 97-104, IEEE, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Bayesian inference in epidemics: linear noise analysis
. In Mathematical Biosciences and Engineering, volume 20, number 2, pp 4128-4152, American Institute of Mathematical Sciences, 2023. (DOI
, Fulltext
, Preprint in arXiv
, fulltext:print
).
-
Improved accuracy of plane-wave electromagnetic modelling by application of the total and scattered field decomposition and perfectly matched layers
. In Geophysical Journal International, volume 235, number 2, pp 1201-1217, Oxford University Press (OUP), 2023. (DOI
, fulltext:print
). Publication status: Epub ahead of print
-
Exploring Multidimensional Trust: Shaping Child-Robot Creative Collaborations in Education
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2258, Acta Universitatis Upsaliensis, Uppsala, 2023. (preview image
, fulltext
).
-
Encore: Coda
. In State-of-Art volume on Active Objects, Lecture Notes in Computer Science, Springer Nature, 2023.
-
Discrete-Time Fractional-Order Dynamical Networks Minimum-Energy State Estimation
. In IEEE Transactions on Control of Network Systems, volume 10, number 1, pp 226-237, IEEE, 2023. (DOI
).
-
Investigating the Relevance of Contextual Information Towards Improving Deep CNN Based Oral Cancer Screening on Whole Slide Cytology Samples
. In , Swedish Symposium on Deep Learning, Kolmården, 2023.
-
When Concurrency Matters: Behaviour-Oriented Concurrency
. In Proceedings of the ACM on Programming Languages, Association for Computing Machinery (ACM), 2023. Publication status: Accepted
-
Generative appearance replay for continual unsupervised domain adaptation
. In Medical Image Analysis, volume 89, pp 102924-102924, 2023. (DOI
).
-
Probability elicitation for Bayesian networks to distinguish between intentional attacks and accidental technical failures
. In Journal of Information Security and Applications, volume 75, ELSEVIER, 2023. (DOI
, fulltext:print
).
-
Poster: A Battery-free Backscatter Communication System for Non-persistent Carriers
. In , 2023.
-
Efficient Resource Scheduling for Distributed Infrastructures using Negotiation Capabilities
. In , 2023. Publication status: Accepted
-
Spectral and norm estimates for matrix-sequences arising from a finite difference approximation of elliptic operators
. In Linear Algebra and its Applications, volume 667, pp 10-43, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Variational system identification for nonlinear state-space models
. In Automatica, volume 147, Elsevier, 2023. (DOI
).
-
Preconditioning for block matrices with square blocks
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2246, Acta Universitatis Upsaliensis, Uppsala, 2023. (fulltext
, preview image
).
-
Highlights from the 33rd European conference on cognitive ergonomics (ECCE 2022) Evaluating the Reality-Virtuality Continuum
. In Behavior and Information Technology, volume 42, number 3, pp 265-268, Taylor & Francis, 2023. (DOI
).
-
Dental hygienists and dentists as providers of brush biopsies for oral mucosa screening
. In International Journal of Dental Hygiene, volume 21, number 3, pp 524-532, John Wiley & Sons, 2023. (DOI
).
-
Scheduling Dynamic Software Updates in Mobile Robots
. In ACM Transactions on Embedded Computing Systems, 2023. (DOI
). Publication status: Accepted
-
Timing Analysis of Embedded Software Updates
. In , 2023.
-
Multidimensional projection filters via automatic differentiation and sparse-grid integration
. In Signal Processing, volume 204, Elsevier, 2023. (DOI
).
-
Incorporating Full Elastodynamic Effects and Dipping Fault Geometries in Community Code Verification Exercises for Simulations of Earthquake Sequences and Aseismic Slip (SEAS)
. In Bulletin of The Seismological Society of America (BSSA), volume 113, number 2, pp 499-523, SEISMOLOGICAL SOC AMER, 2023. (DOI
).
-
Boundary and interface methods for energy stable finite difference discretizations of the dynamic beam equation
. In Journal of Computational Physics, volume 476, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Non-conforming Interface Conditions for the Second-Order Wave Equation
. In Journal of Scientific Computing, volume 95, Springer, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Proportionality on Spatial Data with Context
. In ACM Transactions on Database Systems, volume 48, number 2, pp 1-37, Association for Computing Machinery (ACM), 2023. (DOI
, Fulltext
, fulltext:print
).
-
Speculative inter-thread store-to-load forwarding in SMT architectures
. In Journal of Parallel and Distributed Computing, volume 173, pp 94-106, ACADEMIC PRESS INC ELSEVIER SCIENCE, 2023. (DOI
, Fulltext
).
-
A multi-period sustainable hydrogen supply chain model considering pipeline routing and carbon emissions: The case study of Oman
. In Renewable & sustainable energy reviews, volume 173, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Infrastructure and the Energy Use of Human Polities
. In Cross-cultural research, volume 57, number 2-3, pp 294-322, Sage Publications, 2023. (DOI
, fulltext:postprint
).
-
?-Circulant Matrices: A Selection of Modern Applications from Preconditioning of Approximated PDEs to Subdivision Schemes
. In Algorithms, volume 16, number 7, MDPI AG, 2023. (DOI
, fulltext:print
).
-
Robustness and Sensitivity of Network-Based Topic Detection
. In Complex Networks and their Applications XI: Proceedings of the Eleventh International Conference on Complex Networks and their Applications: COMPLEX NETWORKS 2022, Volume 2, volume 1078 of Studies in Computational Intelligence, pp 259-270, Springer, Cham, 2023. (DOI
).
-
Invertible Kernel PCA With Random Fourier Features
. In IEEE Signal Processing Letters, volume 30, pp 563-567, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI
).
-
An Active Learning Approach to Synthesizing Program Contracts
. In , 2023.
-
QTL mapping of the narrow-branch "Pendula" phenotype in Norway spruce (Picea abies L. Karst.)
. In Tree Genetics & Genomes, volume 19, number 3, Springer Nature, 2023. (DOI
, fulltext:print
).
-
Lethe-DEM: an open-source parallel discrete element solver with load balancing
. In COMPUTATIONAL PARTICLE MECHANICS, volume 10, number 1, pp 77-96, Springer Nature, 2023. (DOI
).
-
That's How <em>We</em> Role! A Framework for Role Modeling in Computing and Engineering Education: A Focus on the Who, What, How, and Why
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2265, Acta Universitatis Upsaliensis, Uppsala, 2023. (fulltext
, preview image
).
-
The Virtuous, the Caring, and the Free: Ethical Theory to Understand the Ethics of the Teacher as a Role Model in Engineering Education
. In European Journal of Engineering Education, 2023. (DOI
, Fulltext
, External link
).
-
The lost art of mathematical modelling
. In Mathematical Biosciences, volume 362, Elsevier BV, 2023. (DOI
, fulltext:print
).
-
Using neuronal models to capture burst-and-glide motion and leadership in fish
. In Journal of the Royal Society Interface, volume 20, number 204, The Royal Society, 2023. (DOI
, fulltext:print
).
-
Evaluating the utility of brightfield image data for mechanism of action prediction
. In PloS Computational Biology, volume 19, number 7, Public Library of Science (PLoS), 2023. (DOI
, Fulltext
, fulltext:print
).
-
A Study of Augmentation Methods for Handwritten Stenography Recognition
. In , 2023. (DOI
).
-
Document Image Processing for Handwritten Text Recognition: Deep Learning-based Transliteration of Astrid Lindgren’s Stenographic Manuscripts
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2294, Skrifter utgivna av Svenska barnboksinstitutet nr 166, Acta Universitatis Upsaliensis, Uppsala, 2023. (fulltext
, preview image
).
-
On Optimal Convergence Rates for Discrete Minimizers of the Gross-Pitaevskii Energy in Localized Orthogonal Decomposition Spaces
. In Multiscale Modeling & Simulation, volume 21, number 3, pp 993-1011, 2023. (DOI
, External link
).
-
Learn2Reg: comprehensive multi-task medical image registration challenge, dataset and evaluation in the era of deep learning
. In IEEE Transactions on Medical Imaging, volume 42, number 3, pp 697-712, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI
, Fulltext
, fulltext:print
).
-
Enactive artificial intelligence: subverting gender norms in human-robot interaction
. In Frontiers in Neurorobotics, volume 17, 2023. (DOI
, External link
, fulltext:print
).
-
A sine transform based preconditioned MINRES method for all-at-once systems from constant and variable-coefficient evolutionary PDEs
. In Numerical Algorithms, Springer Science and Business Media LLC, 2023. (DOI
, External link
).
-
Overparameterized Linear Regression Under Adversarial Attacks
. In IEEE Transactions on Signal Processing, volume 71, pp 601-614, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI
).
-
Lightweight certificate revocation for low-power IoT with end-to-end security
. In Journal of Information Security and Applications, volume 73, Elsevier, Amsterdam, 2023. (DOI
).
-
Public Key Infrastructure and its applications for resource-constrained IoT
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2230, Acta Universitatis Upsaliensis, Uppsala, 2023. (fulltext
, preview image
).
-
Scaling up Roundoff Analysis of Functional Data Structure Programs
. In Static Analysis: 30th International Symposium, SAS 2023, 2023.
-
Decision Procedures for Sequence Theories
. In CAV 2023: Computer Aided Verification, volume 13965 of Lecture Notes in Computer Science, pp 18-40, Cham, 2023. (DOI
).
-
Analysis and Optimization of Worst-Case Time Disparity in Cause-Effect Chains
. In 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), Design Automation and Test in Europe Conference and Exhibition, pp 1-6, IEEE, 2023. (DOI
).
-
Scheduling Parallel Real-Time Tasks on Virtual Processors
. In IEEE Transactions on Parallel and Distributed Systems, volume 34, number 1, pp 33-47, IEEE, 2023. (DOI
).
-
Leveraging Machine Learning for Disease Diagnoses based on Wearable Devices: A Survey
. In IEEE Internet of Things Journal, pp 1-1, 2023. (DOI
).
-
Screening for Chagas disease from the electrocardiogram using a deep neural network
. In PLoS Neglected Tropical Diseases, volume 17, number 7, Public Library of Science (PLoS), 2023. (DOI
, fulltext:print
).
-
Federated Learning Using Three-Operator ADMM
. In IEEE Journal on Selected Topics in Signal Processing, volume 17, number 1, pp 205-221, IEEE Signal Processing Society, 2023. (DOI
, Fulltext
).
-
Nonadiabatic wave packet dynamics and predissociation resonances in sodium hydride
. In Physical Chemistry, Chemical Physics - PCCP, volume 25, number 12, pp 8482-8488, Royal Society of Chemistry, Cambridge, UK, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Y-Linked Copy Number Polymorphism of Target of Rapamycin Is Associated with Sexual Size Dimorphism in Seed Beetles
. In Molecular biology and evolution, volume 40, number 8, Oxford University Press, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Generalized elementary functions
. In Complex Variables and Elliptic Equations, volume 68, number 6, pp 918-931, Taylor & Francis, 2023. (DOI
, Fulltext
, fulltext:print
).
-
ASE-Net for Segmentation of Post-operative Glioblastoma and Patient-specific Fine-tuning for Segmentation Refinement of Follow-up MRI Scans
. In , 2023. Publication status: Submitted
-
Doppelganger Loads: A Safe, Complexity-Effective Optimization for Secure Speculation Schemes
. In ISCA '23: Proceedings of the 50th Annual International Symposium on Computer Architecture, Association for Computing Machinery (ACM), New York, NY, 2023. (DOI
).
-
Human-Swarm Interaction in Semi-voluntary Search and Rescue Operations: Opportunities and Challenges
. In , 2023. (DOI
).
-
Understanding the challenges and need for support of informal caregivers to individuals with head and neck cancer - A basis for developing internet-based support
. In European Journal of Oncology Nursing, volume 64, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Scaling of radial basis functions
. In IMA Journal of Numerical Analysis, pp 1-23, 2023. (DOI
).
-
Contextual Think Aloud: Method for Understanding Users and Their Digital Work Environment
. In , 2023.
-
User-Centered Design Approaches and Software Development Processes
. In Handbook of Human Computer Interaction, Springer Reference Computer Sciences, pp 1-24, Springer, Cham, 2023. (DOI
).
-
A finite element based Heterogeneous Multiscale Method for the Landau-Lifshitz equation
. In Journal of Computational Physics, volume 486, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
An Experimental Study of Byzantine-Robust Aggregation Schemes in Federated Learning
. In IEEE Transactions on Big Data, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI
). Publication status: Epub ahead of print
-
Byzantine-Robust Aggregation in Federated Learning Empowered Industrial IoT
. In IEEE Transactions on Industrial Informatics, volume 19, number 2, pp 1165-1175, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI
).
-
Persistent discrepancies in orbital morphology after surgical treatment of unicoronal craniosynostosis: a critical image-based analysis
. In Journal of Neurosurgery: Pediatrics, volume 31, number 6, pp 574-583, Journal of Neurosurgery Publishing Group (JNSPG), 2023. (DOI
).
-
Sound Mixed Fixed-Point Quantization of Neural Networks
. In ACM Transactions on Embedded Computing Systems, 2023. Publication status: Accepted
-
A high-order artificial compressibility method based on Taylor series time-stepping for variable density flow
. In Journal of Computational and Applied Mathematics, volume 421, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
High-order finite element methods for incompressible variable density flow
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2277, Acta Universitatis Upsaliensis, Uppsala, 2023. (fulltext
, preview image
).
-
Anomaly detection based on multi-teacher knowledge distillation
. In Journal of systems architecture, volume 138, ELSEVIER, 2023. (DOI
).
-
Decomposing and Tracing Mutual Information by Quantifying Reachable Decision Regions
. In Entropy, volume 25, number 7, Basel, Switzerland, 2023. (DOI
, External link
).
-
Demo: An Educational Platform to Learn Radio Frequency Wireless Communication
. In Proceedings of the 21st Annual International Conference on Mobile Systems, Applications and Services, pp 600-601, New York, NY, USA, 2023. (DOI
, External link
).
-
Bayesian Monitoring of COVID-19 in Sweden
. In Epidemics, volume 45, 2023. (DOI
, Fulltext
, External link
).
-
Implicit summation by parts operators for finite difference approximations of first and second derivatives
. In Journal of Computational Physics, volume 473, pp 111743-111743, 2023. (DOI
).
-
Implicit summation by parts operators for finite difference approximations of first and second derivatives
. In Journal of Computational Physics, volume 473, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
). Publication status: Epub ahead of print
-
Analysis of the Minimum-Norm Least-Squares Estimator and Its Double-Descent Behavior [Lecture Notes]
. In IEEE signal processing magazine (Print), volume 40, number 3, pp 39-75, IEEE, 2023. (DOI
).
-
Regularized Linear Regression via Covariance Fitting
. In IEEE Transactions on Signal Processing, volume 71, pp 1175-1183, IEEE, 2023. (DOI
).
-
Explicit implicit domain splitting for two phase flows with phase transition
. In Physics of fluids, volume 35, number 1, American Institute of Physics (AIP), 2023. (DOI
).
-
Design of the Impulsive Goodwin's Oscillator: A Case Study
. In 2023 American Control Conference (ACC), Proceedings of the American Control Conference, pp 3572-3577, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI
).
-
The D-RBF-PU method for solving surface PDEs
. In Journal of Computational Physics, volume 479, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Examining the State of Robot Identity
. In HRI '23: Proceedings of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, volume 2023 of ACM/IEEE International Conference on Human-Robot Interaction, pp 658-662, Association for Computing Machinery (ACM), New York, 2023. (DOI
, Fulltext
, fulltext:print
).
-
A fault detection method based on partition of unity and kernel approximation
. In Numerical Algorithms, volume 93, number 4, pp 1759-1794, Springer Nature, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Learned Reconstruction Methods With Convergence Guarantees: A survey of concepts and applications
. In IEEE signal processing magazine (Print), volume 40, number 1, pp 164-182, IEEE, 2023. (DOI
).
-
Efficient distributed matrix-free multigrid methods on locally refined meshes for FEM computations
. In ACM transactions on parallel computing, volume 10, number 1, pp 1-38, Association for Computing Machinery (ACM), 2023. (DOI
).
-
A PUF-Based Indirect Authentication and Key Establishment Protocol for Wearable Devices
. In , 2023.
-
Quickest detection of deception attacks on cyber-physical systems with a parsimonious watermarking policy
. In Automatica, volume 155, Elsevier BV, 2023. (DOI
).
-
Quickest physical watermarking-based detection of measurement replacement attacks in networked control systems
. In European Journal of Control, volume 71, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Sequential detection of Replay attacks
. In IEEE Transactions on Automatic Control, volume 68, number 3, pp 1941-1948, IEEE, 2023. (DOI
).
-
Approximation results for Beta Jakimovski-Leviatan type operators via q-analogue
. In Filomat, volume 37, number 24, pp 8389-8404, Faculty of Sciences and Mathematics, University of Nis?, 2023. (DOI
, External link
).
-
In vivo trueness and precision of full-arch implant scans using intraoral scanners with three different acquisition protocols
. In Journal of Dentistry, volume 128, pp 104308-104308, Elsevier BV, 2023. (DOI
, Fulltext
, fulltext:print
).
-
In vivo trueness of full-arch implant-supported CAD/CAM restorations and models based on conventional impressions
. In Journal of Dentistry, volume 128, pp 104381-104381, Elsevier BV, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Exploring the Latency Sensitivity of Cache Replacement Policies
. In IEEE Computer Architecture Letters, volume 22, number 2, pp 93-96, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI
). Publication status: Epub ahead of print
-
Space temperature policy towards net-zero: Recommendations from a systematic review of UK HEI heating policies
. In Building Research & Information, volume 51, number 2, pp 223-239, Routledge, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Distributed formation trajectory planning for multi-vehicle systems
. In 2023 American Control Conference (ACC), Proceedings of the American Control Conference, pp 1325-1330, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI
).
-
Contrastive Learning of Equivariant Image Representations for Multimodal Deformable Registration
. In , Institute of Electrical and Electronics Engineers (IEEE), 2023. (Conference information
).
-
Multimodal deformable image registration using contrastive learning of equivariant image representations
. In , 2023. (Conference information
).
-
Neuromuscular controller models for quantifying standing balance in older people: A systematic review
. In IEEE Reviews in Biomedical Engineering, volume 16, pp 560-578, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI
).
-
Online Learning for Prediction via Covariance Fitting: Computation, Performance and Robustness
. In Transactions on Machine Learning Research, Transactions on Machine Learning Research, 2023. (Publications in full-text
).
-
RFID Tags as Passive Temperature Sensors
. In 17th annual international conference on RFID, Seattle, WA, USA, June 13-15, 2023., IEEE International Conference on RFID, pp 48-53, 2023. (DOI
).
-
Multi-level Residual Dual Attention Network for Major Cerebral Arteries Segmentation in MRA towards Diagnosis of Cerebrovascular Disorders
. In IEEE Transactions on Nanobioscience, pp 1-1, 2023. (DOI
).
-
Statically Resolvable Ambiguity
. In Proceedings of the ACM on Programming Languages, volume 7, number POPL, pp 1686-1712, ACM Digital Library, 2023. (DOI
, Fulltext
, fulltext:print
).
-
How Did We Miss This?: A Case Study on Unintended Biases in Robot Social Behavior
. In Companion of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, HRI ’23, pp 11-20, Association for Computing Machinery, 2023. (DOI
, External link
).
-
Weakly supervised joint whole-slide segmentation and classification in prostate cancer
. In Medical Image Analysis, pp 102915-102915, 2023. (DOI
).
-
Learning-based prediction, representation, and multimodal registration for bioimage processing
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2244, Acta Universitatis Upsaliensis, Uppsala, 2023. (fulltext
, preview image
).
-
TissUUmaps 3: Improvements in interactive visualization, exploration, and quality assessment of large-scale spatial omics data
. In Heliyon, volume 9, number 5, Elsevier BV, 2023. (DOI
, fulltext:print
).
-
Integrating Prior Knowledge into Machine Learning Models with Applications in Physics
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2023-002, Uppsala University, 2023. (fulltext
).
-
HarmonicID: Identifying Analog Backscatter Tags with Harmonics
. In , Association for Computing Machinery (ACM), 2023. (Poster abstract in full-text
).
-
Stabilized interpolation using radial basis functions augmented with selected radial polynomials
. In Journal of Computational and Applied Mathematics, pp 1-17, 2023. (DOI
).
-
Design Suggestions for a Persuasive E-coaching Application: A Study on Informal Caregivers' Needs
. In Digital Health, volume 9, pp 1-12, Sage Publications, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Designing a Persuasive E-Coaching Application for Informal Caregivers
. In Caring is Sharing: Exploiting the Value in Data for Health and Innovation, volume 302 of Studies in Health Technology and Informatics, pp 922-926, IOS Press, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Designing and Evaluating IT Applications for Informal Caregivers: Protocol for a Scoping Review
. In JMIR Research Protocols, volume 12, JMIR Publications, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Computing Functions Over-the-Air Using Digital Modulations
. In IEEE International Conference on Communications, 28 May – 01 June 2023, Rome, Italy, IEEE Communications Society, 2023.
-
Mitigating Epilepsy by Stabilizing Linear Fractional-Order Systems
. In 2023 American Control Conference (ACC), Proceedings of the American Control Conference, pp 2228-2233, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI
).
-
To calibrate or not to calibrate, that is the question
. In Water Research, volume 229, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Robust Imaging of Speed-of-Sound Using Virtual Source Transmission
. In IEEE Transactions on Ultrasonics, Ferroelectrics and Frequency Control, pp 1-1, 2023. (DOI
).
-
A whole-body diffusion MRI normal atlas: development, evaluation and initial use
. In Cancer Imaging, 2023. (DOI
).
-
Silent Stores in the Battery-less Internet of Things: A Good Idea?
. In , 2023.
-
Leakage detection in water distribution networks using machine-learning strategies
. In Water Science and Technology: Water Supply, volume 23, number 3, pp 1115-1126, IWA Publishing, 2023. (DOI
, Fulltext
).
-
TSO Games: On the decidability of safety games under the total store order semantics
. In , 2023.
-
Boundary-optimized summation-by-parts operators for finite difference approximations of second derivatives with variable coefficients
. In Journal of Computational Physics, volume 491, 2023. (DOI
, External link
). Publication status: Epub ahead of print
-
Low-Rank Covariance Matrix Estimation for Factor Analysis in Anisotropic Noise: Application to Array Processing and Portfolio Selection
. In IEEE Transactions on Signal Processing, volume 71, pp 1699-1711, IEEE, 2023. (DOI
).
-
How do we arrive at constraints?: Articulating limits for computing
. In , PubPub, 2023. (DOI
, Fulltext
, Electronic full text
, External link
).
-
<em>Electrical dump-loads increasing spill capacity</em>
. In Hydropower R&D days 2023., 2023.
-
GOSAFEOPT: Scalable safe exploration for global optimization of dynamical systems
. In Artificial Intelligence, volume 320, Elsevier BV, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Real-Time Performance Analysis of Processing Systems on ROS 2 Executors
. In 2023 IEEE 29th Real-Timea and Embedded Technology and Applications Symposium, RTAS, IEEE Real-Time and Embedded Technology and Applications Symposium, pp 80-92, IEEE, 2023. (DOI
).
-
Quantifying uncertainties in CERES/MODIS Downwelling radiation fluxes in the global tropical oceans
. In Ocean-Land-Atmosphere Research, volume 2, American Association for the Advancement of Science (AAAS), 2023. (DOI
, Fulltext
, fulltext:print
).
-
Residual Viscosity Stabilized RBF-FD Methods for Solving Nonlinear Conservation Laws
. In Journal of Scientific Computing, volume 94, number 1, SPRINGER/PLENUM PUBLISHERS, 2023. (DOI
). Publication status: Epub ahead of print
-
Residual viscosity stabilized RBF-FD methods for solving nonlinear conservation laws
. In Journal of Scientific Computing, volume 94, Springer, 2023. (DOI
, Fulltext
, Preprint on arXiv
, fulltext:print
).
-
SimpLex: a lexical text simplification architecture
. In Neural Computing & Applications, volume 35, number 8, pp 6265-6280, Springer Nature, 2023. (DOI
, Fulltext
).
-
Optimal Reads-From Consistency Checking for C11-Style Memory Models
. In Proceedings of the ACM on Programming Languages, volume 7, number PLDI, pp 761-785, 2023. (DOI
).
-
Towards Advancing Body Maps as Research Tool for Interaction Design
. In TEI ’23: Proceedings of the Seventeenth International Conference on Tangible, Embedded, and Embodied Interaction (TEI ’23), 2023. (DOI
).
-
Stabilized cut discontinuous Galerkin methods for advection-reaction problems on surfaces
. In Computer Methods in Applied Mechanics and Engineering, volume 413, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Collective Collaboration Mapping’ towards Knowledge Commons
. In , Oldenburg, 2023.
-
A Finite Difference-Discontinuous Galerkin Method for the Wave Equation in Second Order Form
. In SIAM Journal on Numerical Analysis, volume 61, number 4, pp 1962-1988, 2023. (DOI
, External link
).
-
Block-MUSIC in blade tip timing: Performance study of block snapshot matrix
. In Mechanical systems and signal processing, volume 198, Elsevier, 2023. (DOI
).
-
Iterative solution methods for 3D controlled-source electromagnetic forward modelling of geophysical exploration scenarios
. In Computational Geosciences, volume 27, pp 81-102, Springer Nature, 2023. (DOI
, Fulltext
, fulltext:print
).
-
A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot
. In Constraints, volume 28, number 2, pp 71-104, 2023. (DOI
, Fulltext
).
-
Can Representation Learning for Multimodal Image Registration be Improved by Supervision of Intermediate Layers?
. In IbPRIA 2023: Pattern Recognition and Image Analysis, Lecture Notes in Computer Science, pp 261-275, Springer, 2023. (DOI
, External link
).
-
Partial dimensional collapse in contrastive learning when using intermediate layers
. In , 2023.
-
Representation Learning and Information Fusion: <em>Applications in Biomedical Image Processing</em>
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2266, Acta Universitatis Upsaliensis, Uppsala, 2023. (fulltext
, preview image
).
-
Systems thinking and efficiency under emissions constraints: Addressing rebound effects in digital innovation and policy
. In PATTERNS, volume 4, number 2, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Reliable Uncertainty Quantification in Statistical Learning
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2275, Acta Universitatis Upsaliensis, Uppsala, 2023. (fulltext
, preview image
).
-
Recursive identification of a nonlinear state space model
. In International journal of adaptive control and signal processing (Print), volume 37, number 2, pp 447-473, John Wiley & Sons, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Sequential Monte Carlo: A Unified Review
. In ANNUAL REVIEW OF CONTROL ROBOTICS AND AUTONOMOUS SYSTEMS, volume 6, pp 159-182, ANNUAL REVIEWS, 2023. (DOI
, Fulltext
, fulltext:print
).
-
TunnelLiFi: Bringing LiFi to Commodity Internet of Things Devices
. In HotMobile '23: Proceedings of the 24th International Workshop on Mobile Computing Systems and Applications, pp 1-7, ACM Digital Library, New York, NY, USA, 2023. (External link
).
-
Stable subspace dimension reduced MUSIC for blade tip timing
. In Journal of Sound and Vibration, volume 545, Elsevier, 2023. (DOI
).
-
Discursive construction of migrant otherness on Facebook: A distributional semantics approach
. In Discourse & Society, volume 34, number 2, pp 236-254, 2023. (DOI
).
-
Game-of-Life Temperature-Aware DVFS Strategy for Tile-Based Chip Many-Core Processors
. In IEEE JOURNAL ON EMERGING AND SELECTED TOPICS IN CIRCUITS AND SYSTEMS, volume 13, number 1, pp 58-72, IEEE, 2023. (DOI
).
-
SE-CNN: Convolution Neural Network Acceleration via Symbolic Value Prediction
. In IEEE JOURNAL ON EMERGING AND SELECTED TOPICS IN CIRCUITS AND SYSTEMS, volume 13, number 1, pp 73-85, IEEE, 2023. (DOI
).
-
Association of lifestyle with deep learning predicted electrocardiographic age
. In Frontiers in Cardiovascular Medicine, volume 10, Frontiers Media S.A., 2023. (DOI
, Fulltext
, fulltext:print
).
-
An Online Kullback-Leibler Divergence-Based Stealthy Attack Against Cyber-Physical Systems
. In IEEE Transactions on Automatic Control, volume 68, number 6, pp 3672-3679, IEEE, 2023. (DOI
).
-
Robust nonlinear set-point control with reinforcement learning
. In 2023 American Control Conference (ACC), Proceedings of the American Control Conference, pp 84-91, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI
, Pre-print in arXiv
).
-
Efficient Hierarchical Storage Management Empowered by Reinforcement Learning
. In IEEE Transactions on Knowledge and Data Engineering, volume 35, pp 5780-5793, IEEE, 2023. (DOI
).
-
Probabilistic Estimation of Instantaneous Frequencies of Chirp Signals
. In IEEE Transactions on Signal Processing, volume 71, pp 461-476, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI
).
-
A case study in designing trustworthy interactions: implications for socially assistive robotics
. In Frontiers in Computer Science, volume 5, Frontiers Media S.A., 2023. (DOI
, Fulltext
, fulltext:print
).
-
On Merging Feature Engineering and Deep Learning for Diagnosis, Risk Prediction and Age Estimation Based on the 12-Lead ECG
. In IEEE Transactions on Biomedical Engineering, volume 70, number 7, pp 2227-2236, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI
).
-
RegiSTORM: channel registration for multi-color stochastic optical reconstruction microscopy
. In BMC Bioinformatics, volume 24, number 1, BMC, 2023. (DOI
, fulltext:print
).
-
Development of an integrated decision support system (IDSS)
. In Designing Sustainable and Resilient Cities: Small Interventions for Stronger Urban Food-Water-Energy Management, pp 119-138, Routledge, New York, 2023. (Designing Sustainable and Resilient Cities
).
-
Evaluating the effects of the COVID-19 pandemic on electricity consumption patterns in the residential, public, commercial and industrial sectors in Sweden
. In Energy and AI, volume 14, 2023. (External link
).
-
Uppsala: Groundwater management in the neighbourhood of Rosendal
. In Designing Sustainable and Resilient Cities: Small Interventions for Stronger Urban Food-Water-Energy Management, pp 24-25, Routledge, New York, 2023. (Designing Sustainable and Resilient Cities
).
-
INSPIRE: Intensity and Spatial Information-Based Deformable Image Registration
. In PLOS ONE, volume 18, number 3, Public Library of Science (PLoS), 2023. (DOI
, Fulltext
, Pre-print i arXiv
, fulltext:print
).