Institutionen för informationsteknologi

Publikationer från institutionen för informationsteknologi

Serier

Vi publicerar tekniska rapporter och licentiatavhandlingar i lokala serier. Våra doktorsavhandlingar är tillgängliga genom Enheten för digital publicering vid Uppsala Universitet.

Sök andra publikationer

För att söka efter andra publikationer,

Publikationer i år

Listorna nedan visar de publikationer som är registrerade i universitetets digitala arkiv DiVA och markerats som hörande till institutionen. Listorna innehåller inte säkert alla publikationer av författare/redaktörer vid vår institution. (När du publicerar i DiVA, använd lathunden för att fylla i rätt.)

På denna sida hittar du innevarande års publikationer. Listor för 2018, 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000 och 1999 finns separat.

  1. A load-buffer semantics for total store ordering. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani och Tuan Phong Ngo. I Logical Methods in Computer Science, volym 14, nummer 1, 2018. (Extern länk).
  2. Mending fences with self-invalidation and self-downgrade. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros och Yunyun Zhu. I Logical Methods in Computer Science, volym 14, nummer 1, 2018. (Extern länk).
  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 och Stefano Serra-Capizzano. I Numerical Algorithms, volym 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 och Ola Spjuth. I Journal of Cheminformatics, volym 10, 2018. (DOI, Fulltext, fulltext:print).
  5. Dynamically Disabling Way-prediction to Reduce Instruction Replay. Ricardo Alves, Stefanos Kaxiras och David Black-Schaffer. I , 2018.
  6. Forward deterministic pricing of options using Gaussian radial basis functions. Jamal Amani Rad, Josef Höök, Elisabeth Larsson och Lina von Sydow. I Journal of Computational Science, volym 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 och Robert Lowe. I International Journal of Social Robotics, volym 10, 2018. (DOI, Fulltext). Publikationsstatus: Epub ahead of print
  8. Sound conformance testing for cyber-physical systems: Theory and implementation. Hugo Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi och Augusto Sampaio. I Science of Computer Programming, volym 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 och Gunilla Kreiss. I Advances in Computational Mathematics, volym 44, pp 1119-1151, 2018. (DOI, Fulltext).
  10. Effective Techniques for Stateless Model Checking. Stavros Aronis. Doktorsavhandling, 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 och Carl Nettelblad. I BMC Bioinformatics, volym 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 och Anders A. Jansson. I Journal of Applied Research in Memory and Cognition, volym 7, nummer 1, pp 51-59, 2018. (DOI).
  13. An efficient preconditioning method for state box-constrained optimal control problems. Owe Axelsson, Maya Neytcheva och Anders Ström. Technical report / Department of Information Technology, Uppsala University nr 2018-008, 2018. (Extern länk).
  14. Preconditioners for two-by-two block matrices with square blocks. Owe Axelsson och Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2018-010, 2018. (Extern länk).
  15. Non-Hermitian perturbations of Hermitian matrix-sequences and applications to the spectral analysis of approximated PDEs. Giovanni Barbarino och Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2018-004, 2018. (Extern länk).
  16. Efficient Green's function reaction dynamics (GFRD) simulations for diffusion-limited, reversible reactions. Zahedeh Bashardanesh och Per Lötstedt. I Journal of Computational Physics, volym 357, pp 78-99, 2018. (DOI).
  17. Multiscale modelling via split-step methods in neural firing. Pavol Bauer, Stefan Engblom, Sanja Mikulovic och Aleksandar Senek. I Mathematical and Computer Modelling of Dynamical Systems, volym 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 och Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2018-002, 2018. (Extern länk).
  19. Preconditioned smoothers for the Full Approximation Scheme for the RANS equations. Philipp Birken, Jonathan Bull och Antony Jameson. I Journal of Scientific Computing, 2018. (DOI, Fulltext). Publikationsstatus: Epub ahead of print
  20. Language and teaching ethics. Ingrid Björk och Iordanis Kavathatzopoulos. I , 2018. (Extern länk).
  21. The Scarcity of Universal Colour Names. Gunilla Borgefors. I 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 och Anastasia Hansman. I Building Continents of Knowledge in Oceans of Data: The Future of Co-Created eHealth, volym 247 av 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. I 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 och Jonas Moll. I 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 och Eleanor Frajka-Williams. I Nature Communications, volym 9, NATURE PUBLISHING GROUP, 2018. (DOI, Fulltext, fulltext:print).
  26. Bestow and Atomic: Concurrent programming using isolation, delegation and grouping. Elias Castegren, Joel Wallin och Tobias Wrigstad. I The Journal of logical and algebraic methods in programming, volym 100, pp 130-151, 2018. (DOI).
  27. Capability-Based Type Systems for Concurrency Control. Elias Castegren. Doktorsavhandling, 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 och Tobias Wrigstad. I , pp 1-8, 2018. (DOI, fulltext:postprint).
  29. Analyzing performance variation of task schedulers with TaskInsight. Germán Ceballos, Thomas Grass, Andra Hugo och David Black-Schaffer. I Parallel Computing, volym 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 och David Black-Schaffer. I 2018 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), Belfast, UK, 2018. (DOI, Extern länk).
  31. Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks. Gang Chen, Nan Guan, Di Liu, Qingqiang He, Kai Huang, Todor Stefanov och Yi Wang. I I.E.E.E. transactions on computers (Print), volym 67, nummer 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 och Stefano Serra-Capizzano. I Journal of Scientific Computing, volym 74, pp 1034-1059, 2018. (DOI).
  33. Pathwise error bounds in multiscale variable splitting methods for spatial stochastic kinetics. Augustin Chevallier och Stefan Engblom. I SIAM Journal on Numerical Analysis, volym 56, pp 469-498, 2018. (DOI).
  34. Ammonium based aeration control in wastewater treatment plants: Modelling and controller design. Tatiana Chistiakova. Licentiatavhandling, 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 och Bengt Carlsson. I 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. Doktorsavhandling, 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 och Alexander Medvedev. I IEEE transactions on neural systems and rehabilitation engineering, volym 26, nummer 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 och Ola Spjuth. I GigaScience, volym 7, nummer 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 och Peter Stoica. I IEEE Journal of Oceanic Engineering, volym 43, nummer 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 och Di Yuan. I IEEE Transactions on Wireless Communications, volym 17, nummer 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 och Conor Linehan. I interactions, volym 25, nummer 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 och Maurizio Tavelli. I Numerical Linear Algebra with Applications, volym 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 och Carlo Garoni. I Numerical Algorithms, 2018. (DOI, Fulltext). Publikationsstatus: Epub ahead of print
  44. Are the eigenvalues of banded symmetric Toeplitz matrices known in almost closed form?. Sven-Erik Ekström, Carlo Garoni och Stefano Serra-Capizzano. I Experimental Mathematics, volym 27, 2018. (DOI, fulltext:postprint). Publikationsstatus: 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 och Hendrik Speleers. I Numerical Linear Algebra with Applications, volym 25, pp e2198:1-34, 2018. (DOI).
  46. Eigenvalue isogeometric approximations based on B-splines: Tools and results. Sven-Erik Ekström och Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2018-012, 2018. (Extern länk).
  47. Eigenvalues and eigenvectors of banded Toeplitz matrices and the related symbols. Sven-Erik Ekström och Stefano Serra-Capizzano. I Numerical Linear Algebra with Applications, volym 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 och Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2018-005, 2018. (Extern länk).
  49. Exact formulæ and matrix-less eigensolvers for block banded symmetric Toeplitz matrices. Sven-Erik Ekström, Isabella Furci och Stefano Serra-Capizzano. I BIT Numerical Mathematics, volym 58, 2018. (DOI, Fulltext). Publikationsstatus: Epub ahead of print
  50. Matrix-Less Methods for Computing Eigenvalues of Large Structured Matrices. Sven-Erik Ekström. Doktorsavhandling, 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 och Lina Meinecke. I Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volym 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 och Ruth E. Baker. I Royal Society Open Science, volym 5, pp 180379:1-17, 2018. (DOI, Fulltext).
  53. Stochastic simulation of pattern formation in growing tissue: A multilevel approach. Stefan Engblom. I Bulletin of Mathematical Biology, volym 80, 2018. (DOI, Fulltext). Publikationsstatus: Epub ahead of print
  54. Towards Bayesian parametrization of national scale epidemics. Robin Eriksson, Stefan Engblom och Stefan Widgren. I 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 och Nikos Mamoulis. I Data & Knowledge Engineering, volym 113, pp 1-17, 2018. (DOI).
  56. Avoiding an IoT  "Tragedy of the Commons". Laura Marie Feeney och Per Gunningberg. I 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 och Huu-Phuc Vo. I 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 och Tobias Wrigstad. I Programming Languages and Systems, volym 10801 av 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 och Susan Eisenbach. I 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 och Åsa Cajander. I 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 och Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2018-009, 2018. (Extern länk).
  62. Spectral distribution results beyond the algebra generated by variable-coefficient Toeplitz sequences: The GLT approach. Carlo Garoni och Stefano Serra-Capizzano. I Journal of Fourier Analysis and Applications, volym 24, pp 506-524, 2018. (DOI).
  63. The theory of block generalized locally Toeplitz sequences. Carlo Garoni, Stefano Serra-Capizzano och Debora Sesana. Technical report / Department of Information Technology, Uppsala University nr 2018-001, 2018. (Extern länk).
  64. Effective slip over partially filled microcavities and its possible failure. Zhouyang Ge, Hanna Holmgren, Martin Kronbichler, Luca Brandt och Gunilla Kreiss. I Physical Review Fluids, volym 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 och Christoph Bostedt. I Nature Photonics, volym 12, pp 150-153, 2018. (DOI).
  66. A general high order two-dimensional panel method. Anders Goude och Stefan Engblom. I Applied Mathematical Modelling, volym 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 och Hanife Rexhepi. I Journal of Medical Internet Research, volym 20, nummer 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 och Stefano Serra Capizzano. I Climate of the Past, volym 14, pp 709-724, 2018. (DOI, Fulltext).
  69. <em>TexT</em> – Text extractor tool for handwritten document transcription and annotation. Anders Hast, Per Cullhed och Ekta Vats. I Digital Libraries and Multimedia Archives, volym 806 av 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 och Gustaf Kylberg. I Pattern Recognition and Image Analysis, volym 28, nummer 2, pp 261-272, 2018. (DOI).
  71. An intelligent user interface for efficient semi-automatic transcription of historical handwritten documents. Anders Hast och Ekta Vats. I 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 och Ekta Vats. I 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 och Ekta Vats. I Journal of WSCG, volym 26, nummer 1, pp 31-40, 2018. (DOI).
  74. Stabilized equal low-order finite elements in ice sheet modeling: accuracy and robustness. Christian Helanow och Josefin Ahlkrona. I Computational Geosciences, volym 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 och Edith Ngai. I IEEE transactions on broadcasting, volym 64, nummer 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 och Aletta Nylén. I 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 och Alberto Ros. I IEEE Transactions on Parallel and Distributed Systems, volym 29, nummer 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 och Filip Bergquist. I CNS Neuroscience & Therapeutics, volym 24, nummer 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 och Ginevra Castellano. I International Journal of Social Robotics, volym 10, nummer 3, pp 357-370, 2018. (DOI, Fulltext).
  80. AI and philosophizing. Iordanis Kavathatzopoulos. I , 2018.
  81. AI as gadfly. Iordanis Kavathatzopoulos. I Wabi-Sabi: Imperfection, incompleteness and impermanence in Organisational Life, pp 150-150, 2018. (Extern länk, Book of abstracts).
  82. Philosophy as the Road to Good ICT. Iordanis Kavathatzopoulos och Ryoko Asai. I This Changes Everything – ICT and Climate Change: What Can We Do?, volym 537 av IFIP AICT, pp 293-298, Springer, 2018. (DOI).
  83. Non-Speculative Load Reordering in Total Store Ordering. Stefanos Kaxiras, Trevor E. Carlson, Mehdi Alipour och Alberto Ros. I IEEE Micro, volym 38, nummer 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 och Erkki Pesonen. I European Journal of Engineering Education, volym 43, nummer 2, pp 201-218, 2018. (DOI).
  85. A word from the editor. Christer Kiselman. I Esperantologio / Esperanto Studies, nummer 8, pp 8-12, KAVA-PECH, Dobrichovice, 2018.
  86. Aliroj al esperanto. Christer Kiselman, Renato Corsetti och Probal Dasgupta (red). KAVA-PECH, Dobrichovice, 2018. (Publishers homepage).
  87. Enkonduko: [Introduction]. Christer Kiselman. I 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. I Esperantologio / Esperanto Studies, nummer 8, pp 3-7, KAVA-PECH, Dobrichovice, 2018.
  89. Queue Delegation Locking. David Klaftenegger, Konstantinos Sagonas och Kjell Winblad. I IEEE Transactions on Parallel and Distributed Systems, volym 29, nummer 3, pp 687-704, IEEE COMPUTER SOC, 2018. (DOI).
  90. Automating regression verification of pointer programs by predicate abstraction. Vladimir Klebanov, Philipp Rümmer och Mattias Ulbrich. I Formal methods in system design, volym 52, nummer 3, pp 229-259, 2018. (DOI).
  91. Reasoning about knowledge and messages in asynchronous multi-agent systems. Sophia Knight, Bastien Maubert och François Schwarzentruber. I Mathematical Structures in Computer Science, volym 28, 2018. (DOI). Publikationsstatus: 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 och Shahid Ahmad. I International Journal of Computer Mathematics, volym 95, pp 881-897, 2018. (DOI).
  93. A fast massively parallel two-phase flow solver for microfluidic chip simulation. Martin Kronbichler, Ababacar Diagne och Hanna Holmgren. I The international journal of high performance computing applications, volym 32, pp 266-287, 2018. (DOI).
  94. On-the-fly computation of frontal orbitals in density matrix expansions. Anastasia Kruchinina, Elias Rudberg och Emanuel H. Rubensson. I Journal of Chemical Theory and Computation, volym 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 och Janet Hughes. I 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 och Erik Elmroth. I Future generations computer systems, volym 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 och Naveen Kalra. I Medical Imaging 2018: Computer-Aided Diagnosis, volym 10575 av 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 och Roman H. Khonsari. I Journal of Cranio-Maxillofacial Surgery, volym 46, nummer 2, pp 305-311, CHURCHILL LIVINGSTONE, 2018. (DOI).
  99. Phase retrieval via the alternating direction method of multipliers. Junli Liang, Peter Stoica, Yang Jing och Jian Li. I IEEE Signal Processing Letters, volym 25, nummer 1, pp 5-9, 2018. (DOI).
  100. A robust structured preconditioner for time-harmonic parabolic optimal control problems. Zhao-Zheng Liang, Owe Axelsson och Maya Neytcheva. I Numerical Algorithms, 2018. (DOI, Fulltext). Publikationsstatus: Epub ahead of print
  101. A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention. Jonatan Lindén och 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 och Bengt Jonsson. I 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. Doktorsavhandling, 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 och Stefan Seipel. I Automation in Construction, volym 90, pp 79-90, 2018. (DOI, Fulltext).
  105. Assessing uncertainties in x-ray single-particle three-dimensional reconstruction. Jing Liu, Stefan Engblom och Carl Nettelblad. I Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volym 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 och Erik Billing. I Multimodal Technologies and Interaction, volym 2, nummer 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 och Gunilla Kreiss. I Journal of Scientific Computing, volym 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 och Filipe R. N. C. Maia. I IUCrJ, volym 5, pp 531-541, 2018. (DOI, Fulltext).
  109. Targeted Property-Based Testing with Applications in Sensor Networks. Andreas Löscher. Doktorsavhandling, 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 och Anders Jansson. I Theoretical Issues in Ergonomics Science, volym 19, nummer 1, pp 101-117, 2018. (DOI).
  111. The linear noise approximation for spatially dependent biochemical networks. Per Lötstedt. I Bulletin of Mathematical Biology, volym 80, 2018. (DOI, Fulltext). Publikationsstatus: Epub ahead of print
  112. An improved projection method. Ken Mattsson och Pelle Olsson. I Journal of Computational Physics, volym 372, pp 349-372, 2018. (DOI).
  113. Boundary optimized diagonal-norm SBP operators. Ken Mattsson, Martin Almquist och Edwin van der Weide. I Journal of Computational Physics, volym 374, pp 1261-1266, 2018. (DOI).
  114. Compatible diagonal-norm staggered and upwind SBP operators. Ken Mattsson och Ossian O'Reilly. I Journal of Computational Physics, volym 352, pp 52-75, 2018. (DOI).
  115. Simulation of acoustic and flexural-gravity waves in ice-covered oceans. Ken Mattsson, Eric M. Dunham och Jonatan Werpers. I Journal of Computational Physics, volym 373, pp 230-252, 2018. (DOI).
  116. Identification of cascade water tanks using a PWARX model. Per Mattsson, Dave Zachariah och Peter Stoica. I Mechanical systems and signal processing, volym 106, pp 40-48, ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 2018. (DOI).
  117. Recursive nonlinear-system identification using latent variables. Per Mattsson, Dave Zachariah och Petre Stoica. I Automatica, volym 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?. I Computing Research Repository, nummer 1808.02365, 2018. (Extern länk). Publikationsstatus: Submitted
  119. Radial Basis Function generated Finite Difference Methods for Pricing of Financial Derivatives. Slobodan Milovanovi?. Doktorsavhandling, 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? och Lina von Sydow. I Computers and Mathematics with Applications, volym 75, pp 1462-1481, 2018. (DOI).
  121. A library for wall-modelled large-eddy simulation based on OpenFOAM technology. Timofey Mukha, Saleh Rezaeiravesh och Mattias Liefvendahl. I Computer Physics Communications, 2018. (Extern länk). Publikationsstatus: Submitted
  122. Eddylicious: A Python package for turbulent inflow generation. Timofey Mukha och Mattias Liefvendahl. I SoftwareX, volym 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 och Mattias Liefvendahl. I 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. Doktorsavhandling, 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. I Journal of Open Research Software, 2018. (Extern länk). Publikationsstatus: 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 och Andreas Thor. I Journal of Dentistry, volym 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 och Andreas Thor. I BMC Oral Health, volym 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 och Vladimir Voevodin. I Parallel Processing and Applied Mathematics: Part I, volym 10777 av 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 och Mohamed Faouzi Atig. I SPLASH OOPSLA 2018, Boston, Nov 4-9, 2018, 2018. (Extern länk).
  130. Comparison analysis of orbital shape and volume in unilateral fractured orbits. Johanna Nilsson, Johan Nysjö, Anders-Petter Carlsson och Andreas Thor. I Journal of Cranio-Maxillofacial Surgery, volym 46, nummer 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? och Wolmet Barendregt. I International Journal of Social Robotics, volym 10, nummer 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 och Per Mattsson. I , volym 51: av IFAC-PapersOnLine, 2018.
  133. Modeling and assessment of human balance and movement disorders using inertial sensors. Fredrik Olsson. Licentiatavhandling, 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. Licentiatavhandling, 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 och Iordanis Kavathatzopoulos. I This Changes Everything –ICT and Climate Change: What Can We Do?, volym 537 av 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. I ACM Transactions on Computing Education, 2018. Publikationsstatus: Accepted
  137. Using convex optimization of autocorrelation with constrained support and windowing for improved phase retrieval accuracy. Alberto Pietrini och Carl Nettelblad. I Optics Express, volym 26, pp 24422-24443, 2018. (DOI, Fulltext).
  138. Coupling atomistic and continuum modelling of magnetism. Mikhail Poluektov, Olle Eriksson och Gunilla Kreiss. I Computer Methods in Applied Mechanics and Engineering, volym 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 och Isto Huvila. I Health Informatics Journal, volym 24, nummer 2, pp 115-124, 2018. (DOI).
  140. A-priori study of wall modeling in large eddy simulation. Saleh Rezaeiravesh, Timofey Mukha och Mattias Liefvendahl. I 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 och Philipp Schlatter. I European journal of mechanics. B, Fluids, volym 72, pp 57-73, 2018. (DOI).
  142. Effect of grid resolution on large eddy simulation of wall-bounded turbulence. Saleh Rezaeiravesh och Mattias Liefvendahl. I Physics of fluids, volym 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 och Anastasia Kruchinina. I SoftwareX, volym 7, pp 107-111, 2018. (DOI, Fulltext).
  144. High-fidelity sound propagation in a varying 3D atmosphere. Ylva Rydin, Ken Mattsson och Jonatan Werpers. I Journal of Scientific Computing, 2018. (DOI, Fulltext). Publikationsstatus: Epub ahead of print
  145. Radial basis function methods for the Rosenau equation and other higher order PDEs. Ali Safdari-Vaighani, Elisabeth Larsson och Alfa Heryudono. I Journal of Scientific Computing, volym 75, pp 1555-1580, 2018. (DOI, Fulltext).
  146. A contention adapting approach to concurrent ordered sets. Konstantinos Sagonas och Kjell Winblad. I Journal of Parallel and Distributed Computing, volym 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 och Gunilla Kreiss. I , 2018. Publikationsstatus: Submitted
  148. Probabilistic learning of nonlinear dynamical systems using sequential Monte Carlo. Thomas B. Schön, Andreas Svensson, Lawrence Murray och Fredrik Lindsten. I Mechanical systems and signal processing, volym 104, pp 866-883, ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 2018. (DOI).
  149. Localised Radial Basis Function Methods for Partial Differential Equations. Victor Shcherbakov. Doktorsavhandling, 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 och Sanjoy Baruah. I Real-time systems, 2018. (DOI). Publikationsstatus: Epub ahead of print
  151. Learning surrogate models of document image quality metrics for automated document image processing. Prashant Singh, Ekta Vats och Anders Hast. I 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. Doktorsavhandling, 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 och Gunilla Kreiss. I Computing Research Repository, nummer 1804.00332, 2018. (Extern länk). Publikationsstatus: Submitted
  154. Learning nonlinear state-space models using smooth particle-filter-based likelihood approximations. Andreas Svensson, Fredrik Lindsten och Thomas B. Schön. I 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 och Fredrik Lindsten. I Mechanical systems and signal processing, volym 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. Doktorsavhandling, 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 och Susan Eisenbach. I 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 och Wendong Wang. I Computer Communications, volym 119, pp 167-178, 2018. (DOI).
  159. A finite difference method for earthquake sequences in poroelastic solids. Kim Torberntsson, Vidar Stiernström, Ken Mattsson och Eric M. Dunham. I Computational Geosciences, volym 22, pp 1351-1370, 2018. (DOI).
  160. Static instruction scheduling for high performance on energy-efficient processors. Kim-Anh Tran. Licentiatavhandling, 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 och Alexandra Jimborean. I IEEE Transactions on Computers, volym 67, nummer 4, pp 513-527, 2018. (DOI).
  162. Enabling Sustainable Networked Embedded Systems. Ambuj Varshney. Doktorsavhandling, 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 och Lasse Mårtensson. I 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. I Journal of Scientific Computing, 2018. (DOI, Fulltext). Publikationsstatus: Epub ahead of print
  165. Convergence of finite difference methods for the wave equation in two space dimensions. Siyang Wang, Anna Nissen och Gunilla Kreiss. I Mathematics of Computation, volym 87, nummer 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 och Ann Lindberg. I Veterinary research (Print), volym 49, pp 78:1-13, 2018. (DOI, Fulltext).
  167. Globally stable wireless data flow control. Torbjörn Wigren och Reem Karaki. I IEEE Transactions on Control of Network Systems, volym 5, nummer 1, pp 469-478, 2018. (DOI).
  168. Dynamic Adaptations of Synchronization Granularity in Concurrent Data Structures. Kjell Winblad. Doktorsavhandling, 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 och Bengt Jonsson. I 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 och Jiangchuan Liu. I IEEE Internet of Things Journal, volym 5, nummer 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 och Alexander Medvedev. I Proc. 16th European Control Conference, pp 107-112, IEEE, 2018. (fulltext:print).
  172. Worst-Case Prediction Performance Analysis of the Kalman Filter. Sholeh Yasini och Kristiaan Pelckmans. I IEEE Transactions on Automatic Control, volym 63, nummer 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. Doktorsavhandling, 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 och Elisabeth Larsson. I Computing Research Repository, nummer 1801.04582, 2018. (Extern länk). Publikationsstatus: Submitted
  175. DuctTeip: An efficient programming model for distributed task based parallel computing. Afshin Zafari, Elisabeth Larsson och Martin Tillenius. I Computing Research Repository, nummer 1801.03578, 2018. (Extern länk). Publikationsstatus: 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 och Giuseppe Vecchi. I Computing Research Repository, nummer 1801.03589, 2018. (Extern länk). Publikationsstatus: Submitted
  177. TaskUniVerse: A Task-Based Unified Interface for Versatile Parallel Execution. Afshin Zafari. I Parallel Processing and Applied Mathematics: Part I, volym 10777 av 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 och Yuemin Hu. I Multimedia tools and applications, volym 77, nummer 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 och Hans Törmä. I Experimental dermatology, volym 27, nummer 2, pp 196-199, 2018. (DOI).
  180. Caches, Transactions and Memories: Models, Coherence and Consistency. Yunyun Zhu. Doktorsavhandling, 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 och Aybüke Özgün. I Synthese, volym 195, 2018. (DOI, Fulltext). Publikationsstatus: Epub ahead of print
  182. Private announcements on topological spaces. Hans van Ditmarsch, Sophia Knight och Aybüke Özgün. I Studia Logica: An International Journal for Symbolic Logic, volym 106, nummer 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 och Joakim Munkhammar. I Applied Energy, volym 213, pp 195-207, 2018. (DOI).
  184. Practical thinking while programming: A Deweyan approach to knowledge in Computer Science. Kristina von Hausswolff. I 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 och Tobias Wrigstad. I 5th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, 2018.

Uppdaterad  2018-09-20 16:34:52 av Roland Grönroos.