Publikationer från institutionen för informationsteknologi
Serier
Vi publicerar tekniska rapporter och licentiatavhandlingar i lokala serier. Våra doktorsavhandlingar är tillgängliga genom Enheten för digital publicering |
Sök andra publikationer
För att söka efter andra publikationer,
|
Publikationer i år
Listorna nedan visar de publikationer som är registrerade i universitetets digitala arkiv DiVA och markerats som hörande till institutionen. Listorna innehåller inte säkert alla publikationer av författare/redaktörer vid vår institution. (När du publicerar i DiVA, använd lathunden för att fylla i rätt.)
På denna sida hittar du innevarande års publikationer. Listor för 2022, 2021, 2020, 2019, 2018, 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000 och 1999 finns separat.
-
Service-based Federated Deep Reinforcement Learning for Anomaly Detection in Fog Ecosystems
. I 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
. I International Journal on Software Tools for Technology Transfer (STTT), volym 25, nummer 2, pp 185-204, 2023. (DOI
, Extern länk
).
-
Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs
. I Static Analysis: 30th International Symposium, SAS 2023, 2023.
-
Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs
. I Automated Technology for Verification and Analysis, 21st International Symposium, ATVA 2023, Singapore, Oct. 2023. Proceedings., 2023.
-
Optimal Stateless Model Checking for Causal Consistency
. I 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
. I 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
. I 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
. I Multiscale Modeling & simulation, volym 21, nummer 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
. I JMIR Cancer, volym 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
. I Information and Software Technology, volym 155, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Automatic Program Instrumentation for Automatic Verification
. I CAV 2023: Computer Aided Verification, volym 13966 av 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?
. I , 2023. (Conference site
, Program
).
-
Achieving improved accuracy for imputation of ancient DNA
. I Bioinformatics, volym 39, nummer 1, Oxford University Press, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Stage-parallel preconditioners for implicit Runge-Kutta methods of arbitrarily high order, linear problems
. I Numerical Linear Algebra with Applications, John Wiley & Sons, 2023. (DOI
, Fulltext
, fulltext:print
). Publikationsstatus: Epub ahead of print
-
Multiple-hypothesis testing rules for high-dimensional model selection and sparse-parameter estimation
. I Signal Processing, volym 213, Elsevier BV, 2023. (DOI
).
-
Modeling and inversion in acoustic-elastic coupled media using energy-stable summation-by-parts operators
. I Geophysics, volym 88, nummer 3, SOC EXPLORATION GEOPHYSICISTS - SEG, 2023. (DOI
).
-
Modeling and inversion in acoustic-elastic coupled media using energy-stable summation-by-parts operators
. I Geophysics, volym 88, nummer 3, pp T137-T150, Society of Exploration Geophysicists, 2023. (DOI
, To the Article
).
-
Deep Active Learning for Glioblastoma Quantification
. I Scandinavian Conference on Image Analysis, pp 190-200, 2023.
-
Deep Curriculum Learning for Follow-up MRI Registration in Glioblastoma
. I 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
. I Medical Imaging 2023: Image Processing, Progress in Biomedical Optics and Imaging, SPIE - International Society for Optical Engineering, 2023.
-
Towards Efficient Explainability of Schedulability Properties in Real-Time Systems
. I <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
. I Biological Imaging, volym 3, 2023. (DOI
).
-
Analytical Estimation of Beamforming Speed-of-Sound Using Transmission Geometry
. I Ultrasonics, volym 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
. I Electronic Transactions on Numerical Analysis, volym 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
. I SIAM Journal on Imaging Sciences, volym 16, nummer 1, pp 280-312, Society for Industrial and Applied Mathematics, 2023. (DOI
).
-
Waveform inversion via reduced order modeling
. I Geophysics, volym 88, nummer 2, pp R175-R191, Society of Exploration Geophysicists, 2023. (DOI
).
-
A Methodology for Investigating Women's Module Choices in Computer Science
. I 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
. I Circulation. Cardiovascular Quality and Outcomes, volym 16, nummer 7, Ovid Technologies (Wolters Kluwer Health), 2023. (DOI
).
-
Image Processing and Analysis Methods for Biomedical Applications
. Doktorsavhandling, 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
. I Scandinavian Conference on Image Analysis, pp 214-228, 2023.
-
Introducing spatial context in patch-based deep learning for semantic segmentation in whole body MRI
. I 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
. I IEEE Transactions on Biomedical Engineering, volym 70, nummer 1, pp 97-104, IEEE, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Bayesian inference in epidemics: linear noise analysis
. I Mathematical Biosciences and Engineering, volym 20, nummer 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
. I Geophysical Journal International, volym 235, nummer 2, pp 1201-1217, Oxford University Press (OUP), 2023. (DOI
, fulltext:print
). Publikationsstatus: Epub ahead of print
-
Exploring Multidimensional Trust: Shaping Child-Robot Creative Collaborations in Education
. Doktorsavhandling, 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
. I 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
. I IEEE Transactions on Control of Network Systems, volym 10, nummer 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
. I , Swedish Symposium on Deep Learning, Kolmården, 2023.
-
When Concurrency Matters: Behaviour-Oriented Concurrency
. I Proceedings of the ACM on Programming Languages, Association for Computing Machinery (ACM), 2023. Publikationsstatus: Accepted
-
Generative appearance replay for continual unsupervised domain adaptation
. I Medical Image Analysis, volym 89, pp 102924-102924, 2023. (DOI
).
-
Probability elicitation for Bayesian networks to distinguish between intentional attacks and accidental technical failures
. I Journal of Information Security and Applications, volym 75, ELSEVIER, 2023. (DOI
, fulltext:print
).
-
Poster: A Battery-free Backscatter Communication System for Non-persistent Carriers
. I , 2023.
-
Efficient Resource Scheduling for Distributed Infrastructures using Negotiation Capabilities
. I , 2023. Publikationsstatus: Accepted
-
Spectral and norm estimates for matrix-sequences arising from a finite difference approximation of elliptic operators
. I Linear Algebra and its Applications, volym 667, pp 10-43, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Variational system identification for nonlinear state-space models
. I Automatica, volym 147, Elsevier, 2023. (DOI
).
-
Preconditioning for block matrices with square blocks
. Doktorsavhandling, 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
. I Behavior and Information Technology, volym 42, nummer 3, pp 265-268, Taylor & Francis, 2023. (DOI
).
-
Dental hygienists and dentists as providers of brush biopsies for oral mucosa screening
. I International Journal of Dental Hygiene, volym 21, nummer 3, pp 524-532, John Wiley & Sons, 2023. (DOI
).
-
Scheduling Dynamic Software Updates in Mobile Robots
. I ACM Transactions on Embedded Computing Systems, 2023. (DOI
). Publikationsstatus: Accepted
-
Timing Analysis of Embedded Software Updates
. I , 2023.
-
Multidimensional projection filters via automatic differentiation and sparse-grid integration
. I Signal Processing, volym 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)
. I Bulletin of The Seismological Society of America (BSSA), volym 113, nummer 2, pp 499-523, SEISMOLOGICAL SOC AMER, 2023. (DOI
).
-
Boundary and interface methods for energy stable finite difference discretizations of the dynamic beam equation
. I Journal of Computational Physics, volym 476, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Non-conforming Interface Conditions for the Second-Order Wave Equation
. I Journal of Scientific Computing, volym 95, Springer, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Proportionality on Spatial Data with Context
. I ACM Transactions on Database Systems, volym 48, nummer 2, pp 1-37, Association for Computing Machinery (ACM), 2023. (DOI
, Fulltext
, fulltext:print
).
-
Speculative inter-thread store-to-load forwarding in SMT architectures
. I Journal of Parallel and Distributed Computing, volym 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
. I Renewable & sustainable energy reviews, volym 173, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Infrastructure and the Energy Use of Human Polities
. I Cross-cultural research, volym 57, nummer 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
. I Algorithms, volym 16, nummer 7, MDPI AG, 2023. (DOI
, fulltext:print
).
-
Robustness and Sensitivity of Network-Based Topic Detection
. I Complex Networks and their Applications XI: Proceedings of the Eleventh International Conference on Complex Networks and their Applications: COMPLEX NETWORKS 2022, Volume 2, volym 1078 av Studies in Computational Intelligence, pp 259-270, Springer, Cham, 2023. (DOI
).
-
Invertible Kernel PCA With Random Fourier Features
. I IEEE Signal Processing Letters, volym 30, pp 563-567, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI
).
-
An Active Learning Approach to Synthesizing Program Contracts
. I , 2023.
-
QTL mapping of the narrow-branch "Pendula" phenotype in Norway spruce (Picea abies L. Karst.)
. I Tree Genetics & Genomes, volym 19, nummer 3, Springer Nature, 2023. (DOI
, fulltext:print
).
-
Lethe-DEM: an open-source parallel discrete element solver with load balancing
. I COMPUTATIONAL PARTICLE MECHANICS, volym 10, nummer 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
. Doktorsavhandling, 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
. I European Journal of Engineering Education, 2023. (DOI
, Fulltext
, Extern länk
).
-
The lost art of mathematical modelling
. I Mathematical Biosciences, volym 362, Elsevier BV, 2023. (DOI
, fulltext:print
).
-
Using neuronal models to capture burst-and-glide motion and leadership in fish
. I Journal of the Royal Society Interface, volym 20, nummer 204, The Royal Society, 2023. (DOI
, fulltext:print
).
-
Evaluating the utility of brightfield image data for mechanism of action prediction
. I PloS Computational Biology, volym 19, nummer 7, Public Library of Science (PLoS), 2023. (DOI
, Fulltext
, fulltext:print
).
-
A Study of Augmentation Methods for Handwritten Stenography Recognition
. I , 2023. (DOI
).
-
Document Image Processing for Handwritten Text Recognition: Deep Learning-based Transliteration of Astrid Lindgren’s Stenographic Manuscripts
. Doktorsavhandling, 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
. I Multiscale Modeling & Simulation, volym 21, nummer 3, pp 993-1011, 2023. (DOI
, Extern länk
).
-
Learn2Reg: comprehensive multi-task medical image registration challenge, dataset and evaluation in the era of deep learning
. I IEEE Transactions on Medical Imaging, volym 42, nummer 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
. I Frontiers in Neurorobotics, volym 17, 2023. (DOI
, Extern länk
, fulltext:print
).
-
A sine transform based preconditioned MINRES method for all-at-once systems from constant and variable-coefficient evolutionary PDEs
. I Numerical Algorithms, Springer Science and Business Media LLC, 2023. (DOI
, Extern länk
).
-
Overparameterized Linear Regression Under Adversarial Attacks
. I IEEE Transactions on Signal Processing, volym 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
. I Journal of Information Security and Applications, volym 73, Elsevier, Amsterdam, 2023. (DOI
).
-
Public Key Infrastructure and its applications for resource-constrained IoT
. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2230, Acta Universitatis Upsaliensis, Uppsala, 2023. (fulltext
, preview image
).
-
Key Update for the IoT Security Standard OSCORE
. I 2023 IEEE International Conference on Cyber Security and Resilience (CSR), Cyber Security and Resilience (CSR), IEEE International Conference on, pp 78-85, Venice, Italy, 2023. (DOI
, Extern länk
).
-
Scaling up Roundoff Analysis of Functional Data Structure Programs
. I Static Analysis: 30th International Symposium, SAS 2023, 2023.
-
Decision Procedures for Sequence Theories
. I CAV 2023: Computer Aided Verification, volym 13965 av Lecture Notes in Computer Science, pp 18-40, Cham, 2023. (DOI
).
-
Analysis and Optimization of Worst-Case Time Disparity in Cause-Effect Chains
. I 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
. I IEEE Transactions on Parallel and Distributed Systems, volym 34, nummer 1, pp 33-47, IEEE, 2023. (DOI
).
-
Leveraging Machine Learning for Disease Diagnoses based on Wearable Devices: A Survey
. I IEEE Internet of Things Journal, pp 1-1, 2023. (DOI
).
-
Screening for Chagas disease from the electrocardiogram using a deep neural network
. I PLoS Neglected Tropical Diseases, volym 17, nummer 7, Public Library of Science (PLoS), 2023. (DOI
, fulltext:print
).
-
Federated Learning Using Three-Operator ADMM
. I IEEE Journal on Selected Topics in Signal Processing, volym 17, nummer 1, pp 205-221, IEEE Signal Processing Society, 2023. (DOI
, Fulltext
).
-
Nonadiabatic wave packet dynamics and predissociation resonances in sodium hydride
. I Physical Chemistry, Chemical Physics - PCCP, volym 25, nummer 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
. I Molecular biology and evolution, volym 40, nummer 8, Oxford University Press, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Generalized elementary functions
. I Complex Variables and Elliptic Equations, volym 68, nummer 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
. I , 2023. Publikationsstatus: Submitted
-
Doppelganger Loads: A Safe, Complexity-Effective Optimization for Secure Speculation Schemes
. I ISCA '23: Proceedings of the 50th Annual International Symposium on Computer Architecture, Association for Computing Machinery (ACM), New York, NY, 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
. I European Journal of Oncology Nursing, volym 64, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Scaling of radial basis functions
. I IMA Journal of Numerical Analysis, pp 1-23, 2023. (DOI
).
-
User-Centered Design Approaches and Software Development Processes
. I 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
. I Journal of Computational Physics, volym 486, Elsevier, 2023. (DOI
).
-
An Experimental Study of Byzantine-Robust Aggregation Schemes in Federated Learning
. I IEEE Transactions on Big Data, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI
). Publikationsstatus: Epub ahead of print
-
Byzantine-Robust Aggregation in Federated Learning Empowered Industrial IoT
. I IEEE Transactions on Industrial Informatics, volym 19, nummer 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
. I Journal of Neurosurgery: Pediatrics, volym 31, nummer 6, pp 574-583, Journal of Neurosurgery Publishing Group (JNSPG), 2023. (DOI
).
-
Sound Mixed Fixed-Point Quantization of Neural Networks
. I ACM Transactions on Embedded Computing Systems, 2023. Publikationsstatus: Accepted
-
A high-order artificial compressibility method based on Taylor series time-stepping for variable density flow
. I Journal of Computational and Applied Mathematics, volym 421, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
High-order finite element methods for incompressible variable density flow
. Doktorsavhandling, 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
. I Journal of systems architecture, volym 138, ELSEVIER, 2023. (DOI
).
-
Decomposing and Tracing Mutual Information by Quantifying Reachable Decision Regions
. I Entropy, volym 25, nummer 7, Basel, Switzerland, 2023. (DOI
, Extern länk
).
-
Demo: An Educational Platform to Learn Radio Frequency Wireless Communication
. I Proceedings of the 21st Annual International Conference on Mobile Systems, Applications and Services, pp 600-601, New York, NY, USA, 2023. (DOI
, Extern länk
).
-
Bayesian Monitoring of COVID-19 in Sweden
. I Epidemics, volym 45, pp 100715-100715, 2023. (DOI
, Fulltext
, Extern länk
).
-
Implicit summation by parts operators for finite difference approximations of first and second derivatives
. I Journal of Computational Physics, volym 473, pp 111743-111743, 2023. (DOI
).
-
Implicit summation by parts operators for finite difference approximations of first and second derivatives
. I Journal of Computational Physics, volym 473, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
). Publikationsstatus: Epub ahead of print
-
Analysis of the Minimum-Norm Least-Squares Estimator and Its Double-Descent Behavior [Lecture Notes]
. I IEEE signal processing magazine (Print), volym 40, nummer 3, pp 39-75, IEEE, 2023. (DOI
).
-
Regularized Linear Regression via Covariance Fitting
. I IEEE Transactions on Signal Processing, volym 71, pp 1175-1183, IEEE, 2023. (DOI
).
-
Explicit implicit domain splitting for two phase flows with phase transition
. I Physics of fluids, volym 35, nummer 1, American Institute of Physics (AIP), 2023. (DOI
).
-
The D-RBF-PU method for solving surface PDEs
. I Journal of Computational Physics, volym 479, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Examining the State of Robot Identity
. I HRI '23: Proceedings of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, volym 2023 av 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
. I Numerical Algorithms, volym 93, nummer 4, pp 1759-1794, Springer Nature, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Learned Reconstruction Methods With Convergence Guarantees: A survey of concepts and applications
. I IEEE signal processing magazine (Print), volym 40, nummer 1, pp 164-182, IEEE, 2023. (DOI
).
-
Efficient distributed matrix-free multigrid methods on locally refined meshes for FEM computations
. I ACM transactions on parallel computing, volym 10, nummer 1, pp 1-38, Association for Computing Machinery (ACM), 2023. (DOI
).
-
A PUF-Based Indirect Authentication and Key Establishment Protocol for Wearable Devices
. I , 2023.
-
Quickest detection of deception attacks on cyber-physical systems with a parsimonious watermarking policy
. I Automatica, volym 155, Elsevier BV, 2023. (DOI
).
-
Quickest physical watermarking-based detection of measurement replacement attacks in networked control systems
. I European Journal of Control, volym 71, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Sequential detection of Replay attacks
. I IEEE Transactions on Automatic Control, volym 68, nummer 3, pp 1941-1948, IEEE, 2023. (DOI
).
-
Approximation results for Beta Jakimovski-Leviatan type operators via q-analogue
. I Filomat, volym 37, nummer 24, pp 8389-8404, Faculty of Sciences and Mathematics, University of Nis?, 2023. (DOI
, Extern länk
).
-
In vivo trueness and precision of full-arch implant scans using intraoral scanners with three different acquisition protocols
. I Journal of Dentistry, volym 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
. I Journal of Dentistry, volym 128, pp 104381-104381, Elsevier BV, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Exploring the Latency Sensitivity of Cache Replacement Policies
. I IEEE Computer Architecture Letters, volym 22, nummer 2, pp 93-96, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI
). Publikationsstatus: Epub ahead of print
-
Space temperature policy towards net-zero: Recommendations from a systematic review of UK HEI heating policies
. I Building Research & Information, volym 51, nummer 2, pp 223-239, Routledge, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Contrastive Learning of Equivariant Image Representations for Multimodal Deformable Registration
. I , Institute of Electrical and Electronics Engineers (IEEE), 2023. (Conference information
).
-
Multimodal deformable image registration using contrastive learning of equivariant image representations
. I , 2023. (Conference information
).
-
Neuromuscular controller models for quantifying standing balance in older people: A systematic review
. I IEEE Reviews in Biomedical Engineering, volym 16, pp 560-578, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI
).
-
Online Learning for Prediction via Covariance Fitting: Computation, Performance and Robustness
. I Transactions on Machine Learning Research, Transactions on Machine Learning Research, 2023. (Publications in full-text
).
-
RFID Tags as Passive Temperature Sensors
. I 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
. I IEEE Transactions on Nanobioscience, pp 1-1, 2023. (DOI
).
-
Statically Resolvable Ambiguity
. I Proceedings of the ACM on Programming Languages, volym 7, nummer 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
. I Companion of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, HRI ’23, pp 11-20, Association for Computing Machinery, 2023. (DOI
, Extern länk
).
-
Weakly supervised joint whole-slide segmentation and classification in prostate cancer
. I Medical Image Analysis, pp 102915-102915, 2023. (DOI
).
-
Learning-based prediction, representation, and multimodal registration for bioimage processing
. Doktorsavhandling, 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
. I Heliyon, volym 9, nummer 5, Elsevier BV, 2023. (DOI
, fulltext:print
).
-
Integrating Prior Knowledge into Machine Learning Models with Applications in Physics
. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2023-002, Uppsala University, 2023. (fulltext
).
-
HarmonicID: Identifying Analog Backscatter Tags with Harmonics
. I , Association for Computing Machinery (ACM), 2023. (Poster abstract in full-text
).
-
Stabilized interpolation using radial basis functions augmented with selected radial polynomials
. I 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
. I Digital Health, volym 9, pp 1-12, Sage Publications, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Designing a Persuasive E-Coaching Application for Informal Caregivers
. I Caring is Sharing: Exploiting the Value in Data for Health and Innovation, volym 302 av Studies in Health Technology and Informatics, pp 922-926, IOS Press, 2023. (DOI
, Fulltext
, Proceedings of the 33rd Medical Informatics Europe Conference
, fulltext:print
).
-
Designing and Evaluating IT Applications for Informal Caregivers: Protocol for a Scoping Review
. I JMIR Research Protocols, volym 12, JMIR Publications, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Computing Functions Over-the-Air Using Digital Modulations
. I IEEE International Conference on Communications, 28 May – 01 June 2023, Rome, Italy, IEEE Communications Society, 2023.
-
To calibrate or not to calibrate, that is the question
. I Water Research, volym 229, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Robust Imaging of Speed-of-Sound Using Virtual Source Transmission
. I 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
. I Cancer Imaging, 2023. (DOI
).
-
Silent Stores in the Battery-less Internet of Things: A Good Idea?
. I , 2023.
-
Leakage detection in water distribution networks using machine-learning strategies
. I Water Science and Technology: Water Supply, volym 23, nummer 3, pp 1115-1126, IWA Publishing, 2023. (DOI
, Fulltext
).
-
TSO Games: On the decidability of safety games under the total store order semantics
. I , 2023.
-
Boundary-optimized summation-by-parts operators for finite difference approximations of second derivatives with variable coefficients
. I Journal of Computational Physics, volym 491, 2023. (DOI
, Extern länk
). Publikationsstatus: Epub ahead of print
-
Low-Rank Covariance Matrix Estimation for Factor Analysis in Anisotropic Noise: Application to Array Processing and Portfolio Selection
. I IEEE Transactions on Signal Processing, volym 71, pp 1699-1711, IEEE, 2023. (DOI
).
-
How do we arrive at constraints?: Articulating limits for computing
. I , PubPub, 2023. (DOI
, Fulltext
, Electronic full text
, Extern länk
).
-
<em>Electrical dump-loads increasing spill capacity</em>
. I Hydropower R&D days 2023., 2023.
-
GOSAFEOPT: Scalable safe exploration for global optimization of dynamical systems
. I Artificial Intelligence, volym 320, Elsevier BV, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Real-Time Performance Analysis of Processing Systems on ROS 2 Executors
. I 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
. I Ocean-Land-Atmosphere Research, volym 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
. I Journal of Scientific Computing, volym 94, nummer 1, SPRINGER/PLENUM PUBLISHERS, 2023. (DOI
). Publikationsstatus: Epub ahead of print
-
Residual viscosity stabilized RBF-FD methods for solving nonlinear conservation laws
. I Journal of Scientific Computing, volym 94, Springer, 2023. (DOI
, Fulltext
, Preprint on arXiv
, fulltext:print
).
-
SimpLex: a lexical text simplification architecture
. I Neural Computing & Applications, volym 35, nummer 8, pp 6265-6280, Springer Nature, 2023. (DOI
, Fulltext
).
-
Optimal Reads-From Consistency Checking for C11-Style Memory Models
. I Proceedings of the ACM on Programming Languages, volym 7, nummer PLDI, pp 761-785, 2023. (DOI
).
-
Towards Advancing Body Maps as Research Tool for Interaction Design
. I 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
. I Computer Methods in Applied Mechanics and Engineering, volym 413, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Collective Collaboration Mapping’ towards Knowledge Commons
. I , Oldenburg, 2023.
-
A Finite Difference-Discontinuous Galerkin Method for the Wave Equation in Second Order Form
. I SIAM Journal on Numerical Analysis, volym 61, nummer 4, pp 1962-1988, 2023. (DOI
, Extern länk
).
-
Block-MUSIC in blade tip timing: Performance study of block snapshot matrix
. I Mechanical systems and signal processing, volym 198, Elsevier, 2023. (DOI
).
-
Iterative solution methods for 3D controlled-source electromagnetic forward modelling of geophysical exploration scenarios
. I Computational Geosciences, volym 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
. I Constraints, volym 28, nummer 2, pp 71-104, 2023. (DOI
, Fulltext
).
-
Can Representation Learning for Multimodal Image Registration be Improved by Supervision of Intermediate Layers?
. I IbPRIA 2023: Pattern Recognition and Image Analysis, Lecture Notes in Computer Science, pp 261-275, Springer, 2023. (DOI
, Extern länk
).
-
Partial dimensional collapse in contrastive learning when using intermediate layers
. I , 2023.
-
Representation Learning and Information Fusion: <em>Applications in Biomedical Image Processing</em>
. Doktorsavhandling, 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
. I PATTERNS, volym 4, nummer 2, Elsevier, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Reliable Uncertainty Quantification in Statistical Learning
. Doktorsavhandling, 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
. I International journal of adaptive control and signal processing (Print), volym 37, nummer 2, pp 447-473, John Wiley & Sons, 2023. (DOI
, Fulltext
, fulltext:print
).
-
Sequential Monte Carlo: A Unified Review
. I ANNUAL REVIEW OF CONTROL ROBOTICS AND AUTONOMOUS SYSTEMS, volym 6, pp 159-182, ANNUAL REVIEWS, 2023. (DOI
, Fulltext
, fulltext:print
).
-
TunnelLiFi: Bringing LiFi to Commodity Internet of Things Devices
. I 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. (Extern länk
).
-
Stable subspace dimension reduced MUSIC for blade tip timing
. I Journal of Sound and Vibration, volym 545, Elsevier, 2023. (DOI
).
-
Discursive construction of migrant otherness on Facebook: A distributional semantics approach
. I Discourse & Society, volym 34, nummer 2, pp 236-254, 2023. (DOI
).
-
Game-of-Life Temperature-Aware DVFS Strategy for Tile-Based Chip Many-Core Processors
. I IEEE JOURNAL ON EMERGING AND SELECTED TOPICS IN CIRCUITS AND SYSTEMS, volym 13, nummer 1, pp 58-72, IEEE, 2023. (DOI
).
-
SE-CNN: Convolution Neural Network Acceleration via Symbolic Value Prediction
. I IEEE JOURNAL ON EMERGING AND SELECTED TOPICS IN CIRCUITS AND SYSTEMS, volym 13, nummer 1, pp 73-85, IEEE, 2023. (DOI
).
-
Association of lifestyle with deep learning predicted electrocardiographic age
. I Frontiers in Cardiovascular Medicine, volym 10, Frontiers Media S.A., 2023. (DOI
, Fulltext
, fulltext:print
).
-
An Online Kullback-Leibler Divergence-Based Stealthy Attack Against Cyber-Physical Systems
. I IEEE Transactions on Automatic Control, volym 68, nummer 6, pp 3672-3679, IEEE, 2023. (DOI
).
-
Efficient Hierarchical Storage Management Empowered by Reinforcement Learning
. I IEEE Transactions on Knowledge and Data Engineering, volym 35, pp 5780-5793, IEEE, 2023. (DOI
).
-
Probabilistic Estimation of Instantaneous Frequencies of Chirp Signals
. I IEEE Transactions on Signal Processing, volym 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
. I Frontiers in Computer Science, volym 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
. I IEEE Transactions on Biomedical Engineering, volym 70, nummer 7, pp 2227-2236, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI
).
-
RegiSTORM: channel registration for multi-color stochastic optical reconstruction microscopy
. I BMC Bioinformatics, volym 24, nummer 1, BMC, 2023. (DOI
, fulltext:print
).
-
Development of an integrated decision support system (IDSS)
. I 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
. I Energy and AI, volym 14, 2023. (Extern länk
).
-
Uppsala: Groundwater management in the neighbourhood of Rosendal
. I 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
. I PLOS ONE, volym 18, nummer 3, Public Library of Science (PLoS), 2023. (DOI
, Fulltext
, Pre-print i arXiv
, fulltext:print
).