Hoppa till huvudinnehållet
Institutionen för informationsteknologi

Publikationer 2018

  1. Optimal Stateless Model Checking under the Release-Acquire Semantics. Parosh Abdulla, Mohamed Faouzi Atig, Bengt Jonsson och Tuan-Phong Ngo. I SPLASH OOPSLA 2018, Boston, Nov 4-9, 2018, ACM Digital Library, 2018. (Extern länk).
  2. Optimal Stateless Model Checking under the Release-Acquire Semantics. Parosh Abdulla, Mohamed Faouzi Atig, Bengt Jonsson och Tuan-Phong Ngo. I Proceedings of the ACM on Programming Languages, volym 2, nummer OOPSLA, pp 1-29, Association for Computing Machinery (ACM), 2018. (DOI, Fulltext, fulltext:print).
  3. Perfect timed communication is hard. Parosh 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, Fulltext).
  4. 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).
  5. 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).
  6. 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).
  7. 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).
  8. Model checking parameterized systems. Parosh Aziz Abdulla, A. Prasad Sistla och Muralidhar Talupur. I Handbook of Model Checking, pp 685-725, Springer, 2018. (DOI).
  9. 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).
  10. 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 Proceedings of the 2018 18th Conference on Formal Methods in Computer Aided Design (FMCAD), IEEE, 2018. (DOI, Extern länk).
  11. 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).
  12. 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).
  13. 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).
  14. Convolutional Neural Networks for Efficient Localization of Interstitial Lung Disease Patterns in HRCT Images. Sunita Agarwala, Abhishek Kumar, Debashis Nandi, Ashis Kumar Dhara, Anup Sadhu, Sumitra Basu Thakur och Ashok Kumar Bhadra. I Medical Image Understanding and Analysis: 22nd Conference, MIUA 2018, Southampton, UK, July 9-11, 2018, Proceedings, volym 894 av Communications in Computer and Information Science (CCIS), pp 12-22, Springer Nature, 2018. (DOI).
  15. On optimal proactive and retention-aware caching with user mobility. Ghafour Ahani och Di Yuan. I 2018 IEEE 88th Vehicular Technology Conference (VTC-Fall), IEEE Vehicular Technology Conference Proceedings, IEEE, 2018. (DOI).
  16. 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).
  17. Automated Diagnostic of Virtualized Service Performance Degradation. Jawwad Ahmed, Tim Josefsson, Andreas Johnsson, Christofer Flinta, Farnaz Moradi, Rafael Pasquini och Rolf Stadler. I NOMS 2018 - 2018 IEEE/IFIP Network operations and management symposium, IEEE IFIP Network Operations and Management Symposium, IEEE, New York, 2018.
  18. 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).
  19. 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).
  20. 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).
  21. Conveying Emotions by Touch to the Nao Robot: A User Experience Perspective. Beatrice Alenljung, Rebecca Andreasson, Robert Lowe, Erik Billing och Jessica Lindblom. I Multimodal Technologies and Interaction, volym 2, nummer 4, 2018. (DOI, Fulltext).
  22. 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 2018 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, IEEE, Piscataway, NJ, 2018. (DOI).
  23. 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).
  24. Dynamically Disabling Way-prediction to Reduce Instruction Replay. Ricardo Alves, Stefanos Kaxiras och David Black-Schaffer. I 2018 IEEE 36th International Conference on Computer Design (ICCD), Proceedings IEEE International Conference on Computer Design, pp 140-143, IEEE, 2018. (DOI, Extern länk).
  25. 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).
  26. Model Checking Bounded Continuous-time Extended Linear Duration Invariants. Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang och Yi Wang. I HSCC 2018: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (HSCC), pp 81-90, ASSOC COMPUTING MACHINERY, 2018. (DOI).
  27. Data-driven impulse response regularization via deep learning. Carl Andersson, Niklas Wahlström och Thomas B. Schön. I , volym 51:15 av IFAC-PapersOnLine, pp 1-6, 2018. (DOI).
  28. The impact of deep brain stimulation on a simulated neuron: Inhibition, excitation, and partial recovery. Helena Andersson, Alexander Medvedev och Rubén Cubo. I Proc. 16th European Control Conference, pp 2034-2039, IEEE, 2018. (DOI).
  29. 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).
  30. BIM and 3D property visualisation. Martin Andrée, Jesper M. Paasch, Jenny Paulsson och Stefan Seipel. I Proc. FIG Congress 2018, 2018. (Extern länk).
  31. 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).
  32. 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: Methods, Models, Approaches, Techniques, Algorithms, and Tools, Cham, 2018. (DOI, Fulltext, fulltext:print).
  33. An equation-free approach for second order multiscale hyperbolic problems in non-divergence form. Doghonay Arjmand och Gunilla Kreiss. I Communications in Mathematical Sciences, volym 16, pp 2317-2343, 2018. (DOI).
  34. 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).
  35. 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).
  36. Optimal 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: Part II, volym 10806 av Lecture Notes in Computer Science, pp 229-248, Springer, 2018. (DOI, Fulltext, Förlagets fulltext - Bok, fulltext:print).
  37. Characterization of the Fat Channel for Intra-Body Communication at R-Band Frequencies. Noor Badariah Asan, Emadeldeen Hassan, Jacob Velander, Syaiful Redzwan, Daniel Noreland, Taco J. Blokhuis, Eddie Wadbro, Martin Berggren, Thiemo Voigt och Robin Augustine. I Sensors, volym 18, nummer 9, 2018. (DOI, Fulltext, fulltext:print).
  38. Effect of thickness inhomogeneity in fat tissue on in-body microwave propagation. Noor Badariah Asan, Jacob Velander, Syaiful Redzwan, Mauricio D. Perez, Emadeldeen Hassan, Taco J. Blokhuis, Thiemo Voigt och Robin Augustine. I 2018 IEEE International Microwave Biomedical Conference (IMBioC), pp 136-138, IEEE, Philadelphia, USA, 2018. (DOI, fulltext:postprint).
  39. Effects of Blood Vessels on Fat Channel Microwave Communication. Noor Badariah Asan, Syaiful Redzwan, Jacob Velander, Mauricio D. Perez, Robin Augustine, Thiemo Voigt, Emadeldeen Hassan och Taco J. Blokhuis. I 2018 IEEE Conference On Antenna Measurements & Applications (CAMA), IEEE Conference on Antenna Measurements & Applications, IEEE, 2018.
  40. Impact of Blood Vessels on Data Packet Transmission Through the Fat Channel. Noor Badariah Asan, Emadeldeen Hassan, Syaiful Redzwan, Jacob Velander, Thiemo Voigt och Robin Augustine. I 2018 IEEE International RF and Microwave Conference (RFM), IEEE MTT-S International Microwave and RF Conference, pp 196-198, IEEE, 2018. (DOI).
  41. Service Level Agreements for Safe and Configurable Production Environments. Mohammad Ashjaei, Kester Clegg, Lorenzo Corneo, Richard Hawkins, Omar Jaradat, Vincenzo Massimiliano Gulisano och Yiannis Nikolakopoulos. I 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE International Conference on Emerging Technologies and Factory Automation-ETFA, pp 1252-1255, IEEE, 2018. (DOI, Extern länk).
  42. 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).
  43. Traffic signal optimization through discrete and continuous reinforcement learning with robustness analysis in downtown Tehran. Mohammad Aslani, Stefan Seipel, Mohammad Saadi Mesgari och Marco Wiering. I Advanced Engineering Informatics, volym 38, pp 639-655, 2018. (DOI).
  44. 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).
  45. 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).
  46. 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. I WWW '18: Companion Proceedings of the Web Conference 2018, pp 1231-1233, Association for Computing Machinery (ACM), 2018. (DOI).
  47. 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).
  48. 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).
  49. 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).
  50. 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, pp 185-207, 2018. (DOI).
  51. 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).
  52. 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).
  53. Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction. Peter Backeman, Philipp Rümmer och Aleksandar Zeljic. I Formal Methods in Computer-Aided Design, pp 50-59, IEEE, 2018. (DOI, fulltext:postprint).
  54. Performance evaluation of IEC 61850-90-5 over a latency optimized 3GPP LTE network. Gargi Bag, Morgan Johansson, Luka Lednicki, Jonas Neander, Linus Eriksson, Rajendra Bogati, Petri Hovila, Juha Saarinen och Johan Torsner. I Proc. 9th International Conference on Smart Grid Communications, IEEE, 2018. (DOI).
  55. Editorial: Novel methods and theories in numerical algebra with interdisciplinary applications. Zhong-Zhi Bai, Maya Neytcheva och Lothar Reichel. I Numerical Linear Algebra with Applications, volym 25, nummer 4, Wiley, 2018. (DOI).
  56. 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 Proc. 15th International Symposium on Biomedical Imaging, pp 921-925, IEEE, 2018. (DOI).
  57. Investigations into the Use of Learning Agreements to Enhance Stakeholder Engagement and Promote Self-Efficacy in Computing Education. William Ballew, Roger McDermott, Mark Zarb, Mats Daniels och Tony Clear. I 2018 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, IEEE, Piscataway, NJ, 2018. (DOI).
  58. 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).
  59. Preface for the special issue on Interaction and Concurrency Experience 2016. Massimo Bartoletti, Ludovic Henrio, Sophia Knight och Hugo Torres Vieira. I The Journal of logical and algebraic methods in programming, volym 98, pp 26-26, 2018. (DOI).
  60. 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).
  61. 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).
  62. 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).
  63. 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).
  64. 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).
  65. "How research came inside me as a new knowledge": An inside perspective from two Bhutanese students on learning research in Computing Education. Anders Berglund, Ville Isomöttönen, Dekar Lhamo och Phurpa Tshering. I 2018 6th International Conference on Learning and Teaching in Computing and Engineering (LaTICE), International Conference on Teaching and Learning in Computing and Engineering, pp 98-102, IEEE, 2018. (DOI).
  66. Spectral analysis of finite-dimensional approximations of 1<em>d</em> waves in non-uniform grids. Davide Bianchi och Stefano Serra-Capizzano. I Calcolo, volym 55, pp 47:1-28, 2018. (DOI).
  67. 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).
  68. Declarative local-search neighbourhoods in MiniZinc. Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey och Guido Tack. I PROCEEDINGS OF THE 2018 IEEE 30TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), pp 98-105, IEEE Computer Society, 2018. (DOI).
  69. Language and teaching ethics. Ingrid Björk och Iordanis Kavathatzopoulos. I , 2018. (Extern länk).
  70. 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, Extern länk).
  71. The Scarcity of Universal Colour Names. Gunilla Borgefors. I Proceedings of 7th International Conference on Pattern Recognition Applications and Methods (ICPRAM 2018), pp 496-502, SciTePress, 2018. (DOI).
  72. 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).
  73. Structured Data. Stephan Brandauer. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1749, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  74. 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).
  75. Complex systems for society. Åsa Cajander. I XRDS, volym 25, nummer 1, pp 63-63, 2018. (DOI).
  76. 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).
  77. Software engineering with conflicting user needs: Patient accessible electronic patient records. Åsa Cajander. I Proceedings of the International Workshop on Software Engineering in Healthcare Systems, pp 1-1, IEEE, 2018. (DOI).
  78. 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).
  79. 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).
  80. Battery-free 802.15. 4 Receiver. Pérez-Penichet Carlos, Claro Noda, Ambuj Varshney och Thiemo Voigt. I 17th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), IEEE, 2018. (DOI).
  81. 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).
  82. Extending Automata Learning to Extended Finite State Machines. Sofia Cassel, Falk Howar, Bengt Jonsson och Bernhard Steffen. I Machine Learning for Dynamic Software Analysis: Potentials and Limits, volym 11026 av Lecture Notes in Computer Science, pp 149-177, Springer, 2018. (DOI).
  83. Attached and Detached Closures in Actors. Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Tobias Wrigstad och Albert Mingkun Yang. I Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, pp 54-61, ACM Digital Library, 2018. (DOI).
  84. 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).
  85. 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).
  86. OOlong: An Extensible Concurrent Object Calculus. Elias Castegren och Tobias Wrigstad. I SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, pp 1022-1029, 2018. (DOI, fulltext:postprint).
  87. OOlong: A Concurrent Object Calculus for Extensibility and Reuse. Elias Castegren och Tobias Wrigstad. I ACM SIGAPP Applied Computing Review, volym 18, nummer 4, pp 47-60, Association for Computing Machinery, 2018. (DOI).
  88. Environmental Control at the Edge. Victoria Catalán Rivas, Emil Fröjd, Tobias Holmberg, Felix Ragnarsson, Elsa Rick, Lorenzo Corneo, Ambuj Varshney, Christian Rohner, Thiemo Voigt och Per Gunningberg. I , 2018. (fulltext:print).
  89. 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).
  90. 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).
  91. 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, pp 55-63, IEEE, 2018. (DOI).
  92. 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).
  93. EDF-VD Scheduling of Flexible Mixed-Criticality System With Multiple-Shot Transitions. Gang Chen, Nan Guan, Biao Hu och Yi Wang. I IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, volym 37, nummer 11, pp 2393-2403, 2018. (DOI).
  94. 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 IEEE Transactions on Computers, volym 67, nummer 4, pp 543-558, IEEE COMPUTER SOC, 2018. (DOI).
  95. 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).
  96. 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).
  97. 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).
  98. 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).
  99. 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).
  100. Input–output stability design of an ammonium based aeration controller for wastewater treatment. Tatiana Chistiakova, Torbjörn Wigren och Bengt Carlsson. I 2018 Annual American Control Conference (ACC), Proceedings of the American Control Conference (ACC), pp 2964-2971, Institute of Electrical and Electronics Engineers (IEEE), 2018. (DOI).
  101. 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, Uppsala universitet, Uppsala, 2018. (Report in fulltext, fulltext).
  102. Scheduling at the Edge for Assisting Cloud Real-Time Systems. Lorenzo Corneo och Per Gunningberg. I Proceedings of the 2018 Workshop on Theory and Practice for Integrated Cloud, Fog and Edge Computing Paradigms, pp 9-14, ACM, New York, NY, USA, 2018. (DOI).
  103. Orchestral: a lightweight framework for parallel simulations of cell–cell communication. Adrien Coulier och Andreas Hellander. I Proc. 14th International Conference on e-Science, pp 168-176, IEEE Computer Society, Los Alamitos, CA, 2018. (DOI).
  104. 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).
  105. 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).
  106. 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, Oxford University Press, 2018. (DOI, Fulltext, fulltext:print).
  107. My SIGCSE -&gt; ITiCSE. Mats Daniels. I ACM inroads, volym 9, nummer 4, pp 101-101, ACM Digital Library, 2018. (DOI).
  108. A multi-criteria optimization model for emission-concerned multi-depot vehicle routing problem with heterogeneous fleet. Tuan Anh Dao och Anh Nguyen-Thi-Ngoc. I 2018 International Conference on Applied Smart Systems (ICASS), Institute of Electrical and Electronics Engineers (IEEE), 2018. (DOI).
  109. 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).
  110. On selecting appropriate training data to model an autonomous oscillator. J. Decuyper, T. De Troyer, M. C. Runacres, Koen Tiels och J. Schoukens. I Proc. 28th International Conference on Noise and Vibration Engineering, pp 2601-2614, Katholieke Univ. Leuven, 2018.
  111. 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).
  112. 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).
  113. 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).
  114. Interactive segmentation of glioblastoma for post-surgical treatment follow-up. Ashis Kumar Dhara, Erik Arids, Markus Fahlström, Johan Wikström, Elna-Marie Larsson och Robin Strand. I Proc. 24th International Conference on Pattern Recognition, pp 1199-1204, IEEE, 2018. (DOI).
  115. Analysis of photobioreactors in series. Stefan Diehl, Jesus Zambrano och Bengt Carlsson. I Mathematical Biosciences, volym 306, pp 107-118, ELSEVIER SCIENCE INC, 2018. (DOI).
  116. 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).
  117. Spectral analysis and multigrid methods for finite volume approximations of space-fractional diffusion equations. Marco Donatelli, Mariarosa Mazza och Stefano Serra-Capizzano. I SIAM Journal on Scientific Computing, volym 40, pp A4007-A4039, 2018. (DOI).
  118. 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).
  119. 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).
  120. The Effect of DMPA Use on the Human Cervical Epithelium: Mechanisms Revealed by Image Analysis. Gabriella Edfeldt, Julie Lajoie, Maria Röhl, Kenneth Omollo, Carolina Wählby, Genevieve Boily-Larouche, Joshua Kimani, Keith Fowke, Kristina Broliden och Annelie Tjernlund. I AIDS Research and Human Retroviruses, volym 34, nummer S1, pp 310-310, 2018. (Abstracts).
  121. Brain activity patterns in high-throughput electrophysiology screen predict both drug efficacies and side effects.. Peter M Eimon, Mostafa Ghannad-Rezaie, Gianluca De Rienzo, Amin Allalou, Yuelong Wu, Mu Gao, Ambrish Roy, Jeffrey Skolnick och Mehmet Fatih Yanik. I Nature Communications, volym 9, nummer 1, 2018. (DOI, Fulltext, fulltext:print).
  122. 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, pp 478-487, 2018. (DOI, fulltext:postprint).
  123. 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).
  124. 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).
  125. 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).
  126. 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).
  127. 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, pp 937-968, 2018. (DOI, Fulltext).
  128. 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).
  129. Criterion scores, construct validity and reliability of a web-based instrument to assess physiotherapists' clinical reasoning focused on behaviour change: 'Reasoning 4 Change'. Maria Elven, Jacek Hochwalder, Elizabeth Dean, Olle Hällman och Anne Soderlund. I AIMS PUBLIC HEALTH, volym 5, nummer 3, pp 235-259, American Institute of Mathematical Sciences (AIMS), 2018. (DOI, Fulltext, fulltext:print).
  130. 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).
  131. 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).
  132. Towards Long-range Backscatter Communication with Tunnel Diode Reflection Amplifier. Gustav Eriksson, Ambuj Varshney, Christian Rohner, Thiemo Voigt och Dragos Dancila. I , 2018. (fulltext:postprint).
  133. 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).
  134. 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).
  135. 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).
  136. A generalized force-directed layout for multiplex sociograms. Zahra Fatemi, Matteo Magnani och Mostafa Salehi. I Social Informatics: 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings, Part I, volym 0302-9743 av Lecture Notes in Computer Science, pp 212-227, Springer, 2018. (DOI).
  137. Perception of time to contact of slow- and fast-moving objects using monocular and binocular motion information. Aaron J. Fath, Mats Lind och Geoffrey P. Bingham. I Attention, Perception & Psychophysics, volym 80, nummer 6, pp 1584-1590, 2018. (DOI).
  138. 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, Fulltext).
  139. Preliminary Results on LoRaWAN and IEEE 802.15.4-SUN Interference. Laura Marie Feeney, Charalampos Orfanidis, Martin Jacobsson och Per Gunningberg. I SenSys '18: Proceedings of the 16th ACM Conference on Embedded Networked Sensor, pp 430-431, ACM Press, New York, 2018. (DOI).
  140. Forward to a Promising Future. Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren och Huu-Phuc Vo. I Conference proceedings COORDINATION 2018, 2018. (fulltext:preprint).
  141. 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).
  142. 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).
  143. 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. (Extern länk).
  144. 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 : PROCEEDINGS OF THE 23RD ANNUAL ACM CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, pp 348-349, ASSOC COMPUTING MACHINERY, 2018. (DOI).
  145. Modelling Competencies for Computing Education beyond 2020: A Research Based Approach to Defining Competencies in the Computing Disciplines. Stephen Frezza, Mats Daniels, Arnold Pears, Åsa Cajander, Viggo Kann, Amanpreet Kapoor, Roger McDermott, Anne-Kathrin Peters, Mihaela Sabin och Charles Wallace. I ITICSE 2018 Companion: Proceedings Companion Of The 23rd Annual ACM Conference On Innovation And Technology In Computer Science Education, pp 148-174, 2018. (DOI, Fulltext).
  146. 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, fulltext:postprint).
  147. 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).
  148. 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).
  149. 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).
  150. Generalized locally Toeplitz sequences: A spectral analysis tool for discretized differential equations. Carlo Garoni och Stefano Serra-Capizzano. I Splines and PDEs: From Approximation Theory to Numerical Linear Algebra, volym 2219 av Lecture Notes in Mathematics, pp 161-236, Springer, 2018. (DOI).
  151. 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).
  152. 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).
  153. 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).
  154. 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, fulltext:print).
  155. 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).
  156. Constraining Lyman continuum escape using Machine Learning. Sambit K. Giri, Erik Zackrisson, Christian Binggeli, Kristiaan Pelckmans, Rubén Cubo och Garrelt Mellema. I Peering towards Cosmic Dawn, volym 12:S333 av IAU Symposium Proceedings Series, pp 254-258, Cambridge University Press, 2018. (DOI).
  157. Connecting Battery-free IoT Tags Using LED Bulbs. Domenico Giustiniano, Ambuj Varshney och Thiemo Voigt. I HotNets-XVII: Proceedings of the 17th ACM Workshop on Hot Topics in Networks, pp 99-105, Association for Computing Machinery (ACM), 2018. (DOI).
  158. Analyzing work-related technology use from a UX perspective: the holisticUX method. Diane Golay. I Proc. 10th Nordic Conference on Human-Computer Interaction, pp 711-715, ACM Press, New York, 2018. (DOI).
  159. A general high order two-dimensional panel method. Anders Goude och Stefan Engblom. I Applied Mathematical Modelling, volym 60, pp 1-17, 2018. (DOI).
  160. "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 Proc. 48th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2018. (DOI, fulltext:preprint).
  161. Lost for Words!: Defining the Language Around Role Models in Engineering Education. Virginia Grande. I 2018 IEEE Frontiers in Education Conference (FIE), IEEE Press, 2018. (DOI, fulltext:postprint).
  162. A user-centered storytelling approach to design a language companion robotic agent. Isabelle Granlund, Sita Aukje Vriend, Julia Benz, Roisatul Azizah, Mikael Laaksoharju och Mohammad Obaid. I Proc. 6th International Conference on Human-Agent Interaction, pp 29-35, ACM Press, New York, 2018. (DOI).
  163. 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).
  164. Second-Order Invariant Domain Preserving Approximation of the Euler Equations Using Convex Limiting. Jean-Luc Guermond, Murtazo Nazarov, Bojan Popov och Ignacio Tomas. I SIAM Journal on Scientific Computing, volym 40, nummer 5, pp A3211-A3239, SIAM PUBLICATIONS, 2018. (DOI).
  165. 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).
  166. Synthetic patient database of drug effect in general anesthesia for evaluation of estimation and control algorithms. Zhaoyu Guo, Alexander Medvedev, Luca Merigo, Nicola Latronico, Massimiliano Paltenghi och Antonio Visioli. I , volym 51:15 av IFAC-PapersOnLine, pp 323-328, 2018. (DOI).
  167. 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).
  168. 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. (Extern länk).
  169. "Why am I Even Doing this?": The Experiences of Female Students in CS from an Insider Perspective. Sara Gustavsson och Moa Marklund. I 2018 6th international conference on learning and teaching in computing and engineering (LATICE), International Conference on Teaching and Learning in Computing and Engineering, pp 77-81, IEEE, New York, 2018. (DOI).
  170. 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 2018 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM), pp 531-534, IEEE Computer Society, 2018. (DOI).
  171. 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 Proc. 12th International Workshop on Wireless Network Testbeds, Experimental Evaluation &amp; Characterization, pp 68-76, ACM Press, New York, 2018. (DOI).
  172. 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 Proc. 12th International Workshop on Wireless Network Testbeds, Experimental Evaluation &amp; Characterization, pp 77-78, ACM Press, New York, 2018. (DOI).
  173. <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).
  174. 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).
  175. 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).
  176. 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).
  177. 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).
  178. On the Consensus Mechanisms of Blockchain/DLT for Internet of Things. Qingqiang He, Nan Guan, Mingsong Lv och Yi Wang. I 2018 IEEE 13th International Symposium On Industrial Embedded Systems (SIES), International Symposium on Industrial Embedded Systems, pp 150-159, IEEE, 2018.
  179. Exploring the Applicability of Capsule Networks for WordSpotting in Historical Handwritten Manuscripts. Raphaela Heil, Ekta Vats och Anders Hast. I , 2018.
  180. Word Spotting in Historical Handwritten Manuscripts using Capsule Networks. Raphaela Heil, Ekta Vats och Anders Hast. I , 2018.
  181. 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).
  182. The ELDARICA Horn Solver. Hossein Hojjat och Philipp Rümmer. I Formal Methods in Computer Aided Design, pp 158-164, IEEE, 2018. (DOI, fulltext:postprint).
  183. 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, nummer POPL, pp 1-32, ACM Digital Library, New York, 2018. (DOI, Fulltext, fulltext:print).
  184. 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).
  185. Auxiliary-Particle-Filter-based Two-Filter Smoothing for Wiener State-Space Models. Roland Hostettler och Thomas B. Schön. I Proceedings of the 21st International Conference on Information Fusion, Cambridge, UK, July, 2018., pp 1904-1911, 2018. (DOI, Postprint).
  186. 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).
  187. 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).
  188. Differences in the experiences of reading medical records online: Elderly, Older and Younger Adults compared. Isto Huvila, Kristina Eriksson-Backa, Jonas Moll, Gunilla Myreteg och Maria Hägglund. I Informaatiotutkimus, volym 37, nummer 3, pp 51-54, 2018. (DOI, Fulltext).
  189. Demo: Security on Harvested Power. Abdullah Hylamia, Marco Spanghero, Ambuj Varshney, Thiemo Voigt och Panagiotis Papadimitratos. I WISEC'18: PROCEEDINGS OF THE 11TH ACM CONFERENCE ON SECURITY &amp; PRIVACY IN WIRELESS AND MOBILE NETWORKS, pp 296-298, ASSOC COMPUTING MACHINERY, 2018. (DOI).
  190. Demo: Towards Battery-free Radio Tomographic Imaging. Abdullah Hylamia, Ambuj Varshney, Andreas Soleiman, Panagiotis Papadimitratos, Christian Rohner och Thiemo Voigt. I WISEC'18: PROCEEDINGS OF THE 11TH ACM CONFERENCE ON SECURITY &amp; PRIVACY IN WIRELESS AND MOBILE NETWORKS, pp 293-295, ASSOC COMPUTING MACHINERY, 2018. (DOI).
  191. Security on Harvested Power: Demo Abstract. Abdullah Hylamia, Marco Spanghero, Ambuj Varshney, Thiemo Voigt och Panagiotis Papadimitratos. I , 2018.
  192. Towards Battery-free Radio Tomographic Imaging: Demo Abstract. Abdullah Hylamia, Ambuj Varshney, Andreas Soleiman, Panagiotis Papadimitratos, Christian Rohner och Thiemo Voigt. I , 2018.
  193. Timing It Right -: Patients' Online Access to Their Record Notes in Sweden. Maria Hägglund, Jonas Moll, Rose-Mharie Åhlfeldt och Isabella Scandurra. I , Studies in Health Technology and Informatics, pp 336-340, IOS Press, 2018. (DOI, Article, fulltext:print).
  194. 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).
  195. Making Compact-Table Compact. Linnea Ingmar och Christian Schulte. I Principles and practice of constraint programming, volym 11008 av Lecture Notes in Computer Science, pp 210-218, Springer Nature, 2018. (DOI).
  196. 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).
  197. The Long and Winding Road Toward Efficient High-Performance Computing. William Jalby, David Kuck, Allen D. Malony, Michel Masella, Abdelhafid Mazouz och Mihail Popov. I Proceedings of the IEEE, volym 106, nummer 11, pp 1985-2003, 2018. (DOI).
  198. Probabilistic modelling and reconstruction of strain. Carl Jidling, Johannes Hendriks, Niklas Wahlström, Alexander Gregg, Thomas B. Schön, Christopher 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).
  199. 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).
  200. 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, fulltext:preprint).
  201. Robots for Learning: R4L. Wafa Johal, James Kennedy, Vicky Charisi, Hae Won Park, Ginevra Castellano och Pierre Dillenbourg. I HRI '18: Companion of the 2018 ACM/IEEE International Conference on Human-Robot Interaction, ACM IEEE International Conference on Human-Robot Interaction, pp 397-398, Association for Computing Machinery (ACM), 2018. (DOI).
  202. 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).
  203. On Performance Observability in IoT Systems using Active Measurements. Andreas Johnsson och Christian Rohner. I NOMS 2018 - 2018 IEEE/IFIP Network operations and management symposium, IEEE IFIP Network Operations and Management Symposium, IEEE, New York, 2018.
  204. "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).
  205. 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).
  206. The Quest for Optimality in Stateless Model Checking of Concurrent Programs. Bengt Jonsson. I Formal Methods For Industrial Critical Systems, FMICS 2018, volym 11119 av Lecture Notes in Computer Science, pp XI-XII, Springer, 2018. (Table of contents).
  207. 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).
  208. HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang. Konstantinos Kallas och Konstantinos Sagonas. I Proceedings of the 30th Symposium on Implementation and Application ff Functional Languages (IFL 2018), pp 25-36, Association for Computing Machinery (ACM), 2018. (DOI).
  209. Positioning in LTE. Ari Kangas, Iana Siomina och Torbjörn Wigren. I Handbook of Position Location: Theory, Practice, and Advances, IEEE Press, 2018.
  210. AI and philosophizing. Iordanis Kavathatzopoulos. I , 2018.
  211. 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).
  212. Linguistic aspects in teaching and learning ethical skills. Iordanis Kavathatzopoulos. I , 2018.
  213. Making ethical competence possible. Iordanis Kavathatzopoulos. I , 2018.
  214. 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).
  215. 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).
  216. 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).
  217. A word from the editor. Christer Kiselman. I Esperantologio / Esperanto Studies, nummer 8, pp 8-12, KAVA-PECH, Dobrichovice, 2018.
  218. Aliroj al esperanto. Christer Kiselman, Renato Corsetti och Probal Dasgupta (red). KAVA-PECH, Dobrichovice, 2018. (Publishers homepage).
  219. Enkonduko: [Introduction]. Christer Kiselman. I Aliroj al esperanto: [Arriving to Esperanto], pp 5-8, KAVA-PECH, Dobrichovice, 2018.
  220. Esperantologio / Esperanto Studies, Issue 8: Salutvorto de la redaktoro. Christer Kiselman. I Esperantologio / Esperanto Studies, nummer 8, pp 3-7, KAVA-PECH, Dobrichovice, 2018.
  221. Digita geometrio, matematika morfologio kaj diskreta optimumado. Christer Oscar Kiselman. Akademio internacia de la sciencoj San Marino (AIS), San Marino, 2018. (Extern länk).
  222. 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).
  223. 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).
  224. Effective Stateless Model Checking for C/C++ Concurrency. Michalis Kokologiannakis, Ori Lahav, Konstantinos Sagonas och Viktor Vafeiadis. I Proceedings of the ACM on Programming Languages, volym 2, nummer POPL, pp 1-32, ACM Press, 2018. (DOI, Fulltext, fulltext:print).
  225. 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).
  226. Preface. Gunilla Kreiss och Lars Eldén. I BIT Numerical Mathematics, volym 58, nummer 1, pp 1-3, Springer Nature, 2018. (DOI).
  227. 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).
  228. 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).
  229. 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).
  230. 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).
  231. 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).
  232. Segmentation of Lung Field in HRCT Images Using U-Net Based Fully Convolutional Networks. Abhishek Kumar, Sunita Agarwala, Ashis Kumar Dhara, Debashis Nandi, Sumitra Basu Thakur, Ashok Kumar Bhadra och Anup Sadhu. I Medical Image Understanding and Analysis: 22nd Conference, MIUA 2018, Southampton, UK, July 9-11, 2018, Proceedings, volym 894 av Communications in Computer and Information Science (CCIS), pp 84-93, Springer Nature, 2018. (DOI).
  233. Blasting Through The Front-End Bottleneck With Shotgun. Rakesh Kumar, Boris Grot och Vijay Nagarajan. I ACM Sigplan Notices, pp 30-42, 2018. (DOI).
  234. Wabi-sabi in the design of ICT: aestheticising digital imperfections. Mikael Laaksoharju. I Wabi-Sabi: Imperfection, incompleteness and impermanence in Organisational Life, pp 162-163, Chiyoda Cres Co., Ltd., Tokyo, Japan, 2018.
  235. Delay alignment control for 5G multi connectivity. Katrina Lau, Torbjörn Wigren, Richard H. Middleton och Ramón A. Delgado. I Proc. 57th Conference on Decision and Control, pp 7064-7070, IEEE, Piscataway, NJ, 2018. (DOI).
  236. 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).
  237. Power and Load Optimization in Interference-Coupled Non-Orthogonal Multiple Access Networks. Lei Lei, Lei You, Yang Yang, Di Yuan, Symeon Chatzinotas och Bjorn Ottersten. I 2018 IEEE Global Communications Conference (GLOBECOM), IEEE Global Communications Conference, IEEE, 2018. (DOI).
  238. 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).
  239. 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).
  240. Model order determination for signed measurements via the Bayesian information criterion. Changheng Li, Rong Zhang, Jian Li och Peter Stoica. I 2018 IEEE 10th Sensor Array and Multichannel Signal Processing Workshop (SAM), Proceedings of the IEEE Sensor Array and Multichannel Signal Processing Workshop, pp 366-370, IEEE, Piscataway, NJ, 2018. (DOI).
  241. Effects of Posture and Embodiment on Social Distance in Human-Agent Interaction in Mixed Reality. Chengjie Li, Theofronia Androulakaki, Alex Yuan Gao, Fangkai Yang, Himangshu Saikia, Christopher Peters och Gabriel Skantze. I IVA '18 Proceedings of the 18th International Conference on Intelligent Virtual Agents, pp 191-196, 2018. (DOI).
  242. 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).
  243. 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).
  244. Graphical model inference: Sequential Monte Carlo meets deterministic approximations. Fredrik Lindsten, Jouni Helske och Matti Vihola. I ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 31 (NIPS 2018), volym 31 av Advances in Neural Information Processing Systems, NEURAL INFORMATION PROCESSING SYSTEMS (NIPS), 2018. (Extern länk).
  245. 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.
  246. 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).
  247. 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).
  248. 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).
  249. 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).
  250. 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).
  251. 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).
  252. 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).
  253. 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).
  254. 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).
  255. 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).
  256. 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, Extern länk).
  257. Digital Competence, Teacher Self-Efficacy and Training Needs. Linda Mannila, Lars-Åke Nordén och Arnold Pears. I ICER'18: Proceedings of the 2018 acm conference on international computing education research, pp 78-85, Association for Computing Machinery (ACM), 2018. (DOI).
  258. An improved projection method. Ken Mattsson och Pelle Olsson. I Journal of Computational Physics, volym 372, pp 349-372, 2018. (DOI).
  259. 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).
  260. 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).
  261. 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).
  262. 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).
  263. Recursive nonlinear-system identification using latent variables. Per Mattsson, Dave Zachariah och Peter Stoica. I Automatica, volym 93, pp 343-351, 2018. (DOI).
  264. 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).
  265. Minimal annotation training for segmentation of microscopy images. Damian J. Matuszewski och Ida-Maria Sintorn. I Proc. 15th International Symposium on Biomedical Imaging, pp 387-390, IEEE, 2018. (DOI).
  266. Phronesis, Authentic Learning and the Solution of Open-Ended Problems in Computing and Engineering Education. Roger McDermott, Mark Zarb, William Ballew, Mats Daniels och Ville Isomöttönen. I 2018 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, IEEE, Piscataway, NJ, 2018. (DOI).
  267. SADHealth: A personal mobile sensing system for seasonal health monitoring. Liam McNamara och Edith Ngai. I IEEE Systems Journal, volym 12, nummer 1, pp 30-40, 2018. (DOI).
  268. Entrainment in harmonically forced continuous and impulsive Goodwin's oscillators: a comparison study. Alexander Medvedev, Anton V. Proskurnikov och Zhanybai T. Zhusubaliyev. I Proc. 16th European Control Conference, pp 2046-2051, IEEE, 2018. (DOI).
  269. Mathematical modeling of endocrine regulation subject to circadian rhythm. Alexander Medvedev, Anton V. Proskurnikov och Zhanybai T. Zhusubaliyev. I Annual Reviews in Control, volym 46, pp 148-164, 2018. (DOI).
  270. 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).
  271. 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).
  272. Pricing financial derivatives using radial basis function generated finite differences with polyharmonic splines on smoothly varying node layouts. Slobodan Milovanovi?. 2018. (arXiv:1808.02365).
  273. 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).
  274. 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).
  275. GISwaps: A new method for decision making in continuous choice models based on even swaps. Goran Milutinovic, Ulla Ahonen-Jonnarth och Stefan Seipel. I International Journal of Decision Support System Technology, volym 10, nummer 3, pp 57-78, 2018. (DOI, Fulltext, fulltext:print).
  276. Visual GISwaps: an interactive visualization framework for geospatial decision making. Goran Milutinovic och Stefan Seipel. I Proc. 13th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications: Volume 3, pp 236-243, SciTePress, 2018. (DOI, Extern länk).
  277. 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. (Extern länk).
  278. 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, fulltext:print).
  279. 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, fulltext:print).
  280. 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).
  281. Expressing coherent personality with incremental acquisition of multimodal behaviors. Pedro Mota, Maike Paetzel, Andrea Fox, Aida Amini, Siddarth Srinivasan, James Kennedy och Jill Fain Lehman. I Proc. 27th International Symposium on Robot and Human Interactive Communication, pp 396-403, IEEE, 2018. (DOI).
  282. Eddylicious: A Python package for turbulent inflow generation. Timofey Mukha och Mattias Liefvendahl. I SoftwareX, volym 7, pp 112-114, 2018. (DOI, Fulltext).
  283. 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.
  284. 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).
  285. Turbulucid: A Python package for post-processing of fluid flow simulations. Timofey Mukha. I Journal of Open Research Software, volym 6, 2018. (DOI, Fulltext).
  286. 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).
  287. Delayed sampling and automatic Rao-Blackwellization of probabilistic programs. Lawrence Murray, Daniel Lundén, Jan Kudlicka, David Broman och Thomas B. Schön. I Proceedings of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS), Lanzarote, Spain, April, 2018, Proceedings of Machine Learning Research, 2018. (Extern länk).
  288. 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).
  289. 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.
  290. 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).
  291. 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).
  292. 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).
  293. 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).
  294. Delorean: Virtualized Directed Profiling for Cache Modeling in Sampled Simulation. Nikos Nikoleris, Erik Hagersten och Trevor E. Carlson. Technical report / Department of Information Technology, Uppsala University, 2018. (fulltext).
  295. 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).
  296. 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).
  297. 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 2018 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, IEEE, Piscataway, NJ, 2018. (DOI).
  298. 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).
  299. 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).
  300. Endowing a robotic tutor with empathic qualities: Design and pilot evaluation. Mohammad Obaid, Ruth Aylett, Wolmet Barendregt, Christina Basedow, Lee J. Corrigan, Lynne Hall, Aidan Jones, Arvid Kappas, Dennis Kuster, Ana Paiva, Fotios Papadopoulos, Sofia Serholt och Ginevra Castellano. I International Journal of Humanoid Robotics, volym 15, nummer 6, 2018. (DOI, fulltext:postprint).
  301. 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, IFAC Papers Online, 2018. (DOI, fulltext:print).
  302. 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).
  303. Tremor Severity Rating by Markov Chains. Fredrik Olsson och Alexander Medvedev. I , volym 51:15 av IFAC-PapersOnLine, pp 317-322, IFAC Papers Online, 2018. (DOI, fulltext:print).
  304. 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).
  305. Learning localized spatio-temporal models from streaming data. Muhammad Osama, Dave Zachariah och Thomas Schön. I Proceedings of the 35th International Conference on Machine Learning, volym 80 av Proceedings of Machine Learning Research (PMLR), pp 3927-3935, 2018. (Proceedings paper on publisher's website).
  306. Incremental acquisition and reuse of multimodal affective behaviors in a conversational agent. Maike Paetzel, James Kennedy, Ginevra Castellano och Jill Fain Lehman. I Proc. 6th International Conference on Human-Agent Interaction, pp 92-100, ACM Press, New York, 2018. (DOI).
  307. The attribution of emotional state: How embodiment features and social traits affect the perception of an artificial agent. Maike Paetzel, Giovanna Varni, Isabelle Hupont, Mohamed Chetouani, Christopher Peters och Ginevra Castellano. I Proc. 27th International Symposium on Robot and Human Interactive Communication, pp 495-502, IEEE, 2018. (DOI).
  308. "I limiti etici di un'innovazione senza freni" (The Ethical Limits of a Brakeless Innovation). Norberto Patrignani. I Harvard Business Review Italia, nummer 11, pp 46-50, Milano, Italy, 2018. (Extern länk).
  309. 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).
  310. 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, fulltext:preprint).
  311. The making of a computer scientist. Anne-Kathrin Peters och Judeth Oden Choi. I XRDS, volym 25, nummer 1, pp 7-8, 2018. (DOI).
  312. A statistical approach to detect protein complexes at X-ray free electron laser facilities. Alberto Pietrini, Johan Bielecki, Nicusor Timneanu, Max F. Hantke, Jakob Andreasson, N. Duane Loh, Daniel S. D. Larsson, Sébastien Boutet, Janos Hajdu, Filipe R. N. C. Maia och Carl Nettelblad. I Communications Physics, volym 1, pp 92:1-11, 2018. (DOI, Fulltext).
  313. 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).
  314. Verified Software. Theories, Tools, and Experiments: Revised Selected Papers. Ruzica Piskac och Philipp Rümmer (red). Volym 11294 av Lecture Notes in Computer Science, Springer Publishing Company, 2018.
  315. 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).
  316. Demo Abstract: Battery-Free 802.15.4 Receiver. Carlos Pérez-Penichet, Claro Noda, Ambuj Varshney och Thiemo Voigt. I 17th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), pp 130-131, IEEE, 2018. (DOI).
  317. NOVIFAST: A Fast Algorithm for Accurate and Precise VFA MRI<em>T</em><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).
  318. 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).
  319. 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, pp 1111-1115, IEEE, Piscataway, NJ, 2018. (DOI).
  320. 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).
  321. 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.
  322. 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).
  323. 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).
  324. 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).
  325. 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).
  326. Semi-parametric kernel-based identification of Wiener systems. Riccardo Sven Risuleo, Fredrik Lindsten och Håkan Hjalmarsson. I Proc. 57th Conference on Decision and Control, pp 3874-3879, IEEE, Piscataway, NJ, 2018. (DOI).
  327. 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).
  328. The Superfluous Load Queue. Alberto Ros och Stefanos Kaxiras. I 2018 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), pp 95-107, IEEE, 2018. (DOI, fulltext:postprint).
  329. 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).
  330. Brush Biopsy For HR-HPV Detection With FTA Card And AI For Cytology Analysis - A Viable Non-invasive Alternative. Christina Runow Stark, Inger M. Gustavsson, Ulf B. Gyllensten, Eva Darai Ramqvist, Joakim Lindblad, Carolina Wählby, Ewert Bengtsson och Jan M. Hirsch. I EAOM2018, 2018.
  331. 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).
  332. 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).
  333. 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).
  334. Progress on Algorithms for Stateless Model Checking. Konstantinos Sagonas. I Proceedings of the Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, OPEN PUBL ASSOC, 2018. (DOI, Extern länk).
  335. 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).
  336. Information systems in nurses' work environment: From flexibility to boundedness. Minna Salminen-Karlsson. I , 2018. (Extern länk).
  337. Fault signatures and bias progression in dissolved oxygen sensors. Oscar Samuelsson, Anders Bjork, Jesus Zambrano och Bengt Carlsson. I Water Science and Technology, volym 78, nummer 5, pp 1034-1044, 2018. (DOI, Fulltext, fulltext:print).
  338. How Statistics Are Used in Computing Education Research. Kate Sanders, Sally Hamouda, Brett A. Becker, Anna Eckerdal, Robert Mccartney, Judy Sheard och Simon. I ITiCSE 2018: Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, pp 381-381, Association for Computing Machinery (ACM), 2018. (DOI).
  339. 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).
  340. Probabilistic programming allows for automated inference in factor graph models. Matteo Scandella, Lawrence Murray och Thomas B. Schön. I , 2018.
  341. 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).
  342. 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).
  343. 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 ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2018. (DOI).
  344. Hyperparameter optimization for approximate Bayesian computation. Prashant Singh och Andreas Hellander. I Proc. 50th Winter Simulation Conference, pp 1718-1729, IEEE, Piscataway, NJ, 2018. (DOI).
  345. Learning surrogate models of document image quality metrics for automated document image processing. Prashant Singh, Ekta Vats och Anders Hast. I Proc. 13th IAPR International Workshop on Document Analysis Systems, pp 67-72, IEEE, 2018. (DOI).
  346. Multi-objective optimization driven construction of uniform priors for likelihood-free parameter inference. Prashant Singh och Andreas Hellander. I Proc. 32nd European Simulation and Modelling Conference, pp 22-27, EUROSIS, 2018.
  347. 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).
  348. 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, Cham, 2018. (DOI, Extern länk).
  349. 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).
  350. 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).
  351. 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).
  352. A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks Under GEDF. Jinghao Sun, Nan Guan, Xu Jiang, Shuangshuang Chang, Zhishan Guo, Qingxu Deng och Yi Wang. I IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, volym 37, nummer 11, pp 2200-2211, 2018. (DOI).
  353. How consistent is my model with the data?: Information-theoretic model check. Andreas Svensson, Dave Zachariah och Thomas B. Schön. I , volym 51:15 av IFAC-PapersOnLine, pp 407-412, 2018. (DOI).
  354. Learning nonlinear state-space models using smooth particle-filter-based likelihood approximations. Andreas Svensson, Fredrik Lindsten och Thomas B. Schön. I , volym 51:15 av IFAC-PapersOnLine, pp 652-657, 2018. (DOI).
  355. 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).
  356. 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).
  357. 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).
  358. Errors-in-Variables Methods in System Identification. Torsten Söderström. Springer, 2018. (DOI).
  359. 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. (Extern länk).
  360. Partial and Overlapping Community Detection in Multiplex Social Networks. Nazanin Afsarmanesh Tehrani och Matteo Magnani. I 10th International Conference on Social Informatics (SocInfo2018 ), volym 11186 av Lecture Notes in Computer Science, pp 15-28, Springer, 2018. (DOI).
  361. 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).
  362. 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).
  363. 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).
  364. 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-53091, IEEE, 2018. (DOI).
  365. 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).
  366. 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).
  367. 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).
  368. 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).
  369. Learning convex bounds for linear quadratic control policy synthesis. Jack Umenberger och Thomas B. Schön. I Neural Information Processing Systems 2018, Advances in Neural Information Processing Systems, 2018. (Extern länk).
  370. 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).
  371. 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).
  372. The self-flipped classroom concept: Underlying ideas and experiences. Anna Vasilchenko, Åsa Cajander, Mats Daniels och Madeline Balaam. I Proc. 48th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2018. (DOI).
  373. 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).
  374. Foundations of Temporal Text Networks. Davide Vega och Matteo Magnani. I Applied Network Science, volym 3, nummer 25, 2018. (DOI, Fulltext, fulltext:print).
  375. 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).
  376. 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).
  377. 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).
  378. 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).
  379. The Cause-Effect Latency Problem in Real-Time Systems. Yi Wang. I Formal Methods For Industrial Critical Systems, FMICS 2018, volym 11119 av Lecture Notes in Computer Science, pp XIII-XIII, SPRINGER INTERNATIONAL PUBLISHING AG, 2018. (Table of contents).
  380. Image Processing using Color SpaceModels for Forensic Fiber Detection. Elisabeth Wetzer och Hans Lohninger. I IFAC PapersOnLine, pp 445-450, 2018. (DOI).
  381. 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. (Extern länk).
  382. Optical Interconnect Architectures for Datacenters. Pawel Wiatr, Di Yuan, Lena Wosinska och Jiajia Chen. I 2018 IEEE Photonics Conference (IPC), IEEE Photonics Conference, IEEE, 2018. (DOI).
  383. Reliability performance aware routing. Pawel Wiatr och Di Yuan. I Proc. 10th International Workshop on Resilient Networks Design and Modeling, IEEE, 2018. (DOI).
  384. 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).
  385. Improving the particle filter in high dimensions using conjugate artificial process noise. Anna Wigren, Lawrence Murray och Fredrik Lindsten. I , volym 51:15 av IFAC-PapersOnLine, pp 670-675, 2018. (DOI, fulltext:print).
  386. 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).
  387. 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).
  388. Wireless hybrid positioning based on surface modeling with polygon support. Torbjörn Wigren. I Proc. 87th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2018. (DOI).
  389. 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).
  390. 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).
  391. Regularized parametric system identification: a decision-theoretic formulation. Johan Wågberg, Dave Zachariah och Thomas B. Schön. I 2018 Annual American Control Conference (ACC), Proceedings of the American Control Conference, pp 1895-1900, IEEE, 2018. (DOI).
  392. Spatio-Temporal Aware Collaborative Mobile Sensing with Online Multi-Hop Calibration. Teng Xi, Wendong Wang, Edith C-H Ngai och Xiuming Liu. I Proceedings of the 2018 the Nineteenth International Symposium on Mobile Ad Hoc Networking and Computing (MOBIHOC '18), pp 310-311, Association for Computing Machinery (ACM), 2018. (DOI).
  393. 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).
  394. 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).
  395. 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).
  396. Counterexamples to parametric convergence in recursive networked identification. Sholeh Yasini och Torbjörn Wigren. I 2018 Annual American Control Conference (ACC), Proceedings of the American Control Conference (ACC), pp 258-264, Institute of Electrical and Electronics Engineers (IEEE), 2018. (DOI).
  397. 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).
  398. Resource Optimization With Flexible Numerology and Frame Structure for Heterogeneous Services. Lei You, Qi Liao, Nikolaos Pappas och Di Yuan. I IEEE Communications Letters, volym 22, nummer 12, pp 2579-2582, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2018. (DOI).
  399. 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).
  400. 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.
  401. 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).
  402. Distributed dynamic load balancing for task parallel programming. Afshin Zafari och Elisabeth Larsson. 2018. (arXiv:1801.04582).
  403. 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).
  404. Exploring Approximations for Floating-Point Arithmetic using UppSAT. Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger och Philipp Rümmer. I Automated Reasoning, volym 10900 av Lecture Notes in Computer Science, pp 246-262, 2018. (DOI, Technical report in arXiv, fulltext:postprint).
  405. 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).
  406. 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).
  407. Energy-latency tradeoff for energy-aware offloading in mobile edge computing networks. Jiao Zhang, Xiping Hu, Zhaolong Ning, Edith C.-H. Ngai, Li Zhou, Jibo Wei, Jun Cheng och Bin Hu. I IEEE Internet of Things Journal, volym 5, nummer 4, pp 2633-2645, 2018. (DOI).
  408. Bandit learning with concurrent transmissions for energy-efficient flooding in sensor networks. Peilin Zhang, Alex Yuan Gao och Oliver Theel. I EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, volym 4, nummer 13, 2018. (DOI, Fulltext).
  409. 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).
  410. 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).
  411. Special issue-Computational and algorithmic finance. Karel in't Hout, Andrey Itkin, Lina von Sydow och Jari Toivanen. I Journal of Computational Science, volym 24, pp 180-181, Elsevier BV, 2018. (DOI).
  412. 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).
  413. 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).
  414. 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).
  415. Measuring programming knowledge in a research context. Kristina von Hausswolff och Anna Eckerdal. I Proc. 48th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2018. (DOI).
  416. 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).
  417. Mapping of roof types in orthophotos using feature descriptors. Julia Åhlén och Stefan Seipel. I Proc. International Multidisciplinary Scientific GeoConference: SGEM 2018, pp 285-291, 2018. (DOI, Fulltext).
  418. 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. (Extern länk).
  419. 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. (Extern länk).
  420. Fast and Robust Symmetric Image Registration Based on Intensity and Spatial Information. Johan Öfverstedt, Joakim Lindblad och Natasa Sladoje. 2018. (Extern länk).

Uppdaterad  2018-12-28 14:42:56 av Kurt Otto.