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 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. Complexity of reachability for data-aware dynamic systems. Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali och Othmane Rezine. I Proc. 18th International Conference on Application of Concurrency to System Design, pp 11-20, IEEE Computer Society, 2018. (DOI, Fulltext).
  3. Fragment abstraction for concurrent shape analysis. Parosh Aziz Abdulla, Bengt Jonsson och Cong Quy Trinh. I Programming Languages and Systems, volym 10801 av Lecture Notes in Computer Science, pp 442-471, Springer, 2018. (DOI, Fulltext).
  4. 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).
  5. Model checking parameterized systems. Parosh Aziz Abdulla, A. Prasad Sistla och Muralidhar Talupur. I Handbook of Model Checking, pp 685-725, Springer, 2018. (DOI).
  6. Perfect timed communication is hard. Parosh Aziz Abdulla, Mohamed Faouzi Atig och Shankara Narayanan Krishna. I Formal Modeling and Analysis of Timed Systems, volym 11022 av Lecture Notes in Computer Science, pp 91-107, Springer, 2018. (DOI).
  7. Replacing store buffers by load buffers in TSO. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani och Tuan Phong Ngo. I Verification and Evaluation of Computer and Communication Systems, volym 11181 av Lecture Notes in Computer Science, pp 22-28, Springer, 2018. (DOI).
  8. Trau: SMT solver for string constraints. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Phi Diep Bui, Lukas Holik, Ahmed Rezine och Philipp Rümmer. I The eighteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification (FMCAD 2018), 2018.
  9. Universal safety for timed Petri nets is PSPACE-complete. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr och Patrick Totzke. I 29th International Conference on Concurrency Theory, volym 118 av Leibniz International Proceedings in Informatics, pp 6:1-15, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2018. (DOI, Fulltext).
  10. Verification of timed asynchronous programs. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna och Shaan Vaidya. I IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2018, volym 122 av Leibniz International Proceedings in Informatics, pp 8:1-16, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2018. (DOI, Fulltext).
  11. Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. Jakaria Abdullah, Gaoyang Dai, Morteza Mohaqeqi och Wang Yi. I Proc. 24th Real-Time and Embedded Technology and Applications Symposium, pp 261-270, IEEE Computer Society, 2018. (DOI).
  12. On optimal proactive and retention-aware caching with user mobility. Ghafour Ahani och Di Yuan. I Proc. 88th Vehicular Technology Conference, IEEE, 2018.
  13. 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).
  14. 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).
  15. Sampled-Data Based State and Parameter Estimation for State-Affine Systems with Uncertain Output Equation. Tarek Ahmed-Ali, Koen Tiels, Maarten Schoukens och Fouad Giri. I , volym 51:15 av IFAC-PapersOnLine, pp 491-496, 2018. (DOI).
  16. Assessment of risk in written communication: Introducing the Profile Risk Assessment Tool (PRAT). Nazar Akrami, Amendra Shrestha, Mathias Berggren, Lisa Kaati, Milan Obaidi och Katie Cohen. EUROPOL, Belgium, 2018. (fulltext).
  17. Changing the Educational Epistemologies of Computer Science Teachers: A Case Study of the Kingdom of Saudi Arabia. Fayiq Alghamdi, Aletta Nylén och Arnold Pears. I , IEEE, 2018. (fulltext:print).
  18. Computer science teachers perspectives on competencies: A case study in the Kingdom of Saudi Arabia. Fayiq Alghamdi, Arnold Pears och Aletta Nylén. I Informatics in Schools. Fundamentals of Computer Science and Software Engineering, volym 11169 av Lecture Notes in Computer Science, pp 129-140, Springer, 2018. (DOI).
  19. Maximizing limited resources: A limit-based study and taxonomy of out-of-order commit. Mehdi Alipour, Trevor E. Carlson, David Black-Schaffer och Stefanos Kaxiras. I Journal of Signal Processing Systems, volym 90, 2018. (DOI, Fulltext). Publikationsstatus: Epub ahead of print
  20. Dynamically Disabling Way-prediction to Reduce Instruction Replay. Ricardo Alves, Stefanos Kaxiras och David Black-Schaffer. I Proc. 36th International Conference on Computer Design, IEEE, 2018.
  21. 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).
  22. Data-Driven Impulse Response Regularization via Deep Learning. Carl Andersson, Niklas Wahlström och Thomas B. Schön. I Proceedings of 18th IFAC Symposium on System Identification SYSID 2018, IFAC-PapersOnLine, pp 1-6, 2018. (DOI).
  23. The Impact of Deep Brain Stimulation on a Simulated Neuron: Inhibition, Excitation, and Partial Recovery. Helena Andersson, Alexander Medvedev och Rubén Cubo. I 2018 European Control Conference, Limassol, Cyprus, 2018.
  24. 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, pp 473-491, 2018. (DOI, Fulltext, fulltext:print).
  25. The coordination between train traffic controllers and train drivers: a distributed cognition perspective on railway. Rebecca Andreasson, Anders Jansson och Jessica Lindblom. I Cognition, Technology & Work, pp 1-27, 2018. (DOI, Fulltext, fulltext:print). Publikationsstatus: Epub ahead of print
  26. 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).
  27. Security of Internet of Things for a Reliable Internet of Services. Ahmet Aris, Sema Oktu? och Thiemo Voigt. I Autonomous Control for a Reliable Internet of Services, Cham, 2018.
  28. 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).
  29. 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).
  30. Oprimal dynamic partial order reduction with observers. Stavros Aronis, Bengt Jonsson, Magnus Lång och Konstantinos Sagonas. I Tools and Algorithms for the Construction and Analysis of Systems, TACAS, 2018, volym 06 av Lecture Notes in Computer Science, Springer Berlin/Heidelberg, Berlin, 2018.
  31. Continuous residual reinforcement learning for traffic signal control optimization. Mohammad Aslani, Stefan Seipel och Marco Wiering. I Canadian journal of civil engineering (Print), volym 45, nummer 8, pp 690-702, 2018. (DOI).
  32. Verification and Evaluation of Computer and Communication Systems. Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze och Bruno Monsuez (red). Volym 11181 av Lecture Notes in Computer Science, Springer, 2018. (DOI).
  33. Verifying quantitative temporal properties of procedural programs. Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar och Prakash Saivasan. I 29th International Conference on Concurrency Theory, volym 118 av Leibniz International Proceedings in Informatics, pp 15:1-17, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2018. (DOI, Fulltext).
  34. International Workshop on Mining Attributed Networks (MATNET 2018) Chairs’ Welcome. Martin Atzmueller, Sabrina Gaito, Roberto Interdonato, Rushed Kanawati, Christine Largeron, Matteo Magnani och Alessandra Sala. ACM, 2018.
  35. 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).
  36. 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).
  37. 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).
  38. An efficient preconditioning method for state box-constrained optimal control problems. Owe Axelsson, Maya Neytcheva och Anders Ström. I Journal of Numerical Mathematics, volym 26, 2018. (DOI). Publikationsstatus: Epub ahead of print
  39. Parallel solution methods and preconditioners for evolution equations. Owe Axelsson, Maya Neytcheva och Zhao-Zheng Liang. I Mathematical Modelling and Analysis, volym 23, pp 287-308, 2018. (DOI, Fulltext).
  40. 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).
  41. PDNet: Semantic Segmentation integrated with a Primal-Dual Network for Document binarization. Kalyan Ram Ayyalasomayajula, Filip Malmberg och Anders Brun. I Pattern Recognition Letters, Elsevier, 2018. (DOI, https://arxiv.org/abs/1801.08694, fulltext:postprint). Publikationsstatus: In press
  42. Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction. Peter Backeman, Philipp Rümmer och Zelji? Aleksandar. I Formal Methods inComputer-Aided Design, pp 50-59, 2018.
  43. Denoising of short exposure transmission electron microscopy images for ultrastructural enhancement. Buda Bajic, Amit Suveer, Anindya Gupta, Ivana Pepic, Joakim Lindblad, Natasa Sladoje och Ida-Maria Sintorn. I International Symposium on Biomedical Imaging (ISBI 2018), pp 921-925, IEEE, 2018. (DOI).
  44. 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).
  45. 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).
  46. 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 426-445, 2018. (DOI, Fulltext).
  47. 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).
  48. Space–time FE–DG discretization of the anisotropic diffusion equation in any dimension: The spectral symbol. Pietro Benedusi, Carlo Garoni, Rolf Krause, Xiaozhou Li och Stefano Serra-Capizzano. I SIAM Journal on Matrix Analysis and Applications, volym 39, pp 1383-1420, 2018. (DOI).
  49. Detection of Malignancy-Associated Changes Due to Precancerous and Oral Cancer Lesions: A Pilot Study Using Deep Learning. Ewert Bengtsson, Håkan Wieslander, Gustav Forslid, Carolina Wählby, Jan-Michael Hirsch, Christina Runow Stark, Sajith Kecheril Sadanandan och Joakim Lindblad. I CYTO2018, 2018. (Extern länk).
  50. Spectral analysis of finite-dimensional approximations of 1<em>d</em> waves in non-uniform grids. Davide Bianchi och Stefano Serra-Capizzano. I Calcolo (Testo stampato), volym 55, pp 47:1-28, 2018. (DOI).
  51. Optimal controller/observer gains of discounted-cost LQG systems. Hildo Bijl och Thomas B. Schön. I Automatica, Elsevier, 2018. Publikationsstatus: Accepted
  52. 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 och Ikko Shimizu. I Monthly notices of the Royal Astronomical Society, volym 479, nummer 1, pp 368-376, 2018. (DOI, Fulltext, fulltext:preprint, fulltext:print).
  53. Declarative local-search neighbourhoods in MiniZinc. Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey och Guido Tack. I Proc. 30th International Conference on Tools with Artificial Intelligence, IEEE Computer Society, 2018.
  54. Language and teaching ethics. Ingrid Björk och Iordanis Kavathatzopoulos. I , 2018. (Extern länk).
  55. SoftCut: A Virtual Planning Tool for Soft Tissue Resection on CT Images. Ludovic Blache, Fredrik Nysjö, Filip Malmberg, Andreas Thor, Andres Rodriguez-Lorenzo och Ingela Nyström. I Medical Image Understanding and Analysis, Communications in Computer and Information Science, pp 299-310, Springer, Cham, 2018. (DOI).
  56. The Scarcity of Universal Colour Names. Gunilla Borgefors. I Proceedings of 7th International Conference on Pattern Recognition Applications and Methods, pp 496-502, 2018.
  57. C?: A New Modular Approach to Implementing Efficient and Tunable Collections. Stephan Brandauer, Elias Castegren och Tobias Wrigstad. I Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2018), pp 57-71, ACM, 2018. (DOI).
  58. Quantifying layer similarity in multiplex networks: a systematic study. Piotr Brodka, Anna Chmiel, Matteo Magnani och Giancarlo Ragozini. I Royal Society Open Science, volym 5, nummer 8, ROYAL SOC, 2018. (DOI, Fulltext, fulltext:print).
  59. Complex systems for society. Åsa Cajander. I XRDS, volym 25, nummer 1, pp 63-63, 2018. (DOI).
  60. 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).
  61. 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).
  62. 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).
  63. 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).
  64. Four relections on the history of ITiCSE. Lillian Cassel, Mats Daniels, Michael Goldweber och Judy Sheard. I ACM inroads, volym 9, nummer 4, pp 40-46, ACM Digital Library, 2018. (DOI).
  65. 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).
  66. 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).
  67. OOlong: An Extensible Concurrent Object Calculus. Elias Castegren och Tobias Wrigstad. I , pp 1-8, 2018. (DOI, fulltext:postprint).
  68. 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).
  69. 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 Proc. International Symposium on Performance Analysis of Systems and Software: ISPASS 2018, pp 1-11, IEEE Computer Society, 2018. (DOI, fulltext:preprint).
  70. Tail-PASS: Resource-based Cache Management for Tiled Graphics Rendering Hardware. Germán Ceballos, Erik Hagersten och David Black-Schaffer. I Proc. 16th International Conference on Parallel and Distributed Processing with Applications, IEEE, 2018.
  71. Understanding Task Parallelism: Providing insight into scheduling, memory, and performance for CPUs and Graphics. Germán Ceballos. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1737, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  72. 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).
  73. 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).
  74. Detecting Ponzi Schemes on Ethereum: Towards Healthier Blockchain Technology. Weili Chen, Zibin Zheng, Cui Jiahui, Edith Ngai, Peilin Zheng och Yuren Zhou. I WWW '18: Proceedings of the 2018 World Wide Web Conference, pp 1409-1418, ACM Digital Library, 2018. (DOI, Fulltext, fulltext:print).
  75. Anisotropic radial basis function methods for continental size ice sheet simulations. Gong Cheng och Victor Shcherbakov. I Journal of Computational Physics, volym 372, pp 161-177, 2018. (DOI).
  76. 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).
  77. 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).
  78. 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).
  79. Nonlinear system identification of the dissolved oxygen to effluent ammonium dynamics in an activated sludge process. Tatiana Chistiakova, Per Mattsson, Bengt Carlsson och Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2018-011, 2018. (Extern länk).
  80. Calculating Deep Brain Stimulation Amplitudes and Power Consumption by Constrained Optimization. Rubén Cubo, Markus Fahlström, Elena Jiltsova, Helena Andersson och Alexander Medvedev. I Journal of Neural Engineering, 2018. (Extern länk).
  81. 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).
  82. 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).
  83. Getting started with particle Metropolis-Hastings for inference in nonlinear dynamical models. Johan Dahlin och Thomas B. Schön. I Journal of Statistical Software, 2018. Publikationsstatus: Accepted
  84. 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).
  85. My SIGCSE -&gt; ITiCSE. Mats Daniels. I ACM inroads, volym 9, nummer 4, pp 101-101, ACM Digital Library, 2018. (DOI).
  86. 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).
  87. Networked delay control for 5G wireless machine-type communications using multiconnectivity. Ramón A. Delgado, Katrina Lau, Richard H. Middleton och Torbjörn Wigren. I IEEE Transactions on Control Systems Technology, volym 26, 2018. (DOI). Publikationsstatus: Epub ahead of print
  88. Stability properties of a MIMO data flow controller. Ramón A. Delgado, Torbjörn Wigren, Katrina Lau och Richard H. Middleton. I Proc. American Control Conference: ACC 2018, pp 2638-2643, American Automatic Control Council, 2018. (DOI).
  89. 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).
  90. Device caching for network offloading: Delay minimization with presence of user mobility. Tao Deng, Lei You, Pingzhi Fan och Di Yuan. I IEEE Wireless Communications Letters, volym 7, nummer 4, pp 558-561, 2018. (DOI).
  91. 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).
  92. Exploring properties of a telecommunication protocol with message delay using interactive theorem prover. Catherine Dubois, Olga Grinchtein, Justin Pearson och Mats Carlsson. I Software Engineering and Formal Methods, volym 10886 av Lecture Notes in Computer Science, pp 239-253, Springer, 2018. (DOI).
  93. 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).
  94. 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
  95. 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).
  96. 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).
  97. 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).
  98. 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).
  99. 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
  100. 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).
  101. 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).
  102. 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).
  103. Scaling RPL to Dense and Large Networks with Constrained Memory. Joakim Eriksson, Niclas Finne, Nicolas Tsiftes, Simon Duquennoy och Thiemo Voigt. I , 2018. (fulltext:postprint).
  104. 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).
  105. 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).
  106. A generalized force-directed layout for multiplex sociograms. Z. Fatemi, Matteo Magnani och M. Salehi. I Social Informatics - 10th International Conference, 2018.
  107. 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).
  108. Preliminary Results on LoRaWAN and IEEE 802.15.4-SUN Interference. Laura Marie Feeney, Charalampos Orfanidis, Martin Jacobsson och Per Gunningberg. I Proceedings of the 16th ACM Conference on Embedded Networked Sensor Systems, SenSys, pp 430-431, ACM, 2018. (DOI, Extern länk).
  109. Forward to a Promising Future. Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren och Huu-Phuc Vo. I Conference proceedings COORDINATION 2018, 2018. (fulltext:preprint).
  110. The impact of opt-in gamification on students' grades in a software design course. Kiko Fernandez-Reyes, Dave Clarke och Janina Hornbach. I 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).
  111. 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).
  112. 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.
  113. 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).
  114. Investigating deep learning approaches for human-robot proxemics. Yuan Gao, Sebastian Wallkötter, Mohammad Obaid och Ginevra Castellano. I Proc. 27th International Symposium on Robot and Human Interactive Communication, pp 1093-1098, IEEE, 2018. (DOI).
  115. When robot personalisation does not help: Insights from a robot-supported learning study. Yuan Gao, Wolmet Barendregt, Mohammad Obaid och Ginevra Castellano. I Proc. 27th International Symposium on Robot and Human Interactive Communication, pp 705-712, IEEE, 2018. (DOI, fulltext:postprint).
  116. 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).
  117. Block generalized locally Toeplitz sequences: From the theory to the applications. Carlo Garoni, Mariarosa Mazza och Stefano Serra-Capizzano. I Axioms, volym 7, pp 49:1-29, 2018. (DOI, Fulltext).
  118. 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).
  119. 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).
  120. 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).
  121. Model-theoretic Conservative Extension of Definitional Theories. Arve Gengelbach och Tjark Weber. I Electronical Notes in Theoretical Computer Science, volym 338, pp 133-145, 2018. (DOI, Fulltext, Extern länk).
  122. 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 och Annelie Tjernlund. I Journal of Infectious Diseases, volym 218, nummer 3, pp 453-465, 2018. (DOI).
  123. Connecting Battery-free IoT Tags Using LED Bulbs. Domenico Giustiniano, Ambuj Varshney och Thiemo Voigt. I , 2018.
  124. Analyzing work-related technology use from a UX perspective: the holisticUX method. Diane Golay. I NordiCHI '18 Proceedings of the 10th Nordic Conference on Human-Computer Interaction, pp 711-715, 2018. (DOI, Extern länk).
  125. 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).
  126. A general high order two-dimensional panel method. Anders Goude och Stefan Engblom. I Applied Mathematical Modelling, volym 60, pp 1-17, 2018. (DOI).
  127. "Participating Under the Influence”: How Role Models Affect the Computing Discipline, Profession, and Student Population. Virginia Grande, Anne-Kathrin Peters, Mats Daniels och Matti Tedre. I , 2018. (fulltext:preprint).
  128. Lost for Words! Defining the Language Around Role Models in Engineering. Virginia Grande. I Frontiers in Education 2018. Fostering Innovation Through Diversity: 2018 Conference Proceedings, 2018. (Extern länk, fulltext:postprint).
  129. 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).
  130. 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).
  131. Automatic detection of multisize pulmonary nodules in CT images: Large-scale validation of the false-positive reduction step. Anindya Gupta, Tonis Saar, Olev Martens och Yannick Le Moullec. I Medical physics (Lancaster), volym 45, nummer 3, pp 1135-1149, 2018. (DOI).
  132. Denoising of Short Exposure Transmission Electron Microscopy Images using CNN. Anindya Gupta, Amit Suveer, Buda Bajic, Ivana Pepic, Joakim Lindblad, Natasa Sladoje och Ida-Maria Sintorn. I Swedish Symposium on Image Analysis, 2018.
  133. From Interaction to Participation: The Role of the Imagined Audience in Social Media Community Detection and an Application to Political Communication on Twitter. Obaida Hanteer, Luca Rossi, Davide Vega och Matteo Magnani. I ASONAM, pp 531-534, IEEE Computer Society, 2018.
  134. A Platform for Experiments with Energy Storage Devices for Low-power Wireless Networks. Robert Hartung, Jan Käberich, Lars C. Wolf, Laura Marie Feeney, Christian Rohner och Per Gunningberg. I Proceedings of the 12th International Workshop on Wireless Network Testbeds, Experimental Evaluation &amp; Characterization, WiNTECH, pp 68-76, ACM, 2018. (DOI, Extern länk).
  135. Demo: Integration of a Platform for Energy Storage Experiments into a Generic Testbed Framework. Robert Hartung, Jan Käberich, Lars C. Wolf, Laura Marie Feeney, Christian Rohner och Per Gunningberg. I Proceedings of the 12th International Workshop on Wireless Network Testbeds, Experimental Evaluation &amp; Characterization, WiNTECH ’18, pp 77-78, ACM, 2018. (DOI, Extern länk).
  136. <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).
  137. A Fast Fourier based Feature Descriptor and a Cascade Nearest Neighbour Search with an Efficient Matching Pipeline for Mosaicing of Microscopy Images. Anders Hast, V. A. Sablina, Ida-Maria Sintorn och Gustaf Kylberg. I Pattern Recognition and Image Analysis, volym 28, nummer 2, pp 261-272, 2018. (DOI, Extern länk).
  138. 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).
  139. 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).
  140. 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).
  141. 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).
  142. 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).
  143. The Eldarica Horn Solver. Hossein Hojjat och Philipp Rümmer. I Formal Methods in Computer Aided Design 2018, IEEE, 2018.
  144. String constraints with concatenation and transducers solved efficiently. Lukas Holik, Petr Janku, Anthony W. Lin, Philipp Rümmer och Tomas Vojnar. I Proceedings of the ACM on Programming Languages, volym 2, pp 1-32, ACM Digital Library, New York, 2018. (DOI, fulltext:print).
  145. 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 och Anja E. Hauser. I Cytometry Part A, volym 93, nummer 9, pp 876-888, 2018. (DOI).
  146. Auxiliary particle filter-based two-filter smoothing for Wiener state-space models. Roland Hostettler och Thomas B. Schön. I <em>Proceedings of the 21st International Conference on Information Fusion,</em> Cambridge, UK, July, 2018., 2018.
  147. Crowdsourcing for Mobile Networks and IoT. Xiping Hu, Zhaolong Ning, Kuan Zhang, Edith Ngai, Kun Bai och Fei Wang. I Wireless Communications & Mobile Computing, WILEY-HINDAWI, 2018. (DOI, Fulltext, fulltext:print).
  148. 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).
  149. Age-related differences in seeking clarification to understand medical record information. Isto Huvila, Jonas Moll, Heidi Enwald, Noora Hirvonen, Rose-Mharie Åhlfeldt och Åsa Cajander. I Proc. 12th ISIC Conference, volym 22:4 av Information Research, 2018.
  150. Security on Harvested Power: Demo Abstract. Abdullah Hylamia, Marco Spanghero, Ambuj Varshney, Thiemo Voigt och Panagiotis Papadimitratos. I , 2018.
  151. Towards Battery-free Radio Tomographic Imaging: Demo Abstract. Abdullah Hylamia, Ambuj Varshney, Andreas Soleiman, Panagiotis Papadimitratos, Christian Rohner och Thiemo Voigt. I , 2018.
  152. The Kolmogorov forward fractional partial differential equation for the CGMY-process with applications in option pricing. Lars Josef Höök, Gustav Ludvigsson och Lina von Sydow. I Computers and Mathematics with Applications, volym 76, pp 2330-2344, 2018. (DOI).
  153. 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).
  154. Smoothing with Couplings of Conditional Particle Filters. Pierre Jacob, Fredrik Lindsten och Thomas B. Schön. I Journal of the American Statistical Association, Taylor & Francis, 2018. (DOI).
  155. Probabilistic modelling and reconstruction of strain. Carl Jidling, Johannes Hendriks, Niklas Wahlström, Alexander Gregg, Thomas B. Schön, Chris Wensrich och Adrian Wills. I Nuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms, volym 436, pp 141-155, 2018. (DOI, Science direct).
  156. 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).
  157. Robots for Learning. Wafa Johal, Ginevra Castellano, Fumihide Tanaka och Sandra Okita. I International Journal of Social Robotics, volym 10, nummer 3, pp 293-294, 2018. (DOI).
  158. 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).
  159. "I know that now, I'm going to learn this next": Promoting self-regulated learning with a robotic tutor. Aidan Jones, Susan Bull och Ginevra Castellano. I International Journal of Social Robotics, volym 10, nummer 4, pp 439-454, 2018. (DOI, Fulltext).
  160. 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, fulltext:print).
  161. Exploring the referral and usage of science fiction in HCI literature. Philipp Jordan, Omar Mubin, Mohammad Obaid och Paula Alexandra Silva. I Design, User Experience, and Usability: Part II, volym 10919 av Lecture Notes in Computer Science, pp 19-38, Springer, 2018. (DOI).
  162. AI and philosophizing. Iordanis Kavathatzopoulos. I , 2018.
  163. 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).
  164. Linguistic aspects in teaching and learning ethical skills. Iordanis Kavathatzopoulos. I , 2018.
  165. Making ethical competence possible. Iordanis Kavathatzopoulos. I , 2018.
  166. 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).
  167. 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).
  168. 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).
  169. A word from the editor. Christer Kiselman. I Esperantologio / Esperanto Studies, nummer 8, pp 8-12, KAVA-PECH, Dobrichovice, 2018.
  170. Aliroj al esperanto. Christer Kiselman, Renato Corsetti och Probal Dasgupta (red). KAVA-PECH, Dobrichovice, 2018. (Publishers homepage).
  171. Enkonduko: [Introduction]. Christer Kiselman. I Aliroj al esperanto: [Arriving to Esperanto], pp 5-8, KAVA-PECH, Dobrichovice, 2018.
  172. Esperantologio / Esperanto Studies, Issue 8: Salutvorto de la redaktoro. Christer Kiselman. I Esperantologio / Esperanto Studies, nummer 8, pp 3-7, KAVA-PECH, Dobrichovice, 2018.
  173. 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).
  174. 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, fulltext:postprint).
  175. 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
  176. 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).
  177. 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).
  178. 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).
  179. 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).
  180. 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).
  181. 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).
  182. <em>Interactive Segmentation of Glioblastoma for Post-surgical Treatment Follow-up</em>. Ashis Kumar Dhara, Erik Arids, Markus Fahlström, Johan Wikström, Elna-Marie Larsson och Robin Strand. I International Conference on Pattern Recognition ICPR 2018, IEEEexplore, 2018.
  183. <em>Segmentation of Post-operative Glioblastoma in MRI by U-Net with Patient-specific Interactive Refinement</em>. Ashis Kumar Dhara, Kalyan Ram, Erik Arvids, Markus Fahlström, Johan Wikström, Elna-Marie Larsson och Robin Strand. I Proceedings, Brain Lesion (BrainLes) workshop, 2018.
  184. Efficient minimum-energy scheduling with machine-learning based predictions for multiuser MISO systems. Lei Lei, Thang X. Vu, Lei You, Scott Fowler och Di Yuan. I Proc. International Conference on Communications: ICC 2018, IEEE Communications Society, 2018. (DOI).
  185. Power and load optimization in interference-coupled non-orthogonal multiple access networks. Lei Lei, Lei You, Yang Yang, Di Yuan, Symeon Chatzinotas och Björn Ottersten. I Proc. 37th Global Communications Conference, IEEE Communications Society, 2018.
  186. 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).
  187. Bayesian information criterion for signed measurements with application to sinusoidal signals. Changheng Li, Rong Zhang, Jian Li och Peter Stoica. I IEEE Signal Processing Letters, volym 25, nummer 8, pp 1251-1255, 2018. (DOI).
  188. Model order determination for signed measurements via the Bayesian information criterion. Changheng Li, Rong Zhang, Jian Li och Peter Stoica. I Proc. 10th Sensor Array and Multichannel Signal Processing Workshop, pp 366-370, IEEE, Piscataway, NJ, 2018. (DOI).
  189. 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).
  190. A robust structured preconditioner for time-harmonic parabolic optimal control problems. Zhao-Zheng Liang, Owe Axelsson och Maya Neytcheva. I Numerical Algorithms, volym 79, pp 575-596, 2018. (DOI, Fulltext).
  191. 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.
  192. 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).
  193. 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).
  194. 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).
  195. 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).
  196. Critical robotics: Exploring a new paradigm. Sara Ljungblad, Sofia Serholt, Tijana Milosevic, Niamh Ni Bhroin, Rikke Toft Nørgård, Pamela Lindgren, Charles Ess, Wolmet Barendregt och Mohammad Obaid. I Proc. 10th Nordic Conference on Human-Computer Interaction, pp 972-975, ACM Press, New York, 2018. (DOI).
  197. 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).
  198. 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).
  199. 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).
  200. Automating Targeted Property-Based Testing. Andreas Löscher och Konstantinos Sagonas. I IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), IEEE International Conference on Software Testing Verification and Validation, pp 70-80, IEEE, 2018. (DOI).
  201. 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).
  202. 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).
  203. When Can lp-norm Objective Functions Be Minimized via Graph Cuts?. Filip Malmberg och Robin Strand. I Combinatorial Image Analysis, Lecture Notes in Computer Science, pp 112-117, Springer, 2018. (DOI).
  204. An improved projection method. Ken Mattsson och Pelle Olsson. I Journal of Computational Physics, volym 372, pp 349-372, 2018. (DOI).
  205. 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).
  206. 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).
  207. 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).
  208. 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, 2018. (DOI).
  209. Recursive nonlinear-system identification using latent variables. Per Mattsson, Dave Zachariah och Peter Stoica. I Automatica, volym 93, pp 343-351, 2018. (DOI).
  210. Image-Based Detection of Patient-Specific Drug-Induced Cell-Cycle Effects in Glioblastoma. Damian J. Matuszewski, Carolina Wählby, Cecilia Krona, Sven Nelander och Ida-Maria Sintorn. I SLAS Discovery: Advancing Life Sciences R&D, volym 23, nummer 10, pp 1030-1039, 2018. (DOI, Fulltext, Extern länk).
  211. Minimal Annotation Training for Segmentation of Microscopy Images. Damian J. Matuszewski och Ida-Maria Sintorn. I , p 387-390, 2018.
  212. Investigations into the Use of Learning Agreements to Enhance Stakeholder Engagement and Promote Self-Efficacy in Computing Education. Roger McDermott, Mats Daniels, Mark Zarb, William Ballew och Tony Clear. I Proc. 48th Frontiers in Education Conference, 2018.
  213. Phronesis, Authentic Learning and the Solution of Open-Ended Problems in Computing and Engineering Education. Roger McDermott, Mats Daniels, Mark Zarb, William Ballew och Ville Isomöttönen. I Proc. 48th Frontiers in Education Conference, 2018.
  214. Nonlinear dynamics and entrainment in a continuously forced pulse-modulated model of testosterone regulation. Alexander Medvedev, Per Mattsson, Zhanybai T. Zhusubaliyev och Viktor Avrutin. I Nonlinear dynamics, volym 94, nummer 2, pp 1165-1181, 2018. (DOI, Fulltext).
  215. 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 och Richardson N. Leão. I Nature Communications, volym 9, pp 3638:1-15, 2018. (DOI, Fulltext).
  216. 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
  217. 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).
  218. 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).
  219. Linear scaling pseudo Fermi-operator expansion for fractional occupation. Susan M. Mniszewski, Romain Perriot, Emanuel H. Rubensson, Christian F. A. Negre, Marc J. Cawkwell och Anders M. N. Niklasson. I Journal of Chemical Theory and Computation, volym 14, 2018. (DOI). Publikationsstatus: Epub ahead of print
  220. Run-Time Assurance for the E-care@ home System. Uddin Ahmed Mobyen, Hossein Fotouhi, Uwe Köckemann, Maria Linden, Ivan Tomasic, Nicolas Tsiftes och Thiemo Voigt. I , 2018.
  221. Optimal harmonic period assignment: complexity results and approximation algorithms. Morteza Mohaqeqi, Mitra Nasri, Yang Xu, Anton Cervin och Karl-Erik Årzén. I Real-time systems, volym 54, nummer 4, pp 830-860, Springer, 2018. (DOI, Fulltext, Extern länk).
  222. 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 och Rose-Mharie Åhlfeldt. I Journal of Medical Internet Research, volym 20, nummer 11, 2018. (DOI, Fulltext).
  223. How to extend the application scope of GLT-sequences. Stanislav Morozov, Stefano Serra-Capizzano och Eugene Tyrtyshnikov. Technical report / Department of Information Technology, Uppsala University nr 2018-013, 2018. (Extern länk).
  224. 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
  225. Eddylicious: A Python package for turbulent inflow generation. Timofey Mukha och Mattias Liefvendahl. I SoftwareX, volym 7, pp 112-114, 2018. (DOI, Fulltext).
  226. 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.
  227. 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).
  228. Turbulucid: A Python package for post-processing of fluid flow simulations. Timofey Mukha. I Journal of Open Research Software, volym 6, 2018. (DOI, Fulltext).
  229. Automated learning with a probabilistic programming language: Birch. Lawrence Murray och Thomas B. Schön. I Annual Reviews in Control, volym 46, pp 29-43, Elsevier, 2018. (DOI).
  230. Delayed sampling and automatic Rao-Blackwellization of probabilistic programs. Lawrence Murray, Daniel Lundén, Jan Kudlicka, David Broman och Thomas B. Schön. I <em>Proceedings of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS)</em>, Lanzarote, Spain, April, 2018., 2018. (Extern länk).
  231. Distance Functions Based on Multiple Types of Weighted Steps Combined with Neighborhood Sequences. Benedek Nagy, Robin Strand och Nicolas Normand. I Journal of Mathematical Imaging and Vision, volym 60, nummer 8, pp 1209-1219, 2018. (DOI).
  232. Hamnar vi i skuggan av en AI?: En bok om artificiell intelligens och oss själva. Gerolf Nauwerck. I Människor och AI, pp 90-97, BoD – Books on Demand, Stockholm, 2018.
  233. The Digital Work Environment—a Challenge and an Opportunity for CSCW. Gerolf Nauwerck och Rebecka Cowen Forsell. I Proc. 16th European Conference on Computer-Supported Cooperative Work: Exploratory Papers, volym 2:1 av Reports of the European Society for Socially Embedded Technologies, EUSSET, 2018. (DOI, Fulltext).
  234. 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).
  235. 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).
  236. 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).
  237. 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, ACM Digital Library, 2018. (Extern länk).
  238. 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).
  239. A stability criterion for switching Lur'e systems with switching-path restrictions. Johannes Nygren och Kristiaan Pelckmans. I Automatica, volym 96, pp 337-341, 2018. (DOI).
  240. Frequency conditions for stable networked controllers with time-delay. Johannes Nygren, Torbjörn Wigren och Kristiaan Pelckmans. I International Journal of Control, volym 91, 2018. (DOI). Publikationsstatus: Epub ahead of print
  241. 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 och Ville Isomöttönen. I Proc. 48th Frontiers in Education Conference, 2018.
  242. Designing for experiences with socially interactive robots. Mohammad Obaid, Kirsikka Kaipainen, Aino Ahtinen och Ioana Ocnarescu. I Proc. 10th Nordic Conference on Human-Computer Interaction, pp 948-951, ACM Press, New York, 2018. (DOI).
  243. 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).
  244. Identification of nonlinear feedback mechanisms operating in closed loop using inertial sensors. Fredrik Olsson, Kjartan Halvorsen, Dave Zachariah och Per Mattsson. I , volym 51:15 av IFAC-PapersOnLine, pp 473-478, 2018. (DOI, fulltext:print).
  245. 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).
  246. Tremor Severity Rating by Markov Chains. Fredrik Olsson och Alexander Medvedev. I , volym 51:15 av IFAC-PapersOnLine, pp 317-322, 2018. (DOI, fulltext:print).
  247. 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).
  248. Learning localized spatio-temporal models from streaming data. Muhammad Osama, Dave Zachariah och Thomas B. Schön. I <em>Proceedings of the </em><em>35th International Conference on Machine Learning (ICML)</em>, Stockholm, Sweden, July, 2018., pp 3927-3935, 2018. (Extern länk).
  249. Forget About Privacy . . . or Not?. Norberto Patrignani, Diane Whitehouse och Monica Gemo. I Privacy And Identity Management: The Smart Revolution, volym 526 av IFIP Advances in Information and Communication Technology, pp 76-85, 2018. (DOI).
  250. 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).
  251. 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, volym 19, nummer 1, 2018. (DOI).
  252. The making of a computer scientist. Anne-Kathrin Peters och Judeth Oden Choi. I XRDS, volym 25, nummer 1, pp 7-8, 2018. (DOI).
  253. 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).
  254. Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018: Revised Selected Papers. Ruzica Piskac och Philipp Rümmer (red). Volym 11294 av Lecture Notes in Computer Science, Springer Publishing Company, 2018.
  255. 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).
  256. Battery-free 802.15. 4 Receiver. Carlos Pérez-Penichet, Claro Noda, Ambuj Varshney och Thiemo Voigt. I , 2018.
  257. Battery-free 802.15.4 receiver: demo abstract. Carlos Pérez-Penichet, Claro Noda, Ambuj Varshney och Thiemo Voigt. I , 2018.
  258. NOVIFAST: A Fast Algorithm for Accurate and Precise VFA MRI T<sub>1</sub> Mapping. Gabriel Ramos-Llordén, Gonzalo Vegas-Sánchez-Ferrero, Marcus Björk, Floris Vanhevel, Paul M. Parizel, Raúl San José Estépar, Arnold J. den Dekker och Jan Sijbers. I IEEE Transactions on Medical Imaging, volym 37, nummer 11, pp 2414-2427, IEEE, 2018. (DOI, Fulltext).
  259. Multiple-Input Single-Output Polynomial Nonlinear State-Space Model of the Li-ion Battery's Short-term Dynamics. Rishi Relan, Koen Tiels, Jean-Marc Timmermans och Johan Schoukens. I , volym 51:15 av IFAC-PapersOnLine, pp 497-502, 2018. (DOI).
  260. Sinusoidal parameter estimation from signed measurements obtained via time-varying thresholds. Jiaying Ren, Tianyi Zhang, Jian Li och Peter Stoica. I Proc. 52nd Asilomar Conference on Signals, Systems, and Computers, IEEE, Piscataway, NJ, 2018.
  261. 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).
  262. 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.
  263. Application of Uncertainty Quantification Techniques to Studies of Wall-Bounded Turbulent Flows. Saleh Rezaeiravesh. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1727, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image, errata).
  264. 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).
  265. 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).
  266. Systematic study of accuracy of wall-modeled large eddy simulation using uncertainty quantification techniques. Saleh Rezaeiravesh, Timofey Mukha och Mattias Liefvendahl. I Computing Research Repository, nummer 1810.05213, 2018. (Extern länk). Publikationsstatus: Submitted
  267. Automatic diagnosis of short-duration 12-lead ECG using a deep convolutional network. Antonio Ribeiro, Manoel Ribeiro, Gabriela Paixao, Derick Oliveira, Paulo Gomes, Jessica Canazart, Milton Pifano, Meira Wagner, Thomas B. Schön och Antonio Ribeiro. I <em>ML4H: Machine Learning for Health Workshop at NeurIPS</em>, Montréal, Canada, December 2018., 2018. (Extern länk).
  268. Region-by-region analysis of PET, MRI, and histology in en bloc-resected oligodendrogliomas reveals intra-tumoral heterogeneity.. Kenney Roy Roodakker, Ali Alhuseinalkhudhur, Mohammed Al-Jaff, Maria Georganaki, Maria Zetterling, Shala G. Berntsson, Torsten Danfors, Robin Strand, Per-Henrik D Edqvist, Anna Dimberg, Elna-Marie Larsson och Anja Smits. I European Journal of Nuclear Medicine and Molecular Imaging, 2018. (DOI, Fulltext, fulltext:print). Publikationsstatus: Epub ahead of print
  269. Non-Speculative Store Coalescing in Total Store Order. Alberto Ros och Stefanos Kaxiras. I Proc.45th International Symposium on Computer Architecture, pp 221-234, IEEE, 2018. (DOI, fulltext:postprint).
  270. The Superfluous Load Queue. Alberto Ros och Stefanos Kaxiras. I Proc. 51st IEEE/ACM International Symposium on Microarchitecture, 2018. (fulltext:postprint).
  271. 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).
  272. Brush Biopsy For HR-HPV Detection With FTA Card And AI For Cytology Analysis - A Viable Non-invasive Alternative. Christina Runow Stark, Inger Gustavsson, Ulf Gyllensten, Eva Darai Ramqvist, Joakim Lindblad, Carolina Wählby, Ewert Bengtsson och Jan-Michael Hirsch. I EAOM2018, 2018.
  273. High-fidelity sound propagation in a varying 3D atmosphere. Ylva Rydin, Ken Mattsson och Jonatan Werpers. I Journal of Scientific Computing, volym 77, pp 1278-1302, 2018. (DOI, Fulltext).
  274. 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).
  275. 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).
  276. Progress on Algorithms for Stateless Model Checking. Konstantinos Sagonas. I Electronic Proceedings in Theoretical Computer Science, nummer 268, OPEN PUBL ASSOC, 2018. (DOI).
  277. On threats and violence for staff and patient accessible electronic health records. Ulrika Sahlin Åkerstedt, Åsa Cajander, Jonas Moll och Ture Ålander. I Cogent Psychology, volym 5, 2018. (DOI, Fulltext, fulltext:print).
  278. Information systems in nurses' work environment: From flexibility to boundedness. Minna Salminen-Karlsson. I , 2018.
  279. 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 och Per G. Söderberg. I Acta Ophthalmologica Scandinavica, volym 96, 2018. (DOI). Publikationsstatus: Epub ahead of print
  280. Orbital shape in intentional skull deformations and adult sagittal craniosynostoses. Ronak Sandy, Quentin Hennocq, Johan Nysjö, Guillaume Giran, Martin Friess och Roman Hossein Khonsari. I Journal of Anatomy, volym 233, nummer 3, pp 302-310, 2018. (DOI).
  281. Probabilistic programming allows for automated inference in factor graph models. Matteo Scandella, Lawrence Murray och Thomas B. Schön. I , 2018.
  282. 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
  283. 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).
  284. 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).
  285. Learning Outcome Outcomes: An Evaluation of Quality. Daniel Sigurgeirsson, Marta Lárusdóttir, Mohammad Hamdaga, Mats Daniels och Björn Jónsson. I Proc. 48th Frontiers in Education Conference, 2018.
  286. Uniprocessor scheduling of real-time synchronous dataflow tasks. Abhishek Singh, Pontus Ekberg och Sanjoy Baruah. I Real-time systems, volym 54, 2018. (DOI). Publikationsstatus: Epub ahead of print
  287. 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).
  288. Modeling and Interpolation of the Ambient Magnetic Field by Gaussian Processes. Arno Solin, Manon Kok, Niklas Wahlstro?m, Thomas B. Schön och Simo Särkkä. I IEEE Transactions on robotics, volym 34, nummer 4, pp 1112-1127, Institute of Electrical and Electronics Engineers (IEEE), 2018. (DOI).
  289. Whole Slide Image Registration for the Study of Tumor Heterogeneity. Leslie Solorzano, Gabriela Almeida, Bárbara Mesquita, Diana Martins, Carla Oliveira och Carolina Wählby. I MICCAI 2018 - International Workshop on Ophthalmic Medical Image Analysis: OMIA 2018, COMPAY 2018: Computational Pathology and Ophthalmic Medical Image Analysis, volym 11039 av Lecture Notes in Computer Science (LNCS), pp 95-102, Springer, Spain, 2018. (DOI, Extern länk).
  290. 2D-frequency domain identification of complex sinusoids in the presence of additive noise. Umberto Soverini och Torsten Söderström. I , volym 51:15 av IFAC-PapersOnLine, pp 820-825, 2018. (DOI).
  291. Identification of two-dimensional complex sinusoids in white noise: a state-space frequency approach. Umberto Soverini och Torsten Söderström. I , volym 51:15 av IFAC-PapersOnLine, pp 996-1001, 2018. (DOI).
  292. 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).
  293. 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
  294. How consistent is my model with the data? Information-theoretic model check. Andreas Svensson, Dave Zachariah och Thomas B. Schön. I , pp 407-412, IFAC Papers Online, 2018. (DOI, Fulltext, Extern länk).
  295. 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.
  296. 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).
  297. 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).
  298. 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 och David J. T. Sumpter. I Animal Behaviour, volym 142, pp 165-179, ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 2018. (DOI).
  299. Errors-in-Variables Methods in System Identification. Torsten Söderström. Springer, 2018. (DOI).
  300. 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.
  301. Partial and Overlapping Community Detection in Multiplex Social Networks. Nazanin Afsarmanesh Tehrani och Matteo Magnani. I Social Informatics - 10th International Conference, Lecture Notes in Computer Science, pp 15-28, Springer, 2018.
  302. 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).
  303. 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).
  304. HarmonicIO: Scalable data stream processing for scientific datasets. Preechakorn Torruangwatthana, Håkan Wieslander, Ben Blamey, Andreas Hellander och Salman Toor. I Proc. 11th International Conference on Cloud Computing, pp 879-882, IEEE Computer Society, Los Alamitos, CA, 2018. (DOI).
  305. An Objective Scoring Framework for Histology Slide Image Mosaics Applicable for the Reliable Benchmarking of Image Quality Assessment Algorithms. Tiberiu Totu, Roxana Buga, Adrian Dumitru, Mariana Costache, Natasa Sladoje och Stefan Stanciu. I IEEE Access, volym 6, pp 53080-53081, IEEE, 2018. (DOI).
  306. 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 och Stefanos Kaxiras. I 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).
  307. 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).
  308. 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).
  309. Velox VM: A safe execution environment for resource-constrained IoT applications. Nicolas Tsiftes och Thiemo Voigt. I Journal of Network and Computer Applications, volym 118, pp 61-73, 2018. (DOI).
  310. Velox VM: A safe execution environment for resource-constrained IoT applications. Nicolas Tsiftes och Thiemo Voigt. I Journal of Network and Computer Applications, 2018.
  311. Learning convex bounds for linear quadratic control policy synthesis. Jack Umenberger och Thomas B. Schön. I <em>Neural Information Processing Systems (NeurIPS)</em>, Montréal, Canada, 2018.
  312. Maximum likelihood identification of stable linear dynamical systems. Jack Umenberger, Johan Wågberg, Ian R. Manchester och Thomas B. Schön. I Automatica, volym 96, pp 280-292, 2018. (DOI).
  313. 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).
  314. The Self-Flipped Classroom Concept: Underlying Ideas and Experiences. Anna Vasilchenko, Åsa Cajander, Mats Daniels och Madeline Balaam. I Proc. 48th Frontiers in Education Conference, 2018.
  315. 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: Book of Abstracts, 2018. (Abstracts).
  316. Foundations of Temporal Text Networks. Davide Vega och Matteo Magnani. I Applied Network Science, volym 3, nummer 1, pp 25-1, 2018.
  317. An improved high order finite difference method for non-conforming grid interfaces for the wave equation. Siyang Wang. I Journal of Scientific Computing, volym 77, pp 775-792, 2018. (DOI, Fulltext).
  318. 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).
  319. A City-Wide Real-Time Traffic Management System: Enabling Crowdsensing in Social Internet of Vehicles. Xiaojie Wang, Zhaolong Ning, Xiping Hu, Edith Ngai, Lei Wang, Bin Hu och Ricky Kwok. I IEEE Communications Magazine, volym 56, nummer 9, pp 19-25, 2018. (DOI, fulltext:postprint).
  320. Large continuous perspective change with noncoplanar points enables accurate slant perception. Xiaoye Michael Wang, Mats Lind och Geoffrey P. Bingham. I Journal of Experimental Psychology: Human Perception and Performance, volym 44, nummer 10, pp 1508-1522, 2018. (DOI).
  321. Image Processing using Color SpaceModels for Forensic Fiber Detection. Elisabeth Wetzer och Hans Lohninger. I IFAC PapersOnLine, 2018. (DOI).
  322. Towards automated multiscale imaging and analysis in TEM: Glomeruli detection by fusion of CNN and LBP maps. Elisabeth Wetzer, Joakim Lindblad, Ida-Maria Sintorn, Kjell Hultenby och Natasa Sladoje. I Swedish Symposium on Deep Learning, 2018.
  323. Towards automated multiscale imaging and analysis in TEM: Glomerulus detection by fusion of CNN and LBP maps. Elisabeth Wetzer, Joakim Lindblad, Ida-Maria Sintorn, Kjell Hultenby och Natasa Sladoje. I Workshop on BioImage Computing @ ECCV 2018, Springer, 2018.
  324. Reliability performance aware routing. Pawel Wiatr och Di Yuan. I Proc. 10th International Workshop on Resilient Networks Design and Modeling, IEEE, 2018. (DOI).
  325. 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).
  326. Improving the particle filter in high dimensions using conjugate artificial process noise. Anna Wigren, Lawrence Murray och Fredrik Lindsten. I Proceedings of the 18th IFAC Symposium on System Identification, volym 15 av IFAC-PapersOnLine, pp 670-675, IFAC Papers Online, 2018. (DOI, fulltext:print).
  327. A disturbance rejection and data rate trade-off in networked data flow control. Torbjörn Wigren. I European Journal of Control, volym 44, 2018. (DOI). Publikationsstatus: Epub ahead of print
  328. Delay skew packet flow control in wireless systems with dual connectivity. Torbjörn Wigren, Katrina Lau, Ramón A. Delgado och Richard H. Middleton. I IEEE Transactions on Vehicular Technology, volym 67, nummer 6, pp 5357-5371, 2018. (DOI).
  329. 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).
  330. Wireless hybrid positioning based on surface modeling with polygon support. Torbjörn Wigren. I Proc. 87th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2018. (DOI).
  331. 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).
  332. 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).
  333. Regularized parametric system identification: a decision-theoretic formulation. Johan Wågberg, Dave Zachariah och Thomas B. Schön. I <em>Proceedings of the American Control Conference (ACC)</em>, Milwaukee, WI, USA, June, 2018., IEEE, 2018. (DOI).
  334. 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).
  335. 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. (DOI, fulltext:print).
  336. Convergence in networked recursive identification with output quantization. Sholeh Yasini och Torbjörn Wigren. I , volym 51:15 av IFAC-PapersOnLine, pp 915-920, 2018. (DOI).
  337. Counterexamples to parametric convergence in recursive networked identification. Sholeh Yasini och Torbjörn Wigren. I Proc. American Control Conference: ACC 2018, pp 258-264, American Automatic Control Council, 2018. (DOI).
  338. 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, 2018. (DOI).
  339. ECOVIBE: On-Demand Sensing for Railway Bridge Structural Health Monitoring. Liu Ye, Thiemo Voigt, Niklas Wirström och Joel Höglund. I IEEE Internet of Things Journal, 2018.
  340. Resource optimization with load coupling in multi-cell NOMA. Lei You, Di Yuan, Lei Lei, Sumei Sun, Symeon Chatzinotas och Björn Ottersten. I IEEE Transactions on Wireless Communications, volym 17, nummer 7, pp 4735-4749, 2018. (DOI).
  341. Model-robust counterfactual prediction method. Dave Zachariah och Peter Stoica. I ICML Workshop on Machine Learning for Causal Inference, Counterfactual Prediction, and Autonomous Action, 2018.
  342. 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).
  343. 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
  344. 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
  345. 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
  346. 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).
  347. Exploring Approximations for Floating-Point Arithmetic using UppSAT. Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger och Philipp Rümmer. I Automated Reasoning - 2018, volym 10900 av Lecture Notes in Computer Science, pp 246-262, Cham, 2018. (DOI).
  348. 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).
  349. 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).
  350. 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 och Bin Hu. I IEEE Internet of Things Journal, volym 5, nummer 4, pp 2633-2645, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2018. (DOI).
  351. Energy-Latency Tradeoff for Energy-Aware Offloading in Mobile Edge Computing Networks. Jiao Zhang, Xiping Hu, Zhaolong Ning, Edith Ngai, Zhou Li, Jibo Wei, Jun Cheng och Bin Hu. I IEEE Internet of Things Journal, pp 2633-2645, 2018. (DOI).
  352. Bandit Learning with Concurrent Transmissions for Energy-Efficient Flooding in Sensor Networks. Peilin Zhang, Yuan Gao och Oliver E. Theel. I , 2018.
  353. Constructing a Weak Memory Model. Sizhuo Zhang, Muralidaran Vijayaraghavan, Andrew Wright, Mehdi Alipour och Arvind Mithal. I , ACM/IEEE Annual International Symposium on Computer Architecture (ISCA), pp 124-137, IEEE, New York, 2018. (DOI, fulltext:postprint).
  354. 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).
  355. 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
  356. 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).
  357. 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 och Lina von Sydow. I Geoscientific Model Development, volym 11, pp 4563-4576, 2018. (DOI, Fulltext).
  358. 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).
  359. 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).
  360. 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.
  361. Distance Between Vector-valued Images based on Intersection Decomposition with Applications in Object Detection. Johan Öfverstedt, Natasa Sladoje och Joakim Lindblad. I Swedish Symposium on Image Analysis, 2018.
  362. Fast and Robust Symmetric Image Registration Based on Intensity and Spatial Information. Johan Öfverstedt, Joakim Lindblad och Natasa Sladoje. I arXiv, 2018. (Extern länk).
  363. Stochastic Distance Transform. Johan Öfverstedt, Joakim Lindblad och Natasa Sladoje. I arXiv, 2018. (Extern länk).

Uppdaterad  2018-11-10 15:47:17 av Kurt Otto.