Institutionen för informationsteknologi
Institutionen för informationsteknologi
Uppsala universitetInformationsteknologiForskningPublikationer
This page in English
Lyssna

Publikationer 2017

  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 och Ahmed Rezine. I International Journal on Software Tools for Technology Transfer, volym 19, nummer 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 och Konstantinos Sagonas. I Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, volym 10460 av 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 och Konstantinos Sagonas. I Journal of the ACM, volym 64, nummer 4, Association for Computing Machinery (ACM), 2017. (DOI).
  4. Context-bounded analysis for POWER. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani och Tuan Phong Ngo. I Tools and Algorithms for the Construction and Analysis of Systems: Part II, volym 10206 av Lecture Notes in Computer Science, pp 56-74, Springer, 2017. (DOI, Extern länk).
  5. Flatten and Conquer: A Framework for Efficient Analysis of String Constraints. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Phi Diep Bui, Lukas Hol?k, Ahmed Rezine och Philipp Rümmer. I SIGPLAN notices, volym 52, nummer 6, pp 602-617, 2017. (DOI).
  6. Stateless model checking for TSO and PSO. Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson och Konstantinos Sagonas. I Acta Informatica, volym 54, nummer 8, pp 789-818, 2017. (DOI).
  7. Synthesis of Ada code from graph-based task models. Jakaria Abdullah, Morteza Mohaqeqi och Wang Yi. I Proc. 32nd ACM Symposium on Applied Computing, pp 1467-1472, ACM Press, New York, 2017. (DOI).
  8. Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. Jakaria Abdullah, Gaoyang Dai, Nan Guan, Morteza Mohaqeqi och Yi Wang. I MODELS, ALGORITHMS, LOGICS AND TOOLS: ESSAYS DEDICATED TO KIM GULDSTRAND LARSEN ON THE OCCASION OF HIS 60TH BIRTHDAY, volym 10460 av Lecture Notes in Computer Science, pp 623-639, SPRINGER INTERNATIONAL PUBLISHING AG, 2017. (DOI).
  9. Automated segmentation of lung field in HRCT images using active shape model. Sunita Agarwala, Debashis Nandi, Abhishek Kumar, Ashis Kumar Dhara, Sumitra Basu Thakur, Anup Sadhu och Ashok Kumar Bhadra. I Proc. 37th Region 10 Conference, pp 2516-2520, IEEE, 2017. (DOI).
  10. A meshfree approach to non-Newtonian free surface ice flow: Application to the Haut Glacier d'Arolla. Josefin Ahlkrona och Victor Shcherbakov. I Journal of Computational Physics, volym 330, pp 633-649, 2017. (DOI).
  11. Are the eigenvalues of preconditioned banded symmetric Toeplitz matrices known in almost closed form?. Fayyaz Ahmad, Eman S. Al-Aidarous, Dina A. Alrehaili, Sven-Erik Ekström, Isabella Furci och Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2017-012, 2017. (Extern länk).
  12. Higher order derivative-free iterative methods with and without memory for systems of nonlinear equations. Fayyaz Ahmad, Fazlollah Soleymani, Farhad Khaksar Haghani och Stefano Serra-Capizzano. I Applied Mathematics and Computation, volym 314, pp 199-211, 2017. (DOI).
  13. User experience in social human–robot interaction. Beatrice Alenljung, Jessica Lindblom, Rebecca Andreasson och Tom Ziemke. I International Journal of Ambient Computing and Intelligence (IJACI), volym 8, nummer 2, pp 12-31, 2017. (DOI).
  14. Why do female students choose to study CS in the Kingdom of Saudi Arabia?. Fayiq Alghamdi. I Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 49-53, IEEE Computer Society, 2017. (DOI, fulltext:postprint).
  15. A Taxonomy of Out-of-Order Instruction Commit. Mehdi Alipour, Trevor E. Carlson och Stefanos Kaxiras. I 2017 Ieee International Symposium On Performance Analysis Of Systems And Software (Ispass), pp 135-136, IEEE Computer Society, Los Alamitos, 2017. (DOI).
  16. Exploring the performance limits of out-of-order commit. Mehdi Alipour, Trevor E. Carlson och Stefanos Kaxiras. I Proc. 14th Computing Frontiers Conference, pp 211-220, ACM Press, New York, 2017. (DOI, attachment:print).
  17. 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 och Amy Loutfi. I Sensors, volym 17, nummer 7, 2017.
  18. Automated deep-phenotyping of the vertebrate brain. Amin Allalou, Yuelong Wu, Mostafa Ghannad-Rezaie, Peter M. Eimon och Mehmet Fatih Yanik. I eLIFE, volym 6, 2017. (DOI, Fulltext).
  19. Efficient Simulation of Wave Phenomena. Martin Almquist. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1463, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  20. Multilevel local time-stepping methods of Runge–Kutta-type for wave equations. Martin Almquist och Michaela Mehlin. I SIAM Journal on Scientific Computing, volym 39, pp A2020-A2048, 2017. (DOI).
  21. Addressing energy challenges in filter caches. Ricardo Alves, Nikos Nikoleris, Stefanos Kaxiras och David Black-Schaffer. I Proc. 29th International Symposium on Computer Architecture and High Performance Computing, pp 49-56, IEEE Computer Society, 2017. (DOI).
  22. MiniZinc with strings. Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey och Guido Tack. I Logic-Based Program Synthesis and Transformation, volym 10184 av Lecture Notes in Computer Science, pp 59-75, Springer, 2017. (DOI).
  23. Defining gestural interactions for large vertical touch displays. Robin Andersson, Jonas Berglund, Aykut Co?kun, Morten Fjeld och Mohammad Obaid. I Human-Computer Interaction – INTERACT 2017, volym 10513 av Lecture Notes in Computer Science, pp 36-55, Springer, 2017. (DOI).
  24. Tool use and collaborative work of dock assembly in practice. Rebecca Andreasson, Jessica Lindblom och Peter Thorvald. I Production & Manufacturing Research, volym 5, nummer 1, pp 164-190, 2017. (DOI, Fulltext, fulltext:print).
  25. Towards a distributed cognition perspective of the Swedish train traffic system. Rebecca Andreasson och Anders Arweström Jansson. I Proceedings of the 13th SweCog Conference, pp 37-39, Högskolan i Skövde, 2017. (Proceedings, fulltext:postprint).
  26. A hybrid method for the imputation of genomic data in livestock populations. Roberto Antolín, Carl Nettelblad, Gregor Gorjanc, Daniel Money och John M. Hickey. I Genetics Selection Evolution, volym 49, 2017. (DOI, Fulltext).
  27. An energy based discontinuous Galerkin method for acoustic–elastic waves. Daniel Appelö och Siyang Wang. I Proc. 13th International Conference on Mathematical and Numerical Aspects of Wave Propagation, pp 389-390, University of Minnesota Press, Minneapolis, MN, 2017.
  28. An explicit Hermite–Taylor method for the Schrödinger equation. Daniel Appelö, Gunilla Kreiss och Siyang Wang. I Communications in Computational Physics, volym 21, pp 1207-1230, 2017. (DOI).
  29. Estimates for the upscaling error in heterogeneous multiscale methods for wave propagation problems in locally periodic media. Doghonay Arjmand och Olof Runborg. I Multiscale Modeling & simulation, volym 15, pp 948-976, 2017. (DOI).
  30. Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking. Stavros Aronis, Konstantinos Sagonas och Scott Lystig Fritchie. I , volym 10510 av Lecture Notes in Computer Science, pp 227-242, Springer, Cham, 2017. (DOI, fulltext:postprint).
  31. The shared-memory interferences of Erlang/OTP built-ins. Stavros Aronis och Konstantinos Sagonas. I Proceedings Of The 16Th Acm Sigplan International Workshop On Erlang (Erlang '17), pp 43-54, Association for Computing Machinery (ACM), New York, 2017. (DOI, fulltext:postprint).
  32. Proceedings of the 13th SweCog Conference. Anders Arweström Jansson, Anton Axelsson, Rebecca Andreasson och Erik Billing (red). University of Skövde, Skövde, 2017.
  33. 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).
  34. Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM ' 15). Kenichi Asai och Konstantinos Sagonas. I Science of Computer Programming, volym 137, pp 1-1, ELSEVIER SCIENCE BV, 2017. (DOI).
  35. Balancing between the conflicting interests of different stakeholders in research. Ryoko Asai och Iordanis Kavathatzopoulos. I European Business Ethics Network: Research, Deree, American College of Greece College, Athens, 2017. (Extern länk).
  36. Robots as companions in feelings and discussions. Ryoko Asai och Iordanis Kavathatzopoulos. I Retfærdighed – Justice, Robophilosophy, pp 42-42, Copenhagen, 2017. (Extern länk).
  37. 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 och Robin Augustine. I IEEE Journal of Electromagnetics, RF and Microwaves in Medicine and Biology, volym 1, nummer 2, pp 43-51, 2017. (DOI, fulltext:postprint).
  38. Human fat tissue: A microwave communication channel. Noor Badariah Asan, Syaiful Redzwan, Anders Rydberg, Robin Augustine, Daniel Noreland, Emadeldeen Hassan och Thiemo Voigt. I Proc. 1st MTT-S International Microwave Bio Conference, IEEE, 2017. (DOI).
  39. 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 och Robin Augustine. I Healthcare Technology Letters, volym 4, nummer 4, pp 115-121, 2017. (DOI, Fulltext, fulltext:print).
  40. 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 och Taco J. Blokhuis. I 2017 IEEE Conference on Antenna Measurements & Applications (CAMA), IEEE Conference on Antenna Measurements & Applications, pp 310-313, IEEE, 2017. (DOI, fulltext:postprint).
  41. Mathematical Morphology on Irregularly Sampled Signals. Teo Asplund, Cris L. Luengo Hendriks, Matthew Thurley och Robin Strand. I Computer Vision – ACCV 2016 Workshops. ACCV 2016, volym 10117 av Lecture Notes in Computer Science, pp 506-520, Springer, 2017. (DOI).
  42. Mathematical morphology on irregularly sampled data in one dimension. Teo Asplund, Cris L. Luengo Hendriks, Matthew J. Thurley och Robin Strand. I Mathematical Morphology - Theory and Applications, volym 2, nummer 1, pp 1-24, 2017. (DOI, Fulltext).
  43. Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete. Mohamed Faouzi Atig, Benedikt Bollig och Peter Habermehl. I International Journal of Foundations of Computer Science, volym 28, nummer 8, pp 945-975, 2017. (DOI).
  44. On the Upward/Downward Closures of Petri Nets?. Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla och Prakash Saivasan. I 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), volym 83 av Leibniz International Proceedings in Informatics (LIPIcs), pp 49:1-49:14, Dagstuhl, Germany, 2017. (DOI, Extern länk).
  45. Parity Games on Bounded Phase Multi-pushdown Systems. Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar och Prakash Saivasan. I Networked Systems: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings, volym 10299 av Lecture Notes in Computer Science, pp 272-287, Cham, 2017. (DOI).
  46. Verification of Asynchronous Programs with Nested Locks. Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar och Prakash Saivasan. I 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, volym 93 av Leibniz International Proceedings in Informatics (LIPIcs), pp 11:1-11:14, Dagstuhl, Germany, 2017.
  47. A preconditioner for optimal control problems, constrained by Stokes equation with a time-harmonic control. Owe Axelsson, Shiraz Farouq och Maya Neytcheva. I Journal of Computational and Applied Mathematics, volym 310, pp 5-18, 2017. (DOI, fulltext:postprint).
  48. A robust structured preconditioner for time-harmonic parabolic optimal control problems. Owe Axelsson, Zhao-Zheng Liang och Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2017-014, 2017. (Extern länk).
  49. Comparison of preconditioned Krylov subspace iteration methods for PDE-constrained optimization problems: Stokes control. Owe Axelsson, Shiraz Farouq och Maya Neytcheva. I Numerical Algorithms, volym 74, pp 19-37, 2017. (DOI, fulltext:postprint).
  50. Parallel solution methods and preconditioners for evolution equations. Owe Axelsson, Maya Neytcheva och Zhao-Zheng Liang. Technical report / Department of Information Technology, Uppsala University nr 2017-017, 2017. (Extern länk).
  51. Document Binarization Combining with Graph Cuts and Deep Neural Networks. Kalyan Ram Ayyalasomayajula och Anders Brun. I , 2017. (fulltext:postprint).
  52. Historical document binarization combining semantic labeling and graph cuts. Kalyan Ram Ayyalasomayajula och Anders Brun. I Image Analysis: Part I, volym 10269 av Lecture Notes in Computer Science, pp 386-396, Springer, 2017. (DOI, fulltext:postprint).
  53. Semantic Labeling using Convolutional Networks coupled with Graph-Cuts for Document binarization. Kalyan Ram Ayyalasomayajula och Anders Brun. I , 2017. (fulltext:postprint).
  54. Data Multi-Pushdown Automata. Parosh Aziz Abdulla, C. Aiswarya och Mohamed Faouzi Atig. I The 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, volym 85 av Leibniz International Proceedings in Informatics (LIPIcs), pp 38:1-38:17, Dagstuhl, Germany, 2017. (DOI).
  55. Proc. 10th Interaction and Concurrency Experience. Massimo Bartoletti, Laura Bocchi, Ludovic Henrio och Sophia Knight (red). Volym 261 av Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017. (DOI, Fulltext).
  56. Parallelism in Event-Based Computations with Applications in Biology. Pavol Bauer. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1586, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  57. Preparing tomorrow's software engineers for work in a global environment. Sarah Beecham, Tony Clear, John Barr, Mats Daniels, Michael Oudshoorn och John Noll. I IEEE Software, volym 34, nummer 1, pp 9-12, 2017. (DOI).
  58. Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. César Beltrán-Castañón, Ingela Nyström och Fazel Famili (red). Volym 10125 av Lecture Notes in Computer Science, Springer, 2017. (DOI).
  59. Computer-aided diagnostics in digital pathology. Ewert Bengtsson, Håvard Danielsen, Darren Treanor, Metin N. Gurcan, Calum MacAulay och Béla Molnár. I Cytometry Part A, volym 91, nummer 6, pp 551-554, 2017. (DOI).
  60. Image processing and its hardware support: Analysis vs synthesis - historical trends. Ewert Bengtsson. I Image Analysis, SCIA 2017, Pt I, pp 3-14, Switzerland, 2017. (DOI).
  61. A Join Operator for Property Graphs. Giacomo Bergami, Matteo Magnani och Danilo Montesi. I EDBT/ICDT Workshops, 2017.
  62. 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 och Elisabeth Larsson. I Spectral and High Order Methods for Partial Differential Equations: ICOSAHOM 2016, volym 119 av Lecture Notes in Computational Science and Engineering, pp 495-507, Springer, 2017. (DOI).
  63. Optimizing a multigrid Runge–Kutta smoother for variable-coefficient convection–diffusion equations. Daniele Bertaccini, Marco Donatelli, Fabio Durastante och Stefano Serra-Capizzano. I Linear Algebra and its Applications, volym 533, pp 507-535, 2017. (DOI).
  64. Deriving Probability Density Functions from Probabilistic Functional Programs. Sooraj Bhat, Johannes Borgström, Andrew D. Gordon och Claudio Russo. I Logical Methods in Computer Science, volym 13, nummer 2, 2017. (DOI, Fulltext).
  65. Spectral analysis of finite-difference approximations of 1-d waves in non-uniform grids. Davide Bianchi och Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2017-013, 2017. (Extern länk).
  66. System identification through online sparse Gaussian process regression with input noise. Hildo Bijl, Thomas B. Schön, Jan-Willem van Wingerden och Michel Verhaegen. I IFAC Journal of Systems and Control, volym 2, pp 1-11, 2017. (DOI).
  67. A web application to analyse and visualize digital images at multiple resolutions. Maxime Bombrun, Petter Ranefall och Carolina Wählby. I , 2017.
  68. Decoding gene expression in 2D and 3D. Maxime Bombrun, Petter Ranefall, Joakim Lindblad, Amin Allalou, Gabriele Partel, Leslie Solorzano, Xiaoyan Qian, Mats Nilsson och Carolina Wählby. I Image Analysis: Part II, volym 10270 av Lecture Notes in Computer Science, pp 257-268, Springer, 2017. (DOI, fulltext:postprint).
  69. 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 och Carolina Wählby. I Cytometry Part A, volym 91, nummer 11, pp 1068-1077, 2017. (DOI).
  70. Employing attribute-based encryption in systems with resource constrained devices in an information-centric networking context. Joakim Borgh, Edith Ngai, Börje Ohlman och Adeel Mohammad Malik. I 2017 Global Internet of Things Summit (GIoTS), pp 397-402, IEEE, 2017. (DOI).
  71. Adaptive cache warming for faster simulations. Gustaf Borgström, Andreas Sembrant och David Black-Schaffer. I Proc. 9th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, ACM Press, New York, 2017. (DOI, Fulltext, fulltext:print).
  72. Mining for Safety using Interactive Trace Analysis. Stephan Brandauer och Tobias Wrigstad. I Pre-Proceedings - Fifteenth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2017. (Pre-Proceedings, fulltext:print).
  73. Spencer: Interactive Heap Analysis for the Masses. Stephan Brandauer och Tobias Wrigstad. I 2017 IEEE/ACM 14th International Conference on Mining Software Repositories (MSR 2017), IEEE International Working Conference on Mining Software Repositories, pp 113-123, IEEE, 2017. (DOI, Extern länk, fulltext:postprint).
  74. Constrained SPICE in Volterra–Laguerre modeling of human smooth pursuit. Viktor Bro och Alexander Medvedev. I Proc. 1st Conference on Control Technology and Applications, pp 13-18, IEEE, 2017. (DOI, fulltext:postprint).
  75. Nonlinear dynamics of the human smooth pursuit system in health and disease: Model structure and parameter estimation. Viktor Bro och Alexander Medvedev. I Proc. 56th Conference on Decision and Control, pp 4692-4697, IEEE, 2017. (DOI, fulltext:postprint).
  76. A fast direct solver for the advection–diffusion equation using low-rank approximation of the Green's function. Jonathan R. Bull. I Spectral and High Order Methods for Partial Differential Equations: ICOSAHOM 2016, volym 119 av Lecture Notes in Computational Science and Engineering, pp 423-435, Springer, 2017. (DOI).
  77. Exploration of Toeplitz-like matrices with unbounded symbols is not a purely academic journey. Albrecht Böttcher, Carlo Garoni och Stefano Serra-Capizzano. I Sbornik. Mathematics, volym 208, nummer 11, pp 1602-1627, 2017. (DOI).
  78. Unexpected student behaviour and learning opportunities: Using the theory of planned behaviour to analyse a critical incident. Åsa Cajander, Mats Daniels, Diane Golay, Jonas Moll, Aletta Nylén, Arnold Pears, Anne-Kathrin Peters och Roger McDermott. I Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
  79. Large-scale virtual screening on public cloud resources with Apache Spark. Marco Capuccini, Laeeq Ahmed, Wesley Schaal, Erwin Laure och Ola Spjuth. I Journal of Cheminformatics, volym 9, 2017. (DOI, Fulltext).
  80. Transcending hardware limits with software out-of-order processing. Trevor E. Carlson, Kim-Anh Tran, Alexandra Jimborean, Konstantinos Koukos, Magnus Själander och Stefanos Kaxiras. I IEEE Computer Architecture Letters, volym 16, nummer 2, pp 162-165, 2017. (DOI).
  81. Modelling and verification of user interactions using constraint programming. Mats Carlsson, Olga Grinchtein och Justin Pearson. I Proc. 3rd International Conference on Software Quality, Reliability and Security, pp 541-547, IEEE Computer Society, 2017. (DOI).
  82. Model order selection rules for covariance structure classification in radar. Vincenzo Carotenuto, Antonio De Maio, Danilo Orlando och Peter Stoica. I IEEE Transactions on Signal Processing, volym 65, nummer 20, pp 5305-5317, 2017. (DOI).
  83. 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 D 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 och Thomas Helleday. I Nature Communications, volym 8, nummer 1, 2017. (DOI, Fulltext, fulltext:print).
  84. Actors without Borders: Amnesty for Imprisoned State. Elias Castegren och Tobias Wrigstad. I , pp 10-20, 2017. (DOI, Fulltext, Fulltext, fulltext:postprint).
  85. Reference Capabilities for Concurrency & Scalability: an Experience Report. Elias Castegren och Tobias Wrigstad. I , 2017. (fulltext:preprint).
  86. Relaxed Linear References for Lock-free Data Structures. Elias Castegren och Tobias Wrigstad. I , pp 47:1-47:31, 2017. (DOI, Fulltext, Extern länk, fulltext:postprint).
  87. Types for CAS: Relaxed Linearity with Ownership Transfer. Elias Castegren och Tobias Wrigstad. 2017.
  88. Detecting perceived quality of interaction with a robot using contextual features. Ginevra Castellano, Iolanda Leite och Ana Paiva. I Autonomous Robots, volym 41, nummer 5, pp 1245-1261, 2017. (DOI).
  89. Analyzing Graphics Workloads on Tile-based GPUs. Germán Ceballos, Andreas Sembrant, Trevor E. Carlson och David Black-Schaffer. I Proc. 20th International Symposium on Workload Characterization, pp 108-109, IEEE, 2017. (DOI).
  90. Exploring scheduling effects on task performance with TaskInsight. Germán Ceballos, Andra Hugo, Erik Hagersten och David Black-Schaffer. I Supercomputing frontiers and innovations, volym 4, nummer 3, pp 91-98, 2017. (DOI, Fulltext).
  91. How to make tasks faster: Revealing the complex interactions of tasks in the memory system. Germán Ceballos. I Proc. Companion 8th ACM International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, pp 1-3, ACM Press, New York, 2017. (DOI).
  92. Modeling the interactions between tasks and the memory system. Germán Ceballos. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2017-002, Uppsala University, 2017. (fulltext).
  93. TaskInsight: Understanding task schedules effects on memory and performance. Germán Ceballos, Thomas Grass, Andra Hugo och David Black-Schaffer. I Proc. 8th International Workshop on Programming Models and Applications for Multicores and Manycores, pp 11-20, ACM Press, New York, 2017. (DOI, Fulltext).
  94. Understanding the interplay between task scheduling, memory and performance. Germán Ceballos, Erik Hagersten och David Black-Schaffer. I Proc. Companion 8th ACM International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, pp 21-23, ACM Press, New York, 2017. (DOI).
  95. A dedicated private-shared cache design for scalable multiprocessors. Juan M. Cebrián, Ricardo Fernández-Pascual, Alexandra Jimborean, Manuel E. Acacio och Alberto Ros. I Concurrency and Computation, volym 29, nummer 2, 2017. (DOI).
  96. Learning to prove safety over parameterised concurrent systems. Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin och Philipp Rümmer. I Proceedings of the 17th International Conference on Formal Methods in Computer-Aided Design, pp 76-83, IEEE, 2017. (DOI, fulltext:postprint).
  97. Accurate and stable time stepping in ice sheet modeling. Gong Cheng, Per Lötstedt och Lina von Sydow. I Journal of Computational Physics, volym 329, pp 29-47, 2017. (DOI, fulltext:postprint).
  98. Non-linear modelling of the dissolved oxygen to ammonium dynamics in a nitrifying activated sludge process. Tatiana Chistiakova, Bengt Carlsson och Torbjörn Wigren. I Proc. 12th IWA Specialized Conference on Instrumentation, Control and Automation, pp 85-93, 2017.
  99. Nonlinear system identification of the dissolved oxygen to effluent ammonia dynamics in an activated sludge process. Tatiana Chistiakova, Per Mattsson, Bengt Carlsson och Torbjörn Wigren. I , volym 50:1 av IFAC-PapersOnLine, pp 3917-3922, 2017. (DOI).
  100. Vascular sprouts induce local attraction of proangiogenic neutrophils. Gustaf Christoffersson, Jalal Lomei, Paul O'Callaghan, Johan Kreuger, Stefan Engblom och Mia Phillipson. I Journal of Leukocyte Biology, volym 102, pp 741-751, 2017. (DOI).
  101. Discrete-time mapping for an impulsive Goodwin oscillator with three delays. Alexander N. Churilov, Alexander Medvedev och Zhanybai T. Zhusubaliyev. I International Journal of Bifurcation and Chaos in Applied Sciences and Engineering, volym 27, nummer 12, 2017. (DOI).
  102. Spectral and convergence analysis of the discrete ALIF method. Antonio Cicone, Carlo Garoni och Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2017-018, 2017. (Extern länk).
  103. Orca: GC and Type System Co-design for Actor Languages. Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad och Jan Vitek. I Proceedings of the ACM on Programming Languages, volym 1, nummer OOPSLA, pp 1-28, ACM, 2017. (DOI, Fulltext, Extern länk, fulltext:print).
  104. Linguistic markers of a radicalized mind-set among extreme adopters. Katie Cohen, Tim Isbister, Lisa Kaati och Amendra Shrestha. I Proc. 10th ACM International Conference on Web Search and Data Mining, pp 823-824, ACM Press, New York, 2017. (DOI).
  105. Resource Aggregation for Task-Based Cholesky Factorization on Top of Heterogeneous Machines. T. Cojean, A. Guermouche, Andra Hugo, R. Namyst och P. A. Wacrenier. I Euro-Par 2016: Parallel processing workshops, volym 10104 av Lecture Notes in Computer Science, pp 56-68, Springer Nature, 2017. (DOI).
  106. Deep Brain Stimulation therapies: a control-engineering perspective. Rubén Cubo, Alexander Medvedev och Helena Andersson. I Proc. American Control Conference: ACC 2017, pp 104-109, IEEE, 2017. (DOI).
  107. Individualization of a surrounding tissue model in Deep Brain Stimulation. Rubén Cubo och Alexander Medvedev. I Proc. 56th Conference on Decision and Control, pp 5919-5924, IEEE, Piscataway, NJ, 2017. (DOI).
  108. Semi-Individualized electrical models in deep brain stimulation: A variability analysis. Rubén Cubo, Markus Fahlström, Elena Jiltsova, Helena Andersson och Alexander Medvedev. I 2017 IEEE Conference on Control Technology and Applications (CCTA), pp 517-522, IEEE, 2017. (DOI).
  109. The Educator Identity and its Impact. Mats Daniels. I SIGCSE '17 Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, ACM Digital Library, 2017. (DOI).
  110. Advances Towards Data-Race-Free Cache Coherence Through Data Classification. Mahdad Davari. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1521, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  111. Scope-Aware Classification: Taking the hierarchical private/shared data classification to the next level. Mahdad Davari, Erik Hagersten och Stefanos Kaxiras. Technical report / Department of Information Technology, Uppsala University nr 2017-008, 2017. (Extern länk).
  112. The best of both works: A hybrid data-race-free cache coherence scheme. Mahdad Davari, Erik Hagersten och Stefanos Kaxiras. 2017.
  113. 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 och Albert Mingkun Yang. I ACM Computing Surveys, volym 50, nummer 5, Association for Computing Machinery (ACM), 2017. (DOI).
  114. Analysis and experimental evaluation of IEEE 802.15.4e TSCH CSMA-CA Algorithm. Domenico De Guglielmo, Beshr Al Nahas, Simon Duquennoy, Thiemo Voigt och Giuseppe Anastasi. I IEEE Transactions on Vehicular Technology, volym 66, nummer 2, pp 1573-1588, 2017. (DOI).
  115. Auto-tabling for subproblem presolving in MiniZinc. Jip J. Dekker, Gustav Björdal, Mats Carlsson, Pierre Flener och Jean-Noël Monette. I Constraints, volym 22, nummer 4, pp 512-529, 2017. (DOI, Fulltext).
  116. Stability properties of a MIMO data flow controller. Ramón A. Delgado, Torbjörn Wigren, Katrina Lau och Richard H. Middleton. University of Newcastle, Australia, 2017. (Extern länk).
  117. Special issue on New Trends in Numerical Analysis: Theory, Methods, Algorithms and Applications (NETNA2015) Preface. Francesco Dell'Accio, Maria Italia Gualtieri, Stefano Serra-Capizzano och Gerhard Wanner. I Applied Numerical Mathematics, volym 116, pp 1-1, ELSEVIER SCIENCE BV, 2017. (DOI).
  118. Systematic predicate abstraction using variable roles. Yulia Demyanova, Philipp Rümmer och Florian Zuleger. I NASA Formal Methods, volym 10227 av Lecture Notes in Computer Science, pp 265-281, Springer, 2017. (DOI, fulltext:postprint).
  119. Using rapid prototyping to explore design implications for a pill-dispensing social agent. Julia Deneke, Darren Lehane, Alexandra Kandler, Tom Menchini, Mikael Laaksoharju och Mohammad Obaid. I Proc. 5th International Conference on Human Agent Interaction, pp 53-59, ACM Press, New York, 2017. (DOI).
  120. Cost-Optimal Caching for D2D Networks with Presence of User Mobility. Tao Deng, Ghafour Ahani, Pingzhi Fan och Di Yuan. I GLOBECOM 2017 - 2017 IEEE Global Communications Conference, IEEE Global Communications Conference, IEEE, 2017. (DOI).
  121. Backstepping stabilization of the linearized Saint-Venant–Exner model. Ababacar Diagne, Mamadou Diagne, Shuxia Tang och Miroslav Krstic. I Automatica, volym 76, pp 345-354, 2017. (DOI).
  122. Control of shallow waves of two unmixed fluids by backstepping. Mamadou Diagne, Shu-Xia Tang, Ababacar Diagne och Miroslav Krstic. I Annual Reviews in Control, volym 44, pp 211-225, 2017. (DOI).
  123. Steady-state analyses of activated sludge processes with plug-flow reactor. Stefan Diehl, Jesús Zambrano och Bengt Carlsson. I Journal of Environmental Chemical Engineering, volym 5, nummer 1, pp 795-809, 2017. (DOI).
  124. Tremor Quantification through Event-based Movement Trajectory Modeling. Konstantinos Dimitrakopoulos, Christoph Ellmer, Martin Lindström och Alexander Medvedev. I 2017 IEEE CONFERENCE ON CONTROL TECHNOLOGY AND APPLICATIONS (CCTA 2017), pp 542-547, IEEE, 2017. (DOI).
  125. Function-based block multigrid strategy for a two-dimensional linear elasticity-type problem. Marco Donatelli, Ali Dorostkar, Mariarosa Mazza, Maya Neytcheva och Stefano Serra-Capizzano. I Computers and Mathematics with Applications, volym 74, pp 1015-1028, 2017. (DOI).
  126. Symbol-based multigrid methods for Galerkin B-spline isogeometric analysis. Marco Donatelli, Carlo Garoni, Carla Manni, Stefano Serra-Capizzano och Hendrik Speleers. I SIAM Journal on Numerical Analysis, volym 55, pp 31-62, 2017. (DOI).
  127. Analysis and Implementation of Preconditioners for Prestressed Elasticity Problems: Advances and Enhancements. Ali Dorostkar. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1580, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  128. 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. (Extern länk).
  129. Hormonal contraceptive use affects HIV susceptibility: mechanisms revealed by image analysis. Gabriella Edfeldt, Julie Lajoie, Maria Röhl, Annelie Tjernlund, Carolina Wählby, Kenneth Odiwuor Omollo, Genevieve Boily-Larouche, Julianna Cheruiyot, Makubo Kimani, Joshua Kimani, Julius Oyugi, Keith R. Fowke och Kristina Broliden. I Scandinavian Journal of Immunology, volym 86, nummer 4, pp 281-281, 2017. (DOI).
  130. Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-hard. Pontus Ekberg och Yi Wang. I 2017 IEEE Real-Time Systems Symposium (RTSS)<em></em>, Real-Time Systems Symposium-Proceedings, pp 139-146, IEEE, 2017. (DOI).
  131. An interpolation–extrapolation algorithm for computing the eigenvalues of preconditioned banded symmetric Toeplitz matrices. Sven-Erik Ekström och Carlo Garoni. Technical report / Department of Information Technology, Uppsala University nr 2017-015, 2017. (Extern länk).
  132. 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 och Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2017-016, 2017. (Extern länk).
  133. Eigenvalues and eigenvectors of banded Toeplitz matrices and the related symbols. Sven-Erik Ekström och Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2017-010, 2017. (Extern länk).
  134. Multiscale methods for problems with complex geometry. Daniel Elfverson, Mats G. Larson och Axel Målqvist. I Computer Methods in Applied Mechanics and Engineering, volym 321, pp 103-123, 2017. (DOI).
  135. Data-driven computational disease spread modeling: from measurement to parametrization and control. Stefan Engblom och Stefan Widgren. I Disease Modelling and Public Health: Part A, volym 36 av Handbook of Statistics, pp 305-328, Elsevier, 2017. (DOI).
  136. Multiscale simulation of stochastic reaction–diffusion networks. Stefan Engblom, Andreas Hellander och Per Lötstedt. I Stochastic Processes, Multiscale Modeling, and Numerical Methods for Computational Cellular Biology, pp 55-79, Springer, 2017. (DOI).
  137. Stability and strong convergence for spatial stochastic kinetics. Stefan Engblom. I Stochastic Processes, Multiscale Modeling, and Numerical Methods for Computational Cellular Biology, pp 109-125, Springer, 2017. (DOI).
  138. 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 och Stephen R. Quake. I Cell, volym 171, nummer 2, pp 321-330.e14, 2017. (DOI).
  139. 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 och C. J. Ley. I Veterinary pathology, volym 54, nummer 3, pp 445-456, 2017. (DOI).
  140. New computerized staging method to analyze mink testicular tissue in environmental research. Azadeh Fakhrzadeh, Ellinor Sporndly-Nees, Elisabeth Ekstedt, Lena Holm och Cris L. Luengo Hendriks. I Environmental Toxicology and Chemistry, volym 36, nummer 1, pp 156-164, 2017. (DOI, Fulltext, fulltext:print).
  141. Making batteries a first class element in the design and evaluation of embedded wireless systems. Laura Marie Feeney, Christian Rohner och Per Gunningberg. I Proc. 14th International Conference on Embedded Wireless Systems and Networks, pp 242-243, ACM Digital Library, 2017.
  142. Towards realistic lifetime estimation in battery-powered IoT devices. Laura Marie Feeney, Robert Hartung, Christian Rohner, Ulf Kulau, Lars Wolf och Per Gunningberg. I Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems Article No. 67, Association for Computing Machinery (ACM), 2017. (DOI).
  143. Efficient Drone Hijacking Detection using Onboard Motion Sensors. Zhiwei Feng, Nan Guan, Mingsong Lv, Weichen Liu, Qingxu Deng, Xue Liu och Yi Wang. I 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).
  144. Affine killing: Semantics for stopping the ParT. Kiko Fernandez-Reyes och Dave Clarke. I Proc. 2nd International Workshop on Type-Driven Development, ACM Press, New York, 2017. (fulltext:postprint).
  145. IoT Data Profiles: The Routines of Your Life Reveals Who You Are. Johan Fernquist, Torbjörn Fängström och Lisa Kaati. I 2017 European Intelligence and Security Informatics Conference (EISIC), European Intelligence and Security Informatics Conference, pp 61-67, IEEE, 2017. (DOI).
  146. Analysis, synthesis and application of automaton-based constraint descriptions. María Andreína Francisco Rodríguez. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1591, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image, errata).
  147. Automatic generation of descriptions of time-series constraints. María Andreína Francisco Rodríguez, Pierre Flener och Justin Pearson. I IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI), Proceedings-International Conference on Tools With Artificial Intelligence, pp 102-109, IEEE Computer Society, 2017. (DOI).
  148. You can have it all: abstraction and good cache performance. Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou och Susan Eisenbach. I Onward! 2017: Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp 148-167, Association for Computing Machinery (ACM), 2017. (DOI, fulltext:print).
  149. 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 och Jonas Moll. I Proc. 14th Sound and Music Computing Conference, pp 242-249, Aalto University, Finland, 2017. (Fulltext).
  150. Personalised human-robot co-adaptation in instructional settings using reinforcement learning. Alex Yuan Gao, Wolmet Barendregt och Ginevra Castellano. I , 2017. (fulltext:postprint).
  151. Generalized Locally Toeplitz Sequences: Theory and Applications: Volume I. Carlo Garoni och Stefano Serra-Capizzano. Springer, 2017. (DOI).
  152. Generalized locally Toeplitz sequences: Theory and applications. Carlo Garoni och Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2017-002, 2017. (Extern länk).
  153. 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 och Hendrik Speleers. I Journal of Mathematical Analysis and Applications, volym 446, pp 365-382, 2017. (DOI).
  154. Spectral analysis and spectral symbol of matrices in isogeometric Galerkin methods. Carlo Garoni, Carla Manni, Stefano Serra-Capizzano, Debora Sesana och Hendrik Speleers. I Mathematics of Computation, volym 86, nummer 305, pp 1343-1373, 2017. (DOI).
  155. The theory of generalized locally Toeplitz sequences: a review, an extension, and a few representative applications. Carlo Garoni och Stefano Serra-Capizzano. I Large Truncated Toeplitz Matrices, Toeplitz Operators, and Related Topics, volym 259 av Operator Theory: Advances and Applications, pp 353-394, Springer, 2017. (DOI).
  156. Effective slip over partially filled microcavities and its possible failure. Zhouyang Ge, Hanna Holmgren, Martin Kronbichler, Luca Brandt och Gunilla Kreiss. Technical report / Department of Information Technology, Uppsala University nr 2017-019, 2017. (Extern länk).
  157. Smoothed State Estimation via Efficient Solution of Linear Equations. Li-Hui Geng, Brett Ninness, Adrian Wills och Thomas B. Schön. I IFAC-PapersOnLine, volym 50, nummer 1, pp 1613-1618, 2017. (DOI).
  158. Shortest Paths in Multiplex Networks. Saeed Ghariblou, Mostafa Salehi, Matteo Magnani och Mahdi Jalili. I Scientific Reports, volym 7, 2017. (DOI, Fulltext, fulltext:print).
  159. One-bit Compressive Sampling with Time-Varying Thresholds for Multiple Sinusoids. Christopher Gianelli, Luzhou Xu, Jian Li och Petre Stoica. I 2017 IEEE 7th International Workshop on Computational Advances in Multi-Sensor Adaptive Processing (CAMSAP), IEEE, 2017. (DOI).
  160. Concolic testing for functional languages. Aggelos Giantsios, Nikolaos Papaspyrou och Konstantinos Sagonas. I Science of Computer Programming, volym 147, pp 109-134, 2017. (DOI).
  161. Increased numbers of CD103<sup>-</sup>CD8<sup>+</sup> T<sub>RM</sub> cells in the cervical mucosa of HIV-infected women. Anna Gibbs, Marcus Buggert, Gabriella Edfeldt, Petter Ranefall, Andrea Introini, Stanley Cheuk, Elisa Martini, Liv Eidsmo, Taha Hirbod, Terry B. Ball, Joshua Kimani, Rupert Kaul, Annika C. Karlsson, Carolina Wählby, Kristina Broliden och Annelie Tjernlund. I Scandinavian Journal of Immunology, volym 86, nummer 4, pp 288-289, 2017. (DOI).
  162. The role of chromatin density in cell population heterogeneity during stem cell differentiation. Mahdi Golkaram, Jiwon Jang, Stefan Hellander, Kenneth S. Kosik och Linda R. Petzold. I Scientific Reports, volym 7, pp 13307:1-11, 2017. (DOI, Fulltext).
  163. A diversity lens on the last decade of the FIE conference: Role models for the engineering community. Virginia Grande och Mats Daniels. I Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
  164. Experiences of teachers in computing as role models: a phenomenographic study. Virginia Grande, Anders Berglund och Mats Daniels. I Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 133-137, ACM Press, New York, 2017. (DOI).
  165. Preface to special issue on satisfiability modulo theories. Alberto Griggio och Philipp Rümmer. I Formal methods in system design, volym 51, nummer 3, pp 431-432, 2017. (DOI).
  166. Using critical incidents in workshops to inform eHealth design. Christiane Grünloh, Jean D. Hallewell Haslwanter, Bridget Kane, Eunji Lee, Thomas Lind, Jonas Moll, Hanife Rexhepi och Isabella Scandurra. I Human-Computer Interaction: Part I, volym 10513 av Lecture Notes in Computer Science, pp 364-373, Springer, 2017. (DOI).
  167. 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 och Nataša Sladoje. I Image Analysis: Part I, volym 10269 av Lecture Notes in Computer Science, pp 407-418, Springer, 2017. (DOI).
  168. 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 och Natasa Sladoje. I Swedish Symposium on Image Analysis, Swedish Society for Automated Image Analysis, 2017. (fulltext:print).
  169. Robust Tracking of Periodic Motion in the Plane using Inertial Sensor Data. Kjartan Halvorsen och Fredrik Olsson. I Proceedings of IEEE Sensors 2017, IEEE Sensors, pp 1041-1043, IEEE, Glasgow, Scotland, 2017. (DOI, fulltext:postprint).
  170. An efficient descriptor based on radial line integration for fast non invariant matching and registration of microscopy images. Anders Hast, Gustav Kylberg och Ida-Maria Sintorn. I Advanced Concepts for Intelligent Vision Systems, volym 10617 av Lecture Notes in Computer Science, pp 723-734, Springer, 2017. (DOI).
  171. Introducing Programming and Digital Competence in Swedish K–9 Education. Fredrik Heintz, Linda Mannila, Lars-Åke Nordén, Peter Parnes och Björn Regnell. I Informatics in Schools: Focus on Learning Programming, pp 117-128, Springer Nature, 2017. (DOI, fulltext:postprint).
  172. Robustness analysis of spatiotemporal models in the presence of extrinsic fluctuations. Andreas Hellander, Jan Klosa, Per Lötstedt och Shev MacNamara. I SIAM Journal on Applied Mathematics, volym 77, pp 1157-1183, 2017. (DOI).
  173. Mesoscopic-microscopic spatial stochastic simulation with automatic system partitioning. Stefan Hellander, Andreas Hellander och Linda Petzold. I Journal of Chemical Physics, volym 147, nummer 23, 2017. (DOI, fulltext:print).
  174. Contrast independent localization of multiscale problems. Fredrik Hellman och Axel Målqvist. I Multiscale Modeling & simulation, volym 15, pp 1325-1355, 2017. (DOI).
  175. Numerical Methods for Darcy Flow Problems with Rough and Uncertain Data. Fredrik Hellman. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1495, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  176. Numerical homogenization of time-dependent diffusion. Fredrik Hellman och Axel Målqvist. 2017. (arXiv:1703.08857).
  177. A Platform for Teaching Sensor Fusion Using a Smartphone. Gustaf Hendeby, Fredrik Gustafsson, Niklas Wahlström och Svante Gunnarsson. I International journal of engineering education, volym 33, nummer 2B, pp 781-789, 2017.
  178. Protecting Glossy-based Wireless Networks from Packet Injection Attacks. Kasun Hewage, Shahid Raza och Thiemo Voigt. I Proceeding of the 2017 IEEE 14th International Conference on Mobile Ad Hoc and Sensor Systems (MASS), IEEE International Conference on Mobile Ad-hoc and Sensor Systems, pp 37-45, IEEE, Orlando, 2017. (DOI).
  179. Investigating design implications towards a social robot as a memory trainer. Linda Hirsch, Anton Björsell, Mikael Laaksoharju och Mohammad Obaid. I Proc. 5th International Conference on Human Agent Interaction, pp 5-10, ACM Press, New York, 2017. (DOI).
  180. Deciding and Interpolating Algebraic Data Types by Reduction. Hossein Hojjat och Philipp Rümmer. I 2017 19th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC 2017), International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp 145-152, IEEE, New York, 2017. (DOI).
  181. A computational multiscale model for contact line dynamics. Hanna Holmgren och Gunilla Kreiss. 2017. (arXiv:1709.04917).
  182. Modelling of Moving Contact Lines in Two-Phase Flows. Hanna Holmgren. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1559, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  183. Locating the Few: Sparsity-aware waveform design for active radar. Heng Hu, Mojtaba Soltanalian, Peter Stoica och Xiaohua Zhu. I IEEE Transactions on Signal Processing, volym 65, nummer 3, pp 651-662, 2017. (DOI).
  184. Gender Classification with Data Independent Features in Multiple Languages. Tim Isbister, Lisa Kaati och Katie Cohen. I 2017 European Intelligence and Security Informatics Conference (EISIC), European Intelligence and Security Informatics Conference, pp 54-60, IEEE, 2017. (DOI).
  185. Deep Fish: Deep Learning-Based Classification of Zebrafish Deformation for High-Throughput Screening. Omer Ishaq, Sajith Kecheril Sadanandan och Carolina Wählby. I Journal of Biomolecular Screening, volym 22, nummer 1, pp 102-107, 2017. (DOI).
  186. Cost-aware application development and management using CLOUD-METRIC. Alieu Jallow, Andreas Hellander och Salman Toor. I Proc. 7th International Conference on Cloud Computing and Services Science, pp 515-522, SciTePress, Setúbal, Portugal, 2017. (DOI).
  187. Knowledge Elicitation in Naturalistic Decision Making: Collegial Verbalisation with "Conspective Protocols". Anders Jansson och Anton Axelsson. I Naturalistic Decision Making and Uncertainty: Proceedings of the 13th Bi-annual International Conference on Naturalistic Decision Making, pp 87-93, 2017. (fulltext:print).
  188. 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 och Thiemo Voigt. I SenSys '17 Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems, 2017. (DOI).
  189. Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors. Xu Jiang, Nan Guan, Xiang Long och Wang Yi. I 2017 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium-Proceedings, pp 80-91, IEEE, 2017. (DOI).
  190. Linearly constrained Gaussian processes. Carl Jidling, Niklas Wahlström, Adrian Wills och Thomas B. Schön. I Proc. 31st Conference on Neural Information Processing Systems, volym 30 av Advances in Neural Information Processing Systems, pp 1215-1224, 2017. (Abstract).
  191. Automatic detection of extended data-race-free regions. Alexandra Jimborean, Jonatan Waern, Per Ekemark, Stefanos Kaxiras och Alberto Ros. I Proc. 15th International Symposium on Code Generation and Optimization, pp 14-26, IEEE Press, Piscataway, NJ, 2017. (Paper, fulltext:postprint).
  192. 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, Cris L. Luengo Hendriks och Per Isaksson. I Industrial crops and products (Print), volym 95, pp 43-49, Elsevier, 2017. (DOI).
  193. Workshop on Robots for Learning-R4L. Wafa Johal, Paul Vogt, James Kennedy, Mirjam de Haas, Ana Paiva och Ginevra Castellano. I HRI '17: Proceedings of the Companion of the 2017 ACM/IEEE International Conference on Human-Robot Interaction, ACM IEEE International Conference on Human-Robot Interaction, pp 423-424, Association for Computing Machinery (ACM), 2017. (DOI).
  194. Author Profiling in the Wild. Lisa Kaati, Elias Lundeqvist, Amendra Shrestha och Maria Svensson. I 2017 European Intelligence and Security Informatics Conference (EISIC), European Intelligence and Security Informatics Conference, pp 155-158, IEEE, 2017. (DOI).
  195. Quantified heap invariants for object-oriented programs. Temesghen Kahsai, Rody Kersten, Philipp Rümmer och Martin Schäf. I 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volym 46 av EPiC Series in Computing, pp 368-384, 2017. (Extern länk, fulltext:postprint).
  196. 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 och Mohammad Obaid. I Proc. 5th International Conference on Human Agent Interaction, pp 89-96, ACM Press, New York, 2017. (DOI).
  197. 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 och Igor Adameyko. I eLIFE, volym 6, 2017. (DOI, Fulltext).
  198. Assessing the ethical competence of organizations. Iordanis Kavathatzopoulos, Agata Kostrzewa och Karin Berg. I EBEN Annual Conference, University of Jyväskylä, Jyväskylä, Finland, 2017. (Extern länk).
  199. Education for leaders’ ethical competence. Iordanis Kavathatzopoulos. I European Business Ethics Network: Research, Deree, American College of Greece College, Athens, 2017. (Extern länk).
  200. Ethical leadership in business: The significance of Information and Communication Technology. Iordanis Kavathatzopoulos. I Information and Management: Connect Things, Humans, Management, pp 1-4, Japan Society for Information and Management, Tokyo, 2017. (Extern länk).
  201. ICT as ethical competence. Iordanis Kavathatzopoulos. I 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. (Extern länk).
  202. Snowden’s revelations and the attitudes of students at Swedish universities. Iordanis Kavathatzopoulos, Ryoko Asai, Andrew A. Adams och Kiyoshi Murata. I Journal of Information, Communication and Ethics in Society, volym 15, nummer 3, pp 247-264, 2017. (DOI).
  203. GECKO: Gamer Experience-Centric Bitrate Control Algorithm for Cloud Gaming. Yihao Ke, Guoqiao Ye, Di Wu, Yipeng Zhou, Edith Ngai och Han Hu. I Image and Graphics: 9th International Conference, ICIG 2017, Shanghai, China, September 13-15, 2017, Revised Selected Papers, Part II, volym 10667 av Lecture Notes in Computer Science, pp 325-335, Springer, 2017. (DOI).
  204. Automated training of deep convolutional neural networks for cell segmentation. Sajith Kecheril Sadanandan, Petter Ranefall, Sylvie Le Guyader och Carolina Wählby. I Scientific Reports, volym 7, 2017. (DOI, Fulltext, fulltext:print).
  205. Spheroid segmentation using multiscale deep adversarial networks. Sajith Kecheril Sadanandan, Johan Karlsson och Carolina Wählby. I IEEE International Conference on Computer Vision, IEEE International Conference on Computer Vision Workshops, IEEE, 2017. (DOI).
  206. Bråk och språk – vad som är förnuftigt och logiskt. Christer O. Kiselman och Hania Uscka-Wehlou. I Nämnaren : tidskrift för matematikundervisning, nummer 1, pp 45-49, Nationellt centrum för matematikutbildning (NCM), Göteborg, 2017.
  207. Convexity of marginal functions in the discrete case. Christer O. Kiselman och Shiva Samieinia. I Analysis Meets Geometry: The Mikael Passare Memorial Volume, Trends in Mathematics, pp 287-309, Birkhäuser Verlag, Cham, 2017.
  208. Curriculum Vitae, Mikael Passare. Christer O. Kiselman. I Analysis Meets Geometry: The Mikael Passare Memorial Volume, Trends in Mathematics, pp 3-4, Birkhäuser Verlag, Chaml, 2017.
  209. Discrete convolution operators, the Fourier transformation, and its tropical counterpart: the Fenchel transformation. Christer O. Kiselman. I Proc. 3rd EAUMP Conference: Advances in Mathematics and its Applications, pp 7-28, Makerere University, Kampala, Uganda, 2017.
  210. Domains of holomorphy for Fourier transforms of solutions to discrete convolution equations. Christer O. Kiselman. I Science China Mathematics, volym 60, nummer 6, pp 1005-1018, 2017. (DOI).
  211. Falska vänner, vassa vrår och språkliga fällor. Christer O. Kiselman och Hania Uscka-Wehlou. I Nämnaren : tidskrift för matematikundervisning, nummer 2, pp 43-51, Nationellt centrum för matematikutbildning (NCM), Göteborg, 2017.
  212. How to best fold a triangle. Christer O. Kiselman. I Mathematische Semesterberichte, volym 65, nummer 1, pp 65-89, 2017. (DOI, Fulltext).
  213. Lars Hörmander—some early memories (Chinese). Christer O. Kiselman. I Mathematical Advances in Translation, volym 36, nummer 2, pp 120-121, Beijing, 2017.
  214. Mikael Passare (1959–2011). Christer O. Kiselman. I Analysis Meets Geometry: The Mikael Passare Memorial Volume, Trends in Mathematics, pp 35-57, Birkhäuser Verlag, Cham, 2017.
  215. Mikael Passare's publications. Christer O. Kiselman. I Analysis Meets Geometry: The Mikael Passare Memorial Volume, Trends in Mathematics, pp 5-9, Birkhäuser Verlag, Cham, 2017.
  216. Watching solar eclipses 1945–2017. Christer O. Kiselman. I Bulletin of the Swedish Mathematical Society, nummer October, pp 17-21, Göteborg, 2017.
  217. Using Inertial Sensors for Position and Orientation Estimation. Manon Kok, Jeroen D. Hol och Thomas B. Schön. Now Publishers Inc., Boston, MA, 2017. (DOI).
  218. Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU). Michalis Kokologiannakis och Konstantinos Sagonas. I Proc. 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, pp 172-181, ACM Press, New York, 2017. (DOI).
  219. Bare-metal, virtual machines and containers in OpenStack. Charalampos Gavriil Kominos, Nicolas Seyvet och Konstantinos Vandikas. I Proc. 20th Conference on Innovations in Clouds, Internet and Networks, pp 36-43, IEEE, Piscataway, NJ, 2017. (DOI).
  220. Covering a Euclidean line or hyperplane by dilations of its discretization. Adama Arouna Koné. I Vietnam Journal of Mathematics, volym 45, nummer 3, pp 351-368, 2017. (DOI).
  221. A phase-field microscale enhancement for macro models of capillary-driven contact point dynamics. Martin Kronbichler och Gunilla Kreiss. I Journal of Computational Multiphase Flows, volym 9, pp 114-126, 2017. (DOI, Fulltext).
  222. Adding integral display properties to increase generalizability of a configural display. Mikael Laaksoharju, Mats Lind och Anders Arweström Jansson. I Proceedings of the 13th SweCog Conference, Uppsala, October 26–27, 2017, pp 9-11, Skövde, 2017.
  223. Friendly but not Friends: Designing for Spaces Between Friendship and Unfamiliarity. Airi Lampinen, Donald McMillan, Barry Brown, Zarah Faraj, Deha Nemutlu Cambazoglu och Christian Virtala. I 8th International Conference On Communities And Technologies (C&amp;T 2017), pp 169-172, Association for Computing Machinery (ACM), 2017. (DOI).
  224. Generalized Finitary Real-Time Calculus. Kai Lampka, Steffen Bondorf, Jens B. Schmitt, Nan Guan och Yi Wang. I IEEE INFOCOM 2017 - IEEE Conference on Computer Communications, IEEE INFOCOM, IEEE, 2017. (DOI).
  225. A least squares radial basis function partition of unity method for solving PDEs. Elisabeth Larsson, Victor Shcherbakov och Alfa Heryudono. I SIAM Journal on Scientific Computing, volym 39, pp A2538-A2563, 2017. (DOI).
  226. Book Review: A Primer on Radial Basis Functions with Applications to the Geosciences. Elisabeth Larsson. I SIAM Review, volym 59, pp 688-689, 2017. (DOI).
  227. Improving the performance of cellular uplinks via power overbooking. Katrina Lau, Graham C. Goodwin, Torbjörn Wigren och Linda Brus. I IET Communications, volym 11, nummer 9, pp 1512-1518, 2017. (DOI).
  228. A deep learning approach for optimizing content delivering in cache-enabled HetNet. Lei Lei, Lei You, Gaoyang Dai, Thang Xuan Vu, Di Yuan och Symeon Chatzinotas. I Proc. 14th International Symposium on Wireless Communication Systems, pp 449-453, IEEE, 2017. (DOI).
  229. Fair termination for parameterized probabilistic concurrent systems. Ondrej Lengál, Anthony W. Lin, Rupak Majumdar och Philipp Rümmer. I Tools and Algorithms for the Construction and Analysis of Systems: Part I, volym 10205 av Lecture Notes in Computer Science, pp 499-517, Springer, 2017. (DOI, fulltext:postprint).
  230. Subtask scheduling for distributed robots in cloud manufacturing. Wenxiang Li, Chunsheng Zhu, Laurence T. Yang, Lei Shu, Edith C.-H. Ngai och Yajie Ma. I IEEE Systems Journal, volym 11, nummer 2, pp 941-950, 2017. (DOI).
  231. 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 och Örjan Smedby. I Image Analysis: Part II, volym 10270 av Lecture Notes in Computer Science, pp 76-87, Springer, 2017. (DOI).
  232. Classification of cross-sections for vascular skeleton extraction using convolutional neural networks. Kristína Lidayová, Anindya Gupta, Hans Frimmel, Ida-Maria Sintorn, Ewert Bengtsson och Örjan Smedby. I Medical Image Understanding and Analysis, volym 723 av Communications in Computer and Information Science, pp 182-194, Springer, 2017. (DOI).
  233. Fast Methods for Vascular Segmentation Based on Approximate Skeleton Detection. Kristína Lidayová. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1496, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  234. Improved centerline tree detection of diseased peripheral arteries with a cascading algorithm for vascular segmentation. Kristína Lidayová, Hans Frimmel, Ewert Bengtsson och Örjan Smedby. I Journal of Medical Imaging, volym 4, pp 024004:1-11, 2017. (DOI).
  235. Formulation of a wall model for LES in a collocated finite-volume framework. Mattias Liefvendahl, Timofey Mukha och Saleh Rezaeiravesh. Technical report / Department of Information Technology, Uppsala University nr 2017-001, 2017. (Extern länk).
  236. Inertia in Sociotechnical Systems: On IT-related Change Processes in Organisations. Thomas Lind. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1531, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  237. What is the use of vision seminars?: An evaluation from the perspective of participants and stakeholders. Thomas Lind, Marta Lárusdóttir och Åsa Cajander. I Behaviour & Information Technology, 2017. Publikationsstatus: Submitted
  238. 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 och A. Bouchard-Côté. I Journal of Computational And Graphical Statistics, volym 26, nummer 2, pp 445-458, 2017. (DOI).
  239. Exposing inter-process information for efficient parallel discrete event simulation of spatial stochastic systems. Jonatan Lindén, Pavol Bauer, Stefan Engblom och Bengt Jonsson. I Proc. 5th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp 53-64, ACM Press, New York, 2017. (DOI).
  240. On the precision of third person perspective augmented reality for target designation tasks. Fei Liu och Stefan Seipel. I Multimedia tools and applications, volym 76, nummer 14, pp 15279-15296, 2017. (DOI, Fulltext, fulltext:print).
  241. Cloud-Based Data Fusion in Green IoT for Smart Cities. Xiuming Liu, Abdul Rahman Khankan, Mohamad Alsioufi, Zhitao He och Edith C.-H. Ngai. I Proc. 14th International Conference on Embedded Wireless Systems and Networks, pp 216-217, ACM Digital Library, 2017.
  242. Path planning for aerial sensor networks with connectivity constraints. Xiuming Liu, Teng Xi, Edith Ngai och Wendong Wang. I 2017 IEEE International Conference on Communications (ICC), IEEE International Conference on Communications, IEEE, 2017. (DOI).
  243. Passive in-vehicle driver breath alcohol detection using advanced sensor signal acquisition and fusion. Jonas Ljungblad, Bertil Hök, Amin Allalou och Håkan Pettersson. I Traffic Injury Prevention, volym 18, pp S31-S36, 2017. (DOI, Fulltext, fulltext:print).
  244. Finite Element Computations on Multicore and Graphics Processors. Karl Ljungkvist. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1512, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  245. Matrix-free finite-element computations on graphics processors with adaptively refined unstructured meshes. Karl Ljungkvist. I Proc. 25th High Performance Computing Symposium, pp 1-12, The Society for Modeling and Simulation International, San Diego, CA, 2017.
  246. Multigrid for matrix-free finite element computations on graphics processors. Karl Ljungkvist och Martin Kronbichler. Technical report / Department of Information Technology, Uppsala University nr 2017-006, 2017. (Extern länk).
  247. 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 och Joel Kullberg. I Scientific Reports, volym 7, 2017. (DOI, Fulltext, fulltext:print).
  248. A license to kill: Improving UCSD in agile development. Marta Lárusdóttir, Jan Gulliksen och Åsa Cajander. I Journal of Systems and Software, volym 123, pp 214-222, 2017. (DOI).
  249. Targeted property-based testing. Andreas Löscher och Konstantinos Sagonas. I Proc. 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp 46-56, ACM Press, New York, 2017. (DOI).
  250. Use and refinement of CWA in an industrial, automotive design, context. Ida Löscher och Stas Krupenia. I Cognitive Work Analysis: Applications, Extensions and Future Directions, pp 303-320, CRC Press, 2017.
  251. Introduction to the special issue on multilayer networks. Matteo Magnani och Stanley Wasserman. I NETWORK SCIENCE, volym 5, nummer 2, pp 141-143, CAMBRIDGE UNIV PRESS, 2017. (DOI).
  252. 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 och Sverker Holmgren. I IEEE/ACM Transactions on Computational Biology & Bioinformatics, volym 14, pp 381-392, 2017. (DOI).
  253. Mechanochemical Polarization of Contiguous Cell Walls Shapes Plant Pavement Cells. Mateusz Majda, Peter Grones, Ida-Maria Sintorn, Thomas Vain, Pascale Milani, Pawel Krupinski, Beata Zagorska-Marek, Corrado Viotti, Henrik Jonsson, Ewa J. Mellerowicz, Olivier Hamant och Stephanie Robert. I Developmental Cell, volym 43, nummer 3, pp 290-304, 2017. (DOI).
  254. Exact Evaluation of Targeted Stochastic Watershed Cuts. Filip Malmberg, Cris L. Luengo Hendriks och Robin Strand. I Discrete Applied Mathematics, volym 216, nummer 2, pp 449-460, Elsevier, 2017. (DOI).
  255. SmartPaint: a tool for interactive segmentation of medical volume images. Filip Malmberg, Richard Nordenskjöld, Robin Strand och Joel Kullberg. I Computer Methods In Biomechanics And Biomedical Engeineering-Imaging And Visualization, volym 5, nummer 1, pp 36-44, TAYLOR & FRANCIS LTD, 2017. (DOI).
  256. The Boolean Map Distance: Theory and Efficient Computation. Filip Malmberg, Robin Strand, Jianming Zhang och Stan Sclaroff. I International Conference on Discrete Geometry for Computer Imagery, volym 10502 av Lecture notes in computer science, pp 335-346, Springer, 2017. (DOI).
  257. A high-order accurate embedded boundary method for first order hyperbolic equations. Ken Mattsson och Martin Almquist. I Journal of Computational Physics, volym 334, pp 255-279, 2017. (DOI).
  258. Diagonal-norm upwind SBP operators. Ken Mattsson. I Journal of Computational Physics, volym 335, pp 283-310, 2017. (DOI).
  259. A short feature vector for image matching: The Log-Polar Magnitude feature descriptor. Damian J. Matuszewski, Anders Hast, Carolina Wählby och Ida-Maria Sintorn. I PLOS ONE, volym 12, nummer 11, 2017. (DOI, Fulltext).
  260. Spectral analysis and spectral symbol for the 2D curl–curl (stabilized) operator with applications to the related iterative solutions. Mariarosa Mazza, Ahmed Ratnani och Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2017-009, 2017. (Extern länk).
  261. Folk pedagogy and the geek gene: Geekiness quotient. Robert McCartney, Jonas Boustedt, Anna Eckerdal, Kate Sanders och Carol Zander. I Proc. 48th SIGCSE Technical Symposium on Computer Science Education, pp 405-410, ACM Press, New York, 2017. (DOI).
  262. First year computing students' perceptions of authenticity in assessment. Roger McDermott, Mark Zarb, Mats Daniels och Ville Isomöttönen. I Proc. 22nd Conference on Innovation and Technology in Computer Science Education, pp 10-15, ACM Press, New York, 2017. (DOI, Fulltext).
  263. The authenticity of 'authentic' assessment: Some faculty perceptions. Roger McDermott, Mark Zarb, Mats Daniels, Aletta Nylén, Arnold Pears, Ville Isomöttönen och Michael Caspersen. I Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
  264. Tremor quantification through data-driven nonlinear system modeling. Alexander Medvedev, Fredrik Olsson och Torbjörn Wigren. I Proc. 56th Conference on Decision and Control, pp 5943-5948, IEEE, Piscataway, NJ, 2017. (DOI).
  265. Excluded volume effects in on- and off-lattice reaction–diffusion models. Lina Meinecke och Markus Eriksson. I IET Systems Biology, volym 11, pp 55-64, 2017. (DOI).
  266. Multiscale modeling of diffusion in a crowded environment. Lina Meinecke. I Bulletin of Mathematical Biology, volym 79, pp 2672-2695, 2017. (DOI).
  267. VisDM-A Data Stream Visualization Platform. Lars Melander, Kjell Orsborn, Tore Risch och Daniel Wedlund. I Database Systems For Advanced Applications (DASFAA 2017), Proceedings Pt II, volym 10178 av Lecture Notes in Computer Science, pp 677-680, SPRINGER INTERNATIONAL PUBLISHING AG, 2017. (DOI).
  268. Data flow delay equalization for feedback control applications using 5G wireless dual connectivity. Richard H. Middleton, Torbjörn Wigren, Katrina Lau och Ramón A. Delgado. I Proc. 85th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2017. (DOI).
  269. Bridging Histology and Bioinformatics: Computational analysis of spatially resolved transcriptomics. Marco Mignardi, Omer Ishaq, Xiaoyan Qian och Carolina Wählby. I Proceedings of the IEEE, volym 105, nummer 3, pp 530-541, 2017. (DOI, Fulltext).
  270. Pricing derivatives under multiple stochastic factors by localized radial basis function methods. Slobodan Milovanovi? och Victor Shcherbakov. 2017. (arXiv:1711.09852).
  271. Direct approximation on spheres using generalized moving least squares. Davoud Mirzaei. I BIT Numerical Mathematics, volym 57, nummer 4, pp 1041-1063, 2017. (DOI).
  272. Run-Time Assurance for the E-care@home System. Uddin Ahmed Mobyen, Hossein Fotouhi, Uwe Köckemann, Maria Linden, Ivan Tomasic, Nicolas Tsiftes och Thiemo Voigt. I , 2017.
  273. An executable semantics for synchronous task graphs: From SDRT to Ada. Morteza Mohaqeqi, Jakaria Abdullah och Wang Yi. I Reliable Software Technologies — Ada-Europe 2017, volym 10300 av Lecture Notes in Computer Science, pp 137-152, Springer, 2017. (DOI).
  274. Refinement of workload models for engine controllers by state space partitioning. Morteza Mohaqeqi, Jakaria Abdullah, Pontus Ekberg och Wang Yi. I 29th Euromicro Conference on Real-Time Systems: ECRTS 2017, volym 76 av Leibniz International Proceedings in Informatics (LIPIcs), pp 11:1-22, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2017. (DOI, Fulltext).
  275. Haptic communicative functions and their effects on communication in collaborative multimodal virtual environments. Jonas Moll och Eva-Lotta Sallnäs Pysander. I Proc. 13th SweCog Conference, pp 63-64, Högskolan i Skövde, 2017. (fulltext:postprint).
  276. Using eye-tracking to study the effect of haptic feedback on visual focus during collaborative object managing in a multimodal virtual interface. Jonas Moll och Emma Frid. I Proc. 13th SweCog Conference, pp 49-51, Högskolan i Skövde, 2017. (fulltext:postprint).
  277. Examining manual and semi-automated methods of analysing MOOC data for computing education. Michael Morgan, Matthew Butler, Neena Thota, Aletta Nylén, Anna Eckerdal och Päivi Kinnunen. I Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 153-157, ACM Press, New York, 2017. (DOI).
  278. An image based non-verbal behaviour analysis of HRI. Omar Mubin, Hiren Patel, Aila Khan och Mohammad Obaid. I Social Robotics, volym 10652 av Lecture Notes in Computer Science, pp 23-31, Springer, 2017. (DOI).
  279. Scientometric analysis of the HAI conference. Omar Mubin, Max Manalo, Muneeb Ahmad och Mohammad Obaid. I Proc. 5th International Conference on Human Agent Interaction, pp 45-51, ACM Press, New York, 2017. (DOI).
  280. The generation of turbulent inflow boundary conditions using precursor channel flow simulations. Timofey Mukha och Mattias Liefvendahl. I Computers & Fluids, volym 156, pp 21-33, 2017. (DOI).
  281. Assessing the digital work environment: A case study of digital transformation in higher education. Gerolf Nauwerck. I Proc. NES Conference: 2017, pp 382-386, 2017.
  282. Digital transformation and the changing role of student administrators: A case study. Gerolf Nauwerck, Åsa Cajander och Thomas Lind. I European Journal of Higher Education IT, volym 4, nummer 1, pp 345-353, 2017. (Fulltext).
  283. Swinging machetes in the jungle: Technological frames, ICT leaders, and user centred perspectives. Gerolf Nauwerck, Thomas Lind, Åsa Cajander och Marta Lárusdóttir. I Behaviour & Information Technology, 2017. Publikationsstatus: Submitted
  284. Numerical investigation of a viscous regularization of the Euler equations by entropy viscosity. Murtazo Nazarov och Aurélien Larcher. I Computer Methods in Applied Mechanics and Engineering, volym 317, pp 128-152, 2017. (DOI, fulltext:postprint).
  285. 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 och Christopher A. Wood. I Computer communication review, volym 47, nummer 1, pp 49-54, 2017. (DOI).
  286. Guest Editorial Special Section on Internet-of-Things for Smart Cities and Urban Informatics. Edith Ngai, Falko Dressler, Victor Leung och Mo Li. I IEEE Transactions on Industrial Informatics, volym 13, nummer 2, pp 748-750, Institute of Electrical and Electronics Engineers (IEEE), 2017. (DOI).
  287. Development of a self-efficacy scale for digital competences in schools. Lars-Åke Nordén, Linda Mannila och Arnold Pears. I 2017 IEEE Frontiers in Education Conference (FIE): Proc. 47th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, IEEE Press, 2017. (DOI, fulltext:postprint).
  288. Exploring the critical incident technique to encourage reflection during project-based learning. Aletta Nylén och Ville Isomöttönen. I Proc. 17th International Conference on Computing Education: Koli Calling, pp 88-97, ACM Press, New York, 2017. (DOI).
  289. Open-ended projects opened up – aspects of openness. Aletta Nylén, Mats Daniels, Ville Isomöttönen och Roger McDermott. I Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
  290. Why are we here?: Student perspectives on the goal of STEM higher education. Aletta Nylén, Åsa Cajander, Mats Daniels, Arnold Pears och Roger McDermott. I Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
  291. Using anti-aliased signed distance fields for generating surgical guides and plates from CT images. Fredrik Nysjö, Pontus Olsson, Filip Malmberg, Ingrid B. Carlbom och Ingela Nyström. I Journal of WSCG, volym 25, nummer 1, pp 11-20, 2017. (Fulltext, fulltext:print).
  292. BoneSplit – A 3D painting tool for interactive bone segmentation in CT images. Ingela Nyström, Johan Nysjö, Andreas Thor och Filip Malmberg. I Pattern Recognition and Information Processing: PRIP 2016, volym 673 av Communications in Computer and Information Science, pp 3-13, Springer, 2017. (DOI).
  293. Exploring users' reactions towards tangible implicit probes for measuring human-robot engagement. Mohammad Obaid, Alex Yuan Gao, Wolmet Barendregt och Ginevra Castellano. I Social Robotics, volym 10652 av Lecture Notes in Computer Science, pp 402-412, Springer, 2017. (DOI, fulltext:postprint).
  294. Transforming Books and the Reading Experience through Interactive Technologies: Preface. Mohammad Obaid, Ilgim Veryeri Alaca, Pawel W. Wozniak, Lars Lischke och Mark Billinghurst. I IxD&A: Interaction Design and Architecture(s), nummer 32, pp 71-73, 2017.
  295. Experimental evaluation of joint position estimation using inertial sensors. Fredrik Olsson och Kjartan Halvorsen. I Proc. 20th International Conference on Information Fusion, pp 354-361, IEEE, Piscataway, NJ, 2017. (DOI, fulltext:preprint).
  296. Investigating interference between LoRa and IEEE 802.15.4g networks. Charalampos Orfanidis, Laura Marie Feeney, Martin Jacobsson och Per Gunningberg. I Proc. 13th International Conference on Wireless and Mobile Computing, Networking and Communications, pp 441-448, IEEE, 2017. (DOI).
  297. Measuring PHY layer interactions between LoRa and IEEE 802.15.4g networks. Charalampos Orfanidis, Laura Marie Feeney och Martin Jacobsson. I 2017 IFIP Networking Conference (IFIP Networking) and Workshops, International Federation for Information Processing, 2017. (DOI).
  298. A multidimensional perspective on the uncanny valley effect: Studying the interplay between a robot's appearance and interaction strategy. Maike Paetzel. I Proc. Companion of 12th ACM/IEEE International Conference on Human-Robot Interaction, pp 363-364, ACM Press, New York, 2017. (DOI).
  299. Exploring the link between self-assessed mimicry and embodiment in HRI. Maike Paetzel, Isabelle Hupont, Giovanna Varni, Mohamed Chetouani, Christopher Peters och Ginevra Castellano. I Proc. Companion of 12th ACM/IEEE International Conference on Human-Robot Interaction, pp 245-246, ACM Press, New York, 2017. (DOI).
  300. 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 och Ginevra Castellano. I Proc. 26th International Symposium on Robot and Human Interactive Communication (Ro-Man), IEEE RO-MAN, pp 579-586, IEEE, 2017. (DOI).
  301. Weak Nominal Modal Logic. Joachim Parrow, Tjark Weber, Johannes Borgström och Lars-Henrik Eriksson. I Formal Techniques for Distributed Objects, Components, and Systems, volym 10321 av Lecture Notes in Computer Science, pp 179-193, Springer, 2017. (DOI).
  302. On the Difficult Task of Teaching Computer Ethics to Engineers. Norberto Patrignani och Iordanis Kavathatzopoulos. I ORBIT Journal, volym 1, nummer 1, 2017. (DOI, Fulltext, fulltext:print).
  303. On the Difficult Task of TeachingComputer Ethics to Engineers. Norberto Patrignani och Iordanis Kavathatzopoulos. I CEPE/Ethicomp 2017: Electronic Collection, Università degli Studi di Torino, Torino, 2017. (Extern länk).
  304. The Archetype Learning Method: Scaffolding teamwork competences in the engineering classroom. Arnold Pears, Mats Daniels och Åsa Cajander. I Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
  305. How to Make Decisions with Algorithms: Ethical Decision-Making Using Algorithms within Predictive Analytics. Anders Persson och Iordanis Kavathatzopoulos. I CEPE/Ethicomp 2017: ElectronicCollection, pp 1-13, Università degli Studi di Torino, Torino, 2017. (CEPE/Ethicomp 2017, fulltext).
  306. Learning Computing at University: Participation and Identity: A Longitudinal Study. Anne-Kathrin Peters. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1577, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  307. Artifact reduction in the CSPAD detectors used for LCLS experiments. Alberto Pietrini och Carl Nettelblad. I Journal of Synchrotron Radiation, volym 24, pp 1092-1097, 2017. (DOI).
  308. Influence of applied corneal endothelium image segmentation techniques on the clinical parameters. Adam Piorkowski, Karolina Nurzynska, Jolanta Gronkowska-Serafin, Bettina Selig, Cezary Boldak och Daniel Reska. I Computerized Medical Imaging and Graphics, volym 55, pp 13-27, 2017. (DOI).
  309. Member spotlight part 2. Leo Porter och Mats Daniels. I ACM SIGCSE Bulletin, volym 49, nummer 2, pp 11-14, 2017. (DOI).
  310. Typed connector families and their semantics. Jose Proenca och Dave Clarke. I Science of Computer Programming, volym 146, pp 28-49, 2017. (DOI).
  311. Augmenting WSNs with Interoperable 802.15.4 Sensor Tags. Carlos Pérez-Penichet, Claro Noda, Ambuj Varshney och Thiemo Voigt. I Proceedings of the 15th ACM Conference on Embedded Networked Sensor Systems, 2017. (DOI).
  312. On Limits of Constructive Interference in Backscatter Systems. Carlos Pérez-Penichet, Frederik Hermans och Thiemo Voigt. I Global Internet of Things Summit (GIoTS), 2017, pp 178-182, IEEE, 2017. (DOI).
  313. Building the Internet of Things with bluetooth smart. Shahid Raza, Prasant Misra, Zhitao He och Voigt Thiemo. I Ad hoc networks, volym 57, pp 19-31, 2017. (DOI).
  314. SecureSense: End-to-End Secure Communication Architecture for the Cloud-connected Internet of Things. Shahid Raza, Tomas Helgason, Panos Papadimitratos och Thiemo Voigt. I Future generations computer systems, volym 77, pp 40-51, 2017. (DOI).
  315. Grid construction strategies for wall-resolving Large Eddy Simulation and estimates of the resulting number of grid points. Saleh Rezaeiravesh och Mattias Liefvendahl. Technical report / Department of Information Technology, Uppsala University nr 2017-005, 2017. (Extern länk).
  316. Verification of networks of communicating processes: Reachability problems and decidability issues. Othmane Rezine. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1605, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  317. 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 och Pawe? W. Wozniak. I Proc. 35th Conference on Human Factors in Computing Systems: Extended Abstracts, pp 2867-2874, ACM Press, New York, 2017. (DOI).
  318. Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics. Alberto Ros, Carl Leonardsson, Christos Sakalis och Stefanos Kaxiras. I IEEE Transactions on Parallel and Distributed Systems, volym 28, nummer 12, pp 3413-3425, 2017. (DOI).
  319. Non-speculative load-load reordering in TSO. Alberto Ros, Trevor E. Carlson, Mehdi Alipour och Stefanos Kaxiras. I Proc. 44th International Symposium on Computer Architecture, pp 187-200, ACM Press, New York, 2017. (DOI).
  320. Deep Neural Networks and Image Analysis for Quantitative Microscopy. Sajith Kecheril Sadanandan. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1566, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  321. The Contention Avoiding Concurrent Priority Queue. Konstantinos Sagonas och Kjell Winblad. I Languages and Compilers for Parallel Computing, volym 10136 av Lecture Notes in Computer Science, pp 314-330, Springer, 2017. (DOI).
  322. Skeletonization: Theory, Methods, and Applications. Punam K. Saha, Gunilla Borgefors och Gabriella Sanniti di Baja (red). Computer Vision and Pattern Recognition, Academic Press, London, 2017. (DOI).
  323. Skeletonization and its applications – a review. Punam K. Saha, Gunilla Borgefors och Gabriella Sanniti di Baja. I Skeletonization: Theory, Methods, and Applications, Computer Vision and Pattern Recognition, pp 3-42, Academic Press, London, 2017. (DOI).
  324. Fault detection in water resource recovery facilities. Oscar Samuelsson. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2017-003, Uppsala University, 2017. (fulltext).
  325. Gaussian process regression for monitoring and fault detection of wastewater treatment processes. Oscar Samuelsson, Anders Björk, Jesús Zambrano och Bengt Carlsson. I Water Science and Technology, volym 75, nummer 12, pp 2952-2963, 2017. (DOI).
  326. Monitoring fouling on dissolved oxygen sensors in WRRFs with active fault detection. Oscar Samuelsson, Anders Björk, Jesús Zambrano och Bengt Carlsson. I Proc. 12th IWA Specialized Coference on Instrumentation, Control and Automation, 2017.
  327. Folk Pedagogy: Nobody doesn't like active learning. Kate Sanders, Jonas Boustedt, Anna Eckerdal, Robert McCartney och Carol Zander. I Proc. 13th International Computing Education Research Conference, pp 145-154, ACM Press, New York, 2017. (DOI).
  328. Profiling energy efficiency and data communications for mobile Internet of Things. Peramanathan Sathyamoorthy, Edith C.-H. Ngai, Xiping Hu och Victor C. M. Leung. I Wireless Communications & Mobile Computing, volym 17, 2017. (DOI, Fulltext, fulltext:print).
  329. 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 och Thiemo Voigt. I 2017 13Th International Conference On Distributed Computing In Sensor Systems (DCOSS), IEEE International Conference on Distributed Computing in Sensor Systems, pp 44-52, IEEE, 2017. (DOI).
  330. Poster: A Low-cost Elephant Localization System. Asanka Sayakkara, Namal Jayasuriya, Tharindu Ranathunga, Chathura Suduwella, Nithila Vithanage, Chamath Keppitiyagama, Kasun De Zoysa, Kasun Hewage och Thiemo Voigt. I , 2017.
  331. Differential neuroprotective effects of interleukin-1 receptor antagonist on spinal cord neurons after excitotoxic injury. Nikos Schizas, Sharn Perry, Brittmarie Andersson, Carolina Wählby, Klas Kullander och Nils Hailer. I Neuroimmunomodulation, volym 24, pp 220-230, 2017. (DOI).
  332. Design and implementation of bounded-length sequence variables. Joseph D. Scott, Pierre Flener, Justin Pearson och Christian Schulte. I Integration of AI and OR Techniques in Constraint Programming, volym 10335 av Lecture Notes in Computer Science, pp 51-67, 2017. (DOI).
  333. Color map design for visualization in flood risk assessment. Stefan Seipel och Nancy J. Lim. I International Journal of Geographical Information Science, volym 31, nummer 11, pp 2286-2309, 2017. (DOI, Fulltext).
  334. A graphics tracing framework for exploring CPU+GPU memory systems. Andreas Sembrant, Trevor E. Carlson, Erik Hagersten och David Black-Schaffer. I Proc. 20th International Symposium on Workload Characterization, pp 54-65, IEEE, 2017. (DOI).
  335. A split cache hierarchy for enabling data-oriented optimizations. Andreas Sembrant, Erik Hagersten och David Black-Schaffer. I Proc. 23rd International Symposium on High Performance Computer Architecture, pp 133-144, IEEE Computer Society, 2017. (DOI).
  336. POSTER: Putting the G back into GPU/CPU Systems Research. Andreas Sembrant, Trevor E. Carlson, Erik Hagersten och David Black-Schaffer. I 2017 26TH INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES (PACT), International Conference on Parallel Architectures and Compilation Techniques, pp 130-131, 2017. (DOI).
  337. Multiscale stochastic neuron modeling – with applications in deep brain stimulation. Aleksandar Senek och Stefan Engblom. I Proc. Summer Simulation Multiconference: 2017, pp 38:1-5, Society for Computer Simulation International, San Diego, CA, 2017. (Paper).
  338. 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 och Dag Nyholm. I European Journal of Clinical Pharmacology, volym 73, nummer 5, pp 563-571, 2017. (DOI, Fulltext).
  339. <em>Intrusion Detection in the RPL-connected 6LoWPAN Networks</em>. Dharmini Shreenivas, Shahid Raza och Thiemo Voigt. I , 2017.
  340. A Machine Learning Approach Towards Detecting Extreme Adopters in Digital Communities. Amendra Shrestha, Lisa Kaati och Katie Cohen. I 2017 28th International Workshop on Database and Expert Systems Applications (DEXA), International Workshop on Database and Expert Systems Applications-DEXA, pp 1-5, IEEE, 2017. (DOI).
  341. Applying Real-Time Scheduling Theory to the Synchronous Data Flow Model of Computation. Abhishek Singh, Pontus Ekberg och Sanjoy Baruah. I , 2017. (DOI, Fulltext).
  342. Automated line-based sequential sampling and modeling algorithm for EMC near-field scanning. Prashant Singh, Tim Claeys, Guy A. E. Vandenbosch och Davy Pissoort. I IEEE transactions on electromagnetic compatibility (Print), volym 59, pp 704-709, 2017. (DOI).
  343. Constrained multi-objective antenna design optimization using surrogates. Prashant Singh, Marco Rossi, Ivo Couckuyt, Dirk Deschrijver, Hendrik Rogier och Tom Dhaene. I International journal of numerical modelling, volym 30, pp e2248:1-5, 2017. (DOI).
  344. Multi-objective geometry optimization of a gas cyclone using triple-fidelity co-Kriging surrogate models. Prashant Singh, Ivo Couckuyt, Khairy Elsayed, Dirk Deschrijver och Tom Dhaene. I Journal of Optimization Theory and Applications, volym 175, pp 172-193, 2017. (DOI, Fulltext).
  345. Surrogate assisted model reduction for stochastic biochemical reaction networks. Prashant Singh och Andreas Hellander. I Proc. 49th Winter Simulation Conference, pp 1773-1783, IEEE, Piscataway, NJ, 2017. (DOI).
  346. Blocking strategies and stability of particle Gibbs samplers. S. S. Singh, Fredrik Lindsten och E. Moulines. I Biometrika, volym 104, nummer 4, pp 953-969, 2017. (DOI, Fulltext, fulltext:print).
  347. Can a teachable agent influence how students respond to competition in an educational game?. Björn Sjödén, Mats Lind och Annika Silvervarg. I Artificial Intelligence in Education, volym 10331 av Lecture Notes in Computer Science, pp 347-358, Springer, 2017. (DOI).
  348. Distance Between Vector-Valued Representations of Objects in Images with Application in Object Detection and Classification. Natasa Sladoje och Joakim Lindblad. I In Proc. of the 18th International Workshop on Combinatorial Image Analysis, IWCIA2017, volym 10256 av Lecture Notes in Computer Science, pp 243-255, Springer, 2017. (DOI).
  349. Model Description Language (MDL): A Standard for Modeling and Simulation. Mike K. Smith, Stuart L. Moodie, Roberto Bizzotto, Eric Blaudez, Elisa Borella, Letizia Carrara, Phylinda Chan, Marylore Chenel, Emmanuelle Comets, Ronald Gieschke, Kajsa Harling, Lutz Harnisch, Niklas Hartung, Andrew C. Hooker, Mats O. Karlsson, Richard Kaye, Charlotte Kloft, Natallia Kokash, Marc Lavielle, Giulia Lestini, Paolo Magni, Andrea Mari, France Mentre, Chris Muselle, Rikard Nordgren, Henrik B. Nyberg, Zinnia P. Parra-Guillen, Lorenzo Pasotti, Niels Rode-Kristensen, Maria L. Sardu, Gareth R. Smith, Maciej J. Swat, Nadia Terranova, Gunnar Yngman, Florent Yvon och Nick H Holford. I CPT: Pharmacometrics and Systems Pharmacology (PSP), volym 6, nummer 10, pp 647-650, WILEY, 2017. (DOI).
  350. Battery-free Visible Light Sensing. Andreas Soleiman, Ambuj Varshney och Thiemo Voigt. I Proceedings Of The 23rd Annual International Conference On Mobile Computing And Networking (MOBICOM '17), pp 582-584, 2017. (DOI).
  351. Demo: Battery-free Visible Light Sensing. Andreas Soleiman, Ambuj Varshney, Luca Mottola och Thiemo Voigt. I Proc. 4th ACM Workshop on Visible Light Communication Systems, pp 35-35, ACM Press, New York, 2017. (DOI).
  352. Training signal design for correlated massive MIMO channel estimation. Mojtaba Soltanalian, Mohammad Mahdi Naghsh, Nafiseh Shariati, Peter Stoica och Babak Hassibi. I IEEE Transactions on Wireless Communications, volym 16, nummer 2, pp 1135-1143, 2017. (DOI).
  353. Frequency domain identification of ARX models in the presence of additive input–output noise. Umberto Soverini och Torsten Söderström. I 20th IFAC World Congress, volym 50: 1 av IFAC-PapersOnLine, pp 6226-6231, Elsevier, 2017. (DOI).
  354. Frequency domain identification of complex sinusoids in the presence of additive noise. Umberto Soverini och Torsten Söderström. I 20th IFAC World Congress, volym 50:1 av IFAC-PapersOnLine, pp 6244-6250, Elsevier, 2017. (DOI).
  355. Analysis of electron energy loss spectroscopy data using geometric extraction methods. Jakob Spiegelberg, Jan Rusz, Thomas Thersleff och Kristiaan Pelckmans. I Ultramicroscopy, volym 174, pp 14-26, 2017. (DOI).
  356. Tensor decompositions for the analysis of atomic resolution electron energy loss spectra. Jakob Spiegelberg, Jan Rusz och Kristiaan Pelckmans. I Ultramicroscopy, volym 175, pp 36-45, 2017. (DOI).
  357. Unmixing hyperspectral data by using signal subspace sampling. Jakob Spiegelberg, Shunsuke Muto, Masahiro Ohtsuka, Kristiaan Pelckmans och Jan Rusz. I Ultramicroscopy, volym 182, pp 205-211, ELSEVIER SCIENCE BV, 2017. (DOI).
  358. Enabling Ambient Backscatter Using a Low-Cost Software Defined Radio. Maximilian Stiefel, Elmar van Rijnswou, Carlos Pérez-Penichet, Ambuj Varshney, Christian Rohner och Thiemo Voigt. I , 2017.
  359. A concept for holistic whole body MRI data analysis, Imiomics. Robin Strand, Filip Malmberg, Lars Johansson, Lars Lind, Magnus Sundbom, Håkan Ahlström och Joel Kullberg. I PLOS ONE, volym 12, nummer 2, 2017. (DOI, Fulltext, fulltext:print).
  360. The Minimum Barrier Distance: A Summary of Recent Advances. Robin Strand, Krzysztof Chris Ciesielski, Filip Malmberg och Punam K. Saha. I Discrete Geometry for Computer Imagery. DGCI 2017, volym 10502 av Lecture Notes in Computer Science, pp 57-68, Springer, 2017. (DOI, fulltext:postprint).
  361. Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks. Jinghao Sun, Nan Guan, Yang Wang, Qingqiang He och Yi Wang. I 2017 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium-Proceedings, pp 92-103, IEEE, 2017. (DOI).
  362. Cilia ultrastructural visibility enhancement by multiple instance registration and super-resolution reconstruction. Amit Suveer, Natasa Sladoje, Joakim Lindblad, Anca Dragomir och Ida-Maria Sintorn. I Swedish Symposium on Image Analysis, Swedish Society for Automated Image Analysis, 2017.
  363. Enhancement of cilia sub-structures by multiple instance registration and super-resolution reconstruction. Amit Suveer, Nataša Sladoje, Joakim Lindblad, Anca Dragomir och Ida-Maria Sintorn. I Image Analysis: Part II, volym 10270 av Lecture Notes in Computer Science, pp 362-374, Springer, 2017. (DOI).
  364. A flexible state–space model for learning nonlinear dynamical systems. Andreas Svensson och Thomas B. Schön. I Automatica, volym 80, pp 189-199, 2017. (DOI).
  365. ProViz: a tool for explorative 3-D visualization and template matching in electron tomograms. Lennart Svensson, Stina Svensson, Ingela Nyström, Fredrik Nysjö, Johan Nysjö, Aurelie Laloeuf, Lianne den Hollander, Anders Brun, Sergej Masich, Linda Sandblad, Musa Sani och Ida-Maria Sintorn. I COMPUTER METHODS IN BIOMECHANICS AND BIOMEDICAL ENGINEERING-IMAGING AND VISUALIZATION, volym 5, nummer 6, pp 446-454, 2017. (DOI).
  366. 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 och Kristiaan Pelckmans. I Methods in Ecology and Evolution, volym 8, nummer 12, pp 1735-1744, 2017. (DOI).
  367. Further analysis of clinical feasibility of OCT-based glaucoma diagnosis with Pigment epithelium central limit–Inner limit of the retina Minimal Distance (PIMD). Per G. Söderberg, Filip Malmberg och Camilla Sandberg Melin. I Ophthalmic Technologies XXVII, volym 10045 av Proc. SPIE, SPIE - International Society for Optical Engineering, Bellingham, WA, 2017. (DOI).
  368. Errors-in-variables identification using maximum likelihood estimation in the frequency domain. Torsten Söderström och Umberto Soverini. I Automatica, volym 79, pp 131-143, 2017. (DOI).
  369. 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 och Carolina Wählby. I Cytometry Part A, volym 91, nummer 8, pp 815-821, 2017. (DOI).
  370. Revisiting GPC and AND Connector in Real-Time Calculus. Yue Tang, Nan Guan, Weichen Liu, Linh Thi Xuan Phan och Wang Yi. I 2017 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium-Proceedings, pp 255-265, IEEE, 2017. (DOI).
  371. In the liminal space: Software design as a threshold skill. Lynda Thomas, Jonas Boustedt, Anna Eckerdal, Robert McCartney, Jan Erik Moström, Kate Sanders och Carol Zander. I Practice and Evidence of the Scholarship of Teaching and Learning in Higher Education, volym 12, pp 333-351, 2017. (Article).
  372. Student software designs at the undergraduate midpoint. Lynda Thomas, Carol Zander, Chris Loftus och Anna Eckerdal. I ITiCSE '17: Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, pp 34-39, Association for Computing Machinery (ACM), 2017. (DOI).
  373. Privacy-preserving social tie discovery based on cloaked human trajectories. Ye Tian, Wendong Wang, Jie Wu, Qinli Kou, Zheng Song och Edith C.-H. Ngai. I IEEE Transactions on Vehicular Technology, volym 66, nummer 2, pp 1619-1630, 2017. (DOI).
  374. SNIC Science Cloud (SSC): A national-scale cloud infrastructure for Swedish academia. Salman Toor, Mathias Lindberg, Ingemar Fällman, Andreas Vallin, Olof Mohill, Pontus Freyhult, Linus Nilsson, Martin Agback, Lars Viklund, Henric Zazzi, Ola Spjuth, Marco Capuccini, Joakim Möller, Donal Murtagh och Andreas Hellander. I Proc. 13th International Conference on e-Science, pp 219-227, IEEE Computer Society, Los Alamitos, CA, 2017. (DOI).
  375. Clairvoyance: Look-ahead compile-time scheduling. Kim-Anh Tran, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, Vasileios Spiliopoulos, Stefanos Kaxiras och Alexandra Jimborean. I Proc. 15th International Symposium on Code Generation and Optimization, pp 171-184, IEEE Press, Piscataway, NJ, 2017. (fulltext:postprint).
  376. 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 och Kjell Winblad. I ACM Transactions on Programming Languages and Systems, volym 39, nummer 4, 2017. (DOI).
  377. How do first year students learn C programming in Bhutan?. Phurpa Tshering, Dekar Lhamo, Lu Yu och Anders Berglund. I Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 25-29, IEEE Computer Society, 2017. (DOI, fulltext:postprint).
  378. A Radar Signal Processing Case Study for Dataflow Programming of Manycores. Zain Ul-Abdin och Albert Mingkun Yang. I Journal of Signal Processing Systems, volym 87, nummer 1, pp 49-62, 2017. (DOI).
  379. On robust input design for nonlinear dynamical models. Patricio E. Valenzuela, Johan Dahlin, Cristian R. Rojas och Thomas B. Schön. I Automatica, volym 77, pp 268-278, PERGAMON-ELSEVIER SCIENCE LTD, 2017. (DOI).
  380. Battery-free Visible Light Sensing. Ambuj Varshney, Andreas Soleiman, Luca Mottola och Thiemo Voigt. I Proc. 4th ACM Workshop on Visible Light Communication Systems, pp 3-8, ACM Press, New York, 2017. (DOI).
  381. Demo: LoRea: A backscatter architecture that achieves a long communication range. Ambuj Varshney, Carlos Pérez-Penichet, Christian Rohner och Thiemo Voigt. I Proc. 15th ACM Conference on Embedded Network Sensor Systems, ACM Press, New York, 2017. (DOI, Extern länk).
  382. LoRea: A backscatter architecture that achieves a long communication range. Ambuj Varshney, Oliver Harms, Carlos Pérez Penichet, Christian Rohner, Frederik Hermans och Thiemo Voigt. I Proc. 15th ACM Conference on Embedded Network Sensor Systems, ACM Press, New York, 2017. (DOI, Extern länk, fulltext:print).
  383. Towards wide-area backscatter networks. Ambuj Varshney, Carlos Pérez-Penichet, Christian Rohner och Thiemo Voigt. I Proc. 4th ACM Workshop on Hot Topics in Wireless, pp 49-53, ACM Press, New York, 2017. (DOI).
  384. Automatic document image binarization using Bayesian optimization. Ekta Vats, Anders Hast och Prashant Singh. I Proc. 4th International Workshop on Historical Document Imaging and Processing, pp 89-94, ACM Press, New York, 2017. (DOI).
  385. On-the-fly historical handwritten text annotation. Ekta Vats och Anders Hast. I Proc. 14th IAPR International Conference on Document Analysis and Recognition, pp 10-14, IEEE, 2017. (DOI).
  386. A perspective from Vietnamese students on teaching of soft skills. Huu-Phuc Vo, Anders Berglund och Mats Daniels. I Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 23-24, IEEE Computer Society, 2017. (DOI).
  387. Mitigating Inter-network Interference in LoRa Networks. Thiemo Voigt, Martin Bor, Utz Roedig och Juan Alonso. I , 2017. (fulltext:postprint).
  388. Digital Capital: A platform for developing computational thinking. Tina Vrieler. I Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 205-206, ACM Press, New York, 2017. (DOI).
  389. What computing instructors did last summer: Experiences and lessons learned. Tina Vrieler, Aletta Nylén och Åsa Cajander. I Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
  390. Interpreting the Script: Image Analysis and Machine Learning for Quantitative Studies of Pre-modern Manuscripts. Fredrik Wahlberg. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1475, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  391. Convergence of summation-by-parts finite difference methods for the wave equation. Siyang Wang och Gunilla Kreiss. I Journal of Scientific Computing, volym 71, pp 219-245, 2017. (DOI, Fulltext).
  392. Finite Difference and Discontinuous Galerkin Methods for Wave Equations. Siyang Wang. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1522, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  393. Benchmarking OpenMP Programs for Real-Time Scheduling. Yang Wang, Nan Guan, Jinghao Sun, Mingsong Lv, Qingqiang He, Tianzhang He och Yi Wang. I 2017 IEEE 23Rd International Conference On Embedded And Real-Time Computing Systems And Applications (RTSCA), IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE Computer Society, 2017. (DOI).
  394. Towards Customizable CPS: Composability, Efficiency and Predictability. Yi Wang. I Formal Methods and Software Engineering, volym 10610 av Lecture Notes in Computer Science, pp 3-15, Springer, 2017. (DOI).
  395. Decoupled Access-Execute on ARM big.LITTLE. Anton Weber, Kim-Anh Tran, Stefanos Kaxiras och Alexandra Jimborean. I Proc. 5th Workshop on High Performance Energy Efficient Embedded Systems, 2017. (Extern länk).
  396. Device Reliability Performance Awareness: Impact of RWA on EDFA Failure Reparation Cost in Optical Networks. Pawel Wiatr, Jiajia Chen, Paolo Monti, Lena Wosinska och Di Yuan. I Proceedings of 2017 9Th International Workshop On Resilient Networks Design And Modeling (Rndm), IEEE, 2017.
  397. Deep convolutional neural networks for detecting cellular changes due to malignancy. Håkan Wieslander, Gustav Forslid, Ewert Bengtsson, Carolina Wählby, Jan-Michaél Hirsch, Christina Runow Stark och Sajith Kecheril Sadanandan. I Proc. 16th International Conference on Computer Vision Workshops, pp 82-89, IEEE Computer Society, 2017. (DOI).
  398. Coupled electric drives data set and reference models. Torbjörn Wigren och Maarten Schoukens. Technical report / Department of Information Technology, Uppsala University nr 2017-024, 2017. (Extern länk, fulltext).
  399. Loop-shaping feedback and feedforward control for networked systems with saturation and delay. Torbjörn Wigren. I Asian Journal of Control, volym 19, nummer 4, pp 1329-1349, 2017. (DOI).
  400. MATLAB Software for Nonlinear and Delayed Recursive Identification: Revision 1. Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2017-007, Uppsala universitet, Uppsala, 2017. (Report in fulltext, fulltext).
  401. Networked and delayed recursive identification of nonlinear systems. Torbjörn Wigren. I Proc. 56th Conference on Decision and Control, pp 5851-5858, IEEE, Piscataway, NJ, 2017. (DOI).
  402. Neural Ctrl-F: Segmentation-free query-by-string word spotting in handwritten manuscript collections. Tomas Wilkinson, Jonas Lindström och Anders Brun. I 2017 IEEE International Conference on Computer Vision (ICCV), IEEE International Conference on Computer Vision, pp 4443-4452, IEEE, 2017. (DOI, fulltext:postprint).
  403. Neural Ctrl-F: Segmentation-free Query-by-String Word Spotting in Handwritten Manuscript Collections. Tomas Wilkinson, Jonas Lindström och Anders Brun. I , 2017.
  404. On the construction of probabilistic Newton-type algorithms. Adrian G. Wills och Thomas B. Schön. I Proc. 56th Conference on Decision and Control, pp 6499-6504, IEEE, Piscataway, NJ, 2017. (DOI).
  405. Mastery Learning-Like Teaching with Achievements. Tobias Wrigstad och Elias Castegren. I , 2017. (fulltext:postprint).
  406. Prediction Performance After Learning in Gaussian Process Regression. Johan Wågberg, Dave Zachariah, Thomas B. Schön och Peter Stoica. I Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, Proceedings of Machine Learning Research, pp 1264-1272, PMLR, Brookline, 2017. (Full text, Reference, fulltext:postprint).
  407. Scalable validation of industrial equipment using a functional DSMS. Cheng Xu, Elisabeth Källström, Tore Risch, John Lindström, Lars Håkansson och Jonas Larsson. I Journal of Intelligent Information Systems, volym 48, nummer 3, pp 553-577, 2017. (DOI, Fulltext, fulltext:print).
  408. Design of a hybrid observer for an oscillator with an intrinsic pulse-modulated feedback. Diana Yamalova och Alexander Medvedev. I Proc. American Control Conference: ACC 2017, pp 1175-1180, American Automatic Control Council, 2017. (DOI).
  409. Hybrid Observer for an Intrinsic Impulsive Feedback System. Diana Yamalova, Alexander Churilov och Alexander Medvedev. I IFAC-PapersOnLine, volym 50, nummer 1, pp 4570-4575, 2017. (DOI).
  410. Hybrid observers for an impulsive Goodwin’s oscillator subject to continuous exogenous signals. Diana Yamalova och Alexander Medvedev. I 2017 IEEE 56Th Annual Conference on Decision and Control (Cdc), Proceedings / IEEE Conference on Decision and Control, pp 2396-2401, IEEE, Piscataway, NJ, 2017. (DOI).
  411. Hybrid observers for systems with intrinsic pulse-modulated feedback. Diana Yamalova. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2017-001, Uppsala University, 2017. (fulltext).
  412. Type-assisted automatic garbage collection for lock-free data structures. Albert Mingkun Yang och Tobias Wrigstad. I SIGPLAN notices, volym 52, nummer 9, pp 14-24, ACM Press, New York, 2017. (DOI).
  413. High-dimensional online adaptive filtering. Sholeh Yasini och Kristiaan Pelckmans. I , volym 50:1 av IFAC-PapersOnLine, pp 14106-14111, Elsevier, 2017. (DOI).
  414. Parametric convergence analysis of an adaptive filtering algorithm with output quantization. Sholeh Yasini och Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2017-011, 2017. (Extern länk, fulltext).
  415. Exploring proxemics for human-drone interaction. Alexander Yeh, Photchara Ratsamee, Kiyoshi Kiyokawa, Yuki Uranishi, Tomohiro Mashita, Haruo Takemura, Morten Fjeld och Mohammad Obaid. I Proc. 5th International Conference on Human Agent Interaction, pp 81-88, ACM Press, New York, 2017. (DOI).
  416. A Framework for Optimizing Multi-cell NOMA: Delivering Demand with Less Resource. Lei You, Lei Lei, Di Yuan, Sumei Sun, Symeon Chatzinotas och Bjoern Ottersten. I GLOBECOM 2017 - 2017 IEEE Global Communications Conference, IEEE Global Communications Conference, IEEE, 2017. (DOI).
  417. Energy-Aware Wireless Relay Selection in Load-Coupled OFDMA Cellular Networks. Lei You, Di Yuan, Nikolaos Pappas och Peter Varbrand. I IEEE Communications Letters, volym 21, nummer 1, pp 144-147, Institute of Electrical and Electronics Engineers (IEEE), 2017. (DOI).
  418. Joint CoMP-Cell Selection and Resource Allocation in Fronthaul-Constrained C-RAN. Lei You och Di Yuan. I Proc. 15th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, IEEE, 2017. (DOI).
  419. Comments on “Enhanced PUMA for Direction-of-Arrival Estimation and Its Performance Analysis”. Dave Zachariah, Petre Stoica och Magnus Jansson. I IEEE Transactions on Signal Processing, volym 65, nummer 22, pp 6113-6114, 2017. (DOI).
  420. Scalable and Passive Wireless Network Clock Synchronization in LOS Environments. Dave Zachariah, Satyam Dwivedi, Peter Handel och Peter Stoica. I IEEE Transactions on Wireless Communications, volym 16, nummer 6, pp 3536-3546, 2017. (DOI).
  421. 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 och Eman S. Al-Aidarous. I Journal of Computational Analysis And Applications, volym 22, pp 445-461, 2017.
  422. An approximation framework for solvers and decision procedures. Aleksandar Zeljic, Christoph M. Wintersteiger och Philipp Rümmer. I Journal of automated reasoning, volym 58, nummer 1, pp 127-147, 2017. (DOI, Fulltext).
  423. From Machine Arithmetic to Approximations and back again: Improved SMT Methods for Numeric Data Types. Aleksandar Zeljic. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1603, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  424. On energy-efficient offloading in mobile cloud for real-time video applications. Lei Zhang, Di Fu, Jiangchuan Liu, Edith C.-H. Ngai och Wenwu Zhu. I IEEE transactions on circuits and systems for video technology (Print), volym 27, nummer 1, pp 170-181, 2017. (DOI).
  425. Less is More: Learning more with concurrent transmissions for energy-efficient flooding. Peilin Zhang, Alex Yuan Gao och Oliver Theel. I Proc. 14th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, pp 323-332, ACM Press, New York, 2017. (DOI).
  426. Micromechanics of semicrystalline polymers: Towards quantitative predictions. Johannes A. W. van Dommelen, Mikhail Poluektov, Amin Sedighiamiri och Leon E. Govaert. I Mechanics research communications, volym 80, pp 4-9, 2017. (DOI).
  427. Hands-on in computer programming education. Kristina von Hausswolff. I Proc. 13th International Computing Education Research Conference, pp 279-280, ACM Press, New York, 2017. (DOI).
  428. Practical thinking in programming education. Kristina von Hausswolff. I Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 203-204, ACM Press, New York, 2017. (DOI).
  429. 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 och Anita Melander-Wikman. I International Journal of Environmental Research and Public Health, volym 14, nummer 5, MDPI AG, 2017. (DOI, Fulltext, fulltext:print).
  430. Distance between vector-valued fuzzy sets based on intersection decomposition with applications in object detection. Johan Öfverstedt, Natasa Sladoje och Joakim Lindblad. I Mathematical Morphology and its Applications to Signal and Image Processing, volym 10225 av Lecture Notes in Computer Science, pp 395-407, Springer, 2017. (DOI).

Uppdaterad  2017-12-30 15:34:16 av Kurt Otto.