Publikationer 2015

1. Generating models of infinite-state communication protocols using regular inference with abstraction. Fides Aarts, Bengt Jonsson, Johan Uijen och Frits Vaandrager. I Formal methods in system design, volym 46, nummer 1, pp 1-41, 2015. (DOI).
2. Well Structured Transition Systems with History. Parosh A. Abdulla, Giorgio Delzanno och Marco Montali. I Electronic Proceedings in Theoretical Computer Science, nummer 193, pp 115-128, 2015. (DOI).
3. MPass: An efficient tool for the analysis of message-passing programs. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg, Subham Modi, Othmane Rezine och Gaurav Saini. I Formal Aspects of Component Software, volym 8997 av Lecture Notes in Computer Science, pp 198-206, Springer, 2015. (DOI).
4. Norn: An SMT solver for string constraints. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer och Jari Stenman. I Computer Aided Verification: Part I, volym 9206 av Lecture Notes in Computer Science, pp 462-469, Springer, 2015. (DOI).
5. Precise and sound automatic fence insertion procedure under PSO. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Magnus Lång och Tuan Phong Ngo. I Networked Systems: NETYS 2015, volym 9466 av Lecture Notes in Computer Science, pp 32-47, Springer, 2015. (DOI).
6. Stateless model checking for TSO and PSO. Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson och Konstantinos Sagonas. I Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2015, volym 9035 av Lecture Notes in Computer Science, pp 353-367, Springer Berlin/Heidelberg, 2015. (DOI).
7. The Best of Both Worlds: Trading efficiency and optimality in fence insertion for TSO. Parosh Aziz Abdulla, Mohamed Faouzi Atig och Tuan-Phong Ngo. I Programming Languages and Systems: ESOP 2015, volym 9032 av Lecture Notes in Computer Science, pp 308-332, Springer Berlin/Heidelberg, 2015. (DOI, Extern länk).
8. Verification of Cache Coherence Protocols wrt. Trace Filters. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine och Yunyun Zhu. I Proc. 15th Conference on Formal Methods in Computer-Aided Design, pp 9-16, IEEE, Piscataway, NJ, 2015. (Article).
9. Verification of buffered dynamic register automata. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara och Othmane Rezine. I Networked Systems: NETYS 2015, volym 9466 av Lecture Notes in Computer Science, pp 15-31, Springer, 2015. (DOI).
10. What's decidable about availability languages?. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Roland Meyer och Mehdi Seyed Salehi. I Proc. 35th IARCS Conference on Foundation of Software Technology and Theoretical Computer Science, volym 45 av LIPIcs, pp 192-205, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2015. (DOI, Fulltext).
11. Calving events detection and quantification from time-lapse images in Tunabreen glacier. Sigit Adinugroho, Dorothée Vallot, Pontus Westrin och Robin Strand. I Proc. 9th International Conference on Information & Communication Technology and Systems, pp 61-65, IEEE, Piscataway, NJ, 2015. (DOI).
12. Physical stability of drugs after storage above and below the glass transition temperature: Relationship to glass-forming ability. Amjad Alhalaweh, Ahmad Alzghoul, Denny Mahlin och Christel A. S. Bergström. I International Journal of Pharmaceutics, volym 495, nummer 1, pp 312-317, 2015. (DOI, fulltext:print).
13. Addressing concept drift to improve system availability by updating one-class data-driven models. Ahmad Alzghoul och Magnus Löfstrand. I Evolving Systems, volym 6, nummer 3, pp 187-198, 2015. (DOI).
14. Framtida tågtrafikstyrning: Sammanfattande forskningsrapport. Slutrapport från FOT-projektet. Arne W Andersson, Bengt Sandblad, Simon Tschirner och Anders Jansson. 2015.
15. Spatio-Temporal Gridded Data Processing on the Semantic Web. Andrej Andrejev, Dimitar Misev, Peter Baumann och Tore Risch. I 2015 IEEE International Conference On Data Science And Data Intensive Systems, pp 38-45, 2015. (DOI).
16. Self-adaptive multiprecision preconditioners on multicore and manycore architectures. Hartwig Anzt, Dimitar Lukarski, Stanimire Tomov och Jack Dongarra. I High Performance Computing for Computational Science – VECPAR 2014, volym 8969 av Lecture Notes in Computer Science, pp 115-123, Springer, 2015. (DOI).
17. Comparing and visualizing titanium implant integration in rat bone using 2D and 3D techniques. Anna Arvidsson, Hamid Sarve och Carina B. Johansson. I Journal of Biomedical Materials Research. Part B - Applied biomaterials, volym 103, nummer 1, pp 12-20, 2015. (DOI).
18. Load transients in pooled cellular core network nodes. Åke Arvidsson och Tobias Rydén. I Performance evaluation (Print), volym 90, pp 18-35, 2015. (DOI).
19. Between Insanity and Love. Ryoko Asai. I Computers & Society: The Newsletter of the ACM Special Interest Group on Computers and Society Special Issue on 20 Years of ETHICOMP, pp 154-158, 2015. (Extern länk).
20. Ethical Competence and Social Responsibility in Scientific Research using ICT Tools. Ryoko Asai och Iordanis Kavathatzopoulos. I Computers & Society: The Newsletter of the ACM Special Interest Group on Computers and Society Special Issue on 20 Years of ETHICOMP, ACM SIGCAS Computers and Society Newsletter, pp 345-347, ACM Digital Library, 2015. (DOI, Extern länk, Extern länk, Extern länk, Extern länk).
21. Technology as Mask. Ryoko Asai. I , 2015.
22. The holding function of robots in highly technological society. Ryoko Asai och Kiyoshi Murata. I Proceedings of Japan Society for Infomation and Management 70th Annual Conference, pp 65-68, 2015.
23. A step towards detecting online grooming: Identifying adults pretending to be children. Michael Ashcroft, Lisa Kaati och Maxime Meyer. I Proc. 5th European Intelligence and Security Informatics Conference, pp 98-104, IEEE Computer Society, 2015. (DOI).
24. Are You Really a Child?: A Machine Learning Approach To Protect Children from Online Grooming. Michael Ashcroft, Lisa Kaati och Maxime Meyer. I Proc. National Symposium on Technology and Methodology for Security and Crisis Management: TAMSEC 2015, 2015.
25. Detecting jihadist messages on twitter. Michael Ashcroft, Ali Fisher, Lisa Kaati, Enghin Omer och Nico Prucha. I Proc. 5th European Intelligence and Security Informatics Conference, pp 161-164, IEEE Computer Society, 2015. (DOI).
26. Blur detection and visualization in histological whole slide images. Christophe Avenel och Ingrid Carlbom. I Proc. 10th International Conference on Mass Data Analysis of Images and Signals, IBaI, Leipzig, Germany, 2015.
27. A preconditioner for optimal control problems, constrained by Stokes equation with a time-harmonic control. Owe Axelsson, Shiraz Farouq och Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2015-036, 2015. (fulltext).
28. Classical iterative methods. Owe Axelsson. I Encyclopedia of Applied and Computational Mathematics, pp 205-224, Springer, 2015. (DOI).
29. Comparison of preconditioned Krylov subspace iteration methods for PDE-constrained optimization problems: Poisson and convection–diffusion control. Owe Axelsson, Shiraz Farouq och Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2015-024, 2015. (fulltext).
30. Comparison of preconditioned Krylov subspace iteration methods for PDE-constrained optimization problems: Stokes control. Owe Axelsson, Shiraz Farouq och Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2015-030, 2015. (fulltext).
31. Numerical solution of the time-dependent Navier–Stokes equation for variable density–variable viscosity: Part I. Owe Axelsson, Xin He och Maya Neytcheva. I Mathematical Modelling and Analysis, volym 20, pp 232-260, 2015. (DOI, fulltext:postprint).
32. Topological clustering guided document binarization. Kalyan Ram Ayyalasomayajula och Anders Brun. Svenska Sällskapet för Automatiserad Bildanalys, 2015. (fulltext).
33. Automated Classification of Glandular Tissue by Statistical Proximity Sampling. Jimmy Azar, Martin Simonsson, Ewert Bengtsson och Anders Hast. I International Journal of Biomedical Imaging, 2015. (DOI, Fulltext, fulltext:print).
34. Automated classification of glandular tissue by statistical proximity sampling.. Jimmy C Azar, Martin Simonsson, Ewert Bengtsson och Anders Hast. I International Journal of Biomedical Imaging, volym 2015, 2015. (DOI).
35. Efficient algorithms for bounded rigid <em>E</em>-unification. Peter Backeman och Philipp Rümmer. I Automated Reasoning with Analytic Tableaux and Related Methods, volym 9323 av Lecture Notes in Computer Science, pp 70-85, Springer, 2015. (DOI, fulltext:postprint).
36. Free variables and theories: Revisiting rigid <em>E-</em>unification. Peter Backeman och Philipp Rümmer. I Frontiers of Combining Systems, volym 9322 av Lecture Notes in Computer Science, pp 3-13, Springer, 2015. (DOI, fulltext:postprint).
37. Theorem proving with bounded rigid <em>E</em>-unification. Peter Backeman och Philipp Rümmer. I Automated Deduction – CADE-25, volym 9195 av Lecture Notes in Computer Science, pp 572-587, Springer, 2015. (DOI).
38. Optimizing transfers of control in the static pipeline architecture. Ryan Baird, Peter Gavin, Magnus Själander, David Whalley och Gang-Ryung Uh. I Proc. 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, pp 7-16, ACM Press, New York, 2015. (DOI).
39. Improving data access efficiency by using context-aware loads and stores. Alen Bardizbanyan, Magnus Själander, David Whalley och Per Larsson-Edefors. I Proc. 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, pp 27-36, ACM Press, New York, 2015. (DOI).
40. Efficient inter-process synchronization for parallel discrete event simulation on multicores. Pavol Bauer, Jonatan Lindén, Stefan Engblom och Bengt Jonsson. I Proc. 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp 183-194, ACM Press, New York, 2015. (DOI).
41. Parallelism and efficiency in discrete-event simulation. Pavol Bauer. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2015-004, Uppsala University, 2015. (fulltext).
42. Sensitivity estimation and inverse problems in spatial stochastic models of chemical kinetics. Pavol Bauer och Stefan Engblom. I Numerical Mathematics and Advanced Applications: ENUMATH 2013, volym 103 av Lecture Notes in Computational Science and Engineering, pp 519-527, Springer, 2015. (DOI).
43. A modelling pearl with sortedness constraints. Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit och Charles Prud'homme. I Global Conference on Artificial Intelligence: GCAI 2015, volym 36 av EasyChair Proceedings in Computing, pp 27-41, Cool Press, Manchester, UK, 2015. (Abstract).
44. On the Reification of Global Constraints (Abstract). Nicolas Beldiceanu, Mats Carlsson, Pierre Flener och Justin Pearson. I Principles and practice of constraint programming, CP 2015, volym 9255 av Lecture Notes in Computer Science, pp 733-733, SPRINGER-VERLAG BERLIN, 2015.
45. Learning from the experiences of international students. Anders Berglund och Neena Thota. I Conference for University Pedagogical Development, Uppsala University, Uppsala, Sweden, 2015. (Extern länk).
46. Learning practice and theory in programming education: Students’ lived experience. Anders Berglund och Anna Eckerdal. I Proc. 3rd International Conference on Learning and Teaching in Computing and Engineering, pp 180-186, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI, fulltext:preprint).
47. Learning to program: A discussion on the interplay of theory and practice. Anders Berglund och Anna Eckerdal. I Proc. 1st Al Baha University and Uppsala University Symposium on Quality in Computing Education, volym 2015-007 av Technical report / Department of Information Technology, Uppsala University, pp 16-18, 2015. (Proceedings).
48. Teaching and Learning Computer Science at Al Baha University, Saudi Arabia: Insights from a staff development course. Anders Berglund, Arnold Pears, Aletta Nylén, Farooq Ahmad, Bader Alghamdi, Khalid Alghamdi, Ahmed Alhabish, Abdullah Aljoufi, Eidah Alzahrani, Rami Alzahrani, Ismat Aldmour, Areej Athama, Hamada Shihad AlSadoon, Rahmat Budiarto, Abdul Hafeez, Nadeem Hassan Daupota, Dhafer Faiz, Lubna Abdel Kareim Gabralla, Mohammad Gamar, Abdul Hannan, Bedine Kerim, F. A. Mazarbhuiya, Ahmed Rabea, Muhammad Qaiser Saleem, Nimir Saleh och Mohamed Shenify. I Proc. 3rd International Conference on Learning and Teaching in Computing and Engineering, pp 1-6, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI, fulltext:preprint).
49. Iterated fractional Tikhonov regularization. Davide Bianchi, Alessandro Buccini, Marco Donatelli och Stefano Serra-Capizzano. I Inverse Problems, volym 31, pp 055005:1-34, 2015. (DOI).
50. A constraint-based local search backend for MiniZinc. Gustav Björdal, Jean-Noël Monette, Pierre Flener och Justin Pearson. I Constraints, volym 20, nummer 3, pp 325-345, 2015. (DOI).
51. Robots, ethics and language. Ingrid Björk och Iordanis Kavathatzopoulos. I Computers &amp; Society: The Newsletter of the ACM Special Interest Group on Computers and Society Special Issue on 20 Years of ETHICOMP, ACM SIGCAS Computers and Society Newsletter, pp 268-273, ACM Digital Library, 2015. (DOI, Extern länk, Extern länk, Extern länk, Extern länk).
52. Contributions to Signal Processing for MRI. Marcus Björk. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 113, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext, preview image).
53. Approximation of the diffusive representation by decreasing exponential functions. Emilie Blanc. Technical report / Department of Information Technology, Uppsala University nr 2015-009, 2015. (fulltext).
54. Supporting industrial uptake of cognitive work analysis. Ida Bodin och Stas Krupenia. I Proc. Human Factors and Ergonomics Society 59th Annual Meeting, pp 170-174, Sage Publications, Thousand Oaks, CA, 2015.
55. Applications for ultrascale computing. Lars Ailo Bongo, Raimondas Ciegis, Neki Frasheri, Jing Gong, Dragi Kimovski, Peter Kropf, Svetozar Margenov, Milan Mihajlovic, Maya Neytcheva, Thomas Rauber, Gudula Rünger, Roman Trobec, Roel Wuyts och Roman Wyrzykowski. I Supercomputing Frontiers and Innovations, volym 2, nummer 1, pp 19-48, 2015. (DOI, Fulltext).
56. Broadcast psi-calculi with an application to wireless protocols. Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola och Joachim Parrow. I Software and Systems Modeling, volym 14, nummer 1, pp 201-216, Springer, 2015. (DOI, fulltext:postprint).
57. The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi. Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe och Björn Victor. I ACM Transactions on Embedded Computing Systems, volym 14, nummer 1, 2015. (DOI, fulltext:postprint).
58. Clustering attributed graphs: models, measures and methods. Cecile Bothorel, Juan David Cruz, Matteo Magnani och Barbora Micenkova. I Network Science, volym 3, nummer 3, pp 408-444, 2015. (DOI, fulltext:postprint).
59. An automatable formal semantics for IEEE-754 floating-point arithmetic. Martin Brain, Cesare Tinelli, Philipp Rümmer och Thomas Wahl. I Proc. 22nd Symposium on Computer Arithmetic, Proceedings Symposium on Computer Arithmetic, pp 160-167, IEEE Computer Society, 2015. (DOI).
60. Disjointness Domains for Fine-Grained Aliasing. Stephan Brandauer, Dave Clarke och Tobias Wrigstad. I , ACM SIGPLAN NOTICES, pp 989-916, 2015. (DOI).
61. Parallel Objects for Multicores: A Glimpse at the Parallel Language ENCORE. Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I. Pun, S. Lizeth Tapia Tarifa, Tobias Wrigstad och Albert Mingkun Yang. I Formal Methods for Multicore Programming, volym 9104 av Lecture Notes in Computer Science, pp 1-56, 2015. (DOI).
62. Simulation of the Taylor–Green vortex using high­-order flux reconstruction schemes. Jonathan R. Bull och Antony Jameson. I AIAA Journal, volym 53, nummer 9, pp 2750-2761, 2015. (DOI, fulltext:postprint).
63. Goal-oriented adaptive finite element methods for elliptic problems revisited. Markus Bürg och Murtazo Nazarov. I Journal of Computational and Applied Mathematics, volym 287, pp 125-147, 2015. (DOI).
64. Challenges for action research on HWID in activity based workplaces. Åsa Cajander, Gerolf Nauwerck, Thomas Lind och Marta Lárusdóttir. I INTERACT 2015 Adjunct Proceedings, pp 161-170, University of Bamberg Press, 2015.
65. Contextual personas as a method for understanding digital work environments. Åsa Cajander, Marta Lárusdóttir, Elina Eriksson och Gerolf Nauwerck. I Human Work Interaction Design: Work Analysis and Interaction Design Methods for Pervasive and Smart Workplaces, volym 468 av IFIP Advances in Information and Communication Technology, pp 141-152, Springer, 2015. (DOI).
66. Things take time: Establishing usability work in a university context. Åsa Cajander, Gerolf Nauwerck och Thomas Lind. I European Journal of Higher Education IT, volym 2, nummer 1, 2015. (Fulltext).
67. Vision seminars and administration of university education: A case study. Åsa Cajander, Bengt Sandblad, Thomas Lind, Roger McDermott och Mats Daniels. I Proc. 1st Al Baha University and Uppsala University Symposium on Quality in Computing Education, volym 2015-007 av Technical report / Department of Information Technology, Uppsala University, pp 29-32, 2015. (Proceedings).
68. Worlds Apart: Doctors' technological frames and online medical records. Åsa Cajander, Christiane Grünloh och Hanife Rexhepi. I INTERACT 2015 Adjunct Proceedings, pp 357-367, University of Bamberg Press, 2015.
69. Modelling and analysing a WSN secure aggregation protocol: A comparison of languages and tool support. Volkan Cambazoglu, Ramunas Gutkovas, Johannes Åman Pohjola och Björn Victor. Technical report / Department of Information Technology, Uppsala University nr 2015-033, 2015. (fulltext).
70. Conformal prediction in Spark: Large-scale machine learning with confidence. Marco Capuccini, Lars Carlsson, Ulf Norinder och Ola Spjuth. I Proc. 2nd International Symposium on Big Data Computing, pp 61-67, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI).
71. The Load Slice Core Microarchitecture. Trevor E. Carlson, Wim Heirman, Osman Allam, Stefanos Kaxiras och Lieven Eeckhout. I 2015 ACM/IEEE 42Nd Annual International Symposium On Computer Architecture (ISCA), pp 272-284, 2015. (DOI).
72. Analyses of Activated Sludge Processes Consisting of a Plug-Flow Reactor and a Non-ideal Settler. Bengt Carlsson, Stefan Diehl och Jesús Zambrano. I Proc. 9th IWA Symposium on Systems Analysis and Integrated Assessment, 2015.
73. A structured approach to training open-ended problem solving. Sofia Cassel och Björn Victor. I Proc. 45th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, pp 417-420, IEEE Press, Piscataway, NJ, 2015. (DOI).
74. A succinct canonical register automaton model. Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten och Bernhard Steffen. I Journal of Logical and Algebraic Methods in Programming, volym 84, nummer 1, pp 54-66, 2015. (DOI).
75. Active Learning for Extended Finite State Machines. Sofia Cassel, Falk Howar, Bengt Jonsson och Bernhard Steffen. Technical report / Department of Information Technology, Uppsala University nr 2015-032, 2015. (fulltext).
76. Learning Component Behavior from Tests: Theory and Algorithms for Automata with Data. Sofia Cassel. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1311, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext, preview image).
77. Learning Extended Finite State Machines (extended version). Sofia Cassel, Falk Howar, Bengt Jonsson och Bernhard Steffen. Technical report / Department of Information Technology, Uppsala University nr 2015-004, Department of Information Technology, Uppsala University, 2015.
78. RALib: A LearnLib extension for inferring EFSMs. Sofia Cassel, Howar Falk och Bengt Jonsson. I , 2015.
79. Refined Ownership: Fine-grained controlled internal sharing. Elias Castegren, Johan Östlund och Tobias Wrigstad. I Formal Methods for Multicore Programming, volym 9104 av Lecture Notes in Computer Science, pp 179-210, 2015. (DOI).
80. StatTask: Reuse distance analysis for task-based applications. Germán Ceballos, Erik Hagersten och David Black-Schaffer. I Proc. 7th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, pp 1-7, ACM Press, New York, 2015. (DOI).
81. Binary classifiers applied to detect DO sensor faults during washing events. Tatiana Chistiakova, Bengt Carlsson, Jesús Zambrano och Oscar Samuelsson. I Proc. 2nd IWA Conference on New Developments in IT &amp; Water, IWA Publishing, 2015.
82. Delay-induced Dynamical Phenomena in Impulsive Goodwin's Oscillator: What We Know So Far. Alexander N. Churilov, Alexander Medvedev och Zhanybai T. Zhusubaliyev. I 2015 54Th Ieee Conference On Decision And Control (CDC), pp 590-595, 2015.
83. Abstract Delta Modelling. Dave Clarke, Michiel Helvensteijn och Ina Schaefer. I Mathematical Structures in Computer Science, volym 25, nummer 3, pp 482-527, Cambridge University Press, 2015.
84. Compaction of rolling circle amplification products increases signal integrity and signal–to–noise ratio. Carl-Magnus Clausson, Linda Arngården, Omer Ishaq, Axel Klaesson, Malte Kühnemund, Karin Grannas, Björn Koos, Xiaoyan Qian, Petter Ranefall, Tomasz Krzywkowski, Hjalmar Brismar, Mats Nilsson, Carolina Wählby och Ola Söderberg. I Scientific Reports, volym 5, pp 12317:1-10, 2015. (DOI, Fulltext).
85. Brain – Endocast relationship in the Australian lungfish, <em>Neoceratodus forsteri</em>, elucidated from tomographic data (Sarcopterygii: Dipnoi). Alice M. Clement, Johan Nysjö, Robin Strand och Per E. Ahlberg. I PLOS ONE, volym 10, nummer 10, 2015. (DOI, Fulltext).
86. The 2013 Evaluation of SMT-COMP and SMT-LIB. David R. Cok, Aaron Stump och Tjark Weber. I Journal of automated reasoning, volym 55, nummer 1, pp 61-90, 2015. (DOI).
87. Electric field modeling and spatial control in Deep Brain Stimulation. Rubén Cubo, Mattias Åström och Alexander Medvedev. I Proc. 54th Conference on Decision and Control, pp 3846-3851, IEEE, Piscataway, NJ, 2015. (DOI).
88. Model-based optimization of lead configurations in Deep Brain Stimulation. Rubén Cubo, Mattias Åström och Alexander Medvedev. I Proc. 1st International Conference on Smart Portable, Wearable, Implantable and Disability-oriented Devices and Systems, pp 14-19, International Academy, Research and Industry Association (IARIA), 2015.
89. Adaptive hit or miss transform. Vladimir Curic, Sébastien Lefèvre och Cris L. Luengo Hendriks. I Mathematical Morphology and Its Applications to Signal and Image Processing, volym 9082 av Lecture Notes in Computer Science, pp 741-752, Springer, 2015. (DOI).
90. Particle Metropolis–Hastings using gradient and Hessian information. Johan Dahlin, Fredrik Lindsten och Thomas B. Schön. I Statistics and computing, volym 25, nummer 1, pp 81-92, 2015. (DOI).
91. BioImg.org: A catalog of virtual machine images for the life sciences. Martin Dahlö, Frédéric Haziza, Aleksi Kallio, Eija Korpelainen, Erik Bongcam-Rudloff och Ola Spjuth. I Bioinformatics and Biology Insights, volym 9, pp 125-128, 2015. (DOI).
92. A new structure exploiting derivation of recursive direct weight optimization. Liang Dai och Thomas B. Schön. I IEEE Transactions on Automatic Control, volym 60, nummer 6, pp 1683-1685, 2015. (DOI).
93. Identifiability and convergence analysis of the MINLIP estimator. Liang Dai, Kristiaan Pelckmans och Er-Wei Bai. I Automatica, volym 51, pp 104-110, 2015. (DOI).
94. On the exponential convergence of the Kaczmarz algorithm. Liang Dai och Thomas B. Schön. I IEEE Signal Processing Letters, volym 22, nummer 10, pp 1571-1574, 2015. (DOI).
95. On the nuclear norm heuristic for a Hankel matrix completion problem. Liang Dai och Kristiaan Pelckmans. I Automatica, volym 51, pp 268-272, 2015. (DOI).
96. Collaborative technologies in global engineering: New competencies and challenges. Mats Daniels, Åsa Cajander, Tony Clear och Roger McDermott. I International journal of engineering education, volym 31, nummer 1, pp 267-281, 2015.
97. Competencies for paradigm shift "survival". Mats Daniels, Åsa Cajander, Anna Eckerdal, Mats Lind, Aletta Nylén, Tony Clear och Roger McDermott. I Proc. 45th ASEE/IEEE Frontiers in Education Conference, pp 1424-1429, IEEE Press, Piscataway, NJ, 2015. (DOI).
98. Refraction: Low-cost management of reflective meta-data in pervasive component-based applications. Wilfried Daniels, José Proença, Dave Clarke, Wouter Joosen och Danny Hughes. I Proc. 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, pp 27-36, ACM Press, New York, 2015. (DOI).
99. An efficient, self-contained, on-chip directory: DIR₁-SISD. Mahdad Davari, Alberto Ros, Erik Hagersten och Stefanos Kaxiras. I Proc. 24th International Conference on Parallel Architectures and Compilation Techniques, pp 317-330, IEEE Computer Society, 2015. (DOI).
100. Effects of Granularity/Adaptivity on Private/Shared Classification for Coherence. Mahdad Davari, Alberto Ros, Erik Hagersten och Stefanos Kaxiras. I , 2015.
101. The effects of granularity and adaptivity on private/shared classification for coherence. Mahdad Davari, Alberto Ros, Erik Hagersten och Stefanos Kaxiras. I ACM Transactions on Architecture and Code Optimization (TACO), volym 12, nummer 3, 2015. (DOI).
102. Scheduling instruction effects for a statically pipelined processor. Brandon Davis, Ryan Baird, Peter Gavin, Magnus Själander, Ian Finlayson, Farhad Rasapour, Gregory Cook, Gang-Ryung Uh, David Whalley och Gary Tyson. I Proc. International Conference on Compilers, Architectures, and Synthesis for Embedded Systems: CASES 2015, pp 167-176, IEEE Press, Piscataway, NJ, 2015. (DOI).
103. Computer Assisted Pap Smear Analyser for Cervical Cancer Screening using Quantitative Microscopy. Rajasekharan Usha Deepak, Ramakrishnan Rajesh Kumar, Neendoorthalackal Balakrishnan Byju, Pundluvalu Nataraju Sharathkumar, Chandran Pournami, Salam Sibi, Ewert Bengtsson och Kunjuraman Sujathan. I Journal of Cytology & Histology, volym 6, nummer S3, 2015. (DOI, Fulltext).
104. ?LBP – a novel member of the Local Binary Pattern family based on ?-cutting. Marija Delic, Joakim Lindblad och Natasa Sladoje. I Proc. 9th International Symposium on Image and Signal Processing and Analysis, pp 13-18, IEEE, 2015. (DOI).
105. Accelerated multigrid for graph Laplacian operators. Pietro Dell'Acqua, Antonio Frangioni och Stefano Serra-Capizzano. I Applied Mathematics and Computation, volym 270, pp 193-215, 2015. (DOI).
106. Computational evaluation of multi-iterative approaches for solving graph-structured large linear systems. Pietro Dell'Acqua, Antonio Frangioni och Stefano Serra-Capizzano. I Calcolo, volym 52, pp 425-444, 2015. (DOI).
107. An Empathic Robotic Tutor in a Map Application. Amol Deshmukh, Aidan Jones, Srinivasan Janarthanam, Helen Hastie, Tiago Ribeiro, Ruth Aylett, Ana Paiva och Ginevra Castellano. I Proceedings of the 2015 international conference on autonomous agents &amp; multiagent systems (AAMAS'15), pp 1923-1924, Association for Computing Machinery (ACM), New York, 2015.
108. Steady-state Analysis and Design of Activated Sludge Processes Including Compressive Settling. Stefan Diehl, Jesús Zambrano och Bengt Carlsson. I Proc. 9th IWA Symposium on Systems Analysis and Integrated Assessment, 2015.
109. Robust and optimal multi-iterative techniques for IgA Galerkin linear systems. Marco Donatelli, Carlo Garoni, Carla Manni, Stefano Serra-Capizzano och Hendrik Speleers. I Computer Methods in Applied Mechanics and Engineering, volym 284, pp 230-264, 2015. (DOI).
110. Robust and optimal multi-iterative techniques for IgA collocation linear systems. Marco Donatelli, Carlo Garoni, Carla Manni, Stefano Serra-Capizzano och Hendrik Speleers. I Computer Methods in Applied Mechanics and Engineering, volym 284, pp 1120-1146, 2015. (DOI).
111. Spectral analysis and structure preserving preconditioners for fractional diffusion equations. Marco Donatelli, Mariarosa Mazza och Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2015-002, 2015. (fulltext).
112. Two-grid optimality for Galerkin linear systems based on B-splines. Marco Donatelli, Carlo Garoni, Carla Manni, Stefano Serra-Capizzano och Hendrik Speleers. I Computing and Visualization in Science, volym 17, pp 119-133, 2015. (DOI).
113. Developments in preconditioned iterative methods with application to glacial isostatic adjustment models. Ali Dorostkar. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2015-002, Uppsala University, 2015. (fulltext).
114. Numerical and computational aspects of some block-preconditioners for saddle point systems. Ali Dorostkar, Maya Neytcheva och Björn Lund. I Parallel Computing, volym 49, pp 164-178, 2015. (DOI).
115. On some block-preconditioners for saddle point systems and their CPU–GPU performance. Ali Dorostkar, Maya Neytcheva och Björn Lund. Technical report / Department of Information Technology, Uppsala University nr 2015-003, 2015. (fulltext).
116. Schur complement matrix and its (elementwise) approximation: A spectral analysis based on GLT sequences. Ali Dorostkar, Maya Neytcheva och Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2015-011, 2015. (fulltext).
117. Schur complement matrix and its (elementwise) approximation: A spectral analysis based on GLT sequences. Ali Dorostkar, Maya Neytcheva och Stefano Serra-Capizzano. I Large-Scale Scientific Computing, volym 9374 av Lecture Notes in Computer Science, pp 419-426, Springer, 2015. (DOI).
118. Spectral analysis of coupled PDEs and of their Schur complements via the notion of generalized locally Toeplitz sequences. Ali Dorostkar, Maya Neytcheva och Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2015-008, 2015. (fulltext).
119. Boundary conditions and stability of a perfectly matched layer for the elastic wave equation in first order form. Kenneth Duru, Jeremy E. Kozdon och Gunilla Kreiss. I Journal of Computational Physics, volym 303, pp 372-395, 2015. (DOI).
120. Joint ranging and clock parameter estimation by wireless round trip time measurements. Satyam Dwivedi, Alessio De Angelis, Dave Zachariah och Peter Händel. I IEEE Journal on Selected Areas in Communications, volym 33, nummer 11, pp 2379-2390, 2015. (DOI).
121. Relating theory and practice in laboratory work: a variation theoretical study. Anna Eckerdal. I Studies in Higher Education, volym 40, pp 867-880, 2015. (DOI).
122. An optimal resource sharing protocol for generalized multiframe tasks. Pontus Ekberg, Nan Guan, Martin Stigge och Wang Yi. I The Journal of logical and algebraic methods in programming, volym 84, nummer 1, pp 92-105, 2015. (DOI, fulltext:postprint).
123. Models and Complexity Results in Real-Time Scheduling Theory. Pontus Ekberg. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1324, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext, preview image).
124. Uniprocessor feasibility of sporadic tasks remains coNP-complete under bounded utilization. Pontus Ekberg och Wang Yi. I Proc. 36th Real-Time Systems Symposium, pp 87-95, IEEE Computer Society, 2015. (DOI).
125. Uniprocessor feasibility of sporadic tasks with constrained deadlines is strongly coNP-complete. Pontus Ekberg och Wang Yi. I Proc. 27th Euromicro Conference on Real-Time Systems, pp 281-286, IEEE, Piscataway, NJ, 2015. (DOI).
126. Machine learning for ultrafast X-ray diffraction patterns on large-scale GPU clusters. Tomas Ekeberg, Stefan Engblom och Jing Liu. I The international journal of high performance computing applications, volym 29, pp 233-243, 2015. (DOI, fulltext:postprint).
127. Sonja Lyttkens. Kerstin Ekstig, Sten Kaijser, Christer O. Kiselman, Lars-Åke Lindahl och Anders Vretblad. I Upsala Nya Tidning, volym 125, nummer 12, pp B13-B13, Upsala nya tidning, 2015.
128. A discontinuous Galerkin multiscale method for convection–diffusion problems. Daniel Elfverson. I Computing Research Repository, nummer 1509.03523, 2015. (Extern länk). Publikationsstatus: Submitted
129. Multiscale Methods and Uncertainty Quantification. Daniel Elfverson. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1287, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext, preview image).
130. On multiscale methods in Petrov–Galerkin formulation. Daniel Elfverson, Victor Ginting och Patrick Henning. I Numerische Mathematik, volym 131, pp 643-682, 2015. (DOI).
131. Enabling design of performance-controlled sensor network applications through task allocation and reallocation. Atis Elsts, Farshid Hassani Bijarbooneh, Martin Jacobsson och Konstantinos Sagonas. I Proc. 11th International Conference on Distributed Computing in Sensor Systems, pp 248-253, IEEE Computer Society, 2015. (DOI, fulltext:postprint).
132. Optimal Task Allocation in Sensor and Actuator Networks. Atis Elsts. I Proc. 11th Swedish National Computer Networking Workshop, 2015.
133. ProFuN TG: A Tool Using Abstract Task Graphs to Facilitate the Development, Deployment and Maintenance of Wireless Sensor Network Applications. Atis Elsts, Farshid Hassani Bijarbooneh, Martin Jacobsson och Konstantinos Sagonas. I Proc. Poster/Demo Session: 12th European Conference on Wireless Sensor Networks, pp 19-20, 2015.
134. ProFuN TG: A tool for programming and managing performance-aware sensor network applications. Atis Elsts, Farshid Hassani Bijarbooneh, Martin Jacobsson och Konstantinos Sagonas. I IEEE 40th Local Computer Networks Conference Workshops (LCN Workshops), pp 751-759, IEEE Computer Society, 2015. (DOI, fulltext:preprint).
135. ProFuN TG: Programming Sensornets with Task Graphs for Increased Reliability and Energy-Efficiency. Atis Elsts, Farshid Hassani Bijarbooneh, Martin Jacobsson och Konstantinos Sagonas. I , IEEE Computer Society, 2015. (Extern länk, fulltext:postprint).
136. Towards a sensor system to tame the human elephant conflict. Charitha Elvitigala, Eranda Tennakoon, Ayyoob Hamza, Yasith Lokuge, Kasun De Zoysa, Chamath Keppitiyagama, Venkat Iyer, Kasun Hewage och Thiemo Voigt. I Sensors Applications Symposium (SAS), pp 169-172, IEEE, 2015. (DOI).
137. Energy-efficient fault-tolerant dynamic event region detection in wireless sensor networks. Hans-Jacob Enemark, Yue Zhang, Nicola Dragoni och Charalampos Orfanidis. I Proc. 81st IEEE Vehicular Technology Conference, IEEE Vehicular Technology Conference Proceedings, IEEE conference proceedings, 2015. (fulltext:postprint).
138. Strong convergence for split-step methods in stochastic jump kinetics. Stefan Engblom. I SIAM Journal on Numerical Analysis, volym 53, pp 2655-2676, 2015. (DOI, fulltext:print).
139. Scalable point-to-multipoint communication for cloud networking using information-centric networking. Anders E. Eriksson, Börje Ohlman, Karl-Åke Persson, Adeel Mohammad Malik, Marcus Ihlar och Linus Sunde. I Proc. 12th IEEE Consumer Communications and Networking Conference, pp 654-662, IEEE, Piscataway, NJ, 2015. (DOI).
140. Trunk Muscle Activation at the Initiation and Braking of Bilateral Shoulder Flexion Movements of Different Amplitudes. Martin Eriksson Crommert, Kjartan Halvorsen och Maria M. Ekblom. I PLOS ONE, volym 10, nummer 11, 2015. (DOI, fulltext:print).
141. Recreating with photogrammetric techniques a submerged megalithic landscape: the case of the salas reservoir. B. Estevez, M. Pazos, J. M. Franco och Anders Hast. I 3 Encontro Internacional de Arqueoloxia de Vilalba, pp 9-16, 2015.
142. Energy-efficient medium access control for energy harvesting communications. Xenofon Fafoutis, Alessio Di Mauro, Charalampos Orfanidis och Nicola Dragoni. I IEEE transactions on consumer electronics, volym 61, nummer 4, pp 402-410, 2015. (DOI).
143. Improved Monte Carlo methods for computing failure probabilities of porous media flow systems. Fritjof Fagerlund, Fredrik Hellman, Axel Målqvist och Auli Niemi. Technical report / Department of Information Technology, Uppsala University nr 2015-025, 2015. (fulltext).
144. Computerized Cell and Tissue Analysis. Azadeh Fakhrzadeh. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1262, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext, preview image).
145. Inter-network interactions in the internet-of-things: Protocol and architecture challenges. Laura Marie Feeney. I , 2015.
146. Modes of inter-network interaction in beacon-enabled IEEE 802.15.4 networks. Laura Marie Feeney, Michael Frey, Viktoria Fodor och Mesut Günes. I Proc of the 14th IFIP Annual Mediterranean Ad Hoc Networking Workshop, 2015.
147. Automating regression verification. Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer och Mattias Ulbrich. I Software Engineering &amp; Management 2015, volym 239 av Lecture Notes in Informatics, pp 75-76, Gesellschaft für Informatik, Germany, 2015.
148. Implied constraints for AUTOMATON constraints. María Andreína Francisco Rodríguez, Pierre Flener och Justin Pearson. I Global Conference on Artificial Intelligence: GCAI 2015, volym 36 av EasyChair Proceedings in Computing, pp 113-126, Cool Press, Manchester, UK, 2015. (Abstract).
149. Internet of Things and Future Threats Towards our Society. Torbjörn Fängström och Lisa Kaati. I Proc. National Symposium on Technology and Methodology for Security and Crisis Management: TAMSEC 2015, 2015.
150. Acrosome integrity assessment of boar spermatozoa images using an early fusion of texture and contour descriptors. Oscar García-Olalla, Enrique Alegre, Laura Fernández-Robles, Patrik Malm och Ewert Bengtsson. I Computer Methods and Programs in Biomedicine, volym 120, nummer 1, pp 49-64, 2015. (DOI).
151. A general tool for determining the asymptotic spectral distribution of Hermitian matrix-sequences. Carlo Garoni, Stefano Serra-Capizzano och Paris Vassalos. I Operators and Matrices, volym 9, pp 549-561, 2015. (Article).
152. Generalized locally Toeplitz sequences: a review and an extension. Carlo Garoni och Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2015-016, 2015. (fulltext).
153. Lusin theorem, GLT sequences and matrix computations: An application to the spectral analysis of PDE discretization matrices. Carlo Garoni, Carla Manni, Stefano Serra-Capizzano, Debora Sesana och Hendrik Speleers. Technical report / Department of Information Technology, Uppsala University nr 2015-012, 2015. (fulltext).
154. Spectral analysis and spectral symbol of <em>d</em>-variate Q<em>_p</em> Lagrangian FEM stiffness matrices. Carlo Garoni, Stefano Serra-Capizzano och Debora Sesana. I SIAM Journal on Matrix Analysis and Applications, volym 36, pp 1100-1128, 2015. (DOI).
155. Spectral analysis and spectral symbol of matrices in isogeometric Galerkin methods. Carlo Garoni, Carla Manni, Stefano Serra-Capizzano, Debora Sesana och Hendrik Speleers. Technical report / Department of Information Technology, Uppsala University nr 2015-005, 2015. (fulltext).
156. The theory of generalized locally Toeplitz sequences: a review, an extension, and a few representative applications. Carlo Garoni och Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2015-023, 2015. (fulltext).
157. Tools for determining the asymptotic spectral distribution of non-Hermitian perturbations of Hemitian matrix-sequences and applications. Carlo Garoni, Stefano Serra-Capizzano och Debora Sesana. I Integral equations and operator theory, volym 81, pp 213-225, 2015. (DOI).
158. Coherent mimo radar and waveform diversity. Christopher Gianelli, Jian Li och Peter Stoica. I Wiley Encyclopedia of Electrical and Electronics Engineering, pp 1-19, John Wiley & Sons, Hoboken, NJ, 2015. (DOI).
159. Unsteady simulations of rotor stator interactions using SBP-SAT schemes: Status and challenges. Giorgio Giangaspero, Martin Almquist, Ken Mattsson och Edwin van der Weide. I Spectral and High Order Methods for Partial Differential Equations: ICOSAHOM 2014, volym 106 av Lecture Notes in Computational Science and Engineering, pp 247-255, Springer, 2015. (DOI).
160. Concolic Testing for Functional Languages. Aggelos Giantsios, Nikolaos Papaspyrou och Konstantinos Sagonas. I Proceedings of the 17th international symposium on principles and practice of declarative programming (PPDP 2015), pp 137-148, Association for Computing Machinery (ACM), 2015. (DOI).
161. Location and Density of Rain Gauges for the Estimation of Spatial Varying Precipitation. Marc Girons Lopez, Hjalmar Wennerström, Lars-Åke Nordén och Jan Seibert. I Geografiska Annaler. Series A, Physical Geography, volym 97, nummer 1, pp 167-179, 2015. (DOI, Fulltext).
162. Probabilistic programs as spreadsheet queries. Andrew D. Gordon, Claudio Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel och Daniel Tarlow. I Programming Languages and Systems, volym 9032 av Lecture Notes in Computer Science, pp 1-25, Springer Berlin/Heidelberg, 2015. (DOI, fulltext:postprint).
163. Motivation and Grade Gap Related to Gender in a Programming Course. Virginia Grande och Joachim Parrow. I , 2015. (DOI).
164. Perspectives on Volunteering for Initiatives for Women in Computing: a Case Study. Virginia Grande. I , Frontiers in Education Conference, pp 927-930, 2015.
165. Data structures and algorithms for high-dimensional structured adaptive mesh refinement. Magnus Grandin. I Advances in Engineering Software, volym 82, pp 75-86, 2015. (DOI).
166. A constraint optimisation model for analysis of telecommunication protocol logs. Olga Grinchtein, Mats Carlsson och Justin Pearson. I Tests and Proofs: TAP 2015, volym 9154 av Lecture Notes in Computer Science, pp 137-154, Springer, 2015. (DOI).
167. Testing of a telecommunication protocol using constraint programming. Olga Grinchtein, Mats Carlsson och Justin Pearson. I 2015 IEEE Eighth International Conference On Software Testing, Verification And Validation Workshops (ICSTW), IEEE International Conference on Software Testing Verification and Validation Workshops, 2015.
168. Bounding carry-in interference to improve fixed-priority global multiprocessor scheduling analysis. Nan Guan, Meiling Han, Chuancai Gu, Qingxu Deng och Wang Yi. I Proc. 21st International Conference on Embedded and Real-Time Computing Systems and Applications, pp 11-20, IEEE Computer Society, 2015. (DOI).
169. Delay analysis of structural real-time workload. Nan Guan, Yue Tang, Yang Wang och Wang Yi. I Proc. 18th Conference on Design, Automation and Test in Europe, pp 223-228, IEEE, Piscataway, NJ, 2015. (DOI).
170. Modular performance analysis of energy-harvesting real-time networked systems. Nan Guan, Mengying Zhao, Chun Jason Xue, Yongpan Liu och Wang Yi. I Proc. 36th Real-Time Systems Symposium, pp 65-74, IEEE Computer Society, 2015. (DOI).
171. Scalable timing analysis with refinement. Nan Guan, Yue Tang, Jakaria Abdullah, Martin Stigge och Wang Yi. I Tools and Algorithms for the Construction and Analysis of Systems, volym 9035 av Lecture Notes in Computer Science, pp 3-18, Springer, 2015. (DOI).
172. Diffusion equation: Computation. Bertil Gustafsson. I Encyclopedia of Applied and Computational Mathematics, pp 353-356, Springer, 2015. (DOI).
173. Scaffolding mentalizing via a play-&amp;-learn game for preschoolers. Magnus Haake, Anton Axelsson, Mette Clausen-Bruun och Agneta Gulz. I Computers and education, volym 90, pp 13-23, 2015. (DOI).
174. A Quadcopter Controller to Maintain Radio Link Quality. Ayyoob Hamza, Chamath Keppitiyagama, Kasun De Zoysa, Venkat Iyer, Kasun Hewage och Thiemo Voigt. I The First Workshop on Micro Aerial Vehicle Networks, Systems, and Applications for Civilian Use, pp 21-26, 2015. (DOI, Extern länk).
175. Constraint Programming for Wireless Sensor Networks. Farshid Hassani Bijarbooneh. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1219, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext, preview image).
176. A Simple and Efficient Feature Descriptor for Fast Matching. Anders Hast, Victoria Sablina, Gustav Kylberg och Ida-Maria Sintorn. I WSCG, pp 135-142, 2015.
177. Clustering in 2D as a Fast Deterministic Alternative to RANSAC. Anders Hast och Gustav Kylberg. I , 2015.
178. Interest Point Detection Based on the Extended Structure Tensor with a Scale Space Parameter. Anders Hast. I International Conference on Computer Vision Theory and Applications, pp 1-8, 2015.
179. Mathematics + Computer Science = True. Anders Hast. I , pp 85-93, 2015.
180. Stereo Visualisation of Historical Aerial Photos as a Valuable Tool for Archeological Research. Anders Hast och Andrea Marchetti. I Computer Applications and Quantitative Methods in Archaeology, CAA, pp 1-3, 2015.
181. Stereo Visualisation of Historical Aerial Photos – a Valuable Digital Heritage Research Tool. Anders Hast och Andrea Marchetti. I 2015 Digital Heritage International Congress, Vol 2: Analysis &amp; Interpretation Theory, Methodologies, Preservation &amp; Standards Digital Heritage Projects &amp; Applications, pp 663-666, 2015.
182. Swedish eScience Education – a Graduate School in eScience. Anders Hast, Michael Hanke och Hans O. Karlsson. I Proc. 11th International Conference on e-Science, pp 31-35, IEEE Computer Society, 2015. (DOI).
183. Few is Just Enough!: Small Model Theorem for Parameterized Verification and Shape Analysis. Frédéric Haziza. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1302, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext, preview image).
184. On preconditioning of incompressible non-Newtonian flow problems. Xin He, Maya Neytcheva och Cornelis Vuik. I Journal of Computational Mathematics, volym 33, pp 33-58, 2015. (DOI).
185. Handover for a portable communication device between local and wide area wireless networks. Pekka Hedqvist, Per Gunningberg, Mattias Hansson, Esbjörn Köhler och Jonne Kodu. 2015. (Extern länk).
186. Reaction rates for mesoscopic reaction-diffusion kinetics. Stefan Hellander, Andreas Hellander och Linda Petzold. I Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volym 91, pp 023312:1-12, 2015. (DOI, fulltext:print).
187. Multiscale and multilevel methods for porous media flow problems. Fredrik Hellman. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2015-003, Uppsala University, 2015. (fulltext).
188. Error control and adaptivity for heterogeneous multiscale approximations of nonlinear monotone problems. Patrick Henning och Mario Ohlberger. I Discrete and Continuous Dynamical Systems. Series S, volym 8, pp 119-150, 2015. (DOI).
189. Scalable Visual Codes for Embedding Digital Data in the Physical World. Frederik Hermans, Liam McNamara och Thiemo Voigt. I Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, pp 457-458, ACM, 2015. (DOI).
190. An experimental study of attacks on the availability of Glossy. Kasun Hewage, Shahid Raza och Thiemo Voigt. I Computers & electrical engineering, volym 41, pp 115-125, 2015. (DOI).
191. Enabling TCP in mobile cyber-physical systems. Kasun Hewage, Simon Duquennoy, Venkatraman Iyer och Thiemo Voigt. I Proc. 12th International Conference on Mobile Ad Hoc and Sensor Systems, pp 289-297, IEEE Computer Society, 2015. (DOI).
192. Imputation of single nucleotide polymorphism genotypes in biparental, backcross, and topcross populations with a hidden Markov model. John M. Hickey, Gregor Gorjanc, Rajeev K. Varshney och Carl Nettelblad. I Crop science, volym 55, pp 1934-1946, 2015. (DOI, Fulltext).
193. Identification of the Reichardt elementary motion detector model. Egi Hidayat, Alexander Medvedev och Karin Nordström. I Signal and Image Analysis for Biomedical and Life Sciences, volym 823 av Advances in Experimental Medicine and Biology, pp 83-105, Springer, 2015. (DOI).
194. Mediator synthesis in a component algebra with data. Lukás Holik, Malte Isberner och Bengt Jonsson. I Correct System Design, volym 9360 av Lecture Notes in Computer Science, pp 238-259, Springer, 2015. (DOI).
195. Towards accurate modeling of moving contact lines. Hanna Holmgren och Gunilla Kreiss. 2015. (DOI, Fulltext, arXiv:1510.06639).
196. Towards accurate modeling of moving contact lines. Hanna Holmgren. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2015-006, Uppsala University, 2015. (fulltext).
197. Joint vehicle trajectory and model parameter estimation using road side sensors. Roland Hostettler, Wolfgang Birk och Magnus Lundberg Nordenvaad. I IEEE Sensors Journal, volym 15, nummer 9, pp 5075-5086, 2015. (DOI).
198. A survey on mobile social networks: Applications, platforms, system architectures, and future research directions. Xiping Hu, Terry H. S. Chu, Victor C. M. Leung, Edith C.-H. Ngai, Philippe Kruchten och Henry C. B. Chan. I IEEE Communications Surveys and Tutorials, volym 17, nummer 3, pp 1557-1581, 2015. (DOI).
199. Health Drive: Mobile healthcare onboard vehicles to promote safe driving. Xiping Hu, Xitong Li, Edith C.-H. Ngai, Jidi Zhao, Victor C. M. Leung och Panos Nasiopoulos. I Proc. 48th Hawaii International Conference on System Sciences, International Conference on System Sciences, pp 3074-3083, IEEE Computer Society, 2015. (DOI).
200. SAfeDJ: A crowd-cloud codesign approach to situation-aware music delivery for drivers. Xiping Hu, Junqi Deng, Jidi Zhao, Wenyan Hu, Edith C.-H. Ngai, Renfei Wang, Johnny Shen, Min Liang, Xitong Li, Victor C. M. Leung och Yu-Kwong Kwok. I ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP), volym 12, nummer 1s, pp 21:1-24, 2015. (DOI, fulltext:print).
201. Patients' perceptions of their medical records from different subject positions. Isto Huvila, Åsa Cajander, Mats Daniels och Rose-Mharie Åhlfeldt. I Journal of the Association for Information Science and Technology, volym 66, nummer 12, pp 2456-2470, 2015. (DOI).
202. On the bimodality in an introductory programming course: An analysis of student performance factors. Lars Josef Höök och Anna Eckerdal. I Proc. 3rd International Conference on Learning and Teaching in Computing and Engineering, pp 79-86, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI).
203. Precise Euclidean distance transforms in 3D from voxel coverage representation. Vladimir Ilic, Joakim Lindblad och Natasa Sladoje. I Pattern Recognition Letters, volym 65, pp 184-191, 2015. (DOI).
204. Robust tuning of bending-points detection algorithms in batch-operated processes: Application to autothermal thermophilic aerobic digesters. Ion Irizar, Jesús Zambrano, Bengt Carlsson, Mikel Morrás och Enrique Aymerich. I Environmental Modelling & Software, volym 71, pp 148-158, 2015. (DOI).
205. Detecting and avoiding multiple sources of interference in the 2.4 GHz spectrum. Venkatraman Iyer, Frederik Hermans och Thiemo Voigt. I Wireless Sensor Networks, volym 8965 av Lecture Notes in Computer Science, pp 35-51, Springer, 2015. (DOI).
206. Estimating packet delivery ratio for arbitrary packet sizes over wireless links. Martin Jacobsson och Christian Rohner. I IEEE Communications Letters, volym 19, nummer 4, pp 609-612, 2015. (DOI).
207. Using software-defined networking principles for wireless sensor networks. Martin Jacobsson och Charalampos Orfanidis. I Proc. 11th Swedish National Computer Networking Workshop, 2015. (Extern länk, fulltext:print).
208. Collegial verbalisation — the value of an independent observer: an ecological approach. Anders Jansson, Mikael Erlandsson och Anton Axelsson. I Theoretical Issues in Ergonomics Science, volym 16, nummer 5, pp 474-494, 2015. (DOI).
209. Identification Techniques for Mathematical Modeling of the Human Smooth Pursuit System. Daniel Jansson. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 115, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext, preview image).
210. Parametric and nonparametric analysis of eye-tracking data by anomaly detection. Daniel Jansson, Olov Rosén och Alexander Medvedev. I IEEE Transactions on Control Systems Technology, volym 23, nummer 4, pp 1578-1586, 2015. (DOI).
211. Stochastic anomaly detection in eye-tracking data for quantification of motor symptoms in Parkinson's disease. Daniel Jansson, Alexander Medvedev, Hans Axelson och Dag Nyholm. I Signal and Image Analysis for Biomedical and Life Sciences, volym 823 av Advances in Experimental Medicine and Biology, pp 63-82, Springer, 2015. (DOI).
212. System Identification of Wiener Systems via Volterra-Laguerre Models: Application to Human Smooth Pursuit Analysis. Daniel Jansson och Alexander Medvedev. I 2015 European Control Conference (Ecc), pp 2700-2705, IEEE, 2015. (DOI).
213. Analyzing multimode wireless sensor networks using the network calculus. Xi Jin, Nan Guan, Jintao Wang och Peng Zeng. I Journal of Sensors, volym 2015, pp 851608:1-12, 2015. (DOI, fulltext:print).
214. Timeprints for identifying social media users with multiple aliases. Fredrik Johansson, Lisa Kaati och Amendra Shrestha. I Security Informatics, volym 4, pp 7:1-11, 2015. (DOI, Fulltext).
215. Empathic robotic tutors for personalised learning: A multidisciplinary approach. Aidan Jones, Dennis Küster, Christina Anne Basedow, Patrícia Alves-Oliveira, Sofia Serholt, Helen Hastie, Lee J. Corrigan, Wolmet Barendregt, Arvid Kappas, Ana Paiva och Ginevra Castellano. I Social Robotics, volym 9388 av Lecture Notes in Computer Science, pp 285-295, Springer, 2015. (DOI).
216. Detecting multipliers of jihadism on twitter. Lisa Kaati, Enghin Omer, Nico Prucha och Amendra Shrestha. I Proc. 15th ICDM Workshops, pp 954-960, IEEE Computer Society, 2015. (DOI).
217. A Quadratic Extended Edge-Finding Filtering Algorithm for Cumulative Resource Constraints. Roger Kameugne, Laure Pauline Fotso och Joseph Scott. I Principles and practice of constraint programming, CP 2015, volym 9255 av Lecture Notes in Computer Science, pp 738-739, SPRINGER-VERLAG BERLIN, 2015.
218. Etik och medicinteknik. Iordanis Kavathatzopoulos och Mikael Laaksoharju. I Medicinteknikdagarna 2015, pp 94-94, Svensk Förening för Medicinsk Teknik och Fysik (MTF), Akademiska sjukhuset, Uppsala universitet, Uppsala, 2015. (Extern länk, Proceedings).
219. Etikutbildning för ingenjörer: Övningar, verktyg, metoder. Iordanis Kavathatzopoulos, Thomas Lennerfors, Mikael Laaksoharju, Ryoko Asai och Ingrid Björk. I 5:e utvecklingskonferensen för Sveriges Ingenjörsutbildningar, pp 30-31, Uppsala universitet, 2015. (Extern länk, Proceedings).
220. How ethical robots process information, communicate and act. Iordanis Kavathatzopoulos och Ingrid Björk. I 1st TRANSOR Workshop: Methodological Problems of Social Robotics, 2015. (Extern länk).
221. ICT and sustainability: skills and methods for dialogue and policy making. Iordanis Kavathatzopoulos. I Journal of Information, Communication and Ethics in Society, volym 13, nummer 1, pp 13-18, Emerald Group Publishing Limited, 2015. (DOI).
222. Judging the complexity of privacy, openness and loyalty issues. Iordanis Kavathatzopoulos och Ryoko Asai. I Computers &amp; Society: The Newsletter of the ACM Special Interest Group on Computers and Society Special Issue on 20 Years of ETHICOMP, ACM SIGCAS Computers and Society Newsletter, pp 416-419, ACM Digital Library, 2015. (DOI, Extern länk, Extern länk, Extern länk, Extern länk).
223. Philosophy and philosophology. Iordanis Kavathatzopoulos. I , 2015. (Extern länk).
224. AREP: Adaptive Resource Efficient Prefetching for Maximizing Multicore Performance. Muneeb Khan, Michael A. Laurenzano, Jason Mars, Erik Hagersten och David Black-Schaffer. I Proc. 24th International Conference on Parallel Architectures and Compilation Techniques, pp 367-378, IEEE Computer Society, 2015. (DOI, fulltext:postprint).
225. Perf-Insight: A Simple, Scalable Approach to Optimal Data Prefetching in Multicores. Muneeb Khan, David Black-Schaffer och Erik Hagersten. Technical report / Department of Information Technology, Uppsala University nr 2015-037, 2015. (fulltext).
226. Coupling of Gaussian beam and finite difference solvers for semiclassical Schrödinger equations. Emil Kieri, Gunilla Kreiss och Olof Runborg. I Advances in Applied Mathematics and Mechanics, volym 7, pp 687-714, 2015. (DOI, fulltext:postprint).
227. Discretised dynamical low-rank approximation in the presence of small singular values. Emil Kieri, Christian Lubich och Hanna Walach. I Mathematical Methods in Quantum Molecular Dynamics, volym 12 av Oberwolfach Reports, pp 1516-1517, EMS Publishing House, Zürich, Switzerland, 2015. (DOI).
228. Stiff convergence of force-gradient operator splitting methods. Emil Kieri. I Applied Numerical Mathematics, volym 94, pp 33-45, 2015. (DOI, fulltext:postprint).
229. De esperanta korpuso ?is islanda lingvopolitiko: Aktoj de la 36-a Esperantologia Konferenco en la 98-a Universala Kongreso de Esperanto, Rejkjaviko 2013. Christer O. Kiselman och José Antonio Vergara (red). Universala Esperanto-Asocio, Rotterdam, 2015.
230. Esperantologio / Esperanto Studies. Christer O. Kiselman (red). Dobrichovice, 2015.
231. Estimates for solutions to discrete convolution equations. Christer O. Kiselman. I Mathematika, volym 61, nummer 2, pp 295-308, 2015. (DOI).
232. Euclid's straight lines. Christer O. Kiselman. I Normat, volym 60, nummer 4, pp 145-169, 2015. (fulltext:postprint).
233. Geraldo Mattos (1931–2014). Christer O. Kiselman. I Esperantologio / Esperanto Studies, volym 7, pp 126-126, Dobrichovice, 2015.
234. Hur kommer forskningen i Sverige att påverkas av utvärderingarna?. Christer O. Kiselman. I Bulletinen. Svenska matematikersamfundets medlemsblad, volym 2015-10-15, pp 16-24, Svenska matematikersamfundet, Göteborg, 2015.
235. Kombineblo de vortelementoj en esperanto – rigardoj malanta?en kaj anta?en. Christer O. Kiselman. I Esperantologio / Esperanto Studies, volym 7, pp 73-125, Dobrichovice, 2015.
236. La lingvoj de Zamenhof (1878, 1881, 1887, 1905). Christer O. Kiselman. I Literatura Foiro, nummer 277, pp 260-265, Kooperativo de Literatura Foiro, La Chaux-de-Fonds, 2015.
237. Matematiska rum. Christer O. Kiselman. I Sundelöfs Societet, pp 25-42, Kungl. Vetenskaps-Societeten, Uppsala, 2015.
238. Nash i Uppsala. Christer O. Kiselman. I Bulletinen. Svenska matematikersamfundets medlemsblad, volym 2015-10-15, pp 13-15, Svenska matematikersamfundet, Göteborg, 2015.
239. To the Memory of Lars Hörmander (1931–2012): Lars Hörmander—some early memories. Christer O. Kiselman. I Notices of the American Mathematical Society, volym 62, nummer 8, pp 904-905, 2015. (DOI).
240. Indoor positioning using ultrawideband and inertial measurements. Manon Kok, Jeroen D. Hol och Thomas B. Schön. I IEEE Transactions on Vehicular Technology, volym 64, nummer 4, pp 1293-1303, 2015. (DOI).
241. Next-Generation Pathology: Surveillance of Tumor Microecology. Björn Koos, Masood Kamali-Moghaddam, Leonor David, Manuel Sobrinho-Simoes, Anna Dimberg, Mats Nilsson, Carolina Wählby och Ola Söderberg. I Journal of Molecular Biology, volym 427, nummer 11, pp 2013-2022, 2015. (DOI, Fulltext).
242. Scalable Analysis of Fault Trees with Dynamic Features. Jan Krcal och Pavel Krcal. I 2015 45Th Annual IEEE/IFIP International Conference On Dependable Systems And Networks, pp 89-100, 2015. (DOI).
243. Finite difference methods. Gunilla Kreiss. I Encyclopedia of Applied and Computational Mathematics, pp 516-521, Springer, 2015. (DOI).
244. A histopathological tool for quantification of biomarkers with sub-cellular resolution. Andreas Kårsnäs, Robin Strand, Johan Doré, Thomas Ebstrup, Michael Lippert och Kim Bjerrum. I Computer Methods in Biomechanics and Biomedical Engineering: Imaging & Visualization, volym 3, nummer 1, pp 25-46, 2015. (DOI).
245. Multimodal histological image registration using locally rigid transforms. Andreas Kårsnäs och Robin Strand. I Proc. Interactive Medical Image Computing Workshop, 2015.
246. A high-level model for an assembly language attacker by means of reflection. Adriaan Larmuseau, Marco Patrignani och Dave Clarke. I Dependable Software Engineering: Theories, Tools, and Applications, volym 9409 av Lecture Notes in Computer Science, pp 168-182, Springer, 2015. (DOI, fulltext:preprint).
247. A secure compiler for ML modules. Adriaan Larmuseau, Marco Patrignani och Dave Clarke. I Programming Languages and Systems: APLAS 2015, volym 9458 av Lecture Notes in Computer Science, pp 29-48, Springer, 2015. (DOI).
248. Formalizing a secure foreign function interface. Adriaan Larmuseau och Dave Clarke. I Software Engineering and Formal Methods, volym 9276 av Lecture Notes in Computer Science, pp 215-230, Springer, 2015. (DOI, fulltext:postprint).
249. Accuracy of the Michaelis–Menten approximation when analysing effects of molecular noise. Michael J. Lawson, Linda Petzold och Andreas Hellander. I Journal of the Royal Society Interface, volym 12, nummer 106, pp 20150054:1-10, 2015. (DOI, fulltext:postprint).
250. Facilities Collaboration in Cloud Manufacturing based on Generalized Collaboration Network. Wenxiang Li, Chunsheng Zhu, Edith C. -H. Ngai, Laurence T. Yang, Lei Shu och Yuxia Sheng. I Proceedings of the 11th EAI International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, pp 298-303, 2015. (DOI).
251. Coverage segmentation of 3D thin structures. Kristína Lidayová, Joakim Lindblad, Nataša Sladoje, Hans Frimmel, Chunliang Wang och Örjan Smedby. I Proc. 5th International Conference on Image Processing Theory, Tools and Applications, pp 23-28, IEEE, Piscataway, NJ, 2015. (DOI).
252. Noninvasive and continuous blood pressure monitoring using wearable body sensor networks. Hao Lin, Wenyao Xu, Nan Guan, Dong Ji, Yangjie Wei och Wang Yi. I IEEE Intelligent Systems, volym 30, nummer 6, pp 38-48, 2015. (DOI).
253. Exact linear time Euclidean distance transforms of grid line sampled shapes. Joakim Lindblad och Natasa Sladoje. I Mathematical Morphology and its Applications to Signal and Image Processing, volym 9082 av Lecture Notes in Computer Science, pp 645-656, Springer, 2015. (DOI).
254. High-resolution reconstruction by feature distance minimization from multiple views of an object. Joakim Lindblad, Natasa Sladoje, Amit Suveer, Anca Dragomir och Ida-Maria Sintorn. I Proc. 5th International Conference on Image Processing Theory, Tools and Applications, pp 29-34, IEEE, Piscataway, NJ, 2015. (DOI).
255. Microscopy image enhancement for cost-effective cervical cancer screening. Joakim Lindblad, Ewert Bengtsson och Nataša Sladoje. I Image Analysis, volym 9127 av Lecture Notes in Computer Science, pp 440-451, Springer, 2015. (DOI).
256. Defining 'Functional Products' through their constituents. John Lindström, Daria Sas, Håkan Lideskog, Magnus Löfstrand och Lennart Karlsson. I International Journal of Product Development, volym 20, nummer 1, pp 1-24, 2015. (DOI).
257. Infrared-visible image registration for augmented reality-based thermographic building diagnostics. Fei Liu och Stefan Seipel. I Visualization in Engineering, volym 3, pp 16:1-15, Springer, 2015. (DOI, Fulltext).
258. PM2.5 Monitoring using Images from Smartphones in Participatory Sensing. Xiaoyang Liu, Zheng Song, Edith Ngai, Jian Ma och Wendong Wang. I , pp 630-635, 2015.
259. Techniques for finite element methods on modern processors. Karl Ljungkvist. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2015-001, Uppsala University, 2015. (fulltext).
260. Magnetic resonance imaging cooling–reheating protocol indicates decreased fat fraction via lipid consumption in suspected brown adipose tissue. Elin Lundström, Robin Strand, Lars Johansson, Peter Bergsten, Håkan Ahlström och Joel Kullberg. I PLOS ONE, volym 10, nummer 4, 2015. (DOI, Fulltext).
261. Quality assurance using international curricula and employer feedback. Marta Lárusdóttir, Mats Daniels och Roger McDermott. I Conferences in Research and Practice in Information Technology, volym 160, pp 19-27, 2015. (Extern länk, fulltext:postprint).
262. User and client satisfaction in agile development. Marta Lárusdóttir, Effie Law och Åsa Cajander. I INTERACT 2015 Adjunct Proceedings, pp 249-257, University of Bamberg Press, 2015.
263. Property-Based Testing of Sensor Networks. Andreas Löscher, Konstantinos Sagonas och Thiemo Voigt. I Proc. 12th International Conference on Sensing, Communication, and Networking, pp 100-108, IEEE Communications Society, 2015.
264. Fokker–Planck equation: Computation. Per Lötstedt. I Encyclopedia of Applied and Computational Mathematics, pp 556-559, Springer, 2015. (DOI).
265. Numerical option pricing without oscillations using flux limiters. Per Lötstedt och Lina von Sydow. I Computers and Mathematics with Applications, volym 70, pp 1-10, 2015. (DOI, fulltext:postprint).
266. Simulation of stochastic diffusion via first exit times. Per Lötstedt och Lina Meinecke. I Journal of Computational Physics, volym 300, pp 862-886, 2015. (DOI, fulltext:postprint).
267. NoSQL approach to large scale analysis of persisted streams. Khalid Mahmood, Thanh Truong och Tore Risch. I Data Science, volym 9147 av Lecture Notes in Computer Science, pp 152-156, Springer, 2015. (DOI).
268. Utilizing a NoSQL Data Store for Scalable Log Analysis. Khalid Mahmood, Tore Risch och Minpeng Zhu. I , pp 49-55, 2015. (DOI).
269. Automatic 3DS Conversion of Historical Aerial Photographs. Francesco Malapelle, Anders Hast, Andrea Fusiello, B. Rossi, P. Fragneto och Andrea Marchetti. I IC3D 2015, International Conference on 3D Imaging, 2015.
270. Experiences From A Field Test Using Icn For Live Video Streaming. Adeel Mohammad Malik, Bengt Ahlgren, Börje Ohlman, Anders Lindgren, Edith Ngai, Lukas Klingsbo och Magnus Lång. I 2015 IEEE International Conference on Multimedia &amp; Expo Workshops (ICMEW), IEEE International Conference on Multimedia and Expo Workshops, 2015.
271. Simulation of bright-field microscopy images depicting pap-smear specimen. Patrik Malm, Anders Brun och Ewert Bengtsson. I Cytometry Part A, volym 87, nummer 3, pp 212-226, 2015. (DOI, fulltext:print).
272. Interactive Deformation of Volume Images for Image Registration. Filip Malmberg, Robin Strand och Joel Kullberg. I Proc. Interactive Medical Image Computing Workshop, 2015. (Extern länk).
273. Stabilized high-order Galerkin methods based on a parameter-free dynamic SGS model for LES. Simone Marras, Murtazo Nazarov och Francis X. Giraldo. I Journal of Computational Physics, volym 301, pp 77-101, 2015. (DOI).
274. Modeling the effect of intravenous anesthetics: A path toward individualization. Margarida Martins da Silva, Alexander Medvedev, Torbjörn Wigren och Teresa Mendonça. I IEEE Design & Test, volym 32, nummer 5, pp 17-26, 2015. (DOI).
275. Performance of an adaptive controller for the neuromuscular blockade based on inversion of a Wiener model. Margarida Martins da Silva, Luis Paz, Torbjörn Wigren och Teresa Mendonça. I Asian Journal of Control, volym 17, nummer 4, pp 1136-1147, 2015. (DOI).
276. Load-Balanced Data Collection through Opportunistic Routing. Michel Mathieu, Simon Duquennoy, Bruno Quoitin och Thiemo Voigt. I , pp 62-70, 2015.
277. High-fidelity numerical simulation of the dynamic beam equation. Ken Mattsson och Vidar Stiernström. I Journal of Computational Physics, volym 286, pp 194-213, 2015. (DOI, fulltext:postprint).
278. Modeling of testosterone regulation by pulse-modulated feedback. Per Mattsson och Alexander Medvedev. I Signal and Image Analysis for Biomedical and Life Sciences, volym 823 av Advances in Experimental Medicine and Biology, pp 23-40, Springer, 2015. (DOI).
279. Bixie: Finding and understanding inconsistent code. Tim McCarthy, Philipp Rümmer och Martin Schäf. I Proc. 37th IEEE/ACM International Conference on Software Engineering, pp 645-648, IEEE, Piscataway, NJ, 2015. (DOI).
280. A comparative analysis of two globally distributed group projects: A perspective from CSCW/CSCL research. Roger McDermott, Mats Daniels, Åsa Cajander, Julian Bass och JayPrakash Lalchandani. I Proc. 45th ASEE/IEEE Frontiers in Education Conference, pp 1964-1972, IEEE Press, Piscataway, NJ, 2015. (DOI).
281. Perseverance measures and attainment in first year computing science students. Roger McDermott, Mats Daniels och Åsa Cajander. I Proc. 20th Conference on Innovation and Technology in Computer Science Education, pp 302-307, ACM Press, New York, 2015. (DOI).
282. Mimer and Schedeval: Tools for Comparing Static Schedulers for Streaming Applications on Manycore Architectures. Nicolas Melot, Johan Janzén och Christoph Kessler. I 2015 44Th International Conference On Parallel Processing Workshops, International Conference on Parallel Processing Workshops, pp 146-155, 2015. (DOI).
283. Stochastic focusing coupled with negative feedback enables robust regulation in biochemical reaction networks. Andreas Milias-Argeitis, Stefan Engblom, Pavol Bauer och Mustafa Khammash. I Journal of the Royal Society Interface, volym 12, nummer 113, pp 20150831:1-10, 2015. (DOI, fulltext:postprint).
284. Security Challenges in Indoor Location Sensing using Bluetooth LE Broadcast. Prasant Misra, Shahid Raza, Vasanth Rajaraman, Jay Warrior och Thiemo Voigt. I Poster Proc. 12th European Conference on Wireless Sensor Networks, 2015.
285. Automated auxiliary variable elimination through on-the-fly propagator generation. Jean-Noël Monette, Pierre Flener och Justin Pearson. I Principles and Practice of Constraint Programming: CP 2015, volym 9255 av Lecture Notes in Computer Science, pp 313-329, Springer, 2015. (DOI).
286. Computations on the Edge in the Internet of Things. Andreas Moregård Haubenwaller och Konstantinos Vandikas. I Procedia Computer Science, volym 52, pp 29-34, Elsevier, 2015. (DOI, Fulltext, fulltext:print).
287. Efficient caching for constrained skyline queries. Michael Mortensen, Sean Chester, Ira Assent och Matteo Magnani. I Extending Database Technology (EDBT), 2015.
288. Optimal bounds for a Lagrange interpolation inequality for piecewise linear continuous finite elements in two space dimensions. Èrgash Muhamadiev och Murtazo Nazarov. I Journal of Mathematical Analysis and Applications, volym 423, pp 940-955, 2015. (DOI).
289. Large-Eddy Simulation of turbulent channel flow. Timofey Mukha och Mattias Liefvendahl. Technical report / Department of Information Technology, Uppsala University nr 2015-014, 2015. (fulltext).
290. Canonical density matrix perturbation theory. Anders M. N. Niklasson, Marc J. Cawkwell, Emanuel H. Rubensson och Elias Rudberg. I Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volym 92, pp 063301:1-8, 2015. (DOI, fulltext:print).
291. Stable difference methods for block-oriented adaptive grids. Anna Nissen, Katharina Kormann, Magnus Grandin och Kristoffer Virta. I Journal of Scientific Computing, volym 65, pp 486-511, 2015. (DOI).
292. Intracranial volume normalization methods: Considerations when investigating gender differences in regional brain volume. Richard Nordenskjöld, Filip Malmberg, Elna-Marie Larsson, Andrew Simmons, Håkan Ahlström, Lars Johansson och Joel Kullberg. I Psychiatry Research, volym 231, nummer 3, pp 227-235, 2015. (DOI).
293. Particle filtering based identification for autonomous nonlinear ODE models. Jerker Nordh, Torbjörn Wigren, Thomas B. Schön och Bo Bernhardsson. I Proc. 17th IFAC Symposium on System Identification, volym 48:28 av IFAC-PapersOnLine, pp 415-420, International Federation of Automatic Control, 2015. (DOI).
294. Deterministic parallel graph coloring with hashing. Per Normann och Johan Öfverstedt. Technical report / Department of Information Technology, Uppsala University nr 2015-020, 2015. (fulltext).
295. Deterministic parallel graph coloring with symmetry breaking. Per Normann och Johan Öfverstedt. Technical report / Department of Information Technology, Uppsala University nr 2015-031, 2015. (fulltext).
296. A closed loop stability condition of switched systems applied to NCSs with packet loss. Johannes Nygren och Kristiaan Pelckmans. I Proc. 5th IFAC Workshop on Distributed Estimation and Control in Networked Systems, International Federation of Automatic Control, 2015.
297. Conditions for input-output stability of discrete-time Luré systems with time-varying delays. Johannes Nygren och Kristiaan Pelckmans. I Proc. 54th Conference on Decision and Control, pp 7707-7714, IEEE, Piscataway, NJ, 2015.
298. Delay-independent stability criteria for networked control systems. Johannes Nygren, Torbjörn Wigren och Kristiaan Pelckmans. Technical report / Department of Information Technology, Uppsala University nr 2015-018, Uppsala University, Uppsala, 2015. (Extern länk, fulltext).
299. Stability analysis of an adaptively sampled controller for SISO systems with nonlinear feedback. Johannes Nygren och Kristiaan Pelckmans. I Proc. American Control Conference: ACC 2015, pp 5353-5358, American Automatic Control Council, 2015. (DOI, fulltext:postprint).
300. Multidimensional analysis of creative coding MOOC forums: a methodological discussion. Aletta Nylén, Neena Thota, Anna Eckerdal, Päivi Kinnunen, Matthew Butler och Michael Morgan. I Proc. 15th International Conference on Computing Education Research: Koli Calling, pp 137-141, ACM Press, New York, 2015. (DOI).
301. Proc. 1st Al Baha University and Uppsala University Symposium on Quality in Computing Education. Aletta Nylén och Mohamed Shenify (red). Volym 2015-007 av Technical report / Department of Information Technology, Uppsala University, 2015. (Abstract).
302. BoneSplit - A 3D Texture Painting Tool for Interactive Bone Separation in CT Images. Johan Nysjö, Filip Malmberg, Ida-Maria Sintorn och Ingela Nyström. I Journal of WSCG, volym 23, nummer 2, pp 157-166, 2015.
303. Teaching OpenGL and Computer Graphics with Programmable Shaders. Johan Nysjö och Anders Hast. I SIGRAD, pp 1-3, 2015.
304. ATAD control goals through the analysis of process variables and evaluation of quality, production and cost. Silvano Nájera, Montserrat Gil-Martínez och Jesús A. Zambrano. I Water Science and Technology, volym 71, nummer 5, pp 717-724, 2015. (DOI).
305. High-resolution imaging for impulse-based forward-looking ground penetrating radar. Ode Ojowu, Luzhou Xu, Jian Li, John Anderson, Lam Nguyen och Peter Stoica. I International Journal of Remote Sensing Applications, volym 5, pp 11-24, 2015. (DOI).
306. Haptics with Applications to Cranio-Maxillofacial Surgery Planning. Pontus Olsson. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1289, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext, preview image).
307. Haptics-assisted Virtual Planning of Bone, Soft Tissue, and Vessels in Fibula Osteocutaneous Free Flaps. Pontus Olsson, Fredrik Nysjö, Andrés Rodríguez-Lorenzo, Andreas Thor, Jan-Michaél Hirsch och Ingrid B. Carlbom. I Plastic and Reconstructive Surgery - Global Open, volym 3, nummer 8, Wolters Kluwer, 2015. (DOI).
308. Visuohaptic bone saw simulator: Combining vibrotactile and kinesthetic feedback. Pontus Olsson, Fredrik Nysjö, Neeru Singh, Andreas Thor och Ingrid Carlbom. I Proc. 8th ACM SIGGRAPH Asia Technical Briefs, pp 10:1-4, ACM Press, New York, 2015. (DOI).
309. Fault detection in WSNs: An energy efficiency perspective towards human-centric WSNs. Charalampos Orfanidis, Yue Zhang och Nicola Dragoni. I Agent and Multi-Agent Systems: Technologies and Applications, volym 38 av Smart Innovation, Systems and Technologies, pp 285-300, Springer, 2015. (DOI).
310. A Modeling Framework for Reuse Distance-based Estimation of Cache Performance. Xiaoyue Pan och Bengt Jonsson. I Performance Analysis of Systems and Software (ISPASS), 2015 IEEE International Symposium on, pp 62-71, IEEE, 2015. (DOI).
311. Forecasting Lock Contention Before Adopting Another Lock Algorithm. Xiaoyue Pan, David Klaftenegger och Bengt Jonsson. 2015. (fulltext).
312. Modal Logics for Nominal Transition Systems. Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas och Tjark Weber. I 26th International Conference on Concurrency Theory: CONCUR 2015, volym 42 av Leibniz International Proceedings in Informatics (LIPIcs), pp 198-211, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2015. (DOI, Fulltext).
313. Fully abstract trace semantics for protected module architectures. Marco Patrignani och Dave Clarke. I Computer languages, systems & structures, volym 42, pp 22-45, 2015. (DOI).
314. Secure compilation to protected module architectures. Marco Patrignani, Pieter Agten, Raoul Strackx, Bart Jacobs, Dave Clarke och Frank Piessens. I ACM Transactions on Programming Languages and Systems, volym 37, nummer 2, 2015. (DOI).
315. Cloud Computing: The Ultimate Step Towards the Virtual Enterprise?. Norberto Patrignani och Iordanis Kavathatzopoulos. I Computers &amp; Society: The Newsletter of the ACM Special Interest Group on Computers and Society Special Issue on 20 Years of ETHICOMP, ACM SIGCAS Computers and Society Newsletter, pp 68-72, ACM Digital Library, 2015. (DOI, Extern länk, Extern länk, Extern länk, Extern länk).
316. Assuring the Quality of Engineering Education. Arnold Pears. I 2015 International Conference on Learning and Teaching in Computing and Engineering, pp 108-111, 2015. (DOI).
317. Implications of anonymous assessment. Arnold Pears och Aletta Nylén. I Proc. 45th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, pp 1404-1408, IEEE Press, Piscataway, NJ, 2015. (DOI).
318. Nuclear Norms for System Identification: a direct input-output approach. Kristiaan Pelckmans och Rubén Cubo. I Proc. 17th IFAC Symposium on System Identification, volym 48:28 av IFAC-PapersOnLine, pp 644-649, International Federation of Automatic Control, 2015. (DOI).
319. Cost-effective speculative scheduling in high performance processors. Arthur Perais, André Seznec, Pierre Michaud, Andreas Sembrant och Erik Hagersten. I Proc. 42nd International Symposium on Computer Architecture, pp 247-259, ACM Press, New York, 2015. (DOI).
320. Preparing the global software engineer. Anne-Kathrin Peters, Waqar Hussain, Åsa Cajander, Tony Clear och Mats Daniels. I Proc. 10th International Conference on Global Software Engineering, pp 61-70, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI).
321. Second year Computer Science and IT students' experience of participation in the discipline. Anne-Kathrin Peters, Anders Berglund, Anna Eckerdal och Arnold Pears. I Proc. 15th International Conference on Computing Education Research: Koli Calling, pp 68-76, ACM Press, New York, 2015. (DOI).
322. Triangulation Painting. Max Pihlström, Anders Hast och Anders Brun. I SIGRAD, pp 1-4, 2015.
323. BSD-based Elliptic Curve Cryptography for the Open Internet of Things. Oriol Pinol Pinol, Shahid Raza, Joakim Eriksson och Thiemo Voigt. I 2015 7Th International Conference On New Technologies, Mobility And Security (NtTMS), International Conference on New Technologies Mobility and Security, 2015.
324. Diffusion of Innovations over Multiplex Social Networks. Rasoul Ramezanian, Mostafa Salehi, Matteo Magnani och Danilo Montesi. I International Symposium on Artificial Intelligence and Signal Processing (AISP), pp 1-5, 2015. (DOI, ArXiv).
325. Your New Default  Thresholding Method?: A robust global gray-level thresholding method based on object features. Petter Ranefall och Carolina Wählby. I BioImage Informatics Conference 2015, 2015.
326. Bluetooth Smart: An Enabling Technology for the Internet of Things. Shahid Raza, Prasant Misra, Zhitao He och Thiemo Voigt. I , IEEE International Conference on Wireless and Mobile Computing Networking and Communications-WiMOB, pp 155-162, 2015.
327. Security and Privacy in the IPv6-Connected Internet of Things. Shahid Raza, Chamath Keppitiyagama och Thiemo Voigt. I Cyber-Physical Systems, CRC Press, 2015.
328. Cancer patients' attitudes and experiences of online medical records. Hanife Rexhepi, Rose-Mharie Åhlfeldt, Åsa Cajander och Isto Huvila. I Proc. 17th International Symposium on Health Information Management Research, pp 19-25, University of Sheffield, UK, 2015.
329. Cancerpatienter och användningen av journal via nätet. Hanife Rexhepi, Åsa Cajander, Rose-Mharie Åhlfeldt och Isto Huvila. Technical Report nr HS-IIT-TR-15-003, Högskolan i Skövde, 2015. (fulltext).
330. Security in Visible Light Communication: Novel Challenges and Opportunities. Christian Rohner, Shahid Raza, Daniele Puccinelli och Thiemo Voigt. I Sensors & Transducers Journal, volym 192, nummer 9, pp 9-15, 2015. (Extern länk, fulltext:print).
331. A dual-consistency cache coherence protocol. Alberto Ros och Alexandra Jimborean. I Proc. 29th International Parallel and Distributed Processing Symposium, pp 1119-1128, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI, fulltext:print).
332. Callback: Efficient Synchronization without Invalidation with a Directory Just for Spin-Waiting. Alberto Ros och Stefanos Kaxiras. I 2015 ACM/IEEE 42Nd Annual International Symposium On Computer Architecture (ISCA), pp 427-438, 2015. (DOI).
333. Hierarchical private/shared classification: The key to simple and efficient coherence for clustered cache hierarchies. Alberto Ros, Mahdad Davari och Stefanos Kaxiras. I Proc. 21st International Symposium on High Performance Computer Architecture, pp 186-197, IEEE Computer Society Digital Library, 2015. (DOI).
334. Towards effective visual analytics on multiplex and multilayer networks. Luca Rossi och Matteo Magnani. I Chaos, Solitons & Fractals, volym 72, pp 68-76, 2015. (DOI, fulltext:postprint).
335. Parallel Stochastic Estimation on Multicore Platforms. Olov Rosén. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 111, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext, preview image).
336. Parallel recursive estimation using Monte Carlo and orthogonal series expansions. Olov Rosén och Alexander Medvedev. I Proc. American Control Conference: ACC 2015, pp 3905-3910, American Automatic Control Council, 2015. (DOI).
337. Quasi-optimal preconditioners for finite element approximations of diffusion dominated convection–diffusion equations on (nearly) equilateral triangle meshes. Alessandro Russo, Stefano Serra-Capizzano och Cristina Tablino-Possio. I Numerical Linear Algebra with Applications, volym 22, pp 123-144, 2015. (DOI).
338. On recursion-free Horn clauses and Craig interpolation. Philipp Rümmer, Hossein Hojjat och Viktor Kuncak. I Formal methods in system design, volym 47, nummer 1, pp 1-25, 2015. (DOI).
339. A radial basis function partition of unity collocation method for convection–diffusion equations arising in financial applications. Ali Safdari-Vaighani, Alfa Heryudono och Elisabeth Larsson. I Journal of Scientific Computing, volym 64, pp 341-367, 2015. (DOI, fulltext:postprint).
340. Contention adapting search trees. Konstantinos Sagonas och Kjell Winblad. I Proc. 14th International Symposium on Parallel and Distributed Computing, pp 215-224, IEEE conference proceedings, 2015. (DOI).
341. Digital topology and geometry in medical image processing: A survey. Punam K. Saha, Robin Strand och Gunilla Borgefors. I IEEE Transactions on Medical Imaging, volym 34, nummer 9, pp 1940-1964, 2015. (DOI).
342. Multidimensional epidemic thresholds in diffusion processes over interdependent networks. Mostafa Salehi, Payam Siyari, Matteo Magnani och Danilo Montesi. I Chaos, Solitons & Fractals, volym 72, pp 59-67, 2015. (DOI).
343. Spreading processes in Multilayer Networks. Mostafa Salehi, Rajesh Sharma, Moreno Marzolla, Matteo Magnani, Payam Siyari och Danilo Montesi. I IEEE Transactions on Network Science and Engineering, volym 2, nummer 2, pp 65-83, IEEE Computer Society, 2015. (DOI, Fulltext, fulltext:postprint).
344. Detecting anomalous air flow-ammonia load ratios, using Gaussian process regression. Oscar Samuelsson, Jesús Zambrano, Anders Björk, Tatiana Chistiakova och Bengt Carlsson. I Proc. 9th IWA Symposium on Systems Analysis and Integrated Assessment, 2015.
345. Full speed ahead: Detailed architectural simulation at near-native speed. Andreas Sandberg, Nikos Nikoleris, Trevor E. Carlson, Erik Hagersten, Stefanos Kaxiras och David Black-Schaffer. I Proc. 18th International Symposium on Workload Characterization, pp 183-192, IEEE Computer Society, 2015. (DOI).
346. Multi-rate uplink channel prediction and enhanced link adaptation for VoLTE. David Sandberg och Torbjörn Wigren. I Proc. 82nd Vehicular Technology Conference, IEEE, Piscataway, NJ, 2015. (DOI).
347. Information systems for cooperation in operational train traffic control. Bengt Sandblad, Arne W. Andersson och Simon Tschirner. I Procedia Manufacturing, volym 3, pp 2882-2888, 2015. (DOI, Fulltext).
348. Energy Efficiency as an Orchestration Service for Mobile Internet of Things. Peramanathan Sathyamoorthy, Edith Ngai, Xiping Hu och Victor Leung. I , pp 155-162, 2015. (DOI).
349. Contextual Healing: Privacy through Interpretation Management. Rula Sayaf, Soren Preibusch och Dave Clarke. I 2015 Ieee International Conference On Smart City/Socialcom/Sustaincom (Smartcity), pp 360-365, IEEE, 2015. (DOI).
350. The Other Side of Privacy: Surveillance in Data Control. Rula Sayaf, Dave Clarke och James B. Rule. I British HCI 2015, pp 184-192, 2015. (DOI).
351. Image processing on optimal volume sampling lattices: Thinking outside the boxBildbehandling på optimala samplingsgitter: Att tänka utanför ramen. Elisabeth Schold Linnér. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1314, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext, preview image).
352. Conflict-Directed Graph Coverage. Daniel Schwartz-Narbonne, Martin Schaef, Dejan Jovanovic, Philipp Rümmer och Thomas Wies. I NASA FORMAL METHODS (NFM 2015), volym 9058 av Lecture Notes in Computer Science, pp 327-342, 2015. (DOI).
353. Constraint solving on bounded string variables. Joseph D. Scott, Pierre Flener och Justin Pearson. I Integration of AI and OR Techniques in Constraint Programming, volym 9075 av Lecture Notes in Computer Science, pp 375-392, Springer, 2015. (DOI).
354. Digital Contact Tools in Professional Life: What Governs the Choice?. Håkan Selg. I Selected Papers of Internet Research 16, 2015. (Extern länk, fulltext:print).
355. Fast evaluation of the robust stochastic watershed. Bettina Selig, Filip Malmberg och Cris L. Luengo Hendriks. I Mathematical Morphology and Its Applications to Signal and Image Processing, volym 9082 av Lecture Notes in Computer Science, pp 705-716, Springer, 2015. (DOI).
356. Fully automatic evaluation of the corneal endothelium from in vivo confocal microscopy. Bettina Selig, Koenraad A. Vermeer, Bernd Rieger, Toine Hillenaar och Cris L. Luengo Hendriks. I BMC Medical Imaging, volym 15, 2015. (DOI, Fulltext).
357. Long Term Parking (LTP): Criticality-aware Resource Allocation in OOO Processors. Andreas Sembrant, Trevor E. Carlson, Erik Hagersten, David Black-Schaffer, Arthur Perais, André Seznec och Pierre Michaud. I Proc. 48th International Symposium on Microarchitecture, pp 334-346, 2015. (DOI).
358. Investigating the types and effects of missing data in multilayer networks. Rajesh Sharma, Matteo Magnani och Danilo Montesi. I International Conference on Advances in Social Networks Analysis and Mining (ASONAM), pp 392-399, 2015.
359. Understanding community patterns in large attributed social networks. Rajesh Sharma, Matteo Magnani och Danilo Montesi. I Proceedings Of The 2015 IEEE/ACM International Conference On Advances In Social Networks Analysis And Mining (Asonam 2015), pp 1503-1508, 2015. (DOI).
360. Radial basis function partition of unity methods for pricing vanilla basket options. Victor Shcherbakov och Elisabeth Larsson. Technical report / Department of Information Technology, Uppsala University nr 2015-001, 2015. (fulltext).
361. Automated Image Acquisition and Particle Size Distribution in the MiniTEM Instrument. Ida-Maria Sintorn, Gustaf Kylberg, Lars Haag och Rickard Nordström. I , 2015.
362. A quantitative assessment of the Hadoop framework for analyzing massively parallel DNA sequencing data. Alexey Siretskiy, Tore Sundqvist, Mikhail Voznesenskiy och Ola Spjuth. I GigaScience, volym 4, 2015. (DOI, Fulltext, Erratum, fulltext:print).
363. Från informationsbehandling till informationsteknologi: Institutionen för informationsteknologi söker sina rötter. Anders Sjöberg, Lotta Lundell och Michael Thuné (red). Volym 104 av Skrifter rörande Uppsala universitet. C, Organisation och historia, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext, preview image).
364. Realization of adiabatic Aharonov–Bohm scattering with neutrons. Erik Sjöqvist, Martin Almquist, Ken Mattsson, Zeynep Nilhan Gürkan och Björn Hessmo. I Physical Review A. Atomic, Molecular, and Optical Physics, volym 92, nummer 5, pp 052108:1-5, 2015. (DOI).
365. Three-Dimensional Eyeball and Orbit Volume Modification After LeFort III Midface Distraction. Tomasz Smektala, Johan Nysjö, Andreas Thor, Aleksandra Homik, Katarzyna Sporniak-Tutak, Krzysztof Safranow, Krzysztof Dowgierd och Raphael Olszewski. I The Journal of craniofacial surgery (Print), volym 26, nummer 5, pp 1652-1655, 2015. (DOI).
366. Frequency domain EIV identification combining the Frisch Scheme and Yule-Walker equations. Umberto Soverini och Torsten Söderström. I 2015 European Control Conference (Ecc), pp 2038-2043, IEEE, 2015. (DOI).
367. Frequency domain EIV identification combiningthe Frisch scheme and Yule-Walker equations. Umberto Soverini och Torsten Söderström. I European Control Conference, Linz, Austria, 2015.
368. Experiences with workflows for automating data-intensive bioinformatics. Ola Spjuth, Erik Bongcam-Rudloff, Guillermo Carrasco Hernández, Lukas Forer, Mario Giovacchini, Roman Valls Guimera, Aleksi Kallio, Eija Korpelainen, Maciej M. Ka?du?a, Milko Krachunov, David P. Kreil, Ognyan Kulev, Pawe? P. ?abaj, Samuel Lampa, Luca Pireddu, Sebastian Schönherr, Alexey Siretskiy och Dimitar Vassilev. I Biology Direct, volym 10, 2015. (DOI, Fulltext).
369. Effect of pre-fixation delay and freezing on mink testicular endpoints for environmental research. Ellinor Spörndly-Nees, Elisabeth Ekstedt, Ulf Magnusson, Azadeh Fakhrzadeh, Cris L. Luengo Hendriks och Lena Holm. I PLOS ONE, volym 10, nummer 5, 2015. (DOI, fulltext:print).
370. Wave packet simulations of antiproton scattering on molecular hydrogen. Henrik Stegeby, Markus Kowalewski, Konrad Piszczatowski och Hans O. Karlsson. I Journal of Physics B: Atomic, Molecular and Optical Physics, volym 48, nummer 19, pp 195204:1-7, 2015. (DOI).
371. Combinatorial abstraction refinement for feasibility analysis of static priorities. Martin Stigge och Wang Yi. I Real-time systems, volym 51, nummer 6, pp 639-674, 2015. (DOI).
372. Graph-based models for real-time workload: a survey. Martin Stigge och Wang Yi. I Real-time systems, volym 51, nummer 5, pp 602-636, 2015. (DOI).
373. System components of a general theory of software engineering. Anca-Juliana Stoica, Kristiaan Pelckmans och William Rowe. I Science of Computer Programming, volym 101, pp 42-65, 2015. (DOI).
374. Marginalizing Gaussian process hyperparameters using sequential Monte Carlo. Andreas Svensson, Johan Dahlin och Thomas B. Schön. I Proc. 6th International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, pp 477-480, IEEE, Piscataway, NJ, 2015. (DOI, fulltext:postprint).
375. Nonlinear state space model identification using a regularized basis function expansion. Andreas Svensson, Thomas B. Schön, Arno Solin och Simo Särkkä. I Proc. 6th International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, pp 481-484, IEEE, Piscataway, NJ, 2015. (DOI).
376. Nonlinear state space smoothing using the conditional particle filter. Andreas Svensson, Thomas B. Schön och Manon Kok. I Proc. 17th IFAC Symposium on System Identification, volym 48:28 av IFAC-PapersOnLine, pp 975-980, International Federation of Automatic Control, 2015. (DOI).
377. Teaching and learning system thinking in technology. Maria Svensson, Åke Ingerman och Anders Berglund. I Plurality and Complementarity of Approaches in Design and Technology Education, pp 404-409, Presses Universitaires de Provence, Marseille, 2015. (Extern länk, fulltext:print).
378. Asymmetric supercapacitors based on carbon nanofibre and polypyrrole/nanocellulose composite electrodes. Petter Tammela, Zhaohui Wang, Sara Frykstrand, Peng Zhang, Ida-Maria Sintorn, Leif Nyholm och Maria Strömme. I RSC Advances, volym 5, nummer 21, pp 16405-16413, 2015. (DOI).
379. Estimation of linear deformations of 2D and 3D fuzzy objects. Attila Tanács, Joakim Lindblad, Nataša Sladoje och Zoltan Kato. I Pattern Recognition, volym 48, nummer 4, pp 1391-1403, 2015. (DOI).
380. Model-based temperature control of a selective catalytic reduction system. Soma Tayamon, Anders Larsson och Björn Westerberg. I IET Control Theory & Applications, volym 9, nummer 2, pp 211-221, 2015. (DOI).
381. Sensor-based Breakage Detection for Electric Fences. Eranda Tennakoon, Charith Madusanka, Kasun De Zoysa, Chamath Keppitiyagama, Venkat Iyer, Kasun Hewage och Thiemo Voigt. I Sensors Applications Symposium (SAS), pp 137-140, IEEE, 2015. (DOI).
382. A structured approach to master thesis writing. Neena Thota och Anders Berglund. I Conference for University Pedagogical Development, Uppsala University, Uppsala, Sweden, 2015. (Extern länk).
383. Connectivism and the use of technology/media in collaborative teaching and learning. Neena Thota. I From the Confucian Way to Collaborative Knowledge Co-Construction, volym 142 av New Directions for Teaching and Learning, pp 81-96, John Wiley & Sons, Hoboken, NJ, 2015.
384. Engaging school students with tangible devices: Pilot project with .NET gadgeteer. Neena Thota, Gerald Estadieu, Antonio Ferrao och Kai Meng Wong. I Proc. 3rd International Conference on Learning and Teaching in Computing and Engineering, pp 112-119, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI).
385. Integrating international students into CS programs. Neena Thota och Anders Berglund. I Proc. 1st Al Baha University and Uppsala University Symposium on Quality in Computing Education, volym 2015-007 av Technical report / Department of Information Technology, Uppsala University, pp 6-8, 2015. (Proceedings).
386. Introducing Educational Technologies to Teachers: Experience Report. Neena Thota och João G. M. Negreiros. I Journal of University Teaching and Learning Practice, volym 12, nummer 1, pp 5:1-13, 2015. (Extern länk).
387. A scalable RBF–FD method for atmospheric flow. Martin Tillenius, Elisabeth Larsson, Erik Lehto och Natasha Flyer. I Journal of Computational Physics, volym 298, pp 406-422, 2015. (DOI, fulltext:postprint).
388. Resource-aware task scheduling. Martin Tillenius, Elisabeth Larsson, Rosa M. Badia och Xavier Martorell. I ACM Transactions on Embedded Computing Systems, volym 14, nummer 1, pp 5:1-25, 2015. (DOI, Fulltext).
389. SuperGlue: A shared memory framework using data versioning for dependency-aware task-based parallelization. Martin Tillenius. I SIAM Journal on Scientific Computing, volym 37, pp C617-C642, 2015. (DOI, fulltext:print).
390. Scaling predictive modeling in drug development with cloud computing. Behrooz Torabi Moghadam, Jonathan Alvarsson, Marcus Holm, Martin Eklund, Lars Carlsson och Ola Spjuth. I Journal of Chemical Information and Modeling, volym 55, pp 19-25, 2015. (DOI).
391. Accelerating COBAYA3 on multi-core CPU and GPU systems using PARALUTION. Nico Trost, Javier Jiménez, Dimitar Lukarski och Victor Sanchez. I Annals of Nuclear Energy, volym 82, pp 252-259, 2015. (DOI).
392. Transparent inclusion, utilization, and validation of main memory domain indexes. Thanh Truong och Tore Risch. I Proc. 27th International Conference on Scientific and Statistical Database Management, ACM Press, New York, 2015. (DOI).
393. The GMOC Model: Supporting Development of Systems for Human Control. Simon Tschirner. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1237, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext, preview image).
394. On Identification via EM with Latent Disturbances and Lagrangian Relaxation. Jack Umenberger, Johan Wågberg, Ian R. Manchester och Thomas B. Schön. I , pp 69-74, 2015. (DOI, Extern länk).
395. Micro-Architecture Independent Analytical Processor Performance and Power Modeling. Sam Van den Steen, Sander De Pestel, Moncef Mechri, Stijn Eyerman, Trevor Carlson, David Black-Schaffer, Erik Hagersten och Lieven Eeckhout. I 2015 IEEE International Symposium on Performance Analysis and Software (ISPASS), IEEE International Symposium on Performance Analysis of Systems and Software-ISPASS, pp 32-41, 2015.
396. Coordination of Wireless Sensor Networks using Visible Light. Ambuj Varshney, Luca Mottola och Thiemo Voigt. I SenSys '15 Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, pp 421-422, 2015. (DOI, Extern länk).
397. Directional Transmissions and Receptions for High-throughput Bulk Forwarding in Wireless Sensor Networks. Ambuj Varshney, Luca Mottola, Mats Carlsson och Thiemo Voigt. I Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, pp 351-364, 2015. (DOI, Fulltext, fulltext:print).
398. Role and position detection in networks: reloaded. Davide Vega, Roc Meseguer, Felix Freitag och Matteo Magnani. I International Conference on Advances in Social Networks Analysis and Mining (ASONAM), pp 320-325, 2015.
399. Case Study 1: Using widget bundles for formal learning in higher education. Helmut Vieritz, Carsten Ullrich, Erik Isaksson, Hans-Christian Schmitz, Bodo von der Heiden, Kerstin Borau, Ruimin Shen, Matthias Palmér, Thomas Lind och Mikael Laaksoharju. I Responsive Open Learning Environments: Outcomes of Research from the ROLE Project, pp 79-113, Springer, 2015. (DOI, Fulltext).
400. Elastic wave propagation in complex geometries: A qualitative comparison between two high order finite difference methods. Kristoffer Virta, Christopher Juhlin och Gunilla Kreiss. I Computing Research Repository, nummer 1511.07596, 2015. (DOI). Publikationsstatus: Submitted
401. Formulae and software for particular solutions to the elastic wave equation in curved geometries. Kristoffer Virta och Daniel Appelö. I Journal of Computational Physics, 2015. Publikationsstatus: Submitted
402. Interface waves in almost incompressible elastic materials. Kristoffer Virta och Gunilla Kreiss. I Journal of Computational Physics, volym 303, pp 313-330, 2015. (DOI, fulltext:postprint).
403. Large scale style based dating of medieval manuscripts. Fredrik Wahlberg, Lasse Mårtensson och Anders Brun. I Proc. 3rd International Workshop on Historical Document Imaging and Processing, pp 107-114, ACM Press, New York, 2015. (DOI, fulltext:postprint).
404. Writer identification using the Quill-Curvature feature in old manuscripts. Fredrik Wahlberg, Anders Brun och Lasse Mårtensson. I Proceedings of SSBA, 2015, 2015.
405. Analysis of boundary and interface closures for finite difference methods for the wave equation. Siyang Wang. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2015-005, Uppsala University, 2015. (fulltext).
406. The automatic detection and analysis of electrocardiogram based on Lorenz plot. Wenqi Wang, Yangjie Wei, Nan Guan och Wang Yi. I Proc. 12th International Conference on Robotics and Biomimetics, pp 644-649, IEEE, Piscataway, NJ, 2015. (DOI).
407. dRTI: Directional Radio Tomographic Imaging. Bo Wei, Ambuj Varshney, Neal Patwari, Wen Hu, Thiemo Voigt och Chun Tung Chou. I Proceedings of the 14th International Conference on Information Processing in Sensor Networks, IPSN ’15, pp 166-177, 2015. (DOI).
408. Diffusion-based three-dimensional reconstruction of complex surface using monocular vision. Yangjie Wei, Chengdong Wu, Wang Yi och Wenxue Wang. I Optics Express, volym 23, nummer 23, pp 30364-30378, 2015. (DOI, Fulltext).
409. Efficient shape reconstruction of microlens using optical microscopy. Yangjie Wei, Chengdong Wu, Wang Yi och Zaili Dong. I IEEE Transactions on Industrial Electronics, volym 62, nummer 12, pp 7655-7664, 2015. (DOI).
410. A Game Theoretic Approach to Sensor Data Communications in an Opportunistic Network. Hjalmar Wennerström och David Smith. I Proc. International Conference on Communications: ICC 2015, IEEE International Conference on Communications, pp 6306-6311, IEEE, Piscataway, NJ, 2015. (DOI).
411. Considering Multi-Contact Encounters in Opportunistic Networks. Hjalmar Wennerström, Christian Rohner och David Smith. I Proceedings of the 10th ACM MobiCom Workshop on Challenged Networks, ACM Digital Library, 2015. (DOI).
412. How mobile phones affect the sustainability of the work/life balance of their users. Edward Peter Greenwood White och Andrew Thatcher. I Foundations of Augmented Cognition, volym 9183 av Lecture Notes in Computer Science, pp 393-400, Springer, 2015. (DOI).
413. Constraints in nonlinear <em>L</em>₂-stable networked control. Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2015-013, Uppsala University, Uppsala, 2015. (fulltext).
414. Constraints on nonlinear <em>L</em>₂-stable networked control. Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2015-013, Uppsala universitet, 2015. (Report in full-text, fulltext).
415. Implication of RF EMF exposure limitations on 5G data rates above 6 GHz. Torbjörn Wigren, Davide Colombi, Björn Thors och Jan-Erik Berg. I Proc. 82nd Vehicular Technology Conference, IEEE, Piscataway, NJ, 2015. (DOI).
416. Low-frequency limitations in saturated and delayed networked control. Torbjörn Wigren. I Proc. International Conference on Control Applications: CCA 2015, pp 569-576, IEEE, Piscataway, NJ, 2015. (DOI).
417. Model order and identifiability of non-linear biological systems in stable oscillation. Torbjörn Wigren. I IEEE/ACM Transactions on Computational Biology & Bioinformatics, volym 12, nummer 6, pp 1479-1484, 2015. (DOI).
418. Nonlinear identification of biological clock dynamics. Torbjörn Wigren och Per Lötstedt. I Proc. 54th Conference on Decision and Control, pp 602-608, IEEE, Piscataway, NJ, 2015. (DOI).
419. Nonlinear identification of neuron models. Torbjörn Wigren. I Proc. International Conference on Control Applications: CCA 2015, pp 1340-1346, IEEE, Piscataway, NJ, 2015. (DOI).
420. Wireless interference power estimation for inter-cell interference coordination. Torbjörn Wigren. I IET Communications, volym 9, nummer 12, pp 1539-1546, 2015. (DOI).
421. A novel word segmentation method based on object detection and deep learning. Tomas Wilkinson och Anders Brun. I Advances in Visual Computing: 11th International Symposium, ISVC 2015, Las Vegas, NV, USA, December 14-16, 2015, Proceedings, Part I, volym 9474 av Lecture Notes in Computer Science, pp 231-240, Springer, 2015. (DOI, fulltext:postprint).
422. Experiments on Large Scale Document Visualization using Image-based Word Clouds. Tomas Wilkinson och Anders Brun. Technical report / Department of Information Technology, Uppsala University nr 2015-022, 2015. (fulltext).
423. Visualizing document image collections using image-based word clouds. Tomas Wilkinson och Anders Brun. I Advances in Visual Computing: 11th International Symposium, ISVC 2015, Las Vegas, NV, USA, December 14-16, 2015, Proceedings, Part I, volym 9474 av Lecture Notes in Computer Science, pp 297-306, Springer, 2015. (DOI, fulltext:postprint).
424. Image Segmentation, Processing and Analysis in Microscopy and Life Science. Carolina Wählby. I Mathematical Models in Biology: Bringing Mathematics to Life, pp 1-16, Springer, 2015. (DOI).
425. Bayesian nonparametric identification of piecewise affine ARX systems. Johan Wågberg, Fredrik Lindsten och Thomas B. Schön. I , pp 709-714, 2015. (DOI, Extern länk).
426. Collaborative Localization in Participatory Sensing with Load Balancing. Teng Xi, Edith Ngai, Zheng Song, Ye Tian, Xiangyang Gong och Wendong Wang. I 2015 IEEE 23Rd International Symposium On Quality Of Service (IWQOS), pp 61-62, 2015.
427. Energy-efficient Collaborative Localization for Participatory Sensing System. Teng Xi, W. Wang, Edtih Ngai, Z. Song, Y. Tian och X. Gong. I 2015 IEEE Global Communications Conference (Globecom), 2015.
428. Design degrees of freedom in a hybrid observer for a continuous plant under an intrinsic pulse-modulated feedback. Diana Yamalova, Alexander Churilov och Alexander Medvedev. I , volym 48:11 av IFAC-PapersOnLine, pp 1080-1085, 2015. (DOI).
429. Finite-dimensional hybrid observer for delayed impulsive model of testosterone regulation. Diana Yamalova, Alexander Churilov och Alexander Medvedev. I Mathematical problems in engineering (Print), volym 2015, pp 190463:1-12, 2015. (DOI, Fulltext).
430. State estimation in a delayed impulsive model of testosterone regulation by a finite-dimensional hybrid observer. Diana Yamalova, Alexander Churilov och Alexander Medvedev. I Proc. 14th European Control Conference, pp 1450-1455, IEEE, 2015. (DOI).
431. Vulnerable Friend Identification: Who Should You Beware of Most in Online Social Networks. Y. Yang, Y. Tian, Edith Ngai, L. Zhang, Y. Teng och W. Wang. I 2015 IEEE Global Communications Conference (Globecom), 2015.
432. Vulnerable friend identification: Who should you beware of most in online social networks?. Yunjuan Yang, Ye Tian, Edith Ngai, Lanshan Zhang, Yining Teng och Wendong Wang. I 2015 Ieee Global Communications Conference (Globecom), IEEE Global Communications Conference, IEEE, 2015. (DOI).
433. Generalized Vandermonde decomposition and its use for multi-dimensional super-resolution. Zai Yang, Lihua Xie och Peter Stoica. I Proc. International Symposium on Information Theory: ISIT 2015, pp 2011-2015, Institute of Electrical and Electronics Engineers (IEEE), Piscataway, NJ, 2015. (DOI).
434. Cramér–Rao bound analog of Bayes' rule. Dave Zachariah och Peter Stoica. I IEEE signal processing magazine (Print), volym 32, nummer 2, pp 164-168, 2015. (DOI).
435. Online hyperparameter-free sparse estimation method. Dave Zachariah och Peter Stoica. I IEEE Transactions on Signal Processing, volym 63, nummer 13, pp 3348-3359, 2015. (DOI).
436. An efficient multi-step iterative method for computing the numerical solution of systems of nonlinear equations associated with ODEs. Malik Zaka Ullah, Stefano Serra-Capizzano och Fayyaz Ahmad. I Applied Mathematics and Computation, volym 250, pp 249-259, 2015. (DOI).
437. Higher order multi-step iterative method for computing the numerical solution of systems of nonlinear equations: Application to nonlinear PDEs and ODEs. Malik Zaka Ullah, Stefano Serra-Capizzano, Fayyaz Ahmad och Eman S. Al-Aidarous. I Applied Mathematics and Computation, volym 269, pp 972-987, 2015. (DOI).
438. Fault detection of DO sensors subject to possible clogging. Jesús Zambrano och Bengt Carlsson. I Proc. 9th IWA Symposium on Systems Analysis and Integrated Assessment, 2015.
439. Gaussian process regression for monitoring a secondary settler. Jesús Zambrano, Oscar Samuelsson, Tatiana Chistiakova, Hongbin Liu och Bengt Carlsson. I Proc. 2nd IWA Conference on New Developments in IT &amp; Water, IWA Publishing, 2015.
440. Optimal steady-state design of zone volumes of bioreactors with Monod growth kinetics. Jesús Zambrano, Bengt Carlsson och Stefan Diehl. I Biochemical engineering journal, volym 100, pp 59-66, 2015. (DOI).
441. Time-optimal convergecast with separated packet copying: Scheduling policies and performance. Haibo Zhang, Fredrik Österlind, Pablo Soldati, Thiemo Voigt och Mikael Johansson. I IEEE Transactions on Vehicular Technology, volym 64, nummer 2, pp 793-803, 2015. (DOI).
442. Green Small Cell Planning in Smart Cities under Dynamic Traffic Demand. Li Zhou, Xiping Hu, Chunsheng Zhu, Edith C. -H. Ngai, Shan Wang, Jibo Wei och Victor C. M. Leung. I 2015 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), IEEE Conference on Computer Communications Workshops, pp 618-623, 2015.
443. Green Internet of Things for Smart World. Chunsheng Zhu, Victor C. M. Leung, Lei Shu och Edith C.-H. Ngai. I IEEE Access, volym 3, pp 2151-2162, 2015. (DOI, Fulltext).
444. Pricing Models for Sensor-Cloud. Chunsheng Zhu, Victor C. M. Leung, Edith C. -H. Ngai, Laurence T. Yang, Lei Shu och Xiuhua Li. I 2015 IEEE 7Th International Conference On Cloud Computing Technology And Science (Cloudcom), pp 454-457, 2015. (DOI).
445. Scalable queries over log database collections. Minpeng Zhu, Khalid Mahmood och Tore Risch. I Data Science, volym 9147 av Lecture Notes in Computer Science, pp 173-185, Springer, 2015. (DOI).
446. Automatic recovery from nonlinear oscillations in PID-controlled anesthetic drug delivery. Zhanybai T. Zhusubaliyev, Margarida M. Silva och Alexander Medvedev. I 2015 European Control Conference (Ecc), pp 2725-2730, IEEE, 2015. (DOI).
447. Bifurcation analysis of PID-controlled neuromuscular blockade in closed-loop anesthesia. Zhanybai T. Zhusubaliyev, Alexander Medvedev och Margarida Martins da Silva. I Journal of Process Control, volym 25, pp 152-163, 2015. (DOI).
448. Multistability and hidden attractors in an impulsive Goodwin oscillator with time delay. Zhanybai T. Zhusubaliyev, Erik Mosekilde, Alexander N. Churilov och Alexander Medvedev. I The European Physical Journal Special Topics, volym 224, nummer 8, pp 1519-1539, 2015. (DOI).
449. Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering. Maurice ter Beek, Dave Clarke och Ina Schafer. I The Journal of logical and algebraic methods in programming, volym 85, nummer 1, pp 123-124, 2015. (DOI).
450. Adaptive finite differences and IMEX time-stepping to price options under Bates model. Lina von Sydow, Jari Toivanen och Chi Zhang. I International Journal of Computer Mathematics, volym 92, pp 2515-2529, 2015. (DOI, fulltext:postprint).
451. BENCHOP—The BENCHmarking project in Option Pricing. Lina von Sydow, Lars Josef Höök, Elisabeth Larsson, Erik Lindström, Slobodan Milovanovi?, Jonas Persson, Victor Shcherbakov, Yuri Shpolyanskiy, Samuel Sirén, Jari Toivanen, Johan Waldén, Magnus Wiktorsson, Jeremy Levesley, Juxi Li, Cornelis W. Oosterlee, Maria J. Ruijter, Alexander Toropov och Yangzhang Zhao. I International Journal of Computer Mathematics, volym 92, pp 2361-2379, 2015. (DOI, fulltext:postprint).
452. Automatic Water Body Extraction From Remote Sensing Images Using Entropy. Julia Åhlén och Stefan Seipel. I SGEM2015 Conference Proceedings, International Multidisciplinary Scientific GeoConference-SGEM, pp 517-524, 2015. (DOI).
453. Measuring Polymorphism in Python Programs. Beatrice Åkerblom och Tobias Wrigstad. I DLS 2015: Proceedings of the 11th Symposium on Dynamic Languages, volym 51:2 2016 av ACM SIGPLAN Notices, pp 114-128, ACM Press, New York, 2015. (DOI).
454. Deterministic parallel graph coloring with repartitioning by auxiliary graph coloring. Johan Öfverstedt och Per Normann. Technical report / Department of Information Technology, Uppsala University nr 2015-035, 2015. (fulltext).