Hoppa till huvudinnehållet
Institutionen för informationsteknologi

Publikationer 2020

  1. Efficient Handling of String-Number Conversion. Parosh Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Phi Diep Bui, Julian Dolby, Petr Janku, Hsin-Hung Lin, Lukas Holik och Wei-Cheng Wu. I PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, pp 943-957, 2020. (DOI).
  2. On the Formalization of Decentralized Contact Tracing Protocols. Parosh Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Marco Montali och Arnaud Sangnier. I Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 {(BOSK} 2020), September 25, 2020, CEUR Workshop Proceedings, pp 65-70, CEUR-WS.org, 2020. (Extern länk).
  3. On the Separability Problem of String Constraints. Parosh Abdulla, Mohamed Faouzi Atig, Vrunda Dave och Shankara Narayanan Krishna. I 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference), LIPIcs, pp 16:1-16:19, Dagstuhl, Germany, 2020. (DOI, Extern länk).
  4. On the State Reachability Problem for Concurrent Programs Under Power. Parosh Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson och Roland Meyer. I Networked Systems - 8th International Conference, {NETYS} 2020,  Morocco,  Revised Selected Papers, Lecture Notes in Computer Science, Springer Nature Switzerland AG, 2020.
  5. Parameterized verification under TSO is PSPACE-complete. Parosh Aziz Abdulla, Mohamed Faouzi Atig och Rojin Rezvan. I Proceedings of the ACM on Programming Languages, volym 4, nummer POPL, pp 26:1-26:29, Association for Computing Machinery (ACM), New York, NY, USA, 2020. (DOI, Fulltext, fulltext:print).
  6. Fractional Laplace operator in two dimensions, approximating matrices, and related spectral analysis. Lidia Aceto, Mariarosa Mazza och Stefano Serra-Capizzano. I Calcolo, volym 57, 2020. (DOI, Fulltext).
  7. Asymptotic Spectra of Large (Grid) Graphs with a Uniform Local Structure (Part I): Theory. Andrea Adriani, Davide Bianchi och Stefano Serra-Capizzano. I Milan Journal of Mathematics, volym 88, nummer 2, pp 409-454, Springer Science and Business Media LLC, 2020. (DOI, Fulltext, fulltext:print).
  8. A multiple motion sensors index for motor state quantification in Parkinson's disease. Somayeh Aghanavesi, Jerker Westin, Filip Bergquist, Dag Nyholm, Håkan Askmark, Sten-Magnus Aquilonius, Radu Constantinescu, Alexander Medvedev, Jack Spira, Fredrik Ohlsson, Ilias Thomas, Anders Ericsson, Dongni Johansson Buvarp och Mevludin Memedi. I Computer Methods and Programs in Biomedicine, volym 189, ELSEVIER IRELAND LTD, 2020. (DOI).
  9. Optimal Scheduling of Measurement-Based Parallel Real-Time Tasks. Kunal Agrawal, Sanjoy Baruah, Pontus Ekberg och Jing Li. I Real-time systems, volym 56, nummer 3, pp 247-253, Springer Nature, 2020. (DOI, Fulltext, fulltext:print).
  10. Accounting for Information Freshness in Scheduling of Content Caching. Ghafour Ahani och Di Yuan. I ICC 2020: 2020 IEEE International Conference on Communications (ICC), IEEE International Conference on Communications, 2020. (DOI).
  11. Optimal scheduling of content caching subject to deadline. Ghafour Ahani och Di Yuan. I IEEE Open Journal of the Communications Society, volym 1, pp 293-307, IEEE, 2020. (DOI, Fulltext, fulltext:print).
  12. Routing and scheduling of network flows with deadlines and discrete capacity allocation. Ghafour Ahani, Pawel Wiatr och Di Yuan. I Networks, volym 76, nummer 1, pp 54-74, WILEY, 2020. (DOI).
  13. Local meshless methods for second order elliptic interface problems with sharp corners. Masood Ahmad, Siraj-ul Islam och Elisabeth Larsson. I Journal of Computational Physics, volym 416, 2020. (DOI, fulltext:postprint).
  14. Intermittent Computing with Dynamic Voltage and Frequency Scaling. Saad Ahmed, Qurat Ul Ain, Junaid Haroon Siddiqui, Luca Mottola och Muhammad Hamad Alizai. I EWSN '20: Proceedings of the 2020 International Conference on Embedded Wireless Systems and Networks, Proceedings of the International Conference on Embedded Wireless Systems and Networks, pp 97-107, 2020. (Publisher fulltext).
  15. Online Model-Based Beat-by-beat Heart Rate Estimation. Adnan Albaba och Alexander Medvedev. I 2020 American Control Conference (ACC), Proceedings of the American Control Conference, pp 539-544, 2020. (DOI).
  16. Patient-Specific Electrocardiogram Monitoring by Model-Based Stochastic Anomaly Detection. Adnan Albaba och Alexander Medvedev. I 2020 European Control Conference (ECC), pp 735-740, 2020. (DOI).
  17. Dimensions of Professionalism: A Study of Computer Science Teaching in Saudi Arabia. Fayiq Alghamdi. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1965, Acta Universitatis Upsaliensis, Uppsala, 2020. (Online defence, fulltext, preview image).
  18. Delay and Bypass: Ready and Criticality Aware Instruction Scheduling in Out-of-Order Processors. Mehdi Alipour, Rakesh Kumar, Stefanos Kaxiras och David Black-Schaffer. I 2020 IEEE International Symposium on High Performance Computer Architecture (HPCA), International Symposium on High-Performance Computer Architecture-Proceedings, pp 424-434, 2020. (DOI).
  19. Rethinking Dynamic Instruction Scheduling and Retirement for Efficient Microarchitectures. Mehdi Alipour. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1902, Acta Universitatis Upsaliensis, Uppsala, 2020. (Join Zoom Meeting, fulltext, preview image).
  20. Non-stiff boundary and interface penalties for narrow-stencil finite difference approximations of the Laplacian on curvilinear multiblock grids. Martin Almquist och Eric M. Dunham. I Journal of Computational Physics, volym 408, 2020. (DOI, Extern länk).
  21. Constraint-based Contract Inference for Deductive Verification. Anoud Alshnakat, Dilian Gurov, Christian Lidström och Philipp Rümmer. I Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY, volym 12345 av Lecture Notes in Computer Science, pp 149-176, Springer Nature, 2020. (DOI, Extern länk).
  22. Efficient temporal and spatial load to load forwarding. Ricardo Alves, Stefanos Kaxiras och David Black-Schaffer. I Proc. 26th International Symposium on High-Performance and Computer Architecture, IEEE Computer Society, 2020.
  23. Visual Pattern Extraction and Recognition for Cultural Heritage Understanding: Proceedings of 2nd International Workshop on Visual Pattern Extraction and Recognition for Cultural Heritage Understandingco-located with 16th Italian Research Conference on Digital Libraries (IRCDL 2020). Alessia Amelio, Gunilla Borgefors och Anders Hast (red). CEUR, CEUR, 2020. (Extern länk).
  24. Minimal Adversarial Perturbations in Mobile Health Applications: The Epileptic Brain Activity Case Study. Amir Aminifar. I ICASSP 2020: 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), International Conference on Acoustics Speech and Signal Processing (ICASSP), pp 1205-1209, 2020. (DOI).
  25. Universal Adversarial Perturbations in Epileptic Seizure Detection. Amir Aminifar. I 2020 International Joint Conference On Neural Networks (IJCNN), IEEE International Joint Conference on Neural Networks (IJCNN), IEEE, 2020.
  26. Transcriptome-Supervised Classification of Tissue Morphology Using Deep Learning. Axel Andersson, Gabriele Partel, Leslie Solorzano och Carolina Wählby. I IEEE 17th International Symposium on Biomedical Imaging (ISBI), IEEE International Symposium on Biomedical Imaging (ISBI), pp 1630-1633, 2020. (DOI).
  27. Strategies for array data retrieval from a relational back-end based on access patterns. Andrej Andrejev, Kjell Orsborn och Tore Risch. I Computing, volym 102, nummer 5, pp 1139-1158, 2020. (DOI, Fulltext, fulltext:print).
  28. Modelling long-range interactions in multiscale simulations of ferromagnetic materials. Doghonay Arjmand, Mikhail Poluektov och Gunilla Kreiss. I Advances in Computational Mathematics, volym 46, nummer 1, 2020. (DOI, Fulltext).
  29. Approximate multiplication of nearly sparse matrices with decay in a fully recursive distributed task-based parallel framework. Anton G. Artemov. 2020. (arXiv:1906.08148).
  30. On Securing Persistent State in Intermittent Computing. Hafiz Areeb Asad, Erik Henricus Wouters, Naveed Anwar Bhatti, Luca Mottola och Thiemo Voigt. I ENSsys '20: Proceedings of the 8th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems, pp 8-14, 2020. (DOI).
  31. A fast instance selection method for support vector machines in building extraction. Mohammad Aslani och Stefan Seipel. I Applied Soft Computing, volym 97, 2020. (DOI, Fulltext, fulltext:print).
  32. Adaptive Mathematical Morphology on Irregularly Sampled Signals in Two Dimensions. Teo Asplund, Cris L. Luengo Hendriks, Matthew J. Thurley och Robin Strand. I Mathematical Morphology - Theory and Applications, volym 4, nummer 1, pp 108-126, Walter de Gruyter, 2020. (DOI, Fulltext, Publisher's full text, fulltext:print).
  33. Preface to the VECoS 2018 special issue of ISSE. Mohamed Faouzi Atig och Simon Bliudze. I Innovations in Systems and Software Engineering, volym 16, nummer 2, pp 99-100, SPRINGER LONDON LTD, 2020. (DOI).
  34. What is decidable under the TSO memory model?. Mohamed Faouzi Atig. I ACM SIGLOG News, volym 7, nummer 4, pp 4-19, Association for Computing Machinery (ACM), 2020. (DOI).
  35. An Introduction and Summary of Use of Optimal Control Methods for PDE's. Owe Axelsson. I Large-Scale Scientific Computing (LSSC 2019), volym 11958 av Lecture Notes in Computer Science (LNCS), pp 275-283, 2020. (DOI).
  36. Extensions of a coarse–fine mesh stabilized Schwarz alternating iteration domain decomposition method. Owe Axelsson. I Journal of Computational and Applied Mathematics, volym 364, 2020. (DOI).
  37. Numerical solution methods for implicit Runge-Kutta methods of arbitrarily high order. Owe Axelsson och Maya Neytcheva. I Proceedings of the conference Algoritmy 2020, pp 11-20, 2020. (Publisher fulltext).
  38. Optimality properties of a square block matrix preconditioner with applications. Owe Axelsson. I Computers and Mathematics with Applications, volym 80, pp 286-294, 2020. (DOI).
  39. Regularization methods for the construction of preconditioners for saddle point problems. Owe Axelsson. I Algoritmy 2020: 21st Conference On Scientific Computing, pp 141-150, SLOVAK UNIV TECHNOLOGY, BRATISLAVA, 2020.
  40. Superior properties of the PRESB preconditioner for operators on two-by-two block form with square blocks. Owe Axelsson och János Karátson. I Numerische Mathematik, volym 146, nummer 2, pp 335-368, 2020. (DOI, Fulltext, fulltext:print).
  41. Generalised deep learning framework for HEp-2 cell recognition using local binary pattern maps. Buda Bajic, Tomas Majtner, Joakim Lindblad och Natasa Sladoje. I IET Image Processing, volym 14, nummer 6, pp 1201-1208, INST ENGINEERING TECHNOLOGY-IET, 2020. (DOI).
  42. Block generalized locally Toeplitz sequences: theory and applications in the multidimensional case. Giovanni Barbarino, Carlo Garoni och Stefano Serra-Capizzano. I Electronic Transactions on Numerical Analysis, volym 53, pp 113-216, Osterreichische Akademie der Wissenschaften, 2020. (DOI).
  43. Block generalized locally Toeplitz sequences: theory and applications in the unidimensional case. Giovanni Barbarino, Carlo Garoni och Stefano Serra-Capizzano. I Electronic Transactions on Numerical Analysis, volym 53, pp 28-112, Osterreichische Akademie der Wissenschaften, 2020. (DOI, Extern länk, Extern länk).
  44. Non-Hermitian perturbations of Hermitian matrix-sequences and applications to the spectral analysis of the numerical approximation of partial differential equations. Giovanni Barbarino och Stefano Serra-Capizzano. I Numerical Linear Algebra with Applications, volym 27, nummer 3, John Wiley & Sons, 2020. (DOI, Fulltext).
  45. The exchange programme between new and different partners, Royal University of Bhutan and Uppsala University. Anders Berglund, Tsheten Dorji, Dekar Lhamo, Phurpa Tshering, Kristina von Hausswolff, Karma Wangchuk, Tandin Wangchuk och Yeshi Wangchuk. I 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI).
  46. Nontrivial Lexical Convergence in a Geography-Themed Game. Amanda Bergqvist, Ramesh Manuvinakurike, Deepthi Karkada och Maike Paetzel. I Proceedings of the SIGdial 2020 Conference, pp 209-214, Association for Computational Linguistics, 2020. (fulltext (pdf)).
  47. Nontrivial Lexical Convergence in a Geography-Themed Game. Amanda Bergqvist, Ramesh Manuvinakurike, Deepthi Karkada och Maike Paetzel. I SIGDIAL 2020: 21ST ANNUAL MEETING OF THE SPECIAL INTEREST GROUP ON DISCOURSE AND DIALOGUE (SIGDIAL 2020), pp 209-214, ASSOC COMPUTATIONAL LINGUISTICS, 2020.
  48. Solving Satisfaction Problems using Large-Neighbourhood Search. Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey och Guido Tack. I Principles and Practice of Constraint Programming, volym 12333 av Lecture Notes in Computer Science, pp 55-71, 2020. (DOI).
  49. Apache Spark Streaming, Kafka and HarmonicIO: A performance benchmark and architecture comparison for enterprise and scientific computing. Ben Blamey, Andreas Hellander och Salman Toor. I Benchmarking, Measuring, and Optimizing, volym 12093 av Lecture Notes in Computer Science, pp 335-347, Springer, 2020. (DOI).
  50. A multiscale model to design therapeutic strategies that overcome drug resistance to tyrosine kinase inhibitors in multiple myeloma. Anass Bouchnita, Vitaly Volpert, Mark J. Koury och Andreas Hellander. I Mathematical Biosciences, volym 319, 2020. (DOI).
  51. Multiple comparison correction methods for whole-body magnetic resonance imaging. Eva Breznik, Filip Malmberg, Joel Kullberg, Håkan Ahlström och Robin Strand. I Journal of Medical Imaging, volym 7, nummer 1, SPIE-Intl Soc Optical Eng, 2020. (DOI, Fulltext, fulltext:print).
  52. Laguerre-domain Modeling and Identification of Linear Discrete-time Delay Systems. Viktor Bro, Alexander Medvedev och Rosane Ushirobira. I IFAC PapersOnline, pp 939-944, ELSEVIER, 2020. (DOI, Fulltext, fulltext:print).
  53. Modeling of human smooth pursuit by sparse Volterra models with functionally dependent parameters. Viktor Bro och Alexander Medvedev. I Control Engineering Practice, volym 103, Elsevier BV, 2020. (DOI).
  54. HISTOBREAST: a collection of brightfield microscopy images of Haematoxylin and Eosin stained breast tissue. Roxana M. Buga, Tiberiu Totu, Adrian Dumitru, Mariana Costache, Iustin Floroiu, Natasa Sladoje och Stefan G. Stanciu. I Scientific Data, volym 7, nummer 1, 2020. (DOI, Fulltext, fulltext:print).
  55. A first meshless approach to simulation of the elastic behaviour of the diaphragm. Nicola Cacciani, Elisabeth Larsson, Alberto Lauro, Marco Meggiolaro, Alessio Scatto, Igor Tominec och Pierre-Frédéric Villard. I Spectral and High Order Methods for Partial Differential Equations: ICOSAHOM 2018, volym 134 av Lecture Notes in Computational Science and Engineering, pp 501-512, Springer, 2020. (DOI, fulltext:postprint).
  56. Diversified spatial keyword search on RDF data. Zhi Cai, Georgios Kalamatianos, Georgios J. Fakas, Nikos Mamoulis och Dimitris Papadias. I The VLDB journal, volym 29, nummer 5, pp 1171-1189, 2020. (DOI, Fulltext, fulltext:print).
  57. Personcentrering med journalåtkomst och andra e-hälsotjänster. Åsa Cajander, Maria Hägglund, Isabella Scandurra och Axel Wolf. I Medicinsk informatik, Liber, 2020.
  58. The effects of automation of a patient?centric service in primary care on the work engagement and exhaustion of nurses. Åsa Cajander, Marta Lárusdóttir och Gustaf Hedström. I Quality and User Experience, volym 5, nummer 9, 2020. (DOI, Extern länk).
  59. What brings women into ehealth?: Women's career trajectories in digital transformations in health care. Åsa Cajander, Hilde Corneliussen, Gunilla Myreteg och Kari Dyb. I Proceedings of the 12th International Conference on e-Health, 2020.
  60. Can a Social Robot Be Persuasive Without Losing Children’s Trust?. Natalia Calvo Barajas, Maha Elgarf, Giulia Perugia, Christopher Peters och Ginevra Castellano. I HRI '20: Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction, pp 157-159, ACM Digital Library, 2020. (DOI, fulltext:preprint).
  61. The Effects of Robot’s Facial Expressions on Children’s First Impressions of Trustworthiness. Natalia Calvo-Barajas, Giulia Perugia och Ginevra Castellano. I 2020 29th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN), IEEE RO-MAN, pp 165-171, IEEE Press, 2020. (DOI, fulltext:postprint).
  62. MaRe: Processing Big Data with application containers on Apache Spark. Marco Capuccini, Martin Dahlö, Salman Toor och Ola Spjuth. I GigaScience, volym 9, nummer 5, Oxford University Press, 2020. (DOI, Fulltext, fulltext:print).
  63. Boosting Store Buffer Efficiency with Store-Prefetch Bursts. Juan M. Cebrian, Stefanos Kaxiras och Alberto Ros. I 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), pp 568-580, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI, Fulltext, fulltext:print).
  64. Timed Up-and-Go Dual-Task Testing in the Assessment of Cognitive Function: A Mixed Methods Observational Study for Development of the UDDGait Protocol. Ylva Cedervall, Anna M. Stenberg, Hanna Bozkurt Åhman, Vilmantas Giedraitis, Fredrik Tinmark, Lars Berglund, Kjartan Halvorsen, Martin Ingelsson, Erik Rosendahl och Anna Cristina Åberg. I International Journal of Environmental Research and Public Health, volym 17, nummer 5, MDPI, 2020. (DOI, Fulltext, fulltext:print).
  65. Higher vascularity at infiltrated peripheral edema differentiates proneural glioblastoma subtype. Eduard Chelebian, Elies Fuster-Garcia, Maria del Mar alvarez-Torres, Javier Juan-Albarracin och Juan M. Garcia-Gomez. I PLOS ONE, volym 15, nummer 10, PUBLIC LIBRARY SCIENCE, 2020. (DOI, Fulltext, fulltext:print).
  66. Fault-tolerant real-time tasks scheduling with dynamic fault handling. Gang Chen, Nan Guan, Kai Huang och Yi Wang. I Journal of systems architecture, volym 102, ELSEVIER, 2020. (DOI).
  67. A Multigrid method for nonlocal problems: non-diagonally dominant Toeplitz-plus-tridiagonal systems. Minghua Chen, Sven-Erik Ekström och Stefano Serra-Capizzano. I SIAM Journal on Matrix Analysis and Applications, volym 41, nummer 4, pp 1546-1570, 2020. (DOI).
  68. A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer och Zhilin Wu. I ATVA 2020: Automated Technology for Verification and Analysis, volym 12302 av Lecture Notes in Computer Science (LNCS), pp 325-342, Springer Nature, 2020. (DOI).
  69. A full Stokes subgrid scheme in two dimensions for simulation of grounding line migration in ice sheets using Elmer/ICE (v8.3). Gong Cheng, Per Lötstedt och Lina von Sydow. I Geoscientific Model Development, volym 13, pp 2245-2258, 2020. (DOI, Fulltext).
  70. Parameter sensitivity analysis of dynamic ice sheet models — numerical computations. Gong Cheng och Per Lötstedt. I The Cryosphere, volym 14, pp 673-691, 2020. (DOI, Fulltext).
  71. Combined <em>L</em><sub>2</sub>-stable feedback and feedforward aeration control in a wastewater treatment plant. Tatiana Chistiakova, Torbjörn Wigren och Bengt Carlsson. I IEEE Transactions on Control Systems Technology, volym 28, nummer 3, pp 1017-1024, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI).
  72. Why Do CSCW Insights Lose Out to Management Intuitions?. Lars Rune Christensen, Ingrid Erickson, Richard Harper, Myriam Lewkowicz och Gerolf Nauwerck. I Proceedings of 18th European Conference on Computer-Supported Cooperative Work, 2020.
  73. The NEUBIAS Gateway: A hub for bioimage analysis methods and materials.. Beth A Cimini, Simon F Nørrelykke, Marion Louveaux, Natasa Sladoje, Perrine Paul-Gilloteaux, Julien Colombelli och Kota Miura. 2020. (DOI).
  74. A level-set multigrid technique for nonlinear diffusion in the numerical simulation of marble degradation under chemical pollutants. A. Coco, M. Semplice och Stefano Serra-Capizzano. I Applied Mathematics and Computation, volym 386, Elsevier BV, 2020. (DOI, Extern länk).
  75. Numerical Simulations of Marble Sulfation. Armando Coco, Marco Donatelli, Matteo Semplice och Stefano Serra-Capizzano. I Mathematical Modeling in Cultural Heritage, volym 41 av Springer INdAM Series, pp 107-122, Springer International Publishing, 2020. (DOI, Extern länk).
  76. Polynomial nonlinear state space identification of an aero-engine structure. Samson B. Cooper, Koen Tiels, Branislav Titurus och Dario Di Maio. I Computers & structures, volym 238, 2020. (DOI).
  77. Att utveckla ihärdighet: En intervjustudie om lärarens roll för studenters motivation att jobba mot långsiktiga mål. Rebecca Cort. I , 2020.
  78. Behind the Scenes: Unintended Effects of Increased Technology use in Operational Train Traffic. Rebecca Cort. I Swedish Transportation Research Conference 2020, October 21, 2020., 2020. (fulltext:postprint).
  79. ”We’re Doing This Together”: An in-Depth Analysis of the Teamwork between Train Traffic Controllers and Train Drivers. Rebecca Cort. I Proceedings of the 4th International Conference on Computer-Human Interaction Research and Applications, pp 96-103, Portugal, 2020. (DOI).
  80. Online tissue conductivity estimation in Deep Brain Stimulation. Rubén Cubo och Alexander Medvedev. I IEEE Transactions on Control Systems Technology, volym 28, nummer 1, pp 149-162, 2020. (DOI).
  81. Computing Education: The Importance of Context: Keynote presentation. Mats Daniels. I , 2020.
  82. A nonlinear model of vortex-induced forces on an oscillating cylinder in a fluid flow. J. Decuyper, T. De Troyer, K. Tiels, J. Schoukens och M. C. Runacres. I Journal of Fluids and Structures, volym 96, ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 2020. (DOI).
  83. Modeling and Optimization of Mobility-Aware Dynamic Caching With Time-Varying Content Popularity. Tao Deng, Pingzhi Fan och Di Yuan. I IEEE Transactions on Vehicular Technology, volym 69, nummer 1, pp 1157-1162, 2020. (DOI).
  84. PDE-constrained optimization: Matrix structures and preconditioners. Ivo Dravins och Maya Neytcheva. I Large-Scale Scientific Computing, volym 11958 av Lecture Notes in Computer Science (LNCS), pp 315-323, 2020. (DOI).
  85. A stable discontinuous Galerkin method for the perfectly matched layer for elastodynamics in first order form. Kenneth Duru, Leonhard Rannabauer, Alice-Agnes Gabriel, Gunilla Kreiss och Michael Bader. I Numerische Mathematik, volym 146, nummer 4, pp 729-782, 2020. (DOI).
  86. Rate-Monotonic Schedulability of Implicit-Deadline Tasks is NP-hard Beyond Liu and Layland's Bound. Pontus Ekberg. I 2020 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium : Proceedings, pp 308-318, 2020. (DOI).
  87. Fast graph-cut based optimization for practical dense deformable registration of volume images. Simon Ekström, Filip Malmberg, Håkan Ahlström, Joel Kullberg och Robin Strand. I Computerized Medical Imaging and Graphics, volym 84, Elsevier, 2020. (DOI).
  88. Eigenpairs of some particular band Toeplitz matrices: A comment. Sven-Erik Ekström och Stefano Serra-Capizzano. I Numerical Linear Algebra with Applications, volym 27, nummer 1, 2020. (DOI).
  89. Bayesian epidemiological modeling over high-resolution network data. Stefan Engblom, Robin Eriksson och Stefan Widgren. I Epidemics, volym 32, Elsevier BV, 2020. (DOI, Fulltext, fulltext:print).
  90. Efficient drone hijacking detection using two-step GA-XGBoost. Zhiwei Feng, Nan Guan, Mingsong Lv, Wenchen Liu, Qingxu Deng, Xue Liu och Yi Wang. I Journal of systems architecture, volym 103, ELSEVIER, 2020. (DOI).
  91. Learning Robust LQ-Controllers Using Application Oriented Exploration. Mina Ferizbegovic, Jack Umenberger, Hakan Hjalmarsson och Thomas B. Schön. I IEEE Control Systems Letters, volym 4, nummer 1, pp 19-24, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2020. (DOI).
  92. Developing the First Intensity Prediction Equation Based on the Environmental Scale Intensity: A Case Study from Strong Normal-Faulting Earthquakes in the Italian Apennines. Maria Francesca Ferrario, Franz Livio, Stefano Serra-Capizzano och Alessandro M. Michetti. I Seismological Research Letters, volym 91, nummer 5, pp 2611-2623, Seismological Society of America (SSA), 2020. (DOI, Extern länk).
  93. Analysis of DTLS Implementations Using Protocol State Fuzzing. Paul Fiterau-Brostean, Bengt Jonsson, Robert Merget, Joeri de Ruiter, Konstantinos Sagonas och Juraj Somorovsky. I Proceedings of the 29th USENIX Security Symposium, pp 2523-2540, 2020. (Proceedings paper fulltext, fulltext:print).
  94. Predicting Round-Trip Time Distributions in IoT Systems using Histogram Estimators. Christofer Flinta, Wenqing Yan och Andreas Johnsson. I , 2020. (DOI, Extern länk).
  95. Predicting Round-Trip Time Distributions in IoT Systems using Histogram Estimators. Christofer Flinta, Wenqing Yan och Andreas Johnsson. I NOMS 2020 - PROCEEDINGS OF THE 2020 IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM 2020: MANAGEMENT IN THE AGE OF SOFTWARIZATION AND ARTIFICIAL INTELLIGENCE, IEEE IFIP Network Operations and Management Symposium, IEEE, 2020.
  96. Two to Tango: Hybrid Light and Backscatter Networks for Next Billion Devices. Ander Galisteo, Ambuj Varshney och Domenico Giustiniano. I , 2020.
  97. Towards Explainable, Compliant and Adaptive Human-Automation Interaction. Barbara Gallina, Görkem Paçac?, David Johnson, Steve McKeever, Andreas Hamfelt, Stefania Costantini, Pierangelo Dell'Acqua och Gloria-Cerasela Crisan. I Proceedings of the 3rd EXplainable AI in Law Workshop (XAILA 2020), volym 2891 av CEUR Workshop Proceedings, 2020. (Extern länk, fulltext:print).
  98. Machine Behavior Development and Analysis using Reinforcement Learning. Yuan Gao. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1983, Acta Universitatis Upsaliensis, Uppsala, 2020. (Online defence, fulltext, preview image).
  99. NURBS in isogeometric discretization methods: A spectral analysis. Carlo Garoni, Carla Manni, Stefano Serra-Capizzano och Hendrik Speleers. I Numerical Linear Algebra with Applications, volym 27, nummer 6, Wiley, 2020. (DOI, Extern länk).
  100. Proof-theoretic Conservativity for HOL with Ad-hoc Overloading. Arve Gengelbach och Tjark Weber. I Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Lecture Notes in Computer Science, pp 23-42, Springer, 2020. (DOI, Extern länk).
  101. Identifying reionization-epoch galaxies with extreme levels of Lyman continuum leakage in James Webb Space Telescope surveys. Sambit K. Giri, Erik Zackrisson, Christian Binggeli, Kristiaan Pelckmans och Rubén Cubo. I Monthly notices of the Royal Astronomical Society, volym 491, nummer 4, pp 5277-5286, OXFORD UNIV PRESS, 2020. (DOI).
  102. Communication Breakdowns between Nurses and IT Department: Why Hospitals Fail at Improving the Usability of Health Information Technology. Diane Golay, Åsa Cajander, Deman Hussein, Ali Azeez och Stefano Bonacina. I Proceedings of the 18th International Symposium on Health Information Management Research, 2020. (fulltext:postprint).
  103. Existence result for the coupling of shallow water and Borda–Carnot equations with Riemann data. Mouhamadou Samsidy Goudiaby och Gunilla Kreiss. I Journal of Hyperbolic Differential Equations, volym 17, nummer 01, pp 185-212, 2020. (DOI).
  104. "Mature" to Doubt: Using Ethical Theories for Role Modeling in Computing Education. Virginia Grande och Kristina von Hausswolff. I 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI).
  105. Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion. Virginia Grande, Clara Benac Earle, Cristina Manresa-Yee, Elena Gomez-Martinez, Laura M. Castro, Patricia Pons och Raul Coroban. I Digital Transformation for a Sustainable Society in the 21st Century, volym 573 av IFIP Advances in Information and Communication Technology, pp 5-16, Springer Nature, 2020. (DOI).
  106. Types of Role Models for the Frontiers in Education (FIE) Community. Virginia Grande, Mats Daniels och Anne-Kathrin Peters. I 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI).
  107. Who Should We Invite? A Proposal of Steps for Conference Organizers to Follow to Bring Diverse Role Models to Computing Events. Virginia Grande och Mats Daniels. I , International Conference on Learning and Teaching in Computing and Engineering (LaTiCE), IEEE Computer Society, 2020.
  108. Digital spetskompetens – den nya renässansmänniskan: Genomlysning, definition, prognosverktyg och rekommendationer för framtida utveckling. Jan Gulliksen, Åsa Cajander och Mattias Wiggberg. Tillväxtverket och Universitetskanslerämbetet, 2020. (Extern länk).
  109. Detection of pulmonary micronodules in computed tomography images and false positive reduction using 3D convolutional neural networks. Anindya Gupta, Tonis Saar, Olev Martens, Yannick Le Moullec och Ida-Maria Sintorn. I International journal of imaging systems and technology (Print), volym 30, nummer 2, pp 327-339, 2020. (DOI).
  110. Weakly-supervised prediction of cell migration modes in confocal microscopy images using bayesian deep learning. Anindya Gupta, Veronica Larsson, Damian J. Matuszewski, Staffan Strömblad och Carolina Wählby. I 2020 IEEE 17th International Symposium on Biomedical Imaging (ISBI), IEEE International Symposium on Biomedical Imaging (ISBI), pp 1626-1629, 2020. (DOI).
  111. Energy-Based Models for Deep Probabilistic Regression. Fredrik K. Gustafsson, Martin Danelljan, Goutam Bhat och Thomas B. Schön. I , 2020.
  112. Evaluating Scalable Bayesian Deep Learning Methods for Robust Computer Vision. Fredrik K. Gustafsson, Martin Danelljan och Thomas B. Schön. I 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW 2020), IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, pp 1289-1298, IEEE Computer Society, 2020. (DOI).
  113. How to Train Your Energy-Based Model for Regression. Fredrik K. Gustafsson, Martin Danelljan, Radu Timofte och Thomas B. Schön. I , 2020.
  114. Monadic Decomposition in Integer Linear Arithmetic. Matthew Hague, Anthony W. Lin, Philipp Rümmer och Zhilin Wu. I IJCAR 2020: Automated Reasoning, volym 12166 av Lecture Notes in Computer Science, pp 122-140, Springer Nature, 2020. (DOI).
  115. A workflow for high-throughput screening, data analysis, processing, and hit identification. Catherine S. Hansel, Schayan Yousefian, Anna H. Klemm och Jordi Carreras-Puigvert. 2020. (Extern länk).
  116. Unspoken Assumptions in Multi-layer Modularity maximization. Obaida Hanteer och Matteo Magnani. I Scientific Reports, volym 10, nummer 1, NATURE PUBLISHING GROUP, 2020. (DOI, Fulltext, fulltext:print).
  117. Architecturally-independent and time-based characterization of SPEC CPU 2017. Muhammad Hassan, Chang Hyun Park och David Black-Schaffer. I 2020 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)Raw-Data: A Reusable Characterization Of The Memory System behavior Of SPEC 2017 And SPEC 2006, IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), pp 107-109, 2020. (DOI, fulltext:postprint, fulltext:preprint).
  118. Raw-Data: A Reusable Characterization Of The Memory System Behavior Of SPEC 2017 And SPEC 2006. Muhammad Hassan, Chang Hyun Park och David Black-Schaffer. 2020. (data set).
  119. Consensus Ranking for Increasing Mean Average Precision in Keyword Spotting. Anders Hast. I Proceedings of 2nd International Workshop on Visual Pattern Extraction and Recognition for Cultural Heritage Understanding. co-located with 16th Italian Research Conference on Digital Libraries (IRCDL 2020) Bari, Italy, January 29, 2020., pp 46-57, 2020. (fulltext:postprint).
  120. Ensembles and Cascading of Embedded Prototype Subspace Classifiers. Anders Hast och Mats Lind. I Journal of WSCG, volym 28, nummer 1/2, pp 89-95, 2020. (DOI, Fulltext, fulltext:print).
  121. Demo: Multi-Radio Access Technology IoT Gateway. Saptarshi Hazra, Thiemo Voigt, Ahlgren Bengt, Chenguang Lu, Daniel Cederholm och Gyanesh Patra. I , 2020.
  122. Shadow-based Hand Gesture Recognition in one Packet. Saptarshi Hazra, Martina Brachmann och Thiemo Voigt. I 16th Annual International Conference on Distributed Computing in Sensor Systems (DCOSS 2020), pp 27-34, IEEE, 2020. (DOI, fulltext:postprint).
  123. Hierarchical algorithm for the reaction–diffusion master equation. Stefan Hellander och Andreas Hellander. I Journal of Chemical Physics, volym 152, nummer 3, 2020. (DOI, Fulltext).
  124. On the smoothness of nonlinear system identification. Antônio Horta Ribeiro, Koen Tiels, Jack Umenberger, Thomas B. Schön och Luis A. Aguirre. I Automatica, volym 121, 2020. (DOI).
  125. Inference of Causal Effects when Control Variables are Unknown. Ludvig Hult och Dave Zachariah. I <em>Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence</em>, PMLR 161:1300-1309, 2021., 2020. (Extern länk).
  126. The Dark (and Bright) Side of IoT: Attacks and Countermeasures to Identification of Smart Home Devices and Services. Ahmed Hussain, Gabriele Oligeri och Thiemo Voigt. I , 2020.
  127. Privacy-preserving continuous tumour relapse monitoring using in-body radio signals. Sam Hylamia, Wenqing Yan, André Teixeira, Noor Badariah Asan, Mauricio D. Perez, Robin Augustine och Thiemo Voigt. I 2020 IEEE Symposium On Security And Privacy Workshops (SPW 2020), pp 82-87, IEEE, 2020. (DOI).
  128. User Experiences of an Internet-Based Stepped-Care Intervention for Individuals With Cancer and Concurrent Symptoms of Anxiety or Depression (the U-CARE AdultCan Trial): Qualitative Study. Helena Igelström, Anna Hauffman, Sven Alfonsson, Jonas Sjöström, Åsa Cajander och Birgitta Johansson. I Journal of Medical Internet Research, volym 22, nummer 5, JMIR PUBLICATIONS, INC, 2020. (DOI, Fulltext, fulltext:print).
  129. Multilayer network simplification: Approaches, models and methods. Roberto Interdonato, Matteo Magnani, Diego Perna, Andrea Tagarelli och Davide Vega. I Computer Science Review, volym 36, 2020. (DOI).
  130. Smoothing With Couplings of Conditional Particle Filters. Pierre E. Jacob, Fredrik Lindsten och Thomas B. Schön. I Journal of the American Statistical Association, volym 115, nummer 530, pp 721-729, Informa UK Limited, 2020. (DOI).
  131. Patient-specific fine-tuning of CNNs for follow-up lesion quantification. Marielle J A Jansen, Hugo J Kuijf, Ashis Kumar Dhara, Nick A Weaver, Geert Jan Biessels, Robin Strand och Josein Pluim. I Journal of Medical Imaging, 2020.
  132. Patient-specific fine-tuning of convolutional neural networks for follow-up lesion quantification. Marielle J. A. Jansen, Hugo J. Kuijf, Ashis Kumar Dhara, Nick A. Weaver, Geert Jan Biessels, Robin Strand och Josien P. W. Pluim. I Journal of Medical Imaging, volym 7, nummer 6, SPIE-SOC PHOTO-OPTICAL INSTRUMENTATION ENGINEERS, 2020. (DOI, Fulltext, fulltext:print).
  133. Assessment of openness as a dynamic team skill in order to counteract “free-riding”. Anders A. Jansson och Rebecca Cort. I 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI).
  134. Optimizing the Locations and Sizes of Solar Assisted Electric Vehicle Charging Stations in an Urban Area. Dong Ji, Mingsong Lv, Jiayu Yang och Yi Wang. I IEEE transactions on rehabilitation engineering, volym 8, pp 112772-112782, IEEE Computer Society, 2020. (DOI).
  135. Non-Invasive Transmission Based Tumor Detection Using Anthropomorphic Breast Phantom at 2.45 GHz. Laya Joseph, Noor Badariah Asan, Javad Ebrahimizadeh, Arvind Selvan Chezhian, Mauricio D. Perez, Thiemo Voigt och Robin Augustine. I 2020 14th European Conference on Antennas and Propagation (EuCAP), Proceedings of the European Conference on Antennas and Propagation, 2020. (DOI).
  136. Real-time air pollution monitoring with sensors on city bus. Sami Kaivonen och Edith C.-H. Ngai. I Digital Communications and Networks, volym 6, nummer 1, pp 23-30, KeAi, 2020. (DOI, Fulltext, fulltext:print).
  137. Decoupled Address Translation for Heterogeneous Memory Systems. Bokyeong Kim, Soojin Hwang, Sanghoon Cha, Chang Hyun Park, Jongse Park och Jaehyuk Huh. I PACT '20: PROCEEDINGS OF THE ACM INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, International Conference on Parallel Architectures and Compilation Techniques, pp 155-156, ASSOC COMPUTING MACHINERY, 2020. (DOI, Fulltext).
  138. Reconciling Time Slice Conflicts of Virtual Machines With Dual Time Slice for Clouds. Taeklim Kim, Chang Hyun Park, Jaehyuk Huh och Jeongseob Ahn. I IEEE Transactions on Parallel and Distributed Systems, volym 31, nummer 10, pp 2453-2465, 2020. (DOI).
  139. Andre Martineau: Some Memories. Christer Kiselman. I Complex Analysis and Operator Theory, volym 14, nummer 7, Springer Nature, 2020. (DOI, Fulltext, fulltext:print).
  140. Akademio de Esperanto fronte al novaj taskoj.. Christer Oscar Kiselman. I Esperantologio / Esperanto Studies. Nova Serio / New Series 1 (9), pp. 41--54, nummer 9, pp 41-54, 2020. (Extern länk).
  141. J?zyki i nauka. Christer Oscar Kiselman. I <em>V Mi?dzynarodowe Sympozjum: J?zyk Esperanto – Rozwijanie osobowo?ci ludzkich na etapie m?odo?ci i trzeciego wieku – systemy edukacyjne</em>., pp 33-54, Ars Libri Introligatornia, Wydawnictwo s.c. Lublin, under the auspices of Uniwersytet Wroc?awski and Europejskie Centrum Edukacji Mi?dzykulturowej, Lublin, 2020.
  142. Lingvoj kaj scienco. Christer Oscar Kiselman. I Mi?dzynarodowe Sympozjum:: J?zyk Esperanto – Rozwijanie osobowo?ci ludzkich na etapie m?odo?ci i trzeciego wieku – systemy edukacyjne., pp 100-121, Ars Libri Introligatornia, Wydawnictwo s.c., under the auspices of Uniwersytet Wroc?awski and Europejskie Centrum Edukacji Mi?dzykulturowej, Lublin, 2020.
  143. TrackMate - My Favorite Image Analysis Tool, by Neubias Members. Anna Klemm. I Imaging & Microscopy, volym September, 2020. (Extern länk).
  144. Sustainable Development of Professional Competencies: A Teacher Training Perspective. Sandhya Kode, Mats Daniels, Anders Berglund, Surya Kiran Karri och Erkki Sutinen. I , IEEE Computer Society, 2020.
  145. Uncovering hidden reasoning of convolutional neural networks in biomedical image classification by using attribution methods. Nadezhda Koriakina, Natasa Sladoje, Elisabeth Wetzer och Joakim Lindblad. I 4th NEUBIAS Conference, Bordeaux, France, 2020.
  146. Rapid evolution of coordinated and collective movement in response to artificial selection. Alexander Kotrschal, Alexander Szorkovszky, James Herbert-Read, Bloch, Natasha, I, Maksym Romenskyy, Severine Denise Buechel, Ada Fontrodona Eslava, Laura Sanchez Alos, Hongli Zeng, Audrey Le Foll, Ganael Braux, Kristiaan Pelckmans, Judith E. Mank, David J. T. Sumpter och Niclas Kolm. I Science Advances, volym 6, nummer 49, AMER ASSOC ADVANCEMENT SCIENCE, 2020. (DOI, Fulltext, fulltext:print).
  147. Particle Filter with Rejection Control and Unbiased Estimator of the Marginal Likelihood. Jan Kudlicka, Lawrence M. Murray, Thomas B. Schön och Fredrik Lindsten. I ICASSP 2020: 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), International Conference on Acoustics Speech and Signal Processing (ICASSP), pp 5860-5864, 2020. (DOI).
  148. Probabilistic programming for birth-death models of evolution using an alive particle filter with delayed sampling. Jan Kudlicka, Lawrence M. Murray, Fredrik Ronquist och Thomas B. Schön. I The 35th Uncertainty in Artificial Intelligence Conference (UAI), Proceedings of Machine Learning Research, pp 679-689, JOURNAL MACHINE LEARNING RESEARCH, San Diego, 2020.
  149. Impact of Code Refactoring using Object-Oriented Methodology on a Scientific Computing Application. Malin Källén, Sverker Holmgren och Ebba Þóra Hvannberg. 2020.
  150. Kidney segmentation in neck-to-knee body MRI of 40,000 UK Biobank participants. Taro Langner, Andreas Östling, Lukas Maldonis, Albin Karlsson, Daniel Olmo, Dag Lindgren, Andreas Wallin, Lowe Lundin, Robin Strand, Håkan Ahlström och Joel Kullberg. I Scientific Reports, volym 10, nummer 1, 2020. (DOI, Fulltext, fulltext:print).
  151. Large-scale Inference of Liver Fat with Neural Networks on UK Biobank Body MRI. Taro Langner, Robin Strand, Håkan Ahlström och Joel Kullberg. I International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI) 2020, volym 12262 av Lecture Notes in Computer Science, pp 602-611, Springer, Cham, 2020. (DOI, Fulltext).
  152. Large-scale biometry with interpretable neural network regression on UK Biobank body MRI. Taro Langner, Robin Strand, Håkan Ahlström och Joel Kullberg. I Scientific Reports, volym 10, nummer 1, 2020. (DOI, Fulltext, fulltext:print).
  153. Large-scale inference of liver fat with neural networks on UK Biobank body MRI. Taro Langner, Robin Strand, Håkan Ahlström och Joel Kullberg. I Lecture Notes in Computer Science LNCS Vol. 12265, pages 602-611, Springer, Cham., pp 602-611, 2020.
  154. An investigation of global radial basis function collocation methods applied to Helmholtz problems. Elisabeth Larsson och Ulrika Sundin. I Dolomites Research Notes on Approximation, volym 13, pp 65-85, Padova University Press, 2020. (DOI, Fulltext, fulltext:print).
  155. A Pragmatic Approach for Teaching Ethics to Engineers and Computer Scientists. Thomas Taro Lennerfors, Mikael Laaksoharju, Matthew Davis, Peter Birch och Per Fors. I 2020 IEEE Frontiers in Education Conference (FIE), IEEE Frontiers in Education Conference (FIE), 2020. (DOI).
  156. Efficient iterative solvers for a complex valued two-by-two block linear system with application to parabolic optimal control problems. Zhao-Zheng Liang, Owe Axelsson och Guo-Feng Zhang. I Applied Numerical Mathematics, volym 152, pp 422-445, 2020. (DOI).
  157. Voxel-wise Study of Cohort Associations in Whole-Body MRI: Application in Metabolic Syndrome and Its Components.. Lars Lind, Robin Strand, Karl Michaëlsson, Håkan Ahlström och Joel Kullberg. I Radiology, volym 294, nummer 3, pp 559-567, 2020. (DOI).
  158. The Use of Scenarios in a Vision Seminar Process: The Case of Students Envisioning the Future of Study-Administration. Thomas Lind, Åsa Cajander, Annika Björklund och Bengt Sandblad. I , 2020.
  159. Real-time Thread Isolation and Trusted Execution on Embedded RISC-V. Samuel Lindemer, Gustav Midéus och Shahid Raza. I , 2020.
  160. Evaluation of Augmented Reality-Based Building Diagnostics Using Third Person Perspective. Fei Liu, Torsten Jonsson och Stefan Seipel. I ISPRS International Journal of Geo-Information, volym 9, nummer 1, 2020. (DOI, Fulltext, fulltext:print).
  161. Flash X-ray diffraction imaging in 3D: a proposed analysis pipeline. Jing Liu, Stefan Engblom och Carl Nettelblad. I Journal of the Optical Society of America A, volym 37, nummer 10, pp 1673-1686, 2020. (DOI).
  162. Towards Fast and Robust Algorithms in Flash X-ray single-particle Imaging. Jing Liu. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1905, Acta Universitatis Upsaliensis, Uppsala, 2020. (fulltext, preview image).
  163. Approximate Gaussian Process Regression and Performance Analysis Using Composite Likelihood. Xiuming Liu, Dave Zachariah och Edith Ngai. I 30th IEEE International Workshop on Machine Learning for Signal Processing, MLSP 2020, Espoo, Finland, September 21-24, 2020, pp 1-6, IEEE, 2020. (DOI).
  164. Robust Prediction When Features are Missing. Xiuming Liu, Dave Zachariah och Petre Stoica. I IEEE Signal Processing Letters, volym 27, pp 720-724, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2020. (DOI).
  165. Secure Information Fusion using Local Posterior for Distributed Cyber-Physical Systems. Xiuming Liu, Edith Ngai och Jiangchuan Liu. I IEEE Transactions on Mobile Computing, volym 20, nummer 5, pp 2041-2054, IEEE, 2020. (DOI).
  166. Statistical Data Analysis for Internet-of-Things: Scalability, Reliability, and Robustness. Xiuming Liu. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1976, Acta Universitatis Upsaliensis, Uppsala, 2020. (Join Zoom Meeting, fulltext, preview image).
  167. Deep Learning and System Identification. Lennart Ljung, Carl Andersson, Koen Tiels och Thomas B. Schön. I IFAC Papersonline, pp 1175-1181, Elsevier BV, 2020. (DOI, Fulltext, fulltext:print).
  168. A Deep Learning Based Pipeline for Efficient Oral Cancer Screening on Whole Slide Images. Jiahao Lu, Natasa Sladoje, Christina Runow Stark, Eva Darai Ramqvist, Jan-Michaél Hirsch och Joakim Lindblad. I Image Analysis and Recognition, Lecture Notes in Computer Science - LNCS 12132, pp 249-261, pp 249-261, Springer International Publishing, 2020. (DOI, Extern länk).
  169. Combinatorial Image Analysis -: 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16-18, 2020, Proceedings. Tibor Lukic, Reneta Barneva, Valentin Brimkov, Lidija Comic och Natasa Sladoje (red). Lecture Notes in Computer Science - LNCS 12148, Springer, 2020. (DOI, Extern länk).
  170. An efficient finite difference method for the shallow water equations. Lukas Lundgren och Ken Mattsson. I Journal of Computational Physics, volym 422, Elsevier BV, 2020. (DOI).
  171. Parallel Graph-Based Stateless Model Checking. Magnus Lång och Konstantinos Sagonas. I Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, volym 12302 av Lecture Notes in Computer Science (LNCS), pp 377-393, 2020. (DOI).
  172. Aiming at Moving Targets: Applying Cognitive Work Analysis to Work Domains in Transition. Ida Löscher. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1893, Acta Universitatis Upsaliensis, Uppsala, 2020. (fulltext, preview image).
  173. Insights Into Multiple/Single Lower Bound Approximation for Extended Variational Inference in Non-Gaussian Structured Data Modeling. Zhanyu Ma, Jiyang Xie, Yuping Lai, Jalil Taghia, Jing-Hao Xue och Jun Guo. I IEEE Transactions on Neural Networks and Learning Systems, volym 31, nummer 7, pp 2240-2254, 2020. (DOI).
  174. Wrapping a NoSQL Datastore for Stream Analytics. Khalid Mahmood, Kjell Orsborn och Tore Risch. I 2020 IEEE 21st International Conference On Information Reuse And Integration For Data Science (IRI 2020), pp 301-305, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI).
  175. Intermittence Anomalies not Considered Harmful. Andrea Maioli och Luca Mottola. I Proceedings of the 8th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems, 2020. (fulltext:postprint).
  176. Two Polynomial Time Graph Labeling Algorithms Optimizing Max-Norm-Based Objective Functions. Filip Malmberg och Krzysztof Chris Ciesielski Ciesielski. I Journal of Mathematical Imaging and Vision, volym 62, nummer 5, pp 737-750, 2020. (DOI).
  177. Self-Aware Machine Learning for Multimodal Workload Monitoring during Manual Labor on Edge Wearable Sensors. Giulio Masinelli, Farnaz Forooghifar, Adriana Arza, David Atienza och Amir Aminifar. I IEEE design & test, volym 37, nummer 5, pp 58-66, 2020. (DOI).
  178. On stability and performance of disturbance observer-based-dynamic load torque compensator for assistive exoskeleton: A hybrid approach. Nauman Masud, Per Mattsson, Christian Smith och Magnus Isaksson. I Mechatronics (Oxford), volym 69, 2020. (DOI, Fulltext, fulltext:print).
  179. Impact of Force Function Formulations on the Numerical Simulation of Centre-Based Models.. Sonja Mathias, Adrien Coulier, Anass Bouchnita och Andreas Hellander. I Bulletin of Mathematical Biology, volym 82, nummer 10, Springer Nature, 2020. (DOI, Fulltext, fulltext:print).
  180. Foreword Identification and Control in Biomedical Applications. Guillaume Mercere, Alexander Medvedev, Daniel E. Rivera, Caterina Scoglio och Bayu Jayawardhana. I IEEE Transactions on Control Systems Technology, volym 28, nummer 1, pp 1-2, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2020. (DOI).
  181. A high order method for pricing of financial derivatives using radial basis function generated finite differences. Slobodan Milovanovi? och Lina von Sydow. I Mathematics and Computers in Simulation, volym 174, pp 205-217, 2020. (DOI).
  182. Pruning Edge Research with Latency Shears. Nitinder Mohan, Lorenzo Corneo, Aleksandr Zavodovski, Suzan Bayhan, Walter Wong och Jussi Kangasharju. I Proceedings of the 19th ACM Workshop on Hot Topics in Networks, HotNets ’20, pp 182-189, Association for Computing Machinery, 2020. (DOI, Extern länk, Extern länk).
  183. On Patient Accessible Electronic Health Records and the Experienced Effect on the Work Environment of Nurses. Jonas Moll och Åsa Cajander. I Digital Personalized Health and Medicine, volym 270 av Studies in Health Technology and Informatics, pp 1021-1025, IOS PRESS, 2020. (DOI).
  184. Oncology health-care professionals’ perceived effects of patient accessible electronic health records 6 years after launch: A survey study at a major university hospital in Sweden. Jonas Moll och Åsa Cajander. I Health Informatics Journal, volym 26, nummer 2, pp 1392-1403, 2020. (DOI, Fulltext, fulltext:print).
  185. Computation of Asymptotic Spectral Distributions for Sequences of Grid Operators. S. V. Morozov, Stefano Serra-Capizzano och E. E. Tyrtyshnikov. I Computational Mathematics and Mathematical Physics, volym 60, nummer 11, pp 1761-1777, Springer, 2020. (DOI).
  186. Multiscale approach for magnetization dynamics: unraveling exotic magnetic states of matter. Édgar Méndez, Mikhail Poluektov, Gunilla Kreiss, Olle Eriksson och Manuel Pereiro. I Physical Review Research, volym 2, nummer 1, 2020. (DOI, Fulltext, fulltext:print).
  187. Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings. Keisuke Nakano och Konstantinos Sagonas (red). Volym 12073 av Lecture Notes in Computer Science, Springer, Cham, 2020. (DOI).
  188. When I’m Sixty-Four. Towards Successful Aging in a Platform Society. Gerolf Nauwerck. I International Reports on Socio-Informatics (IRSI), volym 17, nummer 2, pp 27-31, 2020. (Extern länk).
  189. Regularity of almost periodic solutions of Poisson equation. Murtazo Nazarov och Èrgash Muhamadiev. I Ufa Mathematical Journal, volym 12, nummer 2, pp 97-107, 2020. (DOI).
  190. Differentiated Assessments for Advanced Courses that Reveal Issues with Prerequisite Skills: A Design Investigation. Greg L. Nelson, Filip Stromback, Ari Korhonen, Marjahan Begum, Ben Blamey, Karen H. Jin, Violetta Lonati, Bonnie MacKellar och Mattia Monga. I ITICSE-WGR'20: Proceedings Of The Working Group Reports On Innovation And Technology In Computer Science Education, pp 75-129, Association for Computing Machinery (ACM), 2020. (DOI).
  191. On using a zero lower bound on the physical density in material distribution topology optimization. Quoc Khanh Nguyen, Stefano Serra-Capizzano och Eddie Wadbro. I Computer Methods in Applied Mechanics and Engineering, volym 359, ELSEVIER SCIENCE SA, 2020. (DOI).
  192. Extended Lagrangian Born-Oppenheimer molecular dynamics using a Krylov subspace approximation. Anders M. N. Niklasson. I Journal of Chemical Physics, volym 152, nummer 10, AMER INST PHYSICS, 2020. (DOI).
  193. Design Guidelines for Educational Games Targeting Children. Emma Nilsson, Marie Sjölinder, Åsa Cajander, Olof Ståhl och Erik Einebrant. I , 2020.
  194. Twig: Multi-Agent Task Management for Colocated Latency-Critical Cloud Services. Rajiv Nishtala, Vinicius Petrucci, Paul Carpenter och Magnus Själander. I , IEEE, 2020. (DOI).
  195. Att undervisa textbaserad programmering i skolan. Lars-Åke Nordén och Linda Mannila. Studentlitteratur AB, Lund, 2020.
  196. ‘I do not share it with others. No, it’s for me, it’s my care’: On sharing of patient accessible electronic health records. Leysan Nurgalieva, Åsa Cajander, Jonas Moll, Rose-Mharie Åhlfeldt, Isto Huvila och Maurizio Marchese. I Health Informatics Journal, volym 26, nummer 4, pp 2554-2567, 2020. (DOI, Fulltext, fulltext:print).
  197. Clustered Grid Cell Data Structure for Isosurface Rendering. Fredrik Nysjö. I Journal of WSCG, volym 28, nummer 1-2, pp 9-17, 2020. (DOI, Fulltext).
  198. Modeling and Visualization for Virtual Interaction with Medical Image Data. Fredrik Nysjö. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1898, Acta Universitatis Upsaliensis, Uppsala, 2020. (fulltext, preview image).
  199. RayCaching: Amortized Isosurface Rendering for Virtual Reality. Fredrik Nysjö, Filip Malmberg och Ingela Nyström. I Computer graphics forum (Print), volym 39, nummer 1, pp 220-230, 2020. (DOI, Fulltext, fulltext:print).
  200. Engagement in Human-Agent Interaction: An Overview. Catharine Oertel, Ginevra Castellano, Mohamed Chetouani, Jauwairia Nasir, Mohammad Obaid, Catherine Pelachaud och Christopher Peters. I Frontiers in Robotics and AI, volym 7, FRONTIERS MEDIA SA, 2020. (DOI, Fulltext, fulltext:print).
  201. Inertial motion capture for ambulatory analysis of human movement and balance. Fredrik Olsson. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1946, Acta Universitatis Upsaliensis, Uppsala, 2020. (fulltext, preview image).
  202. Nonparametric time-domain tremor quantification with smart phone for therapy individualization. Fredrik Olsson och Alexander Medvedev. I IEEE Transactions on Control Systems Technology, volym 28, nummer 1, pp 118-129, 2020. (DOI).
  203. Robust Plug-and-Play Joint Axis Estimation Using Inertial Sensors. Fredrik Olsson, Manon Kok, Thomas Seel och Kjartan Halvorsen. I Sensors, volym 20, nummer 12, 2020. (DOI, Fulltext, fulltext:print).
  204. Learning Robust Decision Policies from Observational Data. Muhammad Osama, Dave Zachariah och Petre Stoica. I , 2020. (Extern länk).
  205. Machine learning for spatially varying data. Muhammad Osama. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2020-004, Uppsala University, Uppsala, 2020. (fulltext).
  206. Robust Risk Minimization for Statistical Learning From Corrupted Data. Muhammad Osama, Dave Zachariah och Petre Stoica. I IEEE Open Journal of Signal Processing, volym 1, pp 287-294, 2020. (DOI, Fulltext, fulltext:print).
  207. A rapid and accurate method to quantify neurite outgrowth from cell and tissue cultures: Two image analytic approaches using adaptive thresholds or machine learning. Alexander Ossinger, Andrej Bajic, S. Pan, Brittmarie Andersson, Petter Ranefall, Nils P. Hailer och Nikos Schizas. I Journal of Neuroscience Methods, volym 331, 2020. (DOI).
  208. RDG-Map: A Multimodal Corpus of Pedagogical Human-Agent Spoken Interactions. Maike Paetzel, Deepthi Karkada och Ramesh Manuvinakurike. I Proceedings of the 12th Conference on Language Resources and Evaluation (LREC 2020), pp 600-609, The European Language Resources Association, Paris, 2020. (Proceedings of the 12th Language Resources and Evaluation Conference, fulltext:print).
  209. The Persistence of First Impressions: The Effect of Repeated Interactions on the Perception of a Social Robot. Maike Paetzel, Giulia Perugia och Ginevra Castellano. I Proceedings of the 2020 ACM/IEEE International Conference on Human-Robot Interaction (HRI '20), pp 73-82, 2020. (DOI).
  210. The Novelty in the Uncanny: Designing Interactions to Change First Impressions. Maike Paetzel-Prüsmann. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1960, Acta Universitatis Upsaliensis, Uppsala, 2020. (Online defence (opening at 10:00 Stockholm time), fulltext, preview image).
  211. Perforated Page: Supporting Fragmented Memory Allocation for Large Pages. Chang Hyun Park, Sanghoon Cha, Bokyeong Kim, Youngjin Kwon, David Black-Schaffer och Jaehyuk Huh. I Proceedings of the 47th Annual ACM/IEEE International Symposium on Computer Architecture (ISCA), pp 913-925, 2020. (DOI, fulltext:postprint).
  212. Automated identification of the mouse brain’s spatial compartments from in situ sequencing data. Gabriele Partel, Markus M. Hilscher, Giorgia Milli, Leslie Solorzano, Anna H Klemm, Mats Nilsson och Carolina Wählby. I BMC Biology, volym 18, nummer 1, Springer Nature, 2020. (DOI, Fulltext, fulltext:print, attachment:print, attachment:print).
  213. Image and Data Analysis for Spatially Resolved Transcriptomics: Decrypting fine-scale spatial heterogeneity of tissue's molecular architecture. Gabriele Partel. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1964, Acta Universitatis Upsaliensis, Uppsala, 2020. (Join Zoom Meeting, fulltext, preview image).
  214. Framing the FRAM: A literature review on the functional resonance analysis method. R. Patriarca, G. Di Gravio, Rogier Woltjer, F. Costantino, G. Praetorius, P. Ferreira och E. Hollnagel. I Safety Science, volym 129, 2020. (DOI, Fulltext, fulltext:print).
  215. Teaching Computer Ethics: Steps towards Slow Tech, a Good, Clean, and Fair ICT. Norberto Patrignani. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1903, Acta Universitatis Upsaliensis, Uppsala, 2020. (Public defence via Zoom. Passcode: 168840, preview image, fulltext, errata).
  216. What are the ingredients for an ethics education for computer scientists?. Norberto Patrignani och Iordanis Kavathatzopoulos. I Paradigm Shifts in ICT Ethics: Societal Challenges in the Smart Society, pp 107-109, Logroño, Spain, 2020. (Extern länk).
  217. Monitoring High-Frequency Data Streams in FinTech: FADO Versus <em>K</em>-means. Kristiaan Pelckmans. I IEEE Intelligent Systems, volym 35, nummer 2, pp 36-42, 2020. (DOI).
  218. On the Role of Personality and Empathy in Human-Human, Human-Agent, and Human-Robot Mimicry. Giulia Perugia, Maike Paetzel och Ginevra Castellano. I Social Robotics: 12th International Conference, ICSR 2020, Golden, CO, USA, November 14–18, 2020, Proceedings, volym 12483 av Lecture Notes in Computer Science (LNAI), pp 120-131, Springer, Cham, 2020. (DOI).
  219. Care ethics to develop computing and engineering education for sustainability. Anne-Kathrin Peters, Stefan Bengtsson, Åsa Cajander, Mats Daniels, Virginia Grande, Johanna Lönngren och Minna Salminen-Karlsson. I 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI).
  220. CoMIR: Contrastive Multimodal Image Representation for Registration. Nicolas Pielawski, Elisabeth Wetzer, Johan Öfverstedt, Jiahao Lu, Carolina Wählby, Joakim Lindblad och Natasa Sladoje. I NeurIPS - 34th Conference on Neural Information Processing Systems, 2020. (Extern länk, Extern länk).
  221. In Silico Prediction of Cell Traction Forces. Nicolas Pielawski, Jianjiang Hu, Staffan Strömblad och Carolina Wählby. I 2020 IEEE 17th International Symposium on Biomedical Imaging (ISBI), IEEE International Symposium on Biomedical Imaging, pp 877-881, 2020. (DOI).
  222. Introducing Hann windows for reducing edge-effects in patch-based image segmentation. Nicolas Pielawski och Carolina Wählby. I PLOS ONE, volym 15, nummer 3, PUBLIC LIBRARY SCIENCE, 2020. (DOI, Fulltext, fulltext:print).
  223. CC ’20: 29th International Conference on Compiler Construction, San Diego, CA, USA, February 22-23, 2020. Louis-Noël Pouchet och Alexandra Jimborean (red). ACM Digital Library, 2020. (DOI, Extern länk).
  224. A Fast Carrier Scheduling Algorithm for Battery-free Sensor Tags in Commodity Wireless Networks. Carlos Pérez-Penichet, Dilushi Piumwardane, Christian Rohner och Thiemo Voigt. I IEEE INFOCOM 2020 - IEEE Conference on Computer Communications, IEEE INFOCOM, pp 994-1003, IEEE, 2020. (DOI, fulltext:postprint).
  225. Seamless Integration of Battery-Free Communications in Commodity Wireless Networks. Carlos Pérez-Penichet. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1928, Acta Universitatis Upsaliensis, Uppsala, 2020. (fulltext, preview image).
  226. TagAlong: Efficient Integration of Battery-free Sensor Tags in Standard Wireless Networks. Carlos Pérez-Penichet, Dilushi Piumwardane, Christian Rohner och Thiemo Voigt. I Proceedings of the 19th ACM/IEEE International Conference on Information Processing in Sensor Networks, pp 169-180, IEEE, 2020. (DOI).
  227. Spectral analysis of Pk Finite Element matrices in the case of Friedrichs–Keller triangulations via Generalized Locally Toeplitz technology. Ryma Imene Rahla, Stefano Serra-Capizzano och Cristina Tablino-Possio. I Numerical Linear Algebra with Applications, volym 27, nummer 4, Wiley, 2020. (DOI, Extern länk).
  228. RVSDG: An Intermediate Representation for Optimizing Compilers. Nico Reissmann, Jan Chrisitian Meyer, Helge Bahmann och Magnus Själander. I ACM Transactions on Embedded Computing Systems, volym 19, nummer 6, 2020. (DOI).
  229. Cancer patients' information seeking behaviour related to online electronic healthcare records. Hanife Rexhepi, Isto Huvila, Rose-Mharie Åhlfeldt och Åsa Cajander. I Proceedings of the 18th International Symposium for Health Information Management Research, pp 53-61, 2020. (fulltext:print).
  230. Beyond exploding and vanishing gradients: analysing RNN training using attractors and smoothness. Antonio H. Ribeiro, Koen Tiels, Luis A. Aguirre och Thomas B. Schön. I Proceedings of the 23<sup>rd</sup> International Conference on Artificial Intelligence and Statistics (AISTATS), volym 108 av Proceedings of Machine Learning Research (PMLR), pp 2370-2380, 2020. (Publisher fulltext).
  231. Automatic 12-lead ECG Classification Using a Convolutional Network Ensemble. Antônio H. Ribeiro, Daniel Gedon, Daniel Martins Teixeira, Manoel Horta Ribeiro, Antonio L. Pinho Ribeiro, Thomas B. Schön och Wagner Meira Jr. I 2020 Computing in Cardiology, volym 47 av Computing in Cardiology (CinC), IEEE, Rimini, Italy, 2020. (DOI).
  232. Automatic diagnosis of the 12-lead ECG using a deep neural network. Antônio H. Ribeiro, Manoel Horta Ribeiro, Gabriela M. M. Paixao, Derick M. Oliveira, Paulo R. Gomes, Jessica A. Canazart, Milton P. S. Ferreira, Carl Andersson, Peter W. Macfarlane, Wagner, Meira, Jr., Thomas B. Schön och Antonio Luiz P. Ribeiro. I Nature Communications, volym 11, nummer 1, NATURE PUBLISHING GROUP, 2020. (DOI, Fulltext, fulltext:print).
  233. Nonparametric models for Hammerstein-Wiener and Wiener-Hammerstein system identification. Riccardo Risuleo och Hakan Hjalmarsson. I IFAC PapersOnline, pp 407-412, Elsevier BV, 2020. (DOI, Fulltext, fulltext:print).
  234. Speculative Enforcement of Store Atomicity. Alberto Ros och Stefanos Kaxiras. I 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), pp 555-567, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI, Fulltext, fulltext:postprint).
  235. BIAFLOWS: A Collaborative Framework to Reproducibly Deploy and Benchmark Bioimage Analysis Workflows.. Ulysse Rubens, Romain Mormont, Lassi Paavolainen, Volker Bäcker, Benjamin Pavie, Leandro A Scholz, Gino Michiels, Martin Maška, Devrim Ünay, Graeme Ball, Renaud Hoyoux, Rémy Vandaele, Ofra Golani, Stefan G Stanciu, Natasa Sladoje, Perrine Paul-Gilloteaux, Raphaël Marée och Sébastien Tosi. I Patterns (New York, N.Y.), volym 1, nummer 3, Elsevier BV, 2020. (DOI, Fulltext, fulltext:print).
  236. Impulsive Feedback Modeling of Levodopa Pharmacokinetics Subject to Intermittently Interrupted Gastric Emptying. Håkan Runvik, Alexander Medvedev och Maria C. Kjellsson. I 2020 American Control Conference (ACC), Proceedings of the American Control Conference, pp 1323-1328, 2020. (DOI).
  237. Initialization of a Disease Transmission Model. Håkan Runvik, Alexander Medvedev, Robin Eriksson och Stefan Engblom. I IFAC PapersOnline, pp 839-844, Elsevier BV, 2020. (DOI, Fulltext, fulltext:print).
  238. Laguerre Domain Estimation of an Input Impulse Train to a Continuous Linear Time-invariant System. Håkan Runvik och Alexander Medvedev. I 2020 59th IEEE Conference on Decision and Control (CDC), Proceedings of the IEEE Conference on Decision & Control, pp 4622-4627, 2020. (DOI).
  239. Structural Identifiability of a Third-order Continuous System under Impulsive Feedback. Håkan Runvik och Alexander Medvedev. I IFAC PapersOnline, pp 16215-16220, Elsevier BV, 2020. (DOI, Fulltext, fulltext:print).
  240. Competition Report: CHC-COMP-20. Philipp Rümmer. I Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, volym 320 av EPTCS, pp 197-219, 2020. (DOI).
  241. Evaluating the Potential Applications of Quaternary Logic for Approximate Computing. Christos Sakalis, Alexandra Jimborean, Stefanos Kaxiras och Magnus Själander. I ACM Journal on Emerging Technologies in Computing Systems, volym 16, nummer 1, Association for Computing Machinery (ACM), 2020. (DOI).
  242. Securing the Memory Hierarchy from Speculative Side-Channel Attack. Christos Sakalis. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2020-003, Uppsala University, Uppsala, 2020. (fulltext).
  243. Understanding Selective Delay as a Method for Efficient Secure Speculative Execution. Christos Sakalis, Stefanos Kaxiras, Alberto Ros, Alexandra Jimborean och Magnus Själander. I IEEE Transactions on Computers, volym 69, nummer 11, pp 1584-1595, 2020. (DOI).
  244. Den digitala arbetsmiljön inomhälso- och sjukvården. Minna Salminen-Karlsson, Diane Golay och Åsa Cajander. I Medicinsk informatik, Liber, 2020.
  245. Gender equality projects at European level: Exploring factors for success. Minna Salminen-Karlsson. I Does knowledge have a gender?: A Festschrift for Liisa Husu on gender, science and academia, pp 136-145, Örebro universitet, Örebro, 2020.
  246. Flood Prediction Using IoT and Artificial Neural Networks with Edge Computing. Eric Samikwa, Thiemo Voigt och Joakim Eriksson. I 2020 International Conferences on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) and IEEE Congress on Cybermatics (Cybermatics), pp 234-240, IEEE, 2020. (DOI, fulltext:postprint).
  247. Real-time Thread Isolation and Trusted Execution on Embedded RISC-V. Lindemer Samuel, Gustav Midéus och Shahid Raza. I , 2020.
  248. High-order cut discontinuous Galerkin methods with local time stepping for acoustics. Svenja Schoeder, Simon Sticko, Gunilla Kreiss och Martin Kronbichler. I International Journal for Numerical Methods in Engineering, volym 121, nummer 13, pp 2979-3003, 2020. (DOI).
  249. A Robot by Any Other Frame: Framing and Behaviour Influence Mind Perception in Virtual but not Real-World Environments. Wallkötter Sebastian, Rebecca Stower, Arvid Kappas och Ginevra Castellano. I HRI '20: Proceedings of the 2020 ACM/IEEE International Conference on Human-Robot Interaction, ACM IEEE International Conference on Human-Robot Interaction, pp 609-618, Assoc Computing Machinery, 2020. (DOI).
  250. Visualisation of 3D Property Data and Assessment of the Impact of Rendering Attributes. Stefan Seipel, Martin Andrée, Karolina Larsson, Jesper M. Paasch och Jenny Paulsson. I Journal of Geovisualization and Spatial Analysis, volym 4, nummer 2, 2020. (DOI, Fulltext, fulltext:print).
  251. Research programs as a tool to map Internet studies. Håkan Selg. I Second International Handbook of Internet Research, pp 505-528, Springer, Dordrecht, The Netherlands, 2020. (DOI).
  252. Extreme adopters in digital communities.. Amendra Shrestha, Lisa Kaati och Katie Cohen. I Journal of Threat Assessment and Management, volym 7, pp 72-84, American Psychological Association (APA), 2020. (DOI).
  253. Introducing Digital-7 Threat Assessment of Individuals in Digital Environments. Amendra Shrestha, Nazar Akrami och Lisa Kaati. I 2020 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM), International Conference on Advances in Social Network Analysis and Mining, ASONAM, pp 720-726, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI).
  254. A latent variable approach to heat load prediction in thermal grids. Johan Simonsson, Khalid Tourkey Atta, Dave Zachariah och Wolfgang Birk. I 2020 European Control Conference (ECC), pp 344-349, 2020. (DOI).
  255. Towards Smart e-Infrastructures, A Community Driven Approach Based on Real Datasets. Prashant Singh, Mona Mohamed Elamin och Salman Toor. I Proceedings of the 2020 IEEE Green Technologies Conference (GreenTech), IEEE Green Technologies Conference, pp 109-114, 2020. (DOI).
  256. Transmission Electron Microscopy Dataset for Image Deblurring. Ida-Maria Sintorn, Håkan Wieslander och Carolina Wählby. 2020. (DOI).
  257. TissUUmaps: interactive visualization of large-scale spatial gene expression and tissue morphology data. Leslie Solorzano, Gabriele Partel och Carolina Wählby. I Bioinformatics, volym 36, nummer 15, pp 4363-4365, OXFORD UNIV PRESS, 2020. (DOI, Fulltext, fulltext:print).
  258. The effect of interventions on COVID-19. Kristian Soltesz, Fredrik Gustafsson, Toomas Timpka, Joakim Jaldén, Carl Jidling, Albin Heimerson, Thomas B. Schön, Armin Spreco, Joakim Ekberg, Örjan Dahlström, Fredrik Bagge Carlson, Anna Jöud och Bo Bernhardsson. I Nature, volym 588, nummer 7839, pp E26-E32, 2020. (DOI).
  259. Blind identification of two-channel FIR systems: a frequency domain approach. Umberto Soverini och Torsten Söderström. I IFAC PapersOnline, pp 914-920, Elsevier BV, 2020. (DOI, Fulltext, fulltext:print).
  260. Frequency domain identification of FIR models in the presence of additive input-output noise. Umberto Soverini och Torsten Söderström. I Automatica, volym 115, PERGAMON-ELSEVIER SCIENCE LTD, 2020. (DOI).
  261. The Frisch scheme for EIV system identification: time and frequency domain formulations. Umberto Soverini och Torsten Söderström. I IFAC PapersOnline, pp 907-913, Elsevier BV, 2020. (DOI, Fulltext, fulltext:print).
  262. Healthcare managers' experiences of technostress and the actions they take to handle it: a critical incident analysis. Magdalena Stadin, Maria Nordin, Eleonor I. Fransson och Anders Broström. I BMC Medical Informatics and Decision Making, volym 20, nummer 1, 2020. (DOI, Fulltext, fulltext:print).
  263. Spatial Interpolation of Extreme PM1 Values Using Copulas. Alfred Stein, Fakhereh Alidoost och Vera van Zoest. I Computational and Methodological Statistics and Biostatistics: Contemporary Essays in Advancement, pp 309-328, Springer, Cham, 2020. (DOI, Extern länk).
  264. Smart Resource Management for Data Streaming using an Online Bin-packing Strategy. Oliver Stein, Ben Blamey, Johan Karlsson, Alan Sabirsh, Ola Spjuth, Andreas Hellander och Salman Toor. I 2020 IEEE International Conference on Big Data (Big Data), pp 2207-2216, 2020. (DOI).
  265. High-order cut finite elements for the elastic wave equation. Simon Sticko, Gustav Ludvigsson och Gunilla Kreiss. I Advances in Computational Mathematics, volym 46, nummer 3, 2020. (DOI, Fulltext).
  266. Recent Advances in Large Scale Whole Body MRI Image Analysis – Imiomics. Robin Strand, Simon Ekström, Eva Breznik, Therese Sjöholm, Martino Pilia, Lars Lind, Filip Malmberg, Håkan Ahlström och Joel Kullberg. I In Proceedings of The 5th International Conference on Sustainable Information Engineering and Technology (SIET 2020), Malang, Indonesia, 2020.
  267. Artificial intelligence for diagnosis and grading of prostate cancer in biopsies: a population-based, diagnostic study. Peter Strom, Kimmo Kartasalo, Henrik Olsson, Leslie Solorzano, Brett Delahunt, Daniel M. Berney, David G. Bostwick, Andrew J. Evans, David J. Grignon, Peter A. Humphrey, Kenneth A. Iczkowski, James G. Kench, Glen Kristiansen, Theodorus H. van der Kwast, Katia R. M. Leite, Jesse K. McKenney, Jon Oxley, Chin-Chen Pan, Hemamali Samaratunga, John R. Srigley, Hiroyuki Takahashi, Toyonori Tsuzuki, Murali Varma, Ming Zhou, Johan Lindberg, Cecilia Lindskog, Pekka Ruusuvuori, Carolina Wählby, Henrik Gronberg, Mattias Rantalainen, Lars Egevad och Martin Eklund. I The Lancet Oncology, volym 21, nummer 2, pp 222-232, Elsevier, 2020. (DOI).
  268. Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained Deadlines Under GEDF Scheduling. Jinghao Sun, Nan Guan, Shuangshuang Chang, Feng Li, Qingxu Deng och Yi Wang. I IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, volym 39, nummer 12, pp 4537-4548, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2020. (DOI).
  269. Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained Deadlines Under GEDF Scheduling. Jinghao Sun, Nan Guan, Shuangshuang Chang, Feng Li, Qingxu Deng och Yi Wang. I IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, volym 39, nummer 12, pp 4537-4548, IEEE, 2020. (DOI).
  270. On Computing Exact WCRT for DAG Tasks. Jinghao Sun, Feng Li, Nan Guan, Wentao Zhu, Minjie Xiang, Zhishan Guo och Yi Wang. I 57th ACM/IEEE Design Automation Conference, DAC 2020, San Francisco, CA, USA, July 20-24, 2020, Design Automation Conference DAC, pp 1-6, IEEE, 2020. (DOI).
  271. On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms. Jinghao Sun, Yaoyao Chi, Tianfei Xu, Lei Cao, Nan Guan, Zhishan Guo och Yi Wang. I PROCEEDINGS OF THE 2020 DESIGN, AUTOMATION &amp; TEST IN EUROPE CONFERENCE &amp; EXHIBITION (DATE 2020), Design Automation and Test in Europe Conference and Exhibition, pp 204-209, NEW YORK, USA, 2020. (DOI, Fulltext).
  272. On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms. Jinghao Sun, Yaoyao Chi, Tianfei Xu, Lei Cao, Nan Guan, Zhishan Guo och Yi Wang. I 2020 Design, Automation &amp; Test in Europe Conference &amp; Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020, pp 204-209, 2020. (DOI).
  273. Real-Time Scheduling and Analysis of OpenMP DAG Tasks Supporting Nested Parallelism. Jinghao Sun, Nan Guan, Feng Li, Huimin Gao, Chang Shi och Yi Wang. I IEEE Transactions on Computers, volym 69, nummer 9, pp 1335-1348, IEEE COMPUTER SOC, 2020. (DOI).
  274. Global radial basis function collocation methods for PDEs. Ulrika Sundin. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2020-002, Uppsala University, 2020. (fulltext).
  275. Machine Learning in Risk Prediction. Johan Sundström och Thomas B. Schön. I Hypertension, volym 75, nummer 5, pp 1165-1166, 2020. (DOI).
  276. Professional Competencies in Computing Education: Are They Important?. Justyna Szynkiewicz, Gunhild M. Lundberg och Mats Daniels. I 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI).
  277. Students' professional competencies in computing project courses in the Norwegian context. Justyna Szynkiewicz, Gunhild M. Lundberg och Mats Daniels. I 2020 IEEE Frontiers in Education Conference (FIE), IEEE Frontiers in Education Conference (FIE), 2020. (DOI).
  278. Modeling and Optimizing NUMA Effects and Prefetching with Machine Learning. Isaac Sánchez Barrera, David Black-Schaffer, Casas Marc, Miquel Moretó, Anastasiia Stupnikova och Mihail Popov. I ICS '20: Proceedings of the 34th ACM International Conference on Supercomputing, 2020. (DOI, Fulltext, fulltext:postprint).
  279. Polyphase Waveform Design for MIMO Radar Space Time Adaptive Processing. Bo Tang, Jonathan Tuck och Peter Stoica. I IEEE Transactions on Signal Processing, volym 68, pp 2143-2154, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2020. (DOI).
  280. Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors. Yue Tang, Zhiwei Feng, Nan Guan, Xu Jiang, Mingsong Lv, Qingxu Deng och Yi Wang. I 2020 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium: Proceedings, pp 231-243, 2020. (DOI).
  281. Towards Intelligent Industry 4.0 5G Networks: A First Throughput and QoE Measurement Campaign. William Tarneberg, Omar Hamsis, John Hedlund, Kjell Brunnström, Emma Fitzgerald, Andreas Johnsson, Viktor Berggren, Maria Kihl, Akhila Rao, Rebecca Steinert och Caner Kilinc. I 2020 28th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2020, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI).
  282. Reshape your layouts, not your programs: A safe language extension for better cache locality. Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad och Susan Eisenbach. I Science of Computer Programming, volym 197, 2020. (DOI).
  283. A monotonic optimization approach for solving strictly quasiconvex multiobjective programming problems. Tran Ngoc Thang, Vijender Kumar Solanki, Tuan Anh Dao, Nguyen Thi Ngoc Anh och Pham Van Hai. I Journal of Intelligent & Fuzzy Systems, volym 38, pp 6053-6063, 2020. (DOI).
  284. Clearing the Shadows: Recovering Lost Performance for Invisible Speculative Execution through HW/SW Co-Design. Kim-Anh Tran, Christos Sakalis, Magnus Själander, Alberto Ros, Stefanos Kaxiras och Alexandra Jimborean. I PACT ’20: Proceedings of the ACM International Conference on Parallel Architectures and Compilation Techniques, International Conference on Parallel Architectures and Compilation Techniques, pp 241-254, Association for Computing Machinery (ACM), 2020. (DOI, Extern länk).
  285. Finding and Exploiting Memory-Level-Parallelism in Constrained Speculative Architectures. Kim-Anh Tran. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1897, Acta Universitatis Upsaliensis, Uppsala, 2020. (Join Zoom Meeting, fulltext, preview image).
  286. Nonlinear Input Design as Optimal Control of a Hamiltonian System. Jack Umenberger och Thomas B. Schön. I IEEE Control Systems Letters, volym 4, nummer 1, pp 85-90, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2020. (DOI).
  287. Detection of signs of Parkinson's disease using dynamical features via an indirect pointing device. Rosane Ushirobira, Denis Efimov, Gery Casiez, Laure Fernandez, Fredrik Olsson och Alexander Medvedev. I IFAC Papersonline, pp 16347-16352, ELSEVIER, 2020. (DOI, Fulltext, fulltext:print).
  288. A Twitter-Based Study of the European Internet of Things. Funda Ustek-Spilda, Davide Vega, Matteo Magnani, Luca Rossi, Irina Shklovski, Sebastian Lehuede och Alison Powell. I Information Systems Frontiers, volym 23, nummer 1, pp 135-149, 2020. (DOI, Fulltext, fulltext:print).
  289. Graph-theoretic approaches and tools for quantitatively assessing curricula coherence. Damiano Varagnolo, Steffi Knorn, Kjell Staffas, Eva Fjällström och Tobias Wrigstad. I European Journal of Engineering Education, volym 46, nummer 3, pp 344-363, 2020. (DOI).
  290. Tunnel Emitter: Tunnel Diode based Low-Power Carrier Emitters for Backscatter Tags. Ambuj Varshney och Lorenzo Corneo. I , 2020. (DOI, Extern länk).
  291. Students as Prosumers: Learning from Peer-Produced Materials in a Computing Science Course. Anna Vasilchenko, Åsa Cajander och Mats Daniels. I 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI).
  292. The Vanishing and Appearing Sources during a Century of Observations Project. I. USNO Objects Missing in Modern Sky Surveys and Follow-up Observations of a "Missing Star". Beatriz Villarroel, Johan Soodla, Sebastien Comeron, Lars Mattsson, Kristiaan Pelckmans, Martin Lopez-Corredoira, Kevin Krisciunas, Eduardo Guerras, Oleg Kochukhov, Josefine Bergstedt, Bart Buelens, Rudolf E. Bar, Rubén Cubo, J. Emilio Enriquez, Alok C. Gupta, Inigo Imaz, Torgny Karlsson, M. Almudena Prieto, Aleksey A. Shlyapnikov, Rafael S. de Souza, Irina B. Vavilova och Martin J. Ward. I Astronomical Journal, volym 159, nummer 1, American Astronomical Society, 2020. (DOI).
  293. Reformulations of Constraint Satisfaction Problems: A Survey. Huu-Phuc Vo. 2020. (fulltext).
  294. Jamming to Support Privacy-preserving Continuous Tumour Relapse Monitoring Using In-body Radio Signals. Thiemo Voigt, Wenqing Yan, Maria Mani, Sam Hylamia, Noor Badariah Asan, Mauricio D. Perez, Laya Joseph, Bappaditya Mandal och Robin Augustine. I , 2020.
  295. Towards Physical-Layer Authentication for Backscatter Devices: Extended Abstract. Thiemo Voigt, Carlos Perez Penichet och Christian Rohner. I International Workshop on Attacks and Defenses for Internet-of-Things, volym 12501 av Lecture Notes in Computer Science, Springer Nature, 2020. (DOI, fulltext:postprint).
  296. Towards Secure Backscatter-based In-Body Sensor Networks. Thiemo Voigt, Christian Rohner, Wenqing Yan, Laya Joseph, Sam Hylamia, Noor Badariah Asan, Bappaditya Mandal, Mauricio D. Perez och Robin Augustine. I , 2020.
  297. A stratified process for the perception of objects: From optical transformations to 3D relief structure to 3D similarity structure to slant or aspect ratio. Xiaoye Michael Wang, Mats Lind och Geoffrey P. Bingham. I Vision Research, volym 173, pp 77-89, PERGAMON-ELSEVIER SCIENCE LTD, 2020. (DOI).
  298. Bootstrapping a better slant: A stratified process for recovering 3D metric slant. Xiaoye Michael Wang, Mats Lind och Geoffrey P. Bingham. I Attention, Perception & Psychophysics, volym 82, nummer 3, pp 1504-1519, 2020. (DOI).
  299. Symmetry mediates the bootstrapping of 3-D relief slant to metric slant. Xiaoye Michael Wang, Mats Lind och Geoffrey P. Bingham. I Attention, Perception & Psychophysics, volym 82, nummer 3, pp 1488-1503, 2020. (DOI).
  300. SynQuant: an automatic tool to quantify synapses from microscopy images. Yizhi Wang, Congchao Wang, Petter Ranefall, Gerard Joey Broussard, Yinxue Wang, Guilai Shi, Boyu Lyu, Chiung-Ting Wu, Yue Wang, Lin Tian och Guoqiang Yu. I Bioinformatics, volym 36, nummer 5, pp 1599-1606, 2020. (DOI).
  301. Modeling Human Activity With Seasonality Bursty Dynamics. Quansi Wen, Choujun Zhan, Ying Gao, Xiping Hu, Edith Ngai och Bin Hu. I IEEE Transactions on Industrial Informatics, volym 16, nummer 2, pp 1130-1139, 2020. (DOI).
  302. Modeling Human Activity With Seasonality Bursty Dynamics. Quansi Wen, Choujun Zhan, Ying Gao, Xiping Hu, Edith Ngai och Bin Hu. I , 2020. (DOI).
  303. Cross-modal Representation Learning for Efficient Registration of Multiphoton and Brightfield Microscopy Images of Skin Tissue. Elisabeth Wetzer, Nicolas Pielawski, Johan Öfverstedt, Lu Jiahao, Joakim Lindblad, A. Dumitru, M. Costache, R. Hristu, S.G. Stanciu och Natasa Sladoje. I 4th NEUBIAS Conference, Bordeaux, France, 2020. (Extern länk).
  304. When texture matters: Texture-focused CNNs outperform general data augmentation and pretraining in oral cancer detection. Elisabeth Wetzer, Jo Gay, Hugo Harlin, Joakim Lindblad och Natasa Sladoje. I 2020 IEEE 17th International Symposium on Biomedical Imaging (ISBI), IEEE International Symposium on Biomedical Imaging (ISBI), pp 517-521, 2020. (DOI).
  305. Calibration of Probabilistic Predictive Models. David Widmann. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2020-006, Uppsala University, Uppsala, 2020. (Extern länk, fulltext).
  306. Exploiting conjugacy in state-space models with sequential Monte Carlo. Anna Wigren. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2020-005, Uppsala University, Uppsala, 2020. (fulltext).
  307. Globally stable delay alignment for feedback control over NR multi-point connections. Torbjörn Wigren, Delgado Ramon, Lau Katrina och Middleton Richard. I IEEE Transactions on Control od Network Systems, volym 7, nummer 4, pp 1633-1642, 2020. (DOI, Extern länk).
  308. Jitter suppression for very low latency feedback control over NR. Torbjörn Wigren. I IEEE VTC-SPRING 2020, 2020.
  309. Statistical beam information for mmW positioning. Torbjörn Wigren. I Proc. IEEE VTC-Spring 2020, 2020.
  310. Time averaged power control of a 4G or a 5G radio base station for RF EMF compliance. Torbjörn Wigren, Christer Törnevik, Shiguang Guo och Ken Huisman. I IEEE Access, volym 8, pp 211937-211950, 2020. (DOI).
  311. Bootstrapping Weakly Supervised Segmentation-free Word Spotting through HMM-based Alignment. Tomas Wilkinson och Carl Nettelblad. I 2020 17th International Conference on Frontiers in Handwriting Recognition (ICFHR), pp 49-54, 2020. (DOI).
  312. A fast quasi-Newton-type method for large-scale stochastic optimisation. Adrian Wills, Thomas B. Schön och Carl Jidling. I IFAC PapersOnline, pp 1249-1254, Elsevier BV, 2020. (DOI, Fulltext, fulltext:print).
  313. Bricklayer: Resource Composition on the Spot Market. Walter Wong, Lorenzo Corneo, Aleksandr Zavodovski, Pengyuan Zhou, Nitinder Mohan och Jussi Kangasharju. I ICC 2020: 2020 IEEE International Conference on Communications (ICC), IEEE International Conference on Communications, 2020. (DOI).
  314. Bifurcation analysis for non-local design of a hybrid observer for the impulsive Goodwin's oscillator. Diana Yamalova, Alexander Medvedev och Zhanybai Zhusubaliyev. I Nonlinear dynamics, volym 100, nummer 2, pp 1401-1419, 2020. (DOI, Fulltext, fulltext:print).
  315. PHY-IDS: a physical-layer spoofing attack detection system for wearable devices. Wenqing Yan, Sam Hylamia, Thiemo Voigt och Christian Rohner. I WearSys '20: Proceedings of the 6th ACM Workshop on Wearable Systems and Applications, Association for Computing Machinery (ACM), Toronto, Ontario, Canada, 2020. (DOI).
  316. Radiometric Signatures for Wireless Device Identification over Dynamic Channels: Poster. Wenqing Yan, Thiemo Voigt och Christian Rohner. I 2020 IEEE Symposium On Security And Privacy Workshops (SPW 2020), pp 127-127, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI).
  317. Sensitivity of radiometric fingerprint against wireless channel: Poster Abstract. Wenqing Yan och Christian Rohner. I SenSys '20: Proceedings of the 18th Conference on Embedded Networked Sensor Systems, pp 719-720, Association for Computing Machinery (ACM), New York, NY, United States, 2020. (DOI, Extern länk).
  318. Towards Robust and Low-complexity Radiometric Fingerprint: PhD forum abstract. Wenqing Yan. I SenSys '20: Proceedings of the 18th Conference on Embedded Networked Sensor Systems, pp 821-822, New York, NY, United States, 2020. (DOI, Extern länk, fulltext:print).
  319. Improving Program Locality in the GC using Hotness. Albert Mingkun Yang, Erik Österlund och Tobias Wrigstad. I PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, pp 301-313, ASSOC COMPUTING MACHINERY, 2020. (DOI).
  320. ThinGC: complete isolation with marginal overhead. Albert Mingkun Yang, Eric Österlund, Jesper Wilhelmsson, Hanna Nyblom och Tobias Wrigstad. I ISMM 2020: Proceedings of the 2020 ACM SIGPLAN International Symposium on Memory Management, pp 74-86, Association for Computing Machinery (ACM), 2020. (DOI).
  321. Microstructures and mechanical properties of Al2O3/YAG:Ce3+ eutectics with different Ce3+ concentrations grown by HDS method. Liu Yang, Mingfu Zhang, Dan Wu, Tao Wang, Ying Nie, Jiecai Han och Wei Xia. I Journal of Alloys and Compounds, volym 816, 2020. (DOI).
  322. User-centric Performance Optimization with Remote Radio Head Cooperation in C-RAN. Lei You och Di Yuan. I IEEE Transactions on Wireless Communications, volym 19, nummer 1, pp 340-353, 2020. (DOI, Extern länk).
  323. Leveraging Muiti-cell NOMA for Cell Edge. Zhanwei Yu, Lei You och Di Yuan. I 2020 IEEE International Conference on Advanced Networks and Telecommunications Systems  (IEEE ANTS), IEEE International Conference on Advanced Networks and Telecommunication Systems, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI).
  324. Classical labor values: properties of economic reproduction. David Zachariah och Paul Cockshott. I World Review of Political Economy, volym 11, nummer 3, pp 388-414, Pluto Journals, 2020. (DOI).
  325. A numerical simulation for Darcy–Forchheimer flow of nanofluid by a rotating disk with partial slip effects. Malik Zaka Ullah, Stefano Serra-Capizzano och Dumitru Baleanu. I Frontiers in Physics, volym 7, 2020. (DOI, Fulltext).
  326. Copying Can Be Good: How Students View Imitation as a Tool in Learning to Program. Carol Zander, Lynda Thomas, Jan Erik Moström och Anna Eckerdal. I 2020 IEEE Frontiers in Education Conference (FIE), IEEE Frontiers in Education Conference, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI).
  327. Boosting Sequential Consistency Checking Using Saturation. Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea och Mohammed Erradi. I Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings, Lecture Notes in Computer Science, pp 360-376, Springer Nature, 2020. (DOI).
  328. zOPT: an open source optical projection tomography system and methods for rapid 3D zebrafish imaging. Hanqing Zhang, Laura Waldmann, Remy Manuel, Henrik Boije, Tatjana Haitina och Amin Allalou. I Biomedical Optics Express, volym 11, nummer 8, pp 4290-4305, The Optical Society, 2020. (DOI, Fulltext, fulltext:print).
  329. Towards Pricing for Sensor-Cloud. Chunsheng Zhu, Xiuhua Li, Victor C. M. Leung, Laurence T. Yang, Edith C.-H. Ngai och Lei Shu. I IEEE Transactions on Cloud Computing, volym 8, nummer 4, pp 1018-1029, 2020. (DOI).
  330. Behavioral Characterization of dmrt3a Mutant Zebrafish Reveals Crucial Aspects of Vertebrate Locomotion through Phenotypes Related to Acceleration. Ana del Pozo, Remy Manuel, Ana Belen Iglesias Gonzalez, Harmen Kornelis Koning, Judith Habicher, Hanqing Zhang, Amin Allalou, Klas Kullander och Henrik Boije. I eNeuro, volym 7, nummer 3, 2020. (DOI, Fulltext, fulltext:print).
  331. Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers. Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas och Bernd Fischer. I Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, pp 253-269, Association for Computing Machinery (ACM), 2020. (DOI, Fulltext).
  332. Spatio-temporal regression kriging for modelling urban NO2 concentrations. Vera van Zoest, Frank Osei, Gerard Hoek och Alfred Stein. I International Journal of Geographical Information Science, volym 34, nummer 5, pp 851-865, 2020. (DOI).
  333. Learning to program hands-on: a controlled study. Kristina von Hausswolff, Anna Eckerdal och Michael Thuné. I Proceedings of the 20th Koli Calling International Conference on Computing Education Research November 2020 November 2020, pp 1-10, 2020. (DOI).
  334. Social dimensions in the lab session when novices learn to program. Kristina von Hausswolff och Maria Weurlander. I 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI).
  335. Numerical Ross Recovery for Diffusion Processes Using a PDE Approach. Lina von Sydow och Johan Waldén. I Applied Mathematical Finance, pp 46-66, 2020. (DOI).
  336. Translating GWAS-identified loci for cardiac rhythm and rate using an in vivo image- and CRISPR/Cas9-based approach. Benedikt von der Heyde, Anastasia Emmanouilidou, Eugenia Mazzaferro, Silvia Vicenzi, Ida Höijer, Tiffany Klingström, Sitaf Jumaa, Olga Dethlefsen, Harold Snieder, Eco de Geus, Adam Ameur, Erik Ingelsson, Amin Allalou, Hannah L. Brooke och Marcel den Hoed. I Scientific Reports, volym 10, nummer 1, 2020. (DOI, Fulltext, fulltext:print).
  337. A Mechanised Semantics for HOL with Ad-hoc  Overloading. Johannes Åman Pohjola och Arve Gengelbach. I , EPiC Series in Computing, pp 498-515, 2020. (DOI, Fulltext, Extern länk).
  338. Stochastic Distance Transform: Theory, Algorithms and Applications. Johan Öfverstedt, Joakim Lindblad och Natasa Sladoje. I Journal of Mathematical Imaging and Vision, volym 62, pp 751-769, 2020. (DOI, Fulltext, fulltext:print).

Uppdaterad  2022-06-28 13:51:06 av Björn Victor.