Department of Information Technology

Publications from the Department of Information Technology

Series

We publish technical reports and licentiate theses in local series. Our PhD dissertations are available through the Electronic Publishing Centre of the university.

Search for other publications

To search for other publications, please try

Publications this year

The lists below show publications registered in the University digital archive DiVA, and which have been marked as being the department's. The lists do not necessarily contain all publications of authors/editors of our department. (When publishing in DiVA, use the guidelines to make sure you do it right.)

On this page you find publication of the current year. Separate lists for 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, and 1999 are also available.

  1. A load-buffer semantics for total store ordering. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, and Tuan Phong Ngo. In Logical Methods in Computer Science, volume 14, number 1, 2018. (External link).
  2. Mending fences with self-invalidation and self-downgrade. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, and Yunyun Zhu. In Logical Methods in Computer Science, volume 14, number 1, 2018. (External link).
  3. Are the eigenvalues of preconditioned banded symmetric Toeplitz matrices known in almost closed form?. Fayyaz Ahmad, Eman S. Al-Aidarous, Dina A. Alrehaili, Sven-Erik Ekström, Isabella Furci, and Stefano Serra-Capizzano. In Numerical Algorithms, 2018. (DOI, Fulltext). Publication status: Epub ahead of print
  4. Efficient iterative virtual screening with Apache Spark and conformal prediction.. Laeeq Ahmed, Valentin Georgiev, Marco Capuccini, Salman Toor, Wesley Schaal, Erwin Laure, and Ola Spjuth. In Journal of Cheminformatics, volume 10, 2018. (DOI, Fulltext, fulltext:print).
  5. Forward deterministic pricing of options using Gaussian radial basis functions. Jamal Amani Rad, Josef Höök, Elisabeth Larsson, and Lina von Sydow. In Journal of Computational Science, volume 24, pp 209-217, 2018. (DOI, fulltext:postprint).
  6. Affective touch in human–robot interaction: Conveying emotion to the Nao robot. Rebecca Andreasson, Beatrice Alenljung, Erik Billing, and Robert Lowe. In International Journal of Social Robotics, volume 10, 2018. (DOI, Fulltext). Publication status: Epub ahead of print
  7. Atomistic-continuum multiscale modelling of magnetisation dynamics at non-zero temperature. Doghonay Arjmand, Mikhail Poluektov, and Gunilla Kreiss. In Advances in Computational Mathematics, volume 44, 2018. (DOI, Fulltext). Publication status: Epub ahead of print
  8. Effective Techniques for Stateless Model Checking. Stavros Aronis. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1602, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  9. An efficient preconditioning method for state box-constrained optimal control problems. Owe Axelsson, Maya Neytcheva, and Anders Ström. Technical report / Department of Information Technology, Uppsala University nr 2018-008, 2018. (External link).
  10. Preconditioners for two-by-two block matrices with square blocks. Owe Axelsson and Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2018-010, 2018. (External link).
  11. Non-Hermitian perturbations of Hermitian matrix-sequences and applications to the spectral analysis of approximated PDEs. Giovanni Barbarino and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2018-004, 2018. (External link).
  12. Efficient Green's function reaction dynamics (GFRD) simulations for diffusion-limited, reversible reactions. Zahedeh Bashardanesh and Per Lötstedt. In Journal of Computational Physics, volume 357, pp 78-99, 2018. (DOI).
  13. Discontinuous Galerkin discretization of the heat equation in any dimension: The spectral symbol. Pietro Benedusi, Carlo Garoni, Rolf Krause, Xiaozhou Li, and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2018-002, 2018. (External link).
  14. The Scarcity of Universal Colour Names. Gunilla Borgefors. In Proceedings of 7th International Conference on Pattern Recognition Applications and Methods, pp 496-502, 2018.
  15. Capability-Based Type Systems for Concurrency Control. Elias Castegren. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1611, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  16. OOlong: An Extensible Concurrent Object Calculus. Elias Castegren and Tobias Wrigstad. In , pp 1-8, 2018. (DOI, fulltext:postprint).
  17. Analyzing performance variation of task schedulers with TaskInsight. Germán Ceballos, Thomas Grass, Andra Hugo, and David Black-Schaffer. In Parallel Computing, volume 75, pp 11-27, 2018. (DOI).
  18. Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks. Gang Chen, Nan Guan, Di Liu, Qingqiang He, Kai Huang, Todor Stefanov, and Yi Wang. In I.E.E.E. transactions on computers (Print), volume 67, number 4, pp 543-558, IEEE COMPUTER SOC, 2018. (DOI).
  19. Uniform convergence of V-cycle multigrid algorithms for two-dimensional fractional Feynman–Kac equation. Minghua Chen, Weihua Deng, and Stefano Serra-Capizzano. In Journal of Scientific Computing, volume 74, pp 1034-1059, 2018. (DOI).
  20. Pathwise error bounds in multiscale variable splitting methods for spatial stochastic kinetics. Augustin Chevallier and Stefan Engblom. In SIAM Journal on Numerical Analysis, volume 56, pp 469-498, 2018. (DOI).
  21. Ammonium based aeration control in wastewater treatment plants: Modelling and controller design. Tatiana Chistiakova. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2018-002, Uppsala University, 2018. (fulltext).
  22. Input-output stability design of an ammonium based aeration controller for wastewater treatment. Tatiana Chistiakova, Torbjörn Wigren, and Bengt Carlsson. In Proc. American Control Conference: ACC 2018, American Automatic Control Council, 2018.
  23. Model-based optimization for individualized deep brain stimulation. Rubén Cubo. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1659, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  24. Optimization-based contact fault alleviation in deep brain stimulation leads. Rubén Cubo, Mattias Åström, and Alexander Medvedev. In IEEE transactions on neural systems and rehabilitation engineering, volume 26, number 1, pp 69-76, 2018. (DOI).
  25. Comparison of two hyperparameter-free sparse signal processing methods for direction-of-arrival tracking in the HF97 ocean acoustic experiment. Anup Das, Dave Zachariah, and Peter Stoica. In IEEE Journal of Oceanic Engineering, volume 43, 2018. (DOI). Publication status: Epub ahead of print
  26. Staggered discontinuous Galerkin methods for the incompressible Navier–Stokes equations: Spectral analysis and computational results. Michael Dumbser, Francesco Fambri, Isabella Furci, Mariarosa Mazza, Stefano Serra-Capizzano, and Maurizio Tavelli. In Numerical Linear Algebra with Applications, volume 25, 2018. (DOI). Publication status: Epub ahead of print
  27. A matrix-less and parallel interpolation–extrapolation algorithm for computing the eigenvalues of preconditioned banded symmetric Toeplitz matrices. Sven-Erik Ekström and Carlo Garoni. In Numerical Algorithms, 2018. (DOI, Fulltext). Publication status: Epub ahead of print
  28. Are the eigenvalues of banded symmetric Toeplitz matrices known in almost closed form?. Sven-Erik Ekström, Carlo Garoni, and Stefano Serra-Capizzano. In Experimental Mathematics, volume 27, 2018. (DOI, fulltext:postprint). Publication status: Epub ahead of print
  29. Eigenvalues and eigenvectors of banded Toeplitz matrices and the related symbols. Sven-Erik Ekström and Stefano Serra-Capizzano. In Numerical Linear Algebra with Applications, volume 25, 2018. (DOI). Publication status: Epub ahead of print
  30. Exact formulæ and matrix-less eigensolvers for block banded symmetric Toeplitz matrices. Sven-Erik Ekström, Isabella Furci, and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2018-005, 2018. (External link).
  31. Matrix-Less Methods for Computing Eigenvalues of Large Structured Matrices. Sven-Erik Ekström. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1652, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image, errata).
  32. Towards Bayesian parametrization of national scale epidemics. Robin Eriksson, Stefan Engblom, and Stefan Widgren. In MATHMOD 2018 Extended Abstracts, pp 65-66, ARGESIM Publisher, Vienna, Austria, 2018. (DOI, Fulltext).
  33. Thematic ranking of object summaries for keyword search. Georgios J. Fakas, Yilun Cai, Zhi Cai, and Nikos Mamoulis. In Data & Knowledge Engineering, volume 113, pp 1-17, 2018. (DOI).
  34. Block generalized locally Toeplitz sequences: From the theory to the applications. Carlo Garoni, Mariarosa Mazza, and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2018-009, 2018. (External link).
  35. Spectral distribution results beyond the algebra generated by variable-coefficient Toeplitz sequences: The GLT approach. Carlo Garoni and Stefano Serra-Capizzano. In Journal of Fourier Analysis and Applications, volume 24, pp 506-524, 2018. (DOI).
  36. The theory of block generalized locally Toeplitz sequences. Carlo Garoni, Stefano Serra-Capizzano, and Debora Sesana. Technical report / Department of Information Technology, Uppsala University nr 2018-001, 2018. (External link).
  37. Femtosecond X-ray Fourier holography imaging of free-flying nanoparticles. Tais Gorkhover, Anatoli Ulmer, Ken Ferguson, Max Bucher, Filipe R.N.C Maia, Johan Bielecki, Tomas Ekeberg, Max F. Hantke, Benedikt J. Daurer, Carl Nettelblad, Jakob Andreasson, Anton Barty, Petr Bruza, Sebastian Carron, Dirk Hasse, Jacek Krzywinski, Daniel S D Larsson, Andrew Morgan, Kerstin Mühlig, Maria Müller, Kenta Okamoto, Alberto Pietrini, Daniela Rupp, Mario Sauppe, Gijs van der Schot, Marvin Seibert, Jonas A. Sellberg, Martin Svenda, Michelle Swiggers, Nicusor Timneanu, Daniel Westphal, Garth Williams, Alessandro Zani, Henry N. Chapman, Gyula Faigel, Thomas Möller, J. Hajdu, and Christoph Bostedt. In Nature Photonics, volume 12, number 3, pp 150-153, 2018. (DOI, External link).
  38. A general high order two-dimensional panel method. Anders Goude and Stefan Engblom. In Applied Mathematical Modelling, volume 60, pp 1-17, 2018. (DOI).
  39. Why do they need to check me?: Patient participation through eHealth and the doctor–patient relationship. Christiane Grünloh, Gunilla Myreteg, Åsa Cajander, and Hanife Rexhepi. In Journal of Medical Internet Research, volume 20, number 1, 2018. (DOI, Fulltext).
  40. <em>TexT</em> – Text extractor tool for handwritten document transcription and annotation. Anders Hast, Per Cullhed, and Ekta Vats. In Digital Libraries and Multimedia Archives, volume 806 of Communications in Computer and Information Science, pp 81-92, Springer, 2018. (DOI).
  41. An intelligent user interface for efficient semi-automatic transcription of historical handwritten documents. Anders Hast and Ekta Vats. In Proc. 23rd International Conference on Intelligent User Interfaces Companion, ACM Press, New York, 2018. (DOI).
  42. Stabilized equal low-order finite elements in ice sheet modeling: accuracy and robustness. Christian Helanow and Josefin Ahlkrona. In Computational Geosciences, volume 22, 2018. (DOI, Fulltext). Publication status: Epub ahead of print
  43. Automatic Detection of Large Extended Data-Race-Free Regions with Conflict Isolation. Alexandra Jimborean, Per Ekemark, Jonatan Waern, Stefanos Kaxiras, and Alberto Ros. In IEEE Transactions on Parallel and Distributed Systems, volume 29, number 3, pp 527-541, IEEE COMPUTER SOC, 2018. (DOI).
  44. Understanding initial undergraduate expectations and identity in computing studies. Päivi Kinnunen, Matthew Butler, Michael Morgan, Aletta Nylén, Anne-Kathrin Peters, Jane Sinclair, Sara Kalvala, and Erkki Pesonen. In European Journal of Engineering Education, volume 43, number 2, pp 201-218, 2018. (DOI).
  45. A word from the editor. Christer Kiselman. In Esperantologio / Esperanto Studies, number 8, pp 8-12, KAVA-PECH, Dobrichovice, 2018.
  46. Aliroj al esperanto. Christer Kiselman, Renato Corsetti, and Probal Dasgupta (eds). KAVA-PECH, Dobrichovice, 2018. (Publishers homepage).
  47. Enkonduko: [Introduction]. Christer Kiselman. In Aliroj al esperanto: [Arriving to Esperanto], pp 5-8, KAVA-PECH, Dobrichovice, 2018.
  48. Esperantologio / Esperanto Studies, Issue 8: Salutvorto de la redaktoro. Christer Kiselman. In Esperantologio / Esperanto Studies, number 8, pp 3-7, KAVA-PECH, Dobrichovice, 2018.
  49. Queue Delegation Locking. David Klaftenegger, Konstantinos Sagonas, and Kjell Winblad. In IEEE Transactions on Parallel and Distributed Systems, volume 29, number 3, pp 687-704, IEEE COMPUTER SOC, 2018. (DOI).
  50. Reasoning about knowledge and messages in asynchronous multi-agent systems. Sophia Knight, Bastien Maubert, and François Schwarzentruber. In Mathematical Structures in Computer Science, volume 28, 2018. (DOI). Publication status: Epub ahead of print
  51. Generalized Newton multi-step iterative methods GMN<sub><em>p,m</em></sub> for solving systems of nonlinear equations. Salima Kouser, Shafiq Ur Rehman, Fayyaz Ahmad, Stefano Serra-Capizzano, Malik Zaka Ullah, Ali Saleh Alshomrani, Hani M. Aljahdali, Shamshad Ahmad, and Shahid Ahmad. In International Journal of Computer Mathematics, volume 95, pp 881-897, 2018. (DOI).
  52. A fast massively parallel two-phase flow solver for microfluidic chip simulation. Martin Kronbichler, Ababacar Diagne, and Hanna Holmgren. In The international journal of high performance computing applications, volume 32, pp 266-287, 2018. (DOI).
  53. On-the-fly computation of frontal orbitals in density matrix expansions. Anastasia Kruchinina, Elias Rudberg, and Emanuel H. Rubensson. In Journal of Chemical Theory and Computation, volume 14, pp 139-153, 2018. (DOI).
  54. Power-performance tradeoffs in data center servers: DVFS, CPU pinning, horizontal, and vertical scaling. Jakub Krzywda, Ahmed Ali-Eldin, Trevor E. Carlson, Per-Olov Östberg, and Erik Elmroth. In Future generations computer systems, volume 81, pp 114-128, ELSEVIER SCIENCE BV, 2018. (DOI).
  55. Orbital volume and shape in Treacher Collins syndrome. Julie Levasseur, Johan Nysjö, Ronak Sandy, Jonathan A. Britto, Nicolas Garcelon, Samer Haber, Arnaud Picard, Pierre Corre, Guillaume A. Odri, and Roman H. Khonsari. In Journal of Cranio-Maxillofacial Surgery, volume 46, number 2, pp 305-311, CHURCHILL LIVINGSTONE, 2018. (DOI).
  56. Phase retrieval via the alternating direction method of multipliers. Junli Liang, Peter Stoica, Yang Jing, and Jian Li. In IEEE Signal Processing Letters, volume 25, number 1, pp 5-9, 2018. (DOI).
  57. A robust structured preconditioner for time-harmonic parabolic optimal control problems. Zhao-Zheng Liang, Owe Axelsson, and Maya Neytcheva. In Numerical Algorithms, 2018. (DOI, Fulltext). Publication status: Epub ahead of print
  58. A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention. Jonatan Lindén and Bengt Jonsson. Technical report / Department of Information Technology, Uppsala University nr 2018-003, 2018.
  59. Synchronization Techniques in Parallel Discrete Event Simulation. Jonatan Lindén. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1634, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  60. Designing for a wearable affective interface for the NAO robot: A study of emotion conveyance by touch. Robert Lowe, Rebecca Andreasson, Beatrice Alenljung, Anja Lund, and Erik Billing. In Multimodal Technologies and Interaction, volume 2, number 1, 2018. (DOI, Fulltext).
  61. High-order numerical methods for 2D parabolic problems in single and composite domains. Gustav Ludvigsson, Kyle R. Steffen, Simon Sticko, Siyang Wang, Qing Xia, Yekaterina Epshteyn, and Gunilla Kreiss. In Journal of Scientific Computing, 2018. (DOI, Fulltext). Publication status: Epub ahead of print
  62. Targeted Property-Based Testing with Applications in Sensor Networks. Andreas Löscher. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 133, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  63. Eliciting strategies in revolutionary design: Exploring the hypothesis of predefined strategy categories. Ida Löscher, Anton Axelsson, Johanna Vännström, and Anders Jansson. In Theoretical Issues in Ergonomics Science, volume 19, number 1, pp 101-117, 2018. (DOI).
  64. The linear noise approximation for spatially dependent biochemical networks. Per Lötstedt. In Bulletin of Mathematical Biology, volume 80, 2018. (DOI, Fulltext). Publication status: Epub ahead of print
  65. Compatible diagonal-norm staggered and upwind SBP operators. Ken Mattsson and Ossian O'Reilly. In Journal of Computational Physics, volume 352, pp 52-75, 2018. (DOI).
  66. Identification of cascade water tanks using a PWARX model. Per Mattsson, Dave Zachariah, and Peter Stoica. In Mechanical systems and signal processing, volume 106, pp 40-48, ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 2018. (DOI).
  67. Radial basis function generated finite differences for option pricing problems. Slobodan Milovanovic and Lina von Sydow. In Computers and Mathematics with Applications, volume 75, pp 1462-1481, 2018. (DOI).
  68. Eddylicious: A Python package for turbulent inflow generation. Timofey Mukha and Mattias Liefvendahl. In SoftwareX, volume 7, pp 112-114, 2018. (DOI, Fulltext).
  69. Accuracy and precision of 3 intraoral scanners and accuracy of conventional impressions: A novel in vivo analysis method. Robert Nedelcu, Pontus Olsson, Ingela Nyström, Jesper Rydén, and Andreas Thor. In Journal of Dentistry, volume 69, pp 110-118, ELSEVIER SCI LTD, 2018. (DOI, Fulltext, fulltext:print).
  70. Finish line distinctness and accuracy in 7 intraoral scanners versus conventional impression: an in vitro descriptive comparison. Robert Nedelcu, Pontus Olsson, Ingela Nyström, and Andreas Thor. In BMC Oral Health, volume 18, 2018. (DOI, Fulltext).
  71. Multidimensional performance and scalability analysis for diverse applications based on system monitoring data. Maya Neytcheva, Sverker Holmgren, Jonathan R. Bull, Ali Dorostkar, Anastasia Kruchinina, Dmitry Nikitenko, Nina Popova, Pavel Shvets, Alexey Teplov, Vadim Voevodin, and Vladimir Voevodin. In Parallel Processing and Applied Mathematics: Part I, volume 10777 of Lecture Notes in Computer Science, pp 417-431, Springer, 2018. (DOI).
  72. Comparison analysis of orbital shape and volume in unilateral fractured orbits. Johanna Nilsson, Johan Nysjö, Anders-Petter Carlsson, and Andreas Thor. In Journal of Cranio-Maxillofacial Surgery, volume 46, number 3, pp 381-387, 2018. (DOI).
  73. Developing a prototyping method for involving children in the design of classroom robots. Mohammad Obaid, Gökc?e Elif Baykal, As?m Evren Yantac?, and Wolmet Barendregt. In International Journal of Social Robotics, volume 10, 2018. (DOI, Fulltext). Publication status: Epub ahead of print
  74. Identification of nonlinear feedback mechanisms operating in closed loop using inertial sensors. Fredrik Olsson, Kjartan Halvorsen, Dave Zachariah, and Per Mattsson. In , volume 51: of IFAC-PapersOnLine, 2018.
  75. Modeling and assessment of human balance and movement disorders using inertial sensors. Fredrik Olsson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2018-003, Uppsala University, 2018. (fulltext).
  76. Students' experience of participation in a discipline: A longitudinal study of computer science and IT engineering students. Anne-Kathrin Peters. In ACM Transactions on Computing Education, 2018. Publication status: Accepted
  77. Coupling atomistic and continuum modelling of magnetism. Mikhail Poluektov, Olle Eriksson, and Gunilla Kreiss. In Computer Methods in Applied Mechanics and Engineering, volume 329, pp 219-253, 2018. (DOI).
  78. Cancer patients' attitudes and experiences of online access to their electronic medical records: A qualitative study. Hanife Rexhepi, Rose-Mharie Åhlfeldt, Åsa Cajander, and Isto Huvila. In Health Informatics Journal, volume 24, number 2, pp 115-124, 2018. (DOI).
  79. Ergo: An open-source program for linear-scaling electronic structure calculations. Elias Rudberg, Emanuel H. Rubensson, Pawel Salek, and Anastasia Kruchinina. In SoftwareX, volume 7, pp 107-111, 2018. (DOI, Fulltext).
  80. Radial basis function methods for the Rosenau equation and other higher order PDEs. Ali Safdari-Vaighani, Elisabeth Larsson, and Alfa Heryudono. In Journal of Scientific Computing, volume 75, pp 1555-1580, 2018. (DOI, Fulltext).
  81. High order cut discontinuous Galerkin methods with local time stepping for acoustics. Svenja Schoeder, Simon Sticko, Martin Kronbichler, and Gunilla Kreiss. In , 2018. Publication status: Submitted
  82. Probabilistic learning of nonlinear dynamical systems using sequential Monte Carlo. Thomas B. Schön, Andreas Svensson, Lawrence Murray, and Fredrik Lindsten. In Mechanical systems and signal processing, volume 104, pp 866-883, ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 2018. (DOI).
  83. Localised Radial Basis Function Methods for Partial Differential Equations. Victor Shcherbakov. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1600, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  84. High Order Cut Finite Element Methods for Wave Equations. Simon Sticko. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1656, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  85. High order cut finite elements for the elastic wave equation. Simon Sticko, Gustav Ludvigsson, and Gunilla Kreiss. In Computing Research Repository, number 1804.00332, 2018. (External link). Publication status: Submitted
  86. Learning of state-space models with highly informative observations: A tempered sequential Monte Carlo solution. Andreas Svensson, Thomas B. Schön, and Fredrik Lindsten. In Mechanical systems and signal processing, volume 104, pp 915-928, ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 2018. (DOI).
  87. Privacy-preserving scheme in social participatory sensing based on Secure Multi-party Cooperation. Ye Tian, Xiong Li, Arun Kumar Sangaiah, Edith Ngai, Zheng Song, Lanshan Zhang, and Wendong Wang. In Computer Communications, volume 119, pp 167-178, 2018. (DOI).
  88. Static instruction scheduling for high performance on energy-efficient processors. Kim-Anh Tran. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2018-001, Uppsala University, 2018. (fulltext).
  89. Static instruction scheduling for high performance on limited hardware. Kim-Anh Tran, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, Vasileios Spiliopoulos, Stefanos Kaxiras, and Alexandra Jimborean. In IEEE Transactions on Computers, volume 67, number 4, pp 513-527, 2018. (DOI).
  90. Enabling Sustainable Networked Embedded Systems. Ambuj Varshney. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1648, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext).
  91. An improved high order finite difference method for non-conforming grid interfaces for the wave equation. Siyang Wang. In Journal of Scientific Computing, 2018. (DOI, Fulltext). Publication status: Epub ahead of print
  92. Convergence of finite difference methods for the wave equation in two space dimensions. Siyang Wang, Anna Nissen, and Gunilla Kreiss. In Mathematics of Computation, volume 87, 2018. (DOI). Publication status: Epub ahead of print
  93. Globally stable wireless data flow control. Torbjörn Wigren and Reem Karaki. In IEEE Transactions on Control of Network Systems, volume 5, number 1, pp 469-478, 2018. (DOI).
  94. Ubiquitous transmission of multimedia sensor data in Internet of Things. Gang Xu, Edith C.-H. Ngai, and Jiangchuan Liu. In IEEE Internet of Things Journal, volume 5, number 1, pp 403-414, 2018. (DOI).
  95. Advances in Task-Based Parallel Programming for Distributed Memory Architectures. Afshin Zafari. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1621, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  96. Distributed dynamic load balancing for task parallel programming. Afshin Zafari and Elisabeth Larsson. In Computing Research Repository, number 1801.04582, 2018. (External link). Publication status: Submitted
  97. DuctTeip: An efficient programming model for distributed task based parallel computing. Afshin Zafari, Elisabeth Larsson, and Martin Tillenius. In Computing Research Repository, number 1801.03578, 2018. (External link). Publication status: Submitted
  98. Task parallel implementation of a solver for electromagnetic scattering problems. Afshin Zafari, Elisabeth Larsson, Marco Righero, M. Alessandro Francavilla, Giorgio Giordanengo, Francesca Vipiana, and Giuseppe Vecchi. In Computing Research Repository, number 1801.03589, 2018. (External link). Publication status: Submitted
  99. TaskUniVerse: A Task-Based Unified Interface for Versatile Parallel Execution. Afshin Zafari. In Parallel Processing and Applied Mathematics: Part I, volume 10777 of Lecture Notes in Computer Science, pp 169-184, Springer, 2018. (DOI, fulltext:postprint).
  100. Dependency- and similarity-aware caching for HTTP adaptive streaming. Cong Zhang, Jiangchuan Liu, Fei Chen, Yong Cui, Edith C.-H. Ngai, and Yuemin Hu. In Multimedia tools and applications, volume 77, number 1, pp 1453-1474, 2018. (DOI).
  101. Quantitative image analysis of protein expression and colocalisation in skin sections. Hanqian Zhang, Maja Ericsson, Marie Virtanen, Simone Weström, Carolina Wählby, Anders Vahlquist, and Hans Törmä. In Experimental dermatology, volume 27, number 2, pp 196-199, 2018. (DOI).
  102. Caches, Transactions and Memories: Models, Coherence and Consistency. Yunyun Zhu. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1665, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  103. Announcement as effort on topological spaces. Hans van Ditmarsch, Sophia Knight, and Aybüke Özgün. In Synthese, volume 195, 2018. (DOI, Fulltext). Publication status: Epub ahead of print
  104. Private announcements on topological spaces. Hans van Ditmarsch, Sophia Knight, and Aybüke Özgün. In Studia Logica: An International Journal for Symbolic Logic, volume 106, number 3, pp 481-513, 2018. (DOI, Fulltext).
  105. Probabilistic forecasting of electricity consumption, photovoltaic power generation and net demand of an individual building using Gaussian Processes. Dennis W. van der Meer, Mahmoud Shepero, Andreas Svensson, Joakim Widén, and Joakim Munkhammar. In Applied Energy, volume 213, pp 195-207, 2018. (DOI).

Updated  2017-12-30 15:37:16 by Kurt Otto.