Department of Information Technology

Publications from the Department of Information Technology

Series

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

Search for other publications

To search for other publications, please try

Publications this year

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

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

  1. Context-bounded analysis for POWER. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, and Tuan Phong Ngo. In Tools and Algorithms for the Construction and Analysis of Systems: Part II, volume 10206 of Lecture Notes in Computer Science, pp 56-74, Springer, 2017. (DOI).
  2. Synthesis of Ada Code from Graph-Based Task Models. Jakaria Abdullah, Morteza Mohaqeqi, and Yi Wang. In Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017. ACM 2017, ISBN 978-1-4503-4486-9, pp 1467-1472, Association for Computing Machinery (ACM), New York, USA, 2017. (DOI, Publisher´s fulltext).
  3. A meshfree approach to non-Newtonian free surface ice flow: Application to the Haut Glacier d'Arolla. Josefin Ahlkrona and Victor Shcherbakov. In Journal of Computational Physics, volume 330, pp 633-649, 2017. (DOI).
  4. Are the eigenvalues of preconditioned banded symmetric Toeplitz matrices known in almost closed form?. Fayyaz Ahmad, Eman S. Al-Aidarous, Dina A. Alrehaili, Sven-Erik Ekström, Isabella Furci, and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2017-012, 2017. (External link).
  5. User experience in social human–robot interaction. Beatrice Alenljung, Jessica Lindblom, Rebecca Andreasson, and Tom Ziemke. In International Journal of Ambient Computing and Intelligence (IJACI), volume 8, number 2, pp 12-31, 2017. (DOI).
  6. Why do female students choose to study CS in the Kingdom of Saudi Arabia?. Fayiq Alghamdi. In Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, IEEE Computer Society, 2017. (fulltext:postprint).
  7. Automated deep-phenotyping of the vertebrate brain. Amin Allalou, Yuelong Wu, Mostafa Ghannad-Rezaie, Peter M. Eimon, and Mehmet Fatih Yanik. In eLIFE, volume 6, 2017. (DOI, Fulltext).
  8. Efficient Simulation of Wave Phenomena. Martin Almquist. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1463, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  9. Multi-level local time-stepping methods of Runge–Kutta type for wave equations. Martin Almquist and Michaela Mehlin. In , 2017. (DOI). Publication status: Submitted
  10. MiniZinc with strings. Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, and Guido Tack. In Logic-Based Program Synthesis and Transformation, volume 10184 of Lecture Notes in Computer Science, pp 59-75, Springer, 2017. (DOI).
  11. Forward deterministic pricing of options using Gaussian radial basis functions. Jamal Amani Rad, Josef Höök, Elisabeth Larsson, and Lina von Sydow. In Journal of Computational Science, 2017. (DOI). Publication status: Epub ahead of print
  12. A hybrid method for the imputation of genomic data in livestock populations. Roberto Antolín, Carl Nettelblad, Gregor Gorjanc, Daniel Money, and John M. Hickey. In Genetics Selection Evolution, volume 49, 2017. (DOI, Fulltext).
  13. An energy based discontinuous Galerkin method for acoustic–elastic waves. Daniel Appelö and Siyang Wang. In Proc. 13th International Conference on Mathematical and Numerical Aspects of Wave Propagation, pp 389-390, University of Minnesota Press, Minneapolis, MN, 2017.
  14. An explicit Hermite–Taylor method for the Schrödinger equation. Daniel Appelö, Gunilla Kreiss, and Siyang Wang. In Communications in Computational Physics, volume 21, pp 1207-1230, 2017. (DOI).
  15. Atomistic-continuum multiscale modelling of magnetisation dynamics at non-zero temperature. Doghonay Arjmand, Mikhail Poluektov, and Gunilla Kreiss. In Computing Research Repository, number 1702.05173, 2017. (External link). Publication status: Submitted
  16. Estimates for the upscaling error in heterogeneous multiscale methods for wave propagation problems in locally periodic media. Doghonay Arjmand and Olof Runborg. In Multiscale Modeling & simulation, volume 15, pp 948-976, 2017. (DOI).
  17. Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM ' 15). Kenichi Asai and Konstantinos Sagonas. In Science of Computer Programming, volume 137, pp 1-1, ELSEVIER SCIENCE BV, 2017. (DOI).
  18. A preconditioner for optimal control problems, constrained by Stokes equation with a time-harmonic control. Owe Axelsson, Shiraz Farouq, and Maya Neytcheva. In Journal of Computational and Applied Mathematics, volume 310, pp 5-18, 2017. (DOI).
  19. A robust structured preconditioner for time-harmonic parabolic optimal control problems. Owe Axelsson, Zhao-Zheng Liang, and Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2017-014, 2017. (External link).
  20. An efficient preconditioning method for state box-constrained optimal control problems. Owe Axelsson, Maya Neytcheva, and Anders Ström. Technical report / Department of Information Technology, Uppsala University nr 2017-004, 2017. (External link).
  21. Comparison of preconditioned Krylov subspace iteration methods for PDE-constrained optimization problems: Stokes control. Owe Axelsson, Shiraz Farouq, and Maya Neytcheva. In Numerical Algorithms, volume 74, pp 19-37, 2017. (DOI).
  22. Preparing tomorrow's software engineers for work in a global environment. Sarah Beecham, Tony Clear, John Barr, Mats Daniels, Michael Oudshoorn, and John Noll. In IEEE Software, volume 34, number 1, pp 9-12, 2017. (DOI).
  23. Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. César Beltrán-Castañón, Ingela Nyström, and Fazel Famili (eds). Volume 10125 of Lecture Notes in Computer Science, Springer, 2017. (DOI).
  24. Optimizing a multigrid Runge–Kutta smoother for variable-coefficient convection–diffusion equations. Daniele Bertaccini, Marco Donatelli, Fabio Durastante, and Stefano Serra-Capizzano. In Linear Algebra and its Applications, volume 533, pp 507-535, 2017. (DOI).
  25. Spectral analysis of finite-difference approximations of 1-d waves in non-uniform grids. Davide Bianchi and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2017-013, 2017. (External link).
  26. A web application to analyse and visualize digital images at multiple resolutions. Maxime Bombrun, Petter Ranefall, and Carolina Wählby. In , 2017.
  27. Adaptive cache warming for faster simulations. Gustaf Borgström, Andreas Sembrant, and David Black-Schaffer. In Proc. 9th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, ACM Press, New York, 2017. (DOI, Fulltext, fulltext:print).
  28. Exploration of Toeplitz-like matrices with unbounded symbols: not a purely academic journey. Albrecht Böttcher, Carlo Garoni, and Stefano Serra-Capizzano. In Sbornik. Mathematics, volume 208, 2017. (DOI, Article). Publication status: Epub ahead of print
  29. Large-scale virtual screening on public cloud resources with Apache Spark. Marco Capuccini, Laeeq Ahmed, Wesley Schaal, Erwin Laure, and Ola Spjuth. In Journal of Cheminformatics, volume 9, 2017. (DOI, Fulltext).
  30. Detecting perceived quality of interaction with a robot using contextual features. Ginevra Castellano, Iolanda Leite, and Ana Paiva. In Autonomous Robots, volume 41, number 5, pp 1245-1261, 2017. (DOI).
  31. TaskInsight: Understanding task schedules effects on memory and performance. Germán Ceballos, Thomas Grass, Andra Hugo, and David Black-Schaffer. In Proc. 8th International Workshop on Programming Models and Applications for Multicores and Manycores, pp 11-20, ACM Press, New York, 2017. (DOI, Fulltext).
  32. A dedicated private-shared cache design for scalable multiprocessors. Juan M. Cebrián, Ricardo Fernández-Pascual, Alexandra Jimborean, Manuel E. Acacio, and Alberto Ros. In Concurrency and Computation, volume 29, number 2, 2017. (DOI).
  33. Uniform convergence of V-cycle multigrid algorithms for two-dimensional fractional Feynman–Kac equation. Minghua Chen, Weihua Deng, and Stefano Serra-Capizzano. In Journal of Scientific Computing, 2017. (DOI). Publication status: Epub ahead of print
  34. Accurate and stable time stepping in ice sheet modeling. Gong Cheng, Per Lötstedt, and Lina von Sydow. In Journal of Computational Physics, volume 329, pp 29-47, 2017. (DOI).
  35. Deep Brain Stimulation therapies: a control-engineering perspective. Rubén Cubo, Alexander Medvedev, and Helena Andersson. In Proc. American Control Conference: ACC 2017, pp 104-109, American Automatic Control Council, 2017. (DOI).
  36. Advances Towards Data-Race-Free Cache Coherence Through Data Classification. Mahdad Davari. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1521, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  37. Scope-Aware Classification: Taking the hierarchical private/shared data classification to the next level. Mahdad Davari, Erik Hagersten, and Stefanos Kaxiras. Technical report / Department of Information Technology, Uppsala University nr 2017-008, 2017. (External link).
  38. The best of both works: A hybrid data-race-free cache coherence scheme. Mahdad Davari, Erik Hagersten, and Stefanos Kaxiras. In ACM Transactions on Architecture and Code Optimization (TACO), volume 14, 2017. Publication status: Accepted
  39. Analysis and experimental evaluation of IEEE 802.15.4e TSCH CSMA-CA Algorithm. Domenico De Guglielmo, Beshr Al Nahas, Simon Duquennoy, Thiemo Voigt, and Giuseppe Anastasi. In IEEE Transactions on Vehicular Technology, volume 66, number 2, pp 1573-1588, 2017. (DOI).
  40. Backstepping stabilization of the linearized Saint-Venant–Exner model. Ababacar Diagne, Mamadou Diagne, Shuxia Tang, and Miroslav Krstic. In Automatica, volume 76, pp 345-354, 2017. (DOI).
  41. Steady-state analyses of activated sludge processes with plug-flow reactor. Stefan Diehl, Jesús Zambrano, and Bengt Carlsson. In Journal of Environmental Chemical Engineering, volume 5, number 1, pp 795-809, 2017. (DOI).
  42. Function-based block multigrid strategy for a two-dimensional linear elasticity-type problem. Marco Donatelli, Ali Dorostkar, Mariarosa Mazza, Maya Neytcheva, and Stefano Serra-Capizzano. In Computers and Mathematics with Applications, volume 74, 2017. (DOI). Publication status: Epub ahead of print
  43. Symbol-based multigrid methods for Galerkin B-spline isogeometric analysis. Marco Donatelli, Carlo Garoni, Carla Manni, Stefano Serra-Capizzano, and Hendrik Speleers. In SIAM Journal on Numerical Analysis, volume 55, pp 31-62, 2017. (DOI).
  44. Are the eigenvalues of banded symmetric Toeplitz matrices known in almost closed form?. Sven-Erik Ekström, Carlo Garoni, and Stefano Serra-Capizzano. In Experimental Mathematics, volume 26, 2017. (DOI). Publication status: Epub ahead of print
  45. Eigenvalues and eigenvectors of banded Toeplitz matrices and the related symbols. Sven-Erik Ekström and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2017-010, 2017. (External link).
  46. Multiscale methods for problems with complex geometry. Daniel Elfverson, Mats G. Larson, and Axel Målqvist. In Computer Methods in Applied Mechanics and Engineering, volume 321, pp 103-123, 2017. (DOI).
  47. Osteochondrosis, Synovial Fossae, and Articular Indentations in the Talus and Distal Tibia of Growing Domestic Pigs and Wild Boars. P. E. Etterlin, S. Ekman, Robin Strand, K. Olstad, and C. J. Ley. In Veterinary pathology, volume 54, number 3, pp 445-456, 2017. (DOI).
  48. New computerized staging method to analyze mink testicular tissue in environmental research. Azadeh Fakhrzadeh, Ellinor Sporndly-Nees, Elisabeth Ekstedt, Lena Holm, and Cris L. Luengo Hendriks. In Environmental Toxicology and Chemistry, volume 36, number 1, pp 156-164, 2017. (DOI, Fulltext, fulltext).
  49. Affine killing: Semantics for stopping the ParT. Kiko Fernandez-Reyes and Dave Clarke. In Proc. 2nd International Workshop on Type-Driven Development, ACM Press, New York, 2017. (fulltext:postprint).
  50. An exploratory study on the effect of auditory feedback on gaze behavior in a virtual throwing task with and without haptic feedback. Emma Frid, Roberto Bresin, Eva-Lotta Sallnäs Pysander, and Jonas Moll. In Proc. 14th Sound and Music Computing Conference, pp 242-249, Aalto University, Finland, 2017. (Fulltext).
  51. Generalized Locally Toeplitz Sequences: Theory and Applications: Volume I. Carlo Garoni and Stefano Serra-Capizzano. Springer, 2017. (DOI).
  52. Generalized locally Toeplitz sequences: Theory and applications. Carlo Garoni and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2017-002, 2017. (External link).
  53. Lusin theorem, GLT sequences and matrix computations: An application to the spectral analysis of PDE discretization matrices. Carlo Garoni, Carla Manni, Stefano Serra-Capizzano, Debora Sesana, and Hendrik Speleers. In Journal of Mathematical Analysis and Applications, volume 446, pp 365-382, 2017. (DOI).
  54. Spectral analysis and spectral symbol of matrices in isogeometric Galerkin methods. Carlo Garoni, Carla Manni, Stefano Serra-Capizzano, Debora Sesana, and Hendrik Speleers. In Mathematics of Computation, volume 86, number 305, pp 1343-1373, 2017. (DOI).
  55. Spectral distribution results beyond the algebra generated by variable-coefficient Toeplitz sequences: The GLT approach. Carlo Garoni and Stefano Serra-Capizzano. In Journal of Fourier Analysis and Applications, volume 23, 2017. (DOI). Publication status: Epub ahead of print
  56. The theory of generalized locally Toeplitz sequences: a review, an extension, and a few representative applications. Carlo Garoni and Stefano Serra-Capizzano. In Large Truncated Toeplitz Matrices, Toeplitz Operators, and Related Topics, volume 259 of Operator Theory: Advances and Applications, pp 353-394, Springer, 2017. (DOI).
  57. Ground surface temperature reconstruction for the last 500 years obtained from permafrost temperatures observed in the Stelvio Share borehole, Italian Alps. Mauro Guglielmin, Marco Donatelli, Matteo Semplice, and Stefano Serra Capizzano. In Climate of the Past Discussions, 2017. (DOI, Fulltext). Publication status: Submitted
  58. Robustness analysis of spatiotemporal models in the presence of extrinsic fluctuations. Andreas Hellander, Jan Klosa, Per Lötstedt, and Shev MacNamara. In SIAM Journal on Applied Mathematics, volume 77, pp 1157-1183, 2017. (DOI).
  59. Numerical Methods for Darcy Flow Problems with Rough and Uncertain Data. Fredrik Hellman. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1495, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  60. Numerical homogenization of time-dependent diffusion. Fredrik Hellman and Axel Målqvist. In Computing Research Repository, number 1703.08857, 2017. (External link). Publication status: Submitted
  61. Locating the Few: Sparsity-aware waveform design for active radar. Heng Hu, Mojtaba Soltanalian, Peter Stoica, and Xiaohua Zhu. In IEEE Transactions on Signal Processing, volume 65, number 3, pp 651-662, 2017. (DOI).
  62. Deep Fish: Deep Learning-Based Classification of Zebrafish Deformation for High-Throughput Screening. Omer Ishaq, Sajith Kecheril Sadanandan, and Carolina Wählby. In Journal of Biomolecular Screening, volume 22, number 1, pp 102-107, 2017. (DOI).
  63. Cost-aware application development and management using CLOUD-METRIC. Alieu Jallow, Andreas Hellander, and Salman Toor. In Proc. 7th International Conference on Cloud Computing and Services Science, pp 515-522, SciTePress, Setúbal, Portugal, 2017. (DOI).
  64. Automatic detection of extended data-race-free regions. Alexandra Jimborean, Jonatan Waern, Per Ekemark, Stefanos Kaxiras, and Alberto Ros. In Proc. 15th International Symposium on Code Generation and Optimization, pp 14-26, IEEE Press, Piscataway, NJ, 2017. (Paper, fulltext:postprint).
  65. Oriented clonal cell dynamics enables accurate growth and shaping of vertebrate cartilage. Marketa Kaucka, Tomas Zikmund, Marketa Tesarova, Daniel Gyllborg, Andreas Hellander, Josef Jaros, Jozef Kaiser, Julian Petersen, Bara Szarowska, Phillip T. Newton, Vyacheslav Dyachuk, Lei Li, Hong Qian, Anne-Sofie Johansson, Yuji Mishina, Josh Currie, Elly M. Tanaka, Alek Erickson, Andrew Dudley, Hjalmar Brismar, Paul Southam, Enrico Coen, Min Chen, Lee S. Weinstein, Ales Hampl, Ernest Arenas, Andrei S. Chagin, Kaj Fried, and Igor Adameyko. In eLIFE, volume 6, 2017. (DOI, Fulltext).
  66. Understanding initial undergraduate expectations and identity in computing studies. Päivi Kinnunen, Matthew Butler, Michael Morgan, Aletta Nylén, Anne-Kathrin Peters, Jane Sinclair, Sara Kalvala, and Erkki Pesonen. In European Journal of Engineering Education, volume 42, 2017. (DOI). Publication status: Epub ahead of print
  67. Bråk och språk – vad som är förnuftigt och logiskt. Christer O. Kiselman and Hania Uscka-Wehlou. In Nämnaren : tidskrift för matematikundervisning, number 1, pp 45-49, Nationellt centrum för matematikutbildning (NCM), Göteborg, 2017.
  68. Convexity of marginal functions in the discrete case. Christer O. Kiselman and Shiva Samieinia. In Analysis Meets Geometry: The Mikael Passare Memorial Volume, Birkhäuser Verlag, Basel, 2017.
  69. Curriculum Vitae, Mikael Passare. Christer O. Kiselman. In Analysis Meets Geometry: The Mikael Passare Memorial Volume, Birkhäuser Verlag, Basel, 2017.
  70. Domains of holomorphy for Fourier transforms of solutions to discrete convolution equations. Christer O. Kiselman. In Science China Mathematics, volume 60, number 6, pp 1005-1018, 2017. (DOI).
  71. Falska vänner, vassa vrår och språkliga fällor. Christer O. Kiselman and Hania Uscka-Wehlou. In Nämnaren : tidskrift för matematikundervisning, number 2, pp 43-51, Nationellt centrum för matematikutbildning (NCM), Göteborg, 2017.
  72. How to best fold a triangle. Christer O. Kiselman. In Mathematische Semesterberichte, volume 64, 2017. (DOI, Fulltext). Publication status: Epub ahead of print
  73. Mikael Passare (1959–2011). Christer O. Kiselman. In Analysis Meets Geometry: The Mikael Passare Memorial Volume, Birkhäuser Verlag, Basel, 2017.
  74. Mikael Passare's publications. Christer O. Kiselman. In Analysis Meets Geometry: The Mikael Passare Memorial Volume, Birkhäuser Verlag, Basel, 2017.
  75. Generalized Newton multi-step iterative methods GMN<sub><em>p,m</em></sub> for solving systems of nonlinear equations. Salima Kouser, Shafiq Ur Rehman, Fayyaz Ahmad, Stefano Serra-Capizzano, Malik Zaka Ullah, Ali Saleh Alshomrani, Hani M. Aljahdali, Shamshad Ahmad, and Shahid Ahmad. In International Journal of Computer Mathematics, volume 94, 2017. (DOI). Publication status: Epub ahead of print
  76. A fast massively parallel two-phase flow solver for microfluidic chip simulation. Martin Kronbichler, Ababacar Diagne, and Hanna Holmgren. In The international journal of high performance computing applications, volume 31, 2017. (DOI, Fulltext). Publication status: Epub ahead of print
  77. A phase-field microscale enhancement for macro models of capillary-driven contact point dynamics. Martin Kronbichler and Gunilla Kreiss. In Journal of Computational Multiphase Flows, volume 9, 2017. (DOI, Fulltext). Publication status: Epub ahead of print
  78. A least squares radial basis function partition of unity method for solving PDEs. Elisabeth Larsson, Victor Shcherbakov, and Alfa Heryudono. In SIAM Journal on Scientific Computing, 2017. (External link). Publication status: Submitted
  79. Airway-tree segmentation in subjects with acute respiratory distress syndrome. Kristína Lidayová, Duván Alberto Gómez Betancur, Hans Frimmel, Marcela Hernández Hoyos, Maciej Orkisz, and Örjan Smedby. In Image Analysis: Part II, volume 10270 of Lecture Notes in Computer Science, pp 76-87, Springer, 2017. (DOI).
  80. Classification of cross-sections for vascular skeleton extraction using convolutional neural networks. Kristína Lidayová, Anindya Gupta, Hans Frimmel, Ida-Maria Sintorn, Ewert Bengtsson, and Örjan Smedby. In Medical Image Understanding and Analysis, volume 723 of Communications in Computer and Information Science, pp 182-194, Springer, 2017. (DOI).
  81. Fast Methods for Vascular Segmentation Based on Approximate Skeleton Detection. Kristína Lidayová. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1496, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  82. Improved centerline tree detection of diseased peripheral arteries with a cascading algorithm for vascular segmentation. Kristína Lidayová, Hans Frimmel, Ewert Bengtsson, and Örjan Smedby. In Journal of Medical Imaging, volume 4, pp 024004:1-11, 2017. (DOI).
  83. Formulation of a wall model for LES in a collocated finite-volume framework. Mattias Liefvendahl, Timofey Mukha, and Saleh Rezaeiravesh. Technical report / Department of Information Technology, Uppsala University nr 2017-001, 2017. (External link).
  84. Divide-and-Conquer with sequential Monte Carlo. Fredrik Lindsten, A. M. Johansen, C. A. Naesseth, B. Kirkpatrick, Thomas B. Schön, J. A. D. Aston, and A. Bouchard-Côté. In Journal of Computational And Graphical Statistics, volume 26, number 2, pp 445-458, 2017. (DOI).
  85. On the precision of third person perspective augmented reality for target designation tasks. Fei Liu and Stefan Seipel. In Multimedia tools and applications, volume 76, number 14, pp 15279-15296, 2017. (DOI, Fulltext).
  86. Passive in-vehicle driver breath alcohol detection using advanced sensor signal acquisition and fusion. Jonas Ljungblad, Bertil Hök, Amin Allalou, and Håkan Pettersson. In Traffic Injury Prevention, volume 18, pp S31-S36, 2017. (DOI, Fulltext, fulltext).
  87. Finite Element Computations on Multicore and Graphics Processors. Karl Ljungkvist. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1512, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  88. Matrix-free finite-element computations on graphics processors with adaptively refined unstructured meshes. Karl Ljungkvist. In Proc. 25th High Performance Computing Symposium, pp 1-12, The Society for Modeling and Simulation International, San Diego, CA, 2017.
  89. Multigrid for matrix-free finite element computations on graphics processors. Karl Ljungkvist and Martin Kronbichler. Technical report / Department of Information Technology, Uppsala University nr 2017-006, 2017. (External link).
  90. A license to kill: Improving UCSD in agile development. Marta Lárusdóttir, Jan Gulliksen, and Åsa Cajander. In Journal of Systems and Software, volume 123, pp 214-222, 2017. (DOI).
  91. Eliciting strategies in revolutionary design: Exploring the hypothesis of predefined strategy categories. Ida Löscher, Anton Axelsson, Johanna Vännström, and Anders Jansson. In Theoretical Issues in Ergonomics Science, volume 18, 2017. (DOI). Publication status: Epub ahead of print
  92. A flexible computational framework using R and Map-Reduce for permutation tests of massive genetic analysis of complex traits. Behrang Mahjani, Salman Toor, Carl Nettelblad, and Sverker Holmgren. In IEEE/ACM Transactions on Computational Biology & Bioinformatics, volume 14, pp 381-392, 2017. (DOI).
  93. SmartPaint: a tool for interactive segmentation of medical volume images. Filip Malmberg, Richard Nordenskjöld, Robin Strand, and Joel Kullberg. In COMPUTER METHODS IN BIOMECHANICS AND BIOMEDICAL ENGINEERING-IMAGING AND VISUALIZATION, volume 5, number 1, pp 36-44, TAYLOR & FRANCIS LTD, 2017. (DOI).
  94. A high-order accurate embedded boundary method for first order hyperbolic equations. Ken Mattsson and Martin Almquist. In Journal of Computational Physics, volume 334, pp 255-279, 2017. (DOI).
  95. Diagonal-norm upwind SBP operators. Ken Mattsson. In Journal of Computational Physics, volume 335, pp 283-310, 2017. (DOI).
  96. Spectral analysis and spectral symbol for the 2D curl–curl (stabilized) operator with applications to the related iterative solutions. Mariarosa Mazza, Ahmed Ratnani, and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2017-009, 2017. (External link).
  97. Folk pedagogy and the geek gene: Geekiness quotient. Robert McCartney, Jonas Boustedt, Anna Eckerdal, Kate Sanders, and Carol Zander. In Proc. 48th SIGCSE Technical Symposium on Computer Science Education, pp 405-410, ACM Press, New York, 2017. (DOI).
  98. SADHealth: A personal mobile sensing system for seasonal health monitoring. Liam McNamara and Edith Ngai. In IEEE Systems Journal, volume 11, 2017. (DOI). Publication status: Epub ahead of print
  99. Excluded volume effects in on- and off-lattice reaction–diffusion models. Lina Meinecke and Markus Eriksson. In IET Systems Biology, volume 11, pp 55-64, 2017. (DOI).
  100. Bridging Histology and Bioinformatics: Computational analysis of spatially resolved transcriptomics. Marco Mignardi, Omer Ishaq, Xiaoyan Qian, and Carolina Wählby. In Proceedings of the IEEE, volume 105, number 3, pp 530-541, 2017. (DOI, Fulltext).
  101. An executable semantics for synchronous task graphs: From SDRT to Ada. Morteza Mohaqeqi, Jakaria Abdullah, and Wang Yi. In Reliable Software Technologies — Ada-Europe 2017, volume 10300 of Lecture Notes in Computer Science, pp 137-152, Springer, 2017. (DOI).
  102. Refinement of workload models for engine controllers by state space partitioning. Morteza Mohaqeqi, Jakaria Abdullah, Pontus Ekberg, and Wang Yi. In 29th Euromicro Conference on Real-Time Systems: ECRTS 2017, volume 76 of Leibniz International Proceedings in Informatics (LIPIcs), pp 11:1-22, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2017. (DOI, Fulltext).
  103. The generation of turbulent inflow boundary conditions using precursor channel flow simulations. Timofey Mukha and Mattias Liefvendahl. In Computers & Fluids, volume 156, pp 21-33, 2017. (DOI).
  104. Numerical investigation of a viscous regularization of the Euler equations by entropy viscosity. Murtazo Nazarov and Aurélien Larcher. In Computer Methods in Applied Mechanics and Engineering, volume 317, pp 128-152, 2017. (DOI).
  105. Can we make a cake and eat it too?: A discussion of ICN security and privacy. Edith Ngai, Börje Ohlman, Gene Tsudik, Ersin Uzun, Matthias Wählisch, and Christopher A. Wood. In Computer communication review, volume 47, number 1, pp 49-54, 2017. (DOI).
  106. BoneSplit – A 3D painting tool for interactive bone segmentation in CT images. Ingela Nyström, Johan Nysjö, Andreas Thor, and Filip Malmberg. In Pattern Recognition and Information Processing: PRIP 2016, volume 673 of Communications in Computer and Information Science, pp 3-13, Springer, 2017. (DOI).
  107. Measuring PHY layer interactions between LoRa and IEEE 802.15.4g networks. Charalampos Orfanidis, Laura Marie Feeney, and Martin Jacobsson. In Proc. 16th IFIP TC6 Networking Conference, International Federation for Information Processing, 2017.
  108. Influence of applied corneal endothelium image segmentation techniques on the clinical parameters. Adam Piorkowski, Karolina Nurzynska, Jolanta Gronkowska-Serafin, Bettina Selig, Cezary Boldak, and Daniel Reska. In Computerized Medical Imaging and Graphics, volume 55, pp 13-27, 2017. (DOI).
  109. Building the Internet of Things with bluetooth smart. Shahid Raza, Prasant Misra, Zhitao He, and Voigt Thiemo. In Ad hoc networks, volume 57, pp 19-31, 2017. (DOI).
  110. Cancer patients' attitudes and experiences of online access to their electronic medical records: A qualitative study. Hanife Rexhepi, Rose-Mharie Åhlfeldt, Åsa Cajander, and Isto Huvila. In Health Informatics Journal, volume 23, 2017. (DOI). Publication status: Epub ahead of print
  111. Grid construction strategies for wall-resolving Large Eddy Simulation and estimates of the resulting number of grid points. Saleh Rezaeiravesh and Mattias Liefvendahl. Technical report / Department of Information Technology, Uppsala University nr 2017-005, 2017. (External link).
  112. Non-speculative load-load reordering in TSO. Alberto Ros, Trevor E. Carlson, Mehdi Alipour, and Stefanos Kaxiras. In Proc. 44th International Symposium on Computer Architecture, pp 187-200, ACM Press, New York, 2017. (DOI).
  113. Skeletonization: Theory, Methods, and Applications. Punam K. Saha, Gunilla Borgefors, and Gabriella Sanniti di Baja (eds). Computer Vision and Pattern Recognition, Academic Press, London, 2017. (DOI).
  114. Skeletonization and its applications – a review. Punam K. Saha, Gunilla Borgefors, and Gabriella Sanniti di Baja. In Skeletonization: Theory, Methods, and Applications, Computer Vision and Pattern Recognition, pp 3-42, Academic Press, London, 2017. (DOI).
  115. A Split Cache Hierarchy for Enabling Data-oriented Optimizations. Andreas Sembrant, Erik Hagersten, and David Black-Schaffer. In , 2017.
  116. Levodopa/carbidopa microtablets in Parkinson’s disease: A study of pharmacokinetics and blinded motor assessment. Marina Senek, Sten-Magnus Aquilonius, Håkan Askmark, Filip Bergquist, Radu Constantinescu, Anders Ericsson, Sara Lycke, Alexander Medvedev, Mevludin Memedi, Fredrik Ohlsson, Jack Spira, Jerker Westin, and Dag Nyholm. In European Journal of Clinical Pharmacology, volume 73, number 5, pp 563-571, 2017. (DOI, Fulltext).
  117. Automated line-based sequential sampling and modeling algorithm for EMC near-field scanning. Prashant Singh, Tim Claeys, Guy A. E. Vandenbosch, and Davy Pissoort. In IEEE transactions on electromagnetic compatibility (Print), volume 59, pp 704-709, 2017. (DOI).
  118. Constrained multi-objective antenna design optimization using surrogates. Prashant Singh, Marco Rossi, Ivo Couckuyt, Dirk Deschrijver, Hendrik Rogier, and Tom Dhaene. In International journal of numerical modelling, volume 30, 2017. (DOI). Publication status: Epub ahead of print
  119. Multi-objective geometry optimization of a gas cyclone using triple-fidelity co-Kriging surrogate models. Prashant Singh, Ivo Couckuyt, Khairy Elsayed, Dirk Deschrijver, and Tom Dhaene. In Journal of Optimization Theory and Applications, 2017. (DOI, Fulltext). Publication status: Epub ahead of print
  120. Training signal design for correlated massive MIMO channel estimation. Mojtaba Soltanalian, Mohammad Mahdi Naghsh, Nafiseh Shariati, Peter Stoica, and Babak Hassibi. In IEEE Transactions on Wireless Communications, volume 16, number 2, pp 1135-1143, 2017. (DOI).
  121. A concept for holistic whole body MRI data analysis, Imiomics. Robin Strand, Filip Malmberg, Lars Johansson, Lars Lind, Magnus Sundbom, Håkan Ahlström, and Joel Kullberg. In PLoS ONE, volume 12, number 2, 2017. (DOI, Fulltext, fulltext).
  122. A flexible state–space model for learning nonlinear dynamical systems. Andreas Svensson and Thomas B. Schön. In Automatica, volume 80, pp 189-199, 2017. (DOI).
  123. Errors-in-variables identification using maximum likelihood estimation in the frequency domain. Torsten Söderström and Umberto Soverini. In Automatica, volume 79, pp 131-143, 2017. (DOI).
  124. Objective automated quantification of fluorescence signal in histological sections of rat lens. Nooshin Talebizadeh, Nanna Zhou Hagström, Zhaohua Yu, Martin Kronschläger, Per Söderberg, and Carolina Wählby. In Cytometry Part A, volume 91, 2017. (DOI). Publication status: Epub ahead of print
  125. In the liminal space: Software design as a threshold skill. Lynda Thomas, Jonas Boustedt, Anna Eckerdal, Robert McCartney, Jan Erik Moström, Kate Sanders, and Carol Zander. In Practice and Evidence of the Scholarship of Teaching and Learning in Higher Education, volume 12, pp 333-351, 2017. (Article).
  126. Student software designs at the undergraduate midpoint. Lynda Thomas, Carol Zander, Chris Loftus, and Anna Eckerdal. In Proc. 22nd Conference on Innovation and Technology in Computer Science Education, pp 34-39, ACM Press, New York, 2017. (DOI).
  127. Privacy-preserving social tie discovery based on cloaked human trajectories. Ye Tian, Wendong Wang, Jie Wu, Qinli Kou, Zheng Song, and Edith C.-H. Ngai. In IEEE Transactions on Vehicular Technology, volume 66, number 2, pp 1619-1630, 2017. (DOI).
  128. Clairvoyance: Look-ahead compile-time scheduling. Kim-Anh Tran, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, Vasileios Spiliopoulos, Stefanos Kaxiras, and Alexandra Jimborean. In Proc. 15th International Symposium on Code Generation and Optimization, pp 171-184, IEEE Press, Piscataway, NJ, 2017. (fulltext:postprint).
  129. A Radar Signal Processing Case Study for Dataflow Programming of Manycores. Zain Ul-Abdin and Albert Mingkun Yang. In Journal of Signal Processing Systems, volume 87, number 1, pp 49-62, 2017. (DOI).
  130. On robust input design for nonlinear dynamical models. Patricio E. Valenzuela, Johan Dahlin, Cristian R. Rojas, and Thomas B. Schön. In Automatica, volume 77, pp 268-278, PERGAMON-ELSEVIER SCIENCE LTD, 2017. (DOI).
  131. Interpreting the Script: Image Analysis and Machine Learning for Quantitative Studies of Pre-modern Manuscripts. Fredrik Wahlberg. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1475, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  132. An improved high order finite difference method for non-conforming grid interfaces for the wave equation. Siyang Wang. In Computing Research Repository, number 1702.02056, 2017. (External link). Publication status: Submitted
  133. Convergence of finite difference methods for the wave equation in two space dimensions. Siyang Wang, Anna Nissen, and Gunilla Kreiss. In Computing Research Repository, number 1702.01383, 2017. (External link). Publication status: Submitted
  134. Convergence of summation-by-parts finite difference methods for the wave equation. Siyang Wang and Gunilla Kreiss. In Journal of Scientific Computing, volume 71, pp 219-245, 2017. (DOI, Fulltext).
  135. Finite Difference and Discontinuous Galerkin Methods for Wave Equations. Siyang Wang. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1522, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  136. Decoupled Access-Execute on ARM big.LITTLE. Anton Weber, Kim-Anh Tran, Stefanos Kaxiras, and Alexandra Jimborean. In Proc. 5th Workshop on High Performance Energy Efficient Embedded Systems, 2017. (External link).
  137. Globally stable wireless data flow control. Torbjörn Wigren and Reem Karaki. In IEEE Transactions on Control of Network Systems, volume 4, 2017. (DOI). Publication status: Epub ahead of print
  138. Prediction Performance After Learning in Gaussian Process Regression. Johan Wågberg, Dave Zachariah, Thomas B. Schön, and Peter Stoica. In Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, Proceedings of Machine Learning Research, pp 1264-1272, PMLR, 2017. (Full text, Reference, fulltext:postprint).
  139. Scalable validation of industrial equipment using a functional DSMS. Cheng Xu, Elisabeth Källström, Tore Risch, John Lindström, Lars Håkansson, and Jonas Larsson. In Journal of Intelligent Information Systems, volume 48, number 3, pp 553-577, 2017. (DOI, Fulltext).
  140. Design of a hybrid observer for an oscillator with an intrinsic pulse-modulated feedback. Diana Yamalova and Alexander Medvedev. In Proc. American Control Conference: ACC 2017, pp 1175-1180, American Automatic Control Council, 2017. (DOI).
  141. Hybrid observers for systems with intrinsic pulse-modulated feedback. Diana Yamalova. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2017-001, Uppsala University, 2017. (fulltext).
  142. High-dimensional online adaptive filtering. Sholeh Yasini and Kristiaan Pelckmans. In , volume 50: of IFAC-PapersOnLine, 2017.
  143. Energy-Aware Wireless Relay Selection in Load-Coupled OFDMA Cellular Networks. Lei You, Di Yuan, Nikolaos Pappas, and Peter Varbrand. In IEEE Communications Letters, volume 21, number 1, pp 144-147, Institute of Electrical and Electronics Engineers (IEEE), 2017. (DOI).
  144. A higher order multi-step iterative method for computing the numerical solution of systems of nonlinear equations associated with nonlinear PDEs and ODEs. Malik Zaka Ullah, Stefano Serra-Capizzano, Fayyaz Ahmad, Arshad Mahmood, and Eman S. Al-Aidarous. In Journal of Computational Analysis And Applications, volume 22, pp 445-461, 2017.
  145. An approximation framework for solvers and decision procedures. Aleksandar Zeljic, Christoph M. Wintersteiger, and Philipp Rümmer. In Journal of automated reasoning, volume 58, number 1, pp 127-147, 2017. (DOI, Fulltext).
  146. On energy-efficient offloading in mobile cloud for realtime video applications. Lei Zhang, Di Fu, Jiangchuan Liu, Edith C.-H. Ngai, and Wenwu Zhu. In IEEE transactions on circuits and systems for video technology (Print), volume 27, number 1, pp 170-181, 2017. (DOI).
  147. Micromechanics of semicrystalline polymers: Towards quantitative predictions. Johannes A. W. van Dommelen, Mikhail Poluektov, Amin Sedighiamiri, and Leon E. Govaert. In Mechanics research communications, volume 80, pp 4-9, 2017. (DOI).
  148. A study protocol for applying user participation and co-learning: Lessons learned from the eBalance project. Anna Cristina Åberg, Kjartan Halvorsen, Ingrid From, Åsa Bergman Bruhn, Lars Oestreicher, and Anita Melander-Wikman. In International Journal of Environmental Research and Public Health, volume 14, number 5, 2017. (DOI, Fulltext).

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