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 2018, 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, and 1999 are also available.

  1. 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, volume 78, pp 867-893, 2018. (DOI, Fulltext).
  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. Dynamically Disabling Way-prediction to Reduce Instruction Replay. Ricardo Alves, Stefanos Kaxiras, and David Black-Schaffer. In , 2018.
  6. 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).
  7. 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
  8. Sound conformance testing for cyber-physical systems: Theory and implementation. Hugo Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, and Augusto Sampaio. In Science of Computer Programming, volume 162, pp 35-54, ELSEVIER SCIENCE BV, 2018. (DOI, Fulltext, fulltext:print).
  9. 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, pp 1119-1151, 2018. (DOI, Fulltext).
  10. 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).
  11. BAMSI: a multi-cloud service for scalable distributed filtering of massive genome data. Kristiina Ausmees, Aji John, Salman Z. Toor, Andreas Hellander, and Carl Nettelblad. In BMC Bioinformatics, volume 19, pp 240:1-11, 2018. (DOI, Fulltext).
  12. On the importance of mental time frames: A case for the need of empirical methods to investigate adaptive expertise. Anton Axelsson and Anders A. Jansson. In Journal of Applied Research in Memory and Cognition, volume 7, number 1, pp 51-59, 2018. (DOI).
  13. 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).
  14. 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).
  15. 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).
  16. 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).
  17. Multiscale modelling via split-step methods in neural firing. Pavol Bauer, Stefan Engblom, Sanja Mikulovic, and Aleksandar Senek. In Mathematical and Computer Modelling of Dynamical Systems, volume 24, pp 409-425, 2018. (DOI, Fulltext).
  18. 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).
  19. Preconditioned smoothers for the Full Approximation Scheme for the RANS equations. Philipp Birken, Jonathan Bull, and Antony Jameson. In Journal of Scientific Computing, 2018. (DOI, Fulltext). Publication status: Epub ahead of print
  20. Language and teaching ethics. Ingrid Björk and Iordanis Kavathatzopoulos. In , 2018. (External link).
  21. The Scarcity of Universal Colour Names. Gunilla Borgefors. In Proceedings of 7th International Conference on Pattern Recognition Applications and Methods, pp 496-502, 2018.
  22. Medical records online for patients and effects on the work environment of nurses. Åsa Cajander, Jonas Moll, Sara Englund, and Anastasia Hansman. In Building Continents of Knowledge in Oceans of Data: The Future of Co-Created eHealth, volume 247 of Studies in Health Technology and Informatics, pp 271-275, IOS Press, Amsterdam, The Netherlands, 2018. (DOI, Fulltext).
  23. Software engineering with conflicting user needs: Patient accessible electronic patient records. Åsa Cajander. In Proc. International Workshop on Software Engineering in Healthcare Systems, pp 1-1, ACM Press, New York, 2018. (DOI).
  24. Using data for better cancer treatments. Åsa Cajander, Christiane Grünloh, and Jonas Moll. In Care for Cancer, pp 34-37, Uppsala University, 2018. (fulltext:print).
  25. Coherent modulation of the sea-level annual cycle in the United States by Atlantic Rossby waves. Francisco M. Calafat, Thomas Wahl, Fredrik Lindsten, Joanne Williams, and Eleanor Frajka-Williams. In Nature Communications, volume 9, NATURE PUBLISHING GROUP, 2018. (DOI, Fulltext, fulltext:print).
  26. Bestow and Atomic: Concurrent programming using isolation, delegation and grouping. Elias Castegren, Joel Wallin, and Tobias Wrigstad. In The Journal of logical and algebraic methods in programming, volume 100, pp 130-151, 2018. (DOI).
  27. 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).
  28. OOlong: An Extensible Concurrent Object Calculus. Elias Castegren and Tobias Wrigstad. In , pp 1-8, 2018. (DOI, fulltext:postprint).
  29. 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).
  30. Behind the Scenes: Memory Analysis of Graphical Workloads on Tile-based GPUs. Germán Ceballos, Andreas Sembrant, Trevor E. Carlson, and David Black-Schaffer. In 2018 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), Belfast, UK, 2018. (DOI, External link).
  31. 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).
  32. 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).
  33. 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).
  34. 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).
  35. 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, pp 2964-2971, American Automatic Control Council, 2018. (DOI).
  36. 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).
  37. 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).
  38. Tracking the NGS revolution: managing life science research on shared high-performance computing clusters. Martin Dahlö, Douglas Scofield, Wesley Schaal, and Ola Spjuth. In GigaScience, volume 7, number 5, 2018. (DOI, Fulltext, fulltext:print).
  39. 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, number 3, pp 725-734, 2018. (DOI).
  40. Cost-Optimal Caching for D2D Networks With User Mobility: Modeling, Analysis, and Computational Approaches. Tao Deng, Ghafour Ahani, Pingzhi Fan, and Di Yuan. In IEEE Transactions on Wireless Communications, volume 17, number 5, pp 3082-3094, 2018. (DOI).
  41. ACM SIGCHI/EIT health summer school on user-centered design in e-Health. Gavin Doherty, Åsa Cajander, Jan Gulliksen, and Conor Linehan. In interactions, volume 25, number 3, pp 87-87, 2018. (DOI).
  42. 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, pp e2151:1-31, 2018. (DOI).
  43. 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
  44. 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
  45. Are the eigenvalues of the B-spline isogeometric analysis approximation of ?<em>?u</em> = <em>?u</em> known in almost closed form?. Sven-Erik Ekström, Isabella Furci, Carlo Garoni, Carla Manni, Stefano Serra-Capizzano, and Hendrik Speleers. In Numerical Linear Algebra with Applications, volume 25, pp e2198:1-34, 2018. (DOI).
  46. Eigenvalue isogeometric approximations based on B-splines: Tools and results. Sven-Erik Ekström and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2018-012, 2018. (External link).
  47. 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, pp e2137:1-17, 2018. (DOI).
  48. 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).
  49. Exact formulæ and matrix-less eigensolvers for block banded symmetric Toeplitz matrices. Sven-Erik Ekström, Isabella Furci, and Stefano Serra-Capizzano. In BIT Numerical Mathematics, volume 58, 2018. (DOI, Fulltext). Publication status: Epub ahead of print
  50. 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).
  51. Mesoscopic modeling of random walk and reactions in crowded media. Stefan Engblom, Per Lötstedt, and Lina Meinecke. In Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volume 98, pp 033304:1-16, 2018. (DOI).
  52. Scalable population-level modelling of biological cells incorporating mechanics and kinetics in continuous time. Stefan Engblom, Daniel B. Wilson, and Ruth E. Baker. In Royal Society Open Science, volume 5, pp 180379:1-17, 2018. (DOI, Fulltext).
  53. Stochastic simulation of pattern formation in growing tissue: A multilevel approach. Stefan Engblom. In Bulletin of Mathematical Biology, volume 80, 2018. (DOI, Fulltext). Publication status: Epub ahead of print
  54. 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).
  55. 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).
  56. Avoiding an IoT  "Tragedy of the Commons". Laura Marie Feeney and Per Gunningberg. In Proc. 16th International Conference on Mobile Systems, Applications, and Services, pp 495-497, ACM Press, New York, 2018. (DOI).
  57. Forward to a Promising Future. Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, and Huu-Phuc Vo. In Conference proceedings COORDINATION 2018, 2018. (fulltext:preprint).
  58. Correctness of a concurrent object collector for actor languages. Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, and Tobias Wrigstad. In Programming Languages and Systems, volume 10801 of Lecture Notes in Computer Science, pp 885-911, Springer, 2018. (DOI, Fulltext).
  59. Safely Abstracting Memory Layouts. Juliana Franco, Alexandros Tasos, Sophia Drossopoulou, Tobias Wrigstad, and Susan Eisenbach. In 20th Workshop on Formal Techniques for Java-like Programs, 2018.
  60. Modeling global competencies for computing education. Stephen Frezza, Arnold Pears, Mats Daniels, Viggo Kann, Amanpreet Kapoor, Roger McDermott, Anne-Kathrin Peters, Charles Wallace, Mihaela Sabin, and Åsa Cajander. In Proc. 23rd Conference on Innovation and Technology in Computer Science Education, pp 348-349, ACM Press, New York, 2018. (DOI).
  61. 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).
  62. 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).
  63. 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).
  64. Effective slip over partially filled microcavities and its possible failure. Zhouyang Ge, Hanna Holmgren, Martin Kronbichler, Luca Brandt, and Gunilla Kreiss. In Physical Review Fluids, volume 3, pp 054201:1-17, 2018. (DOI).
  65. 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, Janos Hajdu, and Christoph Bostedt. In Nature Photonics, volume 12, pp 150-153, 2018. (DOI).
  66. A general high order two-dimensional panel method. Anders Goude and Stefan Engblom. In Applied Mathematical Modelling, volume 60, pp 1-17, 2018. (DOI).
  67. 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).
  68. Ground surface temperature reconstruction for the last 500 years obtained from permafrost temperatures observed in the Share Stelvio borehole, Italian Alps. Mauro Guglielmin, Marco Donatelli, Matteo Semplice, and Stefano Serra Capizzano. In Climate of the Past, volume 14, pp 709-724, 2018. (DOI, Fulltext).
  69. <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).
  70. A fast Fourier based feature descriptor and a cascade nearest neighbour search with an efficient matching pipeline for mosaicing of microscopy images. Anders Hast, Victoria A. Sablina, Ida-Maria Sintorn, and Gustaf Kylberg. In Pattern Recognition and Image Analysis, volume 28, number 2, pp 261-272, 2018. (DOI).
  71. 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).
  72. Radial line Fourier descriptor for historical handwritten text representation. Anders Hast and Ekta Vats. In Proc. 26th International Conference on Computer Graphics: Visualization and Computer Vision, 2018. (Proceedings).
  73. Radial line Fourier descriptor for historical handwritten text representation. Anders Hast and Ekta Vats. In Journal of WSCG, volume 26, number 1, pp 31-40, 2018. (DOI).
  74. Stabilized equal low-order finite elements in ice sheet modeling: accuracy and robustness. Christian Helanow and Josefin Ahlkrona. In Computational Geosciences, volume 22, pp 951-974, 2018. (DOI, Fulltext).
  75. Buffer State is Enough: Simplifying the Design of QoE-Aware HTTP Adaptive Video Streaming. Weiwei Huang, Yipeng Zhou, Xueyan Xie, Di Wu, Min Chen, and Edith Ngai. In IEEE transactions on broadcasting, volume 64, number 2, pp 590-601, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2018. (DOI).
  76. How students get going: Triggers for students' learning in project-based education. Ville Isomöttönen and Aletta Nylén. In Proc. 23rd Conference on Innovation and Technology in Computer Science Education, pp 117-122, ACM Press, New York, 2018. (DOI).
  77. 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).
  78. Individualization of levodopa treatment using a microtablet dispenser and ambulatory accelerometry. Dongni Johansson, Anders Ericsson, Anders Johansson, Alexander Medvedev, Dag Nyholm, Fredrik Ohlsson, Marina Senek, Jack Spira, Ilias Thomas, Jerker Westin, and Filip Bergquist. In CNS Neuroscience & Therapeutics, volume 24, number 5, pp 439-447, 2018. (DOI).
  79. Adaptive robotic tutors that support self-regulated learning: A longer-term investigation with primary school children. Aidan Jones and Ginevra Castellano. In International Journal of Social Robotics, volume 10, number 3, pp 357-370, 2018. (DOI, Fulltext).
  80. AI and philosophizing. Iordanis Kavathatzopoulos. In , 2018.
  81. AI as gadfly. Iordanis Kavathatzopoulos. In Wabi-Sabi: Imperfection, incompleteness and impermanence in Organisational Life, pp 150-150, 2018. (External link, Book of abstracts).
  82. Philosophy as the Road to Good ICT. Iordanis Kavathatzopoulos and Ryoko Asai. In This Changes Everything – ICT and Climate Change: What Can We Do?, volume 537 of IFIP AICT, pp 293-298, Springer, 2018. (DOI).
  83. Non-Speculative Load Reordering in Total Store Ordering. Stefanos Kaxiras, Trevor E. Carlson, Mehdi Alipour, and Alberto Ros. In IEEE Micro, volume 38, number 3, pp 48-57, IEEE COMPUTER SOC, 2018. (DOI).
  84. 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).
  85. A word from the editor. Christer Kiselman. In Esperantologio / Esperanto Studies, number 8, pp 8-12, KAVA-PECH, Dobrichovice, 2018.
  86. Aliroj al esperanto. Christer Kiselman, Renato Corsetti, and Probal Dasgupta (eds). KAVA-PECH, Dobrichovice, 2018. (Publishers homepage).
  87. Enkonduko: [Introduction]. Christer Kiselman. In Aliroj al esperanto: [Arriving to Esperanto], pp 5-8, KAVA-PECH, Dobrichovice, 2018.
  88. Esperantologio / Esperanto Studies, Issue 8: Salutvorto de la redaktoro. Christer Kiselman. In Esperantologio / Esperanto Studies, number 8, pp 3-7, KAVA-PECH, Dobrichovice, 2018.
  89. 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).
  90. Automating regression verification of pointer programs by predicate abstraction. Vladimir Klebanov, Philipp Rümmer, and Mattias Ulbrich. In Formal methods in system design, volume 52, number 3, pp 229-259, 2018. (DOI).
  91. 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
  92. 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).
  93. 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).
  94. 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).
  95. 50 years of software engineering: Challenges, results, and opportunities in its education. Stephan Krusche, Bruce Scharlau, Åsa Cajander, and Janet Hughes. In Proc. 23rd Conference on Innovation and Technology in Computer Science Education, pp 362-363, ACM Press, New York, 2018. (DOI).
  96. 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).
  97. Localization of lung fields in HRCT images using a deep convolution neural network. Abhishek Kumar, Sunita Agarwala, Ashis Kumar Dhara, Sudipta Mukhopadhyay, Debashis Nandi, Mandeep Garg, Niranjan Khandelwal, and Naveen Kalra. In Medical Imaging 2018: Computer-Aided Diagnosis, volume 10575 of Proc. SPIE, pp 1057535:1-8, Bellingham, WA, 2018. (DOI).
  98. 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).
  99. 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).
  100. 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
  101. 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.
  102. Fine-grained local dynamic load balancing in PDES. Jonatan Lindén, Pavol Bauer, Stefan Engblom, and Bengt Jonsson. In Proc. 6th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp 201-212, ACM Press, New York, 2018. (DOI).
  103. 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).
  104. Precision study on augmented reality-based visual guidance for facility management tasks. Fei Liu and Stefan Seipel. In Automation in Construction, volume 90, pp 79-90, 2018. (DOI, Fulltext).
  105. Assessing uncertainties in x-ray single-particle three-dimensional reconstruction. Jing Liu, Stefan Engblom, and Carl Nettelblad. In Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volume 98, pp 013303:1-12, 2018. (DOI).
  106. 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).
  107. 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, volume 76, pp 812-847, 2018. (DOI, Fulltext).
  108. Considerations for three-dimensional image reconstruction from experimental data in coherent diffractive imaging. Ida V. Lundholm, Jonas A. Sellberg, Tomas Ekeberg, Max F. Hantke, Kenta Okamoto, Gijs van der Schot, Jakob Andreasson, Anton Barty, Johan Bielecki, Petr Bruza, Max Bucher, Sebastian Carron, Benedikt J. Daurer, Ken Ferguson, Dirk Hasse, Jacek Krzywinski, Daniel S. D. Larsson, Andrew Morgan, Kerstin Mühlig, Maria Müller, Carl Nettelblad, Alberto Pietrini, Hemanth K. N. Reddy, Daniela Rupp, Mario Sauppe, Marvin Seibert, Martin Svenda, Michelle Swiggers, Nicusor Timneanu, Anatoli Ulmer, Daniel Westphal, Garth Williams, Alessandro Zani, Gyula Faigel, Henry N. Chapman, Thomas Möller, Christoph Bostedt, Janos Hajdu, Tais Gorkhover, and Filipe R. N. C. Maia. In IUCrJ, volume 5, pp 531-541, 2018. (DOI, Fulltext).
  109. 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).
  110. 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).
  111. 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
  112. An improved projection method. Ken Mattsson and Pelle Olsson. In Journal of Computational Physics, volume 372, pp 349-372, 2018. (DOI).
  113. Boundary optimized diagonal-norm SBP operators. Ken Mattsson, Martin Almquist, and Edwin van der Weide. In Journal of Computational Physics, volume 374, pp 1261-1266, 2018. (DOI).
  114. 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).
  115. Simulation of acoustic and flexural-gravity waves in ice-covered oceans. Ken Mattsson, Eric M. Dunham, and Jonatan Werpers. In Journal of Computational Physics, volume 373, pp 230-252, 2018. (DOI).
  116. 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).
  117. Recursive nonlinear-system identification using latent variables. Per Mattsson, Dave Zachariah, and Petre Stoica. In Automatica, volume 93, pp 343-351, PERGAMON-ELSEVIER SCIENCE LTD, 2018. (DOI).
  118. Pricing financial derivatives using radial basis function generated finite differences with polyharmonic splines on smoothly varying node layouts. Slobodan Milovanovi?. In Computing Research Repository, number 1808.02365, 2018. (External link). Publication status: Submitted
  119. Radial Basis Function generated Finite Difference Methods for Pricing of Financial Derivatives. Slobodan Milovanovi?. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1702, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  120. Radial basis function generated finite differences for option pricing problems. Slobodan Milovanovi? and Lina von Sydow. In Computers and Mathematics with Applications, volume 75, pp 1462-1481, 2018. (DOI).
  121. A library for wall-modelled large-eddy simulation based on OpenFOAM technology. Timofey Mukha, Saleh Rezaeiravesh, and Mattias Liefvendahl. In Computer Physics Communications, 2018. (External link). Publication status: Submitted
  122. Eddylicious: A Python package for turbulent inflow generation. Timofey Mukha and Mattias Liefvendahl. In SoftwareX, volume 7, pp 112-114, 2018. (DOI, Fulltext).
  123. Effect of wall-stress model and mesh-cell topology on the predictive accuracy of LES for wall-bounded flows. Timofey Mukha, Mattias Johansson, and Mattias Liefvendahl. In Proc. 7th European Conference on Computational Fluid Dynamics, European Community on Computional Methods in Applied Sciences (ECCOMAS), 2018.
  124. Modelling Techniques for Large-Eddy Simulation of Wall-Bounded Turbulent Flows. Timofey Mukha. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1697, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  125. Turbulucid: A Python package for post-processing of fluid flow simulations. Timofey Mukha. In Journal of Open Research Software, 2018. (External link). Publication status: Submitted
  126. 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).
  127. 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).
  128. 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).
  129. Optimal Stateless Model Checking under the Release-Acquire Semantics. Tuan-Phong Ngo, Parosh Abdulla, Bengt Jonsson, and Mohamed Faouzi Atig. In SPLASH OOPSLA 2018, Boston, Nov 4-9, 2018, 2018. (External link).
  130. 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).
  131. 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, number 2, pp 279-291, Springer, 2018. (DOI, Fulltext).
  132. 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.
  133. 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).
  134. Robustness in low power wide area networks. Charalampos Orfanidis. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2018-004, Uppsala University, 2018. (fulltext).
  135. On the Complex Relationship Between ICT Systems and the Planet. Norberto Patrignani and Iordanis Kavathatzopoulos. In This Changes Everything –ICT and Climate Change: What Can We Do?, volume 537 of IFIP AICT, pp 181-187, Springer, 2018. (DOI).
  136. 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
  137. Using convex optimization of autocorrelation with constrained support and windowing for improved phase retrieval accuracy. Alberto Pietrini and Carl Nettelblad. In Optics Express, volume 26, pp 24422-24443, 2018. (DOI, Fulltext).
  138. 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).
  139. 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).
  140. A-priori study of wall modeling in large eddy simulation. Saleh Rezaeiravesh, Timofey Mukha, and Mattias Liefvendahl. In Proc. 7th European Conference on Computational Fluid Dynamics, European Community on Computional Methods in Applied Sciences (ECCOMAS), 2018.
  141. Assessment of uncertainties in hot-wire anemometry and oil-film interferometry measurements for wall-bounded turbulent flows. Saleh Rezaeiravesh, Ricardo Vinuesa, Mattias Liefvendahl, and Philipp Schlatter. In European journal of mechanics. B, Fluids, volume 72, pp 57-73, 2018. (DOI).
  142. Effect of grid resolution on large eddy simulation of wall-bounded turbulence. Saleh Rezaeiravesh and Mattias Liefvendahl. In Physics of fluids, volume 30, pp 055106:1-22, 2018. (DOI).
  143. 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).
  144. High-fidelity sound propagation in a varying 3D atmosphere. Ylva Rydin, Ken Mattsson, and Jonatan Werpers. In Journal of Scientific Computing, 2018. (DOI, Fulltext). Publication status: Epub ahead of print
  145. 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).
  146. A contention adapting approach to concurrent ordered sets. Konstantinos Sagonas and Kjell Winblad. In Journal of Parallel and Distributed Computing, volume 115, pp 1-19, ACADEMIC PRESS INC ELSEVIER SCIENCE, 2018. (DOI).
  147. 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
  148. 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).
  149. 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).
  150. Uniprocessor scheduling of real-time synchronous dataflow tasks. Abhishek Singh, Pontus Ekberg, and Sanjoy Baruah. In Real-time systems, 2018. (DOI). Publication status: Epub ahead of print
  151. Learning surrogate models of document image quality metrics for automated document image processing. Prashant Singh, Ekta Vats, and Anders Hast. In Proc. 13th IAPR Workshop on Document Analysis Systems, pp 67-72, IEEE, 2018. (DOI).
  152. 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).
  153. 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
  154. Learning nonlinear state-space models using smooth particle-filter-based likelihood approximations. Andreas Svensson, Fredrik Lindsten, and Thomas B. Schön. In Proceedings of the 18th IFAC symposium on system identification, pp 652-657, 2018.
  155. 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).
  156. Machine learning with state-space models, Gaussian processes and Monte Carlo methods. Andreas Svensson. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1709, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  157. Extending SHAPES for SIMD Architectures – An approach to native support for Struct of Arrays in languages. Alexandros Tasos, Juliana Franco, Tobias Wrigstad, Sophia Drossopoulou, and Susan Eisenbach. In 13th Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Workshop, 2018.
  158. 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).
  159. A finite difference method for earthquake sequences in poroelastic solids. Kim Torberntsson, Vidar Stiernström, Ken Mattsson, and Eric M. Dunham. In Computational Geosciences, volume 22, pp 1351-1370, 2018. (DOI).
  160. 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).
  161. 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).
  162. 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).
  163. Extracting script features from a large corpus of handwritten documents. Ekta Vats, Anders Hast, and Lasse Mårtensson. In Digital Humanities in the Nordic Countries 3rd Conference: Book of Abstracts, 2018. (Abstracts).
  164. 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
  165. 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, number 314, pp 2737-2763, 2018. (DOI).
  166. Spatio-temporal modelling of verotoxigenic <em>Escherichia coli</em> O157 in cattle in Sweden: exploring options for control. Stefan Widgren, Stefan Engblom, Ulf Emanuelson, and Ann Lindberg. In Veterinary research (Print), volume 49, pp 78:1-13, 2018. (DOI, Fulltext).
  167. 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).
  168. Dynamic Adaptations of Synchronization Granularity in Concurrent Data Structures. Kjell Winblad. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1684, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  169. Lock-free Contention Adapting Search Trees. Kjell Winblad, Konstantinos Sagonas, and Bengt Jonsson. In The 30th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2018, New York, NY, USA, 2018. (DOI).
  170. 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).
  171. Robustification of the synchronous mode in a hybrid observer for a continuous system under an intrinsic pulse-modulated feedback. Diana Yamalova and Alexander Medvedev. In Proc. 16th European Control Conference, pp 107-112, IEEE, 2018. (fulltext:print).
  172. Worst-Case Prediction Performance Analysis of the Kalman Filter. Sholeh Yasini and Kristiaan Pelckmans. In IEEE Transactions on Automatic Control, volume 63, number 6, pp 1768-1775, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2018. (DOI).
  173. 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).
  174. 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
  175. 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
  176. 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
  177. 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).
  178. 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).
  179. 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).
  180. 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).
  181. 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
  182. 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).
  183. 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).
  184. Practical thinking while programming: A Deweyan approach to knowledge in Computer Science. Kristina von Hausswolff. In Proc. 14th International Computing Education Research Conference, pp 268-269, ACM Press, New York, 2018. (DOI).
  185. Parallel Programming With Arrays in Kappa. Beatrice Åkerblom, Elias Castegren, and Tobias Wrigstad. In 5th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, 2018.

Updated  2018-09-20 16:38:11 by Roland Grönroos.