Department of Information Technology

Publications from the Department of Information Technology

Series

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

Search for other publications

To search for other publications, please try

Publications this year

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

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

  1. A load-buffer semantics for total store ordering. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, and Tuan Phong Ngo. In Logical Methods in Computer Science, volume 14, number 1, 2018. (External link).
  2. Mending fences with self-invalidation and self-downgrade. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, and Yunyun Zhu. In Logical Methods in Computer Science, volume 14, number 1, 2018. (External link).
  3. Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. Jakaria Abdullah, Gaoyang Dai, Morteza Mohaqeqi, and Wang Yi. In Proc. 24th Real-Time and Embedded Technology and Applications Symposium, pp 261-270, IEEE Computer Society, 2018. (DOI).
  4. 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).
  5. 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).
  6. Changing the Educational Epistemologies of Computer Science Teachers: A Case Study of the Kingdom of Saudi Arabia. Fayiq Alghamdi, Aletta Nylén, and Arnold Pears. In , IEEE, 2018. (fulltext:print).
  7. Computer science teachers perspectives on competencies: A case study in the Kingdom of Saudi Arabia. Fayiq Alghamdi, Arnold Pears, and Aletta Nylén. In Informatics in Schools. Fundamentals of Computer Science and Software Engineering, volume 11169 of Lecture Notes in Computer Science, pp 129-140, Springer, 2018. (DOI).
  8. Maximizing Limited Resources: a Limit-Based Study and Taxonomy of Out-of-Order Commit. Mehdi Alipour, Trevor E. Carlson, David Black-Schaffer, and Stefanos Kaxiras. In Journal of Signal Processing Systems, Germany, 2018.
  9. Dynamically Disabling Way-prediction to Reduce Instruction Replay. Ricardo Alves, Stefanos Kaxiras, and David Black-Schaffer. In Proc. 36th International Conference on Computer Design, IEEE, 2018.
  10. 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).
  11. 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, pp 473-491, 2018. (DOI, Fulltext, fulltext:print).
  12. The coordination between train traffic controllers and train drivers: a distributed cognition perspective on railway. Rebecca Andreasson, Anders Jansson, and Jessica Lindblom. In Cognition, Technology & Work, pp 1-27, 2018. (DOI, Fulltext). Publication status: Epub ahead of print
  13. 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).
  14. 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).
  15. 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).
  16. Continuous residual reinforcement learning for traffic signal control optimization. Mohammad Aslani, Stefan Seipel, and Marco Wiering. In Canadian journal of civil engineering (Print), volume 45, number 8, pp 690-702, 2018. (DOI).
  17. 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).
  18. 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).
  19. 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).
  20. Parallel solution methods and preconditioners for evolution equations. Owe Axelsson, Maya Neytcheva, and Zhao-Zheng Liang. In Mathematical Modelling and Analysis, volume 23, pp 287-308, 2018. (DOI, Fulltext).
  21. 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).
  22. 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).
  23. 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).
  24. 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 426-445, 2018. (DOI, Fulltext).
  25. 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).
  26. Lyman continuum leakage versus quenching with the James Webb Space Telescope: the spectral signatures of quenched star formation activity in reionization-epoch galaxies. Christian Binggeli, Erik Zackrisson, Kristiaan Pelckmans, Rubén Cubo, Hannes Jensen, and Ikko Shimizu. In Monthly notices of the Royal Astronomical Society, volume 479, number 1, pp 368-376, 2018. (DOI, Fulltext, fulltext:preprint, fulltext:print).
  27. 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
  28. Language and teaching ethics. Ingrid Björk and Iordanis Kavathatzopoulos. In , 2018. (External link).
  29. SoftCut: A Virtual Planning Tool for Soft Tissue Resection on CT Images. Ludovic Blache, Fredrik Nysjö, Filip Malmberg, Andreas Thor, Andres Rodriguez-Lorenzo, and Ingela Nyström. In Medical Image Understanding and Analysis, Communications in Computer and Information Science, pp 299-310, Springer, Cham, 2018. (DOI).
  30. The Scarcity of Universal Colour Names. Gunilla Borgefors. In Proceedings of 7th International Conference on Pattern Recognition Applications and Methods, pp 496-502, 2018.
  31. Quantifying layer similarity in multiplex networks: a systematic study. Piotr Brodka, Anna Chmiel, Matteo Magnani, and Giancarlo Ragozini. In Royal Society Open Science, volume 5, number 8, ROYAL SOC, 2018. (DOI, Fulltext, fulltext:print).
  32. Complex systems for society. Åsa Cajander. In XRDS, volume 25, number 1, pp 63-63, 2018. (DOI).
  33. 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).
  34. 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).
  35. 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).
  36. 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).
  37. 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).
  38. 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).
  39. OOlong: An Extensible Concurrent Object Calculus. Elias Castegren and Tobias Wrigstad. In , pp 1-8, 2018. (DOI, fulltext:postprint).
  40. 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).
  41. 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 Proc. International Symposium on Performance Analysis of Systems and Software: ISPASS 2018, pp 1-11, IEEE Computer Society, 2018. (DOI, fulltext:preprint).
  42. Tail-PASS: Resource-based Cache Management for Tiled Graphics Rendering Hardware. Germán Ceballos, Erik Hagersten, and David Black-Schaffer. In Proc. 16th International Conference on Parallel and Distributed Processing with Applications, IEEE, 2018.
  43. 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).
  44. 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).
  45. Anisotropic radial basis function methods for continental size ice sheet simulations. Gong Cheng and Victor Shcherbakov. In Journal of Computational Physics, volume 372, pp 161-177, 2018. (DOI).
  46. 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).
  47. 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).
  48. 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).
  49. 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).
  50. 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).
  51. 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).
  52. 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).
  53. 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).
  54. Device Caching for Network Offloading: Delay Minimization With Presence of User Mobility. Tao Deng, Lei You, Pingzhi Fan, and Di Yuan. In IEEE Wireless Communications Letters, volume 7, number 4, pp 558-561, Institute of Electrical and Electronics Engineers (IEEE), 2018. (DOI).
  55. 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).
  56. 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).
  57. 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
  58. 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
  59. 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).
  60. 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).
  61. 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).
  62. 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).
  63. 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
  64. 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).
  65. Mesoscopic modeling of random walk and reactions in crowded media. Stefan Engblom, Per Lötstedt, and Lina Meinecke. In Physical Review E. covering statistical, nonlinear, biological, and soft matter physics, volume 98, number 3, pp 033304:1-16, 2018. (DOI).
  66. 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).
  67. 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
  68. 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).
  69. 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).
  70. 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).
  71. Forward to a Promising Future. Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, and Huu-Phuc Vo. In Conference proceedings COORDINATION 2018, 2018. (fulltext:preprint).
  72. The impact of opt-in gamification on students' grades in a software design course. Kiko Fernandez-Reyes, Dave Clarke, and Janina Hornbach. In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pp -97, ACM Publications, New York, NY, USA, 2018. (DOI).
  73. 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).
  74. 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.
  75. 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).
  76. 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).
  77. 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).
  78. 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).
  79. 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).
  80. Human Immunodeficiency Virus-Infected Women Have High Numbers of CD103<sup>-</sup>CD8<sup>+</sup> T Cells Residing Close to the Basal Membrane of the Ectocervical Epithelium. Anna Gibbs, Marcus Buggert, Gabriella Edfeldt, Petter Ranefall, Andrea Introini, Stanley Cheuk, Elisa Martini, Liv Eidsmo, Terry B. Ball, Joshua Kimani, Rupert Kaul, Annika C. Karlsson, Carolina Wählby, Kristina Broliden, and Annelie Tjernlund. In Journal of Infectious Diseases, volume 218, number 3, pp 453-465, 2018. (DOI).
  81. Analyzing work-related technology use from a UX perspective: the holisticUX method. Diane Golay. In NordiCHI '18 Proceedings of the 10th Nordic Conference on Human-Computer Interaction, pp 711-715, 2018. (DOI, External link).
  82. 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).
  83. A general high order two-dimensional panel method. Anders Goude and Stefan Engblom. In Applied Mathematical Modelling, volume 60, pp 1-17, 2018. (DOI).
  84. "Participating Under the Influence”: How Role Models Affect the Computing Discipline, Profession, and Student Population. Virginia Grande, Anne-Kathrin Peters, Mats Daniels, and Matti Tedre. In , 2018. (fulltext:preprint).
  85. Lost for Words! Defining the Language Around Role Models in Engineering. Virginia Grande. In Frontiers in Education 2018. Fostering Innovation Through Diversity: 2018 Conference Proceedings, 2018. (External link, fulltext:postprint).
  86. 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).
  87. 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).
  88. <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).
  89. 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).
  90. 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).
  91. 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).
  92. 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).
  93. 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).
  94. Multiplexed fluorescence microscopy reveals heterogeneity among stromal cells in mouse bone marrow sections. Karolin Holzwarth, Ralf Köhler, Lars Philipsen, Koji Tokoyoda, Valeriia Ladyhina, Carolina Wählby, Raluca A. Niesner, and Anja E. Hauser. In Cytometry Part A, volume 93, number 9, pp 876-888, 2018. (DOI).
  95. 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).
  96. Age-related differences in seeking clarification to understand medical record information. Isto Huvila, Jonas Moll, Heidi Enwald, Noora Hirvonen, Rose-Mharie Åhlfeldt, and Åsa Cajander. In Proc. 12th ISIC Conference, volume 22:4 of Information Research, 2018.
  97. 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).
  98. 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).
  99. 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).
  100. "I know that now, I'm going to learn this next": Promoting self-regulated learning with a robotic tutor. Aidan Jones, Susan Bull, and Ginevra Castellano. In International Journal of Social Robotics, volume 10, number 4, pp 439-454, 2018. (DOI, Fulltext).
  101. 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).
  102. AI and philosophizing. Iordanis Kavathatzopoulos. In , 2018.
  103. AI as gadfly. Iordanis Kavathatzopoulos. In Wabi-Sabi: Imperfection, incompleteness and impermanence in Organisational Life, pp 150-150, 2018. (External link, Book of abstracts).
  104. 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).
  105. 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).
  106. 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).
  107. A word from the editor. Christer Kiselman. In Esperantologio / Esperanto Studies, number 8, pp 8-12, KAVA-PECH, Dobrichovice, 2018.
  108. Aliroj al esperanto. Christer Kiselman, Renato Corsetti, and Probal Dasgupta (eds). KAVA-PECH, Dobrichovice, 2018. (Publishers homepage).
  109. Enkonduko: [Introduction]. Christer Kiselman. In Aliroj al esperanto: [Arriving to Esperanto], pp 5-8, KAVA-PECH, Dobrichovice, 2018.
  110. Esperantologio / Esperanto Studies, Issue 8: Salutvorto de la redaktoro. Christer Kiselman. In Esperantologio / Esperanto Studies, number 8, pp 3-7, KAVA-PECH, Dobrichovice, 2018.
  111. 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).
  112. 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).
  113. 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
  114. 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).
  115. 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).
  116. 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).
  117. 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).
  118. 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).
  119. 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).
  120. 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).
  121. Bayesian information criterion for signed measurements with application to sinusoidal signals. Changheng Li, Rong Zhang, Jian Li, and Peter Stoica. In IEEE Signal Processing Letters, volume 25, number 8, pp 1251-1255, 2018. (DOI).
  122. 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).
  123. A robust structured preconditioner for time-harmonic parabolic optimal control problems. Zhao-Zheng Liang, Owe Axelsson, and Maya Neytcheva. In Numerical Algorithms, volume 79, pp 575-596, 2018. (DOI, Fulltext).
  124. 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.
  125. 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).
  126. 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).
  127. 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).
  128. 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).
  129. 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).
  130. 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).
  131. 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).
  132. 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).
  133. 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).
  134. 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
  135. An improved projection method. Ken Mattsson and Pelle Olsson. In Journal of Computational Physics, volume 372, pp 349-372, 2018. (DOI).
  136. 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).
  137. 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).
  138. 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).
  139. 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).
  140. 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).
  141. Ventral hippocampal OLM cells control type 2 theta oscillations and response to predator odor. Sanja Mikulovic, Carlos Ernesto Restrepo, Samer Siwani, Pavol Bauer, Stefano Pupe Johann, Adriano B. L. Tort, Klas Kullander, and Richardson N. Leão. In Nature Communications, volume 9, pp 3638:1-15, 2018. (DOI, Fulltext).
  142. 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
  143. 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).
  144. 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).
  145. Patients' experiences of accessing their electronic health records: National patient survey in Sweden. Jonas Moll, Hanife Rexhepi, Åsa Cajander, Christiane Grünloh, Isto Huvila, Maria Hägglund, Gunilla Myreteg, Isabella Scandurra, and Rose-Mharie Åhlfeldt. In Journal of Medical Internet Research, volume 20, number 11, 2018. (DOI, Fulltext).
  146. 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
  147. Eddylicious: A Python package for turbulent inflow generation. Timofey Mukha and Mattias Liefvendahl. In SoftwareX, volume 7, pp 112-114, 2018. (DOI, Fulltext).
  148. 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.
  149. 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).
  150. Turbulucid: A Python package for post-processing of fluid flow simulations. Timofey Mukha. In Journal of Open Research Software, volume 6, 2018. (DOI, Fulltext).
  151. Distance Functions Based on Multiple Types of Weighted Steps Combined with Neighborhood Sequences. Benedek Nagy, Robin Strand, and Nicolas Normand. In Journal of Mathematical Imaging and Vision, volume 60, number 8, pp 1209-1219, 2018. (DOI).
  152. 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).
  153. 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).
  154. 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).
  155. 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).
  156. 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).
  157. Why are we here?: The educational value model (EVM) as a framework to investigate the role of students’ professional identity development. Aletta Nylén, Mats Daniels, Arnold Pears, Åsa Cajander, Roger McDermott, and Ville Isomöttönen. In Proc. 48th Frontiers in Education Conference, 2018.
  158. 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).
  159. Identification of nonlinear feedback mechanisms operating in closed loop using inertial sensors. Fredrik Olsson, Kjartan Halvorsen, Dave Zachariah, and Per Mattsson. In , volume 51:15 of IFAC-PapersOnLine, pp 473-478, 2018. (DOI).
  160. 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).
  161. 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).
  162. 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).
  163. 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, volume 19, number 1, 2018. (DOI).
  164. The making of a computer scientist. Anne-Kathrin Peters and Judeth Oden Choi. In XRDS, volume 25, number 1, pp 7-8, 2018. (DOI).
  165. 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).
  166. 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).
  167. 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).
  168. 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.
  169. Application of Uncertainty Quantification Techniques to Studies of Wall-Bounded Turbulent Flows. Saleh Rezaeiravesh. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1727, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  170. 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).
  171. 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).
  172. Systematic study of accuracy of wall-modeled large eddy simulation using uncertainty quantification techniques. Saleh Rezaeiravesh, Timofey Mukha, and Mattias Liefvendahl. In Computing Research Repository, number 1810.05213, 2018. (External link). Publication status: Submitted
  173. Non-Speculative Store Coalescing in Total Store Order. Alberto Ros and Stefanos Kaxiras. In Proc.45th International Symposium on Computer Architecture, pp 221-234, IEEE, 2018. (DOI, fulltext:postprint).
  174. The Superfluous Load Queue. Alberto Ros and Stefanos Kaxiras. In Proc. 51st IEEE/ACM International Symposium on Microarchitecture, 2018. (fulltext:postprint).
  175. 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).
  176. High-fidelity sound propagation in a varying 3D atmosphere. Ylva Rydin, Ken Mattsson, and Jonatan Werpers. In Journal of Scientific Computing, volume 77, pp 1278-1302, 2018. (DOI, Fulltext).
  177. 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).
  178. 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).
  179. Progress on Algorithms for Stateless Model Checking. Konstantinos Sagonas. In Electronic Proceedings in Theoretical Computer Science, number 268, OPEN PUBL ASSOC, 2018. (DOI).
  180. On threats and violence for staff and patient accessible electronic health records. Ulrika Sahlin Åkerstedt, Åsa Cajander, Jonas Moll, and Ture Ålander. In Cogent Psychology, volume 5, 2018. (DOI, Fulltext).
  181. Information systems in nurses' work environment: From flexibility to boundedness. Minna Salminen-Karlsson. In , 2018.
  182. A strategy for OCT estimation of the optic nerve head pigment epithelium central limit-inner limit of the retina minimal distance, PIMD-2?. Camilla Sandberg Melin, Filip Malmberg, and Per G. Söderberg. In Acta Ophthalmologica Scandinavica, volume 96, 2018. (DOI). Publication status: Epub ahead of print
  183. Orbital shape in intentional skull deformations and adult sagittal craniosynostoses. Ronak Sandy, Quentin Hennocq, Johan Nysjö, Guillaume Giran, Martin Friess, and Roman Hossein Khonsari. In Journal of Anatomy, volume 233, number 3, pp 302-310, 2018. (DOI).
  184. 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
  185. 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).
  186. 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).
  187. Uniprocessor scheduling of real-time synchronous dataflow tasks. Abhishek Singh, Pontus Ekberg, and Sanjoy Baruah. In Real-time systems, volume 54, 2018. (DOI). Publication status: Epub ahead of print
  188. 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).
  189. Modeling and Interpolation of the Ambient Magnetic Field by Gaussian Processes. Arno Solin, Manon Kok, Niklas Wahlstro?m, Thomas B. Schön, and Simo Särkkä. In IEEE Transactions on robotics, volume 34, number 4, pp 1112-1127, Institute of Electrical and Electronics Engineers (IEEE), 2018. (DOI).
  190. 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).
  191. 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
  192. 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.
  193. 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).
  194. 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).
  195. Assortative interactions revealed by sorting of animal groups. Alex Szorkovszky, Alexander Kotrschal, James E. Herbert-Read, Severine D. Buechel, Maxym Romensky, Emil Rosén, Wouter van der Bijl, Kristiaan Pelckmans, Niclas Kolm, and David J. T. Sumpter. In Animal Behaviour, volume 142, pp 165-179, ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 2018. (DOI).
  196. 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.
  197. 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).
  198. 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).
  199. HarmonicIO: Scalable data stream processing for scientific datasets. Preechakorn Torruangwatthana, Håkan Wieslander, Ben Blamey, Andreas Hellander, and Salman Toor. In Proc. 11th International Conference on Cloud Computing, pp 879-882, IEEE Computer Society, Los Alamitos, CA, 2018. (DOI).
  200. SWOOP: software-hardware co-design for non-speculative, execute-ahead, in-order cores. Kim-Anh Tran, Alexandra Jimborean, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, and Stefanos Kaxiras. In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp 328-343, Association for Computing Machinery (ACM), 2018. (DOI, fulltext:print).
  201. 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).
  202. 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).
  203. Velox VM: A safe execution environment for resource-constrained IoT applications. Nicolas Tsiftes and Thiemo Voigt. In Journal of Network and Computer Applications, volume 118, pp 61-73, 2018. (DOI).
  204. 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).
  205. 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: Book of Abstracts, 2018. (Abstracts).
  206. An improved high order finite difference method for non-conforming grid interfaces for the wave equation. Siyang Wang. In Journal of Scientific Computing, volume 77, pp 775-792, 2018. (DOI, Fulltext).
  207. 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).
  208. Large continuous perspective change with noncoplanar points enables accurate slant perception. Xiaoye Michael Wang, Mats Lind, and Geoffrey P. Bingham. In Journal of Experimental Psychology: Human Perception and Performance, volume 44, number 10, pp 1508-1522, 2018. (DOI).
  209. 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).
  210. 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).
  211. 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).
  212. 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).
  213. 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).
  214. 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).
  215. 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).
  216. Resource Optimization With Load Coupling in Multi-Cell NOMA. Lei You, Di Yuan, Lei Lei, Sumei Sun, Symeon Chatzinotas, and Björn Ottersten. In IEEE Transactions on Wireless Communications, volume 17, number 7, pp 4735-4749, 2018. (DOI).
  217. 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).
  218. 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
  219. 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
  220. 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
  221. 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).
  222. 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).
  223. 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).
  224. Energy-Latency Tradeoff for Energy-Aware Offloading in Mobile Edge Computing Networks. Jiao Zhang, Xiping Hu, Zhaolong Ning, Edith Ngai, Li Zhou, Jibo Wei, Jun Cheng, and Bin Hu. In IEEE Internet of Things Journal, volume 5, number 4, pp 2633-2645, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2018. (DOI).
  225. Constructing a Weak Memory Model. Sizhuo Zhang, Muralidaran Vijayaraghavan, Andrew Wright, Mehdi Alipour, and Arvind Mithal. In , ACM/IEEE Annual International Symposium on Computer Architecture (ISCA), pp 124-137, IEEE, New York, 2018. (DOI, fulltext:postprint).
  226. 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).
  227. 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
  228. 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).
  229. Dynamically coupling full Stokes and Shallow Shelf Approximation for marine ice sheet flow using Elmer/Ice (v8.3). Eef C. H. van Dongen, Nina Kirchner, Martin B. van Gijzen, Roderik S. W. van de Wal, Thomas Zwinger, Gong Cheng, Per Lötstedt, and Lina von Sydow. In Geoscientific Model Development Discussions, 2018. (DOI, Fulltext). Publication status: Submitted
  230. 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).
  231. 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).
  232. 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-11-10 15:45:42 by Kurt Otto.