Institutionen för informationsteknologi
Institutionen för informationsteknologi
Uppsala universitetInformationsteknologiForskningPublikationer
This page in English
Lyssna

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 vid Uppsala Universitet.
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.

  1. Service-based Federated Deep Reinforcement Learning for Anomaly Detection in Fog Ecosystems. Mays AL-Naday, Martin Reed, Vlad Dobre, Salman Toor, Bruno Volckaert och Filip De Turck. 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).
  2. Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY. Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich och Wolfgang Ahrendt. I International Journal on Software Tools for Technology Transfer (STTT), volym 25, nummer 2, pp 185-204, 2023. (DOI, Extern länk).
  3. Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs. Rosa Abbasi och Eva Darulova. I 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 och Konstantinos Sagonas. I 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 och Omkar Tuppe. 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).
  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 och Mihir Vahanwala. 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).
  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 och Stephan Spengler. 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).
  8. AN ELLIPTIC LOCAL PROBLEM WITH EXPONENTIAL DECAY OF THE RESONANCE ERROR FOR NUMERICAL HOMOGENIZATION. Assyr Abdulle, Doghonay Arjmand och Edoardo Paganoni. I Multiscale Modeling & simulation, volym 21, nummer 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 och Ylva Tiblom Ehrsson. I JMIR Cancer, volym 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 och Sadi Alawadi. I Information and Software Technology, volym 155, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  11. Automatic Program Instrumentation for Automatic Verification. Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström och Philipp Rümmer. I CAV 2023: Computer Aided Verification, volym 13966 av 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 och Iordanis Kavathatzopoulos. I , 2023. (Conference site, Program).
  13. Achieving improved accuracy for imputation of ancient DNA. Kristiina Ausmees och Carl Nettelblad. I Bioinformatics, volym 39, nummer 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 och Maya Neytcheva. I Numerical Linear Algebra with Applications, John Wiley & Sons, 2023. (DOI, Fulltext, fulltext:print). Publikationsstatus: Epub ahead of print
  15. Multiple-hypothesis testing rules for high-dimensional model selection and sparse-parameter estimation. Prabhu Babu och Peter Stoica. I Signal Processing, volym 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 och Eric M. Dunham. I Geophysics, volym 88, nummer 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 och Eric M. Dunham. I Geophysics, volym 88, nummer 3, pp T137-T150, Society of Exploration Geophysicists, 2023. (DOI, To the Article).
  18. Deep Active Learning for Glioblastoma Quantification. Subhashis Banerjee och Robin Strand. I 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 och Robin Strand. I 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 och Robin Strand. I Medical Imaging 2023: Image Processing, Progress in Biomedical Optics and Imaging, SPIE - International Society for Optical Engineering, 2023.
  21. Towards Efficient Explainability of Schedulability Properties in Real-Time Systems. Sanjoy Baruah och Pontus Ekberg. I <em>Proceedings of the 35th Euromicro Conference on Real-Time Systems (ECRTS)</em>, 2023. (DOI, Fulltext).
  22. 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 och Carolina Wählby. I Biological Imaging, volym 3, 2023. (DOI).
  23. Analytical Estimation of Beamforming Speed-of-Sound Using Transmission Geometry. Can Deniz Bezek och Orcun Göksel. I Ultrasonics, volym 134, Elsevier, 2023. (DOI, Fulltext, Pre-print in arXiv, fulltext:print).
  24. 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 och Stefano Serra-Capizzano. I Electronic Transactions on Numerical Analysis, volym 58, pp 136-163, Osterreichische Akademie der Wissenschaften, Verlag, 2023. (DOI, Fulltext, fulltext:print).
  25. Waveform Inversion with a Data Driven Estimate of the Internal Wave. Liliana Borcea, Josselin Garnier, Alexander V. Mamonov och Jörn Zimmerling. I SIAM Journal on Imaging Sciences, volym 16, nummer 1, pp 280-312, Society for Industrial and Applied Mathematics, 2023. (DOI).
  26. Waveform inversion via reduced order modeling. Liliana Borcea, Josselin Garnier, Alexander V. Mamonov och Jörn Zimmerling. I Geophysics, volym 88, nummer 2, pp R175-R191, Society of Exploration Geophysicists, 2023. (DOI).
  27. 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 och Naaz Sibia. I Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education, 2023. (DOI).
  28. 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 och Honghuang Lin. I Circulation. Cardiovascular Quality and Outcomes, volym 16, nummer 7, Ovid Technologies (Wolters Kluwer Health), 2023. (DOI).
  29. Image Processing and Analysis Methods for Biomedical Applications. Eva Breznik. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2253, Acta Universitatis Upsaliensis, Uppsala, 2023. (fulltext, preview image).
  30. Introducing Spatial Context in Patch-Based Deep Learning for Semantic Segmentation in Whole Body MRI. Eva Breznik, Joel Kullberg, Håkan Ahlström och Robin Strand. I Scandinavian Conference on Image Analysis, pp 214-228, 2023.
  31. Introducing spatial context in patch-based deep learning for semantic segmentation in whole body MRI. Eva Breznik, Joel Kullberg, Håkan Ahlström och Robin Strand. I Proceedings of the 22nd Scandinavian conference on image analysis (SCIA), Lecture Notes in Computer Science, Springer, 2023.
  32. Continuous and discrete Volterra-Laguerre models with  delay for modeling of smooth pursuit eye movements. Viktor Bro och Alexander Medvedev. I IEEE Transactions on Biomedical Engineering, volym 70, nummer 1, pp 97-104, IEEE, 2023. (DOI, Fulltext, fulltext:print).
  33. Bayesian inference in epidemics: linear noise analysis. Samuel Bronstein, Stefan Engblom och Robin Marin. 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).
  34. 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 och Z. Ren. I Geophysical Journal International, volym 235, nummer 2, pp 1201-1217, Oxford University Press (OUP), 2023. (DOI, fulltext:print). Publikationsstatus: Epub ahead of print
  35. Exploring Multidimensional Trust: Shaping Child-Robot Creative Collaborations in Education. Natalia Calvo Barajas. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2258, Acta Universitatis Upsaliensis, Uppsala, 2023. (preview image, fulltext).
  36. Encore: Coda. Elias Castegren och Tobias Wrigstad. I State-of-Art volume on Active Objects, Lecture Notes in Computer Science, Springer Nature, 2023.
  37. Discrete-Time Fractional-Order Dynamical Networks Minimum-Energy State Estimation. Sarthak Chatterjee, Andrea Alessandretti, Antonio Pedro Aguiar och Sergio Pequito. I IEEE Transactions on Control of Network Systems, volym 10, nummer 1, pp 226-237, IEEE, 2023. (DOI).
  38. Investigating the Relevance of Contextual Information Towards Improving Deep CNN Based Oral Cancer Screening on Whole Slide Cytology Samples. Swarnadip Chatterjee, Nataša Sladoje och Joakim Lindblad. I , Swedish Symposium on Deep Learning, Kolmården, 2023.
  39. When Concurrency Matters: Behaviour-Oriented Concurrency. Luke Cheeseman. I Proceedings of the ACM on Programming Languages, Association for Computing Machinery (ACM), 2023. Publikationsstatus: Accepted
  40. Generative appearance replay for continual unsupervised domain adaptation. Boqi Chen, Kevin Thandiackal, Pushpak Pati och Orcun Göksel. I Medical Image Analysis, volym 89, pp 102924-102924, 2023. (DOI).
  41. Probability elicitation for Bayesian networks to distinguish between intentional attacks and accidental technical failures. Sabarathinam Chockalingam, Wolter Pieters, André Teixeira och Pieter van Gelder. I Journal of Information Security and Applications, volym 75, ELSEVIER, 2023. (DOI, fulltext:print).
  42. Poster: A Battery-free Backscatter Communication System for Non-persistent Carriers. Po-Hsuan Chou, Weining Song, Thiemo Voigt, Christian Rohner och Chao Wang. I , 2023.
  43. Efficient Resource Scheduling for Distributed Infrastructures using Negotiation Capabilities. Junji Chu, Prashant Singh och Salman Toor. I , 2023. Publikationsstatus: Accepted
  44. 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 och Santina Chiara Stissi. I Linear Algebra and its Applications, volym 667, pp 10-43, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  45. Variational system identification for nonlinear state-space models. Jarrad Courts, Adrian G. Wills, Thomas B. Schön och Brett Ninness. I Automatica, volym 147, Elsevier, 2023. (DOI).
  46. Preconditioning for block matrices with square blocks. Ivo Dravins. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2246, Acta Universitatis Upsaliensis, Uppsala, 2023. (fulltext, preview image).
  47. Highlights from the 33rd European conference on cognitive ergonomics (ECCE 2022) Evaluating the Reality-Virtuality Continuum. Achim Ebert och Jessica Lindblom. I Behavior and Information Technology, volym 42, nummer 3, pp 265-268, Taylor & Francis, 2023. (DOI).
  48. Dental hygienists and dentists as providers of brush biopsies for oral mucosa screening. Kristina Edman, Christina Runow Stark, Vladimir Basic, Joakim Lindblad och Jan?Michaél Hirsch. I International Journal of Dental Hygiene, volym 21, nummer 3, pp 524-532, John Wiley & Sons, 2023. (DOI).
  49. Scheduling Dynamic Software Updates in Mobile Robots. Ahmed El Yaacoub, Luca Mottola, Thiemo Voigt och Philipp Rümmer. I ACM Transactions on Embedded Computing Systems, 2023. (DOI). Publikationsstatus: Accepted
  50. Timing Analysis of Embedded Software Updates. Ahmed El Yaacoub, Luca Mottola, Thiemo Voigt och Philipp Rümmer. I , 2023.
  51. Multidimensional projection filters via automatic differentiation and sparse-grid integration. Muhammad Fuady Emzir, Zheng Zhao och Simo Särkkä. I Signal Processing, volym 204, Elsevier, 2023. (DOI).
  52. 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 och Yuyun Yang. I Bulletin of The Seismological Society of America (BSSA), volym 113, nummer 2, pp 499-523, SEISMOLOGICAL SOC AMER, 2023. (DOI).
  53. 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 och Ken Mattsson. I Journal of Computational Physics, volym 476, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  54. Non-conforming Interface Conditions for the Second-Order Wave Equation. Gustav Eriksson. I Journal of Scientific Computing, volym 95, Springer, 2023. (DOI, Fulltext, fulltext:print).
  55. Proportionality on Spatial Data with Context. Georgios J Fakas och Georgios Kalamatianos. I ACM Transactions on Database Systems, volym 48, nummer 2, pp 1-37, Association for Computing Machinery (ACM), 2023. (DOI, Fulltext, fulltext:print).
  56. Speculative inter-thread store-to-load forwarding in SMT architectures. Josue Feliu, Alberto Ros, Manuel E. Acacio och Stefanos Kaxiras. I Journal of Parallel and Distributed Computing, volym 173, pp 94-106, ACADEMIC PRESS INC ELSEVIER SCIENCE, 2023. (DOI, Fulltext).
  57. A multi-period sustainable hydrogen supply chain model considering pipeline routing and carbon emissions: The case study of Oman. Kamran Forghani, Reza Kia och Yousef Nejatbakhsh. I Renewable & sustainable energy reviews, volym 173, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  58. Infrastructure and the Energy Use of Human Polities. Jacob Freeman, Jacopo A. Baggio, Lux Miranda och John M. Anderies. I Cross-cultural research, volym 57, nummer 2-3, pp 294-322, Sage Publications, 2023. (DOI, fulltext:postprint).
  59. ?-Circulant Matrices: A Selection of Modern Applications from Preconditioning of Approximated PDEs to Subdivision Schemes. Rafael Diaz Fuentes, Stefano Serra-Capizzano och Rosita Luisa Sormani. I Algorithms, volym 16, nummer 7, MDPI AG, 2023. (DOI, fulltext:print).
  60. Robustness and Sensitivity of Network-Based Topic Detection. Carla Galluccio, Matteo Magnani, Davide Vega, Giancarlo Ragozini och Alessandra Petrucci. 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).
  61. Invertible Kernel PCA With Random Fourier Features. Daniel Gedon, Antônio H. Ribeiro, Niklas Wahlström och Thomas B. Schön. I IEEE Signal Processing Letters, volym 30, pp 563-567, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI).
  62. An Active Learning Approach to Synthesizing Program Contracts. Sandip Ghosal, Bengt Jonsson och Philipp Rümmer. I , 2023.
  63. 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 och M. Rosario Garcia-Gil. I Tree Genetics & Genomes, volym 19, nummer 3, Springer Nature, 2023. (DOI, fulltext:print).
  64. Lethe-DEM: an open-source parallel discrete element solver with load balancing. Shahab Golshan, Peter Munch, Rene Gassmoeller, Martin Kronbichler och Bruno Blais. I COMPUTATIONAL PARTICLE MECHANICS, volym 10, nummer 1, pp 77-96, Springer Nature, 2023. (DOI).
  65. 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. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2265, Acta Universitatis Upsaliensis, Uppsala, 2023. (fulltext, preview image).
  66. 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 och Kristina von Hausswolff. I European Journal of Engineering Education, 2023. (DOI, Fulltext, Extern länk).
  67. The lost art of mathematical modelling. Linnéa Gyllingberg, Abeba Birhane och David J. T. Sumpter. I Mathematical Biosciences, volym 362, Elsevier BV, 2023. (DOI, fulltext:print).
  68. Using neuronal models to capture burst-and-glide motion and leadership in fish. Linnéa Gyllingberg, Alex Szorkovszky och David J. T. Sumpter. I Journal of the Royal Society Interface, volym 20, nummer 204, The Royal Society, 2023. (DOI, fulltext:print).
  69. 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 och Ida-Maria Sintorn. I PloS Computational Biology, volym 19, nummer 7, Public Library of Science (PLoS), 2023. (DOI, Fulltext, fulltext:print).
  70. A Study of Augmentation Methods for Handwritten Stenography Recognition. Raphaela Heil och Eva Breznik. I , 2023. (DOI).
  71. Document Image Processing for Handwritten Text Recognition: Deep Learning-based Transliteration of Astrid Lindgren’s Stenographic Manuscripts. Raphaela Heil. 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).
  72. On Optimal Convergence Rates for Discrete Minimizers of the Gross-Pitaevskii Energy in Localized Orthogonal Decomposition Spaces. Patrick Henning och Anna Persson. I Multiscale Modeling & Simulation, volym 21, nummer 3, pp 993-1011, 2023. (DOI, Extern länk).
  73. 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 och Nikolas Lessmann. 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).
  74. Enactive artificial intelligence: subverting gender norms in human-robot interaction. Inês Hipólito, Katie Winkle och Merete Lie. I Frontiers in Neurorobotics, volym 17, 2023. (DOI, Extern länk, fulltext:print).
  75. 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 och Stefano Serra-Capizzano. I Numerical Algorithms, Springer Science and Business Media LLC, 2023. (DOI, Extern länk).
  76. Overparameterized Linear Regression Under Adversarial Attacks. Antônio Horta Ribeiro och Thomas B. Schön. I IEEE Transactions on Signal Processing, volym 71, pp 601-614, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI).
  77. Lightweight certificate revocation for low-power IoT with end-to-end security. Joel Höglund, Martin Furuhed och Shahid Raza. I Journal of Information Security and Applications, volym 73, Elsevier, Amsterdam, 2023. (DOI).
  78. Public Key Infrastructure and its applications for resource-constrained IoT. Joel Höglund. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2230, Acta Universitatis Upsaliensis, Uppsala, 2023. (fulltext, preview image).
  79. Key Update for the IoT Security Standard OSCORE. Rikard Höglund, Marco Tiloca, Simon Bouget och Shahid Raza. 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).
  80. Scaling up Roundoff Analysis of Functional Data Structure Programs. Anastasia Isychev och Eva Darulova. I Static Analysis: 30th International Symposium, SAS 2023, 2023.
  81. Decision Procedures for Sequence Theories. Artur Jez, Anthony W. Lin, Oliver Markgraf och Philipp Rümmer. I CAV 2023: Computer Aided Verification, volym 13965 av 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 och Yi Wang. I 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 och Yi Wang. I IEEE Transactions on Parallel and Distributed Systems, volym 34, nummer 1, pp 33-47, IEEE, 2023. (DOI).
  84. Leveraging Machine Learning for Disease Diagnoses based on Wearable Devices: A Survey. Z. Jiang, V. van Zoest, W. Deng, E. C. H. Ngai och J. Liu. I 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 och Antônio Horta Ribeiro. I PLoS Neglected Tropical Diseases, volym 17, nummer 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 och Carlo Fischione. I IEEE Journal on Selected Topics in Signal Processing, volym 17, nummer 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. I Physical Chemistry, Chemical Physics - PCCP, volym 25, nummer 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 och Elina Immonen. I Molecular biology and evolution, volym 40, nummer 8, Oxford University Press, 2023. (DOI, Fulltext, fulltext:print).
  89. Generalized elementary functions. Christer Oscar Kiselman. I Complex Variables and Elliptic Equations, volym 68, nummer 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 och Ashis Kumar Dhara. I , 2023. Publikationsstatus: Submitted
  91. Doppelganger Loads: A Safe, Complexity-Effective Optimization for Secure Speculation Schemes. Amund Bergland Kvalsvik, Pavlos Aimoniotis, Stefanos Kaxiras och Magnus Själander. I ISCA '23: Proceedings of the 50th Annual International Symposium on Computer Architecture, Association for Computing Machinery (ACM), New York, NY, 2023. (DOI).
  92. 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 och Ylva Tiblom Ehrsson. I European Journal of Oncology Nursing, volym 64, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  93. Scaling of radial basis functions. Elisabeth Larsson och Robert Schaback. I IMA Journal of Numerical Analysis, pp 1-23, 2023. (DOI).
  94. User-Centered Design Approaches and Software Development Processes. Marta Larusdottir, Åsa Cajander och Virpi Roto. I Handbook of Human Computer Interaction, Springer Reference Computer Sciences, pp 1-24, Springer, Cham, 2023. (DOI).
  95. A finite element based Heterogeneous Multiscale Method for the Landau-Lifshitz equation. Lena Leitenmaier och Murtazo Nazarov. I Journal of Computational Physics, volym 486, Elsevier, 2023. (DOI).
  96. An Experimental Study of Byzantine-Robust Aggregation Schemes in Federated Learning. Shenghui Li, Edith C.-H. Ngai och Thiemo Voigt. I IEEE Transactions on Big Data, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI). Publikationsstatus: Epub ahead of print
  97. Byzantine-Robust Aggregation in Federated Learning Empowered Industrial IoT. Shenghui Li, Edith Ngai och Thiemo Voigt. I IEEE Transactions on Industrial Informatics, volym 19, nummer 2, pp 1165-1175, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI).
  98. 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 och Daniel Nowinski. I Journal of Neurosurgery: Pediatrics, volym 31, nummer 6, pp 574-583, Journal of Neurosurgery Publishing Group (JNSPG), 2023. (DOI).
  99. Sound Mixed Fixed-Point Quantization of Neural Networks. Debasmita Lohar, Clothilde Jeangoudoux, Anastasia Volkova och Eva Darulova. I ACM Transactions on Embedded Computing Systems, 2023. Publikationsstatus: Accepted
  100. A high-order artificial compressibility method based on Taylor series time-stepping for variable density flow. Lukas Lundgren och Murtazo Nazarov. I Journal of Computational and Applied Mathematics, volym 421, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  101. High-order finite element methods for incompressible variable density flow. Lukas Lundgren. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2277, Acta Universitatis Upsaliensis, Uppsala, 2023. (fulltext, preview image).
  102. Anomaly detection based on multi-teacher knowledge distillation. Ye Ma, Xu Jiang, Nan Guan och Yi Wang. I Journal of systems architecture, volym 138, ELSEVIER, 2023. (DOI).
  103. Decomposing and Tracing Mutual Information by Quantifying Reachable Decision Regions. Tobias Mages och Christian Rohner. I Entropy, volym 25, nummer 7, Basel, Switzerland, 2023. (DOI, Extern länk).
  104. Demo: An Educational Platform to Learn Radio Frequency Wireless Communication. Tobias Mages, Wenqing Yan, Ambuj Varshney och Christian Rohner. 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).
  105. Bayesian Monitoring of COVID-19 in Sweden. Robin Marin, Håkan Runvik, Alexander Medvedev och Stefan Engblom. I Epidemics, volym 45, pp 100715-100715, 2023. (DOI, Fulltext, Extern länk).
  106. Implicit summation by parts operators for finite difference approximations of first and second derivatives. Ken Mattsson och Ylva Ljungberg Rydin. I Journal of Computational Physics, volym 473, pp 111743-111743, 2023. (DOI).
  107. Implicit summation by parts operators for finite difference approximations of first and second derivatives. Ken Mattsson och Ylva Ljungberg Rydin. I Journal of Computational Physics, volym 473, Elsevier, 2023. (DOI, Fulltext, fulltext:print). Publikationsstatus: Epub ahead of print
  108. Analysis of the Minimum-Norm Least-Squares Estimator and Its Double-Descent Behavior [Lecture Notes]. Per Mattsson, Dave Zachariah och Peter Stoica. I IEEE signal processing magazine (Print), volym 40, nummer 3, pp 39-75, IEEE, 2023. (DOI).
  109. Regularized Linear Regression via Covariance Fitting. Per Mattsson, Dave Zachariah och Peter Stoica. I IEEE Transactions on Signal Processing, volym 71, pp 1175-1183, IEEE, 2023. (DOI).
  110. Explicit implicit domain splitting for two phase flows with phase transition. Sandra May och Ferdinand Thein. I Physics of fluids, volym 35, nummer 1, American Institute of Physics (AIP), 2023. (DOI).
  111. The D-RBF-PU method for solving surface PDEs. Reyhaneh Mir och Davoud Mirzaei. I Journal of Computational Physics, volym 479, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  112. Examining the State of Robot Identity. Lux Miranda, Ginevra Castellano och Katie Winkle. 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).
  113. A fault detection method based on partition of unity and kernel approximation. Davoud Mirzaei och Navid Soodbakhsh. I Numerical Algorithms, volym 93, nummer 4, pp 1759-1794, Springer Nature, 2023. (DOI, Fulltext, fulltext:print).
  114. Learned Reconstruction Methods With Convergence Guarantees: A survey of concepts and applications. Subhadip Mukherjee, Andreas Hauptmann, Ozan Öktem, Marcelo Pereyra och Carola-Bibiane Schonlieb. I IEEE signal processing magazine (Print), volym 40, nummer 1, pp 164-182, IEEE, 2023. (DOI).
  115. Efficient distributed matrix-free multigrid methods on locally refined meshes for FEM computations. Peter Munch, Timo Heister, Laura Prieto Saavedra och Martin Kronbichler. I ACM transactions on parallel computing, volym 10, nummer 1, pp 1-38, Association for Computing Machinery (ACM), 2023. (DOI).
  116. A PUF-Based Indirect Authentication and Key Establishment Protocol for Wearable Devices. Vipin N. Sathi, Christian Rohner och Thiemo Voigt. I , 2023.
  117. Quickest detection of deception attacks on cyber-physical systems with a parsimonious watermarking policy. Arunava Naha, André Teixeira, Anders Ahlén och Subhrakanti Dey. I Automatica, volym 155, Elsevier BV, 2023. (DOI).
  118. Quickest physical watermarking-based detection of measurement replacement attacks in networked control systems. Arunava Naha, André Teixeira, Anders Ahlén och Subhrakanti Dey. I European Journal of Control, volym 71, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  119. Sequential detection of Replay attacks. Arunava Naha, André Teixeira, Anders Ahlén och Subhrakanti Dey. I IEEE Transactions on Automatic Control, volym 68, nummer 3, pp 1941-1948, IEEE, 2023. (DOI).
  120. Approximation results for Beta Jakimovski-Leviatan type operators via q-analogue. Md. Nasiruzzaman, Mohammed A. O. Tom, Stefano Serra-Capizzano, Nadeem Rao och Mohammad Ayman-Mursaleen. I Filomat, volym 37, nummer 24, pp 8389-8404, Faculty of Sciences and Mathematics, University of Nis?, 2023. (DOI, Extern länk).
  121. 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 och Andreas Thor. I Journal of Dentistry, volym 128, pp 104308-104308, Elsevier BV, 2023. (DOI, Fulltext, fulltext:print).
  122. 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 och Andreas Thor. I Journal of Dentistry, volym 128, pp 104381-104381, Elsevier BV, 2023. (DOI, Fulltext, fulltext:print).
  123. Exploring the Latency Sensitivity of Cache Replacement Policies. Ahmed Nematallah, Chang Hyun Park och David Black-Schaffer. 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
  124. Space temperature policy towards net-zero: Recommendations from a systematic review of UK HEI heating policies. Kathy New, Adam Tyler, Adrian Friday, Mike Hazas och Alexandra Gormally. I Building Research & Information, volym 51, nummer 2, pp 223-239, Routledge, 2023. (DOI, Fulltext, fulltext:print).
  125. Contrastive Learning of Equivariant Image Representations for Multimodal Deformable Registration. Love Nordling, Johan Öfverstedt, Joakim Lindblad och Nataša Sladoje. I , Institute of Electrical and Electronics Engineers (IEEE), 2023. (Conference information).
  126. Multimodal deformable image registration using contrastive learning of equivariant image representations. Love Nordling, Johan Öfverstedt, Joakim Lindblad och Nataša Sladoje. I , 2023. (Conference information).
  127. Neuromuscular controller models for quantifying standing balance in older people: A systematic review. Fredrik Olsson, Kjartan Halvorsen och Anna Cristina Åberg. I IEEE Reviews in Biomedical Engineering, volym 16, pp 560-578, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI).
  128. Online Learning for Prediction via Covariance Fitting: Computation, Performance and Robustness. Muhammad Osama, Dave Zachariah, Peter Stoica och Thomas B. Schön. I Transactions on Machine Learning Research, Transactions on Machine Learning Research, 2023. (Publications in full-text).
  129. RFID Tags as Passive Temperature Sensors. Madhushanka Padmal, Christian Rohner, Robin Augustine och Thiemo Voigt. I 17th annual international conference on RFID, Seattle, WA, USA, June 13-15, 2023., IEEE International Conference on RFID, pp 48-53, 2023. (DOI).
  130. 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 och Ashis Kumar Dhara. I IEEE Transactions on Nanobioscience, pp 1-1, 2023. (DOI).
  131. Statically Resolvable Ambiguity. Viktor Palmkvist, Elias Castegren, Philipp Haller och David Broman. I Proceedings of the ACM on Programming Languages, volym 7, nummer POPL, pp 1686-1712, ACM Digital Library, 2023. (DOI, Fulltext, fulltext:print).
  132. How Did We Miss This?: A Case Study on Unintended Biases in Robot Social Behavior. Maria Teresa Parreira, Sarah Gillet, Katie Winkle och Iolanda Leite. 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).
  133. Weakly supervised joint whole-slide segmentation and classification in prostate cancer. Pushpak Pati, Guillaume Jaume, Zeineb Ayadi, Kevin Thandiackal, Behzad Bozorgtabar, Maria Gabrani och Orcun Göksel. I Medical Image Analysis, pp 102915-102915, 2023. (DOI).
  134. Learning-based prediction, representation, and multimodal registration for bioimage processing. Nicolas Pielawski. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2244, Acta Universitatis Upsaliensis, Uppsala, 2023. (fulltext, preview image).
  135. 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 och Carolina Wählby. I Heliyon, volym 9, nummer 5, Elsevier BV, 2023. (DOI, fulltext:print).
  136. Integrating Prior Knowledge into Machine Learning Models with Applications in Physics. Philipp Pilar. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2023-002, Uppsala University, 2023. (fulltext).
  137. HarmonicID: Identifying Analog Backscatter Tags with Harmonics. Dilushi Piumwardane och Thiemo Voigt. I , Association for Computing Machinery (ACM), 2023. (Poster abstract in full-text).
  138. Stabilized interpolation using radial basis functions augmented with selected radial polynomials. Fatemeh Pooladi och Elisabeth Larsson. I Journal of Computational and Applied Mathematics, pp 1-17, 2023. (DOI).
  139. Design Suggestions for a Persuasive E-coaching Application: A Study on Informal Caregivers' Needs. Shweta Premanandan, Awais Ahmad, Åsa Cajander, Pär Ågerfalk och Lisette van Gemert-Pijnen. I Digital Health, volym 9, pp 1-12, Sage Publications, 2023. (DOI, Fulltext, fulltext:print).
  140. Designing a Persuasive E-Coaching Application for Informal Caregivers. Shweta Premanandan, Awais Ahmad, Åsa Cajander och Pär Ågerfalk. 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).
  141. Designing and Evaluating IT Applications for Informal Caregivers: Protocol for a Scoping Review. Shweta Premanandan, Awais Ahmad, Åsa Cajander, Pär Ågerfalk och Lisette van Gemert-Pijnen. I JMIR Research Protocols, volym 12, JMIR Publications, 2023. (DOI, Fulltext, fulltext:print).
  142. Computing Functions Over-the-Air Using Digital Modulations. Saeed Razavikia, Jose Mairton Barros da Silva Junior och Carlo Fischione. I IEEE International Conference on Communications, 28 May – 01 June 2023, Rome, Italy, IEEE Communications Society, 2023.
  143. To calibrate or not to calibrate, that is the question. Oscar Samuelsson, Erik U. Lindblom, Anders Björk och Bengt Carlsson. I Water Research, volym 229, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  144. Robust Imaging of Speed-of-Sound Using Virtual Source Transmission. Dieter Schweizer, Richard Rau, Can Deniz Bezek, Rahel A. Kubik-Huch och Orcun Göksel. I IEEE Transactions on Ultrasonics, Ferroelectrics and Frequency Control, pp 1-1, 2023. (DOI).
  145. 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 och Joel Kullberg. I Cancer Imaging, 2023. (DOI).
  146. Silent Stores in the Battery-less Internet of Things: A Good Idea?. Weining Song, Stefanos Kaxiras, Luca Mottola, Thiemo Voigt och Yuan Yao. I , 2023.
  147. 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 och Carlo Fischione. I Water Science and Technology: Water Supply, volym 23, nummer 3, pp 1115-1126, IWA Publishing, 2023. (DOI, Fulltext).
  148. TSO Games: On the decidability of safety games under the total store order semantics. Stephan Spengler och Sanchari Sil. I , 2023.
  149. Boundary-optimized summation-by-parts operators for finite difference approximations of second derivatives with variable coefficients. Vidar Stiernström, Martin Almquist och Ken Mattsson. I Journal of Computational Physics, volym 491, 2023. (DOI, Extern länk). Publikationsstatus: Epub ahead of print
  150. Low-Rank Covariance Matrix Estimation for Factor Analysis in Anisotropic Noise: Application to Array Processing and Portfolio Selection. Peter Stoica och Prabhu Babu. I IEEE Transactions on Signal Processing, volym 71, pp 1699-1711, IEEE, 2023. (DOI).
  151. How do we arrive at constraints?: Articulating limits for computing. Martin Stojanov, Daniel Pargman, Mike Hazas, Robert Comber och Jorge Luis Zapico. I , PubPub, 2023. (DOI, Fulltext, Electronic full text, Extern länk).
  152. <em>Electrical dump-loads increasing spill capacity</em>. Adam Strömme Mattsson, Per Norrlund och Urban Lundin. I Hydropower R&amp;D days 2023., 2023.
  153. GOSAFEOPT: Scalable safe exploration for global optimization of dynamical systems. Bhavya Sukhija, Matteo Turchetta, David Lindner, Andreas Krause, Sebastian Trimpe och Dominik Baumann. I Artificial Intelligence, volym 320, Elsevier BV, 2023. (DOI, Fulltext, fulltext:print).
  154. Real-Time Performance Analysis of Processing Systems on ROS 2 Executors. Yue Tang, Nan Guan, Xu Jiang, Xiantong Luo och Yi Wang. 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).
  155. Quantifying uncertainties in CERES/MODIS Downwelling radiation fluxes in the global tropical oceans. Venugopal Thandlam, Anna Rutgersson, Hasibur Rahaman, Mounika Yabaku, Venkatramana Kaagita och Venkatramana Reddy Sakirevupalli. I Ocean-Land-Atmosphere Research, volym 2, American Association for the Advancement of Science (AAAS), 2023. (DOI, Fulltext, fulltext:print).
  156. Residual Viscosity Stabilized RBF-FD Methods for Solving Nonlinear Conservation Laws. Igor Tominec och Murtazo Nazarov. I Journal of Scientific Computing, volym 94, nummer 1, SPRINGER/PLENUM PUBLISHERS, 2023. (DOI). Publikationsstatus: Epub ahead of print
  157. Residual viscosity stabilized RBF-FD methods for solving nonlinear conservation laws. Igor Tominec och Murtazo Nazarov. I Journal of Scientific Computing, volym 94, Springer, 2023. (DOI, Fulltext, Preprint on arXiv, fulltext:print).
  158. SimpLex: a lexical text simplification architecture. Ciprian-Octavian Truica, Andrei-Ionut Stan och Elena-Simona Apostol. I Neural Computing & Applications, volym 35, nummer 8, pp 6265-6280, Springer Nature, 2023. (DOI, Fulltext).
  159. Optimal Reads-From Consistency Checking for C11-Style Memory Models. Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur och Andreas Pavlogiannis. I Proceedings of the ACM on Programming Languages, volym 7, nummer PLDI, pp 761-785, 2023. (DOI).
  160. Towards Advancing Body Maps as Research Tool for Interaction Design. Laia Turmo Vidal, Yinchu Li, Martin Stojanov, Karin B Johansson, Beatrice Tylstedt och Lina Eklund. I TEI ’23: Proceedings of the Seventeenth International Conference on Tangible, Embedded, and Embodied Interaction (TEI ’23), 2023. (DOI).
  161. Stabilized cut discontinuous Galerkin methods for advection-reaction problems on surfaces. Tale Bakken Ulfsby, Andre Massing och Simon Sticko. I Computer Methods in Applied Mechanics and Engineering, volym 413, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  162. Collective Collaboration Mapping’ towards Knowledge Commons. Karin Van Den Drische och Åsa Cajander. I , Oldenburg, 2023.
  163. A Finite Difference-Discontinuous Galerkin Method for the Wave Equation in Second Order Form. Siyang Wang och Gunilla Kreiss. I SIAM Journal on Numerical Analysis, volym 61, nummer 4, pp 1962-1988, 2023. (DOI, Extern länk).
  164. Block-MUSIC in blade tip timing: Performance study of block snapshot matrix. Zengkun Wang, Zhi-Bo Yang, Shu-Ming Wu, Shao-Hua Tian och Xue-Feng Chen. I Mechanical systems and signal processing, volym 198, Elsevier, 2023. (DOI).
  165. Iterative solution methods for 3D controlled-source electromagnetic forward modelling of geophysical exploration scenarios. Michael Weiss, Maya Neytcheva och Thomas Kalscheuer. I Computational Geosciences, volym 27, pp 81-102, Springer Nature, 2023. (DOI, Fulltext, fulltext:print).
  166. 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 och Mihhail Matskin. I Constraints, volym 28, nummer 2, pp 71-104, 2023. (DOI, Fulltext).
  167. Can Representation Learning for Multimodal Image Registration be Improved by Supervision of Intermediate Layers?. Elisabeth Wetzer, Joakim Lindblad och Nataša Sladoje. I IbPRIA 2023: Pattern Recognition and Image Analysis, Lecture Notes in Computer Science, pp 261-275, Springer, 2023. (DOI, Extern länk).
  168. Partial dimensional collapse in contrastive learning when using intermediate layers. Elisabeth Wetzer, Joakim Lindblad och Nataša Sladoje. I , 2023.
  169. Representation Learning and Information Fusion: <em>Applications in Biomedical Image Processing</em>. Elisabeth Wetzer. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2266, Acta Universitatis Upsaliensis, Uppsala, 2023. (fulltext, preview image).
  170. 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 och Birgit Penzenstadler. I PATTERNS, volym 4, nummer 2, Elsevier, 2023. (DOI, Fulltext, fulltext:print).
  171. Reliable Uncertainty Quantification in Statistical Learning. David Widmann. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2275, Acta Universitatis Upsaliensis, Uppsala, 2023. (fulltext, preview image).
  172. Recursive identification of a nonlinear state space model. Torbjörn Wigren. 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).
  173. Sequential Monte Carlo: A Unified Review. Adrian G. Wills och Thomas B. Schön. I ANNUAL REVIEW OF CONTROL ROBOTICS AND AUTONOMOUS SYSTEMS, volym 6, pp 159-182, ANNUAL REVIEWS, 2023. (DOI, Fulltext, fulltext:print).
  174. TunnelLiFi: Bringing LiFi to Commodity Internet of Things Devices. Wenqing Yan, Muhammad Sarmad Mir, Prabal Dutta, Domenico Giustiniano och Ambuj Varshney. 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).
  175. Stable subspace dimension reduced MUSIC for blade tip timing. Zhi-Bo Yang, Zeng-Kun Wang, Hao-Qi Li, Shao-Hua Tian och Xue-Feng Chen. I Journal of Sound and Vibration, volym 545, Elsevier, 2023. (DOI).
  176. Discursive construction of migrant otherness on Facebook: A distributional semantics approach. Victoria Yantseva. I Discourse & Society, volym 34, nummer 2, pp 236-254, 2023. (DOI).
  177. Game-of-Life Temperature-Aware DVFS Strategy for Tile-Based Chip Many-Core Processors. Yuan Yao. I IEEE JOURNAL ON EMERGING AND SELECTED TOPICS IN CIRCUITS AND SYSTEMS, volym 13, nummer 1, pp 58-72, IEEE, 2023. (DOI).
  178. SE-CNN: Convolution Neural Network Acceleration via Symbolic Value Prediction. Yuan Yao. I IEEE JOURNAL ON EMERGING AND SELECTED TOPICS IN CIRCUITS AND SYSTEMS, volym 13, nummer 1, pp 73-85, IEEE, 2023. (DOI).
  179. 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 och Honghuang Lin. I Frontiers in Cardiovascular Medicine, volym 10, Frontiers Media S.A., 2023. (DOI, Fulltext, fulltext:print).
  180. An Online Kullback-Leibler Divergence-Based Stealthy Attack Against Cyber-Physical Systems. Qirui Zhang, Kun Liu, André M. H. Teixeira, Yuzhe Li, Senchun Chai och Yuanqing Xia. I IEEE Transactions on Automatic Control, volym 68, nummer 6, pp 3672-3679, IEEE, 2023. (DOI).
  181. Efficient Hierarchical Storage Management Empowered by Reinforcement Learning. Tianru Zhang, Andreas Hellander och Salman Toor. I IEEE Transactions on Knowledge and Data Engineering, volym 35, pp 5780-5793, IEEE, 2023. (DOI).
  182. Probabilistic Estimation of Instantaneous Frequencies of Chirp Signals. Zheng Zhao, Simo Särkkä, Jens Sjölund och Thomas B. Schön. I IEEE Transactions on Signal Processing, volym 71, pp 461-476, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI).
  183. A case study in designing trustworthy interactions: implications for socially assistive robotics. Mengyu Zhong, Marc Fraile, Ginevra Castellano och Katie Winkle. I Frontiers in Computer Science, volym 5, Frontiers Media S.A., 2023. (DOI, Fulltext, fulltext:print).
  184. 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 och Joachim A. Behar. I IEEE Transactions on Biomedical Engineering, volym 70, nummer 7, pp 2227-2236, Institute of Electrical and Electronics Engineers (IEEE), 2023. (DOI).
  185. 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 och Molly M. Stevens. I BMC Bioinformatics, volym 24, nummer 1, BMC, 2023. (DOI, fulltext:print).
  186. Development of an integrated decision support system (IDSS). Vera van Zoest, Edith Ngai, Shashank Shekher Tripathi och Archit Suryawanshi. 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).
  187. 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 och Cajsa Bartusch. I Energy and AI, volym 14, 2023. (Extern länk).
  188. Uppsala: Groundwater management in the neighbourhood of Rosendal. Vera van Zoest, Edith Ngai, Shashank Shekher Tripathi och Archit Suryawanshi. 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).
  189. INSPIRE: Intensity and Spatial Information-Based Deformable Image Registration. Johan Öfverstedt, Joakim Lindblad och Nataša Sladoje. I PLOS ONE, volym 18, nummer 3, Public Library of Science (PLoS), 2023. (DOI, Fulltext, Pre-print i arXiv, fulltext:print).

Uppdaterad  2023-03-10 15:04:27 av Pierre Flener.