Department of Information Technology

Publications from the Department of Information Technology

Series

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

Search for other publications

To search for other publications, please try

Publications this year

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

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

  1. An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. Parosh Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, and Ahmed Rezine. In International Journal on Software Tools for Technology Transfer (STTT), volume 19, number 5, pp 549-563, SPRINGER HEIDELBERG, 2017. (DOI).
  2. Comparing source sets and persistent sets for partial order reduction. Parosh Abdulla, Stavros Aronis, Bengt Jonsson, and Konstantinos Sagonas. In Models, Algorithms, Logics and Tools: Essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday, volume 10460 of Lecture Notes in Computer Science, pp 516-536, Springer, 2017. (DOI).
  3. Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction. Parosh Abdulla, Stavros Aronis, Bengt Jonsson, and Konstantinos Sagonas. In Journal of the ACM, volume 64, number 4, Association for Computing Machinery (ACM), 2017. (DOI).
  4. Context-bounded analysis for POWER. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, and Tuan Phong Ngo. In Tools and Algorithms for the Construction and Analysis of Systems: Part II, volume 10206 of Lecture Notes in Computer Science, pp 56-74, Springer, 2017. (DOI).
  5. Stateless model checking for TSO and PSO. Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, and Konstantinos Sagonas. In Acta Informatica, volume 54, number 8, pp 789-818, 2017. (DOI).
  6. Synthesis of Ada code from graph-based task models. Jakaria Abdullah, Morteza Mohaqeqi, and Wang Yi. In Proc. 32nd ACM Symposium on Applied Computing, pp 1467-1472, ACM Press, New York, 2017. (DOI).
  7. A meshfree approach to non-Newtonian free surface ice flow: Application to the Haut Glacier d'Arolla. Josefin Ahlkrona and Victor Shcherbakov. In Journal of Computational Physics, volume 330, pp 633-649, 2017. (DOI).
  8. 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. Technical report / Department of Information Technology, Uppsala University nr 2017-012, 2017. (External link).
  9. Higher order derivative-free iterative methods with and without memory for systems of nonlinear equations. Fayyaz Ahmad, Fazlollah Soleymani, Farhad Khaksar Haghani, and Stefano Serra-Capizzano. In Applied Mathematics and Computation, volume 314, pp 199-211, 2017. (DOI).
  10. User experience in social human–robot interaction. Beatrice Alenljung, Jessica Lindblom, Rebecca Andreasson, and Tom Ziemke. In International Journal of Ambient Computing and Intelligence (IJACI), volume 8, number 2, pp 12-31, 2017. (DOI).
  11. Why do female students choose to study CS in the Kingdom of Saudi Arabia?. Fayiq Alghamdi. In Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, IEEE Computer Society, 2017. (fulltext:postprint).
  12. Exploring the performance limits of out-of-order commit. Mehdi Alipour, Trevor E. Carlson, and Stefanos Kaxiras. In Proc. 14th Computing Frontiers Conference, pp 211-220, ACM Press, New York, 2017. (DOI, attachment:print).
  13. An Ontology-based Context-aware System for Smart Homes: E-care@ home. Marjan Alirezaie, Jennifer Renoux, Uwe Köckemann, Annica Kristoffersson, Lars Karlsson, Eva Blomqvist, Nicolas Tsiftes, Thiemo Voigt, and Amy Loutfi. In Sensors, volume 17, number 7, 2017.
  14. Automated deep-phenotyping of the vertebrate brain. Amin Allalou, Yuelong Wu, Mostafa Ghannad-Rezaie, Peter M. Eimon, and Mehmet Fatih Yanik. In eLIFE, volume 6, 2017. (DOI, Fulltext).
  15. Efficient Simulation of Wave Phenomena. Martin Almquist. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1463, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  16. Multilevel local time-stepping methods of Runge–Kutta-type for wave equations. Martin Almquist and Michaela Mehlin. In SIAM Journal on Scientific Computing, volume 39, pp A2020-A2048, 2017. (DOI).
  17. Addressing Energy Challenges in Filter Caches. Ricardo Alves, Nikos Nikoleris, Stefanos Kaxiras, and David Black-Schaffer. In 29th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), Campinas, Brazil. October 17-20. 2017., pp 49-56, 2017. (DOI).
  18. MiniZinc with strings. Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, and Guido Tack. In Logic-Based Program Synthesis and Transformation, volume 10184 of Lecture Notes in Computer Science, pp 59-75, Springer, 2017. (DOI).
  19. Defining gestural interactions for large vertical touch displays. Robin Andersson, Jonas Berglund, Aykut Co?kun, Morten Fjeld, and Mohammad Obaid. In Human-Computer Interaction – INTERACT 2017: Part I, volume 10513 of Lecture Notes in Computer Science, pp 36-55, Springer, 2017. (DOI).
  20. Tool use and collaborative work of dock assembly in practice. Rebecca Andreasson, Jessica Lindblom, and Peter Thorvald. In Production & Manufacturing Research, volume 5, number 1, pp 164-190, 2017. (DOI, Fulltext, fulltext:print).
  21. Towards a distributed cognition perspective of the Swedish train traffic system. Rebecca Andreasson and Anders Arweström Jansson. In Proceedings of the 13th SweCog Conference, pp 37-39, Högskolan i Skövde, 2017. (Proceedings, fulltext:postprint).
  22. A hybrid method for the imputation of genomic data in livestock populations. Roberto Antolín, Carl Nettelblad, Gregor Gorjanc, Daniel Money, and John M. Hickey. In Genetics Selection Evolution, volume 49, 2017. (DOI, Fulltext).
  23. An energy based discontinuous Galerkin method for acoustic–elastic waves. Daniel Appelö and Siyang Wang. In Proc. 13th International Conference on Mathematical and Numerical Aspects of Wave Propagation, pp 389-390, University of Minnesota Press, Minneapolis, MN, 2017.
  24. An explicit Hermite–Taylor method for the Schrödinger equation. Daniel Appelö, Gunilla Kreiss, and Siyang Wang. In Communications in Computational Physics, volume 21, pp 1207-1230, 2017. (DOI).
  25. An equation-free approach for second order multiscale hyperbolic problems in non-divergence form. Doghonay Arjmand and Gunilla Kreiss. In , number 1708.09446Computing Research Repository, number 1708.09446, 2017. (External link). Publication status: Submitted
  26. Atomistic-continuum multiscale modelling of magnetisation dynamics at non-zero temperature. Doghonay Arjmand, Mikhail Poluektov, and Gunilla Kreiss. In Computing Research Repository, number 1702.05173, 2017. (External link). Publication status: Submitted
  27. Estimates for the upscaling error in heterogeneous multiscale methods for wave propagation problems in locally periodic media. Doghonay Arjmand and Olof Runborg. In Multiscale Modeling & simulation, volume 15, pp 948-976, 2017. (DOI).
  28. Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking. Stavros Aronis, Konstantinos Sagonas, and Scott Lystig Fritchie. In , volume 10510 of Lecture Notes in Computer Science, pp 227-242, Springer, Cham, 2017. (DOI, fulltext:postprint).
  29. The shared-memory interferences of Erlang/OTP built-ins. Stavros Aronis and Konstantinos Sagonas. In Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, Association for Computing Machinery (ACM), New York, 2017. (DOI, fulltext:postprint).
  30. Proceedings of the 13th SweCog Conference. Anders Arweström Jansson, Anton Axelsson, Rebecca Andreasson, and Erik Billing (eds). University of Skövde, Skövde, 2017.
  31. Vad är det trafikledarna gör som automationen inte klarar?: Tågtrafikstyrning med människan i centrum. Anders Arweström Jansson. KAJT-rapport, Uppsala universitet, 2017. (fulltext).
  32. Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM ' 15). Kenichi Asai and Konstantinos Sagonas. In Science of Computer Programming, volume 137, pp 1-1, ELSEVIER SCIENCE BV, 2017. (DOI).
  33. Balancing between the conflicting interests of different stakeholders in research. Ryoko Asai and Iordanis Kavathatzopoulos. In European Business Ethics Network: Research, Deree, American College of Greece College, Athens, 2017. (External link).
  34. Robots as companions in feelings and discussions. Ryoko Asai and Iordanis Kavathatzopoulos. In Retfærdighed – Justice, Robophilosophy, pp 42-42, Copenhagen, 2017. (External link).
  35. Data Packet Transmission through Fat Tissue for Wireless Intra-Body Networks. Noor Badariah Asan, Pérez Penichet Carlos, Syaiful Redzwan, Daniel Noreland, Emadeldeen Hassan, Anders Rydberg, Taco Blokhuis, Thiemo Voigt, and Robin Augustine. In IEEE Journal of Electromagnetics, RF and Microwaves in Medicine and Biology, 2017. (DOI, fulltext:postprint). Publication status: Epub ahead of print
  36. Human fat tissue: A microwave communication channel. Noor Badariah Asan, Syaiful Redzwan, Anders Rydberg, Robin Augustine, Daniel Noreland, Emadeldeen Hassan, and Thiemo Voigt. In , IEEE, Gothenburg, Sweden, 2017. (DOI).
  37. Intra-body microwave communication through adipose tissue. Noor Badariah Asan, Daniel Noreland, Emadeldeen Hassan, Syaiful Redzwan, Anders Rydberg, Taco J. Blokhuis, Per-Ola Carlsson, Thiemo Voigt, and Robin Augustine. In , volume 4, number 4, pp 115-121HEALTHCARE TECHNOLOGY LETTERS, volume 4, number 4, pp 115-121, INST ENGINEERING TECHNOLOGY-IET, 2017. (DOI, Fulltext, fulltext:print).
  38. Reliability of the Fat Tissue Channel for Intra-body Microwave Communication. Noor Badariah Asan, Jacob Velander, Syaiful Redzwan, Robin Augustine, Emadeldeen Hassan, Daniel Noreland, Thiemo Voigt, and Taco Blokhuis. In , Tsukuba, Ibaraki, Japan, 2017. (fulltext:postprint).
  39. A preconditioner for optimal control problems, constrained by Stokes equation with a time-harmonic control. Owe Axelsson, Shiraz Farouq, and Maya Neytcheva. In Journal of Computational and Applied Mathematics, volume 310, pp 5-18, 2017. (DOI, fulltext:postprint).
  40. A robust structured preconditioner for time-harmonic parabolic optimal control problems. Owe Axelsson, Zhao-Zheng Liang, and Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2017-014, 2017. (External link).
  41. 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 2017-004, 2017. (External link).
  42. Comparison of preconditioned Krylov subspace iteration methods for PDE-constrained optimization problems: Stokes control. Owe Axelsson, Shiraz Farouq, and Maya Neytcheva. In Numerical Algorithms, volume 74, pp 19-37, 2017. (DOI, fulltext:postprint).
  43. Parallel solution methods and preconditioners for evolution equations. Owe Axelsson, Maya Neytcheva, and Zhao-Zheng Liang. Technical report / Department of Information Technology, Uppsala University nr 2017-017, 2017. (External link).
  44. Document Binarization Combining with Graph Cuts and Deep Neural Networks. Kalyan Ram Ayyalasomayajula and Anders Brun. In , 2017. (fulltext:postprint).
  45. Historical document binarization combining semantic labeling and graph cuts. Kalyan Ram Ayyalasomayajula and Anders Brun. In Image Analysis: Part I, volume 10269 of Lecture Notes in Computer Science, pp 386-396, Springer, 2017. (DOI, fulltext:postprint).
  46. Semantic Labeling using Convolutional Networks coupled with Graph-Cuts for Document binarization. Kalyan Ram Ayyalasomayajula and Anders Brun. In , 2017. (fulltext:postprint).
  47. Proc. 10th Interaction and Concurrency Experience. Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, and Sophia Knight (eds). Volume 261 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017. (DOI, Fulltext).
  48. Parallelism in Event-Based Computations with Applications in Biology. Pavol Bauer. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1586, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  49. Preparing tomorrow's software engineers for work in a global environment. Sarah Beecham, Tony Clear, John Barr, Mats Daniels, Michael Oudshoorn, and John Noll. In IEEE Software, volume 34, number 1, pp 9-12, 2017. (DOI).
  50. Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. César Beltrán-Castañón, Ingela Nyström, and Fazel Famili (eds). Volume 10125 of Lecture Notes in Computer Science, Springer, 2017. (DOI).
  51. Computer-aided diagnostics in digital pathology. Ewert Bengtsson, Håvard Danielsen, Darren Treanor, Metin N. Gurcan, Calum MacAulay, and Béla Molnár. In Cytometry Part A, volume 91, number 6, pp 551-554, 2017. (DOI).
  52. A Join Operator for Property Graphs. Giacomo Bergami, Matteo Magnani, and Danilo Montesi. In EDBT/ICDT Workshops, 2017.
  53. Numerical solution of the viscous flow past a cylinder with a non-global yet spectrally convergent meshless collocation method. Francisco Bernal, Alfa R. H. Heryudono, and Elisabeth Larsson. In Spectral and High Order Methods for Partial Differential Equations: ICOSAHOM 2016, volume 119 of Lecture Notes in Computational Science and Engineering, pp 495-507, Springer, 2017. (DOI).
  54. Optimizing a multigrid Runge–Kutta smoother for variable-coefficient convection–diffusion equations. Daniele Bertaccini, Marco Donatelli, Fabio Durastante, and Stefano Serra-Capizzano. In Linear Algebra and its Applications, volume 533, pp 507-535, 2017. (DOI).
  55. Deriving Probability Density Functions from Probabilistic Functional Programs. Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, and Claudio Russo. In Logical Methods in Computer Science, volume 13, number 2, 2017. (DOI, Fulltext).
  56. Spectral analysis of finite-difference approximations of 1-d waves in non-uniform grids. Davide Bianchi and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2017-013, 2017. (External link).
  57. A web application to analyse and visualize digital images at multiple resolutions. Maxime Bombrun, Petter Ranefall, and Carolina Wählby. In , 2017.
  58. Decoding gene expression in 2D and 3D. Maxime Bombrun, Petter Ranefall, Joakim Lindblad, Amin Allalou, Gabriele Partel, Leslie Solorzano, Xiaoyan Qian, Mats Nilsson, and Carolina Wählby. In Image Analysis: Part II, volume 10270 of Lecture Notes in Computer Science, pp 257-268, Springer, 2017. (DOI, fulltext:postprint).
  59. Quantitative high-content/high-throughput microscopy analysis of lipid droplets in subject-specific adipogenesis models. Maxime Bombrun, Hui Gao, Petter Ranefall, Niklas Mejhert, Peter Arner, and Carolina Wählby. In Cytometry Part A, volume 91, number 11, pp 1068-1077, 2017. (DOI).
  60. Adaptive cache warming for faster simulations. Gustaf Borgström, Andreas Sembrant, and David Black-Schaffer. In Proc. 9th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, ACM Press, New York, 2017. (DOI, Fulltext, fulltext:print).
  61. Mining for Safety using Interactive Trace Analysis. Stephan Brandauer and Tobias Wrigstad. In Pre-Proceedings - Fifteenth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2017. (Pre-Proceedings, fulltext:print).
  62. Spencer: Interactive Heap Analysis for the Masses. Stephan Brandauer and Tobias Wrigstad. In , 2017. (External link, fulltext:postprint).
  63. Constrained SPICE in Volterra-Laguerre modeling of human smooth pursuit. Viktor Bro and Alexander Medvedev. In , 2017. (External link, fulltext:postprint).
  64. Nonlinear Dynamics of the Human Smooth Pursuit System in Health and Disease: Model Structure and Parameter Estimation. Viktor Bro and Alexander Medvedev. In , pp 1-6, 2017. (fulltext:postprint).
  65. A fast direct solver for the advection–diffusion equation using low-rank approximation of the Green's function. Jonathan R. Bull. In Spectral and High Order Methods for Partial Differential Equations: ICOSAHOM 2016, volume 119 of Lecture Notes in Computational Science and Engineering, pp 423-435, Springer, 2017. (DOI).
  66. Exploration of Toeplitz-like matrices with unbounded symbols: not a purely academic journey. Albrecht Böttcher, Carlo Garoni, and Stefano Serra-Capizzano. In Sbornik. Mathematics, volume 208, number 11, 2017. (DOI). Publication status: Epub ahead of print
  67. Large-scale virtual screening on public cloud resources with Apache Spark. Marco Capuccini, Laeeq Ahmed, Wesley Schaal, Erwin Laure, and Ola Spjuth. In Journal of Cheminformatics, volume 9, 2017. (DOI, Fulltext).
  68. Modelling and verification of user interactions using constraint programming. Mats Carlsson, Olga Grinchtein, and Justin Pearson. In Proc. 3rd International Conference on Software Quality, Reliability and Security, pp 541-547, IEEE Computer Society, 2017. (DOI).
  69. Model order selection rules for covariance structure classification in radar. Vincenzo Carotenuto, Antonio De Maio, Danilo Orlando, and Peter Stoica. In IEEE Transactions on Signal Processing, volume 65, number 20, pp 5305-5317, 2017. (DOI).
  70. A comprehensive structural, biochemical and biological profiling of the human NUDIX hydrolase family.. Jordi Carreras-Puigvert, Marinka Zitnik, Ann-Sofie Jemth, Megan Carter, Judith E Unterlass, Björn Hallström, Olga Loseva, Zhir Karem, José Manuel Calderón-Montaño, Cecilia Lindskog, Per-Henrik Edqvist, Damian J Matuszewski, Hammou Ait Blal, Ronnie P A Berntsson, Maria Häggblad, Ulf Martens, Matthew Studham, Bo Lundgren, Carolina Wählby, Erik L L Sonnhammer, Emma Lundberg, Pål Stenmark, Blaz Zupan, and Thomas Helleday. In Nature Communications, volume 8, number 1, 2017. (DOI).
  71. Actors without Borders: Amnesty for Imprisoned State. Elias Castegren and Tobias Wrigstad. In , pp 10-20, 2017. (DOI, Fulltext, Fulltext, fulltext:postprint).
  72. Bestow and Atomic: Concurrent Programming using Isolation, Delegation and Grouping. Elias Castegren, Joel Wallin, and Tobias Wrigstad. In , 2017. Publication status: Submitted
  73. Reference Capabilities for Concurrency & Scalability: an Experience Report. Elias Castegren and Tobias Wrigstad. In , 2017. (fulltext:preprint).
  74. Relaxed Linear References for Lock-free Data Structures. Elias Castegren and Tobias Wrigstad. In , pp 47:1-47:31, 2017. (DOI, Fulltext, External link, fulltext:postprint).
  75. Types for CAS: Relaxed Linearity with Ownership Transfer. Elias Castegren and Tobias Wrigstad. In , 2017. Publication status: Submitted
  76. Detecting perceived quality of interaction with a robot using contextual features. Ginevra Castellano, Iolanda Leite, and Ana Paiva. In Autonomous Robots, volume 41, number 5, pp 1245-1261, 2017. (DOI).
  77. Analyzing Graphics Workloads on Tile-based GPUs. Germán Ceballos, Andreas Sembrant, Trevor E. Carlson, and David Black-Schaffer. In Proc. 20th International Symposium on Workload Characterization, IEEE, 2017.
  78. Exploring scheduling effects on task performance with TaskInsight. Germán Ceballos, Andra Hugo, Erik Hagersten, and David Black-Schaffer. In Supercomputing frontiers and innovations, volume 4, number 3, pp 91-98, 2017. (DOI, Fulltext).
  79. How to make tasks faster: Revealing the complex interactions of tasks in the memory system. Germán Ceballos. In Proc. Companion 8th ACM International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, pp 1-3, ACM Press, New York, 2017. (DOI).
  80. Modeling the interactions between tasks and the memory system. Germán Ceballos. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2017-002, Uppsala University, 2017.
  81. TaskInsight: Understanding task schedules effects on memory and performance. Germán Ceballos, Thomas Grass, Andra Hugo, and David Black-Schaffer. In Proc. 8th International Workshop on Programming Models and Applications for Multicores and Manycores, pp 11-20, ACM Press, New York, 2017. (DOI, Fulltext).
  82. Understanding the interplay between task scheduling, memory and performance. Germán Ceballos, Erik Hagersten, and David Black-Schaffer. In Proc. Companion 8th ACM International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, pp 21-23, ACM Press, New York, 2017. (DOI).
  83. A dedicated private-shared cache design for scalable multiprocessors. Juan M. Cebrián, Ricardo Fernández-Pascual, Alexandra Jimborean, Manuel E. Acacio, and Alberto Ros. In Concurrency and Computation, volume 29, number 2, 2017. (DOI).
  84. Accurate and stable time stepping in ice sheet modeling. Gong Cheng, Per Lötstedt, and Lina von Sydow. In Journal of Computational Physics, volume 329, pp 29-47, 2017. (DOI, fulltext:postprint).
  85. Non-linear modelling of the dissolved oxygen to ammonium dynamics in a nitrifying activated sludge process. Tatiana Chistiakova, Bengt Carlsson, and Torbjörn Wigren. In Proc. 12th IWA Specialized Conference on Instrumentation, Control and Automation, pp 85-93, 2017.
  86. Nonlinear system identification of the dissolved oxygen to effluent ammonia dynamics in an activated sludge process. Tatiana Chistiakova, Per Mattsson, Bengt Carlsson, and Torbjörn Wigren. In , volume 50:1 of IFAC-PapersOnLine, pp 3917-3922, 2017. (DOI).
  87. Vascular sprouts induce local attraction of proangiogenic neutrophils. Gustaf Christoffersson, Jalal Lomei, Paul O'Callaghan, Johan Kreuger, Stefan Engblom, and Mia Phillipson. In Journal of Leukocyte Biology, volume 102, pp 741-751, 2017. (DOI).
  88. Spectral and convergence analysis of the discrete ALIF method. Antonio Cicone, Carlo Garoni, and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2017-018, 2017. (External link).
  89. Orca: GC and Type System Co-design for Actor Languages. Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, and Jan Vitek. In , volume 1, number OOPSLA, pp 1-28Proceedings of the ACM on Programming Languages, volume 1, number OOPSLA, pp 1-28, ACM, 2017. (DOI, Fulltext, External link, fulltext:print).
  90. Deep Brain Stimulation therapies: a control-engineering perspective. Rubén Cubo, Alexander Medvedev, and Helena Andersson. In Proc. American Control Conference: ACC 2017, pp 104-109, American Automatic Control Council, 2017. (DOI).
  91. Experimental strategies for imaging bioparticles with femtosecond hard X-ray pulses. Benedikt J. Daurer, Kenta Okamoto, Johan Bielecki, Filipe R. N. C. Maia, Kerstin Mühlig, M. Marvin Seibert, Max F. Hantke, Carl Nettelblad, W. Henry Benner, Martin Svenda, Nicusor Timneanu, Tomas Ekeberg, N. Duane Loh, Alberto Pietrini, Alessandro Zani, Asawari D. Rath, Daniel Westphal, Richard A. Kirian, Salah Awel, Max O. Wiedorn, Gijs van der Schot, Gunilla H. Carlsson, Dirk Hasse, Jonas A. Sellberg, Anton Barty, Jakob Andreasson, Sébastien Boutet, Garth Williams, Jason Koglin, Inger Andersson, Janos Hajdu, and Daniel S. D. Larsson. In IUCrJ, volume 4, pp 251-262, 2017. (DOI, Fulltext).
  92. Advances Towards Data-Race-Free Cache Coherence Through Data Classification. Mahdad Davari. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1521, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  93. Scope-Aware Classification: Taking the hierarchical private/shared data classification to the next level. Mahdad Davari, Erik Hagersten, and Stefanos Kaxiras. Technical report / Department of Information Technology, Uppsala University nr 2017-008, 2017. (External link).
  94. The best of both works: A hybrid data-race-free cache coherence scheme. Mahdad Davari, Erik Hagersten, and Stefanos Kaxiras. 2017.
  95. A survey of active object languages. Frank De Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernández-Reyes, and Albert Mingkun Yang. In ACM Computing Surveys, volume 50, number 5, 2017. (DOI).
  96. Analysis and experimental evaluation of IEEE 802.15.4e TSCH CSMA-CA Algorithm. Domenico De Guglielmo, Beshr Al Nahas, Simon Duquennoy, Thiemo Voigt, and Giuseppe Anastasi. In IEEE Transactions on Vehicular Technology, volume 66, number 2, pp 1573-1588, 2017. (DOI).
  97. Auto-tabling for subproblem presolving in MiniZinc. Jip J. Dekker, Gustav Björdal, Mats Carlsson, Pierre Flener, and Jean-Noël Monette. In Constraints, volume 22, number 4, pp 512-529, 2017. (DOI, Fulltext).
  98. Stability properties of a MIMO data flow controller. Ramón A. Delgado, Torbjörn Wigren, Katrina Lau, and Richard H. Middleton. University of Newcastle, Australia, 2017. (External link).
  99. Using rapid prototyping to explore design implications for a pill-dispensing social agent. Julia Deneke, Darren Lehane, Alexandra Kandler, Tom Menchini, Mikael Laaksoharju, and Mohammad Obaid. In Proc. 5th International Conference on Human Agent Interaction, pp 53-59, ACM Press, New York, 2017. (DOI).
  100. Backstepping stabilization of the linearized Saint-Venant–Exner model. Ababacar Diagne, Mamadou Diagne, Shuxia Tang, and Miroslav Krstic. In Automatica, volume 76, pp 345-354, 2017. (DOI).
  101. Steady-state analyses of activated sludge processes with plug-flow reactor. Stefan Diehl, Jesús Zambrano, and Bengt Carlsson. In Journal of Environmental Chemical Engineering, volume 5, number 1, pp 795-809, 2017. (DOI).
  102. Function-based block multigrid strategy for a two-dimensional linear elasticity-type problem. Marco Donatelli, Ali Dorostkar, Mariarosa Mazza, Maya Neytcheva, and Stefano Serra-Capizzano. In Computers and Mathematics with Applications, volume 74, pp 1015-1028, 2017. (DOI).
  103. Symbol-based multigrid methods for Galerkin B-spline isogeometric analysis. Marco Donatelli, Carlo Garoni, Carla Manni, Stefano Serra-Capizzano, and Hendrik Speleers. In SIAM Journal on Numerical Analysis, volume 55, pp 31-62, 2017. (DOI).
  104. Analysis and Implementation of Preconditioners for Prestressed Elasticity Problems: Advances and Enhancements. Ali Dorostkar. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1580, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  105. Function-based algebraic multigrid method for the 3D Poisson problem on structured meshes. Ali Dorostkar. Technical report / Department of Information Technology, Uppsala University nr 2017-022, 2017. (External link).
  106. An interpolation–extrapolation algorithm for computing the eigenvalues of preconditioned banded symmetric Toeplitz matrices. Sven-Erik Ekström and Carlo Garoni. Technical report / Department of Information Technology, Uppsala University nr 2017-015, 2017. (External link).
  107. 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 26, 2017. (DOI). Publication status: Epub ahead of print
  108. Are the eigenvalues of the B-spline IgA approximation of ?<em>?u</em> = <em>?u</em> known in almost closed form?. Sven-Erik Ekström, Isabella Furci, and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2017-016, 2017. (External link).
  109. Eigenvalues and eigenvectors of banded Toeplitz matrices and the related symbols. Sven-Erik Ekström and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2017-010, 2017. (External link).
  110. Multiscale methods for problems with complex geometry. Daniel Elfverson, Mats G. Larson, and Axel Målqvist. In Computer Methods in Applied Mechanics and Engineering, volume 321, pp 103-123, 2017. (DOI).
  111. Data-driven computational disease spread modeling: from measurement to parametrization and control. Stefan Engblom and Stefan Widgren. In Disease Modelling and Public Health: Part A, volume 36 of Handbook of Statistics, pp 305-328, Elsevier, 2017. (DOI).
  112. Multiscale simulation of stochastic reaction–diffusion networks. Stefan Engblom, Andreas Hellander, and Per Lötstedt. In Stochastic Processes, Multiscale Modeling, and Numerical Methods for Computational Cellular Biology, pp 55-79, Springer, 2017. (DOI).
  113. Stability and strong convergence for spatial stochastic kinetics. Stefan Engblom. In Stochastic Processes, Multiscale Modeling, and Numerical Methods for Computational Cellular Biology, pp 109-125, Springer, 2017. (DOI).
  114. Single-cell analysis of human pancreas reveals transcriptional signatures of aging and somatic mutation patterns. Martin Enge, H. Efsun Arda, Marco Mignardi, John Beausang, Rita Bottino, Seung K. Kim, and Stephen R. Quake. In Cell, volume 171, number 2, pp 321-330.e14, 2017. (DOI).
  115. Osteochondrosis, Synovial Fossae, and Articular Indentations in the Talus and Distal Tibia of Growing Domestic Pigs and Wild Boars. P. E. Etterlin, S. Ekman, Robin Strand, K. Olstad, and C. J. Ley. In Veterinary pathology, volume 54, number 3, pp 445-456, 2017. (DOI).
  116. New computerized staging method to analyze mink testicular tissue in environmental research. Azadeh Fakhrzadeh, Ellinor Sporndly-Nees, Elisabeth Ekstedt, Lena Holm, and Cris L. Luengo Hendriks. In Environmental Toxicology and Chemistry, volume 36, number 1, pp 156-164, 2017. (DOI, Fulltext, fulltext:print).
  117. Making batteries a first class element in the design and evaluation of embedded wireless systems. Laura Marie Feeney, Christian Rohner, and Per Gunningberg. In Proc. 14th International Conference on Embedded Wireless Systems and Networks, pp 242-243, ACM Digital Library, 2017.
  118. Efficient Drone Hijacking Detection using Onboard Motion Sensors. Zhiwei Feng, Nan Guan, Mingsong Lv, Weichen Liu, Qingxu Deng, Xue Liu, and Yi Wang. In Proceedings Of The 2017 Design, Automation &amp; Test In Europe Conference &amp; Exhibition (DATE), Design Automation and Test in Europe Conference and Exhibition, pp 1414-1419, IEEE, 2017. (DOI).
  119. Affine killing: Semantics for stopping the ParT. Kiko Fernandez-Reyes and Dave Clarke. In Proc. 2nd International Workshop on Type-Driven Development, ACM Press, New York, 2017. (fulltext:postprint).
  120. Analysis, synthesis and application of automaton-based constraint descriptions. María Andreína Francisco Rodríguez. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1591, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  121. Automatic generation of descriptions of time-series constraints. María Andreína Francisco Rodríguez, Pierre Flener, and Justin Pearson. In Proc. 29th International Conference on Tools with Artificial Intelligence, IEEE Computer Society, 2017.
  122. You can have it all: abstraction and good cache performance. Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, and Susan Eisenbach. In , pp 148-167, 2017. (fulltext:print).
  123. An exploratory study on the effect of auditory feedback on gaze behavior in a virtual throwing task with and without haptic feedback. Emma Frid, Roberto Bresin, Eva-Lotta Sallnäs Pysander, and Jonas Moll. In Proc. 14th Sound and Music Computing Conference, pp 242-249, Aalto University, Finland, 2017. (Fulltext).
  124. Personalised human-robot co-adaptation in instructional settings using reinforcement learning. Alex Yuan Gao, Wolmet Barendregt, and Ginevra Castellano. In , 2017. (fulltext:postprint).
  125. Generalized Locally Toeplitz Sequences: Theory and Applications: Volume I. Carlo Garoni and Stefano Serra-Capizzano. Springer, 2017. (DOI).
  126. Generalized locally Toeplitz sequences: Theory and applications. Carlo Garoni and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2017-002, 2017. (External link).
  127. Lusin theorem, GLT sequences and matrix computations: An application to the spectral analysis of PDE discretization matrices. Carlo Garoni, Carla Manni, Stefano Serra-Capizzano, Debora Sesana, and Hendrik Speleers. In Journal of Mathematical Analysis and Applications, volume 446, pp 365-382, 2017. (DOI).
  128. Spectral analysis and spectral symbol of matrices in isogeometric Galerkin methods. Carlo Garoni, Carla Manni, Stefano Serra-Capizzano, Debora Sesana, and Hendrik Speleers. In Mathematics of Computation, volume 86, number 305, pp 1343-1373, 2017. (DOI).
  129. 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 23, 2017. (DOI). Publication status: Epub ahead of print
  130. The theory of generalized locally Toeplitz sequences: a review, an extension, and a few representative applications. Carlo Garoni and Stefano Serra-Capizzano. In Large Truncated Toeplitz Matrices, Toeplitz Operators, and Related Topics, volume 259 of Operator Theory: Advances and Applications, pp 353-394, Springer, 2017. (DOI).
  131. Effective slip over partially filled microcavities and its possible failure. Zhouyang Ge, Hanna Holmgren, Martin Kronbichler, Luca Brandt, and Gunilla Kreiss. Technical report / Department of Information Technology, Uppsala University nr 2017-019, 2017. (External link).
  132. Concolic testing for functional languages. Aggelos Giantsios, Nikolaos Papaspyrou, and Konstantinos Sagonas. In Science of Computer Programming, volume 147, pp 109-134, 2017. (DOI).
  133. The role of chromatin density in cell population heterogeneity during stem cell differentiation. Mahdi Golkaram, Jiwon Jang, Stefan Hellander, Kenneth S. Kosik, and Linda R. Petzold. In Scientific Reports, volume 7, pp 13307:1-11, 2017. (DOI, Fulltext).
  134. A diversity lens on the last decade of the FIE conference: Role models for the engineering community. Virginia Grande and Mats Daniels. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017.
  135. Experiences of teachers in computing as role models: a phenomenographic study. Virginia Grande, Anders Berglund, and Mats Daniels. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 133-137, ACM Press, New York, 2017. (DOI).
  136. Why do they need to check me?: eHealth as power struggle in the doctor–patient relationship. Christiane Grünloh, Gunilla Myreteg, Åsa Cajander, and Hanife Rexhepi. In Journal of Medical Internet Research, volume 19, number 12, 2017. (DOI, Fulltext). Publication status: Accepted
  137. Ground surface temperature reconstruction for the last 500 years obtained from permafrost temperatures observed in the Stelvio Share borehole, Italian Alps. Mauro Guglielmin, Marco Donatelli, Matteo Semplice, and Stefano Serra Capizzano. In Climate of the Past Discussions, 2017. (DOI, Fulltext). Publication status: Submitted
  138. Convolutional neural networks for false positive reduction of automatically detected cilia in low magnification TEM images. Anindya Gupta, Amit Suveer, Joakim Lindblad, Anca Dragomir, Ida-Maria Sintorn, and Nataša Sladoje. In Image Analysis: Part I, volume 10269 of Lecture Notes in Computer Science, pp 407-418, Springer, 2017. (DOI).
  139. False positive reduction of cilia detected in low resolution TEM images using a convolutional neural network. Anindya Gupta, Amit Suveer, Joakim Lindblad, Anca Dragomir, Ida-Maria Sintorn, and Natasa Sladoje. In Swedish Symposium on Image Analysis, Swedish Society for Automated Image Analysis, 2017.
  140. Robust tracking of periodic motion in the plane using inertial sensor data. Kjartan Halvorsen and Fredrik Olsson. In Proceedings of IEEE Sensors 2017, Glasgow, Scotland, 2017. (fulltext:postprint).
  141. An efficient descriptor based on radial line integration for fast non invariant matching and registration of microscopy images. Anders Hast, Gustav Kylberg, and Ida-Maria Sintorn. In Advanced Concepts for Intelligent Vision Systems, volume 10617 of Lecture Notes in Computer Science, pp 723-734, Springer, 2017. (DOI).
  142. Robustness analysis of spatiotemporal models in the presence of extrinsic fluctuations. Andreas Hellander, Jan Klosa, Per Lötstedt, and Shev MacNamara. In SIAM Journal on Applied Mathematics, volume 77, pp 1157-1183, 2017. (DOI).
  143. Contrast independent localization of multiscale problems. Fredrik Hellman and Axel Målqvist. In Multiscale Modeling & simulation, volume 15, pp 1325-1355, 2017. (DOI).
  144. Numerical Methods for Darcy Flow Problems with Rough and Uncertain Data. Fredrik Hellman. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1495, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  145. Numerical homogenization of time-dependent diffusion. Fredrik Hellman and Axel Målqvist. In Computing Research Repository, number 1703.08857, 2017. (External link). Publication status: Submitted
  146. A Platform for Teaching Sensor Fusion Using a Smartphone. Gustaf Hendeby, Fredrik Gustafsson, Niklas Wahlström, and Svante Gunnarsson. In International journal of engineering education, volume 33, number 2B, pp 781-789, 2017.
  147. Protecting Glossy-based Wireless Networks from Packet Injection Attacks. Kasun Hewage, Shahid Raza, and Thiemo Voigt. In 2017 IEEE 14th International Conference on Mobile Ad Hoc and Sensor Systems (MASS), IEEE, Orlando, FL, USA, USA, 2017. (DOI).
  148. Investigating design implications towards a social robot as a memory trainer. Linda Hirsch, Anton Björsell, Mikael Laaksoharju, and Mohammad Obaid. In Proc. 5th International Conference on Human Agent Interaction, pp 5-10, ACM Press, New York, 2017. (DOI).
  149. A computational multiscale model for contact line dynamics. Hanna Holmgren and Gunilla Kreiss. In , 2017. Publication status: Submitted
  150. Modelling of Moving Contact Lines in Two-Phase Flows. Hanna Holmgren. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1559, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  151. Locating the Few: Sparsity-aware waveform design for active radar. Heng Hu, Mojtaba Soltanalian, Peter Stoica, and Xiaohua Zhu. In IEEE Transactions on Signal Processing, volume 65, number 3, pp 651-662, 2017. (DOI).
  152. Deep Fish: Deep Learning-Based Classification of Zebrafish Deformation for High-Throughput Screening. Omer Ishaq, Sajith Kecheril Sadanandan, and Carolina Wählby. In Journal of Biomolecular Screening, volume 22, number 1, pp 102-107, 2017. (DOI).
  153. Cost-aware application development and management using CLOUD-METRIC. Alieu Jallow, Andreas Hellander, and Salman Toor. In Proc. 7th International Conference on Cloud Computing and Services Science, pp 515-522, SciTePress, Setúbal, Portugal, 2017. (DOI).
  154. Knowledge Elicitation in Naturalistic Decision Making: Collegial Verbalisation with "Conspective Protocols". Anders Jansson and Anton Axelsson. In Naturalistic Decision Making and Uncertainty: Proceedings of the 13th Bi-annual International Conference on Naturalistic Decision Making, pp 87-93, 2017. (fulltext:print).
  155. Poster: Resource-Efficient Detection of Elephant Rumbles. Namal Jayasuriya, Tharindu Ranathunga, Kasun Gunawardana, Chamath Silva, Kumarasinghe Kumarasinghe, Asanka Sayakkara, Chamath Keppitiyagama, Kasun De Zoysa, Kasun Hewage, and Thiemo Voigt. In , 2017.
  156. Automatic detection of extended data-race-free regions. Alexandra Jimborean, Jonatan Waern, Per Ekemark, Stefanos Kaxiras, and Alberto Ros. In CGO'17: Proceedings Of The 2017 International Symposium On Code Generation And Optimization, International Symposium on Code Generation and Optimization, pp 14-26, IEEE Press, Piscataway, NJ, 2017. (Paper, fulltext:postprint).
  157. Characterization of interfacial stress transfer ability in acetylation-treated wood fibre composites using X-ray microtomography. Thomas Joffre, Kristoffer Segerholm, Cecilia Persson, Stig L. Bardage, Chris Luengo Hendriks, and Per Isaksson. In Industrial crops and products (Print), volume 95, pp 43-49, Elsevier, 2017. (DOI).
  158. Social drone companion for the home environment: a user-centric exploration. Kari Daniel Karjalainen, Anna Elisabeth Sofia Romell, Photchara Ratsamee, As?m Evren Yantac?, Morten Fjeld, and Mohammad Obaid. In Proc. 5th International Conference on Human Agent Interaction, pp 89-96, ACM Press, New York, 2017. (DOI).
  159. Oriented clonal cell dynamics enables accurate growth and shaping of vertebrate cartilage. Marketa Kaucka, Tomas Zikmund, Marketa Tesarova, Daniel Gyllborg, Andreas Hellander, Josef Jaros, Jozef Kaiser, Julian Petersen, Bara Szarowska, Phillip T. Newton, Vyacheslav Dyachuk, Lei Li, Hong Qian, Anne-Sofie Johansson, Yuji Mishina, Josh Currie, Elly M. Tanaka, Alek Erickson, Andrew Dudley, Hjalmar Brismar, Paul Southam, Enrico Coen, Min Chen, Lee S. Weinstein, Ales Hampl, Ernest Arenas, Andrei S. Chagin, Kaj Fried, and Igor Adameyko. In eLIFE, volume 6, 2017. (DOI, Fulltext).
  160. Assessing the ethical competence of organizations. Iordanis Kavathatzopoulos, Agata Kostrzewa, and Karin Berg. In EBEN Annual Conference, University of Jyväskylä, Jyväskylä, Finland, 2017. (External link).
  161. Education for leaders’ ethical competence. Iordanis Kavathatzopoulos. In European Business Ethics Network: Research, Deree, American College of Greece College, Athens, 2017. (External link).
  162. Ethical leadership in business: The significance of Information and Communication Technology. Iordanis Kavathatzopoulos. In Information and Management: Connect Things, Humans, Management, pp 1-4, Japan Society for Information and Management, Tokyo, 2017. (External link).
  163. ICT as ethical competence. Iordanis Kavathatzopoulos. In Research, Ethics and Societal Impact: Responsible research: How to deal with animals and ICT in science - An ethical approach, pp 12-12, Karolinska Institutet, Stockholm, 2017. (External link).
  164. Snowden’s revelations and the attitudes of students at Swedish universities. Iordanis Kavathatzopoulos. In Journal of Information, Communication and Ethics in Society, volume 15, number 3, pp 247-264, Emerald Group Publishing Limited, Bingley, UK, 2017. (DOI).
  165. Automated training of deep convolutional neural networks for cell segmentation. Sajith Kecheril Sadanandan, Petter Ranefall, Sylvie Le Guyader, and Carolina Wählby. In Scientific Reports, volume 7, 2017. (DOI, Fulltext).
  166. Spheroid segmentation using multiscale deep adversarial networks. Sajith Kecheril Sadanandan, Johan Karlsson, and Carolina Wählby. In IEEE International Conference on Computer Vision, 2017.
  167. 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 42, 2017. (DOI). Publication status: Epub ahead of print
  168. Bråk och språk – vad som är förnuftigt och logiskt. Christer O. Kiselman and Hania Uscka-Wehlou. In Nämnaren : tidskrift för matematikundervisning, number 1, pp 45-49, Nationellt centrum för matematikutbildning (NCM), Göteborg, 2017.
  169. Convexity of marginal functions in the discrete case. Christer O. Kiselman and Shiva Samieinia. In Analysis Meets Geometry: The Mikael Passare Memorial Volume, Trends in Mathematics, pp 287-309, Birkhäuser Verlag, Cham, 2017.
  170. Curriculum Vitae, Mikael Passare. Christer O. Kiselman. In Analysis Meets Geometry: The Mikael Passare Memorial Volume, Trends in Mathematics, pp 3-4, Birkhäuser Verlag, Chaml, 2017.
  171. Discrete convolution operators, the Fourier transformation, and its tropical counterpart: the Fenchel transformation. Christer O. Kiselman. In Proc. 3rd EAUMP Conference: Advances in Mathematics and its Applications, pp 7-28, Makerere University, Kampala, Uganda, 2017.
  172. Domains of holomorphy for Fourier transforms of solutions to discrete convolution equations. Christer O. Kiselman. In Science China Mathematics, volume 60, number 6, pp 1005-1018, 2017. (DOI).
  173. Falska vänner, vassa vrår och språkliga fällor. Christer O. Kiselman and Hania Uscka-Wehlou. In Nämnaren : tidskrift för matematikundervisning, number 2, pp 43-51, Nationellt centrum för matematikutbildning (NCM), Göteborg, 2017.
  174. How to best fold a triangle. Christer O. Kiselman. In Mathematische Semesterberichte, volume 64, 2017. (DOI, Fulltext). Publication status: Epub ahead of print
  175. Lars Hörmander—some early memories (Chinese). Christer O. Kiselman. In , volume 36, number 2, pp 120-121Mathematical Advances in Translation, volume 36, number 2, pp 120-121, Beijing, 2017.
  176. Mikael Passare (1959–2011). Christer O. Kiselman. In Analysis Meets Geometry: The Mikael Passare Memorial Volume, Trends in Mathematics, pp 35-57, Birkhäuser Verlag, Cham, 2017.
  177. Mikael Passare's publications. Christer O. Kiselman. In Analysis Meets Geometry: The Mikael Passare Memorial Volume, Trends in Mathematics, pp 5-9, Birkhäuser Verlag, Cham, 2017.
  178. Watching solar eclipses 1945–2017. Christer O. Kiselman. In , number October, pp 17-21Bulletin of the Swedish Mathematical Society, number October, pp 17-21, Göteborg, 2017.
  179. Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU). Michalis Kokologiannakis and Konstantinos Sagonas. In Proc. 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, pp 172-181, ACM Press, New York, 2017. (DOI).
  180. Bare-metal, virtual machines and containers in OpenStack. Charalampos Gavriil Kominos, Nicolas Seyvet, and Konstantinos Vandikas. In Proc. 20th Conference on Innovations in Clouds, Internet and Networks, pp 36-43, IEEE, Piscataway, NJ, 2017. (DOI).
  181. 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 94, 2017. (DOI). Publication status: Epub ahead of print
  182. 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 31, 2017. (DOI, Fulltext). Publication status: Epub ahead of print
  183. A phase-field microscale enhancement for macro models of capillary-driven contact point dynamics. Martin Kronbichler and Gunilla Kreiss. In Journal of Computational Multiphase Flows, volume 9, pp 114-126, 2017. (DOI, Fulltext).
  184. Correlations in scattered X-ray laser pulses reveal nanoscale structural features of viruses. Ruslan P. Kurta, Jeffrey J. Donatelli, Chun Hong Yoon, Peter Berntsen, Johan Bielecki, Benedikt J. Daurer, Hasan DeMirci, Petra Fromme, Max Felix Hantke, Filipe R. N. C. Maia, Anna Munke, Carl Nettelblad, Kanupriya Pande, Hemanth K. N. Reddy, Jonas A. Sellberg, Raymond G. Sierra, Martin Svenda, Gijs van der Schot, Ivan A. Vartanyants, Garth J. Williams, Lourdu Xavier Paulraj, Andrew Aquila, Peter H. Zwart, and Adrian P. Mancuso. In Physical Review Letters, volume 119, number 15, pp 158102:1-7, 2017. (DOI).
  185. Adding integral display properties to increase generalizability of a configural display. Mikael Laaksoharju, Mats Lind, and Anders Arweström Jansson. In Proceedings of the 13th SweCog Conference, Uppsala, October 26–27, 2017, pp 9-11, Skövde, 2017.
  186. A least squares radial basis function partition of unity method for solving PDEs. Elisabeth Larsson, Victor Shcherbakov, and Alfa Heryudono. In SIAM Journal on Scientific Computing, volume 39, pp A2538-A2563, 2017. (DOI).
  187. Book Review: A Primer on Radial Basis Functions with Applications to the Geosciences. Elisabeth Larsson. In SIAM Review, volume 59, pp 688-689, 2017. (DOI).
  188. Improving the performance of cellular uplinks via power overbooking. Katrina Lau, Graham C. Goodwin, Torbjörn Wigren, and Linda Brus. In IET Communications, volume 11, number 9, pp 1512-1518, 2017. (DOI).
  189. Subtask scheduling for distributed robots in cloud manufacturing. Wenxiang Li, Chunsheng Zhu, Laurence T. Yang, Lei Shu, Edith C.-H. Ngai, and Yajie Ma. In IEEE Systems Journal, volume 11, number 2, pp 941-950, 2017. (DOI).
  190. Airway-tree segmentation in subjects with acute respiratory distress syndrome. Kristína Lidayová, Duván Alberto Gómez Betancur, Hans Frimmel, Marcela Hernández Hoyos, Maciej Orkisz, and Örjan Smedby. In Image Analysis: Part II, volume 10270 of Lecture Notes in Computer Science, pp 76-87, Springer, 2017. (DOI).
  191. Classification of cross-sections for vascular skeleton extraction using convolutional neural networks. Kristína Lidayová, Anindya Gupta, Hans Frimmel, Ida-Maria Sintorn, Ewert Bengtsson, and Örjan Smedby. In Medical Image Understanding and Analysis, volume 723 of Communications in Computer and Information Science, pp 182-194, Springer, 2017. (DOI).
  192. Fast Methods for Vascular Segmentation Based on Approximate Skeleton Detection. Kristína Lidayová. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1496, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  193. Improved centerline tree detection of diseased peripheral arteries with a cascading algorithm for vascular segmentation. Kristína Lidayová, Hans Frimmel, Ewert Bengtsson, and Örjan Smedby. In Journal of Medical Imaging, volume 4, pp 024004:1-11, 2017. (DOI).
  194. Formulation of a wall model for LES in a collocated finite-volume framework. Mattias Liefvendahl, Timofey Mukha, and Saleh Rezaeiravesh. Technical report / Department of Information Technology, Uppsala University nr 2017-001, 2017. (External link).
  195. Inertia in Sociotechnical Systems: On IT-related Change Processes in Organisations. Thomas Lind. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1531, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  196. What is the use of vision seminars?: An evaluation from the perspective of participants and stakeholders. Thomas Lind, Marta Lárusdóttir, and Åsa Cajander. In Behaviour & Information Technology, 2017. Publication status: Submitted
  197. Divide-and-Conquer with sequential Monte Carlo. Fredrik Lindsten, A. M. Johansen, C. A. Naesseth, B. Kirkpatrick, Thomas B. Schön, J. A. D. Aston, and A. Bouchard-Côté. In Journal of Computational And Graphical Statistics, volume 26, number 2, pp 445-458, 2017. (DOI).
  198. Exposing inter-process information for efficient parallel discrete event simulation of spatial stochastic systems. Jonatan Lindén, Pavol Bauer, Stefan Engblom, and Bengt Jonsson. In Proc. 5th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp 53-64, ACM Press, New York, 2017. (DOI).
  199. On the precision of third person perspective augmented reality for target designation tasks. Fei Liu and Stefan Seipel. In Multimedia tools and applications, volume 76, number 14, pp 15279-15296, 2017. (DOI, Fulltext, fulltext:print).
  200. Cloud-Based Data Fusion in Green IoT for Smart Cities. Xiuming Liu, Abdul Rahman Khankan, Mohamad Alsioufi, Zhitao He, and Edith C.-H. Ngai. In Proc. 14th International Conference on Embedded Wireless Systems and Networks, pp 216-217, ACM Digital Library, 2017.
  201. Path planning for aerial sensor networks with connectivity constraints. Xiuming Liu, Teng Xi, Edith Ngai, and Wendong Wang. In Proc. International Conference on Communications: ICC 2017, IEEE, 2017. (DOI).
  202. Passive in-vehicle driver breath alcohol detection using advanced sensor signal acquisition and fusion. Jonas Ljungblad, Bertil Hök, Amin Allalou, and Håkan Pettersson. In Traffic Injury Prevention, volume 18, pp S31-S36, 2017. (DOI, Fulltext, fulltext:print).
  203. Finite Element Computations on Multicore and Graphics Processors. Karl Ljungkvist. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1512, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  204. Matrix-free finite-element computations on graphics processors with adaptively refined unstructured meshes. Karl Ljungkvist. In Proc. 25th High Performance Computing Symposium, pp 1-12, The Society for Modeling and Simulation International, San Diego, CA, 2017.
  205. Multigrid for matrix-free finite element computations on graphics processors. Karl Ljungkvist and Martin Kronbichler. Technical report / Department of Information Technology, Uppsala University nr 2017-006, 2017. (External link).
  206. Automated segmentation of human cervical-supraclavicular adipose tissue in magnetic resonance images. Elin Lundström, Robin Strand, Anders Forslund, Peter Bergsten, Daniel Weghuber, Håkan Ahlström, and Joel Kullberg. In Scientific Reports, volume 7, 2017. (DOI, Fulltext, fulltext:print).
  207. A license to kill: Improving UCSD in agile development. Marta Lárusdóttir, Jan Gulliksen, and Åsa Cajander. In Journal of Systems and Software, volume 123, pp 214-222, 2017. (DOI).
  208. Targeted property-based testing. Andreas Löscher and Konstantinos Sagonas. In Proc. 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp 46-56, ACM Press, New York, 2017. (DOI).
  209. Use and refinement of CWA in an industrial, automotive design, context. Ida Löscher and Stas Krupenia. In Cognitive Work Analysis: Applications, Extensions and Future Directions, pp 303-320, CRC Press, 2017.
  210. Introduction to the special issue on multilayer networks. Matteo Magnani and Stanley Wasserman. In , volume 5, number 2, pp 141-143NETWORK SCIENCE, volume 5, number 2, pp 141-143, CAMBRIDGE UNIV PRESS, 2017. (DOI).
  211. A flexible computational framework using R and Map-Reduce for permutation tests of massive genetic analysis of complex traits. Behrang Mahjani, Salman Toor, Carl Nettelblad, and Sverker Holmgren. In IEEE/ACM Transactions on Computational Biology & Bioinformatics, volume 14, pp 381-392, 2017. (DOI).
  212. Mechanochemical Polarization of Contiguous Cell Walls Shapes Plant Pavement Cells. Mateusz Majda, Peter Grones, Ida-Maria Sintorn, Thomas Vain, Pascale Milani, and Pawel Krupinsky. In Developmental Cell, volume 43, number 3, pp 290-304, 2017. (DOI).
  213. Exact Evaluation of Targeted Stochastic Watershed Cuts. Filip Malmberg, Cris Luengo Hendriks, and Robin Strand. In Discrete Applied Mathematics, volume 216, number 2, pp 449-460, Elsevier, 2017. (DOI).
  214. SmartPaint: a tool for interactive segmentation of medical volume images. Filip Malmberg, Richard Nordenskjöld, Robin Strand, and Joel Kullberg. In COMPUTER METHODS IN BIOMECHANICS AND BIOMEDICAL ENGINEERING-IMAGING AND VISUALIZATION, volume 5, number 1, pp 36-44, TAYLOR & FRANCIS LTD, 2017. (DOI).
  215. The Boolean Map Distance: Theory and Efficient Computation. Filip Malmberg, Robin Strand, Jianming Zhang, and Stan Sclaroff. In International Conference on Discrete Geometry for Computer Imagery, Lecture notes in computer science, Springer, 2017. (DOI).
  216. A high-order accurate embedded boundary method for first order hyperbolic equations. Ken Mattsson and Martin Almquist. In Journal of Computational Physics, volume 334, pp 255-279, 2017. (DOI).
  217. Diagonal-norm upwind SBP operators. Ken Mattsson. In Journal of Computational Physics, volume 335, pp 283-310, 2017. (DOI).
  218. A short feature vector for image matching: The Log-Polar Magnitude feature descriptor. Damian J. Matuszewski, Anders Hast, Carolina Wählby, and Ida-Maria Sintorn. In PLoS ONE, volume 12, number 11, 2017. (DOI, Fulltext).
  219. Spectral analysis and spectral symbol for the 2D curl–curl (stabilized) operator with applications to the related iterative solutions. Mariarosa Mazza, Ahmed Ratnani, and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2017-009, 2017. (External link).
  220. Folk pedagogy and the geek gene: Geekiness quotient. Robert McCartney, Jonas Boustedt, Anna Eckerdal, Kate Sanders, and Carol Zander. In Proc. 48th SIGCSE Technical Symposium on Computer Science Education, pp 405-410, ACM Press, New York, 2017. (DOI).
  221. First year computing students' perceptions of authenticity in assessment. Roger McDermott, Mark Zarb, Mats Daniels, and Ville Isomöttönen. In Proc. 22nd Conference on Innovation and Technology in Computer Science Education, pp 10-15, ACM Press, New York, 2017. (DOI).
  222. The authenticity of 'authentic' assessment: Some faculty perceptions. Roger McDermott, Mark Zarb, Mats Daniels, Aletta Nylén, Arnold Pears, Ville Isomöttönen, and Michael Caspersen. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017.
  223. SADHealth: A personal mobile sensing system for seasonal health monitoring. Liam McNamara and Edith Ngai. In IEEE Systems Journal, volume 11, 2017. (DOI). Publication status: Epub ahead of print
  224. Excluded volume effects in on- and off-lattice reaction–diffusion models. Lina Meinecke and Markus Eriksson. In IET Systems Biology, volume 11, pp 55-64, 2017. (DOI).
  225. Multiscale modeling of diffusion in a crowded environment. Lina Meinecke. In Bulletin of Mathematical Biology, volume 79, pp 2672-2695, 2017. (DOI).
  226. Data flow delay equalization for feedback control applications using 5G wireless dual connectivity. Richard H. Middleton, Torbjörn Wigren, Katrina Lau, and Ramón A. Delgado. In Proc. 85th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2017. (DOI).
  227. Bridging Histology and Bioinformatics: Computational analysis of spatially resolved transcriptomics. Marco Mignardi, Omer Ishaq, Xiaoyan Qian, and Carolina Wählby. In Proceedings of the IEEE, volume 105, number 3, pp 530-541, 2017. (DOI, Fulltext).
  228. 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 , 2017.
  229. An executable semantics for synchronous task graphs: From SDRT to Ada. Morteza Mohaqeqi, Jakaria Abdullah, and Wang Yi. In Reliable Software Technologies — Ada-Europe 2017, volume 10300 of Lecture Notes in Computer Science, pp 137-152, Springer, 2017. (DOI).
  230. Refinement of workload models for engine controllers by state space partitioning. Morteza Mohaqeqi, Jakaria Abdullah, Pontus Ekberg, and Wang Yi. In 29th Euromicro Conference on Real-Time Systems: ECRTS 2017, volume 76 of Leibniz International Proceedings in Informatics (LIPIcs), pp 11:1-22, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2017. (DOI, Fulltext).
  231. Haptic communicative functions and their effects on communication in collaborative multimodal virtual environments. Jonas Moll and Eva-Lotta Sallnäs Pysander. In Proc. 13th SweCog Conference, pp 63-64, Högskolan i Skövde, 2017. (fulltext:postprint).
  232. Using eye-tracking to study the effect of haptic feedback on visual focus during collaborative object managing in a multimodal virtual interface. Jonas Moll and Emma Frid. In Proc. 13th SweCog Conference, pp 49-51, Högskolan i Skövde, 2017. (fulltext:postprint).
  233. Examining manual and semi-automated methods of analysing MOOC data for computing education. Michael Morgan, Matthew Butler, Neena Thota, Aletta Nylén, Anna Eckerdal, and Päivi Kinnunen. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 153-157, ACM Press, New York, 2017. (DOI).
  234. An image based non-verbal behaviour analysis of HRI. Omar Mubin, Hiren Patel, Aila Khan, and Mohammad Obaid. In Social Robotics, volume 10652 of Lecture Notes in Computer Science, pp 23-31, Springer, 2017. (DOI).
  235. Scientometric analysis of the HAI conference. Omar Mubin, Max Manalo, Muneeb Ahmad, and Mohammad Obaid. In Proc. 5th International Conference on Human Agent Interaction, pp 45-51, ACM Press, New York, 2017. (DOI).
  236. The generation of turbulent inflow boundary conditions using precursor channel flow simulations. Timofey Mukha and Mattias Liefvendahl. In Computers & Fluids, volume 156, pp 21-33, 2017. (DOI).
  237. Assessing the digital work environment: A case study of digital transformation in higher education. Gerolf Nauwerck. In Proc. NES Conference: 2017, pp 382-386, 2017.
  238. Digital transformation and the changing role of student administrators: A case study. Gerolf Nauwerck, Åsa Cajander, and Thomas Lind. In , volume 4, number 1, pp 345-353European Journal of Higher Education IT, volume 4, number 1, pp 345-353, 2017. (Fulltext).
  239. Swinging machetes in the jungle: Technological frames, ICT leaders, and user centred perspectives. Gerolf Nauwerck, Thomas Lind, Åsa Cajander, and Marta Lárusdóttir. In Behaviour & Information Technology, 2017. Publication status: Submitted
  240. Numerical investigation of a viscous regularization of the Euler equations by entropy viscosity. Murtazo Nazarov and Aurélien Larcher. In Computer Methods in Applied Mechanics and Engineering, volume 317, pp 128-152, 2017. (DOI).
  241. Can we make a cake and eat it too?: A discussion of ICN security and privacy. Edith Ngai, Börje Ohlman, Gene Tsudik, Ersin Uzun, Matthias Wählisch, and Christopher A. Wood. In Computer communication review, volume 47, number 1, pp 49-54, 2017. (DOI).
  242. Exploring the critical incident technique to encourage reflection during project-based learning. Aletta Nylén and Ville Isomöttönen. In Proc. 17th International Conference on Computing Education: Koli Calling, pp 88-97, ACM Press, New York, 2017. (DOI).
  243. Open-Ended Projects Opened Up – Aspects of Openness. Aletta Nylén, Mats Daniels, Ville Isomöttönen, and Roger McDermott. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017.
  244. Why are we here?: Student perspectives on the goal of higher education. Aletta Nylén, Åsa Cajander, Mats Daniels, Arnold Pears, and Roger McDermott. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017.
  245. Using anti-aliased signed distance fields for generating surgical guides and plates from CT images. Fredrik Nysjö, Pontus Olsson, Filip Malmberg, Ingrid B. Carlbom, and Ingela Nyström. In Journal of WSCG, volume 25, number 1, pp 11-20, 2017. (Fulltext, fulltext:print).
  246. BoneSplit – A 3D painting tool for interactive bone segmentation in CT images. Ingela Nyström, Johan Nysjö, Andreas Thor, and Filip Malmberg. In Pattern Recognition and Information Processing: PRIP 2016, volume 673 of Communications in Computer and Information Science, pp 3-13, Springer, 2017. (DOI).
  247. Exploring users' reactions towards tangible implicit probes for measuring human-robot engagement. Mohammad Obaid, Alex Yuan Gao, Wolmet Barendregt, and Ginevra Castellano. In Social Robotics, volume 10652 of Lecture Notes in Computer Science, pp 402-412, Springer, 2017. (DOI).
  248. Experimental evaluation of joint position estimation using inertial sensors. Fredrik Olsson and Kjartan Halvorsen. In Proceedings of the 20th International Conference on Information Fusion (Fusion), pp 1-8, 2017. (DOI, IEEE Xplore, fulltext:preprint).
  249. Investigating interference between LoRa and IEEE 802.15.4g networks. Charalampos Orfanidis, Laura Marie Feeney, Martin Jacobsson, and Per Gunningberg. In Proc. 13th International Conference on Wireless and Mobile Computing, Networking and Communications, IEEE, 2017. (DOI).
  250. Measuring PHY layer interactions between LoRa and IEEE 802.15.4g networks. Charalampos Orfanidis, Laura Marie Feeney, and Martin Jacobsson. In Proc. 16th IFIP TC6 Networking Conference, International Federation for Information Processing, 2017.
  251. A multidimensional perspective on the uncanny valley effect: Studying the interplay between a robot's appearance and interaction strategy. Maike Paetzel. In Proc. Companion of 12th ACM/IEEE International Conference on Human-Robot Interaction, pp 363-364, ACM Press, New York, 2017. (DOI).
  252. Exploring the link between self-assessed mimicry and embodiment in HRI. Maike Paetzel, Isabelle Hupont, Giovanna Varni, Mohamed Chetouani, Christopher Peters, and Ginevra Castellano. In Proc. Companion of 12th ACM/IEEE International Conference on Human-Robot Interaction, pp 245-246, ACM Press, New York, 2017. (DOI).
  253. Investigating the influence of embodiment on facial mimicry in HRI using computer vision-based measures. Maike Paetzel, Giovanna Varni, Isabelle Hupont, Mohamed Chetouani, Christopher Peters, and Ginevra Castellano. In Proc. 26th International Symposium on Robot and Human Interactive Communication, IEEE, 2017.
  254. Weak Nominal Modal Logic. Joachim Parrow, Tjark Weber, Johannes Borgström, and Lars-Henrik Eriksson. In Formal Techniques for Distributed Objects, Components, and Systems, volume 10321 of Lecture Notes in Computer Science, pp 179-193, Springer, 2017. (DOI).
  255. On the Difficult Task of Teaching Computer Ethics to Engineers. Norberto Patrignani and Iordanis Kavathatzopoulos. In , volume 1, number 1ORBIT Journal, volume 1, number 1, 2017. (External link).
  256. On the Difficult Task of TeachingComputer Ethics to Engineers. Norberto Patrignani and Iordanis Kavathatzopoulos. In CEPE/Ethicomp 2017: Electronic Collection, Università degli Studi di Torino, Torino, 2017. (External link).
  257. How to Make Decisions with Algorithms: Ethical Decision-Making Using Algorithms within Predictive Analytics. Anders Persson and Iordanis Kavathatzopoulos. In CEPE/Ethicomp 2017: ElectronicCollection, pp 1-13, Università degli Studi di Torino, Torino, 2017. (CEPE/Ethicomp 2017, fulltext).
  258. Learning Computing at University: Participation and Identity: A Longitudinal Study. Anne-Kathrin Peters. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1577, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  259. Student experience of participation in computer science and IT engineering: a longitudinal study. Anne-Kathrin Peters. In Proc. 12th Conference of the European Science Education Research Association, ESERA, 2017.
  260. Students' experience of participation in a discipline: A longitudinal study of computer science and IT engineering students. Anne-Kathrin Peters. In ACM Transactions on Computing Education, 2017. Publication status: Accepted
  261. Artifact reduction in the CSPAD detectors used for LCLS experiments. Alberto Pietrini and Carl Nettelblad. In Journal of Synchrotron Radiation, volume 24, pp 1092-1097, 2017. (DOI).
  262. Influence of applied corneal endothelium image segmentation techniques on the clinical parameters. Adam Piorkowski, Karolina Nurzynska, Jolanta Gronkowska-Serafin, Bettina Selig, Cezary Boldak, and Daniel Reska. In Computerized Medical Imaging and Graphics, volume 55, pp 13-27, 2017. (DOI).
  263. On Limits of Constructive Interference in Backscatter Systems. Carlos Pérez-Penichet, Frederik Hermans, and Thiemo Voigt. In Proceedings of 2017 Global IoT Summit, 2017.
  264. Poster: Augmenting WSNs with Interoperable 802.15.4 Sensor Tags. Carlos Pérez-Penichet, Claro Noda, Ambuj Varshney, and Thiemo Voigt. In Proceedings of the 15th ACM Conference on Embedded Networked Sensor Systems, 2017.
  265. Building the Internet of Things with bluetooth smart. Shahid Raza, Prasant Misra, Zhitao He, and Voigt Thiemo. In Ad hoc networks, volume 57, pp 19-31, 2017. (DOI).
  266. SecureSense: End-to-End Secure Communication Architecture for the Cloud-connected Internet of Things. Shahid Raza, Tomas Helgason, Panos Papadimitratos, and Thiemo Voigt. In Future generations computer systems, volume 77, pp 40-51, 2017.
  267. 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 23, 2017. (DOI). Publication status: Epub ahead of print
  268. Grid construction strategies for wall-resolving Large Eddy Simulation and estimates of the resulting number of grid points. Saleh Rezaeiravesh and Mattias Liefvendahl. Technical report / Department of Information Technology, Uppsala University nr 2017-005, 2017. (External link).
  269. Towards supporting remote cheering during running races with drone technology. Andrzej Romanowski, Sven Mayer, Lars Lischke, Krzysztof Grudzie?, Tomasz Jaworski, Izabela Perenc, Przemys?aw Kucharski, Mohammad Obaid, Tomasz Kosi?ski, and Pawe? W. Wozniak. In Proc. 35th Conference on Human Factors in Computing Systems: Extended Abstracts, pp 2867-2874, ACM Press, New York, 2017. (DOI).
  270. Non-speculative load-load reordering in TSO. Alberto Ros, Trevor E. Carlson, Mehdi Alipour, and Stefanos Kaxiras. In Proc. 44th International Symposium on Computer Architecture, pp 187-200, ACM Press, New York, 2017. (DOI).
  271. Deep Neural Networks and Image Analysis for Quantitative Microscopy. Sajith Kecheril Sadanandan. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1566, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  272. Skeletonization: Theory, Methods, and Applications. Punam K. Saha, Gunilla Borgefors, and Gabriella Sanniti di Baja (eds). Computer Vision and Pattern Recognition, Academic Press, London, 2017. (DOI).
  273. Skeletonization and its applications – a review. Punam K. Saha, Gunilla Borgefors, and Gabriella Sanniti di Baja. In Skeletonization: Theory, Methods, and Applications, Computer Vision and Pattern Recognition, pp 3-42, Academic Press, London, 2017. (DOI).
  274. Fault detection in water resource recovery facilities. Oscar Samuelsson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2017-003, Uppsala University, 2017. (fulltext).
  275. Gaussian process regression for monitoring and fault detection of wastewater treatment processes. Oscar Samuelsson, Anders Björk, Jesús Zambrano, and Bengt Carlsson. In Water Science and Technology, volume 75, number 12, pp 2952-2963, 2017. (DOI).
  276. Monitoring fouling on dissolved oxygen sensors in WRRFs with active fault detection. Oscar Samuelsson, Anders Björk, Jesús Zambrano, and Bengt Carlsson. In , 2017. Publication status: Submitted
  277. Folk Pedagogy: Nobody doesn't like active learning. Kate Sanders, Jonas Boustedt, Anna Eckerdal, Robert McCartney, and Carol Zander. In Proc. 13th International Computing Education Research Conference, pp 145-154, ACM Press, New York, 2017. (DOI).
  278. Profiling energy efficiency and data communications for mobile Internet of Things. Peramanathan Sathyamoorthy, Edith C.-H. Ngai, Xiping Hu, and Victor C. M. Leung. In Wireless Communications & Mobile Computing, volume 17, pp 6562915:1-15, 2017. (DOI).
  279. Eloc: Locating Wild Elephants using Low-cost Infrasonic Detectors. Asanka Sayakkara, Namal Jayasuriya, Tharindu Ranathunga, Chathura Suduwella, Nithila Vithanage, Chamath Keppitiyagama, Kasun De Zoysa, Kasun Hewage, and Thiemo Voigt. In , 2017.
  280. Poster: A Low-cost Elephant Localization System. Asanka Sayakkara, Namal Jayasuriya, Tharindu Ranathunga, Chathura Suduwella, Nithila Vithanage, Chamath Keppitiyagama, Kasun De Zoysa, Kasun Hewage, and Thiemo Voigt. In , 2017.
  281. Design and implementation of bounded-length sequence variables. Joseph D. Scott, Pierre Flener, Justin Pearson, and Christian Schulte. In Integration of AI and OR Techniques in Constraint Programming, volume 10335 of Lecture Notes in Computer Science, pp 51-67, Springer, 2017. (DOI).
  282. Color map design for visualization in flood risk assessment. Stefan Seipel and Nancy J. Lim. In International Journal of Geographical Information Science, volume 31, number 11, pp 2286-2309, 2017. (DOI, Fulltext).
  283. A Split Cache Hierarchy for Enabling Data-oriented Optimizations. Andreas Sembrant, Erik Hagersten, and David Black-Schaffer. In , International Symposium on High-Performance Computer Architecture-Proceedings, pp 133-144, IEEE, 2017. (DOI).
  284. Levodopa/carbidopa microtablets in Parkinson’s disease: A study of pharmacokinetics and blinded motor assessment. Marina Senek, Sten-Magnus Aquilonius, Håkan Askmark, Filip Bergquist, Radu Constantinescu, Anders Ericsson, Sara Lycke, Alexander Medvedev, Mevludin Memedi, Fredrik Ohlsson, Jack Spira, Jerker Westin, and Dag Nyholm. In European Journal of Clinical Pharmacology, volume 73, number 5, pp 563-571, 2017. (DOI, Fulltext).
  285. <em>Intrusion Detection in the RPL-connected 6LoWPAN Networks</em>. Dharmini Shreenivas, Shahid Raza, and Thiemo Voigt. In , 2017.
  286. Applying Real-Time Scheduling Theory to the Synchronous Data Flow Model of Computation. Abhishek Singh, Pontus Ekberg, and Sanjoy Baruah. In , 2017. (DOI, Fulltext).
  287. Automated line-based sequential sampling and modeling algorithm for EMC near-field scanning. Prashant Singh, Tim Claeys, Guy A. E. Vandenbosch, and Davy Pissoort. In IEEE transactions on electromagnetic compatibility (Print), volume 59, pp 704-709, 2017. (DOI).
  288. Constrained multi-objective antenna design optimization using surrogates. Prashant Singh, Marco Rossi, Ivo Couckuyt, Dirk Deschrijver, Hendrik Rogier, and Tom Dhaene. In International journal of numerical modelling, volume 30, pp e2248:1-5, 2017. (DOI).
  289. Multi-objective geometry optimization of a gas cyclone using triple-fidelity co-Kriging surrogate models. Prashant Singh, Ivo Couckuyt, Khairy Elsayed, Dirk Deschrijver, and Tom Dhaene. In Journal of Optimization Theory and Applications, volume 175, pp 172-193, 2017. (DOI, Fulltext).
  290. Surrogate assisted model reduction for stochastic biochemical reaction networks. Prashant Singh and Andreas Hellander. In Proc. 49th Winter Simulation Conference, IEEE, Piscataway, NJ, 2017.
  291. Blocking strategies and stability of particle Gibbs samplers. Sumeetpal S. Singh, Fredrik Lindsten, and Eric Moulines. In Biometrika, volume 104, number 4, pp 953-969, 2017.
  292. Can a teachable agent influence how students respond to competition in an educational game?. Björn Sjödén, Mats Lind, and Annika Silvervarg. In Artificial Intelligence in Education, volume 10331 of Lecture Notes in Computer Science, pp 347-358, Springer, 2017. (DOI).
  293. Distance Between Vector-valued Representations of Objects in Images with Application in Object Detection and Classification.. Nataša Sladoje and Joakim Lindblad. In In Proc. of the 18th International Workshop on Combinatorial Image Analysis, IWCIA2017, volume 10256 of Lecture Notes in Computer Science, pp 243-255, Springer, 2017. (DOI).
  294. <em>Demo: Battery-free Visible Light Sensing</em>. Andreas Soleiman, Ambuj Varshney, Luca Mottola, and Thiemo Voigt. In Proceedings of the 4th ACM Workshop on Visible Light Communication Systems, 2017. (External link).
  295. Training signal design for correlated massive MIMO channel estimation. Mojtaba Soltanalian, Mohammad Mahdi Naghsh, Nafiseh Shariati, Peter Stoica, and Babak Hassibi. In IEEE Transactions on Wireless Communications, volume 16, number 2, pp 1135-1143, 2017. (DOI).
  296. Frequency domain identification of ARX models in the presenceof additive input-output noise. Umberto Soverini and Torsten Söderström. In 20th IFAC World Congress, 2017.
  297. Frequency domain identification of complex sinusoids in the presence of additive noise. Umberto Soverini and Torsten Söderström. In Proc 20th IFAC World Congress, Toulouse, France, 2017.
  298. Tensor decompositions for the analysis of atomic resolution electron energy loss spectra. Jakob Spiegelberg, Jan Rusz, and Kristiaan Pelckmans. In Ultramicroscopy, volume 175, pp 36-45, 2017. (DOI).
  299. Enabling Ambient Backscatter Using a Low-Cost Software Defined Radio. Maximilian Stiefel, Elmar van Rijnswou, Carlos Pérez-Penichet, Ambuj Varshney, Christian Rohner, and Thiemo Voigt. In , 2017.
  300. A concept for holistic whole body MRI data analysis, Imiomics. Robin Strand, Filip Malmberg, Lars Johansson, Lars Lind, Magnus Sundbom, Håkan Ahlström, and Joel Kullberg. In PLoS ONE, volume 12, number 2, 2017. (DOI, Fulltext, fulltext:print).
  301. The Minimum Barrier Distance: A Summary of Recent Advances. Robin Strand, Krzysztof Chris Ciesielski, Filip Malmberg, and Punam K. Saha. In Lecture Notes in Computer Science book series (LNCS, volume 10502), pp 57-68, Switzerland, 2017. (DOI, fulltext:postprint).
  302. Cilia ultrastructural visibility enhancement by multiple instance registration and super-resolution reconstruction. Amit Suveer, Natasa Sladoje, Joakim Lindblad, Anca Dragomir, and Ida-Maria Sintorn. In Swedish Symposium on Image Analysis, Swedish Society for Automated Image Analysis, 2017.
  303. Enhancement of cilia sub-structures by multiple instance registration and super-resolution reconstruction. Amit Suveer, Nataša Sladoje, Joakim Lindblad, Anca Dragomir, and Ida-Maria Sintorn. In Image Analysis: Part II, volume 10270 of Lecture Notes in Computer Science, pp 362-374, Springer, 2017. (DOI).
  304. A flexible state–space model for learning nonlinear dynamical systems. Andreas Svensson and Thomas B. Schön. In Automatica, volume 80, pp 189-199, 2017. (DOI).
  305. An efficient method for sorting and quantifying individual social traits based on group-level behaviour. Alex Szorkovszky, Alexander Kotrschal, James E. Herbert Read, David J. T. Sumpter, Niclas Kolm, and Kristiaan Pelckmans. In Methods in Ecology and Evolution, volume 8, 2017. (DOI). Publication status: Epub ahead of print
  306. Errors-in-variables identification using maximum likelihood estimation in the frequency domain. Torsten Söderström and Umberto Soverini. In Automatica, volume 79, pp 131-143, 2017. (DOI).
  307. Objective automated quantification of fluorescence signal in histological sections of rat lens. Nooshin Talebizadeh, Nanna Zhou Hagström, Zhaohua Yu, Martin Kronschläger, Per Söderberg, and Carolina Wählby. In Cytometry Part A, volume 91, 2017. (DOI). Publication status: Epub ahead of print
  308. In the liminal space: Software design as a threshold skill. Lynda Thomas, Jonas Boustedt, Anna Eckerdal, Robert McCartney, Jan Erik Moström, Kate Sanders, and Carol Zander. In Practice and Evidence of the Scholarship of Teaching and Learning in Higher Education, volume 12, pp 333-351, 2017. (Article).
  309. Student software designs at the undergraduate midpoint. Lynda Thomas, Carol Zander, Chris Loftus, and Anna Eckerdal. In Proc. 22nd Conference on Innovation and Technology in Computer Science Education, pp 34-39, ACM Press, New York, 2017. (DOI).
  310. Privacy-preserving social tie discovery based on cloaked human trajectories. Ye Tian, Wendong Wang, Jie Wu, Qinli Kou, Zheng Song, and Edith C.-H. Ngai. In IEEE Transactions on Vehicular Technology, volume 66, number 2, pp 1619-1630, 2017. (DOI).
  311. Clairvoyance: Look-ahead compile-time scheduling. Kim-Anh Tran, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, Vasileios Spiliopoulos, Stefanos Kaxiras, and Alexandra Jimborean. In Proc. 15th International Symposium on Code Generation and Optimization, pp 171-184, IEEE Press, Piscataway, NJ, 2017. (fulltext:postprint).
  312. Scaling Reliably: Improving the scalability of the Erlang distributed actor platform. Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktória Förd?s, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth Mackenzie, Katerina Roukounaki, Yiannis Tsiouris, and Kjell Winblad. In ACM Transactions on Programming Languages and Systems, volume 39, number 4, 2017. (DOI).
  313. How do first year students learn C programming in Bhutan?. Phurpa Tshering, Dekar Lhamo, Lu Yu, and Anders Berglund. In Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, pp 25-29, IEEE Computer Society, 2017. (DOI, fulltext:postprint).
  314. A Radar Signal Processing Case Study for Dataflow Programming of Manycores. Zain Ul-Abdin and Albert Mingkun Yang. In Journal of Signal Processing Systems, volume 87, number 1, pp 49-62, 2017. (DOI).
  315. On robust input design for nonlinear dynamical models. Patricio E. Valenzuela, Johan Dahlin, Cristian R. Rojas, and Thomas B. Schön. In Automatica, volume 77, pp 268-278, PERGAMON-ELSEVIER SCIENCE LTD, 2017. (DOI).
  316. <em>Demo: LoRea: A Backscatter architecture that achieves a long communication range</em>. Ambuj Varshney, Carlos-Perez Penichet, Christian Rohner, and Thiemo Voigt. In The 15th ACM Conference on Embedded Networked Sensor Systems (ACM SENSYS 2017), 2017. (External link).
  317. <em>Poster: Battery-free Visible Light Sensing</em>. Ambuj Varshney, Andreas Soleiman, and Thiemo Voigt. In 23rd Annual International Conference on Mobile Computing and Networking (ACM MOBICOM 2017), 2017. (DOI).
  318. Battery-free Visible Light Sensing. Ambuj Varshney, Andreas Soleiman, Luca Mottola, and Thiemo Voigt. In Proceedings of the 4th ACM Workshop on Visible Light Communication Systems, 2017. (DOI, External link).
  319. LoRea: A Backscatter architecture that achieves a long communication range. Ambuj Varshney, Oliver Harms, Perez Penichet Carlos, Christian Rohner, Frederik Hermans, and Thiemo Voigt. In The 15th ACM Conference on Embedded Networked Sensing Systems (ACM SENSYS 2017), ACM Digital Library, Delft, 2017. (External link, fulltext:print).
  320. Towards Wide-area Backscatter Networks. Ambuj Varshney, Carlos-Perez Penichet, Christian Rohner, and Thiemo Voigt. In Proceedings of the 4th ACM Workshop on Hot Topics in Wireless, 2017. (DOI, External link).
  321. Automatic document image binarization using Bayesian optimization. Ekta Vats, Anders Hast, and Prashant Singh. In Proc. 4th International Workshop on Historical Document Imaging and Processing, ACM Press, New York, 2017.
  322. On-the-fly historical handwritten text annotation. Ekta Vats and Anders Hast. In Proc. 1st International Workshop on Human–Document Interaction, 2017.
  323. A perspective from Vietnamese students on teaching of soft skills. Huu-Phuc Vo, Anders Berglund, and Mats Daniels. In Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, pp 23-24, IEEE Computer Society, 2017. (DOI).
  324. Mitigating Inter-network Interference in LoRa Networks. Thiemo Voigt, Martin Bor, Utz Roedig, and Juan Alonso. In , 2017. (fulltext:postprint).
  325. What computing instructors did last summer: Experiences and lessons learned. Tina Vrieler, Aletta Nylén, and Åsa Cajander. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017.
  326. Interpreting the Script: Image Analysis and Machine Learning for Quantitative Studies of Pre-modern Manuscripts. Fredrik Wahlberg. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1475, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  327. An improved high order finite difference method for non-conforming grid interfaces for the wave equation. Siyang Wang. In Computing Research Repository, number 1702.02056, 2017. (External link). Publication status: Submitted
  328. Convergence of finite difference methods for the wave equation in two space dimensions. Siyang Wang, Anna Nissen, and Gunilla Kreiss. In Computing Research Repository, number 1702.01383, 2017. (External link). Publication status: Submitted
  329. Convergence of summation-by-parts finite difference methods for the wave equation. Siyang Wang and Gunilla Kreiss. In Journal of Scientific Computing, volume 71, pp 219-245, 2017. (DOI, Fulltext).
  330. Finite Difference and Discontinuous Galerkin Methods for Wave Equations. Siyang Wang. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1522, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  331. Decoupled Access-Execute on ARM big.LITTLE. Anton Weber, Kim-Anh Tran, Stefanos Kaxiras, and Alexandra Jimborean. In Proc. 5th Workshop on High Performance Energy Efficient Embedded Systems, 2017. (External link).
  332. Deep convolutional neural networks for detecting cellular changes due to malignancy. Håkan Wieslander, Gustav Forslid, Ewert Bengtsson, Carolina Wählby, Jan-Michael Hirsch, Christina Runow Stark, and Sajith Kecheril Sadanandan. In IEEE International Conference on Computer Vision, 2017.
  333. Coupled electric drives data set and reference models. Torbjörn Wigren and Maarten Schoukens. Technical report / Department of Information Technology, Uppsala University nr 2017-024, 2017. (External link).
  334. Globally stable wireless data flow control. Torbjörn Wigren and Reem Karaki. In IEEE Transactions on Control of Network Systems, volume 4, 2017. (DOI). Publication status: Epub ahead of print
  335. Loop-shaping feedback and feedforward control for networked systems with saturation and delay. Torbjörn Wigren. In Asian journal of control, volume 19, number 4, pp 1329-1349, 2017. (DOI).
  336. MATLAB software for nonlinear and delayed recursive identification: Revision 1. Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2017-007, 2017. (External link).
  337. Neural Ctrl-F: Segmentation-free query-by-string word spotting in handwritten manuscript collections. Tomas Wilkinson, Jonas Lindström, and Anders Brun. In , 2017. (fulltext:postprint).
  338. Neural Ctrl-F: Segmentation-free Query-by-String Word Spotting in Handwritten Manuscript Collections. Tomas Wilkinson, Jonas Lindström, and Anders Brun. In , 2017.
  339. Mastery Learning-Like Teaching with Achievements. Tobias Wrigstad and Elias Castegren. In , 2017. (fulltext:postprint).
  340. Prediction Performance After Learning in Gaussian Process Regression. Johan Wågberg, Dave Zachariah, Thomas B. Schön, and Peter Stoica. In Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, Proceedings of Machine Learning Research, pp 1264-1272, PMLR, 2017. (Full text, Reference, fulltext:postprint).
  341. Scalable validation of industrial equipment using a functional DSMS. Cheng Xu, Elisabeth Källström, Tore Risch, John Lindström, Lars Håkansson, and Jonas Larsson. In Journal of Intelligent Information Systems, volume 48, number 3, pp 553-577, 2017. (DOI, Fulltext, fulltext:print).
  342. 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 4, 2017. (DOI). Publication status: Epub ahead of print
  343. Design of a hybrid observer for an oscillator with an intrinsic pulse-modulated feedback. Diana Yamalova and Alexander Medvedev. In Proc. American Control Conference: ACC 2017, pp 1175-1180, American Automatic Control Council, 2017. (DOI).
  344. Hybrid observers for systems with intrinsic pulse-modulated feedback. Diana Yamalova. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2017-001, Uppsala University, 2017. (fulltext).
  345. Type-assisted automatic garbage collection for lock-free data structures. Albert Mingkun Yang and Tobias Wrigstad. In Proc. 16th International Symposium on Memory Management, pp 14-24, ACM Press, New York, 2017. (DOI).
  346. High-dimensional online adaptive filtering. Sholeh Yasini and Kristiaan Pelckmans. In , volume 50:1 of IFAC-PapersOnLine, pp 14106-14111, 2017. (DOI).
  347. Parametric convergence analysis of an adaptive filtering algorithm with output quantization. Sholeh Yasini and Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2017-011, 2017. (External link).
  348. Exploring proxemics for human-drone interaction. Alexander Yeh, Photchara Ratsamee, Kiyoshi Kiyokawa, Yuki Uranishi, Tomohiro Mashita, Haruo Takemura, Morten Fjeld, and Mohammad Obaid. In Proc. 5th International Conference on Human Agent Interaction, pp 81-88, ACM Press, New York, 2017. (DOI).
  349. Energy-Aware Wireless Relay Selection in Load-Coupled OFDMA Cellular Networks. Lei You, Di Yuan, Nikolaos Pappas, and Peter Varbrand. In IEEE Communications Letters, volume 21, number 1, pp 144-147, Institute of Electrical and Electronics Engineers (IEEE), 2017. (DOI).
  350. Scalable and Passive Wireless Network Clock Synchronization in LOS Environments. Dave Zachariah, Satyam Dwivedi, Peter Handel, and Peter Stoica. In IEEE Transactions on Wireless Communications, volume 16, number 6, pp 3536-3546, 2017. (DOI).
  351. A higher order multi-step iterative method for computing the numerical solution of systems of nonlinear equations associated with nonlinear PDEs and ODEs. Malik Zaka Ullah, Stefano Serra-Capizzano, Fayyaz Ahmad, Arshad Mahmood, and Eman S. Al-Aidarous. In Journal of Computational Analysis And Applications, volume 22, pp 445-461, 2017.
  352. An approximation framework for solvers and decision procedures. Aleksandar Zeljic, Christoph M. Wintersteiger, and Philipp Rümmer. In Journal of automated reasoning, volume 58, number 1, pp 127-147, 2017. (DOI, Fulltext).
  353. On energy-efficient offloading in mobile cloud for real-time video applications. Lei Zhang, Di Fu, Jiangchuan Liu, Edith C.-H. Ngai, and Wenwu Zhu. In IEEE transactions on circuits and systems for video technology (Print), volume 27, number 1, pp 170-181, 2017. (DOI).
  354. Less is More: Learning more with concurrent transmissions for energy-efficient flooding. Peilin Zhang, Alex Yuan Gao, and Oliver Theel. In Proc. 14th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, ACM Press, New York, 2017. (fulltext:postprint).
  355. Micromechanics of semicrystalline polymers: Towards quantitative predictions. Johannes A. W. van Dommelen, Mikhail Poluektov, Amin Sedighiamiri, and Leon E. Govaert. In Mechanics research communications, volume 80, pp 4-9, 2017. (DOI).
  356. Hands-on in computer programming education. Kristina von Hausswolff. In Proc. 13th International Computing Education Research Conference, pp 279-280, ACM Press, New York, 2017. (DOI).
  357. Practical thinking in programming education. Kristina von Hausswolff. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 203-204, ACM Press, New York, 2017. (DOI).
  358. A study protocol for applying user participation and co-learning: Lessons learned from the eBalance project. Anna Cristina Åberg, Kjartan Halvorsen, Ingrid From, Åsa Bergman Bruhn, Lars Oestreicher, and Anita Melander-Wikman. In International Journal of Environmental Research and Public Health, volume 14, number 5, MDPI AG, 2017. (DOI, Fulltext, fulltext:print).
  359. Distance between vector-valued fuzzy sets based on intersection decomposition with applications in object detection. Johan Öfverstedt, Nataša Sladoje, and Joakim Lindblad. In Mathematical Morphology and its Applications to Signal and Image Processing, volume 10225 of Lecture Notes in Computer Science, pp 395-407, Springer, 2017. (DOI).

Updated  2016-12-29 18:16:19 by Kurt Otto.