Publications from the Department of Information Technology

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 2023, 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. Verification under Intel-x86 with Persistency. Parosh Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, and Prakash Saivasan. In Proceedings of the ACM on Programming Languages, volume 8, number PLDI, Association for Computing Machinery (ACM), 2024. (DOI, Fulltext, fulltext:print).
2. Boosting Constrained Horn Solving by Unsat Core Learning. Parosh Aziz Abdulla, Chencheng Liang, and Philipp Rümmer. In Verification, Model Checking, and Abstract Interpretation, volume 14499 of Lecture Notes in Computer Science, pp 280-302, Springer Nature, 2024. (DOI).
3. Verification under TSO with an infinite Data Domain. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, and Shashwat Garg. In Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III, volume 14572 of Lecture Notes in Computer Science, pp 276-295, Springer, 2024. (DOI, Fulltext, fulltext:print).
4. Complexity results for modal logic with recursion via translations and tableaux. Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, and Anna Ingolfsdottir. In Logical Methods in Computer Science, volume 30, number 3, LOGICAL METHODS COMPUTER SCIENCE, 2024. (DOI, Fulltext, fulltext:print).
5. Asymptotic spectra of large (grid) graphs with a uniform local structure, Part II: Numerical applications. Andrea Adriani, Davide Bianchi, Paola Ferrari, and Stefano Serra-Capizzano. In Journal of Computational and Applied Mathematics, volume 437, Elsevier, 2024. (DOI).
6. Clustering/Distribution Analysis and Preconditioned Krylov Solvers for the Approximated Helmholtz Equation and Fractional Laplacian in the Case of Complex-Valued, Unbounded Variable Coefficient Wave Number ?. Andrea Adriani, Stefano Serra-Capizzano, and Cristina Tablino-Possio. In Algorithms, volume 17, number 3, MDPI, 2024. (DOI, Fulltext, fulltext:print).
7. Optimal Content Caching and Recommendation With Age of Information. Ghafour Ahani and Di Yuan. In IEEE Transactions on Mobile Computing, volume 23, number 1, pp 689-704, IEEE Computer Society, 2024. (DOI).
8. A Qualitative Study with Informal Caregivers and Healthcare Professionals for Individuals with Head and Neck Cancer on the Usage of AI Chatbots. Awais Ahmad, Shweta Premanandan, Åsa Cajander, Ulrica Langegård, Ece Uereten, and Ylva Tiblom Ehrsson. In Digital Health and Informatics Innovations for Sustainable Health Care Systems: Proceedings of MIE 2024, volume 316 of Studies in Health Technology and Informatics, pp 751-755, IOS Press, 2024. (DOI, Fulltext, fulltext:print).
9. Improving Remote Examination Formats: Addressing Challenges and Providing Recommendations for University Educators in the Age of ChatGPT. Awais Ahmad, Shweta Premanandan, and Åsa Cajander. In , 2024.
10. Voxel-wise body composition analysis using image registration of a three-slice CT imaging protocol: methodology and proof-of-concept studies. Nouman Ahmad, Hugo Dahlberg, Hanna Jönsson, Sambit Tarai, Rama Krishna Guggilla, Robin Strand, Elin Lundström, Goran Bergstrom, Håkan Ahlström, and Joel Kullberg. In Biomedical engineering online, volume 23, number 1, Springer Nature, 2024. (DOI, Fulltext, fulltext:print).
11. Capacitance Modelling of Conductive Cotton Knit Fabric for Sensor Node Communication. Saba Akbari, Thiemo Voigt, and Klas Hjort. In 2024 13TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING, MECO 2024, Mediterranean Conference on Embedded Computing, pp 398-402, IEEE, 2024. (DOI).
12. Development of Energy Autonomous Wearable Sensor Node for Oxygen Monitoring in Underground Tunnels. Saba Akbari, Thiemo Voigt, Rishi Sudhan Venkata Subramanian, and Weining Song. In 2024 13TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING, MECO 2024, Mediterranean Conference on Embedded Computing, pp 394-397, IEEE, 2024. (DOI).
13. New Conditions for Testing the Oscillation of Solutions of Second-Order Nonlinear Differential Equations with Damped Term. Asma Al-Jaser, Belgees Qaraad, Higinio Ramos, and Stefano Serra. In AXIOMS, volume 13, number 2, MDPI, 2024. (DOI, Fulltext, fulltext:print).
14. Assistive Applications, Accessibility, and Disability Ethics in HRI. Katherine H. Allen, Reuben M. Aronson, Tapomayukh Bhattacharjee, Frank Broz, Mai Lee Chang, Maggie Collier, Taylor Kessler Faulkner, Hee Rin Lee, Isabel Neto, Katie Winkle, and Elaine Schaertl Short. In COMPANION OF THE 2024 ACM/IEEE INTERNATIONAL CONFERENCE ON HUMAN-ROBOT INTERACTION, HRI 2024 COMPANION, pp 1305-1307, Association for Computing Machinery (ACM), 2024. (DOI).
15. An Encoding for CLP Problems in SMT-LIB. Daneshvar Amrollahi, Hossein Hojjat, and Philipp Rümmer. In Electronic Proceedings in Theoretical Computer Science, Electronic Proceedings in Theoretical Computer Science, pp 118-130, Open Publishing Association, 2024. (DOI, EPTCS 402, fulltext:print).
16. Computational Methods for Image-Based Spatial Transcriptomics. Axel Andersson. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2371, Acta Universitatis Upsaliensis, Uppsala, 2024. (fulltext, preview image).
17. Colabind: A Cloud-Based Approach for Prediction of Binding Sites Using Coarse-Grained Simulations with Molecular Probes. Georgy Andreev, Max Kovalenko, Marine E. Bozdaganyan, and Philipp S. Orekhov. In Journal of Physical Chemistry B, volume 128, number 13, pp 3211-3219, American Chemical Society (ACS), 2024. (DOI).
18. CONTAIN: A community-based algorithm for network immunization. Elena Simona Apostol, Özgur Coban, and Ciprian-Octavian Truica. In Engineering Science and Technology, an International Journal, volume 55, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
19. Efficient low rank approximations for parabolic control problems with unknown heat source. Doghonay Arjmand and Maksat Ashyraliyev. In Journal of Computational and Applied Mathematics, volume 450, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
20. An Implementation of a Coarse-Fine Mesh Stabilized Schwarz Method for a Three-Space Dimensional PDE-Problem. Owe Axelsson, Roman Kohut, and Maya Neytcheva. In Large-Scale Scientific Computations, LSSC 2023, volume 13952 of Lecture Notes in Computer Science, pp 3-18, Springer, 2024. (DOI).
21. 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, volume 31, number 1, John Wiley & Sons, 2024. (DOI, Fulltext, fulltext:print).
22. Self-supervised Siamese Autoencoders. Friederike Baier, Sebastian Mair, and Samuel G. Fadel. In Advances in Intelligent Data Analysis XXII: 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24–26, 2024, Proceedings, Part I, volume 14641 of Lecture Notes in Computer Science, pp 117-128, Springer Nature, 2024. (DOI).
23. Reachability in Continuous Pushdown VASS. A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, and Georg Zetzsche. In Proceedings of the ACM on Programming Languages, volume 8, number POPL, Association for Computing Machinery (ACM), 2024. (DOI, Fulltext, fulltext:print).
24. Streamlining neuroradiology workflow with AI for improved cerebrovascular structure monitoring. Subhashis Banerjee, Fredrik Nysjö, Dimitrios Toumpanakis, Ashis Kumar Dhara, Johan Wikström, and Robin Strand. In Scientific Reports, volume 14, number 1, Nature Publishing Group, 2024. (DOI, Fulltext, fulltext:print).
25. Safe Reinforcement Learning in Uncertain Contexts. Dominik Baumann and Thomas B. Schön. In IEEE Transactions on robotics, volume 40, pp 1828-1841, IEEE, 2024. (DOI).
26. Modeling Excitable Cells with the EMI Equations: Spectral Analysis and Iterative Solution Strategy. Pietro Benedusi, Paola Ferrari, Marie E. Rognes, and Stefano Serra-Capizzano. In Journal of Scientific Computing, volume 98, number 3, Springer, 2024. (DOI, Fulltext, fulltext:print).
27. Classification of rotation-invariant biomedical images using equivariant neural networks. Karl Bengtsson Bernander, Ida-Maria Sintorn, Robin Strand, and Ingela Nyström. In Scientific Reports, volume 14, number 1, Springer Nature, 2024. (DOI, Fulltext, fulltext:print).
28. Equivariant Neural Networks for Biomedical Image Analysis. Karl Bengtsson Bernander. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2352, Acta Universitatis Upsaliensis, Uppsala, 2024. (fulltext, preview image).
29. A radial basis function partition of unity method for steady flow simulations. Francisco Bernal, Ali Safdari-Vaighani, and Elisabeth Larsson. In Journal of Computational Physics, volume 503, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
30. Eigenvalue superposition for Toeplitz matrix-sequences with matrix order dependent symbols. M. Bogoya, S. M. Grudsky, and Stefano Serra-Capizzano. In Linear Algebra and its Applications, volume 697, pp 487-527, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
31. Fast Toeplitz eigenvalue computations, joining interpolation-extrapolation matrix-less algorithms and simple-loop theory: The preconditioned setting. Manuel Bogoya, Stefano Serra-Capizzano, and Paris Vassalos. In Applied Mathematics and Computation, volume 466, Elsevier, 2024. (DOI).
32. Matrix-less methods for the spectral approximation of large non-Hermitian Toeplitz matrices: A concise theoretical analysis and a numerical study. Manuel Bogoya, Sven-Erik Ekström, Stefano Serra, and Paris Vassalos. In Numerical Linear Algebra with Applications, Wiley, 2024. (DOI, External link).
33. When Data Driven Reduced Order Modeling Meets Full Waveform Inversion. Liliana Borcea, Josselin Garnier, Mamonov, Alexander, V, and Jorn Zimmerling. In SIAM Review, volume 66, number 3, pp 501-532, Society for Industrial and Applied Mathematics, 2024. (DOI).
34. Carbohydrate NMR chemical shift prediction by GeqShift employing E(3) equivariant graph neural networks. Maria Bånkestad, Kevin M. Dorst, Goeran Widmalm, and Jerk Ronnols. In RSC Advances, volume 14, number 36, pp 26585-26595, Royal Society of Chemistry, 2024. (DOI, Fulltext, fulltext:print).
35. A multi-demand operating system underlying diverse cognitive tasks. Weidong Cai, Jalil Taghia, and Vinod Menon. In Nature Communications, volume 15, number 1, Springer Nature, 2024. (DOI, Fulltext, fulltext:print).
36. Design Methods in Connected Health. Åsa Cajander, Sofia Ouhbi, Shweta Premanandan, and Awais Ahmad. In NordiCHI Adjunct 2024: Adjunct Proceedings of the 2024 Nordic Conference on Human-Computer Interaction, 2024.
37. Insights from the Implementation of Open Notes in Sweden. Åsa Cajander, Hilde G. Corneliussen, Morten Hertzum, and Gunnar Ellingsen. In Studies in Health Technology and Informatics, Athens, Greece, 2024. (DOI).
38. DEPICTER: Deep representation clustering for histology annotation. Eduard Chelebian, Christophe Avenel, Francesco Ciompi, and Carolina Wählby. In Computers in Biology and Medicine, volume 170, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
39. Fast algebraic multigrid for block-structured dense systems arising from nonlocal diffusion problems. Minghua Chen, Rongjun Cao, and Stefano Serra-Capizzano. In Calcolo, volume 61, number 4, Springer, 2024. (DOI, Fulltext, fulltext:print).
40. Loss Filtering Factor for Crowd Counting. Yufeng Chen. In PATTERN RECOGNITION AND COMPUTER VISION, PRCV 2023, PT III, volume 14427 of Lecture Notes in Computer Science, pp 3-15, Springer Nature, 2024. (DOI).
41. Uncovering the Handwritten Text in the Margins: End-to-end Handwritten Text Detection and Recognition. Liang Cheng, Jonas Frankemölle, Adam Axelsson, and Ekta Vats. In In Proceedings of the 8th Joint SIGHUM Workshop on Computational Linguistics for Cultural Heritage, Social Sciences, Humanities and Literature (LaTeCH-CLfL 2024), pp 111-120, 2024.
42. One or two frequencies?: The Iterative Filtering answers. Antonio Cicone, Stefano Serra-Capizzano, and Haomin Zhou. In Applied Mathematics and Computation, volume 462, Elsevier, 2024. (DOI, Fulltext, fulltext:print). Publication status: Epub ahead of print
43. A Plan for a Joint Study into the Impacts of AI on Professional Competencies of IT Professionals and Implications for Computing Students. Tony Clear, Åsa Cajander, Alison Clear, Roger Mcdermott, Andreas Bergqvist, Mats Daniels, Monica Divitini, Matthew Forshaw, Niklas Humble, Maria Kasinidou, Styliani Kleanthous, Can Kultur, Ghazaleh Parvini, Mohammad Polash, and Tingting Zhu. In Proceedings of the 2024 on Innovation and Technology in Computer Science Education, pp 757-758, ACM Digital Library, 2024. (DOI).
44. A computational and statistical framework for cost-effective genotyping combining pooling and imputation. Camille Clouard. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2354, Acta Universitatis Upsaliensis, Uppsala, 2024. (fulltext, preview image).
45. Genotyping of SNPs in bread wheat at reduced cost from pooled experiments and imputation. Camille Clouard and Carl Nettelblad. In Theoretical and Applied Genetics, volume 137, number 1, Springer Nature, 2024. (DOI, Fulltext, fulltext:print).
46. Risk Assessment of Stealthy Attacks on Uncertain Control Systems. Sribalaji Coimbatore Anand, André Teixeira, and Anders Ahlén. In IEEE Transactions on Automatic Control, volume 69, number 5, pp 3214-3221, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
47. Sensing the breakdown: Managing complexity at the railway. Rebecca Cort and Jessica Lindblom. In Culture and Organization, volume 30, number 2, pp 179-197, Routledge, 2024. (DOI, Fulltext, fulltext:print).
48. A nodal based high order nonlinear stabilization for finite element approximation of Magnetohydrodynamics. Tuan Anh Dao and Murtazo Nazarov. In Journal of Computational Physics, volume 512, pp 113146-113146, 2024. (DOI).
49. A structure preserving numerical method for the ideal compressible MHD system. Tuan Anh Dao, Murtazo Nazarov, and Ignacio Tomas. In Journal of Computational Physics, volume 508, 2024. (DOI, Fulltext).
50. Invariant domain preserving schemes for magnetohydrodynamics. Tuan Anh Dao. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2414, Acta Universitatis Upsaliensis, Uppsala, 2024. (fulltext, preview image).
51. Viscous Regularization of the MHD Equations. Tuan Anh Dao, Lukas Lundgren, and Murtazo Nazarov. In SIAM Journal on Applied Mathematics, volume 84, number 4, pp 1439-1459, Society for Industrial and Applied Mathematics, 2024. (DOI).
52. Simulating BRAFV600E-MEK-ERK signalling dynamics in response to vertical inhibition treatment strategies. Alice De Carli, Yury Kapelyukh, Jochen Kursawe, Mark A. J. Chaplain, C. Roland Wolf, and Sara Hamis. In npj Systems Biology and Applications, volume 10, number 1, Springer Nature, 2024. (DOI, Fulltext, fulltext:print).
53. Task offloading optimization in mobile edge computing under uncertain processing cycles and intermittent communications. Tao Deng, Zhanwei Yu, and Di Yuan. In Computer Networks, volume 245, Elsevier, 2024. (DOI).
54. Multimodal Deep Convolutional Neural Network Pipeline for AI-Assisted Early Detection of Oral Cancer. G. A. I. Devindi, D. M. D. R. Dissanayake, S. N. Liyanage, F. B. A. H. Francis, M. B. D. Pavithya, N. S. Piyarathne, P. V. K. S. Hettiarachchi, R. M. S. G. K. Rasnayaka, R. D. Jayasinghe, R. G. Ragel, and I. Nawinne. In IEEE Access, volume 12, pp 124375-124390, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI, Fulltext, fulltext:print).
55. Scalable Tree-based Register Automata Learning. Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, and Fredrik Tåquist. In Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II, volume 14571 of Lecture Notes in Computer Science, pp 87-108, Springer, Cham, 2024. (DOI, Fulltext, fulltext:print).
56. Calpain Inhibition Protects against UVB-Induced Degradation of Dermal-Epidermal Junction-Associated Proteins. Iva Doleckova, Tinka Vidovic, Lenka Jandova, Christine Gretzmeier, Alexander A. Navarini, Michael R. MacArthur, Orcun Göksel, Alexander Nyström, and Collin Y. Ewald. In Journal of Investigative Dermatology, volume 144, number 9, pp 2103-2107.e2, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
57. Fine spectral analysis of preconditioned matrices and matrix-sequences arising from stage-parallel implicit Runge-Kutta methods of arbitrarily high order. Ivo Dravins, Stefano Serra-Capizzano, and Maya Neytcheva. In SIAM Journal on Matrix Analysis and Applications, volume 45, number 2, pp 1007-1034, Society for Industrial and Applied Mathematics, 2024. (DOI, Fulltext).
58. Observation of a single protein by ultrafast X-ray diffraction. Tomas Ekeberg, Dameli Assalauova, Johan Bielecki, Rebecca Boll, Benedikt J. Daurer, Lutz A. Eichacker, Linda E. Franken, Davide E. Galli, Luca Gelisio, Lars Gumprecht, Laura H. Gunn, Janos Hajdu, Robert Hartmann, Dirk Hasse, Alexandr Ignatenko, Jayanath Koliyadu, Olena Kulyk, Ruslan Kurta, Markus Kuster, Wolfgang Lugmayr, Jannik Lübke, Adrian P. Mancuso, Tommaso Mazza, Carl Nettelblad, Yevheniy Ovcharenko, Daniel E. Rivas, Max Rose, Amit K. Samanta, Philipp Schmidt, Egor Sobolev, Nicusor Timneanu, Sergey Usenko, Daniel Westphal, Tamme Wollweber, Lena Worbs, Paul Lourdu Xavier, Hazem Yousef, Kartik Ayyer, Henry N. Chapman, Jonas A. Sellberg, Carolin Seuring, Ivan A. Vartanyants, Jochen Küpper, Michael Meyer, and Filipe R. N. C. Maia. In Light: Science & Applications, volume 13, number 1, Springer Nature, 2024. (DOI, Fulltext, fulltext:print).
59. Poster: Fault Tolerance with Time Guarantees in Mobile Systems for Extreme Environments. Ahmed El Yaacoub, Luca Mottola, Thiemo Voigt, and Philipp Rümmer. In HOTMOBILE '24: Proceedings of the 25th International Workshop on Mobile Computing Systems and Applications, pp 138-138, Association for Computing Machinery (ACM), 2024. (DOI).
60. Gaussian-Based Parametric Bijections for Automatic Projection Filters. Muhammad F. Emzir, Zheng Zhao, Lahouari Cheded, and Simo Särkkä. In IEEE Transactions on Automatic Control, volume 69, number 5, pp 3449-3456, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
61. Acoustic shape optimization using energy stable curvilinear finite differences. Gustav Eriksson and Vidar Stiernström. In Journal of Computational Physics, volume 517, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
62. Robust and efficient discretizations of wave-dominated problems. Gustav Eriksson. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2409, Acta Universitatis Upsaliensis, Uppsala, 2024. (preview image, fulltext).
63. Two New Algorithms for Maximum Likelihood Estimation of Sparse Covariance Matrices With Applications to Graphical Modeling. Ghania Fatima, Prabhu Babu, and Petre Stoica. In IEEE Transactions on Signal Processing, volume 72, pp 958-971, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
64. Maximizing Value Yield in Wood Industry through Flexible Sawing and Product Grading Based on Wane and Log Shape. Kamran Forghani, Mats Carlsson, Pierre Flener, Magnus Fredriksson, Justin Pearson, and Di Yuan. In Computers and Electronics in Agriculture, volume 216, Elsevier, 2024. (DOI).
65. Are We Friends: End-to-End Prediction of Child Rapport in Guided Play. Marc Fraile, Giovanna Varni, Joakim Lindblad, Nataša Sladoje, and Ginevra Castellano. In , 2024. (Conference information).
66. Deep learning segmentation of low-resolution images for prostate magnetic resonance-guided radiotherpy. Samuel Fransson, David Tilly, and Robin Strand. 2024.
67. Memory-Augmenting Decoder-Only Language Models through Encoders: (Student Abstract). Alessio Galatolo and Katie Winkle. In THIRTY-EIGTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 21, AAAI Conference on Artificial Intelligence, pp 23494-23496, Assoc Advancement Artificial Intelligence, 2024.
68. Machine Learning Based Prediction of Imminent ICP Insults During Neurocritical Care of Traumatic Brain Injury. Peter Galos, Ludvig Hult, Dave Zachariah, Anders Lewén, Anders Hånell, Timothy Howells, Thomas B. Schön, and Per Enblad. In Neurocritical Care, Springer, 2024. (DOI, Fulltext, fulltext:print). Publication status: Epub ahead of print
69. All for One and One for All - Collaboration in Computing Education: Policy, Practice, and Professional Dispositions. Rita Garcia, Andrew Csizmadia, Janice L. Pearce, Bedour Alshaigy, Olga Glebova, Brian Harrington, Konstantinos Liaskos, Stephanie J. Lunn, Bonnie MacKellar, Usman Nasir, Raymond Pettit, Tom Prickett, Sandra Schulz, Craig Stewart, and Angela Zavaleta Bernuy. In Proceedings of the 2024 Conference Innovation and Technology in Computer Science Education, vol 2, ITICSE 2024, pp 763-764, Association for Computing Machinery (ACM), 2024. (DOI).
70. Sustainability and Usability Evaluation of E-Commerce Portals. Jose A. Garcia-Berna, Sofia Ouhbi, Juan M. Carrillo de Gea, Joaquin Nicolas, and Jose L. Fernandez-Aleman. In Good Practices and New Perspectives in Information Systems and Technologies, Vol 1, WorldCIST 2024, volume 985 of Lecture Notes in Networks and Systems, pp 204-213, Springer, 2024. (DOI).
71. On Deep Learning for Low-Dimensional Representations. Daniel Gedon. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2392, Acta Universitatis Upsaliensis, Uppsala, 2024. (fulltext, preview image).
72. Uncertainty Estimation with Recursive Feature Machines. Daniel Gedon, Amirhesam Abedsoltan, Thomas B. Schön, and Mikhail Belkin. In , 2024.
73. Structure and dynamics of growing networks of Reddit threads. Diletta Goglia and Davide Vega D'Aurelio. In Applied Network Science, volume 9, number 1, Springer Nature, 2024. (DOI, Fulltext, fulltext:print).
74. Mobility Matters at Nanoscale: Rendering the Received Terahertz Signal Power in Human Blood Vessels. Jorge Torres Gomez, Jennifer Simonjan, Johan Engstrand, Sergi Abadal, Robin Augustine, Thiemo Voigt, and Falko Dressler. In 2024 7TH INTERNATIONAL BALKAN CONFERENCE ON COMMUNICATIONS AND NETWORKING, BALKANCOM, pp 53-57, IEEE, 2024. (DOI).
75. Data-Driven Locality-Aware Batch Scheduling. Maxime Gonthier, Elisabeth Larsson, Loris Marchal, Carl Nettelblad, and Samuel Thibault. In 2024 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), pp 202-211, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
76. Student Perspectives on Using a Large Language Model (LLM) for an Assignment on Professional Ethics. Virginia Grande, Natalie Kiesler, and María Andreína Francisco Rodríguez. In Proceedings of the 2024 Conference Innovation and Technology in Computer Science Education, vol 1, ITICSE 2024, pp 478-484, Association for Computing Machinery (ACM), 2024. (DOI, fulltext:print).
77. 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, volume 49, number 1, pp 1-21, Taylor & Francis, 2024. (DOI, Fulltext, fulltext:print).
78. Finite element-based invariant-domain preserving approximation of hyperbolic systems: Beyond second-order accuracy in space. Jean-Luc Guermond, Murtazo Nazarov, and Bojan Popov. In Computer Methods in Applied Mechanics and Engineering, volume 418, Elsevier, 2024. (DOI).
79. Online learning in motion modeling for intra-interventional image sequences. Niklas Gunnarsson, Jens Sjölund, Peter Kimstrand, and Thomas B. Schön. In , 2024.
80. Efficient High-Resolution Template Matching with Vector Quantized Nearest Neighbour Fields. Ankit Gupta and Ida-Maria Sintorn. In Pattern Recognition, volume 151, Elsevier, 2024. (DOI, Fulltext, Pre-print in arXiv, fulltext:print).
81. Re-imagining intelligent machines in an anthropocentric-ecocentric continuum: The case for ecocentric intelligent machines. Didem Gürdür Broo, Joshua C. Gellers, and Henrik Skaug Saetra. In Journal of Industrial Information Integration, volume 41, Elsevier, 2024. (DOI).
82. Adolescents' reasons for accessing their health records online, perceived usefulness and experienced provider encouragement: a national survey in Sweden. Josefin Hagström, Charlotte Blease, Isabella Scandurra, Jonas Moll, Åsa Cajander, Hanife Rexhepi, and Maria Hägglund. In BMJ Paediatrics Open, volume 8, number 1, BMJ Publishing Group Ltd, 2024. (DOI, Fulltext, fulltext:print).
83. Security and Privacy of Online Record Access: A Survey of Adolescents’ Views and Experiences in Sweden. Josefin Hagström, Rose-Mharie Åhlfeldt, Charlotte Blease, Åsa Cajander, Hanife Rexhepi, Jonas Moll, Bridget Kane, Isabella Scandurra, and Maria Hägglund. In Journal of Adolescent Health, 2024. (DOI, External link).
84. Enhancing Processor Performance: Approaches for Memory Characterization, Efficient Dynamic Instruction Prefetching, and Optimized Instruction Caching. Muhammad Hassan. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2387, Acta Universitatis Upsaliensis, Uppsala, 2024. (fulltext, preview image).
85. Analysis of Age Invariant Face Recognition Efficiency Using Face Feature Vectors. Anders Hast, Yijie Zhou, Congting Lai, and Ivar Blohm. In Robotics, Computer Vision and Intelligent Systems, Communications in Computer and Information Science, pp 47-65, 2024. (External link).
86. Analysis of Age Invariant Face Recognition Efficiency Using Face Feature Vectors. Anders Hast, Yijie Zhou, Congting Lai, and Ivar Blohm. In ROBOTICS, COMPUTER VISION AND INTELLIGENT SYSTEMS, ROBOVIS 2024, Communications in Computer and Information Science, pp 47-65, SPRINGER INTERNATIONAL PUBLISHING AG, 2024. (DOI).
87. Robustness and Accuracy in Pipelined Bi-conjugate Gradient Stabilized Methods. Mykhailo Havdiak, José I. Aliaga, and Roman Iakymchuk. In Computational Science – ICCS 2024: 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part III, volume 14834 of Lecture Notes in Computer Science, pp 311-319, Springer, 2024. (DOI).
88. Handwritten Stenography Recognition and the LION Dataset. Raphaela Heil and Malin Nauwerck. In International Journal on Document Analysis and Recognition, 2024. (DOI, Fulltext).
89. 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, volume 95, number 4, pp 1769-1799, Springer Nature, 2024. (DOI).
90. Nominal Types for Erlang. Isabell Huang, Kiko Fernandez-Reyes, John Högberg, and Tobias Wrigstad. In Erlang 2024: Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, Association for Computing Machinery (ACM), 2024. (DOI, Fulltext).
91. Robust inference for systems under distribution shifts. Ludvig Hult. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2421, Acta Universitatis Upsaliensis, Uppsala, 2024. (fulltext, preview image).
92. AI Supported Game Development: Exploring Opportunities and Challenges. Niklas Humble. In , ACI Academic Conferences International, 2024. (Conference information).
93. Matte, programmering, spel och framtiden. Niklas Humble, Peter Moelius, and Lisa Sällvin. Svensk förening för MatematikDidaktisk Forskning - SMDF, 2024. (SMDFbladet nr 22, september 2024).
94. A Nordic Perspective on Patient Online Record Access and the European Health Data Space. Maria Hägglund, Anna Kharko, Annika Bärkås, Charlotte Blease, Åsa Cajander, Catherine DesRoches, Asbjørn Johansen Fagerlund, Josefin Hagström, Isto Huvila, Iiris Hörhammer, Bridget Kane, Gunnar O Klein, Eli Kristiansen, Jonas Moll, Irene Muli, Hanife Rexhepi, Sara Riggare, Peeter Ross, Isabella Scandurra, Saija Simola, Hedvig Soone, Bo Wang, Maedeh Ghorbanian Zolbin, Rose-Mharie Åhlfeldt, Sari Kujala, and Monika Alise Johansen. In Journal of Medical Internet Research, volume 26, JMIR Publications, 2024. (DOI, Fulltext, fulltext:print).
95. General framework for re-assuring numerical reliability in parallel Krylov solvers: A case of bi-conjugate gradient stabilized methods. Roman Iakymchuk, Stef Graillat, and José I. Aliaga. In The international journal of high performance computing applications, volume 38, number 1, pp 17-33, Sage Publications, 2024. (DOI, Fulltext).
96. The effect of internet-administered support (carer eSupport) on preparedness for caregiving in informal caregivers of patients with head and neck cancer compared with support as usual: a study protocol for a randomized controlled trial. Birgitta Johansson, Åsa Cajander, Awais Ahmad, Emma Ohlsson-Nevo, Per Fransson, Brith Granström, Louise von Essen, Ulrica Langegård, Mona Pettersson, Anna Henriksson, and Ylva Tiblom Ehrsson. In BMC Cancer, volume 24, number 1, BioMed Central (BMC), 2024. (DOI, Fulltext, fulltext:print).
97. An introduction to data-driven modelling of the Water-Energy-Food-Ecosystem nexus. Elise Jonsson, Andrijana Todorovi?, Malgorzata Blicharska, María Andreína Francisco Rodríguez, Thomas Grabs, Janez Sušnik, and Claudia Teutschbein. In Environmental Modelling & Software, volume 181, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
98. Adaptive Robust Learning using Latent Bernoulli Variables. Aleksandr Karakulev, Dave Zachariah, and Prashant Singh. In Proceedings of the 41st International Conference on Machine Learning, volume 235 of Proceedings of Machine Learning Research, pp 23105-23122, PLMR -Proceedings of Machine Learning Research, 2024. (Paper in fulltext, preprint at arXiv, fulltext:postprint).
99. Development and validation of coreLang: A threat modeling language for the ICT domain. Sotirios Katsikeas, Andrei Buhaiu, Mathias Ekstedt, Zeeshan Afzal, Simon Hacks, and Preetam Mukherjee. In Computers & security (Print), volume 146, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
100. Artificial intelligence and the sustainability of thinking: How AI may destroy us, or help us. Iordanis Kavathatzopoulos. In Ethics and Sustainability in Digital Cultures, pp 19-30, Routledge, London, 2024. (DOI).
101. Sociodemographic characteristics and COVID-19 testing rates: spatiotemporal patterns and impact of test accessibility in Sweden. Beatrice Kennedy, Georgios Varotsis, Ulf Hammar, Diem Nguyen, Germán D. Carrasquilla, Vera van Zoest, Robert S. Kristiansson, Hugo Fitipaldi, Koen F. Dekkers, Meena Daivadanam, Mats Martinell, Jonas Björk, and Tove Fall. In European Journal of Public Health, volume 34, number 1, pp 14-21, Oxford University Press, 2024. (DOI, Fulltext, fulltext:print).
102. Robo-Identity: Designing for Identity in the Shared World. Rucha Khot, Minha Lee, Alexandra Bejarano, Lux Miranda, Gisela Reyes-Cruz, Joel E. Fischer, and Dimosthenis Kontogiorgos. In COMPANION OF THE 2024 ACM/IEEE INTERNATIONAL CONFERENCE ON HUMAN-ROBOT INTERACTION, HRI 2024 COMPANION, pp 1326-1328, Association for Computing Machinery (ACM), 2024. (DOI).
103. Rao-Blackwellized particle smoothing for simultaneous localization and mapping. Manon Kok, Arno Solin, and Thomas B. Schön. In DATA-CENTRIC ENGINEERING, volume 5, Cambridge University Press, 2024. (DOI, Fulltext, fulltext:print).
104. Deep Learning and Explainable Artificial Intelligence for Biomedical Applications: Methods for Cytology-based Cancer Detection. Nadezhda Koriakina. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2444, Acta Universitatis Upsaliensis, Uppsala, 2024. (fulltext, preview image).
105. Deep multiple instance learning versus conventional deep single instance learning for interpretable oral cancer detection. Nadezhda Koriakina, Nataša Sladoje, Vladimir Baši?, and Joakim Lindblad. In PLOS ONE, volume 19, number 4, pp e0302169-e0302169, 2024. (DOI).
106. More Lightweight, yet Stronger: Revisiting OSCORE’s Replay Protection. Konrad-Felix Krentz and Thiemo Voigt. In , 2024. (Workshop program).
107. Cellular architecture of evolving neuroinflammatory lesions and multiple sclerosis pathology. Petra Kukanja, Christoffer M. Langseth, Leslie A. Rubio Rodriguez-Kirby, Eneritz Agirre, Chao Zheng, Amitha Raman, Chika Yokota, Christophe Avenel, Katarina Tiklova, Andre O. Guerreiro-Cacais, Tomas Olsson, Markus M. Hilscher, Mats Nilsson, and Goncalo Castelo-Branco. In Cell, volume 187, number 8, pp 1990-2009, Cell Press, 2024. (DOI, Fulltext, fulltext:print).
108. 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 SN computer science, volume 5, number 106, Springer, 2024. (DOI).
109. Capital and the Social Reproduction of Inequality in Computing Education. Thom Kunkeler. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2024-001, Uppsala University, Uppsala, Sweden, 2024. (External link, fulltext).
110. Capital in Computing Education: Investigating Factors Underlying Participation. Thom Kunkeler and Aletta Nylén. In Proceedings of the 2024 Conference Innovation and Technology in Computer Science Education, vol 1, ITICSE 2024, pp 129-135, Association for Computing Machinery (ACM), 2024. (DOI, Fulltext, fulltext:print).
111. From Science to Computing: A Study of Capital Among Bioinformatics Students. Thom Kunkeler and Aletta Nylén. In IEEE Transactions on Education, volume 67, number 2, pp 202-208, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
112. Supplement: Capital in Computing Education, v.2. Thom Kunkeler, Maria Kallia, and Matthew Barr. Technical report / Department of Information Technology, Uppsala University nr 2024-003, Uppsala universitet, 2024. (fulltext).
113. Supplement - Capital in Computing Education: Investigating Factors Underlying Participation. Thom Kunkeler and Aletta Nylén. Technical report / Department of Information Technology, Uppsala University nr 2024-001, Uppsala University, Uppsala, 2024. (fulltext).
114. Supplement - Social Capital and Women in Computing: A Comparative Study Between Sweden and Bangladesh. Thom Kunkeler, Klara Hugo, and Fatama Akter. Technical report / Department of Information Technology, Uppsala University nr 2024-002, Uppsala University, Uppsala, Sweden, 2024. (fulltext).
115. What is the problem to which AI chatbots are the solution?: AI ethics through Don Ihde's embodiment, hermeneutic, alterity, and background relationships. Mikael Laaksoharju, Thomas Taro Lennerfors, Anders Persson, and Lars Oestreicher. In Ethics and Sustainability in Digital Cultures, Routledge Series on Digital Spaces, pp 31-48, Routledge, Oxon, 2024. (DOI).
116. Digitalisation and the Work Environment: Insights from Evaluating the Contextual Think-Aloud Method. Marta Larusdottir, Åsa Cajander, and Ruochen Wang. In Design for Equality and Justice, volume 14535 of Lecture Notes in Computer Science, pp 31-46, Springer, Cham, 2024. (DOI).
117. Blades: A Unified Benchmark Suite for Byzantine Attacks and Defenses in Federated Learning. Shenghui Li, Edith Ngai, Fanghua Ye, Li Ju, Tianru Zhang, and Thiemo Voigt. In , 2024. (Conference information).
118. Blades: A Unified Benchmark Suite for Byzantine Attacks and Defenses in Federated Learning. Shenghui Li, Edith C. H. Ngai, Fanghua Ye, Li Ju, Tianru Zhang, and Thiemo Voigt. In 9TH ACM/IEEE CONFERENCE ON INTERNET OF THINGS DESIGN AND IMPLEMENTATION, IOTDI 2024, pp 158-169, IEEE, 2024. (DOI).
119. Roadmap for UX in future operational train traffic control. Jessica Lindblom, Mikael Laaksoharju, and Rebecca Cort. In International Journal of Human Factors and Ergonomics, volume 11, number 1, pp 28-55, InderScience Publishers, 2024. (DOI, Fulltext, fulltext:print).
120. RoME-QCD: Robust and Measurement Efficient Quickest Change Detection in 5G Networks. Simon Lindståhl, Alexandre Proutiere, and Andreas Johnsson. In Proceedings of the 8Th Network Traffic Measurement and Analysis Conference, TMA 2024, pp 1-11, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
121. RTeX: An Efficient and Timing-Predictable Multithreaded Executor for ROS 2. Songran Liu, Xu Jiang, Nan Guan, Zilong Wang, Minghe Yu, and Yi Wang. In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, volume 43, number 9, pp 2578-2591, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
122. Properties of the 'friend of a friend' model for network generation. Tiffany Y. Y. Lo, Watson Levens, and David J. T. Sumpter. In Journal of Complex Networks, volume 12, number 4, Oxford University Press, 2024. (DOI, Fulltext, fulltext:print).
123. Modelling operator control work across traffic management domains: implications for interaction design. Jonas Lundberg, Magnus Nylin, Gesa Praetorius, Anders A. Jansson, and Magnus Bång. In Cognition, Technology & Work, Springer, 2024. (DOI, Fulltext, fulltext:print). Publication status: Epub ahead of print
124. A high-order residual-based viscosity finite element method for incompressible variable density flow. Lukas Lundgren and Murtazo Nazarov. In Journal of Computational Physics, volume 497, Elsevier, 2024. (DOI, Fulltext, fulltext:print). Publication status: Epub ahead of print
125. Simple agents - complex emergent path systems: Agent-based modelling of pedestrian movement. Lei Ma, Sven Anders Brandt, Stefan Seipel, and Ding Ma. In Environment and planning B: Urban analytics and city science, volume 51, number 2, pp 479-495, Sage Publications, 2024. (DOI, Fulltext, fulltext:print).
126. Non-Negative Decomposition of Multivariate Information: From Minimum to Blackwell-Specific Information. Tobias Mages, Elli Anastasiadi, and Christian Rohner. In Entropy, volume 26, number 5, MDPI, 2024. (DOI, Fulltext, fulltext:print).
127. FedCau: A Proactive Stop Policy for Communication and Computation Efficient Federated Learning. Afsaneh Mahmoudi, Hossein S. Ghadikolaei, José Mairton Barros da Silva Jr., and Carlo Fischione. In IEEE Transactions on Wireless Communications, volume 23, number 9, pp 11076-11093, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI, Fulltext, fulltext:print).
128. Archetypal Analysis++: Rethinking the Initialization Strategy. Sebastian Mair and Jens Sjölund. In Transactions on Machine Learning Research, 2024. (Article in full-text, Pre-print in arXiv, fulltext:print).
129. Efficient radiation treatment planning based on voxel importance. Sebastian Mair, Anqi Fu, and Jens Sjölund. In Physics in Medicine and Biology, volume 69, number 16, Institute of Physics Publishing (IOPP), 2024. (DOI, Fulltext, fulltext:print).
130. On the Equivalence of Direct and Indirect Data-Driven Predictive Control Approaches. Per Mattsson, Fabio Bonassi, Valentina Breschi, and Thomas B. Schön. In IEEE Control Systems Letters, volume 8, pp 796-801, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
131. Pervasive Sustainability. Matthew Louis Mauriello and Mike Hazas. In IEEE pervasive computing, volume 23, number 2, pp 4-6, IEEE, 2024. (DOI).
132. Algebra preconditionings for 2D Riesz distributed-order space-fractional diffusion equations on convex domains. Mariarosa Mazza, Stefano Serra-Capizzano, and Rosita Luisa Sormani. In Numerical Linear Algebra with Applications, volume 31, number 3, John Wiley & Sons, 2024. (DOI, Fulltext, fulltext:print).
133. Closed-form expressions for the pure time delay in terms of the input and output Laguerre spectra. Alexander Medvedev. In Automatica, volume 159, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
134. A Case for Diverse Social Robot Identity Performance in Education. Lux Miranda, Ginevra Castellano, and Katie Winkle. In COMPANION OF THE 2024 ACM/IEEE INTERNATIONAL CONFERENCE ON HUMAN-ROBOT INTERACTION, HRI 2024 COMPANION, pp 28-35, ASSOC COMPUTING MACHINERY, 2024. (DOI, Fulltext, fulltext:print).
135. A non-oscillatory finite volume scheme using a weighted smoothed reconstruction. Davoud Mirzaei and Navid Soodbakhsh. In Journal of Computational Physics, volume 508, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
136. Automated data transfer for digital twin applications: Two case studies. Hanna Molin, Christoffer Warff, Erik Lindblom, Magnus Arnell, Bengt Carlsson, Per Mattsson, Jonas Backman, and Ulf Jeppsson. In Water environment research, volume 96, number 7, John Wiley & Sons, 2024. (DOI, Fulltext, fulltext:print).
137. On the Use of Generative AI for Literature Reviews: An Exploration of Tools and Techniques. Peter Mozelius and Niklas Humble. In Proceedings of the 23rd European Conference on Research Methodology for Business and Management Studies: Hosted by ISCAP, Porto Portugal 4-5 July 2024, volume 23:1 of Proceedings of the European conference on research methods in business and management, pp 161-168, ACI Academic Conferences International, 2024. (DOI, Fulltext, fulltext:print).
138. Improved accuracy of continuum surface flux models for metal additive manufacturing melt pool simulations. Nils Much, Magdalena Schreter-Fleischhacker, Peter Munch, Martin Kronbichler, Wolfgang A. Wall, and Christoph Meier. In Advanced Modeling and Simulation in Engineering Sciences, volume 11, number 1, Springer Nature, 2024. (DOI, Fulltext, fulltext:print).
139. To read or not to read - A cross-sectional study of Swedish primary care patients' adoption of patient accessible electronic health records. Irene Muli, Åsa Cajander, Helena Hvitfeldt, Ylva Trolle Lagerros, Daniel Söderberg, Linnea Sjöblom, Anna Dahlgren, Bo C. Bertilson, Nasim Farrokhnia, Isis Amer-Wåhlin, Marina Taloyan, and Maria Hägglund. In DIGITAL HEALTH, volume 10, 2024. (DOI, External link).
140. Video Consultations and Environmental Sustainability - Usability's Impact on Long-Term Use.. Irene Muli, Åsa Cajander, Hania Rahimi Ardabili, Marina Taloyan, and Maria Hägglund. In Studies in Health Technology and Informatics, volume 316, pp 291-295, 2024. (DOI).
141. Video Consultations and Environmental Sustainability – Usability’s Impact on Long-Term Use. Irene Muli, Åsa Cajander, Hania Rahimi Ardabili, Marina Taloyan, and Maria Hägglund. In , 2024. (DOI).
142. Truth and reality in the digital lifeworld: Departure from reductionism. Makoto Nakada, Iordanis Kavathatzopoulos, and Ryoko Asai. In Ethics and Sustainability in Digital Cultures, pp 72-92, Routledge, London, 2024. (DOI).
143. Dafny vs. Dala: Experience with Mechanising Language Design. James Noble, Julian Mackay, Tobias Wrigstad, Andrew Fawcet, and Michael Homer. In FTfJP 2024: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, Association for Computing Machinery (ACM), 2024. (DOI, Fulltext).
144. Mutator-Driven Object Placement using Load Barriers. Jonas Norlinder, Albert Mingkun Yang, David Black-Schaffer, and Tobias Wrigstad. In MPLR 2024: Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, Association for Computing Machinery (ACM), 2024. (DOI, Fulltext).
145. More Effective Criteria for Testing the Oscillation of Solutions of Third-Order Differential Equations. Najiyah Omar, Stefano Serra, Belgees Qaraad, Faizah Alharbi, Osama Moaaz, and Elmetwally M. Elabbasy. In AXIOMS, volume 13, number 3, MDPI, 2024. (DOI, Fulltext, fulltext:print).
146. "Hybrid Work Provides the Best of both Worlds" Software Engineering Students' Perception of Group Work in Different Work Settings. Sofia Ouhbi and Nuno Pombo. In Towards a Hybrid, Flexible and Socially Engaged Higher Education, vol 2, ICL2023, Lecture Notes in Networks and Systems, pp 455-466, Springer, 2024. (DOI).
147. Bridging the Theory-Practice Gap in a Maintenance Programming Course: An Experience Report. Sofia Ouhbi. In ICSE-SEET '24: Proceedings of the 46th International Conference on Software Engineering, pp 359-367, Association for Computing Machinery (ACM), 2024. (DOI, Fulltext, fulltext:print).
148. 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, volume 23, number 1, pp 167-175, IEEE, 2024. (DOI).
149. Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract. Matthew J. Parkinson, Sylvan Clebsch, and Tobias Wrigstad. In Proceedings of the 2024 ACM Sigplan International Symposium on Memory Management, ISMM 2024, pp 131-141, Association for Computing Machinery (ACM), 2024. (DOI, fulltext:print).
150. Artificial intelligence-enhanced electrocardiography derived body mass index as a predictor of future cardiometabolic disease. Libor Pastika, Arunashis Sau, Konstantinos Patlatzoglou, Ewa Sieliwonczyk, Antônio Horta Ribeiro, Kathryn A. McGurk, Sadia Khan, Danilo Mandic, William R. Scott, James S. Ware, Nicholas S. Peters, Antonio Luiz P. Ribeiro, Daniel B. Kramer, Jonathan W. Waks, and Fu Siong Ng. In npj Digital Medicine, volume 7, Springer Nature, 2024. (DOI, Fulltext, fulltext:print).
151. A Federated Prototype-Based Model for IoT Systems: A Study Case for Leakage Detection in a Real Water Distribution Network. Diego Perdigão Sousa, José Mairton Barros da Silva Jr., Charles Casimiro Cavalcante, and Carlo Fischione. In Wireless Sensor Networks in Smart Environments: Enabling Digitalization, Wiley-IEEE Press, 2024.
152. Cognition and the Machine: Exploring Human-AI Interaction via Predictive Processing. Anders Persson. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 155, Acta Universitatis Upsaliensis, Uppsala, 2024. (fulltext, preview image).
153. Physics-informed neural networks with unknown measurement noise. Philipp Pilar and Niklas Wahlström. In Proceedings of Machine Learning Research, pp 235-247, 2024.
154. Unlocking the Potential of Low-cost High-resolution Sensing with Analog Backscatter. Dilushi Piumwardane, Madhushanka Padmal, Vaishnavi Ranganathan, Kasun Hewage, Christian Rohner, and Thiemo Voigt. In 2024 IEEE International Conference on RFID (RFID), IEEE International Conference on RFID, pp 1-6, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
155. A comprehensive dataset of annotated oral cavity images for diagnosis of oral cancer and oral potentially malignant disorders. N. S. Piyarathne, S. N. Liyanage, R. M. S. G. K. Rasnayaka, P. V. K. S. Hettiarachchi, G. A. I. Devindi, F. B. A. H. Francis, D. M. D. R. Dissanayake, R. A. N. S. Ranasinghe, M. B. D. Pavithya, I. B. Nawinne, R. G. Ragel, and R. D. Jayasinghe. In Oral Oncology, volume 156, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
156. PACMan: A software package for automated single-cell chlorophyll fluorometry. Olle Pontén, Linhong Xiao, Jeanne Kutter, Yuan Cui, Carolina Wählby, and Lars Behrendt. In Cytometry Part A, volume 105, number 3, pp 203-213, John Wiley & Sons, 2024. (DOI, Fulltext, fulltext:print).
157. Stabilized interpolation using radial basis functions augmented with selected radial polynomials. Fatemeh Pooladi and Elisabeth Larsson. In Journal of Computational and Applied Mathematics, volume 437, Elsevier, 2024. (DOI).
158. Digital Inertia: A Qualitative Study with a Caregiver Association Network About Informal Caregivers' Non-Use of IT Applications. Shweta Premanandan, Awais Ahmad, and Åsa Cajander. In Digital Health and Informatics Innovations for Sustainable Health Care Systems: Proceedings of MIE 2024, volume 316 of Studies in Health Technology and Informatics, pp 166-170, IOS Press, Amsterdam; Washington, DC, 2024. (DOI, Fulltext, fulltext:print).
159. Restructuring Teaching/Learning and Assessment Activities in an Online Course to Ensure Constructive Alignment. Shweta Premanandan, Awais Ahmad, and Åsa Cajander. In , 2024.
160. Cycles in Impulsive Goodwin's Oscillators of arbitrary orderâ??. Anton V. Proskurnikov, Håkan Runvik, and Alexander Medvedev. In Automatica, volume 159, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
161. Agent Selection Framework for Federated Learning in Resource-Constrained Wireless Networks. Maria Raftopoulou, José Mairton Barros da Silva Jr., Remco Litjens, H. Vincent Poor, and Piet Van Mieghem. In IEEE Transactions on Machine Learning in Communications and Networking, pp 1-1, IEEE Communications Society, 2024. (DOI, Fulltext, External link).
162. Minimum jointly structural input and output selectionâ??. Guilherme Ramos, A. Pedro Aguiar, and Sergio Pequito. In Automatica, volume 165, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
163. Generalizable One-Way Delay Prediction Models for Heterogeneous UEs in 5G Networks. Akhila Rao, Hassam Riaz, Aleksandr Zavodovski, Rami Mochaourab, Viktor Berggren, and Andreas Johnsson. In NOMS 2024-2024 IEEE Network Operations and Management Symposium, IEEE IFIP Network Operations and Management Symposium, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
164. ChannelComp: A General Method for Computation by Communications. Saeed Razavikia, José Mairton Barros da Silva, and Carlo Fischione. In IEEE Transactions on Communications, volume 72, number 2, pp 692-706, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI, Fulltext, External link, fulltext:print).
165. SumComp: Coding for Digital Over-the-Air Computation via the Ring of Integers. Saeed Razavikia, Jose Mairton Barros da Silva Junior, and Carlo Fischione. In IEEE Transactions on Communications, pp 1-1, IEEE Communications Society, 2024. (DOI, Fulltext, External link).
166. A topology-based approach to identifying urban centers in America using multi-source geospatial big data. Zheng Ren, Stefan Seipel, and Bin Jiang. In Computers, Environment and Urban Systems, volume 107, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
167. A unifying framework for higher order derivatives of matrix functions. Emanuel H. Rubensson. In SIAM Journal on Matrix Analysis and Applications, volume 45, number 1, pp 504-528, Society for Industrial and Applied Mathematics, 2024. (DOI).
168. Comparing Transfer Learning and Rollout for Policy Adaptation in a Changing Network Environment. Forough Shahab Samani, Hannes Larsson, Simon Damberg, Andreas Johnsson, and Rolf Stadler. In NOMS 2024-2024 IEEE Network Operations and Management Symposium, IEEE IFIP Network Operations and Management Symposium, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
169. GLT sequences and automatic computation of the symbol. N. S. Sarathkumar and Stefano Serra-Capizzano. In Linear Algebra and its Applications, volume 697, pp 468-486, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
170. The <em>β</em> maps: Strong clustering and distribution results on the complex unit circle. Alec J. A. Schiavoni-Piazza, David Meadon, and Stefano Serra. In Linear Algebra and its Applications, volume 697, pp 365-383, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
171. Two-Dimensional Semi-linear Riesz Space Fractional Diffusion Equations in Convex Domains: GLT Spectral Analysis and Multigrid Solvers. Stefano Serra-Capizzano, Rosita L. Sormani, and Cristina Tablino-Possio. In Large-Scale Scientific Computations, LSSC 2023, volume 13952 of Lecture Notes in Computer Science, pp 52-60, Springer, 2024. (DOI).
172. Optimizing Energy Efficiency of Concurrent Garbage Collection. Marina Shimchenko. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2412, Acta Universitatis Upsaliensis, Uppsala, 2024. (fulltext, preview image).
173. Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors. Marina Shimchenko, Erik Österlund, and Tobias Wrigstad. In The Art, Science, and Engineering of Programming, volume 8, number 3, Aspect-Oriented Software Association, 2024. (DOI, Fulltext, fulltext:print).
174. Spike sorting in the presence of stimulation artifacts: a dynamical control systems approach. Mohammad Shokri, Alex R. Gogliettino, Pawel Hottowy, Alexander Sher, Alan M. Litke, E. J. Chichilnisky, Sergio Pequito, and Dante Muratore. In Journal of Neural Engineering, volume 21, number 1, Institute of Physics Publishing (IOPP), 2024. (DOI, Fulltext, fulltext:print).
175. A Constraint Solving Approach to Parikh Images of Regular Languages. Amanda Stjerna and Philipp Rümmer. In Proceedings of the ACM on Programming Languages, volume 8, number OOPSLA1, Association for Computing Machinery (ACM), 2024. (DOI, Fulltext, fulltext:print).
176. Pearson-Matthews correlation coefficients for binary and multinary classification. Peter Stoica and Prabhu Babu. In Signal Processing, volume 222, Elsevier, 2024. (DOI).
177. Project Hephaistos – II. Dyson sphere candidates from Gaia DR3, 2MASS, and WISE. Matías Suazo, Erik Zackrisson, Priyatam Mahto, Fabian Lundell, Carl Nettelblad, Andreas J. Korn, Jason Wright, and Suman Majumdar. In QJM Monthly Journal of the Association of Physicians, volume 531, number 1, 2024. (DOI, Fulltext, fulltext:print).
178. Sharing Four Biscuits Between Three People: An Illustrative Example of How Mathematics is Intertwined with Human Values. Lovisa Sumpter and David Sumpter. In Journal of Humanistic Mathematics, volume 14, number 1, pp 74-93, Claremont Colleges Library, 2024. (DOI, Fulltext, fulltext:print).
179. Timing analysis of processing chains with data refreshing in ROS 2. Yue Tang, Xu Jiang, Nan Guan, Xiantong Luo, Maolin Yang, and Yi Wang. In Journal of systems architecture, volume 155, Elsevier, 2024. (DOI).
180. Improved automated tumor segmentation in whole-body 3D scans using multi-directional 2D projection-based priors. Sambit Tarai, Elin Lundström, Therese Sjöholm, Hanna Jönsson, Alexander Korenyushkin, Nouman Ahmad, Mette A. Pedersen, Daniel Molin, Gunilla Enblad, Robin Strand, Håkan Ahlström, and Joel Kullberg. In Heliyon, volume 10, number 4, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
181. On differential privacy for federated learning in wireless systems with multiple base stations. Nima Tavangaran, Mingzhe Chen, Zhaohui Yang, José Mairton B. Da Silva Jr., and H. Vincent Poor. In IET Communications, 2024. (DOI, Fulltext, fulltext:print).
182. Longevity interventions modulate mechanotransduction and extracellular matrix homeostasis in <em>C. elegans</em>. Alina C. Teuscher, Cyril Statzer, Anita Goyala, Seraina A. Domenig, Ingmar Schoen, Max Hess, Alexander M. Hofer, Andrea Fossati, Viola Vogel, Orcun Göksel, Ruedi Aebersold, and Collin Y. Ewald. In Nature Communications, volume 15, number 1, Springer Nature, 2024. (DOI, Fulltext, fulltext:print).
183. Generative feature-driven image replay for continual learning. Kevin Thandiackal, Tiziano Portenier, Andrea Giovannini, Maria Gabrani, and Orcun Göksel. In Image and Vision Computing, volume 150, Elsevier, 2024. (DOI).
184. Multi-scale Feature Alignment for Continual Learning of Unlabeled Domains. Kevin Thandiackal, Luigi Piccinelli, Rajarsi Gupta, Pushpak Pati, and Orcun Göksel. In IEEE Transactions on Medical Imaging, volume 43, number 7, pp 2599-2609, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI, Pre-print in arXiv, fulltext:preprint).
185. Quickest detection of bias injection attacks on the glucose sensor in the artificial pancreas under meal disturbances. Fatih Emre Tosun, André Teixeira, Mohamed R. -H. Abdalmoaty, Anders Ahlén, and Subhrakanti Dey. In Journal of Process Control, volume 135, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
186. Automated Verification of Data Properties and Linearizability for Heap-Manipulating Programs. Cong Quy Trinh. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 2389, Acta Universitatis Upsaliensis, Uppsala, 2024. (fulltext, preview image).
187. Average power control for RF EMF compliance. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
188. Convergence in Delayed Recursive Identification of Nonlinear Systems. Torbjörn Wigren. In Proceedings of European Control Conference, pp 914-921, 2024.
189. Convergence in Delayed Recursive Identification of Nonlinear Systems. Torbjörn Wigren. In , Uppsala University, 2024. (fulltext:preprint).
190. Delay Attack and Detection in Feedback Linearized Control Systems. Torbjörn Wigren and André Teixeira. In Proceedings of European Control Conference, pp 1569-1576, 2024.
191. Delay Attack and Detection in Feedback Linearized Control Systems. Torbjörn Wigren. In , Uppsala University, 2024. (fulltext:preprint).
192. Delay attack and detection in cyber secure feedback control systems. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
193. Fifteen minutes on averaging theory for recursive algorithms. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
194. Fundamental low frequency limitations in networked control. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
195. Global convergence of blind adaptation algorithms. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
196. Identification and control of non-linear solar collector plants with varying delay. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
197. Identification and control of selective catalytic reduction systems. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
198. Identification and estimation using quantized output signal measurements. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
199. Integration of feedback and feed-forward techniques in reinforcement learning. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
200. Linearizing control of non-linear Wiener systems. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
201. Location technology for cellular systems. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
202. Logarithmic Feedback Control of Passive Interference. Torbjörn Wigren. In Proceedings of European Control Conference, pp 154-161, 2024.
203. Logarithmic Feedback Control of Passive Interference. Torbjörn Wigren. In , Uppsala University, 2024. (fulltext:preprint).
204. Networked control with saturation and delay. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
205. Networked recursive identification of nonlinear systems. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
206. Non-linear identification and adaptive control in anaesthesia. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
207. Non-linear identification of periodic signals. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
208. Non-linear system identification in systems biology. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
209. Passive state estimation of air vehicles. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
210. Recursive identification of non-linear systems using differential equation models. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
211. Recursive identification of nonlinear Wiener systems. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
212. Robust networked ?2?stable wireless SINR control. Torbjörn Wigren. In International Journal of Robust and Nonlinear Control, volume 34, number 9, pp 5833-5851, 2024. (DOI).
213. Round Trip Time based UAV State Estimation. Torbjörn Wigren and Sholeh Yasini. In Proceedings of European Control Conference, pp 3776-3782, 2024.
214. Scheduling and power control for cellular radio systems. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
215. Sensor array and narrowband signal processing. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
216. Speech coding, audio signal processing, echo cancellation and source separation. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
217. Stability based ammonium control in waste water treatment. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
218. Wideband interference estimation with advanced receivers. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
219. Wireless data flow control. Torbjörn Wigren. Uppsala University, 2024. (fulltext).
220. Decentralized and Incentivized Federated Learning: A Blockchain-Enabled Framework Utilising Compressed Soft-Labels and Peer Consistency. Leon Witt, Usama Zafar, Kuoyeh Shen, Felix Sattler, Dan Li, Songtao Wang, and Wojciech Samek. In IEEE Transactions on Services Computing, volume 17, number 4, pp 1449-1464, IEEE, 2024. (DOI, Fulltext, fulltext:print).
221. Label Noise Robust Crowd Counting with Loss Filtering Factor. Zhengmeng Xu, Hai Lin, Yufeng Chen, and Yanli Li. In Applied Artificial Intelligence, volume 38, number 1, Taylor & Francis, 2024. (DOI, Fulltext, fulltext:print).
222. Learn to Stay Cool: Online Load Management for Passively Cooled Base Stations. Zhanwei Yu, Yi Zhao, Lei You, and Di Yuan. In 2024 IEEE Wireless Communications and Networking Conference, WCNC 2024, IEEE Wireless Communications and Networking Conference, pp 1-6, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
223. Multi-cell content caching: Optimization for cost and information freshness. Zhanwei Yu, Tao Deng, Yi Zhao, and Di Yuan. In Computer Networks, volume 247, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
224. Data management of scientific applications in a reinforcement learning-based hierarchical storage system. Tianru Zhang, Ankit Gupta, María Andreína Francisco Rodríguez, Ola Spjuth, Andreas Hellander, and Salman Toor. In Expert systems with applications, volume 237, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
225. Caching With Personalized and Incumbent-Aware Recommendation: Modeling and Optimization. Yi Zhao, Zhanwei Yu, and Di Yuan. In IEEE Transactions on Mobile Computing, volume 23, number 10, pp 9595-9613, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
226. On optimization formulations for radio resource allocation subject to common transmission rate. Yi Zhao and Di Yuan. In Computers & Operations Research, volume 161, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
227. On Feynman–Kac training of partial Bayesian neural networks. Zheng Zhao, Sebastian Mair, Thomas B. Schön, and Jens Sjölund. In Proceedings of the 27th International Conference on Artificial Intelligence and Statistics (AISTATS), Proceedings of Machine Learning Research, pp 3223-3231, Sissa Medialab Srl, 2024. (Paper in fulltext, fulltext:print).
228. HDRfeat: A feature-rich network for high dynamic range image reconstruction. Lingkai Zhu, Fei Zhou, Bozhi Liu, and Orcun Göksel. In Pattern Recognition Letters, volume 184, pp 148-154, Elsevier, 2024. (DOI).
229. Predicting COVID-19 hospitalizations: The importance of healthcare hotlines, test positivity rates and vaccination coverage. Vera van Zoest, Karl Lindberg, Georgios Varotsis, Frank Badu Osei, and Tove Fall. In Spatial and Spatio-temporal Epidemiology, volume 48, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
230. Spatio-temporal modelling of the effects of the COVID-19 pandemic on electricity consumption patterns in Stockholm, Sweden. Vera van Zoest, Carl Lindberg, Fouad El Gohary, and Cajsa Bartusch. In Science Talks, volume 9, Elsevier, 2024. (DOI, Fulltext, fulltext:print).