Skip to main content
Department of Information Technology

Publications 2016

  1. Automated Verification of Linearization Policies. Parosh Abdulla, Bengt Jonsson, and Cong Quy Trinh. In Automated Verification of Linearization Policies: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings, 2016. (DOI).
  2. Qualitative Analysis of VASS-Induced MDPs. Parosh Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier, and Jeremy Sproston. In Foundations Of Software Science And Computation Structures (FOSSACS 2016), volume 9634 of Lecture Notes in Computer Science, pp 319-334, 2016. (DOI).
  3. Data Communicating Processes with Unreliable Channels. Parosh Aziz Abdulla, Aiswarya Cyriac, and Mohamed Faouzi Atig. In Proceedings Of The 31St Annual ACM-IEEE Symposium On Logic In Computer Science (LICS 2016), pp 166-175, 2016. (DOI).
  4. Parameterized verification. Parosh A. Abdulla and Giorgio Delzanno. In International Journal on Software Tools for Technology Transfer, volume 18, number 5, pp 469-473, 2016. (DOI).
  5. Counter-Example Guided Program Verification. Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Phi Diep Bui. In FM 2016: Formal Methods, volume 9995 of Lecture Notes in Computer Science, pp 25-42, Springer, 2016. (DOI).
  6. Fencing programs with self-invalidation and self-downgrade. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, and Yunyun Zhu. In Formal Techniques for Distributed Objects, Components, and Systems, volume 9688 of Lecture Notes in Computer Science, pp 19-35, Springer, 2016. (DOI).
  7. Parameterized verification of time-sensitive models of ad hoc network protocols. Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, and Riccardo Traverso. In Theoretical Computer Science, volume 612, pp 1-22, 2016. (DOI).
  8. Parameterized verification through view abstraction. Parosh Aziz Abdulla, Frédéric Haziza, and Lukás Holík. In International Journal on Software Tools for Technology Transfer, volume 18, number 5, pp 495-516, 2016. (DOI).
  9. Recency-Bounded Verification of Dynamic Database-Driven Systems. Parosh Aziz Abdulla, Aiswarya Cyriac, Mohamed Faouzi Atig, Marco Montali, and Othmane Rezine. In PODS'16: PROCEEDINGS OF THE 35TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS, pp 195-210, 2016. (DOI).
  10. Stateless model checking for POWER. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, and Carl Leonardsson. In Computer Aided Verification: Part II, volume 9780 of Lecture Notes in Computer Science, pp 134-156, Springer, 2016. (DOI).
  11. The benefits of duality in verifying concurrent programs under TSO. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, and Tuan Phong Ngo. In 27th International Conference on Concurrency Theory: CONCUR 2016, volume 59 of Leibniz International Proceedings in Informatics (LIPIcs), pp 5:1-15, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2016. (DOI, Fulltext, External link).
  12. Verification of heap manipulating programs with ordered data by extended forest automata. Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, and Tomás Vojnar. In Acta Informatica, volume 53, number 4, pp 357-385, 2016. (DOI).
  13. Improving performance by monitoring while maintaining worst-case guarantees. Syed Md Jakaria Abdullah, Kai Lampka, and Wang Yi. In Proc. 19th Conference on Design, Automation and Test in Europe, pp 257-260, IEEE, Piscataway, NJ, 2016.
  14. GillesPy: A Python package for stochastic model building and simulation. John H. Abel, Brian Drawert, Andreas Hellander, and Linda R. Petzold. In IEEE Life Sciences Letters, volume 2, pp 35-38, 2016. (DOI, Fulltext).
  15. Internet of Things for smart cities: Interoperability and open data. Bengt Ahlgren, Markus Hidell, and Edith C.-H. Ngai. In IEEE Internet Computing, volume 20, number 6, pp 52-56, 2016. (DOI).
  16. A meshfree approach to non-Newtonian free surface ice flow: Application to the Haut Glacier d'Arolla. Josefin Ahlkrona and Victor Shcherbakov. Technical report / Department of Information Technology, Uppsala University nr 2016-005, 2016. (External link).
  17. Computational Ice Sheet Dynamics: Error control and efficiency. Josefin Ahlkrona. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1368, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  18. Dynamically coupling the non-linear Stokes equations with the shallow ice approximation in glaciology: Description and first applications of the ISCAL method. Josefin Ahlkrona, Per Lötstedt, Nina Kirchner, and Thomas Zwinger. In Journal of Computational Physics, volume 308, pp 1-19, 2016. (DOI, fulltext:postprint).
  19. The ISCAL method and the grounding line: Combining the Stokes equations with the Shallow Ice Approximation and Shelfy Stream Approximation. Josefin Ahlkrona. Technical report / Department of Information Technology, Uppsala University nr 2016-006, 2016. (External link).
  20. A family of iterative methods for solving systems of nonlinear equations having unknown multiplicity. Fayyaz Ahmad, Stefano Serra-Capizzano, Malik Zaka Ullah, and A. Saleh Al-Fhaid. In Algorithms, volume 9, pp 5:1-10, 2016. (DOI, Fulltext).
  21. Women in computing in Saudi Arabia. Fayiq Alghamdi. In Proc. 3rd ACM-W Europe Celebration of Women in Computing, pp 1-3, 2016. (fulltext:print).
  22. Bounds on the lifetime of wireless sensor networks with lossy links and directional antennas. Juan M. Alonso, Amanda Nordhamn, Simon Olofsson, and Thiemo Voigt. In Wireless Network Performance Enhancement via Directional Antennas: Models, Protocols, and Systems, pp 329-361, CRC Press, Boca Raton, FL, 2016. (DOI).
  23. Semantic Web Queries over Scientific Data. Andrej Andrejev. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 121, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  24. Global Constraint Catalog: Volume II, time-series constraints. Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, and Helmut Simonis. Computing Research Repository nr 1609.08925, 2016. (External link).
  25. Systematic derivation of bounds and glue constraints for time-series constraints. Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, and Helmut Simonis. In Principles and Practice of Constraint Programming: CP 2016, volume 9892 of Lecture Notes in Computer Science, pp 13-29, Springer, 2016. (DOI).
  26. Time-series constraints: Improvements and application in CP and MIP contexts. Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, and Helmut Simonis. In Integration of AI and OR Techniques in Constraint Programming, volume 9676 of Lecture Notes in Computer Science, pp 18-34, Springer, 2016. (DOI).
  27. A time dependent approach for removing the cell boundary error in elliptic homogenization problems. Doghonay Arjmand and Olof Runborg. In Journal of Computational Physics, volume 314, pp 206-227, 2016. (DOI).
  28. Multi-domain alias matching using machine learning. Michael Ashcroft, Fredrik Johansson, Lisa Kaati, and Amendra Shrestha. In Proc. 3rd European Network Intelligence Conference, pp 77-84, IEEE, 2016. (DOI, fulltext:postprint).
  29. Multilayer Analysis of Online Illicit Marketplaces. Michael Ashcroft, Matteo Magnani, Davide Vega, Danilo Montesi, and Luca Rossi. In 2016 European Intelligence And Security Informatics Conference (EISIC), European Intelligence and Security Informatics Conference, pp 199-199, IEEE, 2016. (DOI).
  30. A Faster, Unbiased Path Opening by Upper Skeletonization and Weighted Adjacency Graphs. Teo Asplund and Cris L. Luengo Hendriks. In IEEE Transactions on Image Processing, volume 25, number 12, pp 5589-5600, 2016. (DOI).
  31. A New Approach to Mathematical Morphology on One Dimensional Sampled Signals. Teo Asplund, Cris Luengo, Matthew Thurley, and Robin Strand. In IEEE Proceedings, International Conference on Pattern Recognition (ICPR 2016), Cancun, Mexico, 2016, 2016. (DOI).
  32. Acceleration in Multi-PushDown Systems. Mohamed Faouzi Atig, K. Narayan Kumar, and Prakash Saivasan. In Tools and Algorithms for the Construction and Analysis of Systems, volume 9636 of Lecture Notes in Computer Science, pp 698-714, Springer, 2016. (DOI).
  33. The complexity of regular abstractions of one-counter languages. Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, and Georg Zetzsche. In Proceedings Of The 31St Annual ACM-IEEE Symposium On Logic In Computer Science (LICS 2016), pp 207-216, 2016. (DOI).
  34. Solving the Table Maker's Dilemma on current SIMD architectures. Christophe Avenel, Pierre Fortin, Mourad Gouicem, and Samia Zaidi. In Scalable Computing: Practice and Experience, volume 17, number 3, pp 237-250, 2016. (DOI).
  35. Context: The abstract term for the concrete. Anton Axelsson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-006, Uppsala University, 2016. (fulltext).
  36. Scaffolding executive function capabilities via play-&-learn software for preschoolers. Anton Axelsson, Richard Andersson, and Agneta Gulz. In Journal of Educational Psychology, volume 108, number 7, pp 969-981, 2016. (DOI).
  37. Comparison of preconditioned Krylov subspace iteration methods for PDE-constrained optimization problems: Poisson and convection–diffusion control. Owe Axelsson, Shiraz Farouq, and Maya Neytcheva. In Numerical Algorithms, volume 73, pp 631-663, 2016. (DOI, fulltext:postprint).
  38. Feature evaluation for handwritten character recognition with regressive and generative Hidden Markov Models. Kalyan Ram Ayyalasomayajula, Carl Nettelblad, and Anders Brun. In Advances in Visual Computing: Part I, volume 10072 of Lecture Notes in Computer Science, pp 278-287, Springer, 2016. (DOI, fulltext:postprint).
  39. Algebraic polynomial-based synthesis for abstract Boolean network analysis. Peter Backeman, Sara-Jane Dunn, Boyan Yordanov, and Christoph M. Wintersteiger. In Satisfiability Modulo Theories: SMT 2016, volume 1617 of CEUR Workshop Proceedings, pp 41-50, RWTH Aachen University, 2016. (Fulltext).
  40. New techniques for handling quantifiers in Boolean and first-order logic. Peter Backeman. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-012, Uppsala University, 2016. (fulltext).
  41. Framework for real-time clustering over sliding windows. Sobhan Badiozamany, Kjell Orsborn, and Tore Risch. In Proc. 28th International Conference on Scientific and Statistical Database Management, pp 1-13, ACM Press, New York, 2016. (DOI).
  42. Real-time data stream clustering over sliding windows. Sobhan Badiozamany. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1431, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  43. Fusion: Coalesced Confidential Storage and Communication Framework for the IoT. Ibrahim Ethem Bagci, Shahid Raza, Utz Roedig, and Thiemo Voigt. In Security and Communication Networks, volume 9, number 15, pp 2656-2673, 2016. (DOI).
  44. Blind deconvolution of images degraded with mixed Poisson-Gaussian noise with application in Transmission Electron Microscopy. Buda Bajic, Joakim Lindblad, and Nataša Sladoje. In Proceedings of the Swedish Society for Automated Image Analysis, pp 137-141, Uppsala, 2016.
  45. Blind restoration of images degraded with mixed poisson-Gaussian noise with application in transmission electron microscopy. Buda Bajic, Joakim Lindblad, and Nataša Sladoje. In 2016 Ieee 13Th International Symposium On Biomedical Imaging (ISBI), IEEE International Symposium on Biomedical Imaging, pp 123-127, IEEE, 2016. (DOI).
  46. Restoration of images degraded by signal-dependent noise based on energy minimization: an empirical study. Buda Bajic, Joakim Lindblad, and Nataša Sladoje. In Journal of Electronic Imaging (JEI), volume 25, number 4, 2016. (DOI, Fulltext, fulltext:print).
  47. Single image super-resolution reconstruction in presence of mixed Poisson-Gaussian noise. Buda Bajic, Joakim Lindblad, and Natasa Sladoje. In 2016 SIXTH INTERNATIONAL CONFERENCE ON IMAGE PROCESSING THEORY, TOOLS AND APPLICATIONS (IPTA), International Conference on Image Processing Theory Tools and Applications, IEEE, 2016. (DOI).
  48. A chronological and mathematical overview of digital circle generation algorithms: Introducing efficient 4- and 8-connected circles. Tony Barrera, Anders Hast, and Ewert Bengtsson. In International Journal of Computer Mathematics, volume 93, number 8, pp 1241-1253, 2016. (DOI).
  49. Preface. Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira, Alexandra Silva, Youssef Arbach, David S. Karcher, Kirstin Peters, and Uwe Nestmann. In Electronic Proceedings in Theoretical Computer Science, number 223, OPEN PUBL ASSOC, 2016.
  50. Proc. 9th Interaction and Concurrency Experience. Massimo Bartoletti, Ludovic Henrio, Sophia Knight, and Hugo Torres Vieira (eds). Volume 223 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2016. (DOI, Fulltext).
  51. Fast event-based epidemiological simulations on national scales. Pavol Bauer, Stefan Engblom, and Stefan Widgren. In The international journal of high performance computing applications, volume 30, pp 438-453, 2016. (DOI, Fulltext).
  52. Psi-Calculi in Isabelle. Jesper Bengtson, Joachim Parrow, and Tjark Weber. In Journal of automated reasoning, volume 56, number 1, pp 1-47, 2016. (DOI).
  53. Generalized Beer–Lambert model for near-infrared light propagation in thick biological tissues. Manish Bhatt, Kalyan R. Ayyalasomayajula, and Phaneendra K. Yalavarthy. In Journal of Biomedical Optics, volume 21, number 7, 2016. (DOI).
  54. AutoDietary: A wearable acoustic sensor system for food intake recognition in daily life. Yin Bi, Mingsong Lv, Chen Song, Wenyao Xu, Nan Guan, and Wang Yi. In IEEE Sensors Journal, volume 16, number 3, pp 806-816, 2016. (DOI, Fulltext).
  55. Multi-feature fusion for thermal face recognition. Yin Bi, Mingsong Lv, Yangjie Wei, Nan Guan, and Wang Yi. In Infrared physics & technology, volume 77, pp 366-374, 2016. (DOI).
  56. Mean and variance of the LQG cost function. Hildo Bijl, Jan-Willem van Wingerden, Thomas B. Schön, and Michel Verhaegen. In Automatica, volume 67, pp 216-223, 2016. (DOI).
  57. A note on terminology in multigrid methods. Philipp Birken, Jonathan Bull, and Antony Jameson. In Proceedings in Applied Mathematics and Mechanics: PAMM, volume 16, number 1, pp 721-722, 2016. (DOI).
  58. A study of multigrid smoothers used in compressible CFD based on the convection diffusion equation. Philipp Birken, Jonathan Bull, and Antony Jameson. In Proc. 7th ECCOMAS Congress, pp 2648-2663, European Community on Computional Methods in Applied Sciences (ECCOMAS), 2016. (DOI).
  59. A multicomponent T<sub>2</sub> relaxometry algorithm for myelin water imaging of the brain. Marcus Björk, Dave Zachariah, Joel Kullberg, and Peter Stoica. In Magnetic Resonance in Medicine, volume 75, number 1, pp 390-402, 2016. (DOI).
  60. Highly accurate stability-preserving optimization of the Zener viscoelastic model, with application to wave propagation in the presence of strong attenuation. Emilie Blanc, Dimitri Komatitsch, Emmanuel Chaljub, Bruno Lombard, and Zhinan Xie. In Geophysical Journal International, volume 205, pp 427-439, 2016. (DOI).
  61. Mesoscopic modeling of stochastic reaction–diffusion kinetics in the subdiffusive regime. Emilie Blanc, Stefan Engblom, Andreas Hellander, and Per Lötstedt. In Multiscale Modeling & simulation, volume 14, pp 668-707, 2016. (DOI).
  62. Industrial Evaluation of Test Suite Generation Strategies for Model-Based Testing. Johan Blom, Bengt Jonsson, and Sven-Olof Nyström. In , 2016. (DOI).
  63. Model-Based Protocol Testing in an Erlang Environment. Johan Blom. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 122, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  64. Activity prioritization to focus the control task analysis. Ida Bodin and Stas S. Krupenia. In Journal of Cognitive Engineering and Decision Making, volume 10, number 1, pp 91-104, 2016. (DOI).
  65. Cognitive work analysis in practice: Adaptation to project scope and industrial context. Ida Bodin. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-005, Uppsala University, 2016. (fulltext).
  66. Rebuttal to Burns and Naikar. Ida Bodin and Stas S. Krupenia. In Journal of Cognitive Engineering and Decision Making, volume 10, number 1, pp 109-110, 2016. (DOI).
  67. Work domain analysis of an intensive care unit: An Abstraction Hierarchy based on a bed-side approach. Ida Bodin, Camilla Fröjd, and Anders Arweström Jansson. In Proc. Human Factors and Ergonomics Society Europe Chapter 2015 Annual Conference, 2016. (External link).
  68. TissueMaps: A large multi-scale data analysis platform for digital image application built on open-source software. Maxime Bombrun, Petter Ranefall, and Carolina Wählby. In , 2016.
  69. Do LoRa Low-Power Wide-Area Networks Scale?. Martin Bor, Utz Roedig, Thiemo Voigt, and Juan Alonso. In , 2016. (fulltext:print).
  70. A Lambda-Calculus Foundation for Universal Probabilistic Programming. Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, and Marcin Szymczak. In SIGPLAN notices, volume 51, number 9, pp 33-46, 2016. (DOI, fulltext:postprint).
  71. A Sorted Semantic Framework for Applied Process Calculi. Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, and Johannes Åman Pohjola. In Logical Methods in Computer Science, volume 12, number 1, pp 1-49, 2016. (DOI, Fulltext, fulltext:postprint).
  72. Fabular: Regression formulas as probabilistic programming. Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio Russo, Adam Scibior, and Marcin Szymczak. In Proc. 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volume 51(1) of ACM SIGPLAN Notices, pp 271-283, ACM Press, New York, 2016. (DOI, fulltext:postprint).
  73. Extracting fiber and network connectivity data using microtomography images of paper. Svetlana Borodulina, Erik L. G. Wernersson, Artem Kulachenko, and Cris L. Luengo Hendriks. In Nordic Pulp & Paper Research Journal, volume 31, number 3, pp 469-478, 2016. (DOI).
  74. A formal model of service-oriented dynamic object groups. Einar Broch Johnsen, Olaf Owe, Dave Clarke, and Joakim Bjørk. In Science of Computer Programming, volume 115–116, pp 3-22, 2016. (DOI).
  75. A matrix-free Legendre spectral method for initial–boundary value problems. Bernd Brumm and Emil Kieri. In Electronic Transactions on Numerical Analysis, volume 45, pp 283-304, 2016. (Article).
  76. A direct solver for the advection–diffusion equation using Green's functions and low-rank approximation. Jonathan Bull, Stefan Engblom, and Sverker Holmgren. In Proc. 7th ECCOMAS Congress, pp 7302-7316, European Community on Computional Methods in Applied Sciences (ECCOMAS), 2016. (DOI).
  77. Explicit filtering and exact reconstruction of the sub-filter stresses in large eddy simulation. Jonathan R. Bull and Antony Jameson. In Journal of Computational Physics, volume 306, pp 117-136, 2016. (DOI, fulltext:postprint).
  78. Preconditioning 2D integer data for fast convex hull computations. José Oswaldo Cadenas, Graham M. Megson, and Cris L. Luengo Hendriks. In PLOS ONE, volume 11, number 3, 2016. (DOI, Fulltext).
  79. Designing eHealth Services for Patients and Relatives: Critical incidents and lessons to learn. Åsa Cajander, Christiane Grünloh, Thomas Lind, and Isabella Scandurra. In Proc. 9th Nordic Conference on Human-Computer Interaction: Game-Changing Design, ACM Press, New York, 2016. (DOI).
  80. Journal via nätet: delaktighet för patienterna och oro hos personalen. Åsa Cajander and Rose-Mharie Åhlfeldt. Inera-rapport, Inera AB, Stockholm, 2016. (fulltext).
  81. Peer reflection on inclusive supervision: A study circle as a space for collegial learning. Åsa Cajander and Ulrike Schnaas. In Utbildning och Lärande / Education and Learning, volume 10, number 1, pp 54-69, 2016. (Article).
  82. Protocol, mobility and adversary models for the verification of security. Volkan Cambazoglu. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-007, Uppsala University, 2016. (fulltext).
  83. Extended versions of papers presented at WS-FM 2014 and Beat 2014. Marco Carbone, Thomas Hildebrandt, Joachim Parrow, and Matthias Weidlich. In Formal Aspects of Computing, volume 28, number 4, pp 529-530, 2016. (DOI).
  84. Augmenting IoT networks with backscatter-enabled passive sensor tags. Perez Penichet Carlos, Frederik Hermans, Ambuj Varshney, and Thiemo Voigt. In Proceedings of the 3rd Workshop on Hot Topics in Wireless, pp 23-27, 2016. (DOI, fulltext:postprint).
  85. Fault detection and isolation of sensors in aeration control systems. Bengt Carlsson and Jesús Zambrano. In Water Science and Technology, volume 73, number 3, pp 648-653, 2016. (DOI).
  86. Active learning for extended finite state machines. Sofia Cassel, Falk Howar, Bengt Jonsson, and Bernhard Steffen. In Formal Aspects of Computing, volume 28, number 2, pp 233-263, 2016. (DOI).
  87. Determining progress in writing competency by assessing students’ argumentation. Sofia Cassel and Aletta Nylén. In Proc. 46th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2016. (DOI).
  88. Kappa: Insights, Current Status and Future Work. Elias Castegren and Tobias Wrigstad. In , 2016. (Extended abstract, fulltext:postprint).
  89. LOLCAT: Relaxed Linear References for Lock-free Programming. Elias Castegren and Tobias Wrigstad. Technical report / Department of Information Technology, Uppsala University nr 2016-013, 2016. (fulltext).
  90. Reference Capabilities for Concurrency Control. Elias Castegren and Tobias Wrigstad. In ECOOP 2016 — Object-Oriented Programming, 2016. (fulltext:postprint).
  91. Reference Capabilities for Trait Based Reuse and Concurrency Control. Elias Castegren and Tobias Wrigstad. Technical report / Department of Information Technology, Uppsala University nr 2016-007, 2016. (fulltext).
  92. Types for CAS: Relaxed Linearity with Ownership Transfer. Elias Castegren and Tobias Wrigstad. In , 2016. (fulltext:postprint).
  93. Characterizing Task Scheduling Performance Based on Data Reuse. Germán Ceballos, Thomas Grass, David Black-Schaffer, and Andra Hugo. In Proc. 9th Nordic Workshop on Multi-Core Computing, 2016. (fulltext:print).
  94. Formalizing data locality in task parallel applications. Germán Ceballos, Erik Hagersten, and David Black-Schaffer. In Algorithms and Architectures for Parallel Processing, volume 10049 of Lecture Notes in Computer Science, pp 43-61, Springer, 2016. (DOI).
  95. Spatial and Temporal Cache Sharing Analysis in Tasks. Germán Ceballos and David Black-Schaffer. In , Timisoara, Romania, 2016. (Proceedings, fulltext:print).
  96. International Workshop on Social Learning and Multimodal Interaction for Designing Artificial Agents. Mohamed Chetouani, Salvatore M. Anzalone, Giovanna Varni, Isabelle Hupont Torres, Ginevra Castellano, Angelica Lim, and Gentiane Venture. In Proc. 18th ACM International Conference on Multimodal Interaction, pp 598-600, ACM Press, New York, 2016. (DOI).
  97. Comparison of 2D radiography and a semi-automatic CT-based 3D method for measuring change in dorsal angulation over time in distal radius fractures. Albert Christersson, Johan Nysjö, Lars Berglund, Filip Malmberg, Ida-Maria Sintorn, Ingela Nyström, and Sune Larsson. In Skeletal Radiology, volume 45, number 6, pp 763-769, 2016. (DOI).
  98. Discrete-time map for an impulsive Goodwin oscillator with a distributed delay. Alexander N. Churilov and Alexander Medvedev. In MCSS. Mathematics of Control, Signals and Systems, volume 28, number 1, 2016. (DOI).
  99. Impulsive Goodwin oscillator with large delay: Periodic oscillations, bistability, and attractors. Alexander N. Churilov, Alexander Medvedev, and Zhanybai T. Zhusubaliyev. In Nonlinear Analysis: Hybrid Systems, volume 21, pp 171-183, 2016. (DOI).
  100. Vats: A safe, reactive storage abstraction. Dave Clarke and Tobias Wrigstad. In Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, volume 9660 of Lecture Notes in Computer Science, pp 140-154, Springer, 2016. (DOI).
  101. A framework for writing learning agreements. Tony Clear, Roger McDermott, Elin Parsjö, Åsa Cajander, Mats Daniels, and Nanna Lagerqvist. In Proc. 46th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2016. (DOI).
  102. Challenges and recommendations for the design and conduct of global software engineering courses: A systematic review. Tony Clear, Sarah Beecham, John Barr, Mats Daniels, Roger McDermott, Michael Oudshoorn, Airina Savickaite, and John Noll. In Proceedings of The 2015 Iticse Conference on Working Group Reports (Iticse-Wgp'15), pp 1-39, ACM Press, New York, 2016. (DOI).
  103. Developments in Global Software Engineering Education. Tony Clear, Sarah Beecham, John Barr, Mats Daniels, Michael Oudshoorn, and John Noll. In 2016 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE), Frontiers in Education Conference, 2016. (DOI).
  104. A new method for reconstructing brain morphology: Applying the brain-neurocranial spatial relationship in an extant lungfish to a fossil endocast. Alice M. Clement, Robin Strand, Johan Nysjö, John A. Long, and Per E. Ahlberg. In Royal Society Open Science, volume 3, number 7, 2016. (DOI, Fulltext).
  105. Integrating User-Centred Design in Agile Development. Gilbert Cockton, Marta Lárusdóttir, Peggy Gregory, and Åsa Cajander (eds). Springer, 2016. (DOI).
  106. Integrating user-centred design in agile development. Gilbert Cockton, Marta Lárusdóttir, Peggy Gregory, and Åsa Cajander. In Integrating User-Centred Design in Agile Development, pp 1-46, Springer, 2016. (DOI).
  107. Engagement perception and generation for social robots and virtual agents. Lee J. Corrigan, Christopher Peters, Dennis Küster, and Ginevra Castellano. In Toward Robotic Socially Believable Behaving Systems: Volume I, Modeling Emotions, volume 105 of Intelligent Systems Reference Library, pp 29-51, Springer, 2016. (DOI).
  108. Mathematical modeling for optimization of Deep Brain Stimulation. Rubén Cubo. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-002, Uppsala University, 2016. (fulltext).
  109. Model-based optimization of individualized Deep Brain Stimulation therapy. Rubén Cubo, Alexander Medvedev, and Mattias Åström. In IEEE Design & Test, volume 33, number 4, pp 74-81, 2016. (DOI).
  110. Optimization of deep brain stimulation by means of a patient-specific mathematical model. Rubén Cubo, Elena Jiltsova, Markus Fahlström, Helena Andersson, and Alexander Medvedev. In , 2016.
  111. Optimization of lead design and electrode configuration in Deep Brain Stimulation. Rubén Cubo, Mattias Åström, and Alexander Medvedev. In International Journal On Advances in Life Sciences, volume 8, pp 76-86, 2016. (Article, fulltext:postprint).
  112. Identification using Convexification and Recursion. Liang Dai. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 123, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  113. Using convolution to estimate the score function for intractable state-transition models. Liang Dai and Thomas B. Schön. In IEEE Signal Processing Letters, volume 23, number 4, pp 498-501, 2016. (DOI).
  114. Empowering towards healthy behaviours. Meena Daivadanamn, Åsa Cajander, Isto Huvila, and Jo-Anne Dahl. In Ending Childhood Obesity: Actions through health and food equity, pp 34-39, Uppsala University, 2016. (fulltext:print).
  115. Professional Competencies for Real?: A Question about Identity!. Mats Daniels. In ITiCSE '16 Proceedings of the 2016 ACM Conference in Innovation and Technology in Computer Science Education, ACM Digital Library, 2016. (DOI).
  116. Hummingbird: monitoring and analyzing flash X-ray imaging experiments in real time. Benedikt J. Daurer, Max F. Hantke, Carl Nettelblad, and Filipe R. N. C. Maia. In Journal of applied crystallography, volume 49, pp 1042-1047, 2016. (DOI, Fulltext).
  117. Optimal preconditioning for image deblurring with Anti-Reflective boundary conditions. Pietro Dell'Acqua, Marco Donatelli, Stefano Serra-Capizzano, Debora Sesana, and Cristina Tablino-Possio. In Linear Algebra and its Applications, volume 502, pp 159-185, 2016. (DOI).
  118. How expressiveness of a robotic tutor is perceived by children in a learning environment. Amol Deshmukh, Srinivasan Janarthanam, Helen Hastie, Mei Yii Lim, Ruth Aylett, and Ginevra Castellano. In Proc. 11th ACM/IEEE International Conference on Human Robot Interaction, pp 423-424, IEEE Press, Piscataway, NJ, 2016. (DOI).
  119. Poster Abstract: LocaLight - A Battery-free PassiveLocalization System Using Visible Light. Elena Di Lascio, Ambuj Varshney, Voigt Thiemo, and Carlos Pérez-Penichet. In , 2016.
  120. Output feedback stabilization of the linearized bilayer Saint-Venant model. Ababacar Diagne, Shuxia Tang, Mamadou Diagne, and Miroslav Krstic. In Proc. 9th Dynamic Systems and Control Conference, ASME Press, New York, 2016. (DOI).
  121. State feedback stabilization of the linearized bilayer Saint-Venant model. Ababacar Diagne, Shuxia Tang, Mamadou Diagne, and Miroslav Krstic. In , volume 49:8 of IFAC-PapersOnLine, pp 130-135, 2016. (DOI).
  122. Multilayer Social Networks. Mark E. Dickison, Matteo Magnani, and Luca Rossi. Cambridge University Press, 2016.
  123. Steady-state analysis of activated sludge processes with a settler model including sludge compression. Stefan Diehl, Jesús Zambrano, and Bengt Carlsson. In Water Research, volume 88, pp 104-116, 2016. (DOI).
  124. A block multigrid strategy for two-dimensional coupled PDEs. Marco Donatelli, Ali Dorostkar, Mariarosa Mazza, Maya Neytcheva, and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2016-001, 2016. (External link).
  125. Multigrid methods for cubic spline solution of two point (and 2D) boundary value problems. Marco Donatelli, Matteo Molteni, Vincenzo Pennati, and Stefano Serra-Capizzano. In Applied Numerical Mathematics, volume 104, pp 15-29, 2016. (DOI).
  126. Preconditioned HSS method for large multilevel block Toeplitz linear systems via the notion of matrix-valued symbol. Marco Donatelli, Carlo Garoni, Mariarosa Mazza, Stefano Serra-Capizzano, and Debora Sesana. In Numerical Linear Algebra with Applications, volume 23, pp 83-119, 2016. (DOI).
  127. Spectral analysis and spectral symbol of matrices in isogeometric collocation methods. Marco Donatelli, Carlo Garoni, Carla Manni, Stefano Serra-Capizzano, and Hendrik Speleers. In Mathematics of Computation, volume 85, number 300, pp 1639-1680, 2016. (DOI).
  128. Spectral analysis and structure preserving preconditioners for fractional diffusion equations. Marco Donatelli, Mariarosa Mazza, and Stefano Serra-Capizzano. In Journal of Computational Physics, volume 307, pp 262-279, 2016. (DOI).
  129. Surface subdivision algorithms and structured linear algebra: A computational approach to determine bounds of extraordinary rule weights. Marco Donatelli, Paola Novara, Lucia Romani, Stefano Serra-Capizzano, and Debora Sesana. Technical report / Department of Information Technology, Uppsala University nr 2016-012, 2016. (External link).
  130. Spectral analysis of coupled PDEs and of their Schur complements via Generalized Locally Toeplitz sequences in 2D. Ali Dorostkar, Maya Neytcheva, and Stefano Serra-Capizzano. In Computer Methods in Applied Mechanics and Engineering, volume 309, pp 74-105, 2016. (DOI).
  131. MOLNs: A cloud platform for interactive, reproducible, and scalable spatial stochastic computational experiments in systems biology using PyURDME. Brian Drawert, Michael Trogdon, Salman Toor, Linda Petzold, and Andreas Hellander. In SIAM Journal on Scientific Computing, volume 38, pp C179-C202, 2016. (DOI).
  132. Stochastic Simulation Service: Bridging the gap between the computational expert and the biologist. Brian Drawert, Andreas Hellander, Ben Bales, Debjani Banerjee, Giovanni Bellesia, Bernie J. Daigle Jr., Geoffrey Douglas, Mengyuan Gu, Anand Gupta, Stefan Hellander, Chris Horuk, Dibyendu Nath, Aviral Takkar, Sheng Wu, Per Lötstedt, Chandra Krintz, and Linda R. Petzold. In PloS Computational Biology, volume 12, number 12, 2016. (DOI, Fulltext).
  133. Estimation of Feret's diameter from pixel coverage representation of a shape. Slobodan Drazic, Natasa Sladoje, and Joakim Lindblad. In Pattern Recognition Letters, volume 80, pp 37-45, 2016. (DOI).
  134. Schedulability analysis of a graph-based task model for mixed-criticality systems. Pontus Ekberg and Wang Yi. In Real-time systems, volume 52, number 1, pp 1-37, 2016. (DOI).
  135. A vertex-centered discontinuous Galerkin method for flow problems. Sven-Erik Ekström. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-003, Uppsala University, 2016. (fulltext).
  136. Eigenvalues of banded symmetric Toeplitz matrices are known almost in closed form?. Sven-Erik Ekström and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2016-017, 2016. (External link).
  137. A multilevel Monte Carlo method for computing failure probabilities. Daniel Elfverson, Fredrik Hellman, and Axel Målqvist. In SIAM/ASA Journal on Uncertainty Quantification, volume 4, pp 312-330, 2016. (DOI).
  138. Fast Matlab compatible sparse assembly on multicore computers. Stefan Engblom and Dimitar Lukarski. In Parallel Computing, volume 56, pp 1-17, 2016. (DOI).
  139. Preconditioned Metropolis sampling as a strategy to improve efficiency in posterior exploration. Stefan Engblom and Vikram Sunkara. In , volume 49:26 of IFAC-PapersOnLine, pp 89-94, 2016. (DOI).
  140. Multilevel Monte Carlo methods for computing failure probability of porous media flow systems. Fritjof Fagerlund, Fredrik Hellman, Axel Målqvist, and Auli Niemi. In Advances in Water Resources, volume 94, pp 498-509, 2016. (DOI, fulltext:postprint).
  141. Reliability in co-located 802.15.4 personal area networks. Laura Marie Feeney and Viktoria Fodor. In , pp 5-10, ACM Press, New York, 2016. (DOI).
  142. Towards a better battery model for INET. Laura Marie Feeney. In , 2016.
  143. ParT: An asynchronous parallel abstraction for speculative pipeline computations. Kiko Fernandez-Reyes, Dave Clarke, and Daniel S. McCain. In Coordination Models and Languages, volume 9686 of Lecture Notes in Computer Science, pp 101-120, Springer, 2016. (DOI).
  144. Measuring online affects in a white supremacy forum. Léo Figea, Lisa Kaati, and Ryan Scrivens. In Proc. 14th International Conference on Intelligence and Security Informatics, pp 85-90, IEEE, 2016. (DOI).
  145. An Online Overclocking Scheme for Bursty Real-time Tasks and an Evaluation of its Thermal Impact. Bjoern Forsberg, Kai Lampka, and Vasileios Spiliopoulos. In 14Th ACM/IEEE Symposium On Embedded Systems For Real-Time Multimedia (ESTIMEDIA 2016), pp 104-113, 2016. (DOI).
  146. Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations. Juliana Franco, Tobias Wrigstad, and Sophia Drossopoulou. In , 2016. (Fulltext, fulltext:postprint).
  147. Preface, Electronic Proceedings in Theoretical Computer Science. Vol 219. John Gallagher and Philipp Rümmer. In Electronic Proceedings in Theoretical Computer Science, number 219, OPEN PUBL ASSOC, 2016.
  148. Deep gate recurrent neural network. Alex Yuan Gao and Dorota Glowacka. In Proc. 8th Asian Conference on Machine Learning, volume 63 of Proceedings of Machine Learning Research, pp 350-365, 2016. (External link).
  149. The theory of locally Toeplitz sequences: a review, an extension, and a few representative applications. Carlo Garoni and Stefano Serra-Capizzano. In Boletín de la Sociedad Matematica Mexicana, volume 22, pp 529-565, 2016. (DOI).
  150. One-Bit Compressive Sampling with Time-Varying Thresholds: Maximum Likelihood and the Cramer-Rao Bound. Christopher Gianelli, Luzhou Xu, Jian Li, and Petre Stoica. In 2016, 50Th Asilomar Conference On Signals, Systems And Computers, Conference Record of the Asilomar Conference on Signals Systems and Computers, pp 399-403, IEEE COMPUTER SOC, 2016. (DOI).
  151. One-bit compressive sampling with time-varying thresholds for sparse parameter estimation. Christopher Gianelli, Luzhou Xu, Jian Li, and Peter Stoica. In Proc. 9th Sensor Array and Multichannel Signal Processing Workshop, IEEE, Piscataway, NJ, 2016. (DOI).
  152. Analysis of the distribution of CD103 on CD8 T cells in blood and genital mucosa of HIV-infected female sex workers. Anna Gibbs, Marcus Buggert, Petter Ranefall, Andrea Introini, Stanley Cheuk, Liv Eidsmo, Taha Hirbod, Terry B. Ball, Joshua Kimani, Rupert Kaul, Annika C. Karlsson, Carolina Wählby, Kristina Broliden, and Annelie Tjernlund. In AIDS Research and Human Retroviruses, volume 32, number S1, pp 307-307, 2016.
  153. Kleene Algebras with Domain. Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth, and Tjark Weber. In Archive of Formal Proofs, 2016. (External link).
  154. Workshop on the integration of user-centred design and agile development: Approach, findings and themes. Peggy Gregory, Marta Lárusdóttir, Åsa Cajander, and Gilbert Cockton. In Integrating User-Centred Design in Agile Development, pp 193-203, Springer, 2016. (DOI).
  155. The record is our work tool!: Physicians' framing of a patient portal in Sweden. Christiane Grünloh, Åsa Cajander, and Gunilla Myreteg. In Journal of Medical Internet Research, volume 18, number 6, 2016. (DOI, Fulltext).
  156. Transforming real-time task graphs to improve schedulability. Chuancai Gu, Nan Guan, Zhiwei Feng, Qingxu Deng, Xiaobo Sharon Hu, and Wang Yi. In Proc. 22nd International Conference on Embedded and Real-Time Computing Systems and Applications, pp 29-38, IEEE Computer Society, 2016. (DOI).
  157. Evaluation of the deflated preconditioned CG method to solve bubbly and porous media flow problems on GPU and CPU. Rohit Gupta, Dimitar Lukarski, Martin B. van Gijzen, and Cornelis Vuik. In International Journal for Numerical Methods in Fluids, volume 80, pp 666-683, 2016. (DOI).
  158. Languages, Logics, Types and Tools for Concurrent System Modelling. Ram?nas Gutkovas. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1392, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext).
  159. Precision automation of cell type classification and sub-cellular fluorescence quantification from laser scanning confocal images. Hardy C. Hall, Azadeh Fakhrzadeh, Cris L. Luengo Hendriks, and Urs Fischer. In Frontiers in Plant Science, volume 7, 2016. (DOI, Fulltext).
  160. Map reading with and empathic robot tutor. Lynne Hall, Colette Hume, Sarah Tazzyman, Amol Deshmukh, Srinivasan Janarthanam, Helen Hastie, Ruth Aylett, Ginevra Castellano, Fotios Papadopoulos, Aidan Jones, Lee J. Corrigan, Ana Paiva, Patrícia Alves-Oliveira, Tiago Ribeiro, Wolmet Barendregt, Sofia Serholt, and Arvid Kappas. In Proc. 11th ACM/IEEE International Conference on Human Robot Interaction, pp 567-567, IEEE Press, Piscataway, NJ, 2016. (DOI).
  161. Pose estimation of cyclic movement using inertial sensor data. Kjartan Halvorsen and Fredrik Olsson. In Proc. 19th Statistical Signal Processing Workshop, IEEE Signal Processing Society, 2016. (DOI, fulltext:postprint).
  162. Cloud-assisted data fusion and sensor selection for Internet of Things. Farshid Hassani Bijarbooneh, Wei Du, Edith C.-H. Ngai, Xiaoming Fu, and Jiangchuan Liu. In IEEE Internet of Things Journal, volume 3, number 3, pp 257-268, 2016. (DOI).
  163. A segmentation-free handwritten word spotting approach by relaxed feature matching. Anders Hast and Alicia Fornés. In Proc. 12th IAPR Workshop on Document Analysis Systems, pp 150-155, IEEE, 2016. (DOI).
  164. Stereo Visualisation of Historical Aerial Photos: A Useful and Important Aerial Archeology Research Tool. Anders Hast, Carlotta Capurro, Dries Nollet, Daniel Pletinckx, B. Estevez, M. Pazos, J. M. Franco, and Andrea Marchetti. In , 2016.
  165. The Challenges and Advantages with a Parallel Implementation of Feature Matching. Anders Hast and Andrea Marchetti. In Proc. 11th International Conference on Computer Vision Theory and Applications, 2016.
  166. Pointer Race Freedom. Frédéric Haziza, Lukás Holík, Roland Meyer, and Sebastian Wolff. In Verification, Model Checking, And Abstract Interpretation, VMCAI 2016, volume 9583 of Lecture Notes in Computer Science, pp 393-412, Springer, 2016. (DOI).
  167. Arpeggio: a penetration attack on glossy networks. Zhitao He, Kasun Hewage, and Thiemo Voigt. In Proc. 13th International Conference on Sensing, Communication, and Networking, pp 37-45, IEEE, 2016. (DOI).
  168. Multiscale mixed finite elements. Fredrik Hellman, Patrick Henning, and Axel Målqvist. In Discrete and Continuous Dynamical Systems. Series S, volume 9, pp 1269-1298, 2016. (DOI, fulltext:postprint).
  169. FOCUS: Robust visual codes for everyone. Frederik Hermans, Liam McNamara, Gábor Sörös, Christian Rohner, Thiemo Voigt, and Edith Ngai. In Proc. 14th International Conference on Mobile Systems, Applications, and Services, pp 319-332, ACM Press, New York, 2016. (DOI).
  170. Preconditioning for radial basis function partition of unity methods. Alfa Heryudono, Elisabeth Larsson, Alison Ramage, and Lina von Sydow. In Journal of Scientific Computing, volume 67, pp 1089-1109, 2016. (DOI, fulltext:postprint).
  171. Towards a secure synchronous communication architecture for low-power wireless networks. Kasun Hewage. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-004, Uppsala University, 2016. (fulltext).
  172. modBulb: a modular light bulb for visible light communication. Kasun Hewage, Ambuj Varshney, Abdalah Hilmia, and Thiemo Voigt. In , pp 13-18, ACM Digital Library, New York, 2016. (DOI).
  173. Poster Abstract:BouKey: Location-Based Key Sharing Using Visible LightCommunication. Abdalah Hilmia, Kasun Hewage, Ambuj Varshney, Christian Rohner, and Thiemo Voigt. In , 2016.
  174. Optimizing Horn Solvers for Network Repair. Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerny, and Nate Foster. In Proceedings of the 2016 16Th Conference on Formal Methods In Computer-Aided Design (FMCAD 2016), pp 73-80, IEEE, 2016.
  175. Patients reading their medical records: Differences in experiences and attitudes between regular and inexperienced readers. Isto Huvila, Mats Daniels, Åsa Cajander, and Rose-Mharie Åhlfeldt. In Information research, volume 21, number 1, 2016. (Article).
  176. Efficient computation of the quasi likelihood function for discretely observed diffusion processes. Lars Josef Höök and Erik Lindström. In Computational Statistics & Data Analysis, volume 103, pp 426-437, 2016. (DOI).
  177. Signature of a Shape Based on Its Pixel Coverage Representation. Vladimir Ilic, Joakim Lindblad, and Nataša Sladoje. In Discrete Geometry for Computer Imagery, DGCI 2016. Lecture Notes in Computer Science, Vol. 9647, pp. 181-193, Springer 2016: 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedings, pp 181-193, Springer Berlin/Heidelberg, 2016. (DOI).
  178. Image Analysis and Deep Learning for Applications in Microscopy. Omer Ishaq. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1371, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  179. Writing to learn programming?: A single case pilot study. Ville Isomöttönen, Aletta Nylén, and Ville Tirronen. In Proc. 16th International Conference on Computing Education Research: Koli Calling, pp 140-144, ACM Press, New York, 2016. (DOI).
  180. Concise Loads and Stores: The Case for an Asymmetric Compute-Memory Architecture for Approximation. Animesh Jain, Parker Hill, Shih-Chieh Lin, Muneeb Khan, Md E. Haque, Michael A. Laurenzano, Scott Mahlke, Lingjia Tang, and Jason Mars. In 2016 49Th Annual IEEE/ACM International Symposium On Microarchitecture (MICRO), International Symposium on Microarchitecture Proceedings, 2016.
  181. Partitioning GPUs for Improved Scalability. Johan Janzén, David Black-Schaffer, and Andra Hugo. In Proc. 28th International Symposium on Computer Architecture and High Performance Computing, International Symposium on Computer Architecture and High Performance Computing, pp 42-49, IEEE Computer Society, 2016. (DOI).
  182. A machine-learning approach to measuring the escape of ionizing radiation from galaxies in the reionization epoch. Hannes Jensen, Erik Zackrisson, Kristiaan Pelckmans, Christian Binggeli, Kristiina Ausmees, and Ulrika Lundholm. In Astrophysical Journal, volume 827, number 1, pp 5:1-12, 2016. (DOI).
  183. A combined computational and experimental X-ray CT multiscale study of stable, slowly growing cracks in wood-fibre based composite materials. Thomas Joffre, Kristoffer Segerholm, Cecilia Persson, Chris Luengo Hendriks, Stig L. Bardage, and Per Isaksson. In , 2016.
  184. A method to measure moisture induced swelling properties of a single wood cell. Thomas Joffre, Per Isaksson, Pierre J. J. Dumont, Sabine Rolland du Roscoat, Simon Sticko, Laurent Orgéas, and E. Kristofer Gamstedt. In Experimental mechanics, volume 56, pp 723-733, 2016. (DOI).
  185. A procedure for splitting data-aware processes and its application to coordination. Sung-Shik T. Q. Jongmans, Dave Clarke, and José Proença. In Science of Computer Programming, volume 115–116, pp 47-78, 2016. (DOI).
  186. Aligning quality assurance at the course unit and educational program levels. Björn Þór Jónsson, Marta Kristín Lárusdóttir, Mats Daniels, Alison Clear, Tony Clear, and Roger McDermott. In Proc. 46th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2016. (DOI).
  187. Automatic detection of xenophobic narratives: A case study on Swedish alternative media. Lisa Kaati, Amendra Shrestha, Katie Cohen, and Sinna Lindquist. In Proc. 14th International Conference on Intelligence and Security Informatics, pp 121-126, IEEE, 2016. (DOI).
  188. Countering lone actor terrorism: Weak signals and online activities. Lisa Kaati and Fredrik Johansson. In Understanding Lone Actor Terrorism: Past experience, future outlook, and response strategies, pp 266-279, Routledge, Abingdon, UK, 2016. (DOI).
  189. Identifying Warning Behaviors of Violent Lone Offenders in Written Communication. Lisa Kaati, Amendra Shrestha, and Tony Sardella. In 2016 IEEE 16Th International Conference On Data Mining Workshops (ICDMW), International Conference on Data Mining Workshops, pp 1053-1060, IEEE, New York, 2016. (DOI).
  190. Identifying warning behaviors of violent lone offenders in written communication. Lisa Kaati, Amendra Shrestha, and Tony Sardella. In Proc. 16th ICDM Workshops, pp 1053-1060, IEEE Computer Society, 2016. (DOI, fulltext:postprint).
  191. Linguistic analysis of lone offender manifestos. Lisa Kaati, Amendra Shrestha, and Katie Cohen. In Proc. 4th International Conference on Cybercrime and Computer Forensics, IEEE, 2016. (DOI).
  192. Semantic technologies for detecting names of new drugs on darknets. Lisa Kaati, Fredrik Johansson, and Elinor Forsman. In Proc. 4th International Conference on Cybercrime and Computer Forensics, IEEE, 2016. (DOI).
  193. JayHorn: A framework for verifying Java programs. Temesghen Kahsai, Philipp Rümmer, Huascar Sanchez, and Martin Schäf. In Computer Aided Verification: Part I, volume 9779 of Lecture Notes in Computer Science, pp 352-358, Springer, 2016. (DOI, fulltext:postprint).
  194. Analysis of neural crest-derived clones reveals novel aspects of facial development. Marketa Kaucka, Evgeny Ivashkin, Daniel Gyllborg, Tomas Zikmund, Marketa Tesarova, Jozef Kaiser, Meng Xie, Julian Petersen, Vassilis Pachnis, Silvia K. Nicolis, Tian Yu, Paul Sharpe, Ernest Arenas, Hjalmar Brismar, Hans Blom, Hans Clevers, Ueli Suter, Andrei S. Chagin, Kaj Fried, Andreas Hellander, and Igor Adameyko. In Science Advances, volume 2, number 8, pp e1600060:1-16, 2016. (DOI, Fulltext).
  195. ???????? ???????????, ?????? ??? ??????????? ?????????. Iordanis Kavathatzopoulos. In , 2016.
  196. Fourth generation of next-generation sequencing technologies: Promise and consequences. Rongqin Ke, Marco Mignardi, Thomas Hauling, and Mats Nilsson. In Human Mutation, volume 37, number 12, pp 1363-1367, 2016. (DOI, Fulltext).
  197. Feature augmented deep neural networks for segmentation of cells. Sajith Kecheril Sadanandan, Petter Ranefall, and Carolina Wählby. In Computer Vision – ECCV 2016 Workshops: Part I, volume 9913 of Lecture Notes in Computer Science, pp 231-243, Springer, 2016. (DOI).
  198. Segmentation and track-analysis in time-lapse imaging of bacteria. Sajith Kecheril Sadanandan, Özden Baltekin, Klas E. G. Magnusson, Alexis Boucharin, Petter Ranefall, Joakim Jaldén, Johan Elf, and Carolina Wählby. In IEEE Journal on Selected Topics in Signal Processing, volume 10, number 1, pp 174-184, 2016. (DOI).
  199. Optimizing Performance in Highly Utilized Multicores with Intelligent Prefetching. Muneeb Khan. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1335, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  200. Fronto-facial advancement and bipartition in Crouzon-Pfeiffer and Apert syndromes: Impact of fronto-facial surgery upon orbital and airway parameters in <em>FGFR2</em> syndromes. Roman H. Khonsari, Benjamin Way, Johan Nysjö, Guillaume A. Odri, Raphaël Olszewski, Robert D. Evans, David J. Dunaway, Ingela Nyström, and Jonathan A. Britto. In Journal of Cranio-Maxillofacial Surgery, volume 44, number 10, pp 1567-1575, 2016. (DOI).
  201. Discretized dynamical low-rank approximation in the presence of small singular values. Emil Kieri, Christian Lubich, and Hanna Walach. In SIAM Journal on Numerical Analysis, volume 54, pp 1020-1038, 2016. (DOI, fulltext:print).
  202. Numerical Methods for Wave Propagation: Analysis and Applications in Quantum Dynamics. Emil Kieri. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1330, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  203. Shallow ice approximation, second order shallow ice approximation, and full Stokes models: A discussion of their roles in palaeo-ice sheet modelling and development. Nina Kirchner, Josefin Ahlkrona, Evan J. Gowan, Per Lötstedt, James M. Lea, Riko Noormets, Lina von Sydow, Julian A. Dowdeswell, and Toby Benham. In Quaternary Science Reviews, volume 135, pp 103-114, 2016. (DOI).
  204. Gennadi Henkin (1942–2016)<em></em>: Some memories. Christer O. Kiselman. In Bulletinen. Svenska matematikersamfundets Bulletin., pp 37-44, Svenska Matematikersamfundet, Göteborg, 2016.
  205. La jidogramatiko de Zamenhof kaj lia Lingvo universala: Mallonga versio. Christer O. Kiselman. In Prilingve en Nitro: politike, historie, teorie, instrue<em></em>: Fakaj prelegoj prezentitaj kadre de la 101-a Universala Kongreso de Esperanto, pp 159-175, Universala Esperanto-Asocio, Rotterdam, 2016.
  206. Lingva ri?o kaj la postuloj de la terminologio. Christer O. Kiselman. In Lingua, politica, cultura: Serta gratulatoria in honorem Renato Corsetti, pp 125-135, Mondial, New York, 2016.
  207. Matematiktermer i skolan. Christer O. Kiselman. In Tema: Lexikon över lexikon, volume 25 of Insikt och handling, pp 53-54, Hans Larsson Samfundet, Göteborg, 2016.
  208. Olle Hanner på Stockholms högskola. Christer O. Kiselman. In Svenska matematikersamfundets medlemsblad, pp 27-27, Svenska matematikersamfundet, Göteborg, 2016.
  209. Weak lineal convexity. Christer O. Kiselman. In Constructive Approximation of Functions, volume 107 of Banach Center Publications, pp 159-174, Polish Academy of Sciences, Warsaw, 2016.
  210. A scalable and distributed solution to the inertial motion capture problem. Manon Kok, Sina Khoshfetrat Pakazad, Thomas B. Schön, Anders Hansson, and Jeroen D. Hol. In Proc. 19th International Conference on Information Fusion, pp 1348-1355, IEEE, 2016.
  211. Magnetometer calibration using inertial sensors. Manon Kok and Thomas B. Schön. In IEEE Sensors Journal, volume 16, number 14, pp 5679-5689, 2016. (DOI).
  212. Géométrie digitale utilisée pour la discretisation et le recouvrement optimal des objets euclidiens. Adama Arouna Koné. Ph.D. thesis, , Université des Sciences, des Techniques et des Technologie de Bamako, Bamako, Mali, 2016.
  213. Building Heterogeneous Unified Virtual Memories (UVMs) without the Overhead. Konstantinos Koukos, Alberto Ros, Erik Hagersten, and Stefanos Kaxiras. In ACM Transactions on Architecture and Code Optimization (TACO), volume 13, number 1, 2016. (DOI, fulltext:preprint).
  214. Efficient Execution Paradigms for Parallel Heterogeneous Architectures. Konstantinos Koukos. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1405, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  215. Multiversioned decoupled access-execute: The key to energy-efficient compilation of general-purpose programs. Konstantinos Koukos, Per Ekemark, Georgios Zacharopoulos, Vasileios Spiliopoulos, Stefanos Kaxiras, and Alexandra Jimborean. In Proc. 25th International Conference on Compiler Construction, pp 121-131, ACM Press, New York, 2016. (DOI, fulltext:print).
  216. An adaptive interpolation scheme for molecular potential energy surfaces. Markus Kowalewski, Elisabeth Larsson, and Alfa Heryudono. In Journal of Chemical Physics, volume 145, pp 084104:1-10, 2016. (DOI).
  217. Errors-in-variables system identification using structural equation modeling. David Kreiberg, Torsten Söderström, and Fan Yang-Wallentin. In Automatica, volume 66, pp 218-230, 2016. (DOI, fulltext:postprint).
  218. Analysis of stretched grids as buffer zones in simulations of wave propagation. Gunilla Kreiss, Benjamin Krank, and Gunilla Efraimsson. In Applied Numerical Mathematics, volume 107, pp 1-17, 2016. (DOI, fulltext:postprint).
  219. Responsibilities and challenges of product owners at Spotify: An exploratory case study. Sigurhanna Kristinsdóttir, Marta Lárusdóttir, and Åsa Cajander. In Human-Centered and Error-Resilient Systems Development, volume 9856 of Lecture Notes in Computer Science, pp 3-16, Springer, 2016. (DOI).
  220. Parameterless stopping criteria for recursive density matrix expansions. Anastasia Kruchinina, Elias Rudberg, and Emanuel H. Rubensson. In Journal of Chemical Theory and Computation, volume 12, pp 5788-5802, 2016. (DOI).
  221. On the influence of interpolation method on rotation invariance in texture recognition. Gustaf Kylberg and Ida-Maria Sintorn. In EURASIP Journal on Image and Video Processing, volume 2016, 2016. (DOI, Fulltext).
  222. Achieving Efficiency Without Sacrificing Model Accuracy: Network Calculus on Compact Domains. Kai Lampka, Steffen Bondorf, and Jens Schmitt. In 2016 IEEE 24Th International Symposium On Modeling, Analysis And Simulation Of Computer And Telecommunication Systems (MASCOTS), International Symposium on Modeling Analysis and Simulation of Computer and Telecommunication Systems Proceedings, pp 313-318, 2016. (DOI).
  223. Keep it cool and in time: With runtime monitoring to thermal-aware execution speeds for deadline constrained systems. Kai Lampka, Björn Forsberg, and Vasileios Spiliopoulos. In Journal of Parallel and Distributed Computing, volume 95, pp 79-91, 2016. (DOI).
  224. Keep it slow and in time: Online DVFS with hard real-time workloads. Kai Lampka and Björn Forsberg. In Proc. 19th Conference on Design, Automation and Test in Europe, Design, Automation, and Test in Europe Conference and Exhibition, pp 385-390, IEEE, Piscataway, NJ, 2016.
  225. Resolving contention for networks-on-chips: Combining time-triggered application scheduling with dynamic budgeting of memory bus use. Kai Lampka and Adam Lackorzynski. In Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, volume 9629 of Lecture Notes in Computer Science, pp 137-152, Springer, 2016. (DOI).
  226. Implementing a secure abstract machine. Adriaan Larmuseau, Marco Patrignani, and Dave Clarke. In Proc. 31st ACM Symposium on Applied Computing, pp 2041-2048, ACM Press, New York, 2016. (DOI).
  227. Protecting Functional Programs From Low-Level Attackers. Adriaan Larmuseau. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 124, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  228. Verification of Software under Relaxed Memory. Carl Leonardsson. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1387, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  229. Guiding Craig interpolation with domain-specific abstractions. Jérôme Leroux, Philipp Rümmer, and Pavle Subotic. In Acta Informatica, volume 53, number 4, pp 387-424, 2016. (DOI, fulltext:postprint).
  230. Editorial for QShine 2014 Special Issue. Victor C. M. Leung, Jiangchuan Liu, Edith Ngai, Jianping Pan, and Thanos Stouraitis. In Mobile Networks and Applications, volume 21, number 3, pp 387-389, 2016. (DOI).
  231. Modeling and verification of dynamic command scheduling for real-time memory controllers. Yonghui Li, Benny Åkesson, Kai Lampka, and Kees Goossens. In 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE Computer Society, 2016.
  232. Fast vascular skeleton extraction algorithm. Kristína Lidayová, Hans Frimmel, Chunliang Wang, Ewert Bengtsson, and Örjan Smedby. In Pattern Recognition Letters, volume 76, pp 67-75, 2016. (DOI).
  233. Visualisation and evaluation of flood uncertainties based on ensemble modelling. Nancy Joy Lim, S. Anders Brandt, and Stefan Seipel. In International Journal of Geographical Information Science, volume 30, number 2, pp 240-262, Taylor & Francis, 2016. (DOI).
  234. Liveness of randomised parameterised systems under arbitrary schedulers. Anthony W. Lin and Philipp Rümmer. In Computer Aided Verification: Part II, volume 9780 of Lecture Notes in Computer Science, pp 112-133, Springer, 2016. (DOI, fulltext:postprint).
  235. Regular Symmetry Patterns. Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, and Jun Sun. In Verification, Model Checking, and Abstract Interpretation, volume 9583 of Lecture Notes in Computer Science, pp 455-475, Springer Berlin/Heidelberg, 2016. (DOI, fulltext:postprint).
  236. Special Issue on Cloud Computing for IoT. Chuang Lin, Kadangode K. Ramakrishnan, Jiangchuan Liu, and Edith Ngai. In IEEE Internet of Things Journal, volume 3, number 3, pp 254-256, 2016. (DOI).
  237. Students envisioning the future. Thomas Lind, Åsa Cajander, Bengt Sandblad, Mats Daniels, Marta Lárusdóttir, Roger McDermott, and Tony Clear. In Proc. 46th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2016. (DOI).
  238. Next Generation Decision Support Systems for Farmers: Sustainable Agriculture through Sustainable IT. Jessica Lindblom, Christina Lundström, and Magnus Ljung. In Farming Systems Facing Global Challenges: Capacities and Strategies.: Volume 1, pp 49-57, IFSA Europe, Berlin, 2016. (Länk till fulltext, fulltext:print).
  239. Rao–Blackwellized particle smoothers for conditionally linear Gaussian models. Fredrik Lindsten, Pete Bunch, Simo Särkkä, Thomas B. Schön, and Simon J. Godsill. In IEEE Journal on Selected Topics in Signal Processing, volume 10, number 2, pp 353-365, 2016. (DOI).
  240. EDF-VD scheduling of mixed-criticality systems with degraded quality guarantees. Di Liu, Jelena Spasic, Nan Guan, Gang Chen, Songran Liu, Todor Stefanov, and Wang Yi. In Proc. 37th Real-Time Systems Symposium, pp 35-46, IEEE Computer Society, 2016. (DOI).
  241. Hand-held Augmented Reality for Facility Maintenance. Fei Liu. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1412, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  242. A security patch addressing bandwidth request vulnerabilities in the IEEE 802.16 standard. Qiang Liu, Xiping Hu, Edith Ngai, Min Liang, Victor C. M. Leung, Zhiping Cai, and Jianping Yin. In IEEE Network, volume 30, number 5, pp 26-34, 2016. (DOI).
  243. Data modelling with Gaussian process in sensor networks for urban environmental monitoring. Xiuming Liu, Teng Xi, and Edith Ngai. In Proc. 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, pp 457-462, IEEE Computer Society, 2016. (DOI).
  244. UrbanSense: An Urban-Scale Sensing Platform for the Internet of Things. Yunior Luis, Pedro M. Santos, Tiago Lourenco, Carlos Pérez-Penichet, Tania Calcada, and Ana Aguiar. In IEEE Second International Smart Cities Conference (ISC2 2016), pp 763-768, 2016.
  245. A survey on static cache analysis for real-time systems. Mingsong Lv, Nan Guan, Jan Reineke, Reinhard Wilhelm, and Wang Yi. In Leibniz Transactions on Embedded Systems, volume 3, number 1, pp 05:1-48, 2016. (DOI, Fulltext).
  246. Speed planning for solar-powered electric vehicles. Mingsong Lv, Nan Guan, Ye Ma, Dong Ji, Erwin Knippel, Xue Liu, and Wang Yi. In Proc. 17th International Conference on Future Energy Systems, ACM Press, New York, 2016. (DOI).
  247. Challenges from integrating usability activities in Scrum: Why is Scrum so fashionable?. Marta Lárusdóttir, Åsa Cajander, Gudbjörg Erlingsdottir, Thomas Lind, and Jan Gulliksen. In Integrating User-Centred Design in Agile Development, pp 225-247, Springer, 2016. (DOI).
  248. Stakeholder Involvement in Agile Software Development. Marta Lárusdóttir, Åsa Cajander, Peggy Gregory, Gilbert Cockton, Dina Salah, Kati Kuusinen, and Gerolf Nauwerck. In Proc. 9th Nordic Conference on Human-Computer Interaction: Game-Changing Design, ACM Press, New York, 2016. (DOI).
  249. The Nifty way to call hell from heaven. Andreas Löscher and Konstantinos Sagonas. In Proc. 15th International Workshop on Erlang, pp 1-11, ACM Press, New York, 2016. (DOI).
  250. Computational challenges in modeling maternal effects in psychiatric disorders. Behrang Mahjani, Yudi Pawitan, Lambertus Klei, Bernie Devlin, Joseph Buxbaum, Dorothy Grice, Avraham Reichenberg, and Sven Sandin. 2016.
  251. Fitting linear mixed models using sparse matrix methods and Lanczos factorization. Behrang Mahjani, Lars Rönnegård, and Lars Eldén. In Computational Statistics & Data Analysis, 2016. Publication status: Submitted
  252. Global optimization algorithm PruneDIRECT as an R package. Behrang Mahjani. 2016.
  253. Methods from Statistical Computing for Genetic Analysis of Complex Traits. Behrang Mahjani. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1373, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image, errata).
  254. QTL as a service: PruneDIRECT for multi-dimensional QTL scans in cloud settings. Behrang Mahjani, Salman Toor, Carl Nettelblad, and Sverker Holmgren. In Bioinformatics, 2016. Publication status: Submitted
  255. Software as a service in analysis of quantitative trait loci. Behrang Mahjani and Salman Toor. 2016.
  256. Improving skin lesion segmentation in dermoscopic images by thin artefacts removal methods. Tomáš Majtner, Kristína Lidayová, Sule Yildirim-Yayilgan, and Jon Yngve Hardeberg. In Proceedings Of The 2016 6th European Workshop On Visual Information Processing (EUVIP), 2016.
  257. A Toolbox for Non-parametric Deformable Registration of Volume Images. Filip Malmberg, Robin Strand, Håkan Ahlström, and Joel Kullberg. In , 2016.
  258. Estimating a structural bottle neck for eye–brain transfer of visual information from 3D-volumes of the optic nerve head from a commercial OCT device. Filip Malmberg, Camilla Sandberg-Melin, and Per G. Söderberg. In Ophthalmic Technologies XXVI, volume 9693 of Proc. SPIE, SPIE - International Society for Optical Engineering, Bellingham, WA, 2016. (DOI).
  259. Toward incremental dialogue act segmentation in fast-paced interactive dialogue systems. Ramesh Manuvinakurike, Maike Paetzel, Cheng Qu, David Schlangen, and David DeVault. In Proc. 17th Annual Meeting of the Special Interest Group on Discourse and Dialogue, pp 252-262, 2016.
  260. Diagonal-norm upwind SBP operators. Ken Mattsson. Technical report / Department of Information Technology, Uppsala University nr 2016-011, 2016. (External link).
  261. High-fidelity numerical simulation of solitons in the nerve axon. Ken Mattsson and Jonatan Werpers. In Journal of Computational Physics, volume 305, pp 793-816, 2016. (DOI, fulltext:postprint).
  262. Convergence analysis for recursive Hammerstein identification. Per Mattsson and Torbjörn Wigren. In Automatica, volume 71, pp 179-186, 2016. (DOI).
  263. Modeling and identification of nonlinear and impulsive systems. Per Mattsson. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 127, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  264. Pulse-modulated Model of Testosterone Regulation Subject to Exogenous Signals. Per Mattsson, Alexander Medvedev, and Zhanybai T. Zhusubaliyev. In 2016 IEEE 55th Conference On Decision And Control (CDC), IEEE Conference on Decision and Control, pp 5023-5028, IEEE, New York, 2016. (DOI).
  265. Recursive identification method for piecewise ARX models: A sparse estimation approach. Per Mattsson, Dave Zachariah, and Peter Stoica. In IEEE Transactions on Signal Processing, volume 64, number 19, pp 5082-5093, 2016. (DOI).
  266. Recursive nonlinear system identification using latent variables. Per Mattsson, Dave Zachariah, and Peter Stoica. In 25th European Research Network System Identification Workshop, 2016.
  267. Comparison of Flow Cytometry and Image-Based Screening for Cell Cycle Analysis. Damian J. Matuszewski, Ida-Maria Sintorn, Jordi Carreras Puigvert, and Carolina Wählby. In Image Analysis And Recognition (ICIAR 2016), volume 9730 of Lecture Notes in Computer Science, pp 623-630, Springer, 2016. (DOI, fulltext:preprint).
  268. PopulationProfiler: A Tool for Population Analysis and Visualization of Image-Based Cell Screening Data. Damian J. Matuszewski, Carolina Wählby, Jordi Carreras-Puigvert, and Ida-Maria Sintorn. In PLOS ONE, volume 11, number 3, 2016. (DOI, Fulltext).
  269. Why computing students learn on their own: Motivation for self-directed learning of computing. Robert McCartney, Jonas Boustedt, Anna Eckerdal, Kate Sanders, Lynda Thomas, and Carol Zander. In ACM Transactions on Computing Education, volume 16, number 1, pp 2:1-18, 2016. (DOI).
  270. Motivation, optimal experience and flow in first year computing science. Roger McDermott, Mark Zarb, Mats Daniels, Åsa Cajander, and Tony Clear. In Proc. 21st Conference on Innovation and Technology in Computer Science Education, pp 206-211, ACM Press, New York, 2016. (DOI).
  271. New technologies for DNA analysis: a review of the READNA Project. Steven McGinn, David Bauer, Thomas Brefort, Liqin Dong, Afaf El-Sagheer, Abdou Elsharawy, Geraint Evans, Elin Falk-Sörqvist, Michael Forster, Simon Fredriksson, Peter Freeman, Camilla Freitag, Joachim Fritzsche, Spencer Gibson, Mats Gullberg, Marta Gut, Simon Heath, Isabelle Heath-Brun, Andrew J. Heron, Johannes Hohlbein, Rongqin Ke, Owen Lancaster, Ludovic Le Reste, Giovanni Maglia, Rodolphe Marie, Florence Mauger, Florian Mertes, Marco Mignardi, Lotte Moens, Jelle Oostmeijer, Ruud Out, Jonas Nyvold Pedersen, Fredrik Persson, Vincent Picaud, Dvir Rotem, Nadine Schracke, Jennifer Sengenes, Peer F. Stähler, Björn Stade, David Stoddart, Xia Teng, Colin D. Veal, Nathalie Zahra, Hagan Bayley, Markus Beier, Tom Brown, Cees Dekker, Björn Ekström, Henrik Flyvbjerg, Andre Franke, Simone Guenther, Achillefs N. Kapanidis, Jane Kaye, Anders Kristensen, Hans Lehrach, Jonathan Mangion, Sascha Sauer, Emile Schyns, Jörg Tost, Joop M. L. M. van Helvoort, Pieter J. van der Zaag, Jonas O. Tegenfeldt, Anthony J. Brookes, Kalim Mir, Mats Nilsson, James P. Willcocks, and Ivo G. Gut. In New Biotechnology, volume 33, number 3, pp 311-330, 2016. (DOI).
  272. Using indirect blockmodeling for monitoring students roles in collaborative learning networks. Esunly Medina, Davide Vega, Roc Meseguer, Humberto Medina, Sergio F. Ochoa, and Matteo Magnani. In 2016 IEEE 20th International Conference on Computer Supported Cooperative Work in Design (CSCWD), International Conference on Computer Supported Cooperative Work in Design, pp 164-169, 2016.
  273. Capturing age-related alternations in the human smooth pursuit mechanism by Volterra models. Alexander Medvedev and Daniel Jansson. In 2016 AMERICAN CONTROL CONFERENCE (ACC), Proceedings of the American Control Conference, pp 1289-1294, IEEE, 2016.
  274. Analysis and design of jump coefficients in discrete stochastic diffusion models. Lina Meinecke, Stefan Engblom, Andreas Hellander, and Per Lötstedt. In SIAM Journal on Scientific Computing, volume 38, pp A55-A83, 2016. (DOI, fulltext:print).
  275. Stochastic Simulation of Multiscale Reaction-Diffusion Models via First Exit Times. Lina Meinecke. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1376, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  276. Stochastic diffusion processes on Cartesian meshes. Lina Meinecke and Per Lötstedt. In Journal of Computational and Applied Mathematics, volume 294, pp 1-11, 2016. (DOI, fulltext:postprint).
  277. Integrating Visual Data Flow Programming with Data Stream Management. Lars Melander. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 128, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  278. Predictable MAC-level Performance in Low-power Wireless under Interference. Mathieu Michel, Thiemo Voigt, Nicolas Tsiftes, Luca Mottola, and Bruno Quoitin. In , 2016. (fulltext:print).
  279. Modeling and analysis of data flow graphs using the digraph real-time task model. Morteza Mohaqeqi, Jakaria Abdullah, and Wang Yi. In Reliable Software Technologies — Ada-Europe 2016, volume 9695 of Lecture Notes in Computer Science, pp 15-29, Springer, 2016. (DOI).
  280. On fixed-priority schedulability analysis of sporadic tasks with self-suspension. Morteza Mohaqeqi, Pontus Ekberg, and Wang Yi. In Proc. 24th International Conference on Real-Time Networks and Systems, pp 109-118, ACM Press, New York, 2016. (DOI).
  281. On the problem of finding optimal harmonic periods. Morteza Mohaqeqi, Mitra Nasri, Yang Xu, Anton Cervin, and Karl-Erik Årzén. In Proc. 24th International Conference on Real-Time Networks and Systems, pp 171-180, ACM Press, New York, 2016. (DOI).
  282. Schedulability analysis of synchronous digraph real-time tasks. Morteza Mohaqeqi, Jakaria Abdullah, Nan Guan, and Wang Yi. In Proc. 28th Euromicro Conference on Real-Time Systems, pp 176-186, IEEE Computer Society, 2016. (DOI).
  283. Sound test-suites for cyber-physical systems. Morteza Mohaqeqi and Mohammad Reza Mousavi. In Proc. 10th International Symposium on Theoretical Aspects of Software Engineering, pp 42-48, IEEE Computer Society, 2016. (DOI).
  284. Towards an approximate conformance relation for hybrid I/O automata. Morteza Mohaqeqi and Mohammad Reza Mousavi. In Proc. 1st Workshop on Verification and Validation of Cyber-Physical Systems, volume 232 of Electronic Proceedings in Theoretical Computer Science, pp 53-64, Open Publishing Association, 2016. (DOI, Fulltext).
  285. A parametric propagator for pairs of SUM constraints with a discrete convexity property. Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, and Justin Pearson. In Artificial Intelligence, volume 241, pp 170-190, 2016. (DOI).
  286. Practical way halting by speculatively accessing halt tags. Daniel Moreau, Alen Bardizbanyan, Magnus Själander, David Whalley, and Per Larsson-Edefors. In Proc. 19th Conference on Design, Automation and Test in Europe, pp 1375-1380, IEEE, Piscataway, NJ, 2016.
  287. #naorobot: Exploring nao discourse on Twitter. Omar Mubin, Aila Khan, and Mohammad Obaid. In Proc. 28th Australian Conference on Human-Computer Interaction, ACM Press, New York, 2016.
  288. #naorobot: Exploring Nao Discourse on Twitter. Omar Mubin, Aila Khan, and Mohammad Obaid. In Proceedings Of The 28Th Australian Computer-Human Interaction Conference (OZCHI 2016), 2016. (DOI).
  289. Towards an agenda for Sci-Fi inspired HCI research. Omar Mubin, Mohammad Obaid, Philipp Jordan, Patrícia Alves-Oliveira, Thommy Eriksson, Wolmet Barendregt, Daniel Sjolle, Morten Fjeld, Simeon Simoff, and Mark Billinghurst. In Proc. 13th International Conference on Advances in Computer Entertainment Technology, ACM Press, New York, 2016. (DOI).
  290. Inflow generation for scale-resolving simulations of turbulent boundary layers. Timofey Mukha. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-009, Uppsala University, 2016. (fulltext).
  291. Feature Nets: Behavioural modelling of software product lines. Radu Muschevici, José Proença, and Dave Clarke. In Software and Systems Modeling, volume 15, number 4, pp 1181-1206, 2016. (DOI).
  292. Social Network Analysis in Applications. Katarzyna Musial, Piotr Brodka, and Matteo Magnani. In AI Communications, volume 29, number 1, pp 55-56, 2016. (DOI).
  293. Efficient sum-rate maximization for medium-scale MIMO AF-relay networks. Mohammad Mahdi Naghsh, Mojtaba Soltanalian, Peter Stoica, Maryam Masjedi, and Björn Ottersten. In IEEE Transactions on Wireless Communications, volume 15, number 9, pp 6400-6411, 2016. (DOI).
  294. Rate optimization for massive MIMO relay networks: A minorization-maximization approach. Mohammad Mahdi Naghsh, Mojtaba Soltanalian, Peter Stoica, Maryam Masjedi, and Björn Ottersten. In Proc. 41st International Conference on Acoustics, Speech, and Signal Processing, pp 3611-3615, IEEE, Piscataway, NJ, 2016. (DOI).
  295. Quantifying the effect of period ratios on schedulability of rate monotonic. Mitra Nasri, Morteza Mohaqeqi, and Gerhard Fohler. In Proc. 24th International Conference on Real-Time Networks and Systems, pp 161-170, ACM Press, New York, 2016. (DOI).
  296. Multiprocessor Real-Time Locking Protocols for Replicated Resources. Catherine E. Nemitz, Kecheng Yang, Ming Yang, Pontus Ekberg, and James H. Anderson. In Proc. 28th Euromicro Conference on Real-Time Systems (ECRTS), Proceedings of the Euromicro Conference on Real-time Systems, pp 50-60, 2016. (DOI).
  297. On providing sink anonymity for wireless sensor networks. Edith C.-H. Ngai. In Security and Communication Networks, volume 9, number 2, pp 77-86, 2016. (DOI).
  298. Personalized Mobile-Assisted Smart Transportation. Edith C.-H. Ngai, Stephan Brandauer, Amendra Shrestha, and Konstantinos Vandikas. In 2016 Digital Media Industry And Academic Forum (DMIAF), pp 158-160, 2016.
  299. Graph-based linear scaling electronic structure theory. Anders M. N. Niklasson, Susan M. Mniszewski, Christian F. A. Negre, Marc J. Cawkwell, Pieter J. Swart, Jamal Mohd-Yusof, Timothy C. Germann, Michael E. Wall, Nicolas Bock, Emanuel H. Rubensson, and Hristo Djidjev. In Journal of Chemical Physics, volume 144, pp 234101:1-8, 2016. (DOI, Fulltext).
  300. CoolSim: Eliminating Traditional Cache Warming with Fast, Virtualized Profiling. Nikos Nikoleris, Andreas Sandberg, Erik Hagersten, and Trevor E. Carlson. In 2016 IEEE International Symposium On Performance Analysis Of Systems And Software ISPASS 2016, IEEE International Symposium on Performance Analysis of Systems and Software-ISPASS, pp 149-150, 2016.
  301. CoolSim: Statistical Techniques to Replace Cache Warming with Efficient, Virtualized Profiling. Nikos Nikoleris, Andreas Sandberg, Erik Hagersten, and Trevor E. Carlson. In Proceedings Of 2016 International Conference On Embedded Computer Systems: Architectures, Modeling And Simulation (Samos), pp 106-115, IEEE, 2016.
  302. Essential spectral equivalence via multiple step preconditioning and applications to ill conditioned Toeplitz matrices. Dimitrios Noutsos, Stefano Serra-Capizzano, and Paraskevas Vassalos. In Linear Algebra and its Applications, volume 491, pp 276-291, 2016. (DOI).
  303. A direct proof of the discrete-time multivariate circle and Tsypkin criteria. Johannes Nygren and Kristiaan Pelckmans. In IEEE Transactions on Automatic Control, volume 61, number 2, pp 544-549, 2016. (DOI).
  304. Input-Output Stability Analysis of Networked Control Systems. Johannes Nygren. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 119, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  305. Signed Distance Fields for Modeling Surgical Guides and Plates from CT Images. Fredrik Nysjö, Pontus Olsson, Filip Malmberg, Ingrid B. Carlbom, and Ingela Nyström. In Proc, Swedish Symposium on Image Analysis: SSBA 2016, 2016.
  306. Interactive 3D Image Analysis for Cranio-Maxillofacial Surgery Planning and Orthopedic Applications. Johan Nysjö. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1411, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  307. How would you gesture navigate a drone?: a user-centered approach to control a drone. Mohammad Obaid, Felix Kistler, Gabriel? Kasparavi?i?t?, Asim Evren Yantaç, and Morten Fjeld. In Proc. 20th International Academic Mindtrek Conference, pp 113-121, ACM Press, New York, 2016. (DOI).
  308. Accelerometer calibration using sensor fusion with a gyroscope. Fredrik Olsson, Manon Kok, Kjartan Halvorsen, and Thomas B. Schön. In Proc. 19th Statistical Signal Processing Workshop, pp 660-664, IEEE, Piscataway, NJ, 2016. (DOI, fulltext:preprint).
  309. Comparison of walking and traveling-wave piezoelectric motors as actuators in kinesthetic haptic devices. Pontus Olsson, Fredrik Nysjö, Ingrid B. Carlbom, and Stefan Johansson. In IEEE Transactions on Haptics, volume 9, number 3, pp 427-431, 2016. (DOI, Fulltext).
  310. Ph.D. Forum Abstract: Increasing Robustness in WSN using Software Defined Network Architecture. Charalampos Orfanidis. In 2016 15Th ACM/IEEE International Conference On Information Processing In Sensor Networks (IPSN), 2016.
  311. Congruency Matters – How ambiguous gender cues increase a robot’s uncanniness. Maike Paetzel, Christopher Peters, Ingela Nyström, and Ginevra Castellano. In Social Robotics, volume 9979 of Lecture Notes in Computer Science, pp 402-412, Springer, 2016. (DOI).
  312. Effects of multimodal cues on children's perception of uncanniness in a social robot. Maike Paetzel, Christopher Peters, Ingela Nyström, and Ginevra Castellano. In Proc. 18th ACM International Conference on Multimodal Interaction, pp 297-301, 2016. (DOI).
  313. Preliminary results from using a back-projected robot head in uncanny valley research. Maike Paetzel, Christopher Peters, Ingela Nyström, and Ginevra Castellano. In Proc. 25th International Symposium on Robot and Human Interactive Communication, pp 944-945, IEEE, Piscataway, NJ, 2016. (fulltext:postprint).
  314. Robots as Individuals in the Humanoid League. Maike Paetzel, Jacky Baltes, and Reinhard Gerndt. In RoboCup 2016: Robot World Cup XX, volume 9776 of Lecture Notes in Computer Science, Springer, 2016.
  315. The influence of appearance and interaction strategy of a social robot on the feeling of uncanniness in humans. Maike Paetzel. In Proc. 18th ACM International Conference on Multimodal Interaction, pp 522-526, ACM Press, New York, 2016. (DOI).
  316. Performance Modeling of Multi-core Systems: Caches and Locks. Xiaoyue Pan. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1336, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  317. A Comparative Study of GPUVerify and GKLEE. Anmol Panda, Philipp Rümmer, and Neena Goveas. In 2016 Fourth International Conference On Parallel, Distributed And Grid Computing (PDGC), pp 112-117, IEEE, 2016. (DOI).
  318. Do relative positions and proxemics affect the engagement in a human–robot collaborative scenario?. Fotios Papadopoulos, Dennis Küster, Lee J. Corrigan, Arvid Kappas, and Ginevra Castellano. In Interaction Studies: Social Behaviour and Communication in Biological and Artificial Systems, volume 17, number 3, pp 321-347, 2016. (DOI).
  319. General conditions for full abstraction. Joachim Parrow. In Mathematical Structures in Computer Science, volume 26, number 4, pp 655-657, 2016. (DOI).
  320. The largest respectful function. Joachim Parrow and Tjark Weber. In Logical Methods in Computer Science, volume 12, number 2, 2016. (DOI, Fulltext, fulltext:print).
  321. A critical analysis of trends in student-centric engineering education and their implications for learning. Arnold Pears, Aletta Nylén, and Mats Daniels. In Proc. 46th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2016. (DOI).
  322. Demo: Passive Sensor Tags. Carlos Perez Penichet, Frederik Hermans, Ambuj Varshney, and Thiemo Voigt. In Mobicom'16: Proceedings Of The 22Nd Annual International Conference On Mobile Computing And Networking, pp 477-478, 2016. (DOI, fulltext:postprint).
  323. Implicit bias in predictive data profiling within recruitments. Anders Persson. In Privacy And Identity Management: Facing Up To Next Steps, volume 498 of IFIP Advances in Information and Communication Technology, pp 212-230, Springer Berlin/Heidelberg, Berlin, 2016. (DOI).
  324. Algae Based Wastewater Treatment Model Using The RWQM1. Rasmus Pierong, Emma Nehrenheim, Bengt Carlsson, and Jesús Zambrano. In Proc. IWA World Water Congress &amp; Exhibition: 2016, 2016.
  325. Micromechanical modeling of roll-to-roll processing of oriented polyethylene terephthalate films. Mikhail Poluektov, Johannes A. W. van Dommelen, Leon E. Govaert, Duncan H. MacKerron, and Marc G. D. Geers. In Journal of Applied Polymer Science, volume 133, number 18, pp 43384:1-11, 2016. (DOI).
  326. Scale transitions in magnetisation dynamics. Mikhail Poluektov, Olle Eriksson, and Gunilla Kreiss. In Communications in Computational Physics, volume 20, pp 969-988, 2016. (DOI).
  327. BLE and IEEE 802.15.4 in the IoT: Evaluation and Interoperability Considerations. Narenda PrithviRaj, Simon Duquennoy, and Thiemo Voigt. In Internet Of Things: IOT Infrastructures, IOT 360, Pt II, Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering, pp 427-438, 2016. (DOI).
  328. Typed Connector Families. Jose Proenca and Dave Clarke. In Formal Aspects Of Component Software, volume 9539 of Lecture Notes in Computer Science, pp 294-311, Springer, 2016. (DOI).
  329. Proceedings från 5:e utvecklingskonferensen för Sveriges ingenjörsutbildningar. Stefan Pålsson and Björn Victor (eds). Volume 2016-002 of Technical report / Department of Information Technology, Uppsala University, 2016. (External link).
  330. Do Multiple Bits per Symbol Increase the Throughput of Ambient Backscatter Communications?. Carlos Pérez-Penichet, Ambuj Varshney, Frederik Hermans, Christian Rohner, and Thiemo Voigt. In EWSN '16 Proceedings of the 2016 International Conference on Embedded Wireless Systems and Networks, pp 355-360, 2016. (fulltext:postprint).
  331. Ph.D. Forum Abstract: Ambient Backscatter Communication. Carlos Pérez-Penichet. In 2016 15Th ACM/IEEE International Conference On Information Processing In Sensor Networks (IPSN), 2016.
  332. Solving systems of nonlinear equations when the nonlinearity is expensive. Sabahat Qasim, Zulifqar Ali, Fayyaz Ahmad, Stefano Serra-Capizzano, Malik Zaka Ullah, and Arshad Mahmood. In Computers and Mathematics with Applications, volume 71, pp 1464-1478, 2016. (DOI).
  333. Constructing frozen Jacobian iterative methods for solving systems of nonlinear equations, associated with ODEs and PDEs using the homotopy method. Uswah Qasim, Zulifqar Ali, Fayyaz Ahmad, Stefano Serra-Capizzano, Malik Zaka Ullah, and Mir Asma. In Algorithms, volume 9, pp 18:1-17, 2016. (DOI, Fulltext).
  334. 3DinSAR: Object 3D Localization for Indoor RFID Applications. Lanxin Qiu, Zhuangqin Huang, Niklas Wirström, and Thiemo Voigt. In IEEE RFID, pp 191-198, 2016.
  335. Interacting Particle Markov Chain Monte Carlo. Tom Rainforth, Christian A. Naesseth, Fredrik Lindsten, Brooks Paige, Jan-Willem van de Meent, Arnaud Doucet, and Frank Wood. In <em>Proceedings of the 33rd International Conference on Machine Learning</em>, 2016.
  336. Interaction between abstract agents: Increasing the readability of causal events with animation principles. Muhammet Ramo?lu, Idil Bostan, Mohammad Obaid, Tilbe Göksun, and O?uzhan Özcan. In Proc. 20th International Academic Mindtrek Conference, pp 272-280, ACM Press, New York, 2016. (DOI).
  337. NOVIFAST: A fast non-linear least squares method for accurate and precise estimation of T1 from SPGR signals.. Gabriel Ramos-Llordén, Arnold Jan den Dekker, Marcus Björk, Marleen Verhoye, and Jan Sijbers. In , 2016.
  338. Automatic grading of breast cancer from whole slide images of Ki67 stained tissue sections. Petter Ranefall, Carolina Wählby, and Ewert Bengtsson. In , 2016.
  339. Fast Adaptive Local Thresholding Based on Ellipse fit. Petter Ranefall, Sajith Kecheril Sadanandan, and Carolina Wählby. In , Scripta minora Bibliothecae regiae Universitatis UpsaliensisIEEE International Symposium on Biomedical Imaging, 2016. (Fulltext).
  340. Global And Local Adaptive Gray-level Thresholding Based on Object Features. Petter Ranefall, Sajith Kecheril Sadanandan, and Carolina Wählby. In Swedish Symposium on Image Analysis 2016, 2016.
  341. Global Gray-level Thresholding Based on Object Size. Petter Ranefall and Carolina Wählby. In Cytometry Part A, volume 89A, number 4, pp 385-390, John Wiley & Sons, 2016. (DOI).
  342. "Please do not confuse your Google search with my medical degree"?. Hanife Rexhepi, Christiane Grünloh, Åsa Cajander, and Isabella Scandurra. In Designing eHealth Services for Patients and Relatives: NordiCHI 2016 Workshop, WorldPress, 2016. (Paper).
  343. On grid resolution requirements for LES of wall-bounded flows. Saleh Rezaeiravesh, Mattias Liefvendahl, and Christer Fureby. In Proc. 7th ECCOMAS Congress, pp 7454-7465, European Community on Computional Methods in Applied Sciences (ECCOMAS), 2016. (DOI).
  344. A hybrid static–dynamic classification for dual-consistency cache coherence. Alberto Ros and Alexandra Jimborean. In IEEE Transactions on Parallel and Distributed Systems, volume 27, number 11, pp 3101-3115, 2016. (DOI).
  345. Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics. Alberto Ros, Carl Leonardsson, Christos Sakalis, and Stefanos Kaxiras. In Proc. International Conference on Parallel Architectures and Compilation: PACT 2016, pp 433-434, ACM Press, New York, 2016. (DOI).
  346. Racer: TSO Consistency via Race Detection. Alberto Ros and Stefanos Kaxiras. In 2016 49Th Annual IEEE/ACM International Symposium On Microarchitecture (MICRO), International Symposium on Microarchitecture Proceedings, 2016.
  347. Locality-aware parallel block-sparse matrix–matrix multiplication using the Chunks and Tasks programming model. Emanuel H. Rubensson and Elias Rudberg. In Parallel Computing, volume 57, pp 87-106, 2016. (DOI, fulltext:postprint).
  348. Characterization of simulation by probabilistic testing. Philipp Rümmer and Wang Yi. In Theory and Practice of Formal Methods, volume 9660 of Lecture Notes in Computer Science, pp 360-372, Springer, 2016. (DOI).
  349. A survey on skeletonization algorithms and their applications. Punam K. Saha, Gunilla Borgefors, and Gabriella Sanniti di Baja. In Pattern Recognition Letters, volume 76, pp 3-12, 2016. (DOI).
  350. Splash-3: A properly synchronized benchmark suite for contemporary research. Christos Sakalis, Carl Leonardsson, Stefanos Kaxiras, and Alberto Ros. In Proc. International Symposium on Performance Analysis of Systems and Software: ISPASS 2016, pp 101-111, IEEE Computer Society, 2016. (DOI).
  351. Eigenvalue-eigenvector structure of Schoenmakers–Coffey matrices via Toeplitz technology and applications. Ernesto Salinelli, Stefano Serra-Capizzano, and Debora Sesana. In Linear Algebra and its Applications, volume 491, pp 138-160, 2016. (DOI).
  352. Redesigning a tagless access buffer to require minimal ISA changes. Carlos Sanchez, Peter Gavin, Daniel Moreau, Magnus Själander, David Whalley, Per Larsson-Edefors, and Sally A. McKee. In Proc. 19th International Conference on Compilers, Architectures and Synthesis for Embedded Systems, 2016. (DOI).
  353. An OCT variable for glaucoma follow-up: Pigment epithelium central limit - Inner limit of the retina, Minimal Distance, PIMD. Camilla Sandberg Melin, Filip Malmberg, and Per G. Söderberg. In Investigative Ophthalmology and Visual Science, volume 57, number 12, ASSOC RESEARCH VISION OPHTHALMOLOGY INC, 2016.
  354. Case-specific potentiation of glioblastoma drugs by pterostilbene. Linnéa Schmidt, Sathishkumar Baskaran, Patrik Johansson, Narendra Padhan, Damian J. Matuszewski, Lydia C. Green, Ludmila Elfineh, Shimei Wee, Maria Häggblad, Ulf Martens, Bengt Westermark, Karin Forsberg-Nilsson, Lene Uhrbom, Lena Claesson-Welsh, Michael Andäng, Ida-Maria Sintorn, Bo Lundgren, Ingrid Lönnstedt, Cecilia Krona, and Sven Nelander. In Oncotarget, volume 7, number 45, pp 73200-73215, 2016. (DOI, Fulltext).
  355. Fuzzy Segmentation of Synthetic and MRI Volume Data sampled on Optimal Lattices. Elisabeth Schold Linnér, Joel Kullberg, and Robin Strand. In , 2016. Publication status: Submitted
  356. LatticeLibrary and BccFccRaycaster: Software for processing and viewing 3D data on optimal sampling lattices. Elisabeth Schold Linnér, Max Morén, Karl-Oskar Smed, Johan Nysjö, and Robin Strand. In SoftwareX, volume 5, pp 16-24, 2016. (DOI, Fulltext).
  357. Other Things Besides Number: Abstraction, Constraint Propagation, and String Variable Types. Joseph Scott. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 120, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  358. 3D game technology in property formation. Stefan Seipel, Goran Milutinovic, and Martin Andrée. In Proc. 16th International Multidisciplinary Scientific GeoConference, International Multidisciplinary Scientific GeoConference-SGEM, pp 539-546, 2016. (DOI).
  359. Data placement across the cache hierarchy: Minimizing data movement with reuse-aware placement. Andreas Sembrant, Erik Hagersten, and David Black-Schaffer. In Proc. 34th International Conference on Computer Design, Proceedings IEEE International Conference on Computer Design, pp 117-124, IEEE, Piscataway, NJ, 2016. (DOI).
  360. Hiding and Reducing Memory Latency: Energy-Efficient Pipeline and Memory System Techniques. Andreas Sembrant. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1450, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  361. Discovering Social Interaction Strategies for Robots from Restricted-Perception Wizard-of-Oz Studies. Pedro Sequeira, Patricia Alves-Oliveira, Tiago Ribeiro, Eugenio Di Tullio, Sofia Petisca, Francisco S. Melo, Ginevra Castellano, and Ana Paiva. In Eleventh ACM/IEEE International Conference On Human Robot Interation (HRI'16), pp 197-204, 2016. (DOI).
  362. Discovering social interaction strategies for robots from restricted-perception Wizard-of-Oz studies. Pedro Sequeira, Patrícia Alves-Oliveira, Tiago Ribeiro, Eugenio Di Tullio, Sofia Petisca, Francisco S. Melo, Ginevra Castellano, and Ana Paiva. In Proc. 11th ACM/IEEE International Conference on Human Robot Interaction, ACM/IEEE International Conference on Human-Robot Interaction, pp 197-204, IEEE Press, Piscataway, NJ, 2016. (DOI).
  363. Effects of missing data in multilayer networks. Rajesh Sharma, Matteo Magnani, and Danilo Montesi. In Social Network Analysis and Mining, volume 6, number 1, 2016. (DOI).
  364. Radial basis function methods for pricing multi-asset options. Victor Shcherbakov. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-001, Uppsala University, 2016. (fulltext).
  365. Radial basis function partition of unity methods for pricing vanilla basket options. Victor Shcherbakov and Elisabeth Larsson. In Computers and Mathematics with Applications, volume 71, pp 185-200, 2016. (DOI, fulltext:postprint).
  366. Radial basis function partition of unity operator splitting method for pricing multi-asset American options. Victor Shcherbakov. In BIT Numerical Mathematics, volume 56, pp 1401-1423, 2016. (DOI, fulltext:postprint).
  367. Techniques for modulating error resilience in emerging multi-value technologies. Magnus Själander, Gustaf Borgström, Mykhailo V. Klymenko, Françoise Remacle, and Stefanos Kaxiras. In Proc. 13th International Conference on Computing Frontiers, pp 55-63, ACM Press, New York, 2016. (DOI, fulltext:postprint).
  368. Frequency domain identification of autoregressive models in the presence of additive noise. Umberto Soverini and Torsten Söderström. In Proc WSEAS Conference on Computer Science, Rome, Italy, 2016.
  369. A unified DVFS-cache resizing framework. Vasileios Spiliopoulos, Andreas Sembrant, Georgios Keramidas, Erik Hagersten, and Stefanos Kaxiras. Technical report / Department of Information Technology, Uppsala University nr 2016-014, 2016. (External link).
  370. Improving Energy-Efficiency of Multicores using First-Order Modeling. Vasileios Spiliopoulos. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1404, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  371. Recommendations on e-infrastructures for next-generation sequencing. Ola Spjuth, Erik Bongcam-Rudloff, Johan Dahlberg, Martin Dahlö, Aleksi Kallio, Luca Pireddu, Francesco Vezzi, and Eija Korpelainen. In GigaScience, volume 5, 2016. (DOI, Fulltext).
  372. Scalable long-term preservation of relational data through SPARQL queries. Silvia Stefanova and Tore Risch. In Semantic Web, volume 7, number 2, pp 117-137, 2016. (DOI).
  373. A stabilized Nitsche cut element method for the wave equation. Simon Sticko and Gunilla Kreiss. In Computer Methods in Applied Mechanics and Engineering, volume 309, pp 364-387, 2016. (DOI).
  374. Towards higher order immersed finite elements for the wave equation. Simon Sticko. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-008, Uppsala University, 2016. (fulltext).
  375. Holistic whole-body MRI image analysis. Robin Strand, Filip Malmberg, Lars Johansson, Lars Lind, Magnus Sundbom, Håkan Ahlström, and Joel Kullberg. In Symposium of the Swedish Society for Automated Image Analysis, Uppsala, Sweden, (SSBA), 2016.
  376. Minimal paths by sum of distance transforms. Robin Strand. In Discrete Geometry for Computer Imagery, volume 9647 of Lecture Notes in Computer Science, pp 349-358, Springer, 2016. (DOI).
  377. Feasibility of fork-join real-time task graph models: Hardness and algorithms. Jinghao Sun, Nan Guan, Yang Wang, Qingxu Deng, Peng Zeng, and Wang Yi. In ACM Transactions on Embedded Computing Systems, volume 15, number 1, 2016. (DOI).
  378. Estimating the order of sinusoidal models using the adaptively penalized likelihood approach: Large sample consistency properties. Khushboo Surana, Sharmishtha Mitra, Amit Mitra, and Peter Stoica. In Signal Processing, volume 128, pp 204-211, 2016. (DOI).
  379. Automated detection of cilia in low magnification transmission electron microscopy images using template matching. Amit Suveer, Nataša Sladoje, Joakim Lindblad, Anca Dragomir, and Ida-Maria Sintorn. In Biomedical Imaging (ISBI), 2016 IEEE 13th International Symposium on, IEEE International Symposium on Biomedical Imaging, pp 386-390, IEEE, 2016. (DOI, Fulltext).
  380. Comparing two recent particle filter implementations of Bayesian system identification. Andreas Svensson and Thomas B. Schön. Technical report / Department of Information Technology, Uppsala University nr 2016-008, 2016. (External link).
  381. Computationally Efficient Bayesian Learning of Gaussian Process State Space Models. Andreas Svensson, Arno Solin, Simo Särkkä, and Thomas B. Schön. In Proceedings of the 19th International Conference on Artificial Intelligence and Statistics, pp 213-221, 2016. (Länk till fulltext).
  382. Learning probabilistic models of dynamical phenomena using particle filters. Andreas Svensson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-011, Uppsala University, 2016. (fulltext).
  383. Analysis of the variation in OCT measurements of a structural bottle neck for eye–brain transfer of visual information from 3D-volumes of the optic nerve head, PIMD-Average [0;2?]. Per G. Söderberg, Filip Malmberg, and Camilla Sandberg-Melin. In Ophthalmic Technologies XXVI, volume 9693 of Proc. SPIE, SPIE - International Society for Optical Engineering, Bellingham, WA, 2016. (DOI).
  384. Automatic quantification of fluorescence signal in rat lens epithelium. Nooshin Talebizadeh, Zhaohua Yu, Nanna Zhou Hagström, Carolina Wählby, and Per G. Söderberg. In Investigative Ophthalmology and Visual Science, volume 57, number 12, 2016.
  385. Control of selective catalytic reduction systems using feedback linearisation. Soma Tayamon and Torbjörn Wigren. In Asian Journal of Control, volume 18, number 3, pp 802-816, 2016. (DOI).
  386. Learning Computer Science: Dimensions of variation within <em>what</em> Chinese students learn. Neena Thota and Anders Berglund. In ACM Transactions on Computing Education, volume 16, number 3, 2016. (DOI).
  387. Software Out-of-Order Execution for In-Order Architectures. Kim-Anh Tran. In Proc. 25th International Conference on Parallel Architectures and Compilation Techniques, pp 458-458, ACM Press, New York, 2016. (DOI, fulltext:print).
  388. Accelerating COBAYA3 on multi-core CPU and GPU systems using PARALUTION. Nico Trost, Javier Jimenez, Dimitar Lukarski, and Victor Sanchez. In SNA + MC 2013 - Joint International Conference On Supercomputing In Nuclear Applications + Monte Carlo, 2016. (DOI).
  389. Main-Memory Query Processing Utilizing External Indexes. Thanh Truong. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1352, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  390. Storage-Centric System Architectures for Networked, Resource-Constrained Devices. Nicolas Tsiftes. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1331, SICS Dissertation Series nr 74, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  391. A Survey on Mobile Sensing Based Mood-Fatigue Detection for Drivers. Wei Tu, Lei Wei, Wenyan Hu, Zhengguo Sheng, Hasen Nicanfar, Xiping Hu, Edith C.-H. Ngai, and Victor C. M. Leung. In SMART CITY 360, volume 166 of Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering, pp 3-15, SPRINGER INT PUBLISHING AG, 2016. (DOI).
  392. Particle-based Gaussian process optimization for input design in nonlinear dynamical models. Patricio L. Valenzuela, Johan Dahlin, Cristian R. Rojas, and Thomas B. Schön. In 2016 IEEE 55th Conference On Decision And Control (CDC), IEEE Conference on Decision and Control, pp 2085-2090, IEEE, New York, 2016. (DOI).
  393. Efficient filtering for the unary resource with family-based transition times. Sascha Van Cauwelaert, Cyrille Dejemeppe, Jean-Noël Monette, and Pierre Schaus. In Principles and Practice of Constraint Programming: CP 2016, volume 9892 of Lecture Notes in Computer Science, pp 520-535, Springer, 2016. (DOI).
  394. Analytical Processor Performance and Power Modeling Using Micro-Architecture Independent Characteristics. Sam Van den Steen, Stijn Eyerman, Sander De Pestel, Moncef Mechri, Trevor E. Carlson, David Black-Schaffer, Erik Hagersten, and Lieven Eeckhout. In IEEE Transactions on Computers, volume 65, number 12, pp 3537-3551, 2016. (DOI).
  395. A new approach to role and position detection in networks. Davide Vega, Matteo Magnani, Danilo Montesi, Roc Meseguer, and Felix Freitag. In SOCIAL NETWORK ANALYSIS AND MINING, volume 6, number 1, 2016. (DOI).
  396. Numerics of Elastic and Acoustic Wave Motion. Kristoffer Virta. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1322, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  397. Approximation: A New Paradigm also for Wireless Sensing. Thiemo Voigt, Magnus Själander, Frederik Hermans, Alexandra Jimborean, Erik Hagersten, Per Gunningberg, and Stefanos Kaxiras. In , 2016.
  398. Academics' Experience of Teaching Open Ended Group Projects A phenomenographic study. Marianne Voogt, Chuan Sheng Chen, and Neena Thota. In 2016 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE), Frontiers in Education Conference, 2016. (DOI).
  399. Profiling-Assisted Decoupled Access-Execute. Jonatan Waern, Per Ekemark, Konstantinos Koukos, Stefanos Kaxiras, and Alexandra Jimborean. In Proc. 4th International Workshop on High Performance Energy Efficient Embedded Systems, 2016. (External link).
  400. Estimating manuscript production dates using both image and language data. Fredrik Wahlberg, Lasse Mårtensson, and Anders Brun. In Proceedings of SSBA, 2016, 2016.
  401. Historical Manuscript Production Date Estimation using Deep Convolutional Neural Networks. Fredrik Wahlberg, Tomas Wilkinson, and Anders Brun. In , International Conference on Handwriting Recognition, pp 205-210, IEEE, 2016. (DOI, fulltext:postprint).
  402. Large scale continuous dating of medieval scribes using a combined image and language model. Fredrik Wahlberg, Lasse Mårtensson, and Anders Brun. In , 2016. (DOI, fulltext:postprint).
  403. High order finite difference methods for the wave equation with non-conforming grid interfaces. Siyang Wang, Kristoffer Virta, and Gunilla Kreiss. In Journal of Scientific Computing, volume 68, pp 1002-1028, 2016. (DOI).
  404. Energy-efficient collaborative outdoor localization for participatory sensing. Wendong Wang, Teng Xi, Edith C.-H. Ngai, and Zheng Song. In Sensors, volume 16, number 6, 2016. (DOI, Fulltext, fulltext:print).
  405. Modal Logics for Nominal Transition Systems. Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström, and Ram?nas Gutkovas. In Archive of Formal Proofs, 2016. (External link).
  406. Scrambling and descrambling SMT-LIB benchmarks. Tjark Weber. In Satisfiability Modulo Theories: SMT 2016, volume 1617 of CEUR Workshop Proceedings, pp 31-40, RWTH Aachen University, 2016. (Fulltext).
  407. The 2014 SMT Competition. Tjark Weber, David R. Cok, and David Deharbe. In Journal on Satisfiability, Boolean Modeling and Computation, 2016.
  408. Dynamic blind source separation based on source-direction prediction. Yangjie Wei and Wang Yi. In Neurocomputing, volume 185, pp 73-81, 2016. (DOI).
  409. A Node-Link Perspective on the Impact of Local Conditions in Sensor Networks. Hjalmar Wennerström. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1398, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  410. Towards even coverage monitoring with opportunistic sensor networks. Hjalmar Wennerström and Christian Rohner. In Proc. 11th ACM MobiCom Workshop on Challenged Networks, pp 81-86, ACM Press, New York, 2016. (DOI).
  411. Data-driven network modelling of disease transmission using complete population movement data: spread of VTEC O157 in Swedish cattle. Stefan Widgren, Stefan Engblom, Pavol Bauer, Jenny Frössling, Ulf Emanuelson, and Ann Lindberg. In Veterinary research (Print), volume 47, pp 81:1-17, 2016. (DOI, Fulltext).
  412. A tradeoff between data rate and regulation performance in networked data flow control. Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2016-003, Uppsala University, Uppsala, 2016. (External link).
  413. Low frequency sensitivity function constraints for nonlinear <em>L</em><sub>2</sub>-stable networked control. Torbjörn Wigren. In Asian Journal of Control, volume 18, number 4, pp 1200-1218, 2016. (DOI).
  414. Robust <em>L</em><sub>2</sub> stable networked control of wireless packet queues in delayed Internet connections. Torbjörn Wigren. In IEEE Transactions on Control Systems Technology, volume 24, number 2, pp 502-513, 2016. (DOI).
  415. Wireless feedback and feedforward data flow control subject to rate saturation and uncertain delay. Torbjörn Wigren. In IET Control Theory & Applications, volume 10, number 3, pp 346-353, 2016. (DOI).
  416. Semantic and Verbatim Word Spotting using Deep Neural Networks. Tomas Wilkinson and Anders Brun. In Proceedings Of 2016 15Th International Conference On Frontiers In Handwriting Recognition (Icfhr), International Conference on Handwriting Recognition, pp 307-312, 2016. (DOI, fulltext:postprint).
  417. The quest for multiplexed spatially resolved transcriptional profiling. Carolina Wählby. In Nature Methods, volume 13, number 8, pp 623-624, 2016. (DOI).
  418. Prediction performance after learning in Gaussian process regression. Johan Wågberg, Dave Zachariah, Thomas B. Schön, and Peter Stoica. In 25th European Research Network System Identification Workshop, 2016.
  419. Scalable Validation of Data Streams. Cheng Xu. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1384, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  420. Vandermonde decomposition of multilevel Toeplitz matrices with application to multidimensional super-resolution. Zai Yang, Lihua Xie, and Peter Stoica. In IEEE Transactions on Information Theory, volume 62, number 6, pp 3685-3701, 2016. (DOI).
  421. Online prediction of spatial fields for radio-frequency communication. Dave Zachariah, Niklas Jaldén, and Peter Stoica. In Proc. 24th European Signal Processing Conference, European Signal Processing Conference, pp 1252-1256, IEEE, Piscataway, NJ, 2016. (DOI).
  422. DuctTeip: A task-based parallel programming framework for distributed memory architectures. Afshin Zafari, Elisabeth Larsson, and Martin Tillenius. Technical report / Department of Information Technology, Uppsala University nr 2016-010, 2016. (External link).
  423. Task parallel implementation of a solver for electromagnetic scattering problems. Afshin Zafari, Elisabeth Larsson, Marco Righero, M. Alessandro Francavilla, Giorgio Giordanengo, Francesca Vipiana, and Giuseppe Vecchi. Technical report / Department of Information Technology, Uppsala University nr 2016-015, 2016. (External link).
  424. A simple model for algae-bacteria interaction in photo-bioreactors. Jesús Zambrano, Ivo Krustok, Emma Nehrenheim, and Bengt Carlsson. In Algal Research, volume 19, pp 155-161, 2016. (DOI).
  425. A simplified model of an activated sludge process with a plug-flow reactor. Jesús Zambrano, Bengt Carlsson, Stefan Diehl, and Emma Nehrenheim. In Proc. 9th Eurosim Congress on Modelling and Simulation, IEEE Computer Society, 2016. (DOI).
  426. Monitoring a secondary settler using Gaussian mixture models. Jesús Zambrano, Oscar Samuelsson, and Bengt Carlsson. In Proc. 9th Eurosim Congress on Modelling and Simulation, IEEE Computer Society, 2016. (DOI).
  427. Approximations and abstractions for reasoning about machine arithmetic. Aleksandar Zeljic. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-010, Uppsala University, 2016. (fulltext).
  428. Deciding bit-vector formulas with mcSAT. Aleksandar Zeljic, Christoph M. Wintersteiger, and Philipp Rümmer. In Theory and Applications of Satisfiability Testing: SAT 2016, volume 9710 of Lecture Notes in Computer Science, pp 249-266, Springer, 2016. (DOI).
  429. Dependency-Aware Caching for HTTP Adaptive Streaming. Cong Zhang, Jiangchuan Liu, Fei Chen, Yong Cui, and Edith C.-H. Ngai. In 2016 Digital Media Industry And Academic Forum (DMIAF), pp 89-93, 2016.
  430. Quantitative analysis of immunofluorescence and in situ PLA staining using CellProfiler reveals impaired epidermal lipid processing pathway in ARCI patients with CYP4F22 mutations. Hanqian Zhang, Marie Virtanen, Simone Weström, A. Bygum, Carolina Wählby, Anders Vahlquist, and Hans Törmä. In Journal of Investigative Dermatology, volume 136, number 9, pp S180-S180, 2016.
  431. Start time configuration for strictly periodic real-time task systems. Tianyu Zhang, Nan Guan, Qingxu Deng, and Wang Yi. In Journal of systems architecture, volume 66–67, pp 61-68, 2016. (DOI).
  432. A dynamic graph-based scheduling and interference coordination approach in heterogeneous cellular networks. Li Zhou, Xiping Hu, Edith C.-H. Ngai, Haitao Zhao, Shan Wang, Jibo Wei, and Victor C. M. Leung. In IEEE Transactions on Vehicular Technology, volume 65, number 5, pp 3735-3748, 2016. (DOI).
  433. Scalable Queries over Log Database Collections. Minpeng Zhu. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1343, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  434. Skin lamellar bodies are not discrete vesicles but part of a tubuloreticular network. Lianne den Hollander, HongMei Han, Matthijs de Winter, Lennart Svensson, Sergej Masich, Bertil Daneholt, and Lars Norlén. In Acta Dermato-Venereologica, volume 96, number 3, pp 303-309, 2016. (DOI, Fulltext).
  435. Pricing of basket options using dimension reduction and adaptive finite differences in space, and discontinuous Galerkin in time. Lina von Sydow, Paria Ghafari, Erik Lehto, and Mats Wångersjö. In Numerical Mathematics and Advanced Applications: ENUMATH 2015, volume 112 of Lecture Notes in Computational Science and Engineering, pp 607-615, Springer, 2016. (DOI).
  436. Segmentation of shadows and water bodies in high resolution images using ancillary data. Julia Åhlén and Stefan Seipel. In Proc. 16th International Multidisciplinary Scientific GeoConference, International Multidisciplinary Scientific GeoConference-SGEM, pp 827-834, 2016. (DOI).
  437. Bisimulation up-to techniques for psi-calculi. Johannes Åman Pohjola and Joachim Parrow. In Proc. 5th ACM SIGPLAN Conference on Certified Programs and Proofs, pp 142-153, ACM Press, New York, 2016. (DOI).
  438. Culling Concurrency Theory: Reusable and trustworthy meta-theory, proof techniques and separation results. Johannes Åman Pohjola. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1397, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  439. The Expressive Power of Monotonic Parallel Composition. Johannes Åman Pohjola and Joachim Parrow. In Programming Languages and Systems, volume 9632 of Lecture Notes in Computer Science, pp 780-803, Springer, Berlin, 2016. (DOI).
  440. Language Constructs for Safe Parallel Programming on Multi-Cores. Johan Östlund. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1319, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  441. Rao-Blackwellised Particle Filter for Star-ConvexExtended Target Tracking Models. Emre Özkan, Niklas Wahlstro?m, and Simon J. Godsill. In 2016 19th International Conference on Information Fusion, pp 1193-1199, 2016. (Fulltext).

Updated  2016-12-29 18:09:31 by Kurt Otto.