Skip to main content
Department of Information Technology

Publications 2018

  1. Optimal Stateless Model Checking under the Release-Acquire Semantics. Parosh Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, and Tuan-Phong Ngo. In SPLASH OOPSLA 2018, Boston, Nov 4-9, 2018, ACM Digital Library, 2018. (External link).
  2. Optimal Stateless Model Checking under the Release-Acquire Semantics. Parosh Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, and Tuan-Phong Ngo. In Proceedings of the ACM on Programming Languages, volume 2, number 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, and Shankara Narayanan Krishna. In Formal Modeling and Analysis of Timed Systems, volume 11022 of 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, and Tuan Phong Ngo. In Logical Methods in Computer Science, volume 14, number 1, 2018. (External link).
  5. Complexity of reachability for data-aware dynamic systems. Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, and Othmane Rezine. In 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, and Cong Quy Trinh. In Programming Languages and Systems, volume 10801 of 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, and Yunyun Zhu. In Logical Methods in Computer Science, volume 14, number 1, 2018. (External link).
  8. Model checking parameterized systems. Parosh Aziz Abdulla, A. Prasad Sistla, and Muralidhar Talupur. In 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, and Tuan Phong Ngo. In Verification and Evaluation of Computer and Communication Systems, volume 11181 of 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, and Philipp Rümmer. In Proceedings of the 2018 18th Conference on Formal Methods in Computer Aided Design (FMCAD), IEEE, 2018. (DOI, External link).
  11. Universal safety for timed Petri nets is PSPACE-complete. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, and Patrick Totzke. In 29th International Conference on Concurrency Theory, volume 118 of 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, and Shaan Vaidya. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2018, volume 122 of 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, and Wang Yi. In 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, and Ashok Kumar Bhadra. In Medical Image Understanding and Analysis: 22nd Conference, MIUA 2018, Southampton, UK, July 9-11, 2018, Proceedings, volume 894 of 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 and Di Yuan. In 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, and Stefano Serra-Capizzano. In Numerical Algorithms, volume 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, and Rolf Stadler. In 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, and Ola Spjuth. In Journal of Cheminformatics, volume 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, and Fouad Giri. In , volume 51:15 of 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, and 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, and Jessica Lindblom. In Multimodal Technologies and Interaction, volume 2, number 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, and Arnold Pears. In 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, and Aletta Nylén. In Informatics in Schools. Fundamentals of Computer Science and Software Engineering, volume 11169 of Lecture Notes in Computer Science, pp 129-140, Springer, 2018. (DOI).
  24. Dynamically Disabling Way-prediction to Reduce Instruction Replay. Ricardo Alves, Stefanos Kaxiras, and David Black-Schaffer. In 2018 IEEE 36th International Conference on Computer Design (ICCD), Proceedings IEEE International Conference on Computer Design, pp 140-143, IEEE, 2018. (DOI, External link).
  25. Forward deterministic pricing of options using Gaussian radial basis functions. Jamal Amani Rad, Josef Höök, Elisabeth Larsson, and Lina von Sydow. In Journal of Computational Science, volume 24, pp 209-217, 2018. (DOI, fulltext:postprint).
  26. Model Checking Bounded Continuous-time Extended Linear Duration Invariants. Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, and Yi Wang. In 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, and Thomas B. Schön. In , volume 51:15 of 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, and Rubén Cubo. In 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, and Robert Lowe. In International Journal of Social Robotics, volume 10, pp 473-491, 2018. (DOI, Fulltext, fulltext:print).
  30. BIM and 3D property visualisation. Martin Andrée, Jesper M. Paasch, Jenny Paulsson, and Stefan Seipel. In Proc. FIG Congress 2018, 2018. (External link).
  31. Sound conformance testing for cyber-physical systems: Theory and implementation. Hugo Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, and Augusto Sampaio. In Science of Computer Programming, volume 162, pp 35-54, ELSEVIER SCIENCE BV, 2018. (DOI, Fulltext, fulltext:print).
  32. Security of Internet of Things for a Reliable Internet of Services. Ahmet Aris, Sema Oktu?, and Thiemo Voigt. In 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 and Gunilla Kreiss. In Communications in Mathematical Sciences, volume 16, pp 2317-2343, 2018. (DOI).
  34. Atomistic-continuum multiscale modelling of magnetisation dynamics at non-zero temperature. Doghonay Arjmand, Mikhail Poluektov, and Gunilla Kreiss. In Advances in Computational Mathematics, volume 44, pp 1119-1151, 2018. (DOI, Fulltext).
  35. Effective Techniques for Stateless Model Checking. Stavros Aronis. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1602, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  36. Optimal dynamic partial order reduction with observers. Stavros Aronis, Bengt Jonsson, Magnus Lång, and Konstantinos Sagonas. In Tools and Algorithms for the Construction and Analysis of Systems: Part II, volume 10806 of 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, and Robin Augustine. In Sensors, volume 18, number 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, and Robin Augustine. In 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, and Taco J. Blokhuis. In 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, and Robin Augustine. In 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, and Yiannis Nikolakopoulos. In 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, External link).
  42. Continuous residual reinforcement learning for traffic signal control optimization. Mohammad Aslani, Stefan Seipel, and Marco Wiering. In Canadian journal of civil engineering (Print), volume 45, number 8, pp 690-702, 2018. (DOI).
  43. Traffic signal optimization through discrete and continuous reinforcement learning with robustness analysis in downtown Tehran. Mohammad Aslani, Stefan Seipel, Mohammad Saadi Mesgari, and Marco Wiering. In Advanced Engineering Informatics, volume 38, pp 639-655, 2018. (DOI).
  44. Verification and Evaluation of Computer and Communication Systems. Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, and Bruno Monsuez (eds). Volume 11181 of Lecture Notes in Computer Science, Springer, 2018. (DOI).
  45. Verifying quantitative temporal properties of procedural programs. Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, and Prakash Saivasan. In 29th International Conference on Concurrency Theory, volume 118 of 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, and Alessandra Sala. In 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, and Carl Nettelblad. In BMC Bioinformatics, volume 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 and Anders A. Jansson. In Journal of Applied Research in Memory and Cognition, volume 7, number 1, pp 51-59, 2018. (DOI).
  49. An efficient preconditioning method for state box-constrained optimal control problems. Owe Axelsson, Maya Neytcheva, and Anders Ström. Technical report / Department of Information Technology, Uppsala University nr 2018-008, 2018. (External link).
  50. An efficient preconditioning method for state box-constrained optimal control problems. Owe Axelsson, Maya Neytcheva, and Anders Ström. In Journal of Numerical Mathematics, volume 26, pp 185-207, 2018. (DOI).
  51. Parallel solution methods and preconditioners for evolution equations. Owe Axelsson, Maya Neytcheva, and Zhao-Zheng Liang. In Mathematical Modelling and Analysis, volume 23, pp 287-308, 2018. (DOI, Fulltext).
  52. Preconditioners for two-by-two block matrices with square blocks. Owe Axelsson and Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2018-010, 2018. (External link).
  53. Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction. Peter Backeman, Philipp Rümmer, and Aleksandar Zeljic. In 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, and Johan Torsner. In 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, and Lothar Reichel. In Numerical Linear Algebra with Applications, volume 25, number 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, and Ida-Maria Sintorn. In 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, and Tony Clear. In 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 and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2018-004, 2018. (External link).
  59. Preface for the special issue on Interaction and Concurrency Experience 2016. Massimo Bartoletti, Ludovic Henrio, Sophia Knight, and Hugo Torres Vieira. In The Journal of logical and algebraic methods in programming, volume 98, pp 26-26, 2018. (DOI).
  60. Efficient Green's function reaction dynamics (GFRD) simulations for diffusion-limited, reversible reactions. Zahedeh Bashardanesh and Per Lötstedt. In Journal of Computational Physics, volume 357, pp 78-99, 2018. (DOI).
  61. Multiscale modelling via split-step methods in neural firing. Pavol Bauer, Stefan Engblom, Sanja Mikulovic, and Aleksandar Senek. In Mathematical and Computer Modelling of Dynamical Systems, volume 24, pp 426-445, 2018. (DOI, Fulltext).
  62. Discontinuous Galerkin discretization of the heat equation in any dimension: The spectral symbol. Pietro Benedusi, Carlo Garoni, Rolf Krause, Xiaozhou Li, and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2018-002, 2018. (External link).
  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, and Stefano Serra-Capizzano. In SIAM Journal on Matrix Analysis and Applications, volume 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, and Joakim Lindblad. In CYTO2018, 2018. (External link).
  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, and Phurpa Tshering. In 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 and Stefano Serra-Capizzano. In Calcolo, volume 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, and Ikko Shimizu. In Monthly notices of the Royal Astronomical Society, volume 479, number 1, pp 368-376, 2018. (DOI, Fulltext, fulltext:preprint, fulltext:print).
  68. Declarative local-search neighbourhoods in MiniZinc. Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, and Guido Tack. In 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 and Iordanis Kavathatzopoulos. In , 2018. (External link).
  70. SoftCut:: A Virtual Planning Tool for Soft Tissue Resection on CT Images. Ludovic Blache, Fredrik Nysjö, Filip Malmberg, Andreas Thor, Andres Rodriguez-Lorenzo, and Ingela Nyström. In Medical Image Understanding and Analysis, Communications in Computer and Information Science, pp 299-310, Springer, Cham, 2018. (DOI, External link).
  71. The Scarcity of Universal Colour Names. Gunilla Borgefors. In 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, and Tobias Wrigstad. In 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. Ph.D. thesis, 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, and Giancarlo Ragozini. In Royal Society Open Science, volume 5, number 8, ROYAL SOC, 2018. (DOI, Fulltext, fulltext:print).
  75. Complex systems for society. Åsa Cajander. In XRDS, volume 25, number 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, and Anastasia Hansman. In Building Continents of Knowledge in Oceans of Data: The Future of Co-Created eHealth, volume 247 of Studies in Health Technology and Informatics, pp 271-275, IOS Press, Amsterdam, The Netherlands, 2018. (DOI, Fulltext).
  77. Software engineering with conflicting user needs: Patient accessible electronic patient records. Åsa Cajander. In 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, and Jonas Moll. In 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, and Eleanor Frajka-Williams. In Nature Communications, volume 9, Nature Publishing Group, 2018. (DOI, Fulltext, fulltext:print).
  80. Battery-free 802.15. 4 Receiver. Pérez-Penichet Carlos, Claro Noda, Ambuj Varshney, and Thiemo Voigt. In 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, and Judy Sheard. In ACM inroads, volume 9, number 4, pp 40-46, ACM Digital Library, 2018. (DOI).
  82. Extending Automata Learning to Extended Finite State Machines. Sofia Cassel, Falk Howar, Bengt Jonsson, and Bernhard Steffen. In Machine Learning for Dynamic Software Analysis: Potentials and Limits, volume 11026 of 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, and Albert Mingkun Yang. In 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, and Tobias Wrigstad. In The Journal of logical and algebraic methods in programming, volume 100, pp 130-151, 2018. (DOI).
  85. Capability-Based Type Systems for Concurrency Control. Elias Castegren. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1611, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  86. OOlong: An Extensible Concurrent Object Calculus. Elias Castegren and Tobias Wrigstad. In 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 and Tobias Wrigstad. In ACM SIGAPP Applied Computing Review, volume 18, number 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, and Per Gunningberg. In , 2018. (fulltext:print).
  89. Analyzing performance variation of task schedulers with TaskInsight. Germán Ceballos, Thomas Grass, Andra Hugo, and David Black-Schaffer. In Parallel Computing, volume 75, pp 11-27, 2018. (DOI).
  90. Behind the Scenes: Memory Analysis of Graphical Workloads on Tile-based GPUs. Germán Ceballos, Andreas Sembrant, Trevor E. Carlson, and David Black-Schaffer. In Proc. International Symposium on Performance Analysis of Systems and Software: ISPASS 2018, pp 1-11, IEEE Computer Society, 2018. (DOI, fulltext:preprint).
  91. Tail-PASS: Resource-based Cache Management for Tiled Graphics Rendering Hardware. Germán Ceballos, Erik Hagersten, and David Black-Schaffer. In Proc. 16th International Conference on Parallel and Distributed Processing with Applications, pp 55-63, IEEE, 2018. (DOI).
  92. Understanding Task Parallelism: Providing insight into scheduling, memory, and performance for CPUs and Graphics. Germán Ceballos. Ph.D. thesis, 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, and Yi Wang. In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, volume 37, number 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, and Yi Wang. In IEEE Transactions on Computers, volume 67, number 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, and Stefano Serra-Capizzano. In Journal of Scientific Computing, volume 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, and Yuren Zhou. In 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 and Victor Shcherbakov. In Journal of Computational Physics, volume 372, pp 161-177, 2018. (DOI).
  98. Pathwise error bounds in multiscale variable splitting methods for spatial stochastic kinetics. Augustin Chevallier and Stefan Engblom. In SIAM Journal on Numerical Analysis, volume 56, pp 469-498, 2018. (DOI).
  99. Ammonium based aeration control in wastewater treatment plants: Modelling and controller design. Tatiana Chistiakova. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2018-002, Uppsala University, 2018. (fulltext).
  100. Input–output stability design of an ammonium based aeration controller for wastewater treatment. Tatiana Chistiakova, Torbjörn Wigren, and Bengt Carlsson. In 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, and 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 and Per Gunningberg. In 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 and Andreas Hellander. In 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. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1659, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  105. Optimization-based contact fault alleviation in deep brain stimulation leads. Rubén Cubo, Mattias Åström, and Alexander Medvedev. In IEEE transactions on neural systems and rehabilitation engineering, volume 26, number 1, pp 69-76, 2018. (DOI).
  106. Tracking the NGS revolution: managing life science research on shared high-performance computing clusters. Martin Dahlö, Douglas Scofield, Wesley Schaal, and Ola Spjuth. In GigaScience, volume 7, number 5, Oxford University Press, 2018. (DOI, Fulltext, fulltext:print).
  107. My SIGCSE -&gt; ITiCSE. Mats Daniels. In ACM inroads, volume 9, number 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 and Anh Nguyen-Thi-Ngoc. In 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, and Peter Stoica. In IEEE Journal of Oceanic Engineering, volume 43, number 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, and J. Schoukens. In 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, and Richard H. Middleton. In 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, and Di Yuan. In IEEE Transactions on Wireless Communications, volume 17, number 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, and Di Yuan. In IEEE Wireless Communications Letters, volume 7, number 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, and Robin Strand. In Proc. 24th International Conference on Pattern Recognition, pp 1199-1204, IEEE, 2018. (DOI).
  115. Analysis of photobioreactors in series. Stefan Diehl, Jesus Zambrano, and Bengt Carlsson. In Mathematical Biosciences, volume 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, and Conor Linehan. In interactions, volume 25, number 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, and Stefano Serra-Capizzano. In SIAM Journal on Scientific Computing, volume 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, and Mats Carlsson. In Software Engineering and Formal Methods, volume 10886 of 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, and Maurizio Tavelli. In Numerical Linear Algebra with Applications, volume 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, and Annelie Tjernlund. In AIDS Research and Human Retroviruses, volume 34, number 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, and Mehmet Fatih Yanik. In Nature Communications, volume 9, number 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, and Stefano Serra-Capizzano. In Experimental Mathematics, volume 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, and Hendrik Speleers. In Numerical Linear Algebra with Applications, volume 25, pp e2198:1-34, 2018. (DOI).
  124. Eigenvalue isogeometric approximations based on B-splines: Tools and results. Sven-Erik Ekström and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2018-012, 2018. (External link).
  125. Eigenvalues and eigenvectors of banded Toeplitz matrices and the related symbols. Sven-Erik Ekström and Stefano Serra-Capizzano. In Numerical Linear Algebra with Applications, volume 25, pp e2137:1-17, 2018. (DOI).
  126. Exact formulæ and matrix-less eigensolvers for block banded symmetric Toeplitz matrices. Sven-Erik Ekström, Isabella Furci, and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2018-005, 2018. (External link).
  127. Exact formulæ and matrix-less eigensolvers for block banded symmetric Toeplitz matrices. Sven-Erik Ekström, Isabella Furci, and Stefano Serra-Capizzano. In BIT Numerical Mathematics, volume 58, pp 937-968, 2018. (DOI, Fulltext).
  128. Matrix-Less Methods for Computing Eigenvalues of Large Structured Matrices. Sven-Erik Ekström. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1652, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image, errata).
  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, and Anne Soderlund. In AIMS PUBLIC HEALTH, volume 5, number 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, and Lina Meinecke. In Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volume 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, and Ruth E. Baker. In Royal Society Open Science, volume 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, and Dragos Dancila. In , 2018. (fulltext:postprint).
  133. Scaling RPL to Dense and Large Networks with Constrained Memory. Joakim Eriksson, Niclas Finne, Nicolas Tsiftes, Simon Duquennoy, and Thiemo Voigt. In , 2018. (fulltext:postprint).
  134. Towards Bayesian parametrization of national scale epidemics. Robin Eriksson, Stefan Engblom, and Stefan Widgren. In MATHMOD 2018 Extended Abstracts, pp 65-66, ARGESIM Publisher, Vienna, Austria, 2018. (DOI, Fulltext).
  135. Thematic ranking of object summaries for keyword search. Georgios J. Fakas, Yilun Cai, Zhi Cai, and Nikos Mamoulis. In Data & Knowledge Engineering, volume 113, pp 1-17, 2018. (DOI).
  136. A generalized force-directed layout for multiplex sociograms. Zahra Fatemi, Matteo Magnani, and Mostafa Salehi. In Social Informatics: 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings, Part I, volume 0302-9743 of 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, and Geoffrey P. Bingham. In Attention, Perception & Psychophysics, volume 80, number 6, pp 1584-1590, 2018. (DOI).
  138. Avoiding an IoT  "Tragedy of the Commons". Laura Marie Feeney and Per Gunningberg. In Proc. 16th International Conference on Mobile Systems, Applications, and Services, pp 495-497, ACM Press, New York, 2018. (DOI, Fulltext).
  139. Preliminary Results on LoRaWAN and IEEE 802.15.4-SUN Interference. Laura Marie Feeney, Charalampos Orfanidis, Martin Jacobsson, and Per Gunningberg. In 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, and Huu-Phuc Vo. In 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, and Janina Hornbach. In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pp -97, ACM Publications, New York, NY, USA, 2018. (DOI).
  142. Correctness of a concurrent object collector for actor languages. Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, and Tobias Wrigstad. In Programming Languages and Systems, volume 10801 of Lecture Notes in Computer Science, pp 885-911, Springer, 2018. (DOI, Fulltext).
  143. Safely Abstracting Memory Layouts. Juliana Franco, Alexandros Tasos, Sophia Drossopoulou, Tobias Wrigstad, and Susan Eisenbach. In 20th Workshop on Formal Techniques for Java-like Programs, 2018. (External link).
  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, and Åsa Cajander. In : 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, and Charles Wallace. In 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, and Ginevra Castellano. In 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, and Ginevra Castellano. In 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, and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2018-009, 2018. (External link).
  149. Block generalized locally Toeplitz sequences: From the theory to the applications. Carlo Garoni, Mariarosa Mazza, and Stefano Serra-Capizzano. In Axioms, volume 7, pp 49:1-29, 2018. (DOI, Fulltext).
  150. Generalized locally Toeplitz sequences: A spectral analysis tool for discretized differential equations. Carlo Garoni and Stefano Serra-Capizzano. In Splines and PDEs: From Approximation Theory to Numerical Linear Algebra, volume 2219 of 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 and Stefano Serra-Capizzano. In Journal of Fourier Analysis and Applications, volume 24, pp 506-524, 2018. (DOI).
  152. The theory of block generalized locally Toeplitz sequences. Carlo Garoni, Stefano Serra-Capizzano, and Debora Sesana. Technical report / Department of Information Technology, Uppsala University nr 2018-001, 2018. (External link).
  153. Effective slip over partially filled microcavities and its possible failure. Zhouyang Ge, Hanna Holmgren, Martin Kronbichler, Luca Brandt, and Gunilla Kreiss. In Physical Review Fluids, volume 3, pp 054201:1-17, 2018. (DOI).
  154. Model-theoretic Conservative Extension of Definitional Theories. Arve Gengelbach and Tjark Weber. In Electronical Notes in Theoretical Computer Science, volume 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, and Annelie Tjernlund. In Journal of Infectious Diseases, volume 218, number 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, and Garrelt Mellema. In Peering towards Cosmic Dawn, volume 12:S333 of 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, and Thiemo Voigt. In 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. In 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 and Stefan Engblom. In Applied Mathematical Modelling, volume 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, and Matti Tedre. In 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. In 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, and Mohammad Obaid. In 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, and Hanife Rexhepi. In Journal of Medical Internet Research, volume 20, number 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, and Ignacio Tomas. In SIAM Journal on Scientific Computing, volume 40, number 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, and Stefano Serra Capizzano. In Climate of the Past, volume 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, and Antonio Visioli. In , volume 51:15 of 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, and Yannick Le Moullec. In Medical physics (Lancaster), volume 45, number 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, and Ida-Maria Sintorn. In Swedish Symposium on Image Analysis, 2018. (External link).
  169. "Why am I Even Doing this?": The Experiences of Female Students in CS from an Insider Perspective. Sara Gustavsson and Moa Marklund. In 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, and Matteo Magnani. In 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, and Per Gunningberg. In 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, and Per Gunningberg. In 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, and Ekta Vats. In Digital Libraries and Multimedia Archives, volume 806 of 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, and Gustaf Kylberg. In Pattern Recognition and Image Analysis, volume 28, number 2, pp 261-272, 2018. (DOI).
  175. An intelligent user interface for efficient semi-automatic transcription of historical handwritten documents. Anders Hast and Ekta Vats. In Proc. 23rd International Conference on Intelligent User Interfaces Companion, ACM Press, New York, 2018. (DOI).
  176. Radial line Fourier descriptor for historical handwritten text representation. Anders Hast and Ekta Vats. In Proc. 26th International Conference on Computer Graphics: Visualization and Computer Vision, 2018. (Proceedings).
  177. Radial line Fourier descriptor for historical handwritten text representation. Anders Hast and Ekta Vats. In Journal of WSCG, volume 26, number 1, pp 31-40, 2018. (DOI).
  178. On the Consensus Mechanisms of Blockchain/DLT for Internet of Things. Qingqiang He, Nan Guan, Mingsong Lv, and Yi Wang. In 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, and Anders Hast. In , 2018.
  180. Word Spotting in Historical Handwritten Manuscripts using Capsule Networks. Raphaela Heil, Ekta Vats, and Anders Hast. In , 2018.
  181. Stabilized equal low-order finite elements in ice sheet modeling: accuracy and robustness. Christian Helanow and Josefin Ahlkrona. In Computational Geosciences, volume 22, pp 951-974, 2018. (DOI, Fulltext).
  182. The ELDARICA Horn Solver. Hossein Hojjat and Philipp Rümmer. In 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, and Tomas Vojnar. In Proceedings of the ACM on Programming Languages, volume 2, number 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, and Anja E. Hauser. In Cytometry Part A, volume 93, number 9, pp 876-888, 2018. (DOI).
  185. Auxiliary-Particle-Filter-based Two-Filter Smoothing for Wiener State-Space Models. Roland Hostettler and Thomas B. Schön. In 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, and Fei Wang. In 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, and Edith Ngai. In IEEE transactions on broadcasting, volume 64, number 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, and Maria Hägglund. In Informaatiotutkimus, volume 37, number 3, pp 51-54, 2018. (DOI, Fulltext).
  189. Demo: Security on Harvested Power. Abdullah Hylamia, Marco Spanghero, Ambuj Varshney, Thiemo Voigt, and Panagiotis Papadimitratos. In 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, and Thiemo Voigt. In 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, and Panagiotis Papadimitratos. In , 2018.
  192. Towards Battery-free Radio Tomographic Imaging: Demo Abstract. Abdullah Hylamia, Ambuj Varshney, Andreas Soleiman, Panagiotis Papadimitratos, Christian Rohner, and Thiemo Voigt. In , 2018.
  193. Timing It Right -: Patients' Online Access to Their Record Notes in Sweden. Maria Hägglund, Jonas Moll, Rose-Mharie Åhlfeldt, and Isabella Scandurra. In , 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, and Lina von Sydow. In Computers and Mathematics with Applications, volume 76, pp 2330-2344, 2018. (DOI).
  195. Making Compact-Table Compact. Linnea Ingmar and Christian Schulte. In Principles and practice of constraint programming, volume 11008 of 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 and Aletta Nylén. In Proc. 23rd Conference on Innovation and Technology in Computer Science Education, pp 117-122, ACM Press, New York, 2018. (DOI).
  197. The Long and Winding Road Toward Efficient High-Performance Computing. William Jalby, David Kuck, Allen D. Malony, Michel Masella, Abdelhafid Mazouz, and Mihail Popov. In Proceedings of the IEEE, volume 106, number 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, and Adrian Wills. In Nuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms, volume 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, and Alberto Ros. In IEEE Transactions on Parallel and Distributed Systems, volume 29, number 3, pp 527-541, IEEE COMPUTER SOC, 2018. (DOI).
  200. Robots for Learning. Wafa Johal, Ginevra Castellano, Fumihide Tanaka, and Sandra Okita. In International Journal of Social Robotics, volume 10, number 3, pp 293-294, 2018. (DOI, fulltext:preprint).
  201. Robots for Learning: R4L. Wafa Johal, James Kennedy, Vicky Charisi, Hae Won Park, Ginevra Castellano, and Pierre Dillenbourg. In 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, and Filip Bergquist. In CNS Neuroscience & Therapeutics, volume 24, number 5, pp 439-447, 2018. (DOI).
  203. On Performance Observability in IoT Systems using Active Measurements. Andreas Johnsson and Christian Rohner. In 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, and Ginevra Castellano. In International Journal of Social Robotics, volume 10, number 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 and Ginevra Castellano. In International Journal of Social Robotics, volume 10, number 3, pp 357-370, 2018. (DOI, Fulltext, fulltext:print).
  206. The Quest for Optimality in Stateless Model Checking of Concurrent Programs. Bengt Jonsson. In Formal Methods For Industrial Critical Systems, FMICS 2018, volume 11119 of 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, and Paula Alexandra Silva. In Design, User Experience, and Usability: Part II, volume 10919 of Lecture Notes in Computer Science, pp 19-38, Springer, 2018. (DOI).
  208. HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang. Konstantinos Kallas and Konstantinos Sagonas. In 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, and Torbjörn Wigren. In Handbook of Position Location: Theory, Practice, and Advances, IEEE Press, 2018.
  210. AI and philosophizing. Iordanis Kavathatzopoulos. In , 2018.
  211. AI as gadfly. Iordanis Kavathatzopoulos. In Wabi-Sabi: Imperfection, incompleteness and impermanence in Organisational Life, pp 150-150, 2018. (External link, Book of abstracts).
  212. Linguistic aspects in teaching and learning ethical skills. Iordanis Kavathatzopoulos. In , 2018.
  213. Making ethical competence possible. Iordanis Kavathatzopoulos. In , 2018.
  214. Philosophy as the Road to Good ICT. Iordanis Kavathatzopoulos and Ryoko Asai. In This Changes Everything – ICT and Climate Change: What Can We Do?, volume 537 of IFIP AICT, pp 293-298, Springer, 2018. (DOI).
  215. Non-Speculative Load Reordering in Total Store Ordering. Stefanos Kaxiras, Trevor E. Carlson, Mehdi Alipour, and Alberto Ros. In IEEE Micro, volume 38, number 3, pp 48-57, IEEE COMPUTER SOC, 2018. (DOI).
  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, and Erkki Pesonen. In European Journal of Engineering Education, volume 43, number 2, pp 201-218, 2018. (DOI).
  217. A word from the editor. Christer Kiselman. In Esperantologio / Esperanto Studies, number 8, pp 8-12, KAVA-PECH, Dobrichovice, 2018.
  218. Aliroj al esperanto. Christer Kiselman, Renato Corsetti, and Probal Dasgupta (eds). KAVA-PECH, Dobrichovice, 2018. (Publishers homepage).
  219. Enkonduko: [Introduction]. Christer Kiselman. In 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. In Esperantologio / Esperanto Studies, number 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. (External link).
  222. Queue Delegation Locking. David Klaftenegger, Konstantinos Sagonas, and Kjell Winblad. In IEEE Transactions on Parallel and Distributed Systems, volume 29, number 3, pp 687-704, IEEE COMPUTER SOC, 2018. (DOI).
  223. Automating regression verification of pointer programs by predicate abstraction. Vladimir Klebanov, Philipp Rümmer, and Mattias Ulbrich. In Formal methods in system design, volume 52, number 3, pp 229-259, 2018. (DOI, fulltext:postprint).
  224. Effective Stateless Model Checking for C/C++ Concurrency. Michalis Kokologiannakis, Ori Lahav, Konstantinos Sagonas, and Viktor Vafeiadis. In Proceedings of the ACM on Programming Languages, volume 2, number 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, and Shahid Ahmad. In International Journal of Computer Mathematics, volume 95, pp 881-897, 2018. (DOI).
  226. Preface. Gunilla Kreiss and Lars Eldén. In BIT Numerical Mathematics, volume 58, number 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, and Hanna Holmgren. In The international journal of high performance computing applications, volume 32, pp 266-287, 2018. (DOI).
  228. On-the-fly computation of frontal orbitals in density matrix expansions. Anastasia Kruchinina, Elias Rudberg, and Emanuel H. Rubensson. In Journal of Chemical Theory and Computation, volume 14, pp 139-153, 2018. (DOI).
  229. 50 years of software engineering: Challenges, results, and opportunities in its education. Stephan Krusche, Bruce Scharlau, Åsa Cajander, and Janet Hughes. In Proc. 23rd Conference on Innovation and Technology in Computer Science Education, pp 362-363, ACM Press, New York, 2018. (DOI).
  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, and Erik Elmroth. In Future generations computer systems, volume 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, and Naveen Kalra. In Medical Imaging 2018: Computer-Aided Diagnosis, volume 10575 of 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, and Anup Sadhu. In Medical Image Understanding and Analysis: 22nd Conference, MIUA 2018, Southampton, UK, July 9-11, 2018, Proceedings, volume 894 of 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, and Vijay Nagarajan. In ACM Sigplan Notices, pp 30-42, 2018. (DOI).
  234. Wabi-sabi in the design of ICT: aestheticising digital imperfections. Mikael Laaksoharju. In 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, and Ramón A. Delgado. In 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, and Di Yuan. In 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, and Bjorn Ottersten. In 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, and Roman H. Khonsari. In Journal of Cranio-Maxillofacial Surgery, volume 46, number 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, and Peter Stoica. In IEEE Signal Processing Letters, volume 25, number 8, pp 1251-1255, 2018. (DOI).
  240. Model order determination for signed measurements via the Bayesian information criterion. Changheng Li, Rong Zhang, Jian Li, and Peter Stoica. In 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, and Gabriel Skantze. In 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, and Jian Li. In IEEE Signal Processing Letters, volume 25, number 1, pp 5-9, 2018. (DOI).
  243. A robust structured preconditioner for time-harmonic parabolic optimal control problems. Zhao-Zheng Liang, Owe Axelsson, and Maya Neytcheva. In Numerical Algorithms, volume 79, pp 575-596, 2018. (DOI, Fulltext).
  244. Graphical model inference: Sequential Monte Carlo meets deterministic approximations. Fredrik Lindsten, Jouni Helske, and Matti Vihola. In ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 31 (NIPS 2018), volume 31 of Advances in Neural Information Processing Systems, NEURAL INFORMATION PROCESSING SYSTEMS (NIPS), 2018. (External link).
  245. A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention. Jonatan Lindén and Bengt Jonsson. Technical report / Department of Information Technology, Uppsala University nr 2018-003, 2018.
  246. Fine-grained local dynamic load balancing in PDES. Jonatan Lindén, Pavol Bauer, Stefan Engblom, and Bengt Jonsson. In Proc. 6th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp 201-212, ACM Press, New York, 2018. (DOI).
  247. Synchronization Techniques in Parallel Discrete Event Simulation. Jonatan Lindén. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1634, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  248. Precision study on augmented reality-based visual guidance for facility management tasks. Fei Liu and Stefan Seipel. In Automation in Construction, volume 90, pp 79-90, 2018. (DOI, Fulltext).
  249. Assessing uncertainties in x-ray single-particle three-dimensional reconstruction. Jing Liu, Stefan Engblom, and Carl Nettelblad. In Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volume 98, pp 013303:1-12, 2018. (DOI).
  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, and Mohammad Obaid. In 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, and Erik Billing. In Multimodal Technologies and Interaction, volume 2, number 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, and Gunilla Kreiss. In Journal of Scientific Computing, volume 76, pp 812-847, 2018. (DOI, Fulltext).
  253. Automating Targeted Property-Based Testing. Andreas Löscher and Konstantinos Sagonas. In 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. Ph.D. thesis, 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, and Anders Jansson. In Theoretical Issues in Ergonomics Science, volume 19, number 1, pp 101-117, 2018. (DOI).
  256. When Can lp-norm Objective Functions Be Minimized via Graph Cuts?. Filip Malmberg and Robin Strand. In Combinatorial Image Analysis, Lecture Notes in Computer Science, pp 112-117, Springer, 2018. (DOI, External link).
  257. Digital Competence, Teacher Self-Efficacy and Training Needs. Linda Mannila, Lars-Åke Nordén, and Arnold Pears. In 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 and Pelle Olsson. In Journal of Computational Physics, volume 372, pp 349-372, 2018. (DOI).
  259. Boundary optimized diagonal-norm SBP operators. Ken Mattsson, Martin Almquist, and Edwin van der Weide. In Journal of Computational Physics, volume 374, pp 1261-1266, 2018. (DOI).
  260. Compatible diagonal-norm staggered and upwind SBP operators. Ken Mattsson and Ossian O'Reilly. In Journal of Computational Physics, volume 352, pp 52-75, 2018. (DOI).
  261. Simulation of acoustic and flexural-gravity waves in ice-covered oceans. Ken Mattsson, Eric M. Dunham, and Jonatan Werpers. In Journal of Computational Physics, volume 373, pp 230-252, 2018. (DOI).
  262. Identification of cascade water tanks using a PWARX model. Per Mattsson, Dave Zachariah, and Peter Stoica. In Mechanical systems and signal processing, volume 106, pp 40-48, 2018. (DOI).
  263. Recursive nonlinear-system identification using latent variables. Per Mattsson, Dave Zachariah, and Peter Stoica. In Automatica, volume 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, and Ida-Maria Sintorn. In SLAS Discovery: Advancing Life Sciences R&D, volume 23, number 10, pp 1030-1039, 2018. (DOI).
  265. Minimal annotation training for segmentation of microscopy images. Damian J. Matuszewski and Ida-Maria Sintorn. In 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, and Ville Isomöttönen. In 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 and Edith Ngai. In IEEE Systems Journal, volume 12, number 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, and Zhanybai T. Zhusubaliyev. In 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, and Zhanybai T. Zhusubaliyev. In Annual Reviews in Control, volume 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, and Viktor Avrutin. In Nonlinear dynamics, volume 94, number 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, and Richardson N. Leão. In Nature Communications, volume 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?. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1702, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  274. Radial basis function generated finite differences for option pricing problems. Slobodan Milovanovi? and Lina von Sydow. In Computers and Mathematics with Applications, volume 75, pp 1462-1481, 2018. (DOI).
  275. GISwaps: A new method for decision making in continuous choice models based on even swaps. Goran Milutinovic, Ulla Ahonen-Jonnarth, and Stefan Seipel. In International Journal of Decision Support System Technology, volume 10, number 3, pp 57-78, 2018. (DOI, Fulltext, fulltext:print).
  276. Visual GISwaps: an interactive visualization framework for geospatial decision making. Goran Milutinovic and Stefan Seipel. In Proc. 13th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications: Volume 3, pp 236-243, SciTePress, 2018. (DOI, External link).
  277. Run-Time Assurance for the E-care@ home System. Uddin Ahmed Mobyen, Hossein Fotouhi, Uwe Köckemann, Maria Linden, Ivan Tomasic, Nicolas Tsiftes, and Thiemo Voigt. In , 2018. (External link).
  278. Optimal harmonic period assignment: complexity results and approximation algorithms. Morteza Mohaqeqi, Mitra Nasri, Yang Xu, Anton Cervin, and Karl-Erik Årzén. In Real-time systems, volume 54, number 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, and Rose-Mharie Åhlfeldt. In Journal of Medical Internet Research, volume 20, number 11, 2018. (DOI, Fulltext, fulltext:print).
  280. How to extend the application scope of GLT-sequences. Stanislav Morozov, Stefano Serra-Capizzano, and Eugene Tyrtyshnikov. Technical report / Department of Information Technology, Uppsala University nr 2018-013, 2018. (External link).
  281. Expressing coherent personality with incremental acquisition of multimodal behaviors. Pedro Mota, Maike Paetzel, Andrea Fox, Aida Amini, Siddarth Srinivasan, James Kennedy, and Jill Fain Lehman. In 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 and Mattias Liefvendahl. In SoftwareX, volume 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, and Mattias Liefvendahl. In 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. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1697, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  285. Turbulucid: A Python package for post-processing of fluid flow simulations. Timofey Mukha. In Journal of Open Research Software, volume 6, 2018. (DOI, Fulltext).
  286. Automated learning with a probabilistic programming language: Birch. Lawrence Murray and Thomas B. Schön. In Annual Reviews in Control, volume 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, and Thomas B. Schön. In Proceedings of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS), Lanzarote, Spain, April, 2018, Proceedings of Machine Learning Research, 2018. (External link).
  288. Distance Functions Based on Multiple Types of Weighted Steps Combined with Neighborhood Sequences. Benedek Nagy, Robin Strand, and Nicolas Normand. In Journal of Mathematical Imaging and Vision, volume 60, number 8, pp 1209-1219, 2018. (DOI).
  289. Hamnar vi i skuggan av en AI?: En bok om artificiell intelligens och oss själva. Gerolf Nauwerck. In 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 and Rebecka Cowen Forsell. In Proc. 16th European Conference on Computer-Supported Cooperative Work: Exploratory Papers, volume 2:1 of 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, and Andreas Thor. In Journal of Dentistry, volume 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, and Andreas Thor. In BMC Oral Health, volume 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, and Vladimir Voevodin. In Parallel Processing and Applied Mathematics: Part I, volume 10777 of Lecture Notes in Computer Science, pp 417-431, Springer, 2018. (DOI).
  294. Delorean: Virtualized Directed Profiling for Cache Modeling in Sampled Simulation. Nikos Nikoleris, Erik Hagersten, and 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, and Andreas Thor. In Journal of Cranio-Maxillofacial Surgery, volume 46, number 3, pp 381-387, 2018. (DOI).
  296. A stability criterion for switching Lur'e systems with switching-path restrictions. Johannes Nygren and Kristiaan Pelckmans. In Automatica, volume 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, and Ville Isomöttönen. In 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, and Ioana Ocnarescu. In 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?, and Wolmet Barendregt. In International Journal of Social Robotics, volume 10, number 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, and Ginevra Castellano. In International Journal of Humanoid Robotics, volume 15, number 6, 2018. (DOI, fulltext:postprint).
  301. Identification of nonlinear feedback mechanisms operating in closed loop using inertial sensors. Fredrik Olsson, Kjartan Halvorsen, Dave Zachariah, and Per Mattsson. In , volume 51:15 of IFAC-PapersOnLine, pp 473-478, IFAC Papers Online, 2018. (DOI, fulltext:print).
  302. Modeling and assessment of human balance and movement disorders using inertial sensors. Fredrik Olsson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2018-003, Uppsala University, 2018. (fulltext).
  303. Tremor Severity Rating by Markov Chains. Fredrik Olsson and Alexander Medvedev. In , volume 51:15 of IFAC-PapersOnLine, pp 317-322, IFAC Papers Online, 2018. (DOI, fulltext:print).
  304. Robustness in low power wide area networks. Charalampos Orfanidis. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2018-004, Uppsala University, 2018. (fulltext).
  305. Learning localized spatio-temporal models from streaming data. Muhammad Osama, Dave Zachariah, and Thomas Schön. In Proceedings of the 35th International Conference on Machine Learning, volume 80 of 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, and Jill Fain Lehman. In 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, and Ginevra Castellano. In 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. In Harvard Business Review Italia, number 11, pp 46-50, Milano, Italy, 2018. (External link).
  309. Forget About Privacy . . . or Not?. Norberto Patrignani, Diane Whitehouse, and Monica Gemo. In Privacy And Identity Management: The Smart Revolution, volume 526 of 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 and Iordanis Kavathatzopoulos. In This Changes Everything –ICT and Climate Change: What Can We Do?, volume 537 of IFIP AICT, pp 181-187, Springer, 2018. (DOI, fulltext:preprint).
  311. The making of a computer scientist. Anne-Kathrin Peters and Judeth Oden Choi. In XRDS, volume 25, number 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, and Carl Nettelblad. In Communications Physics, volume 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 and Carl Nettelblad. In Optics Express, volume 26, pp 24422-24443, 2018. (DOI, Fulltext).
  314. Verified Software. Theories, Tools, and Experiments: Revised Selected Papers. Ruzica Piskac and Philipp Rümmer (eds). Volume 11294 of Lecture Notes in Computer Science, Springer Publishing Company, 2018.
  315. Coupling atomistic and continuum modelling of magnetism. Mikhail Poluektov, Olle Eriksson, and Gunilla Kreiss. In Computer Methods in Applied Mechanics and Engineering, volume 329, pp 219-253, 2018. (DOI).
  316. Demo Abstract: Battery-Free 802.15.4 Receiver. Carlos Pérez-Penichet, Claro Noda, Ambuj Varshney, and Thiemo Voigt. In 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, and Jan Sijbers. In IEEE Transactions on Medical Imaging, volume 37, number 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, and Johan Schoukens. In , volume 51:15 of 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, and Peter Stoica. In 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, and Isto Huvila. In Health Informatics Journal, volume 24, number 2, pp 115-124, 2018. (DOI).
  321. A-priori study of wall modeling in large eddy simulation. Saleh Rezaeiravesh, Timofey Mukha, and Mattias Liefvendahl. In Proc. 7th European Conference on Computational Fluid Dynamics, European Community on Computional Methods in Applied Sciences (ECCOMAS), 2018.
  322. Application of Uncertainty Quantification Techniques to Studies of Wall-Bounded Turbulent Flows. Saleh Rezaeiravesh. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1727, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image, 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, and Philipp Schlatter. In European journal of mechanics. B, Fluids, volume 72, pp 57-73, 2018. (DOI).
  324. Effect of grid resolution on large eddy simulation of wall-bounded turbulence. Saleh Rezaeiravesh and Mattias Liefvendahl. In Physics of fluids, volume 30, pp 055106:1-22, 2018. (DOI).
  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, and Antonio Ribeiro. In <em>ML4H: Machine Learning for Health Workshop at NeurIPS</em>, Montréal, Canada, December 2018., 2018. (External link).
  326. Semi-parametric kernel-based identification of Wiener systems. Riccardo Sven Risuleo, Fredrik Lindsten, and Håkan Hjalmarsson. In 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 and Stefanos Kaxiras. In Proc.45th International Symposium on Computer Architecture, pp 221-234, IEEE, 2018. (DOI, fulltext:postprint).
  328. The Superfluous Load Queue. Alberto Ros and Stefanos Kaxiras. In 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, and Anastasia Kruchinina. In SoftwareX, volume 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, and Jan M. Hirsch. In EAOM2018, 2018.
  331. High-fidelity sound propagation in a varying 3D atmosphere. Ylva Rydin, Ken Mattsson, and Jonatan Werpers. In Journal of Scientific Computing, volume 77, pp 1278-1302, 2018. (DOI, Fulltext).
  332. Radial basis function methods for the Rosenau equation and other higher order PDEs. Ali Safdari-Vaighani, Elisabeth Larsson, and Alfa Heryudono. In Journal of Scientific Computing, volume 75, pp 1555-1580, 2018. (DOI, Fulltext).
  333. A contention adapting approach to concurrent ordered sets. Konstantinos Sagonas and Kjell Winblad. In Journal of Parallel and Distributed Computing, volume 115, pp 1-19, ACADEMIC PRESS INC ELSEVIER SCIENCE, 2018. (DOI).
  334. Progress on Algorithms for Stateless Model Checking. Konstantinos Sagonas. In 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, External link).
  335. On threats and violence for staff and patient accessible electronic health records. Ulrika Sahlin Åkerstedt, Åsa Cajander, Jonas Moll, and Ture Ålander. In Cogent Psychology, volume 5, 2018. (DOI, Fulltext).
  336. Information systems in nurses' work environment: From flexibility to boundedness. Minna Salminen-Karlsson. In , 2018. (External link).
  337. Fault signatures and bias progression in dissolved oxygen sensors. Oscar Samuelsson, Anders Bjork, Jesus Zambrano, and Bengt Carlsson. In Water Science and Technology, volume 78, number 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, and Simon. In 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, and Roman Hossein Khonsari. In Journal of Anatomy, volume 233, number 3, pp 302-310, 2018. (DOI).
  340. Probabilistic programming allows for automated inference in factor graph models. Matteo Scandella, Lawrence Murray, and Thomas B. Schön. In , 2018.
  341. Probabilistic learning of nonlinear dynamical systems using sequential Monte Carlo. Thomas B. Schön, Andreas Svensson, Lawrence Murray, and Fredrik Lindsten. In Mechanical systems and signal processing, volume 104, pp 866-883, ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 2018. (DOI).
  342. Localised Radial Basis Function Methods for Partial Differential Equations. Victor Shcherbakov. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1600, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  343. Learning Outcome Outcomes: An Evaluation of Quality. Daniel Sigurgeirsson, Marta Lárusdóttir, Mohammad Hamdaga, Mats Daniels, and Björn Jónsson. In Proc. 48th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2018. (DOI).
  344. Hyperparameter optimization for approximate Bayesian computation. Prashant Singh and Andreas Hellander. In 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, and Anders Hast. In 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 and Andreas Hellander. In 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, and Simo Särkkä. In IEEE Transactions on robotics, volume 34, number 4, pp 1112-1127, Institute of Electrical and Electronics Engineers (IEEE), 2018. (DOI).
  348. Whole Slide Image Registration for the Study of Tumor Heterogeneity. Leslie Solorzano, Gabriela Almeida, Bárbara Mesquita, Diana Martins, Carla Oliveira, and Carolina Wählby. In MICCAI 2018 - International Workshop on Ophthalmic Medical Image Analysis: OMIA 2018, COMPAY 2018: Computational Pathology and Ophthalmic Medical Image Analysis, volume 11039 of Lecture Notes in Computer Science (LNCS), pp 95-102, Springer, Cham, 2018. (DOI, External link).
  349. 2D-frequency domain identification of complex sinusoids in the presence of additive noise. Umberto Soverini and Torsten Söderström. In , volume 51:15 of IFAC-PapersOnLine, pp 820-825, 2018. (DOI).
  350. Identification of two-dimensional complex sinusoids in white noise: a state-space frequency approach. Umberto Soverini and Torsten Söderström. In , volume 51:15 of IFAC-PapersOnLine, pp 996-1001, 2018. (DOI).
  351. High Order Cut Finite Element Methods for Wave Equations. Simon Sticko. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1656, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  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, and Yi Wang. In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, volume 37, number 11, pp 2200-2211, 2018. (DOI).
  353. How consistent is my model with the data?: Information-theoretic model check. Andreas Svensson, Dave Zachariah, and Thomas B. Schön. In , volume 51:15 of IFAC-PapersOnLine, pp 407-412, 2018. (DOI).
  354. Learning nonlinear state-space models using smooth particle-filter-based likelihood approximations. Andreas Svensson, Fredrik Lindsten, and Thomas B. Schön. In , volume 51:15 of 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, and Fredrik Lindsten. In Mechanical systems and signal processing, volume 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. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1709, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  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, and David J. T. Sumpter. In Animal Behaviour, volume 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, and Susan Eisenbach. In 13th Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Workshop, 2018. (External link).
  360. Partial and Overlapping Community Detection in Multiplex Social Networks. Nazanin Afsarmanesh Tehrani and Matteo Magnani. In 10th International Conference on Social Informatics (SocInfo2018 ), volume 11186 of 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, and Wendong Wang. In Computer Communications, volume 119, pp 167-178, 2018. (DOI).
  362. A finite difference method for earthquake sequences in poroelastic solids. Kim Torberntsson, Vidar Stiernström, Ken Mattsson, and Eric M. Dunham. In Computational Geosciences, volume 22, pp 1351-1370, 2018. (DOI).
  363. HarmonicIO: Scalable data stream processing for scientific datasets. Preechakorn Torruangwatthana, Håkan Wieslander, Ben Blamey, Andreas Hellander, and Salman Toor. In Proc. 11th International Conference on Cloud Computing, pp 879-882, IEEE Computer Society, Los Alamitos, CA, 2018. (DOI).
  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, and Stefan Stanciu. In IEEE Access, volume 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, and Stefanos Kaxiras. In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp 328-343, Association for Computing Machinery (ACM), 2018. (DOI, fulltext:print).
  366. Static instruction scheduling for high performance on energy-efficient processors. Kim-Anh Tran. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2018-001, Uppsala University, 2018. (fulltext).
  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, and Alexandra Jimborean. In IEEE Transactions on Computers, volume 67, number 4, pp 513-527, 2018. (DOI).
  368. Velox VM: A safe execution environment for resource-constrained IoT applications. Nicolas Tsiftes and Thiemo Voigt. In Journal of Network and Computer Applications, volume 118, pp 61-73, 2018. (DOI).
  369. Learning convex bounds for linear quadratic control policy synthesis. Jack Umenberger and Thomas B. Schön. In Neural Information Processing Systems 2018, Advances in Neural Information Processing Systems, 2018. (External link).
  370. Maximum likelihood identification of stable linear dynamical systems. Jack Umenberger, Johan Wågberg, Ian R. Manchester, and Thomas B. Schön. In Automatica, volume 96, pp 280-292, 2018. (DOI).
  371. Enabling Sustainable Networked Embedded Systems. Ambuj Varshney. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1648, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext).
  372. The self-flipped classroom concept: Underlying ideas and experiences. Anna Vasilchenko, Åsa Cajander, Mats Daniels, and Madeline Balaam. In 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, and Lasse Mårtensson. In Digital Humanities in the Nordic Countries: Book of Abstracts, 2018. (Abstracts).
  374. Foundations of Temporal Text Networks. Davide Vega and Matteo Magnani. In Applied Network Science, volume 3, number 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. In Journal of Scientific Computing, volume 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, and Gunilla Kreiss. In Mathematics of Computation, volume 87, number 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, and Ricky Kwok. In IEEE Communications Magazine, volume 56, number 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, and Geoffrey P. Bingham. In Journal of Experimental Psychology: Human Perception and Performance, volume 44, number 10, pp 1508-1522, 2018. (DOI).
  379. The Cause-Effect Latency Problem in Real-Time Systems. Yi Wang. In Formal Methods For Industrial Critical Systems, FMICS 2018, volume 11119 of 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 and Hans Lohninger. In 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, and Natasa Sladoje. In Swedish Symposium on Deep Learning, 2018. (External link).
  382. Optical Interconnect Architectures for Datacenters. Pawel Wiatr, Di Yuan, Lena Wosinska, and Jiajia Chen. In 2018 IEEE Photonics Conference (IPC), IEEE Photonics Conference, IEEE, 2018. (DOI).
  383. Reliability performance aware routing. Pawel Wiatr and Di Yuan. In 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, and Ann Lindberg. In Veterinary research (Print), volume 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, and Fredrik Lindsten. In , volume 51:15 of 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, and Richard H. Middleton. In IEEE Transactions on Vehicular Technology, volume 67, number 6, pp 5357-5371, 2018. (DOI).
  387. Globally stable wireless data flow control. Torbjörn Wigren and Reem Karaki. In IEEE Transactions on Control of Network Systems, volume 5, number 1, pp 469-478, 2018. (DOI).
  388. Wireless hybrid positioning based on surface modeling with polygon support. Torbjörn Wigren. In Proc. 87th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2018. (DOI).
  389. Dynamic Adaptations of Synchronization Granularity in Concurrent Data Structures. Kjell Winblad. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1684, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  390. Lock-free Contention Adapting Search Trees. Kjell Winblad, Konstantinos Sagonas, and Bengt Jonsson. In The 30th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2018, New York, NY, USA, 2018. (DOI).
  391. Regularized parametric system identification: a decision-theoretic formulation. Johan Wågberg, Dave Zachariah, and Thomas B. Schön. In 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, and Xiuming Liu. In 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, and Jiangchuan Liu. In IEEE Internet of Things Journal, volume 5, number 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 and Alexander Medvedev. In Proc. 16th European Control Conference, pp 107-112, IEEE, 2018. (DOI, fulltext:print).
  395. Convergence in networked recursive identification with output quantization. Sholeh Yasini and Torbjörn Wigren. In , volume 51:15 of IFAC-PapersOnLine, pp 915-920, 2018. (DOI).
  396. Counterexamples to parametric convergence in recursive networked identification. Sholeh Yasini and Torbjörn Wigren. In 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 and Kristiaan Pelckmans. In IEEE Transactions on Automatic Control, volume 63, number 6, pp 1768-1775, 2018. (DOI).
  398. Resource Optimization With Flexible Numerology and Frame Structure for Heterogeneous Services. Lei You, Qi Liao, Nikolaos Pappas, and Di Yuan. In IEEE Communications Letters, volume 22, number 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, and Björn Ottersten. In IEEE Transactions on Wireless Communications, volume 17, number 7, pp 4735-4749, 2018. (DOI).
  400. Model-robust counterfactual prediction method. Dave Zachariah and Peter Stoica. In 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. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1621, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  402. Distributed dynamic load balancing for task parallel programming. Afshin Zafari and Elisabeth Larsson. 2018. (arXiv:1801.04582).
  403. TaskUniVerse: A Task-Based Unified Interface for Versatile Parallel Execution. Afshin Zafari. In Parallel Processing and Applied Mathematics: Part I, volume 10777 of Lecture Notes in Computer Science, pp 169-184, Springer, 2018. (DOI, fulltext:postprint).
  404. Exploring Approximations for Floating-Point Arithmetic using UppSAT. Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, and Philipp Rümmer. In Automated Reasoning, volume 10900 of 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, and Yuemin Hu. In Multimedia tools and applications, volume 77, number 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, and Hans Törmä. In Experimental dermatology, volume 27, number 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, and Bin Hu. In IEEE Internet of Things Journal, volume 5, number 4, pp 2633-2645, 2018. (DOI).
  408. Bandit learning with concurrent transmissions for energy-efficient flooding in sensor networks. Peilin Zhang, Alex Yuan Gao, and Oliver Theel. In EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, volume 4, number 13, 2018. (DOI, Fulltext).
  409. Constructing a Weak Memory Model. Sizhuo Zhang, Muralidaran Vijayaraghavan, Andrew Wright, Mehdi Alipour, and Arvind Mithal. In , ACM/IEEE Annual International Symposium on Computer Architecture (ISCA), pp 124-137, IEEE, New York, 2018. (DOI, fulltext:postprint).
  410. Caches, Transactions and Memories: Models, Coherence and Consistency. Yunyun Zhu. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1665, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
  411. Special issue-Computational and algorithmic finance. Karel in't Hout, Andrey Itkin, Lina von Sydow, and Jari Toivanen. In Journal of Computational Science, volume 24, pp 180-181, Elsevier BV, 2018. (DOI).
  412. Private announcements on topological spaces. Hans van Ditmarsch, Sophia Knight, and Aybüke Özgün. In Studia Logica: An International Journal for Symbolic Logic, volume 106, number 3, pp 481-513, 2018. (DOI, Fulltext).
  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, and Lina von Sydow. In Geoscientific Model Development, volume 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, and Joakim Munkhammar. In Applied Energy, volume 213, pp 195-207, 2018. (DOI).
  415. Measuring programming knowledge in a research context. Kristina von Hausswolff and Anna Eckerdal. In 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. In 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 and Stefan Seipel. In Proc. International Multidisciplinary Scientific GeoConference: SGEM 2018, pp 285-291, 2018. (DOI, Fulltext).
  418. Parallel Programming With Arrays in Kappa. Beatrice Åkerblom, Elias Castegren, and Tobias Wrigstad. In 5th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, 2018. (External link).
  419. Distance Between Vector-valued Images based on Intersection Decomposition with Applications in Object Detection. Johan Öfverstedt, Natasa Sladoje, and Joakim Lindblad. In Swedish Symposium on Image Analysis, 2018. (External link).
  420. Fast and Robust Symmetric Image Registration Based on Intensity and Spatial Information. Johan Öfverstedt, Joakim Lindblad, and Natasa Sladoje. 2018. (External link).

Updated  2018-12-28 14:41:25 by Kurt Otto.