Department of Information Technology
Department of Information Technology
Uppsala UniversityInformation TechnologyResearchPublications
Denna sida på svenska
Listen

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 of the university.
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.

  1. Service-based Federated Deep Reinforcement Learning for Anomaly Detection in Fog Ecosystems. Mays AL-Naday, Martin Reed, Vlad Dobre, Salman Toor, Bruno Volckaert, and Filip De Turck. 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).
  2. Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY. Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, and Wolfgang Ahrendt. In International Journal on Software Tools for Technology Transfer (STTT), volume 25, number 2, pp 185-204, 2023. (DOI, External link).
  3. Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs. Rosa Abbasi and Eva Darulova. In Static Analysis: 30th International Symposium, SAS 2023, 2023.
  4. Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs. Parosh Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bonneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, and Konstantinos Sagonas. In Automated Technology for Verification and Analysis, 21st International Symposium, ATVA 2023, Singapore, Oct. 2023. Proceedings., 2023.
  5. Optimal Stateless Model Checking for Causal Consistency. Parosh Aziz Abdulla, Mohamed Faouzi Atig, S. Krishna, Ashutosh Gupta, and Omkar Tuppe. 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).
  6. Overcoming Memory Weakness with Unified Fairness: Systematic Verification of Liveness in Weak Memory Models. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, and Mihir Vahanwala. 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).
  7. Parameterized Verification under TSO with Data Types. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait A. Godbole, Yacoub G. Hendi, Shankara N. Krishna, and Stephan Spengler. 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).
  8. AN ELLIPTIC LOCAL PROBLEM WITH EXPONENTIAL DECAY OF THE RESONANCE ERROR FOR NUMERICAL HOMOGENIZATION. Assyr Abdulle, Doghonay Arjmand, and Edoardo Paganoni. In Multiscale Modeling & simulation, volume 21, number 2, pp 513-541, Society for Industrial & Applied Mathematics (SIAM), 2023. (DOI).
  9. Positive Design Framework for Carer-eSupport: A Qualitative Study to Support Informal Caregivers of Patients with Head and Neck Cancer in Sweden. Awais Ahmad, Shweta Premanandan, Ulrica Langegård, Åsa Cajander, Birgitta Johansson, Maria E. Carlsson, and Ylva Tiblom Ehrsson. In JMIR Cancer, volume 9, JMIR Publications, 2023. (DOI, Fulltext, Preprint of article, fulltext:print).
  10. Selection of human evaluators for design smell detection using dragonfly optimization algorithm: An empirical study. Sultan M. Al Khatib, Khalid Alkharabsheh, and Sadi Alawadi. In Information and Software Technology, volume 155, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  11. Automatic Program Instrumentation for Automatic Verification. Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, and Philipp Rümmer. In CAV 2023: Computer Aided Verification, volume 13966 of Lecture Notes in Computer Science, pp 281-304, Cham, 2023. (DOI, Fulltext).
  12. Care Robots and Humanity: How Can We Cope with TheIndeterminacy and Ambiguity of Robot-Human Relationships?. Ryoko Asai, Makoto Nakada, and Iordanis Kavathatzopoulos. In , 2023. (Conference site, Program).
  13. Achieving improved accuracy for imputation of ancient DNA. Kristiina Ausmees and Carl Nettelblad. In Bioinformatics, volume 39, number 1, Oxford University Press, 2023. (DOI, Fulltext, fulltext:print).
  14. Stage-parallel preconditioners for implicit Runge-Kutta methods of arbitrarily high order, linear problems. Owe Axelsson, Ivo Dravins, and Maya Neytcheva. In Numerical Linear Algebra with Applications, John Wiley & Sons, 2023. (DOI, Fulltext, fulltext:print). Publication status: Epub ahead of print
  15. Multiple-hypothesis testing rules for high-dimensional model selection and sparse-parameter estimation. Prabhu Babu and Peter Stoica. In Signal Processing, volume 213, Elsevier BV, 2023. (DOI).
  16. Modeling and inversion in acoustic-elastic coupled media using energy-stable summation-by-parts operators. Milad Bader, Martin Almquist, and Eric M. Dunham. In Geophysics, volume 88, number 3, SOC EXPLORATION GEOPHYSICISTS - SEG, 2023. (DOI).
  17. Modeling and inversion in acoustic-elastic coupled media using energy-stable summation-by-parts operators. Milad Bader, Martin Almquist, and Eric M. Dunham. In Geophysics, volume 88, number 3, pp T137-T150, Society of Exploration Geophysicists, 2023. (DOI, To the Article).
  18. Deep Active Learning for Glioblastoma Quantification. Subhashis Banerjee and Robin Strand. In Scandinavian Conference on Image Analysis, pp 190-200, 2023.
  19. Deep Curriculum Learning for Follow-up MRI Registration in Glioblastoma. Subhashis Banerjee, Dimitrios Toumpanakis, Ashis Dhara, Johan Wikström, and Robin Strand. In Medical Imaging 2023: Image Processing, Progress in Biomedical Optics and Imaging, SPIE -Society of Photo-Optical Instrumentation Engineers, 2023. (DOI).
  20. Lifelong Learning with Dynamic Convolutions for Glioma: Segmentation from Multi-Modal MRI. Subhashis Banerjee and Robin Strand. In Medical Imaging 2023: Image Processing, Progress in Biomedical Optics and Imaging, SPIE - International Society for Optical Engineering, 2023.
  21. Lifelong Learning with Dynamic Convolutions for Glioma Segmentation from Multi-Modal MRI. Subhashis Banerjee and Robin Strand. In Medical imaging 2023, Progress in Biomedical Optics and Imaging, SPIE - International Society for Optical Engineering, 2023. (DOI, Fulltext, fulltext:print).
  22. Towards Efficient Explainability of Schedulability Properties in Real-Time Systems. Sanjoy Baruah and Pontus Ekberg. In <em>Proceedings of the 35th Euromicro Conference on Real-Time Systems (ECRTS)</em>, 2023. (DOI, Fulltext).
  23. Visualization and quality control tools for large-scale multiplex tissue analysis in TissUUmaps3. Andrea Behá?ová, Christophe Avenel, Axel Andersson, Eduard Chelebian, Anna Klemm, Lina Wik, Arne Östman, and Carolina Wählby. In Biological Imaging, volume 3, 2023. (DOI).
  24. Analytical Estimation of Beamforming Speed-of-Sound Using Transmission Geometry. Can Deniz Bezek and Orcun Göksel. In Ultrasonics, volume 134, Elsevier, 2023. (DOI, Fulltext, Pre-print in arXiv, fulltext:print).
  25. 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. Matthias Bolten, Sven-Erik Ekström, Isabella Furci, and Stefano Serra-Capizzano. In Electronic Transactions on Numerical Analysis, volume 58, pp 136-163, Osterreichische Akademie der Wissenschaften, Verlag, 2023. (DOI, Fulltext, fulltext:print).
  26. Waveform Inversion with a Data Driven Estimate of the Internal Wave. Liliana Borcea, Josselin Garnier, Alexander V. Mamonov, and Jörn Zimmerling. In SIAM Journal on Imaging Sciences, volume 16, number 1, pp 280-312, Society for Industrial and Applied Mathematics, 2023. (DOI).
  27. Waveform inversion via reduced order modeling. Liliana Borcea, Josselin Garnier, Alexander V. Mamonov, and Jörn Zimmerling. In Geophysics, volume 88, number 2, pp R175-R191, Society of Exploration Geophysicists, 2023. (DOI).
  28. A Methodology for Investigating Women's Module Choices in Computer Science. Steven Bradley, Miranda Parker, Rukiye Altin, Lecia Barker, Sara Hooshangi, Samia Kamal, Thom Kunkeler, Ruth Lennon, Fiona McNeill, Julià Minguillón, Jack Parkinson, Svetlana Peltsverger, and Naaz Sibia. In Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education, 2023. (DOI).
  29. Association Between Electrocardiographic Age and Cardiovascular Events in Community Settings: The Framingham Heart Study. Luisa C. C. Brant, Antônio Horta Ribeiro, Marcelo M. Pinto-Filho, Jelena Kornej, Sarah R. Preis, Jessica L. Fetterman, Oseiwe B. Eromosele, Jared W. Magnani, Joanne M. Murabito, Martin G. Larson, Emelia J. Benjamin, Antonio L. P. Ribeiro, and Honghuang Lin. In Circulation. Cardiovascular Quality and Outcomes, volume 16, number 7, Ovid Technologies (Wolters Kluwer Health), 2023. (DOI).
  30. Image Processing and Analysis Methods for Biomedical Applications. Eva Breznik. 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).
  31. Introducing Spatial Context in Patch-Based Deep Learning for Semantic Segmentation in Whole Body MRI. Eva Breznik, Joel Kullberg, Håkan Ahlström, and Robin Strand. In Scandinavian Conference on Image Analysis, pp 214-228, 2023.
  32. Introducing spatial context in patch-based deep learning for semantic segmentation in whole body MRI. Eva Breznik, Joel Kullberg, Håkan Ahlström, and Robin Strand. In Proceedings of the 22nd Scandinavian conference on image analysis (SCIA), Lecture Notes in Computer Science, Springer, 2023.
  33. Continuous and discrete Volterra-Laguerre models with  delay for modeling of smooth pursuit eye movements. Viktor Bro and Alexander Medvedev. In IEEE Transactions on Biomedical Engineering, volume 70, number 1, pp 97-104, IEEE, 2023. (DOI, Fulltext, fulltext:print).
  34. Bayesian inference in epidemics: linear noise analysis. Samuel Bronstein, Stefan Engblom, and Robin Marin. 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).
  35. Improved accuracy of plane-wave electromagnetic modelling by application of the total and scattered field decomposition and perfectly matched layers. Laura M. Buntin, Thomas Kalscheuer, Gunilla Kreiss, and Z. Ren. 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
  36. Exploring Multidimensional Trust: Shaping Child-Robot Creative Collaborations in Education. Natalia Calvo Barajas. 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).
  37. Encore: Coda. Elias Castegren and Tobias Wrigstad. In State-of-Art volume on Active Objects, Lecture Notes in Computer Science, Springer Nature, 2023.
  38. Discrete-Time Fractional-Order Dynamical Networks Minimum-Energy State Estimation. Sarthak Chatterjee, Andrea Alessandretti, Antonio Pedro Aguiar, and Sergio Pequito. In IEEE Transactions on Control of Network Systems, volume 10, number 1, pp 226-237, IEEE, 2023. (DOI).
  39. Investigating the Relevance of Contextual Information Towards Improving Deep CNN Based Oral Cancer Screening on Whole Slide Cytology Samples. Swarnadip Chatterjee, Nataša Sladoje, and Joakim Lindblad. In , Swedish Symposium on Deep Learning, Kolmården, 2023.
  40. When Concurrency Matters: Behaviour-Oriented Concurrency. Luke Cheeseman. In Proceedings of the ACM on Programming Languages, Association for Computing Machinery (ACM), 2023. Publication status: Accepted
  41. Generative appearance replay for continual unsupervised domain adaptation. Boqi Chen, Kevin Thandiackal, Pushpak Pati, and Orcun Göksel. In Medical Image Analysis, volume 89, pp 102924-102924, 2023. (DOI).
  42. Probability elicitation for Bayesian networks to distinguish between intentional attacks and accidental technical failures. Sabarathinam Chockalingam, Wolter Pieters, André Teixeira, and Pieter van Gelder. In Journal of Information Security and Applications, volume 75, ELSEVIER, 2023. (DOI, fulltext:print).
  43. Poster: A Battery-free Backscatter Communication System for Non-persistent Carriers. Po-Hsuan Chou, Weining Song, Thiemo Voigt, Christian Rohner, and Chao Wang. In , 2023.
  44. Efficient Resource Scheduling for Distributed Infrastructures using Negotiation Capabilities. Junji Chu, Prashant Singh, and Salman Toor. In , 2023. Publication status: Accepted
  45. Spectral and norm estimates for matrix-sequences arising from a finite difference approximation of elliptic operators. Armando Coco, Sven-Erik Ekström, Giovanni Russo, Stefano Serra-Capizzano, and Santina Chiara Stissi. In Linear Algebra and its Applications, volume 667, pp 10-43, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  46. Variational system identification for nonlinear state-space models. Jarrad Courts, Adrian G. Wills, Thomas B. Schön, and Brett Ninness. In Automatica, volume 147, Elsevier, 2023. (DOI).
  47. Preconditioning for block matrices with square blocks. Ivo Dravins. 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).
  48. Highlights from the 33rd European conference on cognitive ergonomics (ECCE 2022) Evaluating the Reality-Virtuality Continuum. Achim Ebert and Jessica Lindblom. In Behavior and Information Technology, volume 42, number 3, pp 265-268, Taylor & Francis, 2023. (DOI).
  49. Dental hygienists and dentists as providers of brush biopsies for oral mucosa screening. Kristina Edman, Christina Runow Stark, Vladimir Basic, Joakim Lindblad, and Jan?Michaél Hirsch. In International Journal of Dental Hygiene, volume 21, number 3, pp 524-532, John Wiley & Sons, 2023. (DOI).
  50. Scheduling Dynamic Software Updates in Mobile Robots. Ahmed El Yaacoub, Luca Mottola, Thiemo Voigt, and Philipp Rümmer. In ACM Transactions on Embedded Computing Systems, 2023. (DOI). Publication status: Accepted
  51. Timing Analysis of Embedded Software Updates. Ahmed El Yaacoub, Luca Mottola, Thiemo Voigt, and Philipp Rümmer. In , 2023.
  52. Multidimensional projection filters via automatic differentiation and sparse-grid integration. Muhammad Fuady Emzir, Zheng Zhao, and Simo Särkkä. In Signal Processing, volume 204, Elsevier, 2023. (DOI).
  53. Incorporating Full Elastodynamic Effects and Dipping Fault Geometries in Community Code Verification Exercises for Simulations of Earthquake Sequences and Aseismic Slip (SEAS). Brittany A. Erickson, Junle Jiang, Valere Lambert, Sylvain D. Barbot, Mohamed Abdelmeguid, Martin Almquist, Jean-Paul Ampuero, Ryosuke Ando, Camilla Cattania, Alexandre Chen, Luca Dal Zilio, Shuai Deng, Eric M. Dunham, Ahmed E. Elbanna, Alice-Agnes Gabriel, Tobias W. Harvey, Yihe Huang, Yoshihiro Kaneko, Jeremy E. Kozdon, Nadia Lapusta, Duo Li, Meng Li, Chao Liang, Yajing Liu, So Ozawa, Andrea Perez-Silva, Casper Pranger, Paul Segall, Yudong Sun, Prithvi Thakur, Carsten Uphoff, Ylona van Dinther, and Yuyun Yang. In Bulletin of The Seismological Society of America (BSSA), volume 113, number 2, pp 499-523, SEISMOLOGICAL SOC AMER, 2023. (DOI).
  54. Boundary and interface methods for energy stable finite difference discretizations of the dynamic beam equation. Gustav Eriksson, Jonatan Werpers, David Niemelä, Niklas Wik, Valter Zethrin, and Ken Mattsson. In Journal of Computational Physics, volume 476, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  55. Non-conforming Interface Conditions for the Second-Order Wave Equation. Gustav Eriksson. In Journal of Scientific Computing, volume 95, Springer, 2023. (DOI, Fulltext, fulltext:print).
  56. Proportionality on Spatial Data with Context. Georgios J Fakas and Georgios Kalamatianos. In ACM Transactions on Database Systems, volume 48, number 2, pp 1-37, Association for Computing Machinery (ACM), 2023. (DOI, Fulltext, fulltext:print).
  57. Speculative inter-thread store-to-load forwarding in SMT architectures. Josue Feliu, Alberto Ros, Manuel E. Acacio, and Stefanos Kaxiras. In Journal of Parallel and Distributed Computing, volume 173, pp 94-106, ACADEMIC PRESS INC ELSEVIER SCIENCE, 2023. (DOI, Fulltext).
  58. A multi-period sustainable hydrogen supply chain model considering pipeline routing and carbon emissions: The case study of Oman. Kamran Forghani, Reza Kia, and Yousef Nejatbakhsh. In Renewable & sustainable energy reviews, volume 173, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  59. Infrastructure and the Energy Use of Human Polities. Jacob Freeman, Jacopo A. Baggio, Lux Miranda, and John M. Anderies. In Cross-cultural research, volume 57, number 2-3, pp 294-322, Sage Publications, 2023. (DOI, fulltext:postprint).
  60. ?-Circulant Matrices: A Selection of Modern Applications from Preconditioning of Approximated PDEs to Subdivision Schemes. Rafael Diaz Fuentes, Stefano Serra-Capizzano, and Rosita Luisa Sormani. In Algorithms, volume 16, number 7, MDPI AG, 2023. (DOI, fulltext:print).
  61. Robustness and Sensitivity of Network-Based Topic Detection. Carla Galluccio, Matteo Magnani, Davide Vega, Giancarlo Ragozini, and Alessandra Petrucci. 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).
  62. Invertible Kernel PCA With Random Fourier Features. Daniel Gedon, Antônio H. Ribeiro, Niklas Wahlström, and Thomas B. Schön. In IEEE Signal Processing Letters, volume 30, pp 563-567, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI).
  63. An Active Learning Approach to Synthesizing Program Contracts. Sandip Ghosal, Bengt Jonsson, and Philipp Rümmer. In , 2023.
  64. QTL mapping of the narrow-branch "Pendula" phenotype in Norway spruce (Picea abies L. Karst.). Francisco Gil-Munoz, Carolina Bernhardsson, Sonali Sachin Ranade, Douglas Scofield, Pertti O. Pulkkinen, Par K. Ingvarsson, and M. Rosario Garcia-Gil. In Tree Genetics & Genomes, volume 19, number 3, Springer Nature, 2023. (DOI, fulltext:print).
  65. Lethe-DEM: an open-source parallel discrete element solver with load balancing. Shahab Golshan, Peter Munch, Rene Gassmoeller, Martin Kronbichler, and Bruno Blais. In COMPUTATIONAL PARTICLE MECHANICS, volume 10, number 1, pp 77-96, Springer Nature, 2023. (DOI).
  66. 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. Virginia Grande. 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).
  67. The Virtuous, the Caring, and the Free: Ethical Theory to Understand the Ethics of the Teacher as a Role Model in Engineering Education. Virginia Grande, Thomas Taro Lennerfors, Anne-Kathrin Peters, and Kristina von Hausswolff. In European Journal of Engineering Education, 2023. (DOI, Fulltext, External link).
  68. The lost art of mathematical modelling. Linnéa Gyllingberg, Abeba Birhane, and David J. T. Sumpter. In Mathematical Biosciences, volume 362, Elsevier BV, 2023. (DOI, fulltext:print).
  69. Using neuronal models to capture burst-and-glide motion and leadership in fish. Linnéa Gyllingberg, Alex Szorkovszky, and David J. T. Sumpter. In Journal of the Royal Society Interface, volume 20, number 204, The Royal Society, 2023. (DOI, fulltext:print).
  70. Evaluating the utility of brightfield image data for mechanism of action prediction. Philip John Harrison, Ankit Gupta, Jonne Rietdijk, Håkan Wieslander, Jordi Carreras-Puigvert, Polina Georgiev, Carolina Wählby, Ola Spjuth, and Ida-Maria Sintorn. In PloS Computational Biology, volume 19, number 7, Public Library of Science (PLoS), 2023. (DOI, Fulltext, fulltext:print).
  71. A Study of Augmentation Methods for Handwritten Stenography Recognition. Raphaela Heil and Eva Breznik. In , 2023. (DOI).
  72. Document Image Processing for Handwritten Text Recognition: Deep Learning-based Transliteration of Astrid Lindgren’s Stenographic Manuscripts. Raphaela Heil. 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).
  73. On Optimal Convergence Rates for Discrete Minimizers of the Gross-Pitaevskii Energy in Localized Orthogonal Decomposition Spaces. Patrick Henning and Anna Persson. In Multiscale Modeling & Simulation, volume 21, number 3, pp 993-1011, 2023. (DOI, External link).
  74. Learn2Reg: comprehensive multi-task medical image registration challenge, dataset and evaluation in the era of deep learning. Alessa Hering, Lasse Hansen, Tony C. W. Mok, Albert C. S. Chung, Hanna Siebert, Stephanie Hager, Annkristin Lange, Sven Kuckertz, Stefan Heldmann, Wei Shao, Sulaiman Vesal, Mirabela Rusu, Geoffrey Sonn, Theo Estienne, Maria Vakalopoulou, Luyi Han, Yunzhi Huang, Pew-Thian Yap, Mikael Brudfors, Yael Balbastre, Samuel Joutard, Marc Modat, Gal Lifshitz, Dan Raviv, Jinxin Lv, Qiang Li, Vincent Jaouen, Dimitris Visvikis, Constance Fourcade, Mathieu Rubeaux, Wentao Pan, Zhe Xu, Bailiang Jian, Francesca De Benetti, Marek Wodzinski, Niklas Gunnarsson, Jens Sjölund, Daniel Grzech, Huaqi Qiu, Zeju Li, Alexander Thorley, Jinming Duan, Christoph Grossbrohmer, Andrew Hoopes, Ingerid Reinertsen, Yiming Xiao, Bennett Landman, Yuankai Huo, Keelin Murphy, and Nikolas Lessmann. 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).
  75. Enactive artificial intelligence: subverting gender norms in human-robot interaction. Inês Hipólito, Katie Winkle, and Merete Lie. In Frontiers in Neurorobotics, volume 17, 2023. (DOI, External link, fulltext:print).
  76. A sine transform based preconditioned MINRES method for all-at-once systems from constant and variable-coefficient evolutionary PDEs. Sean Hon, Po Yin Fung, Jiamei Dong, and Stefano Serra-Capizzano. In Numerical Algorithms, Springer Science and Business Media LLC, 2023. (DOI, External link).
  77. Overparameterized Linear Regression Under Adversarial Attacks. Antônio Horta Ribeiro and Thomas B. Schön. In IEEE Transactions on Signal Processing, volume 71, pp 601-614, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI).
  78. Lightweight certificate revocation for low-power IoT with end-to-end security. Joel Höglund, Martin Furuhed, and Shahid Raza. In Journal of Information Security and Applications, volume 73, Elsevier, Amsterdam, 2023. (DOI).
  79. Public Key Infrastructure and its applications for resource-constrained IoT. Joel Höglund. 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).
  80. Scaling up Roundoff Analysis of Functional Data Structure Programs. Anastasia Isychev and Eva Darulova. In Static Analysis: 30th International Symposium, SAS 2023, 2023.
  81. Decision Procedures for Sequence Theories. Artur Jez, Anthony W. Lin, Oliver Markgraf, and Philipp Rümmer. In CAV 2023: Computer Aided Verification, volume 13965 of Lecture Notes in Computer Science, pp 18-40, Cham, 2023. (DOI).
  82. Analysis and Optimization of Worst-Case Time Disparity in Cause-Effect Chains. Xu Jiang, Xiantong Luo, Nan Guan, Zheng Dong, Shaoshan Liu, and Yi Wang. In 2023 Design, Automation &amp; Test in Europe Conference &amp; Exhibition (DATE), Design Automation and Test in Europe Conference and Exhibition, pp 1-6, IEEE, 2023. (DOI).
  83. Scheduling Parallel Real-Time Tasks on Virtual Processors. Xu Jiang, Haochun Liang, Nan Guan, Yue Tang, Lei Qiao, and Yi Wang. In IEEE Transactions on Parallel and Distributed Systems, volume 34, number 1, pp 33-47, IEEE, 2023. (DOI).
  84. Leveraging Machine Learning for Disease Diagnoses based on Wearable Devices: A Survey. Z. Jiang, Vera van Zoest, W. Deng, E. C. H. Ngai, and J. Liu. In IEEE Internet of Things Journal, pp 1-1, 2023. (DOI).
  85. Screening for Chagas disease from the electrocardiogram using a deep neural network. Carl Jidling, Daniel Gedon, Thomas B. Schön, Claudia Di Lorenzo Oliveira, Clareci Silva C. Cardoso, Ariela Mota Ferreira, Luana Giatti, Sandhi Maria Barreto, Ester Sabino, Antonio L. P. Ribeiro, and Antônio Horta Ribeiro. In PLoS Neglected Tropical Diseases, volume 17, number 7, Public Library of Science (PLoS), 2023. (DOI, fulltext:print).
  86. Federated Learning Using Three-Operator ADMM. Shashi Kant, Jose Mairton Barros da Silva Junior, Gabor Fodor, Bo Goransson, Mats Bengtsson, and Carlo Fischione. In IEEE Journal on Selected Topics in Signal Processing, volume 17, number 1, pp 205-221, IEEE Signal Processing Society, 2023. (DOI, Fulltext).
  87. Nonadiabatic wave packet dynamics and predissociation resonances in sodium hydride. Hans O. Karlsson. In Physical Chemistry, Chemical Physics - PCCP, volume 25, number 12, pp 8482-8488, Royal Society of Chemistry, Cambridge, UK, 2023. (DOI, Fulltext, fulltext:print).
  88. Y-Linked Copy Number Polymorphism of Target of Rapamycin Is Associated with Sexual Size Dimorphism in Seed Beetles. Philipp Kaufmann, R. Axel W. Wiberg, Konstantinos Papachristos, Douglas Scofield, Christian Tellgren-Roth, and Elina Immonen. In Molecular biology and evolution, volume 40, number 8, Oxford University Press, 2023. (DOI, Fulltext, fulltext:print).
  89. Generalized elementary functions. Christer Oscar Kiselman. In Complex Variables and Elliptic Equations, volume 68, number 6, pp 918-931, Taylor & Francis, 2023. (DOI, Fulltext, fulltext:print).
  90. ASE-Net for Segmentation of Post-operative Glioblastoma and Patient-specific Fine-tuning for Segmentation Refinement of Follow-up MRI Scans. Swagata Kundu, Subhashis Banerjee, Eva Breznik, Dimitrios Toumpanakis, Johan Wikström, Robin Strand, and Ashis Kumar Dhara. In , 2023. Publication status: Submitted
  91. Doppelganger Loads: A Safe, Complexity-Effective Optimization for Secure Speculation Schemes. Amund Bergland Kvalsvik, Pavlos Aimoniotis, Stefanos Kaxiras, and Magnus Själander. In ISCA '23: Proceedings of the 50th Annual International Symposium on Computer Architecture, Association for Computing Machinery (ACM), New York, NY, 2023. (DOI).
  92. Human-Swarm Interaction in Semi-voluntary Search and Rescue Operations: Opportunities and Challenges. Jonathan Källbäcker and Oscar Bjurling. In , 2023. (DOI).
  93. Understanding the challenges and need for support of informal caregivers to individuals with head and neck cancer - A basis for developing internet-based support. Ulrica Langegård, Åsa Cajander, Awais Ahmad, Maria E. Carlsson, Emma Ohlsson Nevo, Birgitta Johansson, and Ylva Tiblom Ehrsson. In European Journal of Oncology Nursing, volume 64, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  94. Scaling of radial basis functions. Elisabeth Larsson and Robert Schaback. In IMA Journal of Numerical Analysis, pp 1-23, 2023. (DOI).
  95. Contextual Think Aloud: Method for Understanding Users and Their Digital Work Environment. Marta Larusdottir and Åsa Cajander. In , 2023.
  96. User-Centered Design Approaches and Software Development Processes. Marta Larusdottir, Åsa Cajander, and Virpi Roto. In Handbook of Human Computer Interaction, Springer Reference Computer Sciences, pp 1-24, Springer, Cham, 2023. (DOI).
  97. A finite element based Heterogeneous Multiscale Method for the Landau-Lifshitz equation. Lena Leitenmaier and Murtazo Nazarov. In Journal of Computational Physics, volume 486, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  98. An Experimental Study of Byzantine-Robust Aggregation Schemes in Federated Learning. Shenghui Li, Edith C.-H. Ngai, and Thiemo Voigt. In IEEE Transactions on Big Data, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI). Publication status: Epub ahead of print
  99. Byzantine-Robust Aggregation in Federated Learning Empowered Industrial IoT. Shenghui Li, Edith Ngai, and Thiemo Voigt. In IEEE Transactions on Industrial Informatics, volume 19, number 2, pp 1165-1175, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI).
  100. Persistent discrepancies in orbital morphology after surgical treatment of unicoronal craniosynostosis: a critical image-based analysis. Hanna M. Lif, Johan Nysjö, Johan Vegelius, Jesper Unander-Scharin, Per Enblad, and Daniel Nowinski. In Journal of Neurosurgery: Pediatrics, volume 31, number 6, pp 574-583, Journal of Neurosurgery Publishing Group (JNSPG), 2023. (DOI).
  101. Sound Mixed Fixed-Point Quantization of Neural Networks. Debasmita Lohar, Clothilde Jeangoudoux, Anastasia Volkova, and Eva Darulova. In ACM Transactions on Embedded Computing Systems, 2023. Publication status: Accepted
  102. A high-order artificial compressibility method based on Taylor series time-stepping for variable density flow. Lukas Lundgren and Murtazo Nazarov. In Journal of Computational and Applied Mathematics, volume 421, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  103. High-order finite element methods for incompressible variable density flow. Lukas Lundgren. 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).
  104. Anomaly detection based on multi-teacher knowledge distillation. Ye Ma, Xu Jiang, Nan Guan, and Yi Wang. In Journal of systems architecture, volume 138, ELSEVIER, 2023. (DOI).
  105. Decomposing and Tracing Mutual Information by Quantifying Reachable Decision Regions. Tobias Mages and Christian Rohner. In Entropy, volume 25, number 7, Basel, Switzerland, 2023. (DOI, External link).
  106. Demo: An Educational Platform to Learn Radio Frequency Wireless Communication. Tobias Mages, Wenqing Yan, Ambuj Varshney, and Christian Rohner. 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).
  107. Bayesian Monitoring of COVID-19 in Sweden. Robin Marin, Håkan Runvik, Alexander Medvedev, and Stefan Engblom. In Epidemics, volume 45, 2023. (DOI, Fulltext, External link).
  108. Implicit summation by parts operators for finite difference approximations of first and second derivatives. Ken Mattsson and Ylva Ljungberg Rydin. In Journal of Computational Physics, volume 473, pp 111743-111743, 2023. (DOI).
  109. Implicit summation by parts operators for finite difference approximations of first and second derivatives. Ken Mattsson and Ylva Ljungberg Rydin. In Journal of Computational Physics, volume 473, Elsevier, 2023. (DOI, Fulltext, fulltext:print). Publication status: Epub ahead of print
  110. Analysis of the Minimum-Norm Least-Squares Estimator and Its Double-Descent Behavior [Lecture Notes]. Per Mattsson, Dave Zachariah, and Peter Stoica. In IEEE signal processing magazine (Print), volume 40, number 3, pp 39-75, IEEE, 2023. (DOI).
  111. Regularized Linear Regression via Covariance Fitting. Per Mattsson, Dave Zachariah, and Peter Stoica. In IEEE Transactions on Signal Processing, volume 71, pp 1175-1183, IEEE, 2023. (DOI).
  112. Explicit implicit domain splitting for two phase flows with phase transition. Sandra May and Ferdinand Thein. In Physics of fluids, volume 35, number 1, American Institute of Physics (AIP), 2023. (DOI).
  113. Design of the Impulsive Goodwin's Oscillator: A Case Study. Alexander Medvedev, Anton V. Proskurnikov, and Zhanybai T. Zhusubaliyev. In 2023 American Control Conference (ACC), Proceedings of the American Control Conference, pp 3572-3577, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI).
  114. The D-RBF-PU method for solving surface PDEs. Reyhaneh Mir and Davoud Mirzaei. In Journal of Computational Physics, volume 479, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  115. Examining the State of Robot Identity. Lux Miranda, Ginevra Castellano, and Katie Winkle. 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).
  116. A fault detection method based on partition of unity and kernel approximation. Davoud Mirzaei and Navid Soodbakhsh. In Numerical Algorithms, volume 93, number 4, pp 1759-1794, Springer Nature, 2023. (DOI, Fulltext, fulltext:print).
  117. Learned Reconstruction Methods With Convergence Guarantees: A survey of concepts and applications. Subhadip Mukherjee, Andreas Hauptmann, Ozan Öktem, Marcelo Pereyra, and Carola-Bibiane Schonlieb. In IEEE signal processing magazine (Print), volume 40, number 1, pp 164-182, IEEE, 2023. (DOI).
  118. Efficient distributed matrix-free multigrid methods on locally refined meshes for FEM computations. Peter Munch, Timo Heister, Laura Prieto Saavedra, and Martin Kronbichler. In ACM transactions on parallel computing, volume 10, number 1, pp 1-38, Association for Computing Machinery (ACM), 2023. (DOI).
  119. A PUF-Based Indirect Authentication and Key Establishment Protocol for Wearable Devices. Vipin N. Sathi, Christian Rohner, and Thiemo Voigt. In , 2023.
  120. Quickest detection of deception attacks on cyber-physical systems with a parsimonious watermarking policy. Arunava Naha, André Teixeira, Anders Ahlén, and Subhrakanti Dey. In Automatica, volume 155, Elsevier BV, 2023. (DOI).
  121. Quickest physical watermarking-based detection of measurement replacement attacks in networked control systems. Arunava Naha, André Teixeira, Anders Ahlén, and Subhrakanti Dey. In European Journal of Control, volume 71, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  122. Sequential detection of Replay attacks. Arunava Naha, André Teixeira, Anders Ahlén, and Subhrakanti Dey. In IEEE Transactions on Automatic Control, volume 68, number 3, pp 1941-1948, IEEE, 2023. (DOI).
  123. Approximation results for Beta Jakimovski-Leviatan type operators via q-analogue. Md. Nasiruzzaman, Mohammed A. O. Tom, Stefano Serra-Capizzano, Nadeem Rao, and Mohammad Ayman-Mursaleen. In Filomat, volume 37, number 24, pp 8389-8404, Faculty of Sciences and Mathematics, University of Nis?, 2023. (DOI, External link).
  124. In vivo trueness and precision of full-arch implant scans using intraoral scanners with three different acquisition protocols. Robert Nedelcu, Pontus Olsson, Måns Thulin, Ingela Nyström, and Andreas Thor. In Journal of Dentistry, volume 128, pp 104308-104308, Elsevier BV, 2023. (DOI, Fulltext, fulltext:print).
  125. In vivo trueness of full-arch implant-supported CAD/CAM restorations and models based on conventional impressions. Robert Nedelcu, Pontus Olsson, Måns Thulin, Ingela Nyström, and Andreas Thor. In Journal of Dentistry, volume 128, pp 104381-104381, Elsevier BV, 2023. (DOI, Fulltext, fulltext:print).
  126. Exploring the Latency Sensitivity of Cache Replacement Policies. Ahmed Nematallah, Chang Hyun Park, and David Black-Schaffer. 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
  127. Space temperature policy towards net-zero: Recommendations from a systematic review of UK HEI heating policies. Kathy New, Adam Tyler, Adrian Friday, Mike Hazas, and Alexandra Gormally. In Building Research & Information, volume 51, number 2, pp 223-239, Routledge, 2023. (DOI, Fulltext, fulltext:print).
  128. Distributed formation trajectory planning for multi-vehicle systems. Binh Nguyen, Truong Nghiem, Linh Nguyen, Tung Nguyen, Hung La, Mehdi Sookhak, and Thang Nguyen. In 2023 American Control Conference (ACC), Proceedings of the American Control Conference, pp 1325-1330, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI).
  129. Contrastive Learning of Equivariant Image Representations for Multimodal Deformable Registration. Love Nordling, Johan Öfverstedt, Joakim Lindblad, and Nataša Sladoje. In , Institute of Electrical and Electronics Engineers (IEEE), 2023. (Conference information).
  130. Multimodal deformable image registration using contrastive learning of equivariant image representations. Love Nordling, Johan Öfverstedt, Joakim Lindblad, and Nataša Sladoje. In , 2023. (Conference information).
  131. Neuromuscular controller models for quantifying standing balance in older people: A systematic review. Fredrik Olsson, Kjartan Halvorsen, and Anna Cristina Åberg. In IEEE Reviews in Biomedical Engineering, volume 16, pp 560-578, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI).
  132. Online Learning for Prediction via Covariance Fitting: Computation, Performance and Robustness. Muhammad Osama, Dave Zachariah, Peter Stoica, and Thomas B. Schön. In Transactions on Machine Learning Research, Transactions on Machine Learning Research, 2023. (Publications in full-text).
  133. RFID Tags as Passive Temperature Sensors. Madhushanka Padmal, Christian Rohner, Robin Augustine, and Thiemo Voigt. In 17th annual international conference on RFID, Seattle, WA, USA, June 13-15, 2023., IEEE International Conference on RFID, pp 48-53, 2023. (DOI).
  134. Multi-level Residual Dual Attention Network for Major Cerebral Arteries Segmentation in MRA towards Diagnosis of Cerebrovascular Disorders. Subhash Chandra Pal, Dimitrios Toumpanakis, Johan Wikström, Chirag Kamal Ahuja, Robin Strand, and Ashis Kumar Dhara. In IEEE Transactions on Nanobioscience, pp 1-1, 2023. (DOI).
  135. Statically Resolvable Ambiguity. Viktor Palmkvist, Elias Castegren, Philipp Haller, and David Broman. In Proceedings of the ACM on Programming Languages, volume 7, number POPL, pp 1686-1712, ACM Digital Library, 2023. (DOI, Fulltext, fulltext:print).
  136. How Did We Miss This?: A Case Study on Unintended Biases in Robot Social Behavior. Maria Teresa Parreira, Sarah Gillet, Katie Winkle, and Iolanda Leite. 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).
  137. Weakly supervised joint whole-slide segmentation and classification in prostate cancer. Pushpak Pati, Guillaume Jaume, Zeineb Ayadi, Kevin Thandiackal, Behzad Bozorgtabar, Maria Gabrani, and Orcun Göksel. In Medical Image Analysis, pp 102915-102915, 2023. (DOI).
  138. Learning-based prediction, representation, and multimodal registration for bioimage processing. Nicolas Pielawski. 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).
  139. TissUUmaps 3: Improvements in interactive visualization, exploration, and quality assessment of large-scale spatial omics data. Nicolas Pielawski, Axel Andersson, Christophe Avenel, Andrea Behá?ová, Eduard Chelebian, Anna Klemm, Fredrik Nysjö, Leslie Solorzano, and Carolina Wählby. In Heliyon, volume 9, number 5, Elsevier BV, 2023. (DOI, fulltext:print).
  140. Integrating Prior Knowledge into Machine Learning Models with Applications in Physics. Philipp Pilar. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2023-002, Uppsala University, 2023. (fulltext).
  141. HarmonicID: Identifying Analog Backscatter Tags with Harmonics. Dilushi Piumwardane and Thiemo Voigt. In , Association for Computing Machinery (ACM), 2023. (Poster abstract in full-text).
  142. Stabilized interpolation using radial basis functions augmented with selected radial polynomials. Fatemeh Pooladi and Elisabeth Larsson. In Journal of Computational and Applied Mathematics, pp 1-17, 2023. (DOI).
  143. Design Suggestions for a Persuasive E-coaching Application: A Study on Informal Caregivers' Needs. Shweta Premanandan, Awais Ahmad, Åsa Cajander, Pär Ågerfalk, and Lisette van Gemert-Pijnen. In Digital Health, volume 9, pp 1-12, Sage Publications, 2023. (DOI, Fulltext, fulltext:print).
  144. Designing a Persuasive E-Coaching Application for Informal Caregivers. Shweta Premanandan, Awais Ahmad, Åsa Cajander, and Pär Ågerfalk. 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).
  145. Designing and Evaluating IT Applications for Informal Caregivers: Protocol for a Scoping Review. Shweta Premanandan, Awais Ahmad, Åsa Cajander, Pär Ågerfalk, and Lisette van Gemert-Pijnen. In JMIR Research Protocols, volume 12, JMIR Publications, 2023. (DOI, Fulltext, fulltext:print).
  146. Computing Functions Over-the-Air Using Digital Modulations. Saeed Razavikia, Jose Mairton Barros da Silva Junior, and Carlo Fischione. In IEEE International Conference on Communications, 28 May – 01 June 2023, Rome, Italy, IEEE Communications Society, 2023.
  147. Mitigating Epilepsy by Stabilizing Linear Fractional-Order Systems. Emily A. Reed, Guilherme Ramos, Paul Bogdan, and Sérgio Pequito. In 2023 American Control Conference (ACC), Proceedings of the American Control Conference, pp 2228-2233, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI).
  148. To calibrate or not to calibrate, that is the question. Oscar Samuelsson, Erik U. Lindblom, Anders Björk, and Bengt Carlsson. In Water Research, volume 229, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  149. Robust Imaging of Speed-of-Sound Using Virtual Source Transmission. Dieter Schweizer, Richard Rau, Can Deniz Bezek, Rahel A. Kubik-Huch, and Orcun Göksel. In IEEE Transactions on Ultrasonics, Ferroelectrics and Frequency Control, pp 1-1, 2023. (DOI).
  150. A whole-body diffusion MRI normal atlas: development, evaluation and initial use. Therese Sjöholm, Sambit Tarai, Filip Malmberg, Robin Strand, Alexander Korenyushkin, Gunilla Enblad, Håkan Ahlström, and Joel Kullberg. In Cancer Imaging, 2023. (DOI).
  151. Silent Stores in the Battery-less Internet of Things: A Good Idea?. Weining Song, Stefanos Kaxiras, Luca Mottola, Thiemo Voigt, and Yuan Yao. In , 2023.
  152. Leakage detection in water distribution networks using machine-learning strategies. Diego Perdigão Sousa, Rong Du, Jose Mairton Barros da Silva Junior, Charles Casimiro Cavalcante, and Carlo Fischione. In Water Science and Technology: Water Supply, volume 23, number 3, pp 1115-1126, IWA Publishing, 2023. (DOI, Fulltext).
  153. TSO Games: On the decidability of safety games under the total store order semantics. Stephan Spengler and Sanchari Sil. In , 2023.
  154. Boundary-optimized summation-by-parts operators for finite difference approximations of second derivatives with variable coefficients. Vidar Stiernström, Martin Almquist, and Ken Mattsson. In Journal of Computational Physics, volume 491, 2023. (DOI, External link). Publication status: Epub ahead of print
  155. Low-Rank Covariance Matrix Estimation for Factor Analysis in Anisotropic Noise: Application to Array Processing and Portfolio Selection. Peter Stoica and Prabhu Babu. In IEEE Transactions on Signal Processing, volume 71, pp 1699-1711, IEEE, 2023. (DOI).
  156. How do we arrive at constraints?: Articulating limits for computing. Martin Stojanov, Daniel Pargman, Mike Hazas, Robert Comber, and Jorge Luis Zapico. In , PubPub, 2023. (DOI, Fulltext, Electronic full text, External link).
  157. <em>Electrical dump-loads increasing spill capacity</em>. Adam Strömme Mattsson, Per Norrlund, and Urban Lundin. In Hydropower R&amp;D days 2023., 2023.
  158. GOSAFEOPT: Scalable safe exploration for global optimization of dynamical systems. Bhavya Sukhija, Matteo Turchetta, David Lindner, Andreas Krause, Sebastian Trimpe, and Dominik Baumann. In Artificial Intelligence, volume 320, Elsevier BV, 2023. (DOI, Fulltext, fulltext:print).
  159. Real-Time Performance Analysis of Processing Systems on ROS 2 Executors. Yue Tang, Nan Guan, Xu Jiang, Xiantong Luo, and Yi Wang. 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).
  160. Quantifying uncertainties in CERES/MODIS Downwelling radiation fluxes in the global tropical oceans. Venugopal Thandlam, Anna Rutgersson, Hasibur Rahaman, Mounika Yabaku, Venkatramana Kaagita, and Venkatramana Reddy Sakirevupalli. In Ocean-Land-Atmosphere Research, volume 2, American Association for the Advancement of Science (AAAS), 2023. (DOI, Fulltext, fulltext:print).
  161. Residual Viscosity Stabilized RBF-FD Methods for Solving Nonlinear Conservation Laws. Igor Tominec and Murtazo Nazarov. In Journal of Scientific Computing, volume 94, number 1, SPRINGER/PLENUM PUBLISHERS, 2023. (DOI). Publication status: Epub ahead of print
  162. Residual viscosity stabilized RBF-FD methods for solving nonlinear conservation laws. Igor Tominec and Murtazo Nazarov. In Journal of Scientific Computing, volume 94, Springer, 2023. (DOI, Fulltext, Preprint on arXiv, fulltext:print).
  163. SimpLex: a lexical text simplification architecture. Ciprian-Octavian Truica, Andrei-Ionut Stan, and Elena-Simona Apostol. In Neural Computing & Applications, volume 35, number 8, pp 6265-6280, Springer Nature, 2023. (DOI, Fulltext).
  164. Optimal Reads-From Consistency Checking for C11-Style Memory Models. Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, and Andreas Pavlogiannis. In Proceedings of the ACM on Programming Languages, volume 7, number PLDI, pp 761-785, 2023. (DOI).
  165. Towards Advancing Body Maps as Research Tool for Interaction Design. Laia Turmo Vidal, Yinchu Li, Martin Stojanov, Karin B Johansson, Beatrice Tylstedt, and Lina Eklund. In TEI ’23: Proceedings of the Seventeenth International Conference on Tangible, Embedded, and Embodied Interaction (TEI ’23), 2023. (DOI).
  166. Stabilized cut discontinuous Galerkin methods for advection-reaction problems on surfaces. Tale Bakken Ulfsby, Andre Massing, and Simon Sticko. In Computer Methods in Applied Mechanics and Engineering, volume 413, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  167. Collective Collaboration Mapping’ towards Knowledge Commons. Karin Van Den Drische and Åsa Cajander. In , Oldenburg, 2023.
  168. A Finite Difference-Discontinuous Galerkin Method for the Wave Equation in Second Order Form. Siyang Wang and Gunilla Kreiss. In SIAM Journal on Numerical Analysis, volume 61, number 4, pp 1962-1988, 2023. (DOI, External link).
  169. Block-MUSIC in blade tip timing: Performance study of block snapshot matrix. Zengkun Wang, Zhi-Bo Yang, Shu-Ming Wu, Shao-Hua Tian, and Xue-Feng Chen. In Mechanical systems and signal processing, volume 198, Elsevier, 2023. (DOI).
  170. Iterative solution methods for 3D controlled-source electromagnetic forward modelling of geophysical exploration scenarios. Michael Weiss, Maya Neytcheva, and Thomas Kalscheuer. In Computational Geosciences, volume 27, pp 81-102, Springer Nature, 2023. (DOI, Fulltext, fulltext:print).
  171. A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot. Johan Wessén, Mats Carlsson, Christian Schulte, Pierre Flener, Federico Pecora, and Mihhail Matskin. In Constraints, volume 28, number 2, pp 71-104, 2023. (DOI, Fulltext).
  172. Can Representation Learning for Multimodal Image Registration be Improved by Supervision of Intermediate Layers?. Elisabeth Wetzer, Joakim Lindblad, and Nataša Sladoje. In IbPRIA 2023: Pattern Recognition and Image Analysis, Lecture Notes in Computer Science, pp 261-275, Springer, 2023. (DOI, External link).
  173. Partial dimensional collapse in contrastive learning when using intermediate layers. Elisabeth Wetzer, Joakim Lindblad, and Nataša Sladoje. In , 2023.
  174. Representation Learning and Information Fusion: <em>Applications in Biomedical Image Processing</em>. Elisabeth Wetzer. 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).
  175. Systems thinking and efficiency under emissions constraints: Addressing rebound effects in digital innovation and policy. Kelly Widdicks, Federica Lucivero, Gabrielle Samuel, Lucas Somavilla Croxatto, Marcia Tavares Smith, Carolyn Ten Holter, Mike Berners-Lee, Gordon S. Blair, Marina Jirotka, Bran Knowles, Steven Sorrell, Miriam Börjesson Rivera, Caroline Cook, Vlad C. Coroama, Timothy J. Foxon, Jeffrey Hardy, Lorenz M. Hilty, Simon Hinterholzer, and Birgit Penzenstadler. In PATTERNS, volume 4, number 2, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  176. Reliable Uncertainty Quantification in Statistical Learning. David Widmann. 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).
  177. Recursive identification of a nonlinear state space model. Torbjörn Wigren. 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).
  178. Sequential Monte Carlo: A Unified Review. Adrian G. Wills and Thomas B. Schön. In ANNUAL REVIEW OF CONTROL ROBOTICS AND AUTONOMOUS SYSTEMS, volume 6, pp 159-182, ANNUAL REVIEWS, 2023. (DOI, Fulltext, fulltext:print).
  179. TunnelLiFi: Bringing LiFi to Commodity Internet of Things Devices. Wenqing Yan, Muhammad Sarmad Mir, Prabal Dutta, Domenico Giustiniano, and Ambuj Varshney. 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).
  180. Stable subspace dimension reduced MUSIC for blade tip timing. Zhi-Bo Yang, Zeng-Kun Wang, Hao-Qi Li, Shao-Hua Tian, and Xue-Feng Chen. In Journal of Sound and Vibration, volume 545, Elsevier, 2023. (DOI).
  181. Discursive construction of migrant otherness on Facebook: A distributional semantics approach. Victoria Yantseva. In Discourse & Society, volume 34, number 2, pp 236-254, 2023. (DOI).
  182. Game-of-Life Temperature-Aware DVFS Strategy for Tile-Based Chip Many-Core Processors. Yuan Yao. In IEEE JOURNAL ON EMERGING AND SELECTED TOPICS IN CIRCUITS AND SYSTEMS, volume 13, number 1, pp 58-72, IEEE, 2023. (DOI).
  183. SE-CNN: Convolution Neural Network Acceleration via Symbolic Value Prediction. Yuan Yao. In IEEE JOURNAL ON EMERGING AND SELECTED TOPICS IN CIRCUITS AND SYSTEMS, volume 13, number 1, pp 73-85, IEEE, 2023. (DOI).
  184. Association of lifestyle with deep learning predicted electrocardiographic age. Cuili Zhang, Xiao Miao, Biqi Wang, Robert J. J. Thomas, Antônio Horta Ribeiro, Luisa C. C. Brant, Antonio L. P. Ribeiro, and Honghuang Lin. In Frontiers in Cardiovascular Medicine, volume 10, Frontiers Media S.A., 2023. (DOI, Fulltext, fulltext:print).
  185. An Online Kullback-Leibler Divergence-Based Stealthy Attack Against Cyber-Physical Systems. Qirui Zhang, Kun Liu, André M. H. Teixeira, Yuzhe Li, Senchun Chai, and Yuanqing Xia. In IEEE Transactions on Automatic Control, volume 68, number 6, pp 3672-3679, IEEE, 2023. (DOI).
  186. Robust nonlinear set-point control with reinforcement learning. Ruoqi Zhang, Per Mattsson, and Torbjörn Wigren. 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).
  187. Efficient Hierarchical Storage Management Empowered by Reinforcement Learning. Tianru Zhang, Andreas Hellander, and Salman Toor. In IEEE Transactions on Knowledge and Data Engineering, volume 35, pp 5780-5793, IEEE, 2023. (DOI).
  188. Probabilistic Estimation of Instantaneous Frequencies of Chirp Signals. Zheng Zhao, Simo Särkkä, Jens Sjölund, and Thomas B. Schön. In IEEE Transactions on Signal Processing, volume 71, pp 461-476, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI).
  189. A case study in designing trustworthy interactions: implications for socially assistive robotics. Mengyu Zhong, Marc Fraile, Ginevra Castellano, and Katie Winkle. In Frontiers in Computer Science, volume 5, Frontiers Media S.A., 2023. (DOI, Fulltext, fulltext:print).
  190. On Merging Feature Engineering and Deep Learning for Diagnosis, Risk Prediction and Age Estimation Based on the 12-Lead ECG. Eran Zvuloni, Jesse Read, Antônio Horta Ribeiro, Antonio Luiz P. Ribeiro, and Joachim A. Behar. In IEEE Transactions on Biomedical Engineering, volume 70, number 7, pp 2227-2236, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI).
  191. RegiSTORM: channel registration for multi-color stochastic optical reconstruction microscopy. Oystein ovrebo, Miina Ojansivu, Kimmo Kartasalo, Hanna M. G. Barriga, Petter Ranefall, Margaret N. Holme, and Molly M. Stevens. In BMC Bioinformatics, volume 24, number 1, BMC, 2023. (DOI, fulltext:print).
  192. Development of an integrated decision support system (IDSS). Vera van Zoest, Edith Ngai, Shashank Shekher Tripathi, and Archit Suryawanshi. 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).
  193. Evaluating the effects of the COVID-19 pandemic on electricity consumption patterns in the residential, public, commercial and industrial sectors in Sweden. Vera van Zoest, Karl Lindberg, Fouad El Gohary, and Cajsa Bartusch. In Energy and AI, volume 14, 2023. (External link).
  194. Uppsala: Groundwater management in the neighbourhood of Rosendal. Vera van Zoest, Edith Ngai, Shashank Shekher Tripathi, and Archit Suryawanshi. 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).
  195. INSPIRE: Intensity and Spatial Information-Based Deformable Image Registration. Johan Öfverstedt, Joakim Lindblad, and Nataša Sladoje. In PLOS ONE, volume 18, number 3, Public Library of Science (PLoS), 2023. (DOI, Fulltext, Pre-print i arXiv, fulltext:print).

Updated  2023-03-10 15:03:08 by Pierre Flener.